Implement checked mode in new compiler.

runtime/vm/code_generator_ia32.cc

 // 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.
 
 #include "vm/globals.h"  // Needed here to get TARGET_ARCH_IA32.
 #if defined(TARGET_ARCH_IA32)
 
 #include "vm/code_generator.h"
 
 #include "lib/error.h"
@@ skipping 1732 matching lines @@
       __ j(EQUAL,  &done, Assembler::kNearJump);
       // Check if the type has type parameters, if not do the class comparison.
       Label not_smi;
       __ testl(EAX, Immediate(kSmiTagMask));  // Value is Smi?
       __ j(NOT_ZERO, &not_smi, Assembler::kNearJump);
       __ CompareObject(EDX, Type::ZoneHandle(Type::IntInterface()));
       __ j(EQUAL,  &done, Assembler::kNearJump);
       __ CompareObject(EDX, Type::ZoneHandle(Type::NumberInterface()));
       __ j(EQUAL,  &done, Assembler::kNearJump);
       __ Bind(&not_smi);
+      // The instantiated type parameter may not be a Type, but could be an
+      // InstantiatedType. It is therefore necessary to check its class.
+      __ movl(ECX, FieldAddress(EDX, Object::class_offset()));
+      __ CompareObject(ECX, Object::ZoneHandle(Object::type_class()));
+      __ j(NOT_EQUAL, &fall_through, Assembler::kNearJump);
       __ movl(EDX, FieldAddress(EDX, Type::type_class_offset()));
       __ movl(ECX, FieldAddress(EDX, Class::type_parameters_offset()));
       // Check that class of dst_type has no type parameters.
       __ cmpl(ECX, raw_null);
       __ j(NOT_EQUAL, &fall_through, Assembler::kNearJump);
       // We have a non-parameterized class in EDX, compare with class of
       // value in EAX. EAX, EDX are preserved in stub.
       __ call(&StubCode::IsRawSubTypeLabel());
       // Result in EBX: 1 is raw subtype.
       __ cmpl(EBX, Immediate(1));
@@ skipping 1123 matching lines @@
   const Error& error = Error::Handle(
       Parser::FormatError(script, token_index, "Error", format, args));
   va_end(args);
   Isolate::Current()->long_jump_base()->Jump(1, error);
   UNREACHABLE();
 }
 
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_IA32