| OLD | NEW |
| 1 ; Test handling of call instructions. | 1 ; Test handling of call instructions. |
| 2 | 2 |
| 3 ; RUN: %p2i -i %s --insts | FileCheck %s | 3 ; RUN: %p2i -i %s --insts | FileCheck %s |
| 4 ; RUN: %if --need=allow_disable_ir_gen --command \ |
| 5 ; RUN: %p2i -i %s --args -notranslate -timing -no-ir-gen \ |
| 6 ; RUN: | %if --need=allow_disable_ir_gen --command \ |
| 7 ; RUN: FileCheck --check-prefix=NOIR %s |
| 4 | 8 |
| 5 define i32 @fib(i32 %n) { | 9 define i32 @fib(i32 %n) { |
| 6 entry: | 10 entry: |
| 7 %cmp = icmp slt i32 %n, 2 | 11 %cmp = icmp slt i32 %n, 2 |
| 8 br i1 %cmp, label %return, label %if.end | 12 br i1 %cmp, label %return, label %if.end |
| 9 | 13 |
| 10 if.end: ; preds = %entry | 14 if.end: ; preds = %entry |
| 11 %sub = add i32 %n, -1 | 15 %sub = add i32 %n, -1 |
| 12 %call = tail call i32 @fib(i32 %sub) | 16 %call = tail call i32 @fib(i32 %sub) |
| 13 %sub1 = add i32 %n, -2 | 17 %sub1 = add i32 %n, -2 |
| (...skipping 85 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 99 ; CHECK-NEXT: if.then: | 103 ; CHECK-NEXT: if.then: |
| 100 ; CHECK-NEXT: %n.tr3 = phi i32 [ %call.i, %if.then ], [ %n, %entry ] | 104 ; CHECK-NEXT: %n.tr3 = phi i32 [ %call.i, %if.then ], [ %n, %entry ] |
| 101 ; CHECK-NEXT: %sub = add i32 %n.tr3, -1 | 105 ; CHECK-NEXT: %sub = add i32 %n.tr3, -1 |
| 102 ; CHECK-NEXT: %call.i = call i32 @redirect_target(i32 %sub) | 106 ; CHECK-NEXT: %call.i = call i32 @redirect_target(i32 %sub) |
| 103 ; CHECK-NEXT: %cmp = icmp sgt i32 %call.i, 0 | 107 ; CHECK-NEXT: %cmp = icmp sgt i32 %call.i, 0 |
| 104 ; CHECK-NEXT: br i1 %cmp, label %if.then, label %if.end | 108 ; CHECK-NEXT: br i1 %cmp, label %if.then, label %if.end |
| 105 ; CHECK-NEXT: if.end: | 109 ; CHECK-NEXT: if.end: |
| 106 ; CHECK-NEXT: ret void | 110 ; CHECK-NEXT: ret void |
| 107 ; CHECK-NEXT: } | 111 ; CHECK-NEXT: } |
| 108 | 112 |
| 113 ; NOIR: Total across all functions |
| OLD | NEW |