Fix incorrect DBC code generation of range-based CheckClassId

runtime/tests/vm/dart/regress29846_test.dart

Index: runtime/tests/vm/dart/regress29846_test.dart
diff --git a/runtime/tests/vm/dart/regress29846_test.dart b/runtime/tests/vm/dart/regress29846_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..9657e9a076773beb9299fb76c293deb94545b713
--- /dev/null
+++ b/runtime/tests/vm/dart/regress29846_test.dart
@@ -0,0 +1,60 @@
+// Copyright (c) 2017, 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.
+
+// Regression test for dartbug.com/29846: check that range-based
+// CheckClassId is generated correctly.
+
+// VMOptions=--optimization_counter_threshold=10 --no-background-compilation
+
+import "package:expect/expect.dart";
+
+class B {
+  int x;
+  B(this.x) {}
+}
+
+abstract class A0 {
+  int foo() => bar.x;
+  B get bar;
+}
+
+class A1 extends A0 {
+  B get bar => _bfield;
+  B _bfield = new B(1);
+}
+
+class A2 extends A1 {
+  B get bar => new B(2);
+}
+
+// Several classes with subsequent Cids
+
+class A3 extends A1 {}
+
+class A4 extends A1 {}
+
+// This one does not have _bfield
+
+class A5 extends A0 {
+  B get bar => new B(5);
+}
+
+main() {
+  var b = new B(0);
+  var a1 = new A1();
+  var a2 = new A2();
+  var a3 = new A3();
+  var a4 = new A4();
+  var a5 = new A5();
+
+  for (var i = 0; i < 5; i++) {
+    a1.foo();
+    a2.foo();
+    a3.foo();
+    a4.foo();
+  }
+
+  // CheckClassId should trigger deoptimization
+  Expect.equals(a5.foo(), 5);
+}