parser: optimize cross assign using expr.str() (#5604)

vlib/v/ast/ast.v

@@ -410,7 +410,6 @@ pub:
 pub struct IndexExpr {
 pub:
 	pos       token.Position
-	expr      string // a[0] m['a'] etc
 	left      Expr
 	index     Expr // [0], [start..end] etc
 pub mut:

vlib/v/gen/cgen.v

@@ -1308,13 +1308,10 @@ fn (mut g Gen) gen_cross_tmp_variable(left []ast.Expr, val ast.Expr) {
 		ast.IndexExpr {
 			mut has_var := false
 			for lx in left {
-				if lx is ast.IndexExpr {
+				if val_.str() == lx.str() {
-					inx := lx as ast.IndexExpr
+					g.write('_var_${lx.position().pos}')
-					if val.expr == inx.expr {
+					has_var = true
-						g.write('_var_$inx.pos.pos')
+					break
-						has_var = true
-						break
-					}
 				}
 			}
 			if !has_var {

vlib/v/parser/assign.v

@@ -44,12 +44,13 @@ fn (mut p Parser) check_undefined_variables(exprs []ast.Expr, val ast.Expr) {
 }
 
 fn (mut p Parser) check_cross_variables(exprs []ast.Expr, val ast.Expr) bool {
-	match val {
+	val_ := val
+	match val_ {
 		ast.Ident {
 			for expr in exprs {
 				if expr is ast.Ident {
 					ident := expr as ast.Ident
-					if ident.name == val.name {
+					if ident.name == val_.name {
 						return true
 					}
 				}
@@ -57,17 +58,14 @@ fn (mut p Parser) check_cross_variables(exprs []ast.Expr, val ast.Expr) bool {
 		}
 		ast.IndexExpr {
 			for expr in exprs {
-				if expr is ast.IndexExpr {
+				if expr.str() == val.str() {
-					idx := expr as ast.IndexExpr
+					return true
-					if idx.expr == val.expr {
-						return true
-					}
 				}
 			}
 		}
-		ast.InfixExpr { return p.check_cross_variables(exprs, val.left) || p.check_cross_variables(exprs, val.right) }
+		ast.InfixExpr { return p.check_cross_variables(exprs, val_.left) || p.check_cross_variables(exprs, val_.right) }
-		ast.PrefixExpr { return p.check_cross_variables(exprs, val.right) }
+		ast.PrefixExpr { return p.check_cross_variables(exprs, val_.right) }
-		ast.PostfixExpr { return p.check_cross_variables(exprs, val.expr) }
+		ast.PostfixExpr { return p.check_cross_variables(exprs, val_.expr) }
 		else {}
 	}
 	return false

vlib/v/parser/parser.v

@@ -985,12 +985,10 @@ fn (mut p Parser) index_expr(left ast.Expr) ast.IndexExpr {
 		}
 	}
 	// [expr]
-	end := p.tok.position()
 	p.check(.rsbr)
 	return ast.IndexExpr{
 		left: left
 		index: expr
-		expr: p.scanner.expr_string(left.position(), end).replace(' ', '')
 		pos: p.tok.position()
 	}
 }

vlib/v/scanner/scanner.v

@@ -1379,7 +1379,3 @@ pub fn (mut s Scanner) codegen(newtext string) {
 		}
 	}
 }
-
-pub fn (s Scanner) expr_string(start, end token.Position) string {
-	return s.text[start.pos..end.pos].trim_space()
-}