maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[InstSimplify] Add missing vector MUL tests to show lack of DemandedElts support

This commit is contained in:
Simon Pilgrim 2020-03-19 10:49:25 +00:00
parent 939ca455e7
commit d259e31a17
1 changed files with 44 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

47
llvm/test/Transforms/InstSimplify/compare.ll
View File

@ -795,33 +795,63 @@ define i1 @udiv8(i32 %X, i32 %Y) {
ret i1 %C ret i1 %C
} }
; Square of a non-zero number is non-zero if there is no overflow.
define i1 @mul1(i32 %X) { define i1 @mul1(i32 %X) {
; CHECK-LABEL: @mul1( ; CHECK-LABEL: @mul1(
; CHECK-NEXT: ret i1 false ; CHECK-NEXT: ret i1 false
; ;
; Square of a non-zero number is non-zero if there is no overflow.
%Y = or i32 %X, 1 %Y = or i32 %X, 1
%M = mul nuw i32 %Y, %Y %M = mul nuw i32 %Y, %Y
%C = icmp eq i32 %M, 0 %C = icmp eq i32 %M, 0
ret i1 %C ret i1 %C
} }
define i1 @mul1v(<2 x i32> %X) {
; CHECK-LABEL: @mul1v(
; CHECK-NEXT: [[Y:%.*]] = or <2 x i32> [[X:%.*]], <i32 1, i32 0>
; CHECK-NEXT: [[M:%.*]] = mul nuw <2 x i32> [[Y]], [[Y]]
; CHECK-NEXT: [[E:%.*]] = extractelement <2 x i32> [[M]], i32 0
; CHECK-NEXT: [[C:%.*]] = icmp eq i32 [[E]], 0
; CHECK-NEXT: ret i1 [[C]]
;
%Y = or <2 x i32> %X, <i32 1, i32 0>
%M = mul nuw <2 x i32> %Y, %Y
%E = extractelement <2 x i32> %M, i32 0
%C = icmp eq i32 %E, 0
ret i1 %C
}
; Square of a non-zero number is positive if there is no signed overflow.
define i1 @mul2(i32 %X) { define i1 @mul2(i32 %X) {
; CHECK-LABEL: @mul2( ; CHECK-LABEL: @mul2(
; CHECK-NEXT: ret i1 true ; CHECK-NEXT: ret i1 true
; ;
; Square of a non-zero number is positive if there is no signed overflow.
%Y = or i32 %X, 1 %Y = or i32 %X, 1
%M = mul nsw i32 %Y, %Y %M = mul nsw i32 %Y, %Y
%C = icmp sgt i32 %M, 0 %C = icmp sgt i32 %M, 0
ret i1 %C ret i1 %C
} }
define i1 @mul2v(<2 x i32> %X) {
; CHECK-LABEL: @mul2v(
; CHECK-NEXT: [[Y:%.*]] = or <2 x i32> [[X:%.*]], <i32 0, i32 1>
; CHECK-NEXT: [[M:%.*]] = mul nsw <2 x i32> [[Y]], [[Y]]
; CHECK-NEXT: [[E:%.*]] = extractelement <2 x i32> [[M]], i32 1
; CHECK-NEXT: [[C:%.*]] = icmp sgt i32 [[E]], 0
; CHECK-NEXT: ret i1 [[C]]
;
%Y = or <2 x i32> %X, <i32 0, i32 1>
%M = mul nsw <2 x i32> %Y, %Y
%E = extractelement <2 x i32> %M, i32 1
%C = icmp sgt i32 %E, 0
ret i1 %C
}
; Product of non-negative numbers is non-negative if there is no signed overflow.
define i1 @mul3(i32 %X, i32 %Y) { define i1 @mul3(i32 %X, i32 %Y) {
; CHECK-LABEL: @mul3( ; CHECK-LABEL: @mul3(
; CHECK-NEXT: ret i1 true ; CHECK-NEXT: ret i1 true
; ;
; Product of non-negative numbers is non-negative if there is no signed overflow.
%XX = mul nsw i32 %X, %X %XX = mul nsw i32 %X, %X
%YY = mul nsw i32 %Y, %Y %YY = mul nsw i32 %Y, %Y
%M = mul nsw i32 %XX, %YY %M = mul nsw i32 %XX, %YY
@ -829,6 +859,17 @@ define i1 @mul3(i32 %X, i32 %Y) {
ret i1 %C ret i1 %C
} }
define <2 x i1> @mul3v(<2 x i32> %X, <2 x i32> %Y) {
; CHECK-LABEL: @mul3v(
; CHECK-NEXT: ret <2 x i1> <i1 true, i1 true>
;
%XX = mul nsw <2 x i32> %X, %X
%YY = mul nsw <2 x i32> %Y, %Y
%M = mul nsw <2 x i32> %XX, %YY
%C = icmp sge <2 x i32> %M, zeroinitializer
ret <2 x i1> %C
}
define <2 x i1> @vectorselect1(<2 x i1> %cond) { define <2 x i1> @vectorselect1(<2 x i1> %cond) {
; CHECK-LABEL: @vectorselect1( ; CHECK-LABEL: @vectorselect1(
; CHECK-NEXT: ret <2 x i1> [[COND:%.*]] ; CHECK-NEXT: ret <2 x i1> [[COND:%.*]]