@@ -19,43 +19,43 @@ def dump(tr) {
1919dump(g. V(). hasLabel(' module' ). valueMap(' moduleIdentifier' ))
2020// CHECK: moduleIdentifier=[main.ll]
2121
22- dump(g. V(). hasLabel(' type' ). order(). by(' type_id ' , asc). valueMap(' type_id ' ). dedup())
23- // CHECK-NEXT: type_id=[float_type ]
24- // CHECK-NEXT: type_id=[function_type ]
25- // CHECK-NEXT: type_id=[integer_type ]
26- // CHECK-NEXT: type_id=[label_type ]
27- // CHECK-NEXT: type_id=[pointer_type ]
28- // CHECK-NEXT: type_id=[struct_type ]
29- // CHECK-NEXT: type_id=[void_type ]
30-
31- dump(g. V(). has(' type' , ' type_id ' , ' integer_type ' ). order(). by(' bitwidth' , asc). valueMap(' bitwidth' ). dedup())
22+ dump(g. V(). hasLabel(' type' ). order(). by(' typeID ' , asc). valueMap(' typeID ' ). dedup())
23+ // CHECK-NEXT: typeID=[float ]
24+ // CHECK-NEXT: typeID=[function ]
25+ // CHECK-NEXT: typeID=[integer ]
26+ // CHECK-NEXT: typeID=[label ]
27+ // CHECK-NEXT: typeID=[pointer ]
28+ // CHECK-NEXT: typeID=[struct ]
29+ // CHECK-NEXT: typeID=[void ]
30+
31+ dump(g. V(). has(' type' , ' typeID ' , ' integer ' ). order(). by(' bitwidth' , asc). valueMap(' bitwidth' ). dedup())
3232// CHECK-NEXT: bitwidth=[1]
3333// CHECK-NEXT: bitwidth=[32]
3434
35- dump(g. V(). has(' type' , ' type_id ' , ' pointer_type ' ). outE(' pointee_type ' ). inV(). order(). by(' type_id ' , asc). valueMap(' type_id ' ). dedup())
36- // CHECK-NEXT: type_id=[function_type ]
37- // CHECK-NEXT: type_id=[integer_type ]
38- // CHECK-NEXT: type_id=[struct_type ]
35+ dump(g. V(). has(' type' , ' typeID ' , ' pointer ' ). outE(' pointeeType ' ). inV(). order(). by(' typeID ' , asc). valueMap(' typeID ' ). dedup())
36+ // CHECK-NEXT: typeID=[function ]
37+ // CHECK-NEXT: typeID=[integer ]
38+ // CHECK-NEXT: typeID=[struct ]
3939
40- dump(g. V(). has(' type' , ' type_id ' , ' function_type ' ). outE(' return_type ' ). inV(). order(). by(' type_id ' , asc). valueMap(' type_id ' ). dedup())
41- // CHECK-NEXT: type_id=[integer_type ]
42- // CHECK-NEXT: type_id=[void_type ]
40+ dump(g. V(). has(' type' , ' typeID ' , ' function ' ). outE(' returnType ' ). inV(). order(). by(' typeID ' , asc). valueMap(' typeID ' ). dedup())
41+ // CHECK-NEXT: typeID=[integer ]
42+ // CHECK-NEXT: typeID=[void ]
4343
44- dump(g. V(). has(' type' , ' type_id ' , ' function_type ' ). outE(' parameter_type ' ). has(' order' , 0 ). inV(). order(). by(' type_id ' , asc). valueMap(' type_id ' ). dedup())
45- // CHECK-NEXT: type_id=[integer_type ]
46- // CHECK-NEXT: type_id=[pointer_type ]
44+ dump(g. V(). has(' type' , ' typeID ' , ' function ' ). outE(' parameterType ' ). has(' order' , 0 ). inV(). order(). by(' typeID ' , asc). valueMap(' typeID ' ). dedup())
45+ // CHECK-NEXT: typeID=[integer ]
46+ // CHECK-NEXT: typeID=[pointer ]
4747
48- dump(g. V(). has(' type' , ' type_id ' , ' struct_type ' ). valueMap(' name' ))
48+ dump(g. V(). has(' type' , ' typeID ' , ' struct ' ). valueMap(' name' ))
4949// CHECK-NEXT: name=[struct.Foo]
5050
51- dump(g. V(). has(' type' , ' type_id ' , ' struct_type ' ). outE(' element_type ' ). has(' order' , 0 ). inV(). valueMap(' type_id ' ))
52- // CHECK-NEXT: type_id=[integer_type ]
51+ dump(g. V(). has(' type' , ' typeID ' , ' struct ' ). outE(' elementType ' ). has(' order' , 0 ). inV(). valueMap(' typeID ' ))
52+ // CHECK-NEXT: typeID=[integer ]
5353
54- dump(g. V(). has(' type' , ' type_id ' , ' struct_type ' ). outE(' element_type ' ). has(' order' , 1 ). inV(). valueMap(' type_id ' ))
55- // CHECK-NEXT: type_id=[float_type ]
54+ dump(g. V(). has(' type' , ' typeID ' , ' struct ' ). outE(' elementType ' ). has(' order' , 1 ). inV(). valueMap(' typeID ' ))
55+ // CHECK-NEXT: typeID=[float ]
5656
57- dump(g. V(). has(' function' , ' name' , ' abs' ). outE(' argument' ). inV(). outE(' type' ). inV(). order(). by(' type_id ' , asc). valueMap(' type_id ' ). dedup())
58- // CHECK-NEXT: type_id=[integer_type ]
57+ dump(g. V(). has(' function' , ' name' , ' abs' ). outE(' argument' ). inV(). outE(' type' ). inV(). order(). by(' typeID ' , asc). valueMap(' typeID ' ). dedup())
58+ // CHECK-NEXT: typeID=[integer ]
5959
6060:exit
6161// CHECK-EMPTY:
0 commit comments