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 | 4631d6d3f73ab14dc0d9dcd6cd6dd7280eb46255 (patch) | |
| tree | 3a65f9ecfa513ec52ad58b664e11c9c4c4f95b5b /test/Transforms | |
| parent | 91a466c9cc3423d73a9577ebe491f0fb3f2a221c (diff) | |
[EarlyCSE] add tests for swapped abs/nabs; NFC
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@320647 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms')
| -rw-r--r-- | test/Transforms/EarlyCSE/commute.ll | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/test/Transforms/EarlyCSE/commute.ll b/test/Transforms/EarlyCSE/commute.ll index 3adee77ec3d..1cd82b1d509 100644 --- a/test/Transforms/EarlyCSE/commute.ll +++ b/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 +} + |