| 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 |