| OLD | NEW |
| 1 // Copyright 2011 the V8 project authors. All rights reserved. | 1 // Copyright 2011 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 1900 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1911 // the temp registers, but not the input. Only input and temp2 may alias. | 1911 // the temp registers, but not the input. Only input and temp2 may alias. |
| 1912 void LCodeGen::EmitClassOfTest(Label* is_true, | 1912 void LCodeGen::EmitClassOfTest(Label* is_true, |
| 1913 Label* is_false, | 1913 Label* is_false, |
| 1914 Handle<String>class_name, | 1914 Handle<String>class_name, |
| 1915 Register input, | 1915 Register input, |
| 1916 Register temp, | 1916 Register temp, |
| 1917 Register temp2) { | 1917 Register temp2) { |
| 1918 ASSERT(!input.is(temp)); | 1918 ASSERT(!input.is(temp)); |
| 1919 ASSERT(!temp.is(temp2)); // But input and temp2 may be the same register. | 1919 ASSERT(!temp.is(temp2)); // But input and temp2 may be the same register. |
| 1920 __ JumpIfSmi(input, is_false); | 1920 __ JumpIfSmi(input, is_false); |
| 1921 __ CompareObjectType(input, temp, temp2, FIRST_SPEC_OBJECT_TYPE); | |
| 1922 __ b(lt, is_false); | |
| 1923 | 1921 |
| 1924 // Map is now in temp. | |
| 1925 // Functions have class 'Function'. | |
| 1926 __ CompareInstanceType(temp, temp2, FIRST_CALLABLE_SPEC_OBJECT_TYPE); | |
| 1927 if (class_name->IsEqualTo(CStrVector("Function"))) { | 1922 if (class_name->IsEqualTo(CStrVector("Function"))) { |
| 1928 __ b(ge, is_true); | 1923 // Assuming the following assertions, we can use the same compares to test |
| 1924 // for both being a function type and being in the object type range. |
| 1925 STATIC_ASSERT(NUM_OF_CALLABLE_SPEC_OBJECT_TYPES == 2); |
| 1926 STATIC_ASSERT(FIRST_NONCALLABLE_SPEC_OBJECT_TYPE == |
| 1927 FIRST_SPEC_OBJECT_TYPE + 1); |
| 1928 STATIC_ASSERT(LAST_NONCALLABLE_SPEC_OBJECT_TYPE == |
| 1929 LAST_SPEC_OBJECT_TYPE - 1); |
| 1930 STATIC_ASSERT(LAST_SPEC_OBJECT_TYPE == LAST_TYPE); |
| 1931 __ CompareObjectType(input, temp, temp2, FIRST_SPEC_OBJECT_TYPE); |
| 1932 __ b(lt, is_false); |
| 1933 __ b(eq, is_true); |
| 1934 __ cmp(temp2, Operand(LAST_SPEC_OBJECT_TYPE)); |
| 1935 __ b(eq, is_true); |
| 1929 } else { | 1936 } else { |
| 1930 __ b(ge, is_false); | 1937 // Faster code path to avoid two compares: subtract lower bound from the |
| 1938 // actual type and do a signed compare with the width of the type range. |
| 1939 __ ldr(temp, FieldMemOperand(input, HeapObject::kMapOffset)); |
| 1940 __ ldrb(temp2, FieldMemOperand(temp, Map::kInstanceTypeOffset)); |
| 1941 __ sub(temp2, temp2, Operand(FIRST_NONCALLABLE_SPEC_OBJECT_TYPE)); |
| 1942 __ cmp(temp2, Operand(LAST_NONCALLABLE_SPEC_OBJECT_TYPE - |
| 1943 FIRST_NONCALLABLE_SPEC_OBJECT_TYPE)); |
| 1944 __ b(gt, is_false); |
| 1931 } | 1945 } |
| 1932 | 1946 |
| 1947 // Now we are in the FIRST-LAST_NONCALLABLE_SPEC_OBJECT_TYPE range. |
| 1933 // Check if the constructor in the map is a function. | 1948 // Check if the constructor in the map is a function. |
| 1934 __ ldr(temp, FieldMemOperand(temp, Map::kConstructorOffset)); | 1949 __ ldr(temp, FieldMemOperand(temp, Map::kConstructorOffset)); |
| 1935 | 1950 |
| 1936 // As long as LAST_CALLABLE_SPEC_OBJECT_TYPE is the last instance type and | |
| 1937 // FIRST_CALLABLE_SPEC_OBJECT_TYPE comes right after | |
| 1938 // LAST_NONCALLABLE_SPEC_OBJECT_TYPE, we can avoid checking for the latter. | |
| 1939 STATIC_ASSERT(LAST_TYPE == LAST_CALLABLE_SPEC_OBJECT_TYPE); | |
| 1940 STATIC_ASSERT(FIRST_CALLABLE_SPEC_OBJECT_TYPE == | |
| 1941 LAST_NONCALLABLE_SPEC_OBJECT_TYPE + 1); | |
| 1942 | |
| 1943 // Objects with a non-function constructor have class 'Object'. | 1951 // Objects with a non-function constructor have class 'Object'. |
| 1944 __ CompareObjectType(temp, temp2, temp2, JS_FUNCTION_TYPE); | 1952 __ CompareObjectType(temp, temp2, temp2, JS_FUNCTION_TYPE); |
| 1945 if (class_name->IsEqualTo(CStrVector("Object"))) { | 1953 if (class_name->IsEqualTo(CStrVector("Object"))) { |
| 1946 __ b(ne, is_true); | 1954 __ b(ne, is_true); |
| 1947 } else { | 1955 } else { |
| 1948 __ b(ne, is_false); | 1956 __ b(ne, is_false); |
| 1949 } | 1957 } |
| 1950 | 1958 |
| 1951 // temp now contains the constructor function. Grab the | 1959 // temp now contains the constructor function. Grab the |
| 1952 // instance class name from there. | 1960 // instance class name from there. |
| (...skipping 2383 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4336 __ CompareRoot(input, Heap::kUndefinedValueRootIndex); | 4344 __ CompareRoot(input, Heap::kUndefinedValueRootIndex); |
| 4337 __ b(eq, true_label); | 4345 __ b(eq, true_label); |
| 4338 __ JumpIfSmi(input, false_label); | 4346 __ JumpIfSmi(input, false_label); |
| 4339 // Check for undetectable objects => true. | 4347 // Check for undetectable objects => true. |
| 4340 __ ldr(input, FieldMemOperand(input, HeapObject::kMapOffset)); | 4348 __ ldr(input, FieldMemOperand(input, HeapObject::kMapOffset)); |
| 4341 __ ldrb(ip, FieldMemOperand(input, Map::kBitFieldOffset)); | 4349 __ ldrb(ip, FieldMemOperand(input, Map::kBitFieldOffset)); |
| 4342 __ tst(ip, Operand(1 << Map::kIsUndetectable)); | 4350 __ tst(ip, Operand(1 << Map::kIsUndetectable)); |
| 4343 final_branch_condition = ne; | 4351 final_branch_condition = ne; |
| 4344 | 4352 |
| 4345 } else if (type_name->Equals(heap()->function_symbol())) { | 4353 } else if (type_name->Equals(heap()->function_symbol())) { |
| 4354 STATIC_ASSERT(NUM_OF_CALLABLE_SPEC_OBJECT_TYPES == 2); |
| 4346 __ JumpIfSmi(input, false_label); | 4355 __ JumpIfSmi(input, false_label); |
| 4347 __ CompareObjectType(input, input, scratch, | 4356 __ CompareObjectType(input, scratch, input, JS_FUNCTION_TYPE); |
| 4348 FIRST_CALLABLE_SPEC_OBJECT_TYPE); | 4357 __ b(eq, true_label); |
| 4349 final_branch_condition = ge; | 4358 __ cmp(input, Operand(JS_FUNCTION_PROXY_TYPE)); |
| 4359 final_branch_condition = eq; |
| 4350 | 4360 |
| 4351 } else if (type_name->Equals(heap()->object_symbol())) { | 4361 } else if (type_name->Equals(heap()->object_symbol())) { |
| 4352 __ JumpIfSmi(input, false_label); | 4362 __ JumpIfSmi(input, false_label); |
| 4353 if (!FLAG_harmony_typeof) { | 4363 if (!FLAG_harmony_typeof) { |
| 4354 __ CompareRoot(input, Heap::kNullValueRootIndex); | 4364 __ CompareRoot(input, Heap::kNullValueRootIndex); |
| 4355 __ b(eq, true_label); | 4365 __ b(eq, true_label); |
| 4356 } | 4366 } |
| 4357 __ CompareObjectType(input, input, scratch, | 4367 __ CompareObjectType(input, input, scratch, |
| 4358 FIRST_NONCALLABLE_SPEC_OBJECT_TYPE); | 4368 FIRST_NONCALLABLE_SPEC_OBJECT_TYPE); |
| 4359 __ b(lt, false_label); | 4369 __ b(lt, false_label); |
| (...skipping 150 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4510 ASSERT(osr_pc_offset_ == -1); | 4520 ASSERT(osr_pc_offset_ == -1); |
| 4511 osr_pc_offset_ = masm()->pc_offset(); | 4521 osr_pc_offset_ = masm()->pc_offset(); |
| 4512 } | 4522 } |
| 4513 | 4523 |
| 4514 | 4524 |
| 4515 | 4525 |
| 4516 | 4526 |
| 4517 #undef __ | 4527 #undef __ |
| 4518 | 4528 |
| 4519 } } // namespace v8::internal | 4529 } } // namespace v8::internal |
| OLD | NEW |