diff options
Diffstat (limited to 'llvm/test/Transforms/InstCombine/overflow.ll')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/overflow.ll | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/llvm/test/Transforms/InstCombine/overflow.ll b/llvm/test/Transforms/InstCombine/overflow.ll index 81ceef8c41c..3eddc80a704 100644 --- a/llvm/test/Transforms/InstCombine/overflow.ll +++ b/llvm/test/Transforms/InstCombine/overflow.ll @@ -3,7 +3,7 @@ declare void @throwAnExceptionOrWhatever() -; CHECK: @test1 +; CHECK-LABEL: @test1( define i32 @test1(i32 %a, i32 %b) nounwind ssp { entry: ; CHECK-NOT: sext @@ -26,7 +26,7 @@ if.end: ret i32 %conv9 } -; CHECK: @test2 +; CHECK-LABEL: @test2( ; This form should not be promoted for two reasons: 1) it is unprofitable to ; promote it since the add.off instruction has another use, and 2) it is unsafe ; because the add-with-off makes the high bits of the original add live. @@ -76,7 +76,7 @@ if.end: ; CHECK: ret i64 } -; CHECK: @test4 +; CHECK-LABEL: @test4( ; Should be able to form an i8 sadd computed in an i32. define zeroext i8 @test4(i8 signext %a, i8 signext %b) nounwind ssp { entry: @@ -97,7 +97,7 @@ if.end: ; preds = %entry ; CHECK: ret i8 } -; CHECK: @test5 +; CHECK-LABEL: @test5( ; CHECK: llvm.uadd.with.overflow ; CHECK: ret i64 define i64 @test5(i64 %a, i64 %b) nounwind ssp { @@ -108,7 +108,7 @@ entry: ret i64 %Q } -; CHECK: @test6 +; CHECK-LABEL: @test6( ; CHECK: llvm.uadd.with.overflow ; CHECK: ret i64 define i64 @test6(i64 %a, i64 %b) nounwind ssp { @@ -119,7 +119,7 @@ entry: ret i64 %Q } -; CHECK: @test7 +; CHECK-LABEL: @test7( ; CHECK: llvm.uadd.with.overflow ; CHECK: ret i64 define i64 @test7(i64 %a, i64 %b) nounwind ssp { @@ -130,7 +130,7 @@ entry: ret i64 %Q } -; CHECK: @test8 +; CHECK-LABEL: @test8( ; PR11438 ; This is @test1, but the operands are not sign-extended. Make sure ; we don't transform this case. |
