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

[InstCombine] Add tests for select(freeze(undef)); NFC

This commit is contained in:
Juneyoung Lee 2020-07-29 15:26:55 +09:00
parent 2ead4fca79
commit 1ae766e3e0
1 changed files with 39 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

39
llvm/test/Transforms/InstCombine/select.ll
View File

@ -2487,3 +2487,42 @@ define <2 x i32> @true_undef_vec(i1 %cond, <2 x i32> %x) {
%s = select i1 %cond, <2 x i32> undef, <2 x i32> %x
ret <2 x i32> %s
}
define i8 @cond_freeze(i8 %x, i8 %y) {
; CHECK-LABEL: @cond_freeze(
; CHECK-NEXT: [[COND_FR:%.*]] = freeze i1 undef
; CHECK-NEXT: [[S:%.*]] = select i1 [[COND_FR]], i8 [[X:%.*]], i8 [[Y:%.*]]
; CHECK-NEXT: ret i8 [[S]]
;
%cond.fr = freeze i1 undef
%s = select i1 %cond.fr, i8 %x, i8 %y
ret i8 %s
}
define i8 @cond_freeze2(i8 %x, i8 %y) {
; CHECK-LABEL: @cond_freeze2(
; CHECK-NEXT: [[COND_FR:%.*]] = freeze i1 undef
; CHECK-NEXT: [[S:%.*]] = select i1 [[COND_FR]], i8 [[X:%.*]], i8 1
; CHECK-NEXT: ret i8 [[S]]
;
%cond.fr = freeze i1 undef
%s = select i1 %cond.fr, i8 %x, i8 1
ret i8 %s
}
declare void @foo2(i8, i8)
define void @cond_freeze_multipleuses(i8 %x, i8 %y) {
; CHECK-LABEL: @cond_freeze_multipleuses(
; CHECK-NEXT: [[COND_FR:%.*]] = freeze i1 undef
; CHECK-NEXT: [[S:%.*]] = select i1 [[COND_FR]], i8 [[X:%.*]], i8 [[Y:%.*]]
; CHECK-NEXT: [[S2:%.*]] = select i1 [[COND_FR]], i8 [[Y]], i8 [[X]]
; CHECK-NEXT: call void @foo2(i8 [[S]], i8 [[S2]])
; CHECK-NEXT: ret void
;
%cond.fr = freeze i1 undef
%s = select i1 %cond.fr, i8 %x, i8 %y
%s2 = select i1 %cond.fr, i8 %y, i8 %x
call void @foo2(i8 %s, i8 %s2)
ret void
}