OLD | NEW |
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
4 // met: | 4 // met: |
5 // | 5 // |
6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
(...skipping 966 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
977 void MacroAssembler::Set(const Operand& dst, int64_t x) { | 977 void MacroAssembler::Set(const Operand& dst, int64_t x) { |
978 if (is_int32(x)) { | 978 if (is_int32(x)) { |
979 movq(dst, Immediate(static_cast<int32_t>(x))); | 979 movq(dst, Immediate(static_cast<int32_t>(x))); |
980 } else { | 980 } else { |
981 Set(kScratchRegister, x); | 981 Set(kScratchRegister, x); |
982 movq(dst, kScratchRegister); | 982 movq(dst, kScratchRegister); |
983 } | 983 } |
984 } | 984 } |
985 | 985 |
986 | 986 |
| 987 // ---------------------------------------------------------------------------- |
| 988 // Smi tagging, untagging and tag detection. |
| 989 |
| 990 |
| 991 static inline Immediate SmiToImmediate(Smi* src) { |
| 992 if (kSmiValueSize == 32) { |
| 993 UNREACHABLE(); |
| 994 return Immediate(2); |
| 995 } else { |
| 996 return Immediate(static_cast<int32_t>(reinterpret_cast<intptr_t>(src))); |
| 997 } |
| 998 } |
| 999 |
| 1000 |
987 bool MacroAssembler::IsUnsafeInt(const int x) { | 1001 bool MacroAssembler::IsUnsafeInt(const int x) { |
988 static const int kMaxBits = 17; | 1002 static const int kMaxBits = 17; |
989 return !is_intn(x, kMaxBits); | 1003 return !is_intn(x, kMaxBits); |
990 } | 1004 } |
991 | 1005 |
992 | 1006 |
993 void MacroAssembler::SafeMove(Register dst, Smi* src) { | 1007 void MacroAssembler::SafeMove(Register dst, Smi* src) { |
994 ASSERT(!dst.is(kScratchRegister)); | 1008 ASSERT(!dst.is(kScratchRegister)); |
995 ASSERT(kSmiValueSize == 32); // JIT cookie can be converted to Smi. | 1009 if (kSmiValueSize == 32) { |
996 if (IsUnsafeInt(src->value()) && jit_cookie() != 0) { | 1010 if (IsUnsafeInt(src->value()) && jit_cookie() != 0) { |
997 Move(dst, Smi::FromInt(src->value() ^ jit_cookie())); | 1011 Move(dst, Smi::FromInt(src->value() ^ jit_cookie())); |
998 Move(kScratchRegister, Smi::FromInt(jit_cookie())); | 1012 Move(kScratchRegister, Smi::FromInt(jit_cookie())); |
999 xor_(dst, kScratchRegister); | 1013 xor_(dst, kScratchRegister); |
| 1014 } else { |
| 1015 Move(dst, src); |
| 1016 } |
1000 } else { | 1017 } else { |
1001 Move(dst, src); | 1018 ASSERT(kSmiValueSize == 31); |
| 1019 if (IsUnsafeInt(src->value()) && jit_cookie() != 0) { |
| 1020 movq(dst, Immediate(static_cast<int>(reinterpret_cast<intptr_t>(src)) ^ |
| 1021 jit_cookie())); |
| 1022 movq(kScratchRegister, Immediate(jit_cookie())); |
| 1023 xor_(dst, kScratchRegister); |
| 1024 } else { |
| 1025 Move(dst, src); |
| 1026 } |
1002 } | 1027 } |
1003 } | 1028 } |
1004 | 1029 |
1005 | 1030 |
1006 void MacroAssembler::SafePush(Smi* src) { | 1031 void MacroAssembler::SafePush(Smi* src) { |
1007 ASSERT(kSmiValueSize == 32); // JIT cookie can be converted to Smi. | 1032 if (kSmiValueSize == 32) { |
1008 if (IsUnsafeInt(src->value()) && jit_cookie() != 0) { | 1033 if (IsUnsafeInt(src->value()) && jit_cookie() != 0) { |
1009 Push(Smi::FromInt(src->value() ^ jit_cookie())); | 1034 Push(Smi::FromInt(src->value() ^ jit_cookie())); |
1010 Move(kScratchRegister, Smi::FromInt(jit_cookie())); | 1035 Move(kScratchRegister, Smi::FromInt(jit_cookie())); |
1011 xor_(Operand(rsp, 0), kScratchRegister); | 1036 xor_(Operand(rsp, 0), kScratchRegister); |
| 1037 } else { |
| 1038 Push(src); |
| 1039 } |
1012 } else { | 1040 } else { |
1013 Push(src); | 1041 ASSERT(kSmiValueSize == 31); |
| 1042 if (IsUnsafeInt(src->value()) && jit_cookie() != 0) { |
| 1043 push(Immediate(static_cast<int>(reinterpret_cast<intptr_t>(src)) ^ |
| 1044 jit_cookie())); |
| 1045 movq(kScratchRegister, Immediate(jit_cookie())); |
| 1046 xor_(Operand(rsp, 0), kScratchRegister); |
| 1047 } else { |
| 1048 Push(src); |
| 1049 } |
1014 } | 1050 } |
1015 } | 1051 } |
1016 | 1052 |
1017 | 1053 |
1018 // ---------------------------------------------------------------------------- | |
1019 // Smi tagging, untagging and tag detection. | |
1020 | |
1021 Register MacroAssembler::GetSmiConstant(Smi* source) { | 1054 Register MacroAssembler::GetSmiConstant(Smi* source) { |
1022 int value = source->value(); | 1055 int value = source->value(); |
1023 if (value == 0) { | 1056 if (value == 0) { |
1024 xorl(kScratchRegister, kScratchRegister); | 1057 xorl(kScratchRegister, kScratchRegister); |
1025 return kScratchRegister; | 1058 return kScratchRegister; |
1026 } | 1059 } |
1027 if (value == 1) { | 1060 if (value == 1) { |
1028 return kSmiConstantRegister; | 1061 return kSmiConstantRegister; |
1029 } | 1062 } |
1030 LoadSmiConstant(kScratchRegister, source); | 1063 LoadSmiConstant(kScratchRegister, source); |
(...skipping 59 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1090 neg(dst); | 1123 neg(dst); |
1091 } | 1124 } |
1092 } | 1125 } |
1093 | 1126 |
1094 | 1127 |
1095 void MacroAssembler::Integer32ToSmi(Register dst, Register src) { | 1128 void MacroAssembler::Integer32ToSmi(Register dst, Register src) { |
1096 STATIC_ASSERT(kSmiTag == 0); | 1129 STATIC_ASSERT(kSmiTag == 0); |
1097 if (!dst.is(src)) { | 1130 if (!dst.is(src)) { |
1098 movl(dst, src); | 1131 movl(dst, src); |
1099 } | 1132 } |
1100 shl(dst, Immediate(kSmiShift)); | 1133 if (kSmiValueSize == 32) { |
| 1134 shl(dst, Immediate(kSmiShift)); |
| 1135 } else { |
| 1136 ASSERT(kSmiValueSize == 31); |
| 1137 shll(dst, Immediate(kSmiShift)); |
| 1138 movsxlq(dst, dst); |
| 1139 } |
1101 } | 1140 } |
1102 | 1141 |
1103 | 1142 |
1104 void MacroAssembler::Integer32ToSmiField(const Operand& dst, Register src) { | 1143 void MacroAssembler::Integer32ToSmiField(const Operand& dst, Register src) { |
1105 if (emit_debug_code()) { | 1144 if (emit_debug_code()) { |
1106 testb(dst, Immediate(0x01)); | 1145 testb(dst, Immediate(0x01)); |
1107 Label ok; | 1146 Label ok; |
1108 j(zero, &ok, Label::kNear); | 1147 j(zero, &ok, Label::kNear); |
1109 if (allow_stub_calls()) { | 1148 if (allow_stub_calls()) { |
1110 Abort(kInteger32ToSmiFieldWritingToNonSmiLocation); | 1149 Abort(kInteger32ToSmiFieldWritingToNonSmiLocation); |
1111 } else { | 1150 } else { |
1112 int3(); | 1151 int3(); |
1113 } | 1152 } |
1114 bind(&ok); | 1153 bind(&ok); |
1115 } | 1154 } |
1116 ASSERT(kSmiShift % kBitsPerByte == 0); | 1155 if (kSmiValueSize == 32) { |
1117 movl(Operand(dst, kSmiShift / kBitsPerByte), src); | 1156 ASSERT(kSmiShift % kBitsPerByte == 0); |
| 1157 movl(Operand(dst, kSmiShift / kBitsPerByte), src); |
| 1158 } else { |
| 1159 ASSERT(kSmiValueSize == 31); |
| 1160 Integer32ToSmi(kScratchRegister, src); |
| 1161 movq(dst, kScratchRegister); |
| 1162 } |
1118 } | 1163 } |
1119 | 1164 |
1120 | 1165 |
1121 void MacroAssembler::Integer64PlusConstantToSmi(Register dst, | 1166 void MacroAssembler::Integer64PlusConstantToSmi(Register dst, |
1122 Register src, | 1167 Register src, |
1123 int constant) { | 1168 int constant) { |
1124 if (dst.is(src)) { | 1169 if (dst.is(src)) { |
1125 addl(dst, Immediate(constant)); | 1170 addl(dst, Immediate(constant)); |
1126 } else { | 1171 } else { |
1127 leal(dst, Operand(src, constant)); | 1172 leal(dst, Operand(src, constant)); |
1128 } | 1173 } |
1129 shl(dst, Immediate(kSmiShift)); | 1174 Integer32ToSmi(dst, dst); |
1130 } | 1175 } |
1131 | 1176 |
1132 | 1177 |
1133 void MacroAssembler::SmiToInteger32(Register dst, Register src) { | 1178 void MacroAssembler::SmiToInteger32(Register dst, Register src) { |
1134 STATIC_ASSERT(kSmiTag == 0); | 1179 STATIC_ASSERT(kSmiTag == 0); |
1135 if (!dst.is(src)) { | 1180 if (!dst.is(src)) { |
1136 movq(dst, src); | 1181 movq(dst, src); |
1137 } | 1182 } |
1138 shr(dst, Immediate(kSmiShift)); | 1183 if (kSmiValueSize == 32) { |
| 1184 shr(dst, Immediate(kSmiShift)); |
| 1185 } else { |
| 1186 ASSERT(kSmiValueSize == 31); |
| 1187 sarl(dst, Immediate(kSmiShift)); |
| 1188 } |
1139 } | 1189 } |
1140 | 1190 |
1141 | 1191 |
1142 void MacroAssembler::SmiToInteger32(Register dst, const Operand& src) { | 1192 void MacroAssembler::SmiToInteger32(Register dst, const Operand& src) { |
1143 movl(dst, Operand(src, kSmiShift / kBitsPerByte)); | 1193 if (kSmiValueSize == 32) { |
| 1194 movl(dst, Operand(src, kSmiShift / kBitsPerByte)); |
| 1195 } else { |
| 1196 ASSERT(kSmiValueSize == 31); |
| 1197 movl(dst, src); |
| 1198 sarl(dst, Immediate(kSmiShift)); |
| 1199 } |
1144 } | 1200 } |
1145 | 1201 |
1146 | 1202 |
1147 void MacroAssembler::SmiToInteger64(Register dst, Register src) { | 1203 void MacroAssembler::SmiToInteger64(Register dst, Register src) { |
1148 STATIC_ASSERT(kSmiTag == 0); | 1204 STATIC_ASSERT(kSmiTag == 0); |
1149 if (!dst.is(src)) { | 1205 if (!dst.is(src)) { |
1150 movq(dst, src); | 1206 movq(dst, src); |
1151 } | 1207 } |
1152 sar(dst, Immediate(kSmiShift)); | 1208 sar(dst, Immediate(kSmiShift)); |
1153 } | 1209 } |
1154 | 1210 |
1155 | 1211 |
1156 void MacroAssembler::SmiToInteger64(Register dst, const Operand& src) { | 1212 void MacroAssembler::SmiToInteger64(Register dst, const Operand& src) { |
1157 movsxlq(dst, Operand(src, kSmiShift / kBitsPerByte)); | 1213 if (kSmiValueSize == 32) { |
| 1214 movsxlq(dst, Operand(src, kSmiShift / kBitsPerByte)); |
| 1215 } else { |
| 1216 ASSERT(kSmiValueSize == 31); |
| 1217 movq(dst, src); |
| 1218 SmiToInteger64(dst, dst); |
| 1219 } |
1158 } | 1220 } |
1159 | 1221 |
1160 | 1222 |
1161 void MacroAssembler::SmiTest(Register src) { | 1223 void MacroAssembler::SmiTest(Register src) { |
1162 AssertSmi(src); | 1224 AssertSmi(src); |
1163 testq(src, src); | 1225 if (kSmiValueSize == 32) { |
| 1226 testq(src, src); |
| 1227 } else { |
| 1228 ASSERT(kSmiValueSize == 31); |
| 1229 testl(src, src); |
| 1230 } |
1164 } | 1231 } |
1165 | 1232 |
1166 | 1233 |
1167 void MacroAssembler::SmiCompare(Register smi1, Register smi2) { | 1234 void MacroAssembler::SmiCompare(Register smi1, Register smi2) { |
1168 AssertSmi(smi1); | 1235 AssertSmi(smi1); |
1169 AssertSmi(smi2); | 1236 AssertSmi(smi2); |
1170 cmpq(smi1, smi2); | 1237 if (kSmiValueSize == 32) { |
| 1238 cmpq(smi1, smi2); |
| 1239 } else { |
| 1240 ASSERT(kSmiValueSize == 31); |
| 1241 cmpl(smi1, smi2); |
| 1242 } |
1171 } | 1243 } |
1172 | 1244 |
1173 | 1245 |
1174 void MacroAssembler::SmiCompare(Register dst, Smi* src) { | 1246 void MacroAssembler::SmiCompare(Register dst, Smi* src) { |
1175 AssertSmi(dst); | 1247 AssertSmi(dst); |
1176 Cmp(dst, src); | 1248 Cmp(dst, src); |
1177 } | 1249 } |
1178 | 1250 |
1179 | 1251 |
1180 void MacroAssembler::Cmp(Register dst, Smi* src) { | 1252 void MacroAssembler::Cmp(Register dst, Smi* src) { |
1181 ASSERT(!dst.is(kScratchRegister)); | 1253 ASSERT(!dst.is(kScratchRegister)); |
1182 if (src->value() == 0) { | 1254 if (src->value() == 0) { |
1183 testq(dst, dst); | 1255 if (kSmiValueSize == 32) { |
| 1256 testq(dst, dst); |
| 1257 } else { |
| 1258 ASSERT(kSmiValueSize == 31); |
| 1259 testl(dst, dst); |
| 1260 } |
1184 } else { | 1261 } else { |
1185 Register constant_reg = GetSmiConstant(src); | 1262 Register constant_reg = GetSmiConstant(src); |
1186 cmpq(dst, constant_reg); | 1263 if (kSmiValueSize == 32) { |
| 1264 cmpq(dst, constant_reg); |
| 1265 } else { |
| 1266 ASSERT(kSmiValueSize == 31); |
| 1267 cmpl(dst, constant_reg); |
| 1268 } |
1187 } | 1269 } |
1188 } | 1270 } |
1189 | 1271 |
1190 | 1272 |
1191 void MacroAssembler::SmiCompare(Register dst, const Operand& src) { | 1273 void MacroAssembler::SmiCompare(Register dst, const Operand& src) { |
1192 AssertSmi(dst); | 1274 AssertSmi(dst); |
1193 AssertSmi(src); | 1275 AssertSmi(src); |
1194 cmpq(dst, src); | 1276 if (kSmiValueSize == 32) { |
| 1277 cmpq(dst, src); |
| 1278 } else { |
| 1279 ASSERT(kSmiValueSize == 31); |
| 1280 cmpl(dst, src); |
| 1281 } |
1195 } | 1282 } |
1196 | 1283 |
1197 | 1284 |
1198 void MacroAssembler::SmiCompare(const Operand& dst, Register src) { | 1285 void MacroAssembler::SmiCompare(const Operand& dst, Register src) { |
1199 AssertSmi(dst); | 1286 AssertSmi(dst); |
1200 AssertSmi(src); | 1287 AssertSmi(src); |
1201 cmpq(dst, src); | 1288 if (kSmiValueSize == 32) { |
| 1289 cmpq(dst, src); |
| 1290 } else { |
| 1291 ASSERT(kSmiValueSize == 31); |
| 1292 cmpl(dst, src); |
| 1293 } |
1202 } | 1294 } |
1203 | 1295 |
1204 | 1296 |
1205 void MacroAssembler::SmiCompare(const Operand& dst, Smi* src) { | 1297 void MacroAssembler::SmiCompare(const Operand& dst, Smi* src) { |
1206 AssertSmi(dst); | 1298 AssertSmi(dst); |
1207 cmpl(Operand(dst, kSmiShift / kBitsPerByte), Immediate(src->value())); | 1299 if (kSmiValueSize == 32) { |
| 1300 cmpl(Operand(dst, kSmiShift / kBitsPerByte), Immediate(src->value())); |
| 1301 } else { |
| 1302 ASSERT(kSmiValueSize == 31); |
| 1303 cmpl(dst, SmiToImmediate(src)); |
| 1304 } |
1208 } | 1305 } |
1209 | 1306 |
1210 | 1307 |
1211 void MacroAssembler::Cmp(const Operand& dst, Smi* src) { | 1308 void MacroAssembler::Cmp(const Operand& dst, Smi* src) { |
1212 // The Operand cannot use the smi register. | 1309 if (kSmiValueSize == 32) { |
1213 Register smi_reg = GetSmiConstant(src); | 1310 // The Operand cannot use the smi register. |
1214 ASSERT(!dst.AddressUsesRegister(smi_reg)); | 1311 Register smi_reg = GetSmiConstant(src); |
1215 cmpq(dst, smi_reg); | 1312 ASSERT(!dst.AddressUsesRegister(smi_reg)); |
| 1313 cmpq(dst, smi_reg); |
| 1314 } else { |
| 1315 ASSERT(kSmiValueSize == 31); |
| 1316 cmpl(dst, SmiToImmediate(src)); |
| 1317 } |
1216 } | 1318 } |
1217 | 1319 |
1218 | 1320 |
1219 void MacroAssembler::SmiCompareInteger32(const Operand& dst, Register src) { | 1321 void MacroAssembler::SmiCompareInteger32(const Operand& dst, Register src) { |
1220 cmpl(Operand(dst, kSmiShift / kBitsPerByte), src); | 1322 if (kSmiValueSize == 32) { |
| 1323 cmpl(Operand(dst, kSmiShift / kBitsPerByte), src); |
| 1324 } else { |
| 1325 ASSERT(kSmiValueSize == 31); |
| 1326 SmiToInteger32(kScratchRegister, dst); |
| 1327 cmpl(kScratchRegister, src); |
| 1328 } |
1221 } | 1329 } |
1222 | 1330 |
1223 | 1331 |
1224 void MacroAssembler::PositiveSmiTimesPowerOfTwoToInteger64(Register dst, | 1332 void MacroAssembler::PositiveSmiTimesPowerOfTwoToInteger64(Register dst, |
1225 Register src, | 1333 Register src, |
1226 int power) { | 1334 int power) { |
1227 ASSERT(power >= 0); | 1335 ASSERT(power >= 0); |
1228 ASSERT(power < 64); | 1336 ASSERT(power < 64); |
1229 if (power == 0) { | 1337 if (power == 0) { |
1230 SmiToInteger64(dst, src); | 1338 SmiToInteger64(dst, src); |
1231 return; | 1339 return; |
1232 } | 1340 } |
1233 if (!dst.is(src)) { | 1341 if (!dst.is(src)) { |
1234 movq(dst, src); | 1342 movq(dst, src); |
1235 } | 1343 } |
1236 if (power < kSmiShift) { | 1344 if (power < kSmiShift) { |
1237 sar(dst, Immediate(kSmiShift - power)); | 1345 sar(dst, Immediate(kSmiShift - power)); |
1238 } else if (power > kSmiShift) { | 1346 } else if (power > kSmiShift) { |
1239 shl(dst, Immediate(power - kSmiShift)); | 1347 shl(dst, Immediate(power - kSmiShift)); |
1240 } | 1348 } |
1241 } | 1349 } |
1242 | 1350 |
1243 | 1351 |
1244 void MacroAssembler::PositiveSmiDivPowerOfTwoToInteger32(Register dst, | 1352 void MacroAssembler::PositiveSmiDivPowerOfTwoToInteger32(Register dst, |
1245 Register src, | 1353 Register src, |
1246 int power) { | 1354 int power) { |
1247 ASSERT((0 <= power) && (power < 32)); | 1355 ASSERT((0 <= power) && (power < 32)); |
1248 if (dst.is(src)) { | 1356 if (dst.is(src)) { |
1249 shr(dst, Immediate(power + kSmiShift)); | 1357 if (kSmiValueSize == 32) { |
| 1358 shr(dst, Immediate(power + kSmiShift)); |
| 1359 } else { |
| 1360 ASSERT(kSmiValueSize == 31); |
| 1361 shrl(dst, Immediate(power + kSmiShift)); |
| 1362 } |
1250 } else { | 1363 } else { |
1251 UNIMPLEMENTED(); // Not used. | 1364 UNIMPLEMENTED(); // Not used. |
1252 } | 1365 } |
1253 } | 1366 } |
1254 | 1367 |
1255 | 1368 |
1256 void MacroAssembler::SmiOrIfSmis(Register dst, Register src1, Register src2, | 1369 void MacroAssembler::SmiOrIfSmis(Register dst, Register src1, Register src2, |
1257 Label* on_not_smis, | 1370 Label* on_not_smis, |
1258 Label::Distance near_jump) { | 1371 Label::Distance near_jump) { |
1259 if (dst.is(src1) || dst.is(src2)) { | 1372 if (dst.is(src1) || dst.is(src2)) { |
(...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1293 testb(kScratchRegister, Immediate(3)); | 1406 testb(kScratchRegister, Immediate(3)); |
1294 return zero; | 1407 return zero; |
1295 } | 1408 } |
1296 | 1409 |
1297 | 1410 |
1298 Condition MacroAssembler::CheckBothSmi(Register first, Register second) { | 1411 Condition MacroAssembler::CheckBothSmi(Register first, Register second) { |
1299 if (first.is(second)) { | 1412 if (first.is(second)) { |
1300 return CheckSmi(first); | 1413 return CheckSmi(first); |
1301 } | 1414 } |
1302 STATIC_ASSERT(kSmiTag == 0 && kHeapObjectTag == 1 && kHeapObjectTagMask == 3); | 1415 STATIC_ASSERT(kSmiTag == 0 && kHeapObjectTag == 1 && kHeapObjectTagMask == 3); |
1303 leal(kScratchRegister, Operand(first, second, times_1, 0)); | 1416 if (kSmiValueSize == 32) { |
1304 testb(kScratchRegister, Immediate(0x03)); | 1417 leal(kScratchRegister, Operand(first, second, times_1, 0)); |
| 1418 testb(kScratchRegister, Immediate(0x03)); |
| 1419 } else { |
| 1420 ASSERT(kSmiValueSize == 31); |
| 1421 movl(kScratchRegister, first); |
| 1422 orl(kScratchRegister, second); |
| 1423 testb(kScratchRegister, Immediate(kSmiTagMask)); |
| 1424 } |
1305 return zero; | 1425 return zero; |
1306 } | 1426 } |
1307 | 1427 |
1308 | 1428 |
1309 Condition MacroAssembler::CheckBothNonNegativeSmi(Register first, | 1429 Condition MacroAssembler::CheckBothNonNegativeSmi(Register first, |
1310 Register second) { | 1430 Register second) { |
1311 if (first.is(second)) { | 1431 if (first.is(second)) { |
1312 return CheckNonNegativeSmi(first); | 1432 return CheckNonNegativeSmi(first); |
1313 } | 1433 } |
1314 movq(kScratchRegister, first); | 1434 movq(kScratchRegister, first); |
(...skipping 19 matching lines...) Expand all Loading... |
1334 andl(scratch, second); | 1454 andl(scratch, second); |
1335 } | 1455 } |
1336 testb(scratch, Immediate(kSmiTagMask)); | 1456 testb(scratch, Immediate(kSmiTagMask)); |
1337 return zero; | 1457 return zero; |
1338 } | 1458 } |
1339 | 1459 |
1340 | 1460 |
1341 Condition MacroAssembler::CheckIsMinSmi(Register src) { | 1461 Condition MacroAssembler::CheckIsMinSmi(Register src) { |
1342 ASSERT(!src.is(kScratchRegister)); | 1462 ASSERT(!src.is(kScratchRegister)); |
1343 // If we overflow by subtracting one, it's the minimal smi value. | 1463 // If we overflow by subtracting one, it's the minimal smi value. |
1344 cmpq(src, kSmiConstantRegister); | 1464 if (kSmiValueSize == 32) { |
| 1465 cmpq(src, kSmiConstantRegister); |
| 1466 } else { |
| 1467 ASSERT(kSmiValueSize == 31); |
| 1468 cmpl(src, kSmiConstantRegister); |
| 1469 } |
1345 return overflow; | 1470 return overflow; |
1346 } | 1471 } |
1347 | 1472 |
1348 | 1473 |
1349 Condition MacroAssembler::CheckInteger32ValidSmiValue(Register src) { | 1474 Condition MacroAssembler::CheckInteger32ValidSmiValue(Register src) { |
1350 // A 32-bit integer value can always be converted to a smi. | 1475 if (kSmiValueSize == 32) { |
1351 return always; | 1476 // A 32-bit integer value can always be converted to a smi. |
| 1477 return always; |
| 1478 } else { |
| 1479 ASSERT(kSmiValueSize == 31); |
| 1480 cmpl(src, Immediate(0xc0000000)); |
| 1481 return positive; |
| 1482 } |
1352 } | 1483 } |
1353 | 1484 |
1354 | 1485 |
1355 Condition MacroAssembler::CheckUInteger32ValidSmiValue(Register src) { | 1486 Condition MacroAssembler::CheckUInteger32ValidSmiValue(Register src) { |
1356 // An unsigned 32-bit integer value is valid as long as the high bit | 1487 if (kSmiValueSize == 32) { |
1357 // is not set. | 1488 // An unsigned 32-bit integer value is valid as long as the high bit |
1358 testl(src, src); | 1489 // is not set. |
1359 return positive; | 1490 testl(src, src); |
| 1491 return positive; |
| 1492 } else { |
| 1493 ASSERT(kSmiValueSize == 31); |
| 1494 testl(src, Immediate(0xc0000000)); |
| 1495 return zero; |
| 1496 } |
1360 } | 1497 } |
1361 | 1498 |
1362 | 1499 |
1363 void MacroAssembler::CheckSmiToIndicator(Register dst, Register src) { | 1500 void MacroAssembler::CheckSmiToIndicator(Register dst, Register src) { |
1364 if (dst.is(src)) { | 1501 if (dst.is(src)) { |
1365 andl(dst, Immediate(kSmiTagMask)); | 1502 andl(dst, Immediate(kSmiTagMask)); |
1366 } else { | 1503 } else { |
1367 movl(dst, Immediate(kSmiTagMask)); | 1504 movl(dst, Immediate(kSmiTagMask)); |
1368 andl(dst, src); | 1505 andl(dst, src); |
1369 } | 1506 } |
(...skipping 12 matching lines...) Expand all Loading... |
1382 | 1519 |
1383 | 1520 |
1384 void MacroAssembler::JumpIfNotValidSmiValue(Register src, | 1521 void MacroAssembler::JumpIfNotValidSmiValue(Register src, |
1385 Label* on_invalid, | 1522 Label* on_invalid, |
1386 Label::Distance near_jump) { | 1523 Label::Distance near_jump) { |
1387 Condition is_valid = CheckInteger32ValidSmiValue(src); | 1524 Condition is_valid = CheckInteger32ValidSmiValue(src); |
1388 j(NegateCondition(is_valid), on_invalid, near_jump); | 1525 j(NegateCondition(is_valid), on_invalid, near_jump); |
1389 } | 1526 } |
1390 | 1527 |
1391 | 1528 |
| 1529 void MacroAssembler::JumpIfValidSmiValue(Register src, |
| 1530 Label* on_valid, |
| 1531 Label::Distance near_jump) { |
| 1532 Condition is_valid = CheckInteger32ValidSmiValue(src); |
| 1533 j(is_valid, on_valid, near_jump); |
| 1534 } |
| 1535 |
| 1536 |
1392 void MacroAssembler::JumpIfUIntNotValidSmiValue(Register src, | 1537 void MacroAssembler::JumpIfUIntNotValidSmiValue(Register src, |
1393 Label* on_invalid, | 1538 Label* on_invalid, |
1394 Label::Distance near_jump) { | 1539 Label::Distance near_jump) { |
1395 Condition is_valid = CheckUInteger32ValidSmiValue(src); | 1540 Condition is_valid = CheckUInteger32ValidSmiValue(src); |
1396 j(NegateCondition(is_valid), on_invalid, near_jump); | 1541 j(NegateCondition(is_valid), on_invalid, near_jump); |
1397 } | 1542 } |
1398 | 1543 |
1399 | 1544 |
| 1545 void MacroAssembler::JumpIfUIntValidSmiValue(Register src, |
| 1546 Label* on_valid, |
| 1547 Label::Distance near_jump) { |
| 1548 Condition is_valid = CheckUInteger32ValidSmiValue(src); |
| 1549 j(is_valid, on_valid, near_jump); |
| 1550 } |
| 1551 |
| 1552 |
1400 void MacroAssembler::JumpIfSmi(Register src, | 1553 void MacroAssembler::JumpIfSmi(Register src, |
1401 Label* on_smi, | 1554 Label* on_smi, |
1402 Label::Distance near_jump) { | 1555 Label::Distance near_jump) { |
1403 Condition smi = CheckSmi(src); | 1556 Condition smi = CheckSmi(src); |
1404 j(smi, on_smi, near_jump); | 1557 j(smi, on_smi, near_jump); |
1405 } | 1558 } |
1406 | 1559 |
1407 | 1560 |
1408 void MacroAssembler::JumpIfNotSmi(Register src, | 1561 void MacroAssembler::JumpIfNotSmi(Register src, |
1409 Label* on_not_smi, | 1562 Label* on_not_smi, |
(...skipping 45 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1455 Label::Distance near_jump) { | 1608 Label::Distance near_jump) { |
1456 // Does not assume that src is a smi. | 1609 // Does not assume that src is a smi. |
1457 ASSERT_EQ(static_cast<int>(1), static_cast<int>(kSmiTagMask)); | 1610 ASSERT_EQ(static_cast<int>(1), static_cast<int>(kSmiTagMask)); |
1458 STATIC_ASSERT(kSmiTag == 0); | 1611 STATIC_ASSERT(kSmiTag == 0); |
1459 ASSERT(!dst.is(kScratchRegister)); | 1612 ASSERT(!dst.is(kScratchRegister)); |
1460 ASSERT(!src.is(kScratchRegister)); | 1613 ASSERT(!src.is(kScratchRegister)); |
1461 | 1614 |
1462 JumpIfNotSmi(src, on_not_smi_result, near_jump); | 1615 JumpIfNotSmi(src, on_not_smi_result, near_jump); |
1463 Register tmp = (dst.is(src) ? kScratchRegister : dst); | 1616 Register tmp = (dst.is(src) ? kScratchRegister : dst); |
1464 LoadSmiConstant(tmp, constant); | 1617 LoadSmiConstant(tmp, constant); |
1465 addq(tmp, src); | 1618 if (kSmiValueSize == 32) { |
| 1619 addq(tmp, src); |
| 1620 } else { |
| 1621 ASSERT(kSmiValueSize == 31); |
| 1622 addl(tmp, src); |
| 1623 } |
1466 j(overflow, on_not_smi_result, near_jump); | 1624 j(overflow, on_not_smi_result, near_jump); |
1467 if (dst.is(src)) { | 1625 if (dst.is(src)) { |
1468 movq(dst, tmp); | 1626 movq(dst, tmp); |
1469 } | 1627 } |
| 1628 if (kSmiValueSize == 31) { |
| 1629 movsxlq(dst, dst); |
| 1630 } |
1470 } | 1631 } |
1471 | 1632 |
1472 | 1633 |
1473 void MacroAssembler::SmiAddConstant(Register dst, Register src, Smi* constant) { | 1634 void MacroAssembler::SmiAddConstant(Register dst, Register src, Smi* constant) { |
1474 if (constant->value() == 0) { | 1635 if (constant->value() == 0) { |
1475 if (!dst.is(src)) { | 1636 if (!dst.is(src)) { |
1476 movq(dst, src); | 1637 movq(dst, src); |
1477 } | 1638 } |
1478 return; | 1639 return; |
1479 } else if (dst.is(src)) { | 1640 } else if (dst.is(src)) { |
(...skipping 34 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1514 LoadSmiConstant(dst, constant); | 1675 LoadSmiConstant(dst, constant); |
1515 addq(dst, src); | 1676 addq(dst, src); |
1516 return; | 1677 return; |
1517 } | 1678 } |
1518 } | 1679 } |
1519 } | 1680 } |
1520 | 1681 |
1521 | 1682 |
1522 void MacroAssembler::SmiAddConstant(const Operand& dst, Smi* constant) { | 1683 void MacroAssembler::SmiAddConstant(const Operand& dst, Smi* constant) { |
1523 if (constant->value() != 0) { | 1684 if (constant->value() != 0) { |
1524 addl(Operand(dst, kSmiShift / kBitsPerByte), Immediate(constant->value())); | 1685 if (kSmiValueSize == 32) { |
| 1686 addl(Operand(dst, kSmiShift / kBitsPerByte), |
| 1687 Immediate(constant->value())); |
| 1688 } else { |
| 1689 ASSERT(kSmiValueSize == 31); |
| 1690 addq(dst, SmiToImmediate(constant)); |
| 1691 } |
1525 } | 1692 } |
1526 } | 1693 } |
1527 | 1694 |
1528 | 1695 |
1529 void MacroAssembler::SmiAddConstant(Register dst, | 1696 void MacroAssembler::SmiAddConstant(Register dst, |
1530 Register src, | 1697 Register src, |
1531 Smi* constant, | 1698 Smi* constant, |
1532 Label* on_not_smi_result, | 1699 Label* on_not_smi_result, |
1533 Label::Distance near_jump) { | 1700 Label::Distance near_jump) { |
1534 if (constant->value() == 0) { | 1701 if (constant->value() == 0) { |
1535 if (!dst.is(src)) { | 1702 if (!dst.is(src)) { |
1536 movq(dst, src); | 1703 movq(dst, src); |
1537 } | 1704 } |
1538 } else if (dst.is(src)) { | 1705 } else if (dst.is(src)) { |
1539 ASSERT(!dst.is(kScratchRegister)); | 1706 ASSERT(!dst.is(kScratchRegister)); |
1540 | 1707 |
1541 LoadSmiConstant(kScratchRegister, constant); | 1708 LoadSmiConstant(kScratchRegister, constant); |
1542 addq(kScratchRegister, src); | 1709 if (kSmiValueSize == 32) { |
| 1710 addq(kScratchRegister, src); |
| 1711 } else { |
| 1712 ASSERT(kSmiValueSize == 31); |
| 1713 addl(kScratchRegister, src); |
| 1714 } |
1543 j(overflow, on_not_smi_result, near_jump); | 1715 j(overflow, on_not_smi_result, near_jump); |
1544 movq(dst, kScratchRegister); | 1716 if (kSmiValueSize == 32) { |
| 1717 movq(dst, kScratchRegister); |
| 1718 } else { |
| 1719 ASSERT(kSmiValueSize == 31); |
| 1720 movsxlq(dst, kScratchRegister); |
| 1721 } |
1545 } else { | 1722 } else { |
1546 LoadSmiConstant(dst, constant); | 1723 LoadSmiConstant(dst, constant); |
1547 addq(dst, src); | 1724 if (kSmiValueSize == 32) { |
| 1725 addq(dst, src); |
| 1726 } else { |
| 1727 ASSERT(kSmiValueSize == 31); |
| 1728 addl(dst, src); |
| 1729 } |
1548 j(overflow, on_not_smi_result, near_jump); | 1730 j(overflow, on_not_smi_result, near_jump); |
| 1731 if (kSmiValueSize == 31) { |
| 1732 movsxlq(dst, dst); |
| 1733 } |
1549 } | 1734 } |
1550 } | 1735 } |
1551 | 1736 |
1552 | 1737 |
1553 void MacroAssembler::SmiSubConstant(Register dst, Register src, Smi* constant) { | 1738 void MacroAssembler::SmiSubConstant(Register dst, Register src, Smi* constant) { |
1554 if (constant->value() == 0) { | 1739 if (constant->value() == 0) { |
1555 if (!dst.is(src)) { | 1740 if (!dst.is(src)) { |
1556 movq(dst, src); | 1741 movq(dst, src); |
1557 } | 1742 } |
1558 } else if (dst.is(src)) { | 1743 } else if (dst.is(src)) { |
1559 ASSERT(!dst.is(kScratchRegister)); | 1744 ASSERT(!dst.is(kScratchRegister)); |
1560 Register constant_reg = GetSmiConstant(constant); | 1745 Register constant_reg = GetSmiConstant(constant); |
1561 subq(dst, constant_reg); | 1746 subq(dst, constant_reg); |
1562 } else { | 1747 } else { |
1563 if (constant->value() == Smi::kMinValue) { | 1748 if (constant->value() == Smi::kMinValue) { |
1564 LoadSmiConstant(dst, constant); | 1749 if (kSmiValueSize == 32) { |
1565 // Adding and subtracting the min-value gives the same result, it only | 1750 LoadSmiConstant(dst, constant); |
1566 // differs on the overflow bit, which we don't check here. | 1751 // Adding and subtracting the min-value gives the same result, it only |
1567 addq(dst, src); | 1752 // differs on the overflow bit, which we don't check here. |
| 1753 addq(dst, src); |
| 1754 } else { |
| 1755 ASSERT(kSmiValueSize == 31); |
| 1756 movq(dst, src); |
| 1757 subq(dst, SmiToImmediate(constant)); |
| 1758 } |
1568 } else { | 1759 } else { |
1569 // Subtract by adding the negation. | 1760 // Subtract by adding the negation. |
1570 LoadSmiConstant(dst, Smi::FromInt(-constant->value())); | 1761 LoadSmiConstant(dst, Smi::FromInt(-constant->value())); |
1571 addq(dst, src); | 1762 addq(dst, src); |
1572 } | 1763 } |
1573 } | 1764 } |
1574 } | 1765 } |
1575 | 1766 |
1576 | 1767 |
1577 void MacroAssembler::SmiSubConstant(Register dst, | 1768 void MacroAssembler::SmiSubConstant(Register dst, |
1578 Register src, | 1769 Register src, |
1579 Smi* constant, | 1770 Smi* constant, |
1580 Label* on_not_smi_result, | 1771 Label* on_not_smi_result, |
1581 Label::Distance near_jump) { | 1772 Label::Distance near_jump) { |
1582 if (constant->value() == 0) { | 1773 if (constant->value() == 0) { |
1583 if (!dst.is(src)) { | 1774 if (!dst.is(src)) { |
1584 movq(dst, src); | 1775 movq(dst, src); |
1585 } | 1776 } |
1586 } else if (dst.is(src)) { | 1777 } else if (dst.is(src)) { |
1587 ASSERT(!dst.is(kScratchRegister)); | 1778 ASSERT(!dst.is(kScratchRegister)); |
1588 if (constant->value() == Smi::kMinValue) { | 1779 if (constant->value() == Smi::kMinValue) { |
1589 // Subtracting min-value from any non-negative value will overflow. | 1780 // Subtracting min-value from any non-negative value will overflow. |
1590 // We test the non-negativeness before doing the subtraction. | 1781 // We test the non-negativeness before doing the subtraction. |
1591 testq(src, src); | 1782 if (kSmiValueSize == 32) { |
| 1783 testq(src, src); |
| 1784 } else { |
| 1785 ASSERT(kSmiValueSize == 31); |
| 1786 testl(src, src); |
| 1787 } |
1592 j(not_sign, on_not_smi_result, near_jump); | 1788 j(not_sign, on_not_smi_result, near_jump); |
1593 LoadSmiConstant(kScratchRegister, constant); | 1789 LoadSmiConstant(kScratchRegister, constant); |
1594 subq(dst, kScratchRegister); | 1790 subq(dst, kScratchRegister); |
1595 } else { | 1791 } else { |
1596 // Subtract by adding the negation. | 1792 // Subtract by adding the negation. |
1597 LoadSmiConstant(kScratchRegister, Smi::FromInt(-constant->value())); | 1793 LoadSmiConstant(kScratchRegister, Smi::FromInt(-constant->value())); |
1598 addq(kScratchRegister, dst); | 1794 if (kSmiValueSize == 32) { |
| 1795 addq(kScratchRegister, dst); |
| 1796 } else { |
| 1797 ASSERT(kSmiValueSize == 31); |
| 1798 addl(kScratchRegister, dst); |
| 1799 } |
1599 j(overflow, on_not_smi_result, near_jump); | 1800 j(overflow, on_not_smi_result, near_jump); |
1600 movq(dst, kScratchRegister); | 1801 if (kSmiValueSize == 32) { |
| 1802 movq(dst, kScratchRegister); |
| 1803 } else { |
| 1804 ASSERT(kSmiValueSize == 31); |
| 1805 movsxlq(dst, kScratchRegister); |
| 1806 } |
1601 } | 1807 } |
1602 } else { | 1808 } else { |
1603 if (constant->value() == Smi::kMinValue) { | 1809 if (constant->value() == Smi::kMinValue) { |
1604 // Subtracting min-value from any non-negative value will overflow. | 1810 // Subtracting min-value from any non-negative value will overflow. |
1605 // We test the non-negativeness before doing the subtraction. | 1811 // We test the non-negativeness before doing the subtraction. |
1606 testq(src, src); | 1812 if (kSmiValueSize == 32) { |
1607 j(not_sign, on_not_smi_result, near_jump); | 1813 testq(src, src); |
1608 LoadSmiConstant(dst, constant); | 1814 j(not_sign, on_not_smi_result, near_jump); |
1609 // Adding and subtracting the min-value gives the same result, it only | 1815 LoadSmiConstant(dst, constant); |
1610 // differs on the overflow bit, which we don't check here. | 1816 // Adding and subtracting the min-value gives the same result, it only |
1611 addq(dst, src); | 1817 // differs on the overflow bit, which we don't check here. |
| 1818 addq(dst, src); |
| 1819 } else { |
| 1820 ASSERT(kSmiValueSize == 31); |
| 1821 testl(src, src); |
| 1822 j(not_sign, on_not_smi_result, near_jump); |
| 1823 movq(dst, src); |
| 1824 subq(dst, SmiToImmediate(constant)); |
| 1825 } |
1612 } else { | 1826 } else { |
1613 // Subtract by adding the negation. | 1827 // Subtract by adding the negation. |
1614 LoadSmiConstant(dst, Smi::FromInt(-(constant->value()))); | 1828 LoadSmiConstant(dst, Smi::FromInt(-(constant->value()))); |
1615 addq(dst, src); | 1829 if (kSmiValueSize == 32) { |
| 1830 addq(dst, src); |
| 1831 } else { |
| 1832 ASSERT(kSmiValueSize == 31); |
| 1833 addl(dst, src); |
| 1834 } |
1616 j(overflow, on_not_smi_result, near_jump); | 1835 j(overflow, on_not_smi_result, near_jump); |
| 1836 if (kSmiValueSize == 31) { |
| 1837 movsxlq(dst, dst); |
| 1838 } |
1617 } | 1839 } |
1618 } | 1840 } |
1619 } | 1841 } |
1620 | 1842 |
1621 | 1843 |
1622 void MacroAssembler::SmiNeg(Register dst, | 1844 void MacroAssembler::SmiNeg(Register dst, |
1623 Register src, | 1845 Register src, |
1624 Label* on_smi_result, | 1846 Label* on_smi_result, |
1625 Label::Distance near_jump) { | 1847 Label::Distance near_jump) { |
1626 if (dst.is(src)) { | 1848 if (dst.is(src)) { |
1627 ASSERT(!dst.is(kScratchRegister)); | 1849 ASSERT(!dst.is(kScratchRegister)); |
1628 movq(kScratchRegister, src); | 1850 movq(kScratchRegister, src); |
1629 neg(dst); // Low 32 bits are retained as zero by negation. | 1851 neg(dst); // Low 32 bits are retained as zero by negation. |
1630 // Test if result is zero or Smi::kMinValue. | 1852 // Test if result is zero or Smi::kMinValue. |
| 1853 if (kSmiValueSize == 32) { |
1631 cmpq(dst, kScratchRegister); | 1854 cmpq(dst, kScratchRegister); |
1632 j(not_equal, on_smi_result, near_jump); | 1855 } else { |
1633 movq(src, kScratchRegister); | 1856 ASSERT(kSmiValueSize == 31); |
| 1857 cmpl(dst, kScratchRegister); |
| 1858 } |
| 1859 j(not_equal, on_smi_result, near_jump); |
| 1860 movq(src, kScratchRegister); |
1634 } else { | 1861 } else { |
1635 movq(dst, src); | 1862 movq(dst, src); |
1636 neg(dst); | 1863 neg(dst); |
1637 cmpq(dst, src); | 1864 if (kSmiValueSize == 32) { |
| 1865 cmpq(dst, src); |
| 1866 } else { |
| 1867 ASSERT(kSmiValueSize == 31); |
| 1868 cmpl(dst, src); |
| 1869 } |
1638 // If the result is zero or Smi::kMinValue, negation failed to create a smi. | 1870 // If the result is zero or Smi::kMinValue, negation failed to create a smi. |
1639 j(not_equal, on_smi_result, near_jump); | 1871 j(not_equal, on_smi_result, near_jump); |
1640 } | 1872 } |
1641 } | 1873 } |
1642 | 1874 |
1643 | 1875 |
1644 void MacroAssembler::SmiAdd(Register dst, | 1876 void MacroAssembler::SmiAdd(Register dst, |
1645 Register src1, | 1877 Register src1, |
1646 Register src2, | 1878 Register src2, |
1647 Label* on_not_smi_result, | 1879 Label* on_not_smi_result, |
1648 Label::Distance near_jump) { | 1880 Label::Distance near_jump) { |
1649 ASSERT_NOT_NULL(on_not_smi_result); | 1881 ASSERT_NOT_NULL(on_not_smi_result); |
1650 ASSERT(!dst.is(src2)); | 1882 ASSERT(!dst.is(src2)); |
1651 if (dst.is(src1)) { | 1883 if (dst.is(src1)) { |
1652 movq(kScratchRegister, src1); | 1884 movq(kScratchRegister, src1); |
1653 addq(kScratchRegister, src2); | 1885 if (kSmiValueSize == 32) { |
| 1886 addq(kScratchRegister, src2); |
| 1887 } else { |
| 1888 ASSERT(kSmiValueSize == 31); |
| 1889 addl(kScratchRegister, src2); |
| 1890 } |
1654 j(overflow, on_not_smi_result, near_jump); | 1891 j(overflow, on_not_smi_result, near_jump); |
1655 movq(dst, kScratchRegister); | 1892 if (kSmiValueSize == 32) { |
| 1893 movq(dst, kScratchRegister); |
| 1894 } else { |
| 1895 ASSERT(kSmiValueSize == 31); |
| 1896 movsxlq(dst, kScratchRegister); |
| 1897 } |
1656 } else { | 1898 } else { |
1657 movq(dst, src1); | 1899 movq(dst, src1); |
1658 addq(dst, src2); | 1900 if (kSmiValueSize == 32) { |
| 1901 addq(dst, src2); |
| 1902 } else { |
| 1903 ASSERT(kSmiValueSize == 31); |
| 1904 addl(dst, src2); |
| 1905 } |
1659 j(overflow, on_not_smi_result, near_jump); | 1906 j(overflow, on_not_smi_result, near_jump); |
| 1907 if (kSmiValueSize == 31) { |
| 1908 movsxlq(dst, dst); |
| 1909 } |
1660 } | 1910 } |
1661 } | 1911 } |
1662 | 1912 |
1663 | 1913 |
1664 void MacroAssembler::SmiAdd(Register dst, | 1914 void MacroAssembler::SmiAdd(Register dst, |
1665 Register src1, | 1915 Register src1, |
1666 const Operand& src2, | 1916 const Operand& src2, |
1667 Label* on_not_smi_result, | 1917 Label* on_not_smi_result, |
1668 Label::Distance near_jump) { | 1918 Label::Distance near_jump) { |
1669 ASSERT_NOT_NULL(on_not_smi_result); | 1919 ASSERT_NOT_NULL(on_not_smi_result); |
1670 if (dst.is(src1)) { | 1920 if (dst.is(src1)) { |
1671 movq(kScratchRegister, src1); | 1921 movq(kScratchRegister, src1); |
1672 addq(kScratchRegister, src2); | 1922 if (kSmiValueSize == 32) { |
| 1923 addq(kScratchRegister, src2); |
| 1924 } else { |
| 1925 ASSERT(kSmiValueSize == 31); |
| 1926 addl(kScratchRegister, src2); |
| 1927 } |
1673 j(overflow, on_not_smi_result, near_jump); | 1928 j(overflow, on_not_smi_result, near_jump); |
1674 movq(dst, kScratchRegister); | 1929 if (kSmiValueSize == 32) { |
| 1930 movq(dst, kScratchRegister); |
| 1931 } else { |
| 1932 ASSERT(kSmiValueSize == 31); |
| 1933 movsxlq(dst, kScratchRegister); |
| 1934 } |
1675 } else { | 1935 } else { |
1676 ASSERT(!src2.AddressUsesRegister(dst)); | 1936 ASSERT(!src2.AddressUsesRegister(dst)); |
1677 movq(dst, src1); | 1937 movq(dst, src1); |
1678 addq(dst, src2); | 1938 if (kSmiValueSize == 32) { |
| 1939 addq(dst, src2); |
| 1940 } else { |
| 1941 ASSERT(kSmiValueSize == 31); |
| 1942 addl(dst, src2); |
| 1943 } |
1679 j(overflow, on_not_smi_result, near_jump); | 1944 j(overflow, on_not_smi_result, near_jump); |
| 1945 if (kSmiValueSize == 31) { |
| 1946 movsxlq(dst, dst); |
1680 } | 1947 } |
1681 } | 1948 } |
| 1949 } |
1682 | 1950 |
1683 | 1951 |
1684 void MacroAssembler::SmiAdd(Register dst, | 1952 void MacroAssembler::SmiAdd(Register dst, |
1685 Register src1, | 1953 Register src1, |
1686 Register src2) { | 1954 Register src2) { |
1687 // No overflow checking. Use only when it's known that | 1955 // No overflow checking. Use only when it's known that |
1688 // overflowing is impossible. | 1956 // overflowing is impossible. |
1689 if (!dst.is(src1)) { | 1957 if (!dst.is(src1)) { |
1690 if (emit_debug_code()) { | 1958 if (emit_debug_code()) { |
1691 movq(kScratchRegister, src1); | 1959 movq(kScratchRegister, src1); |
1692 addq(kScratchRegister, src2); | 1960 addq(kScratchRegister, src2); |
1693 Check(no_overflow, kSmiAdditionOverflow); | 1961 Check(no_overflow, kSmiAdditionOverflow); |
1694 } | 1962 } |
1695 lea(dst, Operand(src1, src2, times_1, 0)); | 1963 lea(dst, Operand(src1, src2, times_1, 0)); |
1696 } else { | 1964 } else { |
1697 addq(dst, src2); | 1965 addq(dst, src2); |
1698 Assert(no_overflow, kSmiAdditionOverflow); | 1966 Assert(no_overflow, kSmiAdditionOverflow); |
1699 } | 1967 } |
1700 } | 1968 } |
1701 | 1969 |
1702 | 1970 |
1703 void MacroAssembler::SmiSub(Register dst, | 1971 void MacroAssembler::SmiSub(Register dst, |
1704 Register src1, | 1972 Register src1, |
1705 Register src2, | 1973 Register src2, |
1706 Label* on_not_smi_result, | 1974 Label* on_not_smi_result, |
1707 Label::Distance near_jump) { | 1975 Label::Distance near_jump) { |
1708 ASSERT_NOT_NULL(on_not_smi_result); | 1976 ASSERT_NOT_NULL(on_not_smi_result); |
1709 ASSERT(!dst.is(src2)); | 1977 ASSERT(!dst.is(src2)); |
1710 if (dst.is(src1)) { | 1978 if (dst.is(src1)) { |
1711 cmpq(dst, src2); | 1979 if (kSmiValueSize == 32) { |
| 1980 cmpq(dst, src2); |
| 1981 } else { |
| 1982 ASSERT(kSmiValueSize == 31); |
| 1983 cmpl(dst, src2); |
| 1984 } |
1712 j(overflow, on_not_smi_result, near_jump); | 1985 j(overflow, on_not_smi_result, near_jump); |
1713 subq(dst, src2); | 1986 subq(dst, src2); |
1714 } else { | 1987 } else { |
1715 movq(dst, src1); | 1988 if (kSmiValueSize == 32) { |
1716 subq(dst, src2); | 1989 movq(dst, src1); |
| 1990 subq(dst, src2); |
| 1991 } else { |
| 1992 ASSERT(kSmiValueSize == 31); |
| 1993 movl(dst, src1); |
| 1994 subl(dst, src2); |
| 1995 } |
1717 j(overflow, on_not_smi_result, near_jump); | 1996 j(overflow, on_not_smi_result, near_jump); |
| 1997 if (kSmiValueSize == 31) { |
| 1998 movsxlq(dst, dst); |
| 1999 } |
1718 } | 2000 } |
1719 } | 2001 } |
1720 | 2002 |
1721 | 2003 |
1722 void MacroAssembler::SmiSub(Register dst, Register src1, Register src2) { | 2004 void MacroAssembler::SmiSub(Register dst, Register src1, Register src2) { |
1723 // No overflow checking. Use only when it's known that | 2005 // No overflow checking. Use only when it's known that |
1724 // overflowing is impossible (e.g., subtracting two positive smis). | 2006 // overflowing is impossible (e.g., subtracting two positive smis). |
1725 ASSERT(!dst.is(src2)); | 2007 ASSERT(!dst.is(src2)); |
1726 if (!dst.is(src1)) { | 2008 if (!dst.is(src1)) { |
1727 movq(dst, src1); | 2009 movq(dst, src1); |
1728 } | 2010 } |
1729 subq(dst, src2); | 2011 subq(dst, src2); |
1730 Assert(no_overflow, kSmiSubtractionOverflow); | 2012 Assert(no_overflow, kSmiSubtractionOverflow); |
1731 } | 2013 } |
1732 | 2014 |
1733 | 2015 |
1734 void MacroAssembler::SmiSub(Register dst, | 2016 void MacroAssembler::SmiSub(Register dst, |
1735 Register src1, | 2017 Register src1, |
1736 const Operand& src2, | 2018 const Operand& src2, |
1737 Label* on_not_smi_result, | 2019 Label* on_not_smi_result, |
1738 Label::Distance near_jump) { | 2020 Label::Distance near_jump) { |
1739 ASSERT_NOT_NULL(on_not_smi_result); | 2021 ASSERT_NOT_NULL(on_not_smi_result); |
1740 if (dst.is(src1)) { | 2022 if (dst.is(src1)) { |
1741 movq(kScratchRegister, src2); | 2023 if (kSmiValueSize == 32) { |
1742 cmpq(src1, kScratchRegister); | 2024 movq(kScratchRegister, src2); |
| 2025 cmpq(src1, kScratchRegister); |
| 2026 } else { |
| 2027 ASSERT(kSmiValueSize == 31); |
| 2028 movl(kScratchRegister, src2); |
| 2029 cmpl(src1, kScratchRegister); |
| 2030 } |
1743 j(overflow, on_not_smi_result, near_jump); | 2031 j(overflow, on_not_smi_result, near_jump); |
1744 subq(src1, kScratchRegister); | 2032 if (kSmiValueSize == 32) { |
| 2033 subq(src1, kScratchRegister); |
| 2034 } else { |
| 2035 ASSERT(kSmiValueSize == 31); |
| 2036 movsxlq(src1, kScratchRegister); |
| 2037 } |
1745 } else { | 2038 } else { |
1746 movq(dst, src1); | 2039 if (kSmiValueSize == 32) { |
1747 subq(dst, src2); | 2040 movq(dst, src1); |
| 2041 subq(dst, src2); |
| 2042 } else { |
| 2043 ASSERT(kSmiValueSize == 31); |
| 2044 movl(dst, src1); |
| 2045 subl(dst, src2); |
| 2046 } |
1748 j(overflow, on_not_smi_result, near_jump); | 2047 j(overflow, on_not_smi_result, near_jump); |
| 2048 if (kSmiValueSize == 31) { |
| 2049 movsxlq(dst, dst); |
| 2050 } |
1749 } | 2051 } |
1750 } | 2052 } |
1751 | 2053 |
1752 | 2054 |
1753 void MacroAssembler::SmiSub(Register dst, | 2055 void MacroAssembler::SmiSub(Register dst, |
1754 Register src1, | 2056 Register src1, |
1755 const Operand& src2) { | 2057 const Operand& src2) { |
1756 // No overflow checking. Use only when it's known that | 2058 // No overflow checking. Use only when it's known that |
1757 // overflowing is impossible (e.g., subtracting two positive smis). | 2059 // overflowing is impossible (e.g., subtracting two positive smis). |
1758 if (!dst.is(src1)) { | 2060 if (!dst.is(src1)) { |
(...skipping 10 matching lines...) Expand all Loading... |
1769 Label* on_not_smi_result, | 2071 Label* on_not_smi_result, |
1770 Label::Distance near_jump) { | 2072 Label::Distance near_jump) { |
1771 ASSERT(!dst.is(src2)); | 2073 ASSERT(!dst.is(src2)); |
1772 ASSERT(!dst.is(kScratchRegister)); | 2074 ASSERT(!dst.is(kScratchRegister)); |
1773 ASSERT(!src1.is(kScratchRegister)); | 2075 ASSERT(!src1.is(kScratchRegister)); |
1774 ASSERT(!src2.is(kScratchRegister)); | 2076 ASSERT(!src2.is(kScratchRegister)); |
1775 | 2077 |
1776 if (dst.is(src1)) { | 2078 if (dst.is(src1)) { |
1777 Label failure, zero_correct_result; | 2079 Label failure, zero_correct_result; |
1778 movq(kScratchRegister, src1); // Create backup for later testing. | 2080 movq(kScratchRegister, src1); // Create backup for later testing. |
1779 SmiToInteger64(dst, src1); | 2081 if (kSmiValueSize == 32) { |
1780 imul(dst, src2); | 2082 SmiToInteger64(dst, src1); |
| 2083 imul(dst, src2); |
| 2084 } else { |
| 2085 ASSERT(kSmiValueSize == 31); |
| 2086 SmiToInteger32(dst, src1); |
| 2087 imull(dst, src2); |
| 2088 } |
1781 j(overflow, &failure, Label::kNear); | 2089 j(overflow, &failure, Label::kNear); |
1782 | 2090 |
1783 // Check for negative zero result. If product is zero, and one | 2091 // Check for negative zero result. If product is zero, and one |
1784 // argument is negative, go to slow case. | 2092 // argument is negative, go to slow case. |
1785 Label correct_result; | 2093 Label correct_result; |
1786 testq(dst, dst); | 2094 testq(dst, dst); |
1787 j(not_zero, &correct_result, Label::kNear); | 2095 j(not_zero, &correct_result, Label::kNear); |
1788 | 2096 |
1789 movq(dst, kScratchRegister); | 2097 movq(dst, kScratchRegister); |
1790 xor_(dst, src2); | 2098 xor_(dst, src2); |
1791 // Result was positive zero. | 2099 // Result was positive zero. |
1792 j(positive, &zero_correct_result, Label::kNear); | 2100 j(positive, &zero_correct_result, Label::kNear); |
1793 | 2101 |
1794 bind(&failure); // Reused failure exit, restores src1. | 2102 bind(&failure); // Reused failure exit, restores src1. |
1795 movq(src1, kScratchRegister); | 2103 movq(src1, kScratchRegister); |
1796 jmp(on_not_smi_result, near_jump); | 2104 jmp(on_not_smi_result, near_jump); |
1797 | 2105 |
1798 bind(&zero_correct_result); | 2106 bind(&zero_correct_result); |
1799 Set(dst, 0); | 2107 Set(dst, 0); |
1800 | 2108 |
1801 bind(&correct_result); | 2109 bind(&correct_result); |
| 2110 if (kSmiValueSize == 31) { |
| 2111 movsxlq(dst, dst); |
| 2112 } |
1802 } else { | 2113 } else { |
1803 SmiToInteger64(dst, src1); | 2114 if (kSmiValueSize == 32) { |
1804 imul(dst, src2); | 2115 SmiToInteger64(dst, src1); |
| 2116 imul(dst, src2); |
| 2117 } else { |
| 2118 ASSERT(kSmiValueSize == 31); |
| 2119 SmiToInteger32(dst, src1); |
| 2120 imull(dst, src2); |
| 2121 } |
1805 j(overflow, on_not_smi_result, near_jump); | 2122 j(overflow, on_not_smi_result, near_jump); |
1806 // Check for negative zero result. If product is zero, and one | 2123 // Check for negative zero result. If product is zero, and one |
1807 // argument is negative, go to slow case. | 2124 // argument is negative, go to slow case. |
1808 Label correct_result; | 2125 Label correct_result; |
1809 testq(dst, dst); | 2126 testq(dst, dst); |
1810 j(not_zero, &correct_result, Label::kNear); | 2127 j(not_zero, &correct_result, Label::kNear); |
1811 // One of src1 and src2 is zero, the check whether the other is | 2128 // One of src1 and src2 is zero, the check whether the other is |
1812 // negative. | 2129 // negative. |
1813 movq(kScratchRegister, src1); | 2130 movq(kScratchRegister, src1); |
1814 xor_(kScratchRegister, src2); | 2131 xor_(kScratchRegister, src2); |
1815 j(negative, on_not_smi_result, near_jump); | 2132 j(negative, on_not_smi_result, near_jump); |
1816 bind(&correct_result); | 2133 bind(&correct_result); |
| 2134 if (kSmiValueSize == 31) { |
| 2135 movsxlq(dst, dst); |
| 2136 } |
1817 } | 2137 } |
1818 } | 2138 } |
1819 | 2139 |
1820 | 2140 |
1821 void MacroAssembler::SmiDiv(Register dst, | 2141 void MacroAssembler::SmiDiv(Register dst, |
1822 Register src1, | 2142 Register src1, |
1823 Register src2, | 2143 Register src2, |
1824 Label* on_not_smi_result, | 2144 Label* on_not_smi_result, |
1825 Label::Distance near_jump) { | 2145 Label::Distance near_jump) { |
1826 ASSERT(!src1.is(kScratchRegister)); | 2146 ASSERT(!src1.is(kScratchRegister)); |
(...skipping 12 matching lines...) Expand all Loading... |
1839 } | 2159 } |
1840 SmiToInteger32(rax, src1); | 2160 SmiToInteger32(rax, src1); |
1841 // We need to rule out dividing Smi::kMinValue by -1, since that would | 2161 // We need to rule out dividing Smi::kMinValue by -1, since that would |
1842 // overflow in idiv and raise an exception. | 2162 // overflow in idiv and raise an exception. |
1843 // We combine this with negative zero test (negative zero only happens | 2163 // We combine this with negative zero test (negative zero only happens |
1844 // when dividing zero by a negative number). | 2164 // when dividing zero by a negative number). |
1845 | 2165 |
1846 // We overshoot a little and go to slow case if we divide min-value | 2166 // We overshoot a little and go to slow case if we divide min-value |
1847 // by any negative value, not just -1. | 2167 // by any negative value, not just -1. |
1848 Label safe_div; | 2168 Label safe_div; |
1849 testl(rax, Immediate(0x7fffffff)); | 2169 if (kSmiValueSize == 32) { |
| 2170 testl(rax, Immediate(0x7fffffff)); |
| 2171 } else { |
| 2172 ASSERT(kSmiValueSize == 31); |
| 2173 testl(rax, Immediate(0x3fffffff)); |
| 2174 } |
1850 j(not_zero, &safe_div, Label::kNear); | 2175 j(not_zero, &safe_div, Label::kNear); |
1851 testq(src2, src2); | 2176 testq(src2, src2); |
1852 if (src1.is(rax)) { | 2177 if (src1.is(rax)) { |
1853 j(positive, &safe_div, Label::kNear); | 2178 j(positive, &safe_div, Label::kNear); |
1854 movq(src1, kScratchRegister); | 2179 movq(src1, kScratchRegister); |
1855 jmp(on_not_smi_result, near_jump); | 2180 jmp(on_not_smi_result, near_jump); |
1856 } else { | 2181 } else { |
1857 j(negative, on_not_smi_result, near_jump); | 2182 j(negative, on_not_smi_result, near_jump); |
1858 } | 2183 } |
1859 bind(&safe_div); | 2184 bind(&safe_div); |
(...skipping 73 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1933 testq(src1, src1); | 2258 testq(src1, src1); |
1934 j(negative, on_not_smi_result, near_jump); | 2259 j(negative, on_not_smi_result, near_jump); |
1935 bind(&smi_result); | 2260 bind(&smi_result); |
1936 Integer32ToSmi(dst, rdx); | 2261 Integer32ToSmi(dst, rdx); |
1937 } | 2262 } |
1938 | 2263 |
1939 | 2264 |
1940 void MacroAssembler::SmiNot(Register dst, Register src) { | 2265 void MacroAssembler::SmiNot(Register dst, Register src) { |
1941 ASSERT(!dst.is(kScratchRegister)); | 2266 ASSERT(!dst.is(kScratchRegister)); |
1942 ASSERT(!src.is(kScratchRegister)); | 2267 ASSERT(!src.is(kScratchRegister)); |
| 2268 if (kSmiValueSize == 32) { |
1943 // Set tag and padding bits before negating, so that they are zero afterwards. | 2269 // Set tag and padding bits before negating, so that they are zero afterwards. |
1944 movl(kScratchRegister, Immediate(~0)); | 2270 movl(kScratchRegister, Immediate(~0)); |
| 2271 } else { |
| 2272 ASSERT(kSmiValueSize == 31); |
| 2273 movl(kScratchRegister, Immediate(1)); |
| 2274 } |
1945 if (dst.is(src)) { | 2275 if (dst.is(src)) { |
1946 xor_(dst, kScratchRegister); | 2276 xor_(dst, kScratchRegister); |
1947 } else { | 2277 } else { |
1948 lea(dst, Operand(src, kScratchRegister, times_1, 0)); | 2278 lea(dst, Operand(src, kScratchRegister, times_1, 0)); |
1949 } | 2279 } |
1950 not_(dst); | 2280 not_(dst); |
1951 } | 2281 } |
1952 | 2282 |
1953 | 2283 |
1954 void MacroAssembler::SmiAnd(Register dst, Register src1, Register src2) { | 2284 void MacroAssembler::SmiAnd(Register dst, Register src1, Register src2) { |
(...skipping 71 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2026 shl(dst, Immediate(kSmiShift)); | 2356 shl(dst, Immediate(kSmiShift)); |
2027 } else { | 2357 } else { |
2028 UNIMPLEMENTED(); // Not used. | 2358 UNIMPLEMENTED(); // Not used. |
2029 } | 2359 } |
2030 } | 2360 } |
2031 } | 2361 } |
2032 | 2362 |
2033 | 2363 |
2034 void MacroAssembler::SmiShiftLeftConstant(Register dst, | 2364 void MacroAssembler::SmiShiftLeftConstant(Register dst, |
2035 Register src, | 2365 Register src, |
2036 int shift_value) { | 2366 int shift_value, |
2037 if (!dst.is(src)) { | 2367 SmiFunctionInvoker& invoker) { |
2038 movq(dst, src); | 2368 if (kSmiValueSize == 32) { |
2039 } | 2369 if (!dst.is(src)) { |
2040 if (shift_value > 0) { | 2370 movq(dst, src); |
2041 shl(dst, Immediate(shift_value)); | 2371 } |
| 2372 if (shift_value > 0) { |
| 2373 shl(dst, Immediate(shift_value)); |
| 2374 } |
| 2375 } else { |
| 2376 ASSERT(kSmiValueSize == 31); |
| 2377 if (dst.is(src)) { |
| 2378 ASSERT(!invoker.reserve_source_operands()); |
| 2379 } else { |
| 2380 movq(dst, src); |
| 2381 } |
| 2382 if (shift_value > 0) { |
| 2383 SmiToInteger32(dst, dst); |
| 2384 shll(dst, Immediate(shift_value)); |
| 2385 if (invoker.on_not_smi_result() != NULL) { |
| 2386 JumpIfNotValidSmiValue(dst, invoker.on_not_smi_result()); |
| 2387 } else { |
| 2388 Label done; |
| 2389 JumpIfValidSmiValue(dst, &done, Label::kNear); |
| 2390 invoker.Bailout(); |
| 2391 bind(&done); |
| 2392 } |
| 2393 Integer32ToSmi(dst, dst); |
| 2394 } |
2042 } | 2395 } |
2043 } | 2396 } |
2044 | 2397 |
2045 | 2398 |
2046 void MacroAssembler::SmiShiftLogicalRightConstant( | 2399 void MacroAssembler::SmiShiftLogicalRightConstant( |
2047 Register dst, Register src, int shift_value, | 2400 Register dst, Register src, int shift_value, |
2048 Label* on_not_smi_result, Label::Distance near_jump) { | 2401 Label* on_not_smi_result, Label::Distance near_jump) { |
2049 // Logic right shift interprets its result as an *unsigned* number. | 2402 // Logic right shift interprets its result as an *unsigned* number. |
2050 if (dst.is(src)) { | 2403 if (dst.is(src)) { |
2051 UNIMPLEMENTED(); // Not used. | 2404 UNIMPLEMENTED(); // Not used. |
2052 } else { | 2405 } else { |
2053 movq(dst, src); | 2406 movq(dst, src); |
2054 if (shift_value == 0) { | 2407 if (shift_value == 0) { |
2055 testq(dst, dst); | 2408 if (kSmiValueSize == 32) { |
| 2409 testq(dst, dst); |
| 2410 } else { |
| 2411 ASSERT(kSmiValueSize == 31); |
| 2412 testl(dst, dst); |
| 2413 } |
2056 j(negative, on_not_smi_result, near_jump); | 2414 j(negative, on_not_smi_result, near_jump); |
2057 } | 2415 } |
2058 shr(dst, Immediate(shift_value + kSmiShift)); | 2416 if (kSmiValueSize == 32) { |
2059 shl(dst, Immediate(kSmiShift)); | 2417 shr(dst, Immediate(shift_value + kSmiShift)); |
| 2418 shl(dst, Immediate(kSmiShift)); |
| 2419 } else { |
| 2420 ASSERT(kSmiValueSize == 31); |
| 2421 SmiToInteger32(dst, dst); |
| 2422 shrl(dst, Immediate(shift_value)); |
| 2423 JumpIfUIntNotValidSmiValue(dst, on_not_smi_result, near_jump); |
| 2424 shll(dst, Immediate(kSmiShift)); |
| 2425 } |
2060 } | 2426 } |
2061 } | 2427 } |
2062 | 2428 |
2063 | 2429 |
2064 void MacroAssembler::SmiShiftLeft(Register dst, | 2430 void MacroAssembler::SmiShiftLeft(Register dst, |
2065 Register src1, | 2431 Register src1, |
2066 Register src2) { | 2432 Register src2, |
2067 ASSERT(!dst.is(rcx)); | 2433 Label* on_not_smi_result) { |
2068 // Untag shift amount. | 2434 if (kSmiValueSize == 32) { |
2069 if (!dst.is(src1)) { | 2435 ASSERT(!dst.is(rcx)); |
2070 movq(dst, src1); | 2436 // Untag shift amount. |
| 2437 if (!dst.is(src1)) { |
| 2438 movq(dst, src1); |
| 2439 } |
| 2440 SmiToInteger32(rcx, src2); |
| 2441 // Shift amount specified by lower 5 bits, not six as the shl opcode. |
| 2442 and_(rcx, Immediate(0x1f)); |
| 2443 shl_cl(dst); |
| 2444 } else { |
| 2445 ASSERT(kSmiValueSize == 31); |
| 2446 ASSERT(!dst.is(kScratchRegister)); |
| 2447 ASSERT(!src1.is(kScratchRegister)); |
| 2448 ASSERT(!src2.is(kScratchRegister)); |
| 2449 ASSERT(!dst.is(rcx)); |
| 2450 Label result_ok; |
| 2451 |
| 2452 if (dst.is(src1)) { |
| 2453 UNIMPLEMENTED(); // Not used. |
| 2454 } else { |
| 2455 if (src1.is(rcx) || src2.is(rcx)) { |
| 2456 movq(kScratchRegister, rcx); |
| 2457 } |
| 2458 movq(dst, src1); |
| 2459 SmiToInteger32(dst, dst); |
| 2460 // Untag shift amount. |
| 2461 SmiToInteger32(rcx, src2); |
| 2462 // Shift amount specified by lower 5 bits, not six as the shl opcode. |
| 2463 andl(rcx, Immediate(0x1f)); |
| 2464 shll_cl(dst); |
| 2465 JumpIfValidSmiValue(dst, &result_ok, Label::kNear); |
| 2466 if (src1.is(rcx) || src2.is(rcx)) { |
| 2467 if (src1.is(rcx)) { |
| 2468 movq(src1, kScratchRegister); |
| 2469 } else { |
| 2470 movq(src2, kScratchRegister); |
| 2471 } |
| 2472 } |
| 2473 jmp(on_not_smi_result); |
| 2474 bind(&result_ok); |
| 2475 Integer32ToSmi(dst, dst); |
| 2476 } |
2071 } | 2477 } |
2072 SmiToInteger32(rcx, src2); | |
2073 // Shift amount specified by lower 5 bits, not six as the shl opcode. | |
2074 and_(rcx, Immediate(0x1f)); | |
2075 shl_cl(dst); | |
2076 } | 2478 } |
2077 | 2479 |
2078 | 2480 |
2079 void MacroAssembler::SmiShiftLogicalRight(Register dst, | 2481 void MacroAssembler::SmiShiftLogicalRight(Register dst, |
2080 Register src1, | 2482 Register src1, |
2081 Register src2, | 2483 Register src2, |
2082 Label* on_not_smi_result, | 2484 Label* on_not_smi_result, |
2083 Label::Distance near_jump) { | 2485 Label::Distance near_jump) { |
2084 ASSERT(!dst.is(kScratchRegister)); | 2486 ASSERT(!dst.is(kScratchRegister)); |
2085 ASSERT(!src1.is(kScratchRegister)); | 2487 ASSERT(!src1.is(kScratchRegister)); |
2086 ASSERT(!src2.is(kScratchRegister)); | 2488 ASSERT(!src2.is(kScratchRegister)); |
2087 ASSERT(!dst.is(rcx)); | 2489 ASSERT(!dst.is(rcx)); |
2088 // dst and src1 can be the same, because the one case that bails out | 2490 Label result_ok; |
2089 // is a shift by 0, which leaves dst, and therefore src1, unchanged. | 2491 |
2090 if (src1.is(rcx) || src2.is(rcx)) { | 2492 if (dst.is(src1)) { |
2091 movq(kScratchRegister, rcx); | 2493 UNIMPLEMENTED(); // Not used. |
2092 } | 2494 } else { |
2093 if (!dst.is(src1)) { | 2495 if (src1.is(rcx) || src2.is(rcx)) { |
| 2496 movq(kScratchRegister, rcx); |
| 2497 } |
2094 movq(dst, src1); | 2498 movq(dst, src1); |
2095 } | 2499 SmiToInteger32(dst, dst); |
2096 SmiToInteger32(rcx, src2); | 2500 SmiToInteger32(rcx, src2); |
2097 orl(rcx, Immediate(kSmiShift)); | 2501 shrl_cl(dst); |
2098 shr_cl(dst); // Shift is rcx modulo 0x1f + 32. | 2502 JumpIfUIntValidSmiValue(dst, &result_ok, Label::kNear); |
2099 shl(dst, Immediate(kSmiShift)); | 2503 if (src1.is(rcx) || src2.is(rcx)) { |
2100 testq(dst, dst); | 2504 if (src1.is(rcx)) { |
2101 if (src1.is(rcx) || src2.is(rcx)) { | 2505 movq(src1, kScratchRegister); |
2102 Label positive_result; | 2506 } else { |
2103 j(positive, &positive_result, Label::kNear); | 2507 movq(src2, kScratchRegister); |
2104 if (src1.is(rcx)) { | 2508 } |
2105 movq(src1, kScratchRegister); | |
2106 } else { | |
2107 movq(src2, kScratchRegister); | |
2108 } | 2509 } |
2109 jmp(on_not_smi_result, near_jump); | 2510 jmp(on_not_smi_result); |
2110 bind(&positive_result); | 2511 bind(&result_ok); |
2111 } else { | 2512 Integer32ToSmi(dst, dst); |
2112 // src2 was zero and src1 negative. | |
2113 j(negative, on_not_smi_result, near_jump); | |
2114 } | 2513 } |
2115 } | 2514 } |
2116 | 2515 |
2117 | 2516 |
2118 void MacroAssembler::SmiShiftArithmeticRight(Register dst, | 2517 void MacroAssembler::SmiShiftArithmeticRight(Register dst, |
2119 Register src1, | 2518 Register src1, |
2120 Register src2) { | 2519 Register src2) { |
2121 ASSERT(!dst.is(kScratchRegister)); | 2520 ASSERT(!dst.is(kScratchRegister)); |
2122 ASSERT(!src1.is(kScratchRegister)); | 2521 ASSERT(!src1.is(kScratchRegister)); |
2123 ASSERT(!src2.is(kScratchRegister)); | 2522 ASSERT(!src2.is(kScratchRegister)); |
2124 ASSERT(!dst.is(rcx)); | 2523 ASSERT(!dst.is(rcx)); |
2125 if (src1.is(rcx)) { | 2524 if (src1.is(rcx)) { |
2126 movq(kScratchRegister, src1); | 2525 movq(kScratchRegister, src1); |
2127 } else if (src2.is(rcx)) { | 2526 } else if (src2.is(rcx)) { |
2128 movq(kScratchRegister, src2); | 2527 movq(kScratchRegister, src2); |
2129 } | 2528 } |
2130 if (!dst.is(src1)) { | 2529 if (!dst.is(src1)) { |
2131 movq(dst, src1); | 2530 movq(dst, src1); |
2132 } | 2531 } |
2133 SmiToInteger32(rcx, src2); | 2532 SmiToInteger32(rcx, src2); |
2134 orl(rcx, Immediate(kSmiShift)); | 2533 if (kSmiValueSize == 32) { |
2135 sar_cl(dst); // Shift 32 + original rcx & 0x1f. | 2534 orl(rcx, Immediate(kSmiShift)); |
2136 shl(dst, Immediate(kSmiShift)); | 2535 sar_cl(dst); // Shift 32 + original rcx & 0x1f. |
| 2536 } else { |
| 2537 ASSERT(kSmiValueSize == 31); |
| 2538 SmiToInteger32(dst, dst); |
| 2539 sarl_cl(dst); |
| 2540 } |
| 2541 Integer32ToSmi(dst, dst); |
2137 if (src1.is(rcx)) { | 2542 if (src1.is(rcx)) { |
2138 movq(src1, kScratchRegister); | 2543 movq(src1, kScratchRegister); |
2139 } else if (src2.is(rcx)) { | 2544 } else if (src2.is(rcx)) { |
2140 movq(src2, kScratchRegister); | 2545 movq(src2, kScratchRegister); |
2141 } | 2546 } |
2142 } | 2547 } |
2143 | 2548 |
2144 | 2549 |
2145 void MacroAssembler::SelectNonSmi(Register dst, | 2550 void MacroAssembler::SelectNonSmi(Register dst, |
2146 Register src1, | 2551 Register src1, |
(...skipping 36 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2183 | 2588 |
2184 SmiIndex MacroAssembler::SmiToIndex(Register dst, | 2589 SmiIndex MacroAssembler::SmiToIndex(Register dst, |
2185 Register src, | 2590 Register src, |
2186 int shift) { | 2591 int shift) { |
2187 ASSERT(is_uint6(shift)); | 2592 ASSERT(is_uint6(shift)); |
2188 // There is a possible optimization if shift is in the range 60-63, but that | 2593 // There is a possible optimization if shift is in the range 60-63, but that |
2189 // will (and must) never happen. | 2594 // will (and must) never happen. |
2190 if (!dst.is(src)) { | 2595 if (!dst.is(src)) { |
2191 movq(dst, src); | 2596 movq(dst, src); |
2192 } | 2597 } |
2193 if (shift < kSmiShift) { | 2598 if (kSmiValueSize == 32) { |
2194 sar(dst, Immediate(kSmiShift - shift)); | 2599 if (shift < kSmiShift) { |
| 2600 sar(dst, Immediate(kSmiShift - shift)); |
| 2601 } else { |
| 2602 shl(dst, Immediate(shift - kSmiShift)); |
| 2603 } |
| 2604 return SmiIndex(dst, times_1); |
2195 } else { | 2605 } else { |
2196 shl(dst, Immediate(shift - kSmiShift)); | 2606 ASSERT(kSmiValueSize == 31); |
| 2607 if (shift == times_1) { |
| 2608 sar(dst, Immediate(kSmiShift)); |
| 2609 return SmiIndex(dst, times_1); |
| 2610 } |
| 2611 return SmiIndex(dst, static_cast<ScaleFactor>(shift - 1)); |
2197 } | 2612 } |
2198 return SmiIndex(dst, times_1); | |
2199 } | 2613 } |
2200 | 2614 |
| 2615 |
2201 SmiIndex MacroAssembler::SmiToNegativeIndex(Register dst, | 2616 SmiIndex MacroAssembler::SmiToNegativeIndex(Register dst, |
2202 Register src, | 2617 Register src, |
2203 int shift) { | 2618 int shift) { |
2204 // Register src holds a positive smi. | 2619 // Register src holds a positive smi. |
2205 ASSERT(is_uint6(shift)); | 2620 ASSERT(is_uint6(shift)); |
2206 if (!dst.is(src)) { | 2621 if (!dst.is(src)) { |
2207 movq(dst, src); | 2622 movq(dst, src); |
2208 } | 2623 } |
2209 neg(dst); | 2624 neg(dst); |
2210 if (shift < kSmiShift) { | 2625 if (kSmiValueSize == 32) { |
2211 sar(dst, Immediate(kSmiShift - shift)); | 2626 if (shift < kSmiShift) { |
| 2627 sar(dst, Immediate(kSmiShift - shift)); |
| 2628 } else { |
| 2629 shl(dst, Immediate(shift - kSmiShift)); |
| 2630 } |
| 2631 return SmiIndex(dst, times_1); |
2212 } else { | 2632 } else { |
2213 shl(dst, Immediate(shift - kSmiShift)); | 2633 ASSERT(kSmiValueSize == 31); |
| 2634 if (shift == times_1) { |
| 2635 sar(dst, Immediate(kSmiShift)); |
| 2636 return SmiIndex(dst, times_1); |
| 2637 } |
| 2638 return SmiIndex(dst, static_cast<ScaleFactor>(shift - 1)); |
2214 } | 2639 } |
2215 return SmiIndex(dst, times_1); | |
2216 } | 2640 } |
2217 | 2641 |
2218 | 2642 |
2219 void MacroAssembler::AddSmiField(Register dst, const Operand& src) { | 2643 void MacroAssembler::AddSmiField(Register dst, const Operand& src) { |
2220 ASSERT_EQ(0, kSmiShift % kBitsPerByte); | 2644 if (kSmiValueSize == 32) { |
2221 addl(dst, Operand(src, kSmiShift / kBitsPerByte)); | 2645 ASSERT_EQ(0, kSmiShift % kBitsPerByte); |
| 2646 addl(dst, Operand(src, kSmiShift / kBitsPerByte)); |
| 2647 } else { |
| 2648 ASSERT(kSmiValueSize == 31); |
| 2649 SmiToInteger32(kScratchRegister, src); |
| 2650 addl(dst, kScratchRegister); |
| 2651 } |
2222 } | 2652 } |
2223 | 2653 |
2224 | 2654 |
| 2655 void MacroAssembler::Test(const Operand& src, Smi* source) { |
| 2656 if (kSmiValueSize == 32) { |
| 2657 testl(Operand(src, kIntSize), Immediate(source->value())); |
| 2658 } else { |
| 2659 ASSERT(kSmiValueSize == 31); |
| 2660 testl(src, SmiToImmediate(source)); |
| 2661 } |
| 2662 } |
| 2663 |
| 2664 |
| 2665 void MacroAssembler::TestBit(const Operand& src, int bits) { |
| 2666 int byte_offset = bits / kBitsPerByte; |
| 2667 int bit_in_byte = bits & (kBitsPerByte - 1); |
| 2668 testb(Operand(src, byte_offset), Immediate(1 << bit_in_byte)); |
| 2669 } |
| 2670 |
| 2671 |
| 2672 void MacroAssembler::PushInt64AsTwoSmis(Register src, Register scratch) { |
| 2673 movq(scratch, src); |
| 2674 // High bits. |
| 2675 shr(src, Immediate(64 - kSmiShift)); |
| 2676 shl(src, Immediate(kSmiShift)); |
| 2677 push(src); |
| 2678 // Low bits. |
| 2679 shl(scratch, Immediate(kSmiShift)); |
| 2680 push(scratch); |
| 2681 } |
| 2682 |
| 2683 |
| 2684 void MacroAssembler::PopInt64AsTwoSmis(Register dst, Register scratch) { |
| 2685 pop(scratch); |
| 2686 // Low bits. |
| 2687 shr(scratch, Immediate(kSmiShift)); |
| 2688 pop(dst); |
| 2689 shr(dst, Immediate(kSmiShift)); |
| 2690 // High bits. |
| 2691 shl(dst, Immediate(64 - kSmiShift)); |
| 2692 or_(dst, scratch); |
| 2693 } |
| 2694 |
| 2695 |
| 2696 bool MacroAssembler::IsUnsafeSmiOperator(Token::Value op) { |
| 2697 return (op == Token::ADD || op == Token::SUB || op == Token::MUL || |
| 2698 op == Token::DIV || (kSmiValueSize == 31 && op == Token::SHL) || |
| 2699 op == Token::SHR); |
| 2700 } |
| 2701 |
| 2702 |
| 2703 // End of smi tagging, untagging and tag detection. |
| 2704 // ---------------------------------------------------------------------------- |
| 2705 |
| 2706 |
2225 void MacroAssembler::JumpIfNotString(Register object, | 2707 void MacroAssembler::JumpIfNotString(Register object, |
2226 Register object_map, | 2708 Register object_map, |
2227 Label* not_string, | 2709 Label* not_string, |
2228 Label::Distance near_jump) { | 2710 Label::Distance near_jump) { |
2229 Condition is_smi = CheckSmi(object); | 2711 Condition is_smi = CheckSmi(object); |
2230 j(is_smi, not_string, near_jump); | 2712 j(is_smi, not_string, near_jump); |
2231 CmpObjectType(object, FIRST_NONSTRING_TYPE, object_map); | 2713 CmpObjectType(object, FIRST_NONSTRING_TYPE, object_map); |
2232 j(above_equal, not_string, near_jump); | 2714 j(above_equal, not_string, near_jump); |
2233 } | 2715 } |
2234 | 2716 |
(...skipping 237 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2472 } | 2954 } |
2473 | 2955 |
2474 | 2956 |
2475 void MacroAssembler::Drop(int stack_elements) { | 2957 void MacroAssembler::Drop(int stack_elements) { |
2476 if (stack_elements > 0) { | 2958 if (stack_elements > 0) { |
2477 addq(rsp, Immediate(stack_elements * kPointerSize)); | 2959 addq(rsp, Immediate(stack_elements * kPointerSize)); |
2478 } | 2960 } |
2479 } | 2961 } |
2480 | 2962 |
2481 | 2963 |
2482 void MacroAssembler::Test(const Operand& src, Smi* source) { | |
2483 testl(Operand(src, kIntSize), Immediate(source->value())); | |
2484 } | |
2485 | |
2486 | |
2487 void MacroAssembler::TestBit(const Operand& src, int bits) { | |
2488 int byte_offset = bits / kBitsPerByte; | |
2489 int bit_in_byte = bits & (kBitsPerByte - 1); | |
2490 testb(Operand(src, byte_offset), Immediate(1 << bit_in_byte)); | |
2491 } | |
2492 | |
2493 | |
2494 void MacroAssembler::Jump(ExternalReference ext) { | 2964 void MacroAssembler::Jump(ExternalReference ext) { |
2495 LoadAddress(kScratchRegister, ext); | 2965 LoadAddress(kScratchRegister, ext); |
2496 jmp(kScratchRegister); | 2966 jmp(kScratchRegister); |
2497 } | 2967 } |
2498 | 2968 |
2499 | 2969 |
2500 void MacroAssembler::Jump(Address destination, RelocInfo::Mode rmode) { | 2970 void MacroAssembler::Jump(Address destination, RelocInfo::Mode rmode) { |
2501 movq(kScratchRegister, destination, rmode); | 2971 movq(kScratchRegister, destination, rmode); |
2502 jmp(kScratchRegister); | 2972 jmp(kScratchRegister); |
2503 } | 2973 } |
(...skipping 2190 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
4694 j(greater, &no_memento_available); | 5164 j(greater, &no_memento_available); |
4695 CompareRoot(MemOperand(scratch_reg, -AllocationMemento::kSize), | 5165 CompareRoot(MemOperand(scratch_reg, -AllocationMemento::kSize), |
4696 Heap::kAllocationMementoMapRootIndex); | 5166 Heap::kAllocationMementoMapRootIndex); |
4697 bind(&no_memento_available); | 5167 bind(&no_memento_available); |
4698 } | 5168 } |
4699 | 5169 |
4700 | 5170 |
4701 } } // namespace v8::internal | 5171 } } // namespace v8::internal |
4702 | 5172 |
4703 #endif // V8_TARGET_ARCH_X64 | 5173 #endif // V8_TARGET_ARCH_X64 |
OLD | NEW |