Refactor types in ssa nodes.

frog/tests/leg/src/TypeInference4Test.dart

Index: frog/tests/leg/src/TypeInference4Test.dart
diff --git a/frog/tests/leg/src/TypeInference3Test.dart b/frog/tests/leg/src/TypeInference4Test.dart
similarity index 56%
copy from frog/tests/leg/src/TypeInference3Test.dart
copy to frog/tests/leg/src/TypeInference4Test.dart
index 6f025185af9a19ef03432436346390f11c127025..f578eb4cc652cc7085d5009de4ee9d9ccec2e6e3 100644
--- a/frog/tests/leg/src/TypeInference3Test.dart
+++ b/frog/tests/leg/src/TypeInference4Test.dart
@@ -5,15 +5,20 @@
 #import("compiler_helper.dart");
 
 final String TEST_ONE = @"""
-sum(param0, param1) {
-  var sum = 0;
-  for (var i = param0; i < param1; i += 1) sum = sum + i;
-  return sum;
+foo(j) {
+  var a = [1, 2, 3];
+  if (j < 0) j = 0;
+  for (var i = j; i < 3; i++) {
+    a[i];
+  }
 }
 """;
 
 main() {
-  String generated = compile(TEST_ONE, 'sum');
-  regexp = const RegExp("typeof param0 !== 'number'");
+  String generated = compile(TEST_ONE, 'foo');
+  print(generated);

[kasperl, 2012/04/23 05:48:30]

Remove printing.

[floitsch, 2012/04/23 09:21:05]

Done.

+
+  Expect.isFalse(generated.contains('iae'));

[kasperl, 2012/04/23 05:48:30]

Add comment. What are you testing for?

[floitsch, 2012/04/23 09:21:05]

Done.

+  RegExp regexp = new RegExp(getIntTypeCheck('j0'));
   Expect.isTrue(regexp.hasMatch(generated));
 }