| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 class SsaCodeGeneratorTask extends CompilerTask { | 5 class SsaCodeGeneratorTask extends CompilerTask { |
| 6 final JavaScriptBackend backend; | 6 final JavaScriptBackend backend; |
| 7 SsaCodeGeneratorTask(JavaScriptBackend backend) | 7 SsaCodeGeneratorTask(JavaScriptBackend backend) |
| 8 : this.backend = backend, | 8 : this.backend = backend, |
| 9 super(backend.compiler); | 9 super(backend.compiler); |
| 10 String get name() => 'SSA code generator'; | 10 String get name() => 'SSA code generator'; |
| (...skipping 1213 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1224 visitInvokeUnary(node, op); | 1224 visitInvokeUnary(node, op); |
| 1225 buffer.add(' >>> 0'); | 1225 buffer.add(' >>> 0'); |
| 1226 this.expectedPrecedence = oldPrecedence; | 1226 this.expectedPrecedence = oldPrecedence; |
| 1227 endExpression(unsignedShiftPrecedences.precedence); | 1227 endExpression(unsignedShiftPrecedences.precedence); |
| 1228 } else { | 1228 } else { |
| 1229 visitInvokeUnary(node, op); | 1229 visitInvokeUnary(node, op); |
| 1230 } | 1230 } |
| 1231 } | 1231 } |
| 1232 | 1232 |
| 1233 void emitIdentityComparison(HInstruction left, HInstruction right) { | 1233 void emitIdentityComparison(HInstruction left, HInstruction right) { |
| 1234 String op = singleIdentityComparison(left, right); | 1234 HType leftType = left.propagatedType; |
| 1235 if (op != null) { | 1235 HType rightType = right.propagatedType; |
| 1236 if (leftType.canBeNull() && rightType.canBeNull()) { |
| 1237 if (left.isConstantNull() || right.isConstantNull() || |
| 1238 (leftType.isPrimitive() && leftType == rightType)) { |
| 1239 beginExpression(JSPrecedence.EQUALITY_PRECEDENCE); |
| 1240 use(left, JSPrecedence.EQUALITY_PRECEDENCE); |
| 1241 buffer.add(' == '); |
| 1242 use(right, JSPrecedence.RELATIONAL_PRECEDENCE); |
| 1243 endExpression(JSPrecedence.EQUALITY_PRECEDENCE); |
| 1244 } else { |
| 1245 assert(NullConstant.JsNull == 'null'); |
| 1246 withPrecedence(JSPrecedence.CONDITIONAL_PRECEDENCE, () { |
| 1247 beginExpression(JSPrecedence.EQUALITY_PRECEDENCE); |
| 1248 use(left, JSPrecedence.EQUALITY_PRECEDENCE); |
| 1249 buffer.add(' == null'); |
| 1250 endExpression(JSPrecedence.EQUALITY_PRECEDENCE); |
| 1251 buffer.add(' ? '); |
| 1252 this.expectedPrecedence = JSPrecedence.ASSIGNMENT_PRECEDENCE; |
| 1253 withPrecedence(JSPrecedence.LOGICAL_AND_PRECEDENCE, () { |
| 1254 beginExpression(JSPrecedence.EQUALITY_PRECEDENCE); |
| 1255 use(right, JSPrecedence.EQUALITY_PRECEDENCE); |
| 1256 buffer.add(' == null'); |
| 1257 endExpression(JSPrecedence.EQUALITY_PRECEDENCE); |
| 1258 buffer.add(" : "); |
| 1259 beginExpression(JSPrecedence.EQUALITY_PRECEDENCE); |
| 1260 use(left, JSPrecedence.EQUALITY_PRECEDENCE); |
| 1261 buffer.add(' === '); |
| 1262 use(right, JSPrecedence.EQUALITY_PRECEDENCE); |
| 1263 endExpression(JSPrecedence.EQUALITY_PRECEDENCE); |
| 1264 }); |
| 1265 }); |
| 1266 } |
| 1267 } else { |
| 1236 beginExpression(JSPrecedence.EQUALITY_PRECEDENCE); | 1268 beginExpression(JSPrecedence.EQUALITY_PRECEDENCE); |
| 1237 use(left, JSPrecedence.EQUALITY_PRECEDENCE); | 1269 use(left, JSPrecedence.EQUALITY_PRECEDENCE); |
| 1238 buffer.add(' $op '); | 1270 buffer.add(' === '); |
| 1239 use(right, JSPrecedence.RELATIONAL_PRECEDENCE); | 1271 use(right, JSPrecedence.RELATIONAL_PRECEDENCE); |
| 1240 endExpression(JSPrecedence.EQUALITY_PRECEDENCE); | 1272 endExpression(JSPrecedence.EQUALITY_PRECEDENCE); |
| 1241 } else { | |
| 1242 assert(NullConstant.JsNull == 'null'); | |
| 1243 withPrecedence(JSPrecedence.CONDITIONAL_PRECEDENCE, () { | |
| 1244 beginExpression(JSPrecedence.EQUALITY_PRECEDENCE); | |
| 1245 use(left, JSPrecedence.EQUALITY_PRECEDENCE); | |
| 1246 buffer.add(' == null'); | |
| 1247 endExpression(JSPrecedence.EQUALITY_PRECEDENCE); | |
| 1248 buffer.add(' ? '); | |
| 1249 this.expectedPrecedence = JSPrecedence.ASSIGNMENT_PRECEDENCE; | |
| 1250 withPrecedence(JSPrecedence.LOGICAL_AND_PRECEDENCE, () { | |
| 1251 beginExpression(JSPrecedence.EQUALITY_PRECEDENCE); | |
| 1252 use(right, JSPrecedence.EQUALITY_PRECEDENCE); | |
| 1253 buffer.add(' == null'); | |
| 1254 endExpression(JSPrecedence.EQUALITY_PRECEDENCE); | |
| 1255 buffer.add(" : "); | |
| 1256 beginExpression(JSPrecedence.EQUALITY_PRECEDENCE); | |
| 1257 use(left, JSPrecedence.EQUALITY_PRECEDENCE); | |
| 1258 buffer.add(' === '); | |
| 1259 use(right, JSPrecedence.EQUALITY_PRECEDENCE); | |
| 1260 endExpression(JSPrecedence.EQUALITY_PRECEDENCE); | |
| 1261 }); | |
| 1262 }); | |
| 1263 } | 1273 } |
| 1264 } | 1274 } |
| 1265 | 1275 |
| 1266 visitEquals(HEquals node) { | 1276 visitEquals(HEquals node) { |
| 1267 if (node.builtin) { | 1277 if (node.builtin) { |
| 1268 emitIdentityComparison(node.left, node.right); | 1278 emitIdentityComparison(node.left, node.right); |
| 1269 } else { | 1279 } else { |
| 1270 visitInvokeStatic(node); | 1280 visitInvokeStatic(node); |
| 1271 } | 1281 } |
| 1272 } | 1282 } |
| (...skipping 1825 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3098 startBailoutSwitch(); | 3108 startBailoutSwitch(); |
| 3099 } | 3109 } |
| 3100 } | 3110 } |
| 3101 | 3111 |
| 3102 void endLabeledBlock(HLabeledBlockInformation labeledBlockInfo) { | 3112 void endLabeledBlock(HLabeledBlockInformation labeledBlockInfo) { |
| 3103 if (labeledBlockInfo.body.start.hasGuards()) { | 3113 if (labeledBlockInfo.body.start.hasGuards()) { |
| 3104 endBailoutSwitch(); | 3114 endBailoutSwitch(); |
| 3105 } | 3115 } |
| 3106 } | 3116 } |
| 3107 } | 3117 } |
| 3108 | |
| 3109 String singleIdentityComparison(HInstruction left, HInstruction right) { | |
| 3110 // Returns the single identity comparison (== or ===) or null if a more | |
| 3111 // complex expression is required. | |
| 3112 HType leftType = left.propagatedType; | |
| 3113 HType rightType = right.propagatedType; | |
| 3114 if (leftType.canBeNull() && rightType.canBeNull()) { | |
| 3115 if (left.isConstantNull() || right.isConstantNull() || | |
| 3116 (leftType.isPrimitive() && leftType == rightType)) { | |
| 3117 return '=='; | |
| 3118 } | |
| 3119 return null; | |
| 3120 } else { | |
| 3121 return '==='; | |
| 3122 } | |
| 3123 } | |
| OLD | NEW |