| OLD | NEW |
| 1 // Copyright 2010 the V8 project authors. All rights reserved. | 1 // Copyright 2010 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 1922 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1933 case less_equal: return below_equal; | 1933 case less_equal: return below_equal; |
| 1934 case greater: return above; | 1934 case greater: return above; |
| 1935 case greater_equal: return above_equal; | 1935 case greater_equal: return above_equal; |
| 1936 default: UNREACHABLE(); | 1936 default: UNREACHABLE(); |
| 1937 } | 1937 } |
| 1938 UNREACHABLE(); | 1938 UNREACHABLE(); |
| 1939 return equal; | 1939 return equal; |
| 1940 } | 1940 } |
| 1941 | 1941 |
| 1942 | 1942 |
| 1943 static CompareFlags ComputeCompareFlags(NaNInformation nan_info, |
| 1944 bool inline_number_compare) { |
| 1945 CompareFlags flags = NO_SMI_COMPARE_IN_STUB; |
| 1946 if (nan_info == kCantBothBeNaN) { |
| 1947 flags = static_cast<CompareFlags>(flags | CANT_BOTH_BE_NAN); |
| 1948 } |
| 1949 if (inline_number_compare) { |
| 1950 flags = static_cast<CompareFlags>(flags | NO_NUMBER_COMPARE_IN_STUB); |
| 1951 } |
| 1952 return flags; |
| 1953 } |
| 1954 |
| 1955 |
| 1943 void CodeGenerator::Comparison(AstNode* node, | 1956 void CodeGenerator::Comparison(AstNode* node, |
| 1944 Condition cc, | 1957 Condition cc, |
| 1945 bool strict, | 1958 bool strict, |
| 1946 ControlDestination* dest) { | 1959 ControlDestination* dest) { |
| 1947 // Strict only makes sense for equality comparisons. | 1960 // Strict only makes sense for equality comparisons. |
| 1948 ASSERT(!strict || cc == equal); | 1961 ASSERT(!strict || cc == equal); |
| 1949 | 1962 |
| 1950 Result left_side; | 1963 Result left_side; |
| 1951 Result right_side; | 1964 Result right_side; |
| 1952 // Implement '>' and '<=' by reversal to obtain ECMA-262 conversion order. | 1965 // Implement '>' and '<=' by reversal to obtain ECMA-262 conversion order. |
| (...skipping 110 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2063 Immediate(kIsNotStringMask | | 2076 Immediate(kIsNotStringMask | |
| 2064 kStringRepresentationMask | | 2077 kStringRepresentationMask | |
| 2065 kStringEncodingMask)); | 2078 kStringEncodingMask)); |
| 2066 __ cmpb(temp.reg(), | 2079 __ cmpb(temp.reg(), |
| 2067 Immediate(kStringTag | kSeqStringTag | kAsciiStringTag)); | 2080 Immediate(kStringTag | kSeqStringTag | kAsciiStringTag)); |
| 2068 temp.Unuse(); | 2081 temp.Unuse(); |
| 2069 is_string.Branch(equal, &left_side); | 2082 is_string.Branch(equal, &left_side); |
| 2070 | 2083 |
| 2071 // Setup and call the compare stub. | 2084 // Setup and call the compare stub. |
| 2072 is_not_string.Bind(&left_side); | 2085 is_not_string.Bind(&left_side); |
| 2073 CompareStub stub(cc, strict, kCantBothBeNaN); | 2086 CompareFlags flags = |
| 2087 static_cast<CompareFlags>(CANT_BOTH_BE_NAN | NO_SMI_CODE_IN_STUB); |
| 2088 CompareStub stub(cc, strict, flags); |
| 2074 Result result = frame_->CallStub(&stub, &left_side, &right_side); | 2089 Result result = frame_->CallStub(&stub, &left_side, &right_side); |
| 2075 result.ToRegister(); | 2090 result.ToRegister(); |
| 2076 __ testq(result.reg(), result.reg()); | 2091 __ testq(result.reg(), result.reg()); |
| 2077 result.Unuse(); | 2092 result.Unuse(); |
| 2078 dest->true_target()->Branch(cc); | 2093 dest->true_target()->Branch(cc); |
| 2079 dest->false_target()->Jump(); | 2094 dest->false_target()->Jump(); |
| 2080 | 2095 |
| 2081 is_string.Bind(&left_side); | 2096 is_string.Bind(&left_side); |
| 2082 // left_side is a sequential ASCII string. | 2097 // left_side is a sequential ASCII string. |
| 2083 ASSERT(left_side.reg().is(left_reg)); | 2098 ASSERT(left_side.reg().is(left_reg)); |
| (...skipping 83 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2167 dest->true_target()->Branch(equal); | 2182 dest->true_target()->Branch(equal); |
| 2168 } | 2183 } |
| 2169 | 2184 |
| 2170 // Inlined number comparison: | 2185 // Inlined number comparison: |
| 2171 if (inline_number_compare) { | 2186 if (inline_number_compare) { |
| 2172 GenerateInlineNumberComparison(&left_side, &right_side, cc, dest); | 2187 GenerateInlineNumberComparison(&left_side, &right_side, cc, dest); |
| 2173 } | 2188 } |
| 2174 | 2189 |
| 2175 // End of in-line compare, call out to the compare stub. Don't include | 2190 // End of in-line compare, call out to the compare stub. Don't include |
| 2176 // number comparison in the stub if it was inlined. | 2191 // number comparison in the stub if it was inlined. |
| 2177 CompareStub stub(cc, strict, nan_info, !inline_number_compare); | 2192 CompareFlags flags = ComputeCompareFlags(nan_info, inline_number_compare); |
| 2193 CompareStub stub(cc, strict, flags); |
| 2178 Result answer = frame_->CallStub(&stub, &left_side, &right_side); | 2194 Result answer = frame_->CallStub(&stub, &left_side, &right_side); |
| 2179 __ testq(answer.reg(), answer.reg()); // Sets both zero and sign flag. | 2195 __ testq(answer.reg(), answer.reg()); // Sets both zero and sign flag. |
| 2180 answer.Unuse(); | 2196 answer.Unuse(); |
| 2181 dest->Split(cc); | 2197 dest->Split(cc); |
| 2182 } else { | 2198 } else { |
| 2183 // Here we split control flow to the stub call and inlined cases | 2199 // Here we split control flow to the stub call and inlined cases |
| 2184 // before finally splitting it to the control destination. We use | 2200 // before finally splitting it to the control destination. We use |
| 2185 // a jump target and branching to duplicate the virtual frame at | 2201 // a jump target and branching to duplicate the virtual frame at |
| 2186 // the first split. We manually handle the off-frame references | 2202 // the first split. We manually handle the off-frame references |
| 2187 // by reconstituting them on the non-fall-through path. | 2203 // by reconstituting them on the non-fall-through path. |
| (...skipping 12 matching lines...) Expand all Loading... |
| 2200 dest->true_target()->Branch(equal); | 2216 dest->true_target()->Branch(equal); |
| 2201 } | 2217 } |
| 2202 | 2218 |
| 2203 // Inlined number comparison: | 2219 // Inlined number comparison: |
| 2204 if (inline_number_compare) { | 2220 if (inline_number_compare) { |
| 2205 GenerateInlineNumberComparison(&left_side, &right_side, cc, dest); | 2221 GenerateInlineNumberComparison(&left_side, &right_side, cc, dest); |
| 2206 } | 2222 } |
| 2207 | 2223 |
| 2208 // End of in-line compare, call out to the compare stub. Don't include | 2224 // End of in-line compare, call out to the compare stub. Don't include |
| 2209 // number comparison in the stub if it was inlined. | 2225 // number comparison in the stub if it was inlined. |
| 2210 CompareStub stub(cc, strict, nan_info, !inline_number_compare); | 2226 CompareFlags flags = |
| 2227 ComputeCompareFlags(nan_info, inline_number_compare); |
| 2228 CompareStub stub(cc, strict, flags); |
| 2211 Result answer = frame_->CallStub(&stub, &left_side, &right_side); | 2229 Result answer = frame_->CallStub(&stub, &left_side, &right_side); |
| 2212 __ testq(answer.reg(), answer.reg()); // Sets both zero and sign flags. | 2230 __ testq(answer.reg(), answer.reg()); // Sets both zero and sign flags. |
| 2213 answer.Unuse(); | 2231 answer.Unuse(); |
| 2214 if (is_smi.is_linked()) { | 2232 if (is_smi.is_linked()) { |
| 2215 dest->true_target()->Branch(cc); | 2233 dest->true_target()->Branch(cc); |
| 2216 dest->false_target()->Jump(); | 2234 dest->false_target()->Jump(); |
| 2217 } else { | 2235 } else { |
| 2218 dest->Split(cc); | 2236 dest->Split(cc); |
| 2219 } | 2237 } |
| 2220 } | 2238 } |
| (...skipping 104 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2325 __ ucomisd(xmm1, xmm0); | 2343 __ ucomisd(xmm1, xmm0); |
| 2326 // Jump to builtin for NaN. | 2344 // Jump to builtin for NaN. |
| 2327 not_number.Branch(parity_even, left_side); | 2345 not_number.Branch(parity_even, left_side); |
| 2328 left_side->Unuse(); | 2346 left_side->Unuse(); |
| 2329 dest->true_target()->Branch(DoubleCondition(cc)); | 2347 dest->true_target()->Branch(DoubleCondition(cc)); |
| 2330 dest->false_target()->Jump(); | 2348 dest->false_target()->Jump(); |
| 2331 not_number.Bind(left_side); | 2349 not_number.Bind(left_side); |
| 2332 } | 2350 } |
| 2333 | 2351 |
| 2334 // Setup and call the compare stub. | 2352 // Setup and call the compare stub. |
| 2335 CompareStub stub(cc, strict, kCantBothBeNaN); | 2353 CompareFlags flags = |
| 2354 static_cast<CompareFlags>(CANT_BOTH_BE_NAN | NO_SMI_CODE_IN_STUB); |
| 2355 CompareStub stub(cc, strict, flags); |
| 2336 Result result = frame_->CallStub(&stub, left_side, right_side); | 2356 Result result = frame_->CallStub(&stub, left_side, right_side); |
| 2337 result.ToRegister(); | 2357 result.ToRegister(); |
| 2338 __ testq(result.reg(), result.reg()); | 2358 __ testq(result.reg(), result.reg()); |
| 2339 result.Unuse(); | 2359 result.Unuse(); |
| 2340 if (cc == equal) { | 2360 if (cc == equal) { |
| 2341 dest->Split(cc); | 2361 dest->Split(cc); |
| 2342 } else { | 2362 } else { |
| 2343 dest->true_target()->Branch(cc); | 2363 dest->true_target()->Branch(cc); |
| 2344 dest->false_target()->Jump(); | 2364 dest->false_target()->Jump(); |
| 2345 | 2365 |
| (...skipping 5042 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 7388 case Token::NOT: | 7408 case Token::NOT: |
| 7389 case Token::DELETE: | 7409 case Token::DELETE: |
| 7390 case Token::TYPEOF: | 7410 case Token::TYPEOF: |
| 7391 UNREACHABLE(); // handled above | 7411 UNREACHABLE(); // handled above |
| 7392 break; | 7412 break; |
| 7393 | 7413 |
| 7394 case Token::SUB: { | 7414 case Token::SUB: { |
| 7395 GenericUnaryOpStub stub( | 7415 GenericUnaryOpStub stub( |
| 7396 Token::SUB, | 7416 Token::SUB, |
| 7397 overwrite, | 7417 overwrite, |
| 7418 NO_UNARY_FLAGS, |
| 7398 no_negative_zero ? kIgnoreNegativeZero : kStrictNegativeZero); | 7419 no_negative_zero ? kIgnoreNegativeZero : kStrictNegativeZero); |
| 7399 Result operand = frame_->Pop(); | 7420 Result operand = frame_->Pop(); |
| 7400 Result answer = frame_->CallStub(&stub, &operand); | 7421 Result answer = frame_->CallStub(&stub, &operand); |
| 7401 answer.set_type_info(TypeInfo::Number()); | 7422 answer.set_type_info(TypeInfo::Number()); |
| 7402 frame_->Push(&answer); | 7423 frame_->Push(&answer); |
| 7403 break; | 7424 break; |
| 7404 } | 7425 } |
| 7405 | 7426 |
| 7406 case Token::BIT_NOT: { | 7427 case Token::BIT_NOT: { |
| 7407 // Smi check. | 7428 // Smi check. |
| 7408 JumpTarget smi_label; | 7429 JumpTarget smi_label; |
| 7409 JumpTarget continue_label; | 7430 JumpTarget continue_label; |
| 7410 Result operand = frame_->Pop(); | 7431 Result operand = frame_->Pop(); |
| 7411 operand.ToRegister(); | 7432 operand.ToRegister(); |
| 7412 | 7433 |
| 7413 Condition is_smi = masm_->CheckSmi(operand.reg()); | 7434 Condition is_smi = masm_->CheckSmi(operand.reg()); |
| 7414 smi_label.Branch(is_smi, &operand); | 7435 smi_label.Branch(is_smi, &operand); |
| 7415 | 7436 |
| 7416 GenericUnaryOpStub stub(Token::BIT_NOT, overwrite); | 7437 GenericUnaryOpStub stub(Token::BIT_NOT, |
| 7438 overwrite, |
| 7439 NO_UNARY_SMI_CODE_IN_STUB); |
| 7417 Result answer = frame_->CallStub(&stub, &operand); | 7440 Result answer = frame_->CallStub(&stub, &operand); |
| 7418 continue_label.Jump(&answer); | 7441 continue_label.Jump(&answer); |
| 7419 | 7442 |
| 7420 smi_label.Bind(&answer); | 7443 smi_label.Bind(&answer); |
| 7421 answer.ToRegister(); | 7444 answer.ToRegister(); |
| 7422 frame_->Spill(answer.reg()); | 7445 frame_->Spill(answer.reg()); |
| 7423 __ SmiNot(answer.reg(), answer.reg()); | 7446 __ SmiNot(answer.reg(), answer.reg()); |
| 7424 continue_label.Bind(&answer); | 7447 continue_label.Bind(&answer); |
| 7425 answer.set_type_info(TypeInfo::Smi()); | 7448 answer.set_type_info(TypeInfo::Smi()); |
| 7426 frame_->Push(&answer); | 7449 frame_->Push(&answer); |
| (...skipping 1472 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 8899 #undef __ | 8922 #undef __ |
| 8900 | 8923 |
| 8901 void RecordWriteStub::Generate(MacroAssembler* masm) { | 8924 void RecordWriteStub::Generate(MacroAssembler* masm) { |
| 8902 masm->RecordWriteHelper(object_, addr_, scratch_); | 8925 masm->RecordWriteHelper(object_, addr_, scratch_); |
| 8903 masm->ret(0); | 8926 masm->ret(0); |
| 8904 } | 8927 } |
| 8905 | 8928 |
| 8906 } } // namespace v8::internal | 8929 } } // namespace v8::internal |
| 8907 | 8930 |
| 8908 #endif // V8_TARGET_ARCH_X64 | 8931 #endif // V8_TARGET_ARCH_X64 |
| OLD | NEW |