Lines Matching refs:TypeHandle
79 template<class Type, class TypeHandle, class Region>
169 #define DECLARE_TYPE(name, value) TypeHandle name;
173 TypeHandle ObjectClass;
174 TypeHandle ArrayClass;
175 TypeHandle NumberClass;
176 TypeHandle UninitializedClass;
178 TypeHandle SmiConstant;
179 TypeHandle Signed32Constant;
180 TypeHandle ObjectConstant1;
181 TypeHandle ObjectConstant2;
182 TypeHandle ArrayConstant;
183 TypeHandle UninitializedConstant;
185 TypeHandle NumberArray;
186 TypeHandle StringArray;
187 TypeHandle AnyArray;
189 TypeHandle SignedFunction1;
190 TypeHandle NumberFunction1;
191 TypeHandle NumberFunction2;
192 TypeHandle MethodFunction;
194 typedef std::vector<TypeHandle> TypeVector;
203 TypeHandle Of(Handle<i::Object> value) {
207 TypeHandle NowOf(Handle<i::Object> value) {
211 TypeHandle Class(Handle<i::Map> map) {
215 TypeHandle Constant(Handle<i::Object> value) {
219 TypeHandle Range(Handle<i::Object> min, Handle<i::Object> max) {
223 TypeHandle Context(TypeHandle outer) {
227 TypeHandle Array1(TypeHandle element) {
231 TypeHandle Function0(TypeHandle result, TypeHandle receiver) {
235 TypeHandle Function1(TypeHandle result, TypeHandle receiver, TypeHandle arg) {
236 TypeHandle type = Type::Function(result, receiver, 1, region_);
241 TypeHandle Function2(TypeHandle result, TypeHandle arg1, TypeHandle arg2) {
245 TypeHandle Union(TypeHandle t1, TypeHandle t2) {
248 TypeHandle Intersect(TypeHandle t1, TypeHandle t2) {
253 TypeHandle Convert(TypeHandle2 t) {
257 TypeHandle Random() {
261 TypeHandle Fuzz(int depth = 4) {
294 TypeHandle type = Type::Internal(region_);
299 TypeHandle element = Fuzz(depth / 2);
304 TypeHandle result = Fuzz(depth / 2);
305 TypeHandle receiver = Fuzz(depth / 2);
307 TypeHandle type = Type::Function(result, receiver, arity, region_);
309 TypeHandle parameter = Fuzz(depth / 2);
316 TypeHandle type = None;
318 TypeHandle operand = Fuzz(depth - 1);
335 template<class Type, class TypeHandle, class Region, class Rep>
337 typedef Types<Type, TypeHandle, Region> TypesInstance;
354 bool Equal(TypeHandle type1, TypeHandle type2) {
368 void CheckEqual(TypeHandle type1, TypeHandle type2) {
372 void CheckSub(TypeHandle type1, TypeHandle type2) {
380 void CheckUnordered(TypeHandle type1, TypeHandle type2) {
388 void CheckOverlap(TypeHandle type1, TypeHandle type2) {
393 void CheckDisjoint(TypeHandle type1, TypeHandle type2) {
402 TypeHandle t = *it;
420 TypeHandle type1 = *it1;
421 TypeHandle type2 = *it2;
422 TypeHandle union12 = T.Union(type1, type2);
431 TypeHandle type1 = *it1;
432 TypeHandle type2 = *it2;
433 TypeHandle intersect12 = T.Intersect(type1, type2);
442 TypeHandle type1 = *it1;
443 TypeHandle type2 = *it2;
444 TypeHandle union12 = T.Union(type1, type2);
453 TypeHandle type1 = *it1;
454 TypeHandle type2 = *it2;
455 TypeHandle union12 = T.Union(type1, type2);
467 TypeHandle type1 = *it1;
468 TypeHandle type2 = *it2;
469 TypeHandle intersect12 = T.Intersect(type1, type2);
484 TypeHandle type = T.Class(map);
491 TypeHandle type = T.Class(map);
500 TypeHandle type1 = T.Class(map1);
501 TypeHandle type2 = T.Class(map2);
511 TypeHandle type = T.Constant(value);
518 TypeHandle type = T.Constant(value);
527 TypeHandle type1 = T.Constant(value1);
528 TypeHandle type2 = T.Constant(value2);
580 TypeHandle type = T.Range(min, max);
591 TypeHandle type = T.Range(min, max);
613 TypeHandle type1 = T.Range(min1, max1);
614 TypeHandle type2 = T.Range(min2, max2);
625 TypeHandle type = T.Random();
626 TypeHandle array = T.Array1(type);
632 TypeHandle type = T.Random();
633 TypeHandle array = T.Array1(type);
640 TypeHandle type1 = T.Random();
641 TypeHandle type2 = T.Random();
642 TypeHandle array1 = T.Array1(type1);
643 TypeHandle array2 = T.Array1(type2);
654 TypeHandle type1 = T.Random();
655 TypeHandle type2 = T.Random();
656 TypeHandle type3 = T.Random();
657 TypeHandle function0 = T.Function0(type1, type2);
658 TypeHandle function1 = T.Function1(type1, type2, type3);
659 TypeHandle function2 = T.Function2(type1, type2, type3);
671 TypeHandle type1 = T.Random();
672 TypeHandle type2 = T.Random();
673 TypeHandle type3 = T.Random();
674 TypeHandle function0 = T.Function0(type1, type2);
675 TypeHandle function1 = T.Function1(type1, type2, type3);
676 TypeHandle function2 = T.Function2(type1, type2, type3);
697 TypeHandle type1 = T.Random();
698 TypeHandle type2 = T.Random();
699 TypeHandle type3 = T.Random();
700 TypeHandle function01 = T.Function0(type1, type2);
701 TypeHandle function02 = T.Function0(type1, type3);
702 TypeHandle function03 = T.Function0(type3, type2);
703 TypeHandle function11 = T.Function1(type1, type2, type2);
704 TypeHandle function12 = T.Function1(type1, type2, type3);
705 TypeHandle function21 = T.Function2(type1, type2, type2);
706 TypeHandle function22 = T.Function2(type1, type2, type3);
707 TypeHandle function23 = T.Function2(type1, type3, type2);
722 TypeHandle const_type = T.Constant(value);
723 TypeHandle of_type = T.Of(value);
731 TypeHandle type = *it;
732 TypeHandle const_type = T.Constant(value);
733 TypeHandle of_type = T.Of(value);
742 TypeHandle type = *it;
743 TypeHandle const_type = T.Constant(value);
744 TypeHandle of_type = T.Of(value);
755 TypeHandle const_type = T.Constant(value);
756 TypeHandle nowof_type = T.NowOf(value);
763 TypeHandle nowof_type = T.NowOf(value);
764 TypeHandle of_type = T.Of(value);
772 TypeHandle type = *it;
773 TypeHandle const_type = T.Constant(value);
774 TypeHandle nowof_type = T.NowOf(value);
784 TypeHandle type = *it;
785 TypeHandle const_type = T.Constant(value);
786 TypeHandle nowof_type = T.NowOf(value);
797 TypeHandle type = *it;
798 TypeHandle const_type = T.Constant(value);
799 TypeHandle nowof_type = T.NowOf(value);
809 TypeHandle type = *it;
810 TypeHandle glb =
818 TypeHandle type1 = *it1;
819 TypeHandle type2 = *it2;
820 TypeHandle glb2 =
829 TypeHandle type1 = *it1;
830 TypeHandle type2 = *it2;
831 TypeHandle glb1 =
833 TypeHandle glb2 =
843 TypeHandle type = *it;
844 TypeHandle lub =
852 TypeHandle type1 = *it1;
853 TypeHandle type2 = *it2;
854 TypeHandle lub1 =
863 TypeHandle type1 = *it1;
864 TypeHandle type2 = *it2;
865 TypeHandle lub1 =
867 TypeHandle lub2 =
877 TypeHandle type = *it;
883 TypeHandle type = *it;
889 TypeHandle type = *it;
895 TypeHandle type = *it;
901 TypeHandle type = *it;
909 TypeHandle type1 = *it1;
910 TypeHandle type2 = *it2;
911 TypeHandle type3 = *it3;
920 TypeHandle type1 = *it1;
921 TypeHandle type2 = *it2;
931 TypeHandle class_type1 = T.Class(map1);
932 TypeHandle class_type2 = T.Class(map2);
942 TypeHandle const_type1 = T.Constant(value1);
943 TypeHandle const_type2 = T.Constant(value2);
964 TypeHandle type1 = T.Range(min1, max1);
965 TypeHandle type2 = T.Range(min2, max2);
977 TypeHandle outer1 = *it1;
978 TypeHandle outer2 = *it2;
979 TypeHandle type1 = T.Context(outer1);
980 TypeHandle type2 = T.Context(outer2);
988 TypeHandle element1 = *it1;
989 TypeHandle element2 = *it2;
990 TypeHandle type1 = T.Array1(element1);
991 TypeHandle type2 = T.Array1(element2);
999 TypeHandle result1 = *i;
1000 TypeHandle receiver1 = *j;
1001 TypeHandle type1 = T.Function0(result1, receiver1);
1002 TypeHandle result2 = T.Random();
1003 TypeHandle receiver2 = T.Random();
1004 TypeHandle type2 = T.Function0(result2, receiver2);
1013 TypeHandle type1 = *i;
1014 TypeHandle type2 = *j;
1098 TypeHandle type = *it;
1104 TypeHandle type = *it;
1110 TypeHandle type = *it;
1116 TypeHandle type = *it;
1122 TypeHandle type = *it;
1130 TypeHandle type1 = *it1;
1131 TypeHandle type2 = *it2;
1132 TypeHandle type3 = *it3;
1142 TypeHandle type1 = *it1;
1143 TypeHandle type2 = *it2;
1152 TypeHandle type1 = *it1;
1153 TypeHandle type2 = *it2;
1163 TypeHandle const_type1 = T.Constant(value1);
1164 TypeHandle const_type2 = T.Constant(value2);
1174 TypeHandle class_type1 = T.Class(map1);
1175 TypeHandle class_type2 = T.Class(map2);
1185 TypeHandle const_type = T.Constant(value);
1186 TypeHandle class_type = T.Class(map);
1198 TypeHandle const_type = T.Constant(value);
1199 TypeHandle class_type = T.Class(map);
1209 TypeHandle type = *it;
1211 TypeHandle const_type = T.Constant(value);
1221 TypeHandle type = *it;
1223 TypeHandle const_type = T.Constant(value);
1231 TypeHandle type = *it;
1240 TypeHandle type = *it;
1242 TypeHandle nowof_type = T.Of(value);
1251 TypeHandle type = *it;
1257 TypeHandle type = *it;
1263 TypeHandle type = *it;
1270 TypeHandle type1 = *it1;
1271 TypeHandle type2 = *it2;
1279 TypeHandle type1 = *it1;
1280 TypeHandle type2 = *it2;
1289 TypeHandle type1 = *it1;
1290 TypeHandle type2 = *it2;
1291 TypeHandle intersect12 = T.Intersect(type1, type2);
1299 TypeHandle type1 = *it1;
1300 TypeHandle type2 = *it2;
1311 TypeHandle const_type1 = T.Constant(value1);
1312 TypeHandle const_type2 = T.Constant(value2);
1322 TypeHandle class_type1 = T.Class(map1);
1323 TypeHandle class_type2 = T.Class(map2);
1335 TypeHandle const_type = T.Constant(value);
1336 TypeHandle class_type = T.Class(map);
1349 TypeHandle const_type = T.Constant(value);
1350 TypeHandle class_type = T.Class(map);
1415 TypeHandle type = *it;
1416 TypeHandle union_type = T.Union(type, T.None);
1422 TypeHandle type = *it;
1423 TypeHandle union_type = T.Union(type, T.Any);
1429 TypeHandle type = *it;
1430 TypeHandle union_type = T.Union(type, type);
1437 TypeHandle type1 = *it1;
1438 TypeHandle type2 = *it2;
1439 TypeHandle union12 = T.Union(type1, type2);
1440 TypeHandle union21 = T.Union(type2, type1);
1451 TypeHandle type1 = *it1;
1452 TypeHandle type2 = *it2;
1453 TypeHandle type3 = *it3;
1454 TypeHandle union12 = T.Union(type1, type2);
1455 TypeHandle union23 = T.Union(type2, type3);
1456 TypeHandle union1_23 = T.Union(type1, union23);
1457 TypeHandle union12_3 = T.Union(union12, type3);
1467 TypeHandle type1 = *it1;
1468 TypeHandle type2 = *it2;
1469 TypeHandle union12 = T.Union(type1, type2);
1478 TypeHandle type1 = *it1;
1479 TypeHandle type2 = *it2;
1480 TypeHandle union12 = T.Union(type1, type2);
1491 TypeHandle type1 = *it1;
1492 TypeHandle type2 = *it2;
1493 TypeHandle type3 = *it3;
1494 TypeHandle union13 = T.Union(type1, type3);
1495 TypeHandle union23 = T.Union(type2, type3);
1511 TypeHandle type1 = *it1;
1512 TypeHandle type2 = *it2;
1513 TypeHandle type3 = *it3;
1514 TypeHandle union12 = T.Union(type1, type2);
1527 TypeHandle type1 = *it1;
1528 TypeHandle type2 = *it2;
1529 TypeHandle type3 = *it3;
1530 TypeHandle union23 = T.Union(type2, type3);
1656 TypeHandle type = *it;
1657 TypeHandle intersect_type = T.Intersect(type, T.Any);
1663 TypeHandle type = *it;
1664 TypeHandle intersect_type = T.Intersect(type, T.None);
1670 TypeHandle type = *it;
1671 TypeHandle intersect_type = T.Intersect(type, type);
1678 TypeHandle type1 = *it1;
1679 TypeHandle type2 = *it2;
1680 TypeHandle intersect12 = T.Intersect(type1, type2);
1681 TypeHandle intersect21 = T.Intersect(type2, type1);
1693 TypeHandle type1 = *it1;
1694 TypeHandle type2 = *it2;
1695 TypeHandle type3 = *it3;
1696 TypeHandle intersect12 = T.Intersect(type1, type2);
1697 TypeHandle intersect23 = T.Intersect(type2, type3);
1698 TypeHandle intersect1_23 = T.Intersect(type1, intersect23);
1699 TypeHandle intersect12_3 = T.Intersect(intersect12, type3);
1711 TypeHandle type1 = *it1;
1712 TypeHandle type2 = *it2;
1713 TypeHandle intersect12 = T.Intersect(type1, type2);
1723 TypeHandle type1 = *it1;
1724 TypeHandle type2 = *it2;
1725 TypeHandle intersect12 = T.Intersect(type1, type2);
1736 TypeHandle type1 = *it1;
1737 TypeHandle type2 = *it2;
1738 TypeHandle type3 = *it3;
1739 TypeHandle intersect13 = T.Intersect(type1, type3);
1740 TypeHandle intersect23 = T.Intersect(type2, type3);
1753 TypeHandle type1 = *it1;
1754 TypeHandle type2 = *it2;
1755 TypeHandle type3 = *it3;
1756 TypeHandle intersect12 = T.Intersect(type1, type2);
1770 TypeHandle type1 = *it1;
1771 TypeHandle type2 = *it2;
1772 TypeHandle type3 = *it3;
1773 TypeHandle intersect23 = T.Intersect(type2, type3);
1888 TypeHandle type1 = *it1;
1889 TypeHandle type2 = *it2;
1890 TypeHandle type3 = *it3;
1891 TypeHandle union12 = T.Union(type1, type2);
1892 TypeHandle union13 = T.Union(type1, type3);
1893 TypeHandle intersect23 = T.Intersect(type2, type3);
1894 TypeHandle union1_23 = T.Union(type1, intersect23);
1895 TypeHandle intersect12_13 = T.Intersect(union12, union13);
1908 TypeHandle type1 = *it1;
1909 TypeHandle type2 = *it2;
1910 TypeHandle type3 = *it3;
1911 TypeHandle intersect12 = T.Intersect(type1, type2);
1912 TypeHandle intersect13 = T.Intersect(type1, type3);
1913 TypeHandle union23 = T.Union(type2, type3);
1914 TypeHandle intersect1_23 = T.Intersect(type1, union23);
1915 TypeHandle union12_13 = T.Union(intersect12, intersect13);
1928 TypeHandle type1 = *it;
1930 TypeHandle type3 = T.template Convert<Type2>(type2);
1938 TypeHandle type1 = *it1;
1939 TypeHandle type2 = *it2;
