RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-22 04:22:57 +02:00
Code Issues Projects Releases Wiki Activity

[InstCombine] add tests for icmp predicate canonicalization with vector types; NFC

Browse Source 
Increase coverage for D69519.
This commit is contained in:
Sanjay Patel 2019-10-29 09:39:46 -04:00
parent 7c46b2bf6e
commit 84493c356e
1 changed files with 14 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
test/Transforms/InstCombine/icmp-vec.ll
View File

@ -179,13 +179,22 @@ define <2 x i1> @PR27756_1(<2 x i8> %a) {
; Undef elements don't prevent the transform of the comparison.
define <2 x i1> @PR27756_2(<2 x i8> %a) {
define <3 x i1> @PR27756_2(<3 x i8> %a) {
; CHECK-LABEL: @PR27756_2(
; CHECK-NEXT: [[CMP:%.*]] = icmp slt <2 x i8> [[A:%.*]], <i8 undef, i8 1>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
; CHECK-NEXT: [[CMP:%.*]] = icmp slt <3 x i8> [[A:%.*]], <i8 43, i8 undef, i8 1>
; CHECK-NEXT: ret <3 x i1> [[CMP]]
;
%cmp = icmp sle <2 x i8> %a, <i8 undef, i8 0>
ret <2 x i1> %cmp
%cmp = icmp sle <3 x i8> %a, <i8 42, i8 undef, i8 0>
ret <3 x i1> %cmp
}
define <3 x i1> @PR27756_3(<3 x i8> %a) {
; CHECK-LABEL: @PR27756_3(
; CHECK-NEXT: [[CMP:%.*]] = icmp sgt <3 x i8> [[A:%.*]], <i8 undef, i8 0, i8 41>
; CHECK-NEXT: ret <3 x i1> [[CMP]]
;
%cmp = icmp sge <3 x i8> %a, <i8 undef, i8 1, i8 42>
ret <3 x i1> %cmp
}
@someglobal = global i32 0