OLD | NEW |
1 ; Test use forward type references in function blocks. | 1 ; Test use forward type references in function blocks. |
2 | 2 |
3 ; RUN: %p2i -i %s --insts | FileCheck %s | 3 ; RUN: %p2i -i %s --insts | FileCheck %s |
4 ; RUN: llvm-as < %s | pnacl-freeze | pnacl-bcdis -no-records \ | 4 ; RUN: llvm-as < %s | pnacl-freeze | pnacl-bcdis -no-records \ |
5 ; RUN: | FileCheck --check-prefix=DUMP %s | 5 ; RUN: | FileCheck --check-prefix=DUMP %s |
6 ; RUN: %if --need=allow_disable_ir_gen --command \ | 6 ; RUN: %if --need=allow_disable_ir_gen --command \ |
7 ; RUN: %p2i -i %s --args -notranslate -timing -no-ir-gen \ | 7 ; RUN: %p2i -i %s --args -notranslate -timing -no-ir-gen \ |
8 ; RUN: | %if --need=allow_disable_ir_gen --command \ | 8 ; RUN: | %if --need=allow_disable_ir_gen --command \ |
9 ; RUN: FileCheck --check-prefix=NOIR %s | 9 ; RUN: FileCheck --check-prefix=NOIR %s |
10 | 10 |
11 define void @LoopCarriedDep() { | 11 define internal void @LoopCarriedDep() { |
12 b0: | 12 b0: |
13 %v0 = add i32 1, 2 | 13 %v0 = add i32 1, 2 |
14 br label %b1 | 14 br label %b1 |
15 b1: | 15 b1: |
16 %v1 = phi i32 [%v0, %b0], [%v2, %b1] | 16 %v1 = phi i32 [%v0, %b0], [%v2, %b1] |
17 %v2 = add i32 %v1, 1 | 17 %v2 = add i32 %v1, 1 |
18 br label %b1 | 18 br label %b1 |
19 } | 19 } |
20 | 20 |
21 ; CHECK: define void @LoopCarriedDep() { | 21 ; CHECK: define internal void @LoopCarriedDep() { |
22 ; CHECK-NEXT: b0: | 22 ; CHECK-NEXT: b0: |
23 ; CHECK-NEXT: %v0 = add i32 1, 2 | 23 ; CHECK-NEXT: %v0 = add i32 1, 2 |
24 ; CHECK-NEXT: br label %b1 | 24 ; CHECK-NEXT: br label %b1 |
25 ; CHECK-NEXT: b1: | 25 ; CHECK-NEXT: b1: |
26 ; CHECK-NEXT: %v1 = phi i32 [ %v0, %b0 ], [ %v2, %b1 ] | 26 ; CHECK-NEXT: %v1 = phi i32 [ %v0, %b0 ], [ %v2, %b1 ] |
27 ; CHECK-NEXT: %v2 = add i32 %v1, 1 | 27 ; CHECK-NEXT: %v2 = add i32 %v1, 1 |
28 ; CHECK-NEXT: br label %b1 | 28 ; CHECK-NEXT: br label %b1 |
29 ; CHECK-NEXT: } | 29 ; CHECK-NEXT: } |
30 | 30 |
31 ; Snippet of bitcode objdump with forward type reference (see "declare"). | 31 ; Snippet of bitcode objdump with forward type reference (see "declare"). |
32 ; DUMP: function void @f0() { // BlockID = 12 | 32 ; DUMP: function void @f0() { // BlockID = 12 |
33 ; DUMP-NEXT: blocks 2; | 33 ; DUMP-NEXT: blocks 2; |
34 ; DUMP-NEXT: constants { // BlockID = 11 | 34 ; DUMP-NEXT: constants { // BlockID = 11 |
35 ; DUMP-NEXT: i32: <@a0> | 35 ; DUMP-NEXT: i32: <@a0> |
36 ; DUMP-NEXT: %c0 = i32 1; <@a1> | 36 ; DUMP-NEXT: %c0 = i32 1; <@a1> |
37 ; DUMP-NEXT: %c1 = i32 2; <@a1> | 37 ; DUMP-NEXT: %c1 = i32 2; <@a1> |
38 ; DUMP-NEXT: } | 38 ; DUMP-NEXT: } |
39 ; DUMP-NEXT: %b0: | 39 ; DUMP-NEXT: %b0: |
40 ; DUMP-NEXT: %v0 = add i32 %c0, %c1; <@a1> | 40 ; DUMP-NEXT: %v0 = add i32 %c0, %c1; <@a1> |
41 ; DUMP-NEXT: br label %b1; | 41 ; DUMP-NEXT: br label %b1; |
42 ; DUMP-NEXT: %b1: | 42 ; DUMP-NEXT: %b1: |
43 ; DUMP-NEXT: declare i32 %v2; <@a6> | 43 ; DUMP-NEXT: declare i32 %v2; <@a6> |
44 ; DUMP-NEXT: %v1 = phi i32 [%v0, %b0], [%v2, %b1]; | 44 ; DUMP-NEXT: %v1 = phi i32 [%v0, %b0], [%v2, %b1]; |
45 ; DUMP-NEXT: %v2 = add i32 %v1, %c0; <@a1> | 45 ; DUMP-NEXT: %v2 = add i32 %v1, %c0; <@a1> |
46 ; DUMP-NEXT: br label %b1; | 46 ; DUMP-NEXT: br label %b1; |
47 ; DUMP-NEXT: } | 47 ; DUMP-NEXT: } |
48 | 48 |
49 define void @BackBranch(i32 %p0) { | 49 define internal void @BackBranch(i32 %p0) { |
50 b0: | 50 b0: |
51 br label %b4 | 51 br label %b4 |
52 b1: | 52 b1: |
53 %v0 = add i32 %p0, %v3 | 53 %v0 = add i32 %p0, %v3 |
54 br label %b6 | 54 br label %b6 |
55 b2: | 55 b2: |
56 %v1 = add i32 %p0, %v4 | 56 %v1 = add i32 %p0, %v4 |
57 br label %b6 | 57 br label %b6 |
58 b3: | 58 b3: |
59 %v2 = add i32 %p0, %v3 ; No forward declare, already done! | 59 %v2 = add i32 %p0, %v3 ; No forward declare, already done! |
60 br label %b6 | 60 br label %b6 |
61 b4: | 61 b4: |
62 %v3 = add i32 %p0, %p0 | 62 %v3 = add i32 %p0, %p0 |
63 br i1 1, label %b1, label %b5 | 63 br i1 1, label %b1, label %b5 |
64 b5: | 64 b5: |
65 %v4 = add i32 %v3, %p0 | 65 %v4 = add i32 %v3, %p0 |
66 br i1 1, label %b2, label %b3 | 66 br i1 1, label %b2, label %b3 |
67 b6: | 67 b6: |
68 ret void | 68 ret void |
69 } | 69 } |
70 | 70 |
71 ; CHECK: define void @BackBranch(i32 %p0) { | 71 ; CHECK: define internal void @BackBranch(i32 %p0) { |
72 ; CHECK-NEXT: b0: | 72 ; CHECK-NEXT: b0: |
73 ; CHECK-NEXT: br label %b4 | 73 ; CHECK-NEXT: br label %b4 |
74 ; CHECK-NEXT: b1: | 74 ; CHECK-NEXT: b1: |
75 ; CHECK-NEXT: %v0 = add i32 %p0, %v3 | 75 ; CHECK-NEXT: %v0 = add i32 %p0, %v3 |
76 ; CHECK-NEXT: br label %b6 | 76 ; CHECK-NEXT: br label %b6 |
77 ; CHECK-NEXT: b2: | 77 ; CHECK-NEXT: b2: |
78 ; CHECK-NEXT: %v1 = add i32 %p0, %v4 | 78 ; CHECK-NEXT: %v1 = add i32 %p0, %v4 |
79 ; CHECK-NEXT: br label %b6 | 79 ; CHECK-NEXT: br label %b6 |
80 ; CHECK-NEXT: b3: | 80 ; CHECK-NEXT: b3: |
81 ; CHECK-NEXT: %v2 = add i32 %p0, %v3 | 81 ; CHECK-NEXT: %v2 = add i32 %p0, %v3 |
(...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
114 ; DUMP-NEXT: %v3 = add i32 %p0, %p0; <@a1> | 114 ; DUMP-NEXT: %v3 = add i32 %p0, %p0; <@a1> |
115 ; DUMP-NEXT: br i1 %c0, label %b1, label %b5; | 115 ; DUMP-NEXT: br i1 %c0, label %b1, label %b5; |
116 ; DUMP-NEXT: %b5: | 116 ; DUMP-NEXT: %b5: |
117 ; DUMP-NEXT: %v4 = add i32 %v3, %p0; <@a1> | 117 ; DUMP-NEXT: %v4 = add i32 %v3, %p0; <@a1> |
118 ; DUMP-NEXT: br i1 %c0, label %b2, label %b3; | 118 ; DUMP-NEXT: br i1 %c0, label %b2, label %b3; |
119 ; DUMP-NEXT: %b6: | 119 ; DUMP-NEXT: %b6: |
120 ; DUMP-NEXT: ret void; <@a3> | 120 ; DUMP-NEXT: ret void; <@a3> |
121 ; DUMP-NEXT: } | 121 ; DUMP-NEXT: } |
122 | 122 |
123 ; NOIR: Total across all functions | 123 ; NOIR: Total across all functions |
OLD | NEW |