diff options
Diffstat (limited to 'llvm/test/Transforms/InstCombine/unsigned-add-overflow-check.ll')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/unsigned-add-overflow-check.ll | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/llvm/test/Transforms/InstCombine/unsigned-add-overflow-check.ll b/llvm/test/Transforms/InstCombine/unsigned-add-overflow-check.ll index cbc7ee24890..d1ab9ae41d6 100644 --- a/llvm/test/Transforms/InstCombine/unsigned-add-overflow-check.ll +++ b/llvm/test/Transforms/InstCombine/unsigned-add-overflow-check.ll @@ -1,12 +1,12 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt %s -instcombine -S | FileCheck %s -; Fold +; Should fold ; (%x + %y) u< %x ; or ; (%x + %y) u< %y ; to -; @llvm.add.with.overflow(%x, %y) + extractvalue +; @llvm.uadd.with.overflow(%x, %y) + extractvalue define i1 @t0_basic(i8 %x, i8 %y) { ; CHECK-LABEL: @t0_basic( @@ -86,8 +86,8 @@ define i1 @t5_commutative(i8 %x) { declare void @use8(i8) -define i1 @t6_extrause0(i8 %x, i8 %y) { -; CHECK-LABEL: @t6_extrause0( +define i1 @t6_extrause(i8 %x, i8 %y) { +; CHECK-LABEL: @t6_extrause( ; CHECK-NEXT: [[T0:%.*]] = add i8 [[X:%.*]], [[Y:%.*]] ; CHECK-NEXT: call void @use8(i8 [[T0]]) ; CHECK-NEXT: [[R:%.*]] = icmp ult i8 [[T0]], [[Y]] |
