1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
; Checks if llvm bitcode defines a struct type before the pointer type,
; even if the struct definintion appears after the pointer type, while
; pnacl bitcode moves the pointer before the struct.
; RUN: llvm-as < %s | llvm-bcanalyzer -dump | FileCheck %s -check-prefix=LLVM
; RUN: llvm-as < %s | pnacl-freeze | pnacl-bcanalyzer -dump | FileCheck %s -check-prefix=PNACL
%typeB = type { i8, %typeA, i32, %typeA }
%typeA = type { i16 }
define %typeB* @foo(%typeB* %a) {
ret %typeB* %a
}
define %typeB* @bar(%typeB* %b) {
ret %typeB* %b
}
define i16 @bam(i16 %a) {
ret i16 %a
}
; Show the ordering llvm uses to order types, which is to expand subtypes
; (including accross pointers) before the type. Expands types for functions
; in order: @foo, @bar, @bam.
; LLVM: <TYPE_BLOCK_ID {{.*}}>
; i8
; LLVM: <INTEGER op0=8/>
; i16
; LLVM: <INTEGER op0=16/>
; %typeA = type { i16 }
; LLVM: <STRUCT_NAME abbrevid=7 op0=116 op1=121 op2=112 op3=101 op4=65/>
; LLVM: <STRUCT_NAMED abbrevid=8 op0=0 op1=1/>
; i32
; LLVM: <INTEGER op0=32/>
; %typeB = type { i8, %typeA, i32, %typeA }
; LLVM: <STRUCT_NAME abbrevid=7 op0=116 op1=121 op2=112 op3=101 op4=66/>
; LLVM: <STRUCT_NAMED abbrevid=8 op0=0 op1=0 op2=2 op3=3 op4=2/>
; %typeB*
; LLVM: <POINTER abbrevid=4 op0=4 op1=0/>
; %typeB* (%typeB*)
; LLVM: <FUNCTION abbrevid=5 op0=0 op1=5 op2=5/>
; %typeB* (%typeB*)*
; LLVM: <POINTER abbrevid=4 op0=6 op1=0/>
; i16 (i16)
; LLVM: <FUNCTION abbrevid=5 op0=0 op1=1 op2=1/>
; i16 (i16)*
; LLVM: <POINTER abbrevid=4 op0=8 op1=0/>
; type of instruction "RET"
; LLVM: <VOID/>
; LLVM: </TYPE_BLOCK_ID>
; Show the ordering pnacl-freeze uses to order types.
; PNACL: <TYPE_BLOCK_ID {{.*}}>
; %typeB*
; PNACL: <POINTER abbrevid=4 op0=8 op1=0/>
; i16
; PNACL: <INTEGER op0=16/>
; type of instruction "RET"
; PNACL: <VOID/>
; %typeA = type { i16 }
; PNACL: <STRUCT_NAME abbrevid=7 op0=116 op1=121 op2=112 op3=101 op4=65/>
; PNACL: <STRUCT_NAMED abbrevid=8 op0=0 op1=1/>
; %typeB* (%typeB*)
; PNACL: <FUNCTION abbrevid=5 op0=0 op1=0 op2=0/>
; %typeB* (%typeB*)*
; PNACL: <POINTER abbrevid=4 op0=4 op1=0/>
; i8
; PNACL: <INTEGER op0=8/>
; i32
; PNACL: <INTEGER op0=32/>
; %typeB = type { i8, %typeA, i32, %typeA }
; PNACL: <STRUCT_NAME abbrevid=7 op0=116 op1=121 op2=112 op3=101 op4=66/>
; PNACL: <STRUCT_NAMED abbrevid=8 op0=0 op1=6 op2=3 op3=7 op4=3/>
; i16 (i16)
; PNACL: <FUNCTION abbrevid=5 op0=0 op1=1 op2=1/>
; i16 (i16)*
; PNACL: <POINTER abbrevid=4 op0=9 op1=0/>
; PNACL: </TYPE_BLOCK_ID>
|
