compiler: fix boundary and nil optimization analysis

src/julec/opt/data.jule

@@ -4,6 +4,14 @@
 
 use "std/jule/sema"
 
+// Optimization preferences for the data.
+enum dataFlag {
+	Default,
+	// Any conditional expression (such as x != nil) will not considered
+	// as optimization opportunity.
+	NoConditional,
+}
+
 static mut emptyData = new(data)
 
 // Immutable copy for data.
@@ -18,6 +26,7 @@ struct data {
 	boundary: &boundary
 	nils:     &nils
 	dynamic:  &dynamic
+	flags:    dataFlag
 }
 
 impl data {

src/julec/opt/expr.jule

@@ -313,8 +313,10 @@ impl exprOptimizer {
 	}
 
 	fn binary(self, mut m: &sema::BinaryExprModel) {
-		self.checkBinaryForBoundary(m)
-		self.checkBinaryForNil(m)
+		if self.data.flags&dataFlag.NoConditional != dataFlag.NoConditional {
+			self.checkBinaryForBoundary(m)
+			self.checkBinaryForNil(m)
+		}
 
 		if Cond {
 			match {

src/julec/opt/scope.jule

@@ -87,7 +87,14 @@ impl scopeOptimizer {
 			}
 			ret
 		}
+
+		// CAST production is equals to &Data statement for "_ = EXPR" assignments.
+		// And there is no informative or useful optimization data for some optimizations.
+		// Therefore avoid using this expressions as useful data for relevant optimizations.
+		dataFlags := self.data.flags
+		self.data.flags |= dataFlag.NoConditional
 		exprOptimizer.optimizeData(d.Model, self.data)
+		self.data.flags = dataFlags
 	}
 
 	fn optimizeVar(mut &self, mut v: &sema::Var) {