Revision: 7183
Author: [email protected]
Date: Tue Mar 15 14:56:12 2011
Log: Fix incorrect assumption on bit-and on ARM
Review URL: http://codereview.chromium.org/6696037
http://code.google.com/p/v8/source/detail?r=7183
Modified:
/branches/bleeding_edge/src/arm/codegen-arm.cc
/branches/bleeding_edge/test/mjsunit/bitops-info.js
=======================================
--- /branches/bleeding_edge/src/arm/codegen-arm.cc Tue Mar 15 04:01:21 2011
+++ /branches/bleeding_edge/src/arm/codegen-arm.cc Tue Mar 15 14:56:12 2011
@@ -1159,7 +1159,7 @@
}
// Check that the *signed* result fits in a smi. Not necessary for AND,
SAR
// if the shift if more than 0 or SHR if the shit is more than 1.
- if (!( (op_ == Token::AND) ||
+ if (!( (op_ == Token::AND && value_ >= 0) ||
((op_ == Token::SAR) && (shift_value > 0)) ||
((op_ == Token::SHR) && (shift_value > 1)))) {
__ add(r3, int32, Operand(0x40000000), SetCC);
@@ -1420,8 +1420,10 @@
default: UNREACHABLE();
}
deferred->BindExit();
- TypeInfo result_type =
- (op == Token::BIT_AND) ? TypeInfo::Smi() :
TypeInfo::Integer32();
+ TypeInfo result_type = TypeInfo::Integer32();
+ if (op == Token::BIT_AND && int_value >= 0) {
+ result_type = TypeInfo::Smi();
+ }
frame_->EmitPush(tos, result_type);
}
break;
=======================================
--- /branches/bleeding_edge/test/mjsunit/bitops-info.js Tue Dec 7 03:01:02
2010
+++ /branches/bleeding_edge/test/mjsunit/bitops-info.js Tue Mar 15 14:56:12
2011
@@ -36,7 +36,6 @@
function hidden_int32() {
return 1600822924; // It's a signed Int32.
}
-
function f() {
var x = non_int32(); // Not a constant.
@@ -66,6 +65,13 @@
assertEquals(46512102 & 2600822924, x & y, "10rev");
assertEquals(1600822924 & 2600822924, x & z, "11rev");
+ assertEquals((46512102 & -0x20123456) | 1, (y & -0x20123456) | 1, "12");
+ assertEquals((1600822924 & -0x20123456) | 1, (z & -0x20123456) |
1, "13");
+ assertEquals((2600822924 & -0x20123456) | 1, (x & -0x20123456) |
1, "14");
+ assertEquals((46512102 & -0x20123456) | 1, (-0x20123456 & y) |
1, "12rev");
+ assertEquals((1600822924 & -0x20123456) | 1, (-0x20123456 & z) |
1, "13rev");
+ assertEquals((2600822924 & -0x20123456) | 1, (-0x20123456 & x) |
1, "14rev");
+
assertEquals(2600822924 & 2600822924, x & x, "xx");
assertEquals(y, y & y, "yy");
assertEquals(z, z & z, "zz");
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev
