Inlining functions with control flow.

tests/language/inline_value_context_test.dart

Index: tests/language/inline_value_context_test.dart
diff --git a/tests/language/inline_value_context_test.dart b/tests/language/inline_value_context_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..8d8e3c10dbb2375359f5fd375ca8c43a411fa10b
--- /dev/null
+++ b/tests/language/inline_value_context_test.dart
@@ -0,0 +1,39 @@
+// 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 a value 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) {
+  if (bar(o) > 0) {  // <-- Used in a value context.
+    return 1;
+  } else {
+    return 0;
+  }
+}
+
+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(5000, sum);
+}