| ; RUN: llvm-extract -S -bb foo:bb4 %s | FileCheck %s |
| |
| ; CHECK: declare void @bar() |
| define void @bar() { |
| bb: |
| ret void |
| } |
| |
| ; CHECK-NOT: @unused() |
| define void @unused() { |
| bb: |
| ret void |
| } |
| |
| ; CHECK: @foo_bb4 |
| ; CHECK: call void @bar() |
| ; CHECK: %tmp5 |
| define i32 @foo(i32 %arg) { |
| bb: |
| %tmp = alloca i32, align 4 |
| %tmp1 = alloca i32, align 4 |
| store i32 %arg, i32* %tmp1, align 4 |
| %tmp2 = load i32, i32* %tmp1, align 4 |
| %tmp3 = icmp sgt i32 %tmp2, 0 |
| br i1 %tmp3, label %bb4, label %bb7 |
| |
| bb4: ; preds = %bb |
| call void @bar() |
| %tmp5 = load i32, i32* %tmp1, align 4 |
| %tmp6 = add nsw i32 %tmp5, 1 |
| store i32 %tmp6, i32* %tmp1, align 4 |
| store i32 %tmp6, i32* %tmp, align 4 |
| br label %bb8 |
| |
| bb7: ; preds = %bb |
| store i32 0, i32* %tmp, align 4 |
| br label %bb8 |
| |
| bb8: ; preds = %bb7, %bb4 |
| %tmp9 = load i32, i32* %tmp, align 4 |
| ret i32 %tmp9 |
| } |
| |