diff options
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/DeadStoreElimination/debuginfo.ll | 10 | ||||
| -rw-r--r-- | llvm/test/Transforms/GVN/PRE/phi-translate-2.ll | 2 | ||||
| -rw-r--r-- | llvm/test/Transforms/GVN/fence.ll | 4 |
3 files changed, 8 insertions, 8 deletions
diff --git a/llvm/test/Transforms/DeadStoreElimination/debuginfo.ll b/llvm/test/Transforms/DeadStoreElimination/debuginfo.ll index 813c0425d01..2d9b4fe3ee8 100644 --- a/llvm/test/Transforms/DeadStoreElimination/debuginfo.ll +++ b/llvm/test/Transforms/DeadStoreElimination/debuginfo.ll @@ -7,17 +7,17 @@ declare noalias i8* @malloc(i32) declare void @test_f() define i32* @test_salvage() { +; Check that all four original local variables have their values preserved. ; CHECK-LABEL: @test_salvage() ; CHECK-NEXT: malloc -; CHECK-NEXT: bitcast -; CHECK-NEXT: call void @test_f() -; CHECK-NEXT: store i32 0, i32* %P - -; Check that all four original local variables have their values preserved. ; CHECK-NEXT: @llvm.dbg.value(metadata i8* %p, metadata ![[p:.*]], metadata !DIExpression()) +; CHECK-NEXT: bitcast ; CHECK-NEXT: @llvm.dbg.value(metadata i32* %P, metadata ![[P:.*]], metadata !DIExpression()) ; CHECK-NEXT: @llvm.dbg.value(metadata i32* %P, metadata ![[DEAD:.*]], metadata !DIExpression(DW_OP_deref)) ; CHECK-NEXT: call void @llvm.dbg.value(metadata i32* %P, metadata ![[DEAD2:.*]], metadata !DIExpression(DW_OP_deref, DW_OP_plus_uconst, 1, DW_OP_stack_value)) +; CHECK-NEXT: call void @test_f() +; CHECK-NEXT: store i32 0, i32* %P + %p = tail call i8* @malloc(i32 4) %P = bitcast i8* %p to i32* %DEAD = load i32, i32* %P diff --git a/llvm/test/Transforms/GVN/PRE/phi-translate-2.ll b/llvm/test/Transforms/GVN/PRE/phi-translate-2.ll index 2edc2c10b27..7911b525625 100644 --- a/llvm/test/Transforms/GVN/PRE/phi-translate-2.ll +++ b/llvm/test/Transforms/GVN/PRE/phi-translate-2.ll @@ -141,9 +141,9 @@ critedge.loopexit: ; CHECK: br label %if.end3 ; CHECK: if.end3: ; CHECK: %[[PREPHI:.*]] = phi i64 [ %sub.ptr.sub, %if.else ], [ %[[SUB]], %if.then2 ], [ %sub.ptr.sub, %entry ] -; CHECK: %[[DIV:.*]] = ashr exact i64 %[[PREPHI]], 2 ; CHECK: call void @llvm.dbg.value(metadata i32* %p.0, metadata [[var_p0:![0-9]+]], metadata !DIExpression()) ; CHECK: call void @llvm.dbg.value(metadata i64 %sub.ptr.rhs.cast5.pre-phi, metadata [[var_sub_ptr:![0-9]+]], metadata !DIExpression()) +; CHECK: %[[DIV:.*]] = ashr exact i64 %[[PREPHI]], 2 ; CHECK: ret i64 %[[DIV]] declare void @bar(...) local_unnamed_addr #1 diff --git a/llvm/test/Transforms/GVN/fence.ll b/llvm/test/Transforms/GVN/fence.ll index 273c3b66948..ab8e2bbe72b 100644 --- a/llvm/test/Transforms/GVN/fence.ll +++ b/llvm/test/Transforms/GVN/fence.ll @@ -18,10 +18,10 @@ define i32 @test(i32* %addr.i) { ; Same as above define i32 @test2(i32* %addr.i) { ; CHECK-LABEL: @test2 -; CHECK-NEXT: fence ; CHECK-NEXT: call void @llvm.dbg.value(metadata i32* %addr.i, metadata [[var_a:![0-9]+]], metadata !DIExpression(DW_OP_deref)) -; CHECK-NEXT: call void @llvm.dbg.value(metadata i32* %addr.i, metadata [[var_a2:![0-9]+]], metadata !DIExpression(DW_OP_deref)) +; CHECK-NEXT: fence ; CHECK-NOT: load +; CHECK-NEXT: call void @llvm.dbg.value(metadata i32* %addr.i, metadata [[var_a2:![0-9]+]], metadata !DIExpression(DW_OP_deref)) ; CHECK: ret %a = load i32, i32* %addr.i, align 4 fence release |

