Inlining functions with control flow.

tests/language/inline_effect_context_test.dart

Index: tests/language/inline_effect_context_test.dart
diff --git a/tests/language/inline_effect_context_test.dart b/tests/language/inline_effect_context_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..73fd50ab624b3847636a39a440763e700557ae37
--- /dev/null
+++ b/tests/language/inline_effect_context_test.dart
@@ -0,0 +1,36 @@
+// Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+// Test inlining of simple function with control flow in an effect context.
+// Optimize function foo with instance of A and inlined function bar. Call later
+// with instance of B and cause deoptimization.
+
+class A {
+  var x = 1;
+}
+
+class B {
+  var x = 0;
+}
+
+int bar(o) {
+  if (o.x > 0) {  // <-- Deoptimize from inner frame.
+    return 1;
+  } else {
+    return 0;
+  }
+}
+
+int foo(o) {
+  bar(o);  // <-- Used in an effect context.
+  return 1;
+}
+
+main() {
+  var o = new A();
+  int sum = 0;
+  for (int i = 0; i < 5000; i++) sum += foo(o);
+  o = new B();
+  sum += foo(o);  // <-- Cause deoptimization of bar within foo.
+  Expect.equals(5001, sum);
+}