[vm] Use strong mode types to calculate CompileType

runtime/vm/kernel_binary_flowgraph.cc

 // Copyright (c) 2016, 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/kernel_binary_flowgraph.h"
 #include "vm/compiler.h"
 #include "vm/longjump.h"
 #include "vm/object_store.h"
 
 #if !defined(DART_PRECOMPILED_RUNTIME)
@@ skipping 5293 matching lines @@
 
   const String& getter_name = ReadNameAsGetterName();  // read name.
 
   const Function* interface_target = &Function::null_function();
   NameIndex itarget_name =
       ReadCanonicalNameReference();  // read interface_target_reference.
   if (FLAG_experimental_strong_mode && !H.IsRoot(itarget_name) &&
       (H.IsGetter(itarget_name) || H.IsField(itarget_name))) {
     interface_target = &Function::ZoneHandle(
         Z, LookupMethodByMember(itarget_name, H.DartGetterName(itarget_name)));
+    ASSERT(getter_name.raw() == interface_target->name());
   }
 
   const intptr_t kTypeArgsLen = 0;
   const intptr_t kNumArgsChecked = 1;
   return instructions + InstanceCall(position, getter_name, Token::kGET,
                                      kTypeArgsLen, 1, Array::null_array(),
                                      kNumArgsChecked, *interface_target);
 }
 
 Fragment StreamingFlowGraphBuilder::BuildPropertySet(TokenPosition* p) {
@@ skipping 11 matching lines @@
   instructions += BuildExpression();  // read value.
   instructions += StoreLocal(TokenPosition::kNoSource, variable);
   instructions += PushArgument();
 
   const Function* interface_target = &Function::null_function();
   NameIndex itarget_name =
       ReadCanonicalNameReference();  // read interface_target_reference.
   if (FLAG_experimental_strong_mode && !H.IsRoot(itarget_name)) {
     interface_target = &Function::ZoneHandle(
         Z, LookupMethodByMember(itarget_name, H.DartSetterName(itarget_name)));
+    ASSERT(setter_name.raw() == interface_target->name());
   }
 
   const intptr_t kTypeArgsLen = 0;
   const intptr_t kNumArgsChecked = 1;
   instructions +=
       InstanceCall(position, setter_name, Token::kSET, kTypeArgsLen, 2,
                    Array::null_array(), kNumArgsChecked, *interface_target);
 
   return instructions + Drop();
 }
@@ skipping 211 matching lines @@
   // If we have a special operation (e.g. +/-/==) we mark both arguments as
   // to be checked.
   if (token_kind != Token::kILLEGAL) {
     ASSERT(argument_count <= 2);
     checked_argument_count = argument_count;
   }
 
   const Function* interface_target = &Function::null_function();
   NameIndex itarget_name =
       ReadCanonicalNameReference();  // read interface_target_reference.
-  if (FLAG_experimental_strong_mode && !H.IsRoot(itarget_name)) {
+  if (FLAG_experimental_strong_mode && !H.IsRoot(itarget_name) &&
+      !H.IsField(itarget_name)) {
     interface_target = &Function::ZoneHandle(
         Z,
         LookupMethodByMember(itarget_name, H.DartProcedureName(itarget_name)));
+    ASSERT(name.raw() == interface_target->name());
   }
 
   instructions +=
       InstanceCall(position, name, token_kind, kTypeArgsLen, argument_count,
                    argument_names, checked_argument_count, *interface_target);
   // Later optimization passes assume that result of a x.[]=(...) call is not
   // used. We must guarantee this invariant because violation will lead to an
   // illegal IL once we replace x.[]=(...) with a sequence that does not
   // actually produce any value. See http://dartbug.com/29135 for more details.
   if (name.raw() == Symbols::AssignIndexToken().raw()) {
@@ skipping 2203 matching lines @@
     }
   }
 
   return Array::Handle(Array::null());
 }
 
 }  // namespace kernel
 }  // namespace dart
 
 #endif  // !defined(DART_PRECOMPILED_RUNTIME)