| ; RUN: llc < %s -mtriple=thumbv7-linux-gnueabihf %s -o - | FileCheck %s |
| |
| ; Check that new water is created by splitting the basic block after the |
| ; load instruction. Previously, new water was created before the load |
| ; instruction, which caused the pass to fail to converge. |
| |
| define void @test(i1 %tst) { |
| ; CHECK-LABEL: test: |
| ; CHECK: vldr {{s[0-9]+}}, [[CONST:\.LCPI[0-9]+_[0-9]+]] |
| |
| ; CHECK: b.w [[CONTINUE:\.LBB[0-9]+_[0-9]+]] |
| ; CHECK: [[CONST]]: |
| ; CHECK-NEXT: .long |
| |
| ; CHECK: [[CONTINUE]]: |
| |
| entry: |
| br i1 %tst, label %true, label %false |
| |
| true: |
| %val = phi float [12345.0, %entry], [undef, %false] |
| call i32 @llvm.arm.space(i32 2000, i32 undef) |
| call void @bar(float %val) |
| ret void |
| |
| false: |
| br label %true |
| } |
| |
| declare void @bar(float) |
| declare i32 @llvm.arm.space(i32, i32) |
