diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2019-08-01 15:32:10 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2019-08-01 15:32:10 +0000 |
| commit | 350b389c90baa1ab9bfae21f0799bc8db8074b8d (patch) | |
| tree | ee8ddc8a647e576530e20e60afcff207bf00283f | |
| parent | 01dcdcdd92ef25681719a852e639abdd7babae19 (diff) | |
| download | bcm5719-llvm-350b389c90baa1ab9bfae21f0799bc8db8074b8d.tar.gz bcm5719-llvm-350b389c90baa1ab9bfae21f0799bc8db8074b8d.zip | |
[InstCombine] add test with swapped select operands; NFC
More coverage for the proposal in D65576.
llvm-svn: 367577
| -rw-r--r-- | llvm/test/Transforms/InstCombine/select.ll | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/select.ll b/llvm/test/Transforms/InstCombine/select.ll index 97203768213..d73fdeb6643 100644 --- a/llvm/test/Transforms/InstCombine/select.ll +++ b/llvm/test/Transforms/InstCombine/select.ll @@ -1329,6 +1329,19 @@ define i32 @PR23757(i32 %x) { ret i32 %sel } +define i32 @PR23757_swapped(i32 %x) { +; CHECK-LABEL: @PR23757_swapped( +; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[X:%.*]], 2147483647 +; CHECK-NEXT: [[ADD:%.*]] = add nsw i32 [[X]], 1 +; CHECK-NEXT: [[SEL:%.*]] = select i1 [[CMP]], i32 [[ADD]], i32 -2147483648 +; CHECK-NEXT: ret i32 [[SEL]] +; + %cmp = icmp eq i32 %x, 2147483647 + %add = add nsw i32 %x, 1 + %sel = select i1 %cmp, i32 %add, i32 -2147483648 + ret i32 %sel +} + ; max(max(~a, -1), -1) --> ~min(a, 0) define i32 @PR27137(i32 %a) { |
