diff options
| author | Roman Lebedev <lebedev.ri@gmail.com> | 2019-09-05 19:13:15 +0000 |
|---|---|---|
| committer | Roman Lebedev <lebedev.ri@gmail.com> | 2019-09-05 19:13:15 +0000 |
| commit | 071ce66729b15ca9c46c01bf8e3c6273d269ef49 (patch) | |
| tree | 7c098e49850a70c20cce0a76261aec82d719d0f7 /llvm/test/Transforms/InstCombine/unsigned-add-overflow-check.ll | |
| parent | 0fde412140ddbf8153a02e4d153c44398e441134 (diff) | |
| download | bcm5719-llvm-071ce66729b15ca9c46c01bf8e3c6273d269ef49.tar.gz bcm5719-llvm-071ce66729b15ca9c46c01bf8e3c6273d269ef49.zip | |
[NFC][InstCombine] Overhaul 'unsigned add overflow' tests, ensure that all 3 patterns have full test coverage
llvm-svn: 371108
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]] |
