kernel->ssa: implement assert statements

pkg/compiler/lib/src/ssa/kernel_ast_adapter.dart

 // 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.
 
 import 'package:kernel/ast.dart' as ir;
 
 import '../common.dart';
 import '../common/names.dart';
 import '../compiler.dart';
 import '../constants/values.dart';
@@ skipping 237 matching lines @@
 
   Element get jsIndexableLength => _backend.helpers.jsIndexableLength;
 
   ir.Procedure get checkConcurrentModificationError =>
       kernel.functions[_backend.helpers.checkConcurrentModificationError];
 
   TypeMask get checkConcurrentModificationErrorReturnType =>
       TypeMaskFactory.inferredReturnTypeForElement(
           _backend.helpers.checkConcurrentModificationError, _compiler);
 
+  ir.Procedure get assertHelper =>
+      kernel.functions[_backend.helpers.assertHelper];
+
+  TypeMask get assertHelperReturnType => TypeMaskFactory
+      .inferredReturnTypeForElement(_backend.helpers.assertHelper, _compiler);
+
+  ir.Procedure get assertTest => kernel.functions[_backend.helpers.assertTest];
+
+  TypeMask get assertTestReturnType => TypeMaskFactory
+      .inferredReturnTypeForElement(_backend.helpers.assertTest, _compiler);
+
+  ir.Procedure get assertThrow =>
+      kernel.functions[_backend.helpers.assertThrow];
+
+  TypeMask get assertThrowReturnType => TypeMaskFactory
+      .inferredReturnTypeForElement(_backend.helpers.assertThrow, _compiler);
+
   DartType getDartType(ir.DartType type) {
     return type.accept(_typeConverter);
   }
 
   List<DartType> getDartTypes(List<ir.DartType> types) {
     return types.map(getDartType).toList();
   }
 }
 
 class DartTypeConverter extends ir.DartTypeVisitor<DartType> {
@@ skipping 41 matching lines @@
   @override
   DartType visitDynamicType(ir.DynamicType node) {
     return const DynamicType();
   }
 
   @override
   DartType visitInvalidType(ir.InvalidType node) {
     throw new UnimplementedError("Invalid types not currently supported");
   }
 }