diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2017-12-13 22:19:40 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2017-12-13 22:19:40 +0000 |
| commit | 37373dd512b7f8d037ea05294c328040c066f302 (patch) | |
| tree | ed72a5195e9eca79d22250f67e4ed24cbe7f495e /llvm/test | |
| parent | 886b2f868d74b77cc146fd81765ad38c52407b8d (diff) | |
| download | bcm5719-llvm-37373dd512b7f8d037ea05294c328040c066f302.tar.gz bcm5719-llvm-37373dd512b7f8d037ea05294c328040c066f302.zip | |
[EarlyCSE] add tests for swapped abs/nabs; NFC
llvm-svn: 320647
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/EarlyCSE/commute.ll | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/llvm/test/Transforms/EarlyCSE/commute.ll b/llvm/test/Transforms/EarlyCSE/commute.ll index 3adee77ec3d..1cd82b1d509 100644 --- a/llvm/test/Transforms/EarlyCSE/commute.ll +++ b/llvm/test/Transforms/EarlyCSE/commute.ll @@ -218,3 +218,41 @@ define i8 @smax_nsw(i8 %a, i8 %b) { ret i8 %r } +define i8 @abs_swapped(i8 %a) { +; CHECK-LABEL: @abs_swapped( +; CHECK-NEXT: [[NEG:%.*]] = sub i8 0, %a +; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i8 %a, 0 +; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i8 %a, 0 +; CHECK-NEXT: [[M1:%.*]] = select i1 [[CMP1]], i8 %a, i8 [[NEG]] +; CHECK-NEXT: [[M2:%.*]] = select i1 [[CMP2]], i8 [[NEG]], i8 %a +; CHECK-NEXT: [[R:%.*]] = or i8 [[M2]], [[M1]] +; CHECK-NEXT: ret i8 [[R]] +; + %neg = sub i8 0, %a + %cmp1 = icmp sgt i8 %a, 0 + %cmp2 = icmp slt i8 %a, 0 + %m1 = select i1 %cmp1, i8 %a, i8 %neg + %m2 = select i1 %cmp2, i8 %neg, i8 %a + %r = or i8 %m2, %m1 + ret i8 %r +} + +define i8 @nabs_swapped(i8 %a) { +; CHECK-LABEL: @nabs_swapped( +; CHECK-NEXT: [[NEG:%.*]] = sub i8 0, %a +; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 %a, 0 +; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i8 %a, 0 +; CHECK-NEXT: [[M1:%.*]] = select i1 [[CMP1]], i8 %a, i8 [[NEG]] +; CHECK-NEXT: [[M2:%.*]] = select i1 [[CMP2]], i8 [[NEG]], i8 %a +; CHECK-NEXT: [[R:%.*]] = xor i8 [[M2]], [[M1]] +; CHECK-NEXT: ret i8 [[R]] +; + %neg = sub i8 0, %a + %cmp1 = icmp slt i8 %a, 0 + %cmp2 = icmp sgt i8 %a, 0 + %m1 = select i1 %cmp1, i8 %a, i8 %neg + %m2 = select i1 %cmp2, i8 %neg, i8 %a + %r = xor i8 %m2, %m1 + ret i8 %r +} + |
