update tests

Author: kripken

test/passes/flatten_simplify-locals-nonesting_souperify.txt

@@ -38,13 +38,19 @@ infer %2
 %0 = var
 %1 = var
 %2 = eq %0, %1
+%3 = var
+%4 = slt %1, %3
+pc %4 1:i32
 infer %2
 
 
 ; start LHS
 %0 = var
 %1 = var
 %2 = ne %0, %1
+%3 = var
+%4 = slt %3, %1
+pc %4 1:i32
 infer %2
 
 
@@ -55,6 +61,8 @@ infer %2
 %3 = var
 %4 = ne %0, %3
 %5 = and %2, %4
+%6 = slt %1, %3
+pc %6 1:i32
 infer %5
 
 
@@ -69,12 +77,16 @@ infer %1
 ; start LHS
 %0 = var
 %1 = add %0, 1:i32
+%2 = and %0, 1:i32
+pc %2 1:i32
 infer %1
 
 
 ; start LHS
 %0 = var
 %1 = add %0, 2:i32
+%2 = and %0, 1:i32
+pc %2 0:i32
 infer %1