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

[InstCombine][Test] Test for fix of replacing select with Phis when branch has the same labels 

An additional test that allows to check the correctness of handling the case of the same
branch labels in the dominator when trying to replace select with phi-node.

Patch By: Kirill Polushin
Differential Revision: https://reviews.llvm.org/D84006
Reviewed By: mkazantsev
This commit is contained in:
Max Kazantsev 2020-07-17 16:59:19 +07:00
parent bb160e769d
commit df6e185e8f
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2000,6 +2000,21 @@ merge:
ret i32 %s
}
define i32 @select_dominating_cond_same_labels(i1 %cond) {
; CHECK-LABEL: @select_dominating_cond_same_labels(
; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 false, label [[EXIT:%.*]], label [[EXIT]]
; CHECK: exit:
; CHECK-NEXT: [[RESULT:%.*]] = select i1 [[COND:%.*]], i32 123, i32 456
; CHECK-NEXT: ret i32 [[RESULT]]
;
entry:
%result = select i1 %cond, i32 123, i32 456
br i1 %cond, label %exit, label %exit
exit:
ret i32 %result
}
define i32 @select_phi_same_condition(i1 %cond, i32 %x, i32 %y, i32 %z) {
; CHECK-LABEL: @select_phi_same_condition(
; CHECK-NEXT: entry: