Track fields which are known to be always set to integer constants

lib/compiler/implementation/ssa/codegen.dart

 // 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.
 
 class SsaCodeGeneratorTask extends CompilerTask {
   final JavaScriptBackend backend;
   SsaCodeGeneratorTask(JavaScriptBackend backend)
       : this.backend = backend,
         super(backend.compiler);
   String get name() => 'SSA code generator';
@@ skipping 1720 matching lines @@
   visitFieldSet(HFieldSet node) {
     String name;
     if (!node.isFromActivation()) {
       name = compiler.namer.getName(node.element);
       beginExpression(JSPrecedence.ASSIGNMENT_PRECEDENCE);
       use(node.receiver, JSPrecedence.MEMBER_PRECEDENCE);
       buffer.add('.');
       buffer.add(name);
       Type type = node.receiver.propagatedType.computeType(compiler);
       if (type != null) {
-        world.registerFieldSetter(node.element.name, type);
+        world.registerFieldSetter(node.element.name,
+                                  type,
+                                  node.value.isInteger());
       }
     } else {
       declareInstruction(node.receiver);
     }
     buffer.add(' = ');
     use(node.value, JSPrecedence.ASSIGNMENT_PRECEDENCE);
     if (node.receiver !== null) {
       endExpression(JSPrecedence.ASSIGNMENT_PRECEDENCE);
     }
   }
 
   visitForeign(HForeign node) {
     String code = node.code.slowToString();
     List<HInstruction> inputs = node.inputs;
     List<String> parts = code.split('#');
     if (parts.length != inputs.length + 1) {
       compiler.internalError(
           'Wrong number of arguments for JS', instruction: node);
     }
     beginExpression(JSPrecedence.EXPRESSION_PRECEDENCE);
     buffer.add(parts[0]);
     for (int i = 0; i < inputs.length; i++) {
       use(inputs[i], JSPrecedence.EXPRESSION_PRECEDENCE);
       buffer.add(parts[i + 1]);
     }
     endExpression(JSPrecedence.EXPRESSION_PRECEDENCE);
   }
 
   visitForeignNew(HForeignNew node) {
+    var i = 0;
+    node.element.forEachInstanceField(
+      includeBackendMembers: true,
+      includeSuperMembers: true,
+      f: (ClassElement enclosingClass, Element member) {
+        world.registerFieldInitializer(member.name,
+                                       enclosingClass.computeType(compiler),
+                                       node.inputs[i].isInteger());
+
+        i++;
+      });
     String jsClassReference = compiler.namer.isolateAccess(node.element);
     beginExpression(JSPrecedence.MEMBER_PRECEDENCE);
     buffer.add('new $jsClassReference(');
     // We can't use 'visitArguments', since our arguments start at input[0].
     List<HInstruction> inputs = node.inputs;
     for (int i = 0; i < inputs.length; i++) {
       if (i != 0) buffer.add(', ');
       use(inputs[i], JSPrecedence.ASSIGNMENT_PRECEDENCE);
     }
     buffer.add(')');
@@ skipping 1128 matching lines @@
       startBailoutSwitch();
     }
   }
 
   void endLabeledBlock(HLabeledBlockInformation labeledBlockInfo) {
     if (labeledBlockInfo.body.start.hasGuards()) {
       endBailoutSwitch();
     }
   }
 }