diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2019-02-20 15:40:58 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2019-02-20 15:40:58 +0000 |
| commit | 8d91faa48138e04910fc7ad0b4e139e3f82d4fd1 (patch) | |
| tree | 84eb82ef1ceb33564249e4ff63a75216740ddbc4 /llvm/test/Transforms/CodeGenPrepare | |
| parent | 1498a59d9b283ef54e403e13da369f669530cb88 (diff) | |
| download | bcm5719-llvm-8d91faa48138e04910fc7ad0b4e139e3f82d4fd1.tar.gz bcm5719-llvm-8d91faa48138e04910fc7ad0b4e139e3f82d4fd1.zip | |
[CGP][x86] add tests for usubo special-case; NFC
This is another example from PR31754:
https://bugs.llvm.org/show_bug.cgi?id=31754
llvm-svn: 354475
Diffstat (limited to 'llvm/test/Transforms/CodeGenPrepare')
| -rw-r--r-- | llvm/test/Transforms/CodeGenPrepare/X86/overflow-intrinsics.ll | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/llvm/test/Transforms/CodeGenPrepare/X86/overflow-intrinsics.ll b/llvm/test/Transforms/CodeGenPrepare/X86/overflow-intrinsics.ll index 4661106a89e..5107e833ecf 100644 --- a/llvm/test/Transforms/CodeGenPrepare/X86/overflow-intrinsics.ll +++ b/llvm/test/Transforms/CodeGenPrepare/X86/overflow-intrinsics.ll @@ -281,6 +281,21 @@ define i1 @usubo_eq_constant1_op1_i32(i32 %x, i32* %p) { ret i1 %ov } +; Special-case: subtract from 0 (negate) changes the compare predicate. + +define i1 @usubo_ne_constant0_op1_i32(i32 %x, i32* %p) { +; CHECK-LABEL: @usubo_ne_constant0_op1_i32( +; CHECK-NEXT: [[S:%.*]] = sub i32 0, [[X:%.*]] +; CHECK-NEXT: [[OV:%.*]] = icmp ne i32 [[X]], 0 +; CHECK-NEXT: store i32 [[S]], i32* [[P:%.*]] +; CHECK-NEXT: ret i1 [[OV]] +; + %s = sub i32 0, %x + %ov = icmp ne i32 %x, 0 + store i32 %s, i32* %p + ret i1 %ov +} + ; Verify insertion point for multi-BB. declare void @call(i1) |
