RPCS3/llvm
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm.git synced 2025-04-02 21:31:41 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

[InstCombine] add tests for shl nsw with icmp eq/ne; NFCI

Browse Source 
These should be fixed with D28406.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@292441 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Sanjay Patel 2017-01-18 21:31:21 +00:00
parent 82823ef719
commit 4683557a5f
1 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
test/Transforms/InstCombine/icmp-shl-nsw.ll
View File

@ -354,3 +354,28 @@ define i1 @icmp_sle11(i8 %x) {
ret i1 %cmp
}
; Some of the earlier sgt/sle tests are transformed to eq/ne, but try a couple
; of those explicitly, so we know no intermediate transforms are necessary.
define i1 @icmp_eq1(i8 %x) {
; CHECK-LABEL: @icmp_eq1(
; CHECK-NEXT: [[SHL_MASK:%.*]] = and i8 %x, 127
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[SHL_MASK]], 6
; CHECK-NEXT: ret i1 [[CMP]]
;
%shl = shl nsw i8 %x, 1
%cmp = icmp eq i8 %shl, 12
ret i1 %cmp
}
define i1 @icmp_ne1(i8 %x) {
; CHECK-LABEL: @icmp_ne1(
; CHECK-NEXT: [[SHL_MASK:%.*]] = and i8 %x, 3
; CHECK-NEXT: [[CMP:%.*]] = icmp ne i8 [[SHL_MASK]], 2
; CHECK-NEXT: ret i1 [[CMP]]
;
%shl = shl nsw i8 %x, 6
%cmp = icmp ne i8 %shl, -128
ret i1 %cmp
}