X87: [turbofan] Don't use the CompareIC in JSGenericLowering.

lizhengxing · Commit bot · commit 4a6f15124ff6 · 2016-03-01T02:37:12.000Z
port d00da47(r34335) original commit message: The CompareICStub produces an untagged raw word value, which has to be translated to true or false manually in the TurboFan code. But for lazy bailout after the CompareIC, we immediately go back to fullcodegen or Ignition with the raw value, to a location where both fullcodegen and Ignition expect a boolean value, which might crash or in the worst case (depending on the exact computation inside the CompareIC) could lead to arbitrary memory access. Short-term fix is to use the proper runtime functions (unified with the interpreter now) for comparisons. Next task is to provide optimized versions of these based on the CodeStubAssembler, which can then be used via code stubs in TurboFan or directly in handlers in the interpreter. BUG= Review URL: https://codereview.chromium.org/1744923002 Cr-Commit-Position: refs/heads/master@{#34372}
diff --git a/src/x87/code-stubs-x87.cc b/src/x87/code-stubs-x87.cc
@@ -1155,7 +1155,7 @@ void CompareICStub::GenerateGeneric(MacroAssembler* masm) {
       FrameScope scope(masm, StackFrame::INTERNAL);
       __ Push(edx);
       __ Push(eax);
-      __ CallRuntime(strict() ? Runtime::kStrictEquals : Runtime::kEquals);
+      __ CallRuntime(strict() ? Runtime::kStrictEqual : Runtime::kEqual);
     }
     // Turn true into 0 and false into some non-zero value.
     STATIC_ASSERT(EQUAL == 0);

Original file line number	Diff line number	Diff line change
`@@ -1155,7 +1155,7 @@ void CompareICStub::GenerateGeneric(MacroAssembler* masm) {`
`1155`	`1155`	`FrameScope scope(masm, StackFrame::INTERNAL);`
`1156`	`1156`	`__ Push(edx);`
`1157`	`1157`	`__ Push(eax);`
`1158`		`- __ CallRuntime(strict() ? Runtime::kStrictEquals : Runtime::kEquals);`
	`1158`	`+ __ CallRuntime(strict() ? Runtime::kStrictEqual : Runtime::kEqual);`
`1159`	`1159`	`}`
`1160`	`1160`	`// Turn true into 0 and false into some non-zero value.`
`1161`	`1161`	`STATIC_ASSERT(EQUAL == 0);`