VM: [Kernel] Partial support for checked mode.

runtime/vm/kernel_to_il.h

 // 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.
 
 #ifndef RUNTIME_VM_KERNEL_TO_IL_H_
 #define RUNTIME_VM_KERNEL_TO_IL_H_
 
 #if !defined(DART_PRECOMPILED_RUNTIME)
 
 #include "vm/growable_array.h"
@@ skipping 456 matching lines @@
 
   const Object& RunFunction(const Function& function,
                             const Array& arguments,
                             const Array& names);
 
   RawObject* EvaluateConstConstructorCall(const dart::Class& type_class,
                                           const TypeArguments& type_arguments,
                                           const Function& constructor,
                                           const Object& argument);
 
+  void MaybeCheckBool() {

[Vyacheslav Egorov (Google), 2017/01/30 18:30:28]

I would call it AssertBoolInCheckedMode() to match IL instruction name.

[kustermann, 2017/01/31 10:39:45]

Done.

+    if (isolate_->type_checks() && !result_.IsBool()) {
+      translation_helper_.ReportError("Expected boolean expression.");
+    }
+  }
+
   // TODO(27590): Instead of using [dart::kernel::TreeNode]s as keys we
   // should use [TokenPosition]s as well as the existing functionality in
   // `Parser::CacheConstantValue`.
   bool GetCachedConstant(TreeNode* node, Instance* value);
   void CacheConstantValue(TreeNode* node, const Instance& value);
 
   FlowGraphBuilder* builder_;
   Isolate* isolate_;
   Zone* zone_;
   TranslationHelper& translation_helper_;
@@ skipping 134 matching lines @@
   // captured variable.
   void LookupVariable(VariableDeclaration* declaration);
 
   const dart::String& GenerateName(const char* prefix, intptr_t suffix);
 
   void HandleLocalFunction(TreeNode* parent, FunctionNode* function);
   void HandleSpecialLoad(LocalVariable** variable, const dart::String& symbol);
   void LookupCapturedVariableByName(LocalVariable** variable,
                                     const dart::String& name);
 
-
   struct DepthState {
     explicit DepthState(intptr_t function)
         : loop_(0),
           function_(function),
           try_(0),
           catch_(0),
           finally_(0),
           for_in_(0) {}
 
     intptr_t loop_;
@@ skipping 219 matching lines @@
       StoreBarrierType emit_store_barrier = kEmitStoreBarrier);
   Fragment StoreLocal(TokenPosition position, LocalVariable* variable);
   Fragment StoreStaticField(const dart::Field& field);
   Fragment StringInterpolate(TokenPosition position);
   Fragment ThrowTypeError();
   Fragment ThrowNoSuchMethodError();
   Fragment BuildImplicitClosureCreation(const Function& target);
   Fragment GuardFieldLength(const dart::Field& field, intptr_t deopt_id);
   Fragment GuardFieldClass(const dart::Field& field, intptr_t deopt_id);
 
+  Fragment EvaluateAssertion();
+  Fragment MaybeCheckReturnType();
+  Fragment MaybeCheckVariableType(VariableDeclaration* variable);
+  Fragment MaybeCheckBool();
+  Fragment MaybeCheckAssignable(const dart::AbstractType& dst_type,
+                                const dart::String& dst_name);
+
+  Fragment AssertBool();
+  Fragment AssertAssignable(const dart::AbstractType& dst_type,
+                            const dart::String& dst_name);
+
   dart::RawFunction* LookupMethodByMember(Member* target,
                                           const dart::String& method_name);
 
   LocalVariable* MakeTemporary();
   LocalVariable* MakeNonTemporary(const dart::String& symbol);
 
   intptr_t CurrentTryIndex();
   intptr_t AllocateTryIndex() { return next_used_try_index_++; }
 
   void AddVariable(VariableDeclaration* declaration, LocalVariable* variable);
@@ skipping 119 matching lines @@
 namespace kernel {
 
 RawObject* EvaluateMetadata(TreeNode* const kernel_node);
 RawObject* BuildParameterDescriptor(TreeNode* const kernel_node);
 
 }  // namespace kernel
 }  // namespace dart
 
 #endif  // !defined(DART_PRECOMPILED_RUNTIME)
 #endif  // RUNTIME_VM_KERNEL_TO_IL_H_