shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity
llvm-project/llvm/test/Transforms/DFAJumpThreading/equivalent-states.ll
Mingjie Xu fac9472593
[IR] Reland Optimize PHINode::removeIncomingValue() and PHINode::removeIncomingValueIf() to use the swapping strategy. (#174274) 
Reland #171963, #172639 and #173444, they are reverted in
86b9f90b9574b3a7d15d28a91f6316459dcfa046 because of introducing
non-determinism in compiles.
The non-determinism has been fixed in
9b8addffa70cee5b2acc5454712d9cf78ce45710.
2026-01-04 09:24:53 +08:00

282 lines
8.8 KiB
LLVM
Raw Blame History

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 3
; RUN: opt -S -passes=dfa-jump-threading -verify-dom-info=1 %s | FileCheck %s
declare void @do_something()
declare void @user(i32)
define void @equivalent_on_default(i1 %c1) {
; CHECK-LABEL: define void @equivalent_on_default(
; CHECK-SAME: i1 [[C1:%.*]]) {
; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[SWITCH_BB:%.*]]
; CHECK: switch_bb:
; CHECK-NEXT: [[PHI:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ poison, [[CASE2END:%.*]] ]
; CHECK-NEXT: switch i32 [[PHI]], label [[DEFAULT_DEST:%.*]] [
; CHECK-NEXT: i32 0, label [[CASE1:%.*]]
; CHECK-NEXT: i32 1, label [[CASE2:%.*]]
; CHECK-NEXT: ]
; CHECK: switch_bb.jt2:
; CHECK-NEXT: [[PHI_JT2:%.*]] = phi i32 [ [[PHI_CASE2_JT2:%.*]], [[CASE2END_JT2:%.*]] ]
; CHECK-NEXT: br label [[DEFAULT_DEST]]
; CHECK: switch_bb.jt1:
; CHECK-NEXT: [[PHI_JT1:%.*]] = phi i32 [ 1, [[CASE1]] ]
; CHECK-NEXT: br label [[CASE2]]
; CHECK: case1:
; CHECK-NEXT: br label [[SWITCH_BB_JT1:%.*]]
; CHECK: case2:
; CHECK-NEXT: br i1 [[C1]], label [[CASE2THEN:%.*]], label [[CASE2END_JT2]]
; CHECK: case2then:
; CHECK-NEXT: br label [[CASE2END_JT2]]
; CHECK: case2end:
; CHECK-NEXT: call void @do_something()
; CHECK-NEXT: br label [[SWITCH_BB]]
; CHECK: case2end.jt2:
; CHECK-NEXT: [[PHI_CASE2_JT2]] = phi i32 [ 2, [[CASE2]] ], [ 3, [[CASE2THEN]] ]
; CHECK-NEXT: call void @do_something()
; CHECK-NEXT: br label [[SWITCH_BB_JT2:%.*]]
; CHECK: default_dest:
; CHECK-NEXT: ret void
;
entry:
br label %switch_bb
switch_bb:
%phi = phi i32 [ 0, %entry ], [ 1, %case1 ], [ %phi_case2, %case2end ]
switch i32 %phi, label %default_dest [
i32 0, label %case1
i32 1, label %case2
]
case1:
br label %switch_bb
case2:
br i1 %c1, label %case2then, label %case2end
case2then:
br label %case2end
case2end:
%phi_case2 = phi i32 [ 2, %case2 ] , [ 3, %case2then ]
call void @do_something()
br label %switch_bb
default_dest:
ret void
}
define void @equivalent_on_default_user(i1 %c1) {
; CHECK-LABEL: define void @equivalent_on_default_user(
; CHECK-SAME: i1 [[C1:%.*]]) {
; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[SWITCH_BB:%.*]]
; CHECK: switch_bb:
; CHECK-NEXT: [[PHI:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ poison, [[CASE2END:%.*]] ]
; CHECK-NEXT: switch i32 [[PHI]], label [[DEFAULT_DEST:%.*]] [
; CHECK-NEXT: i32 0, label [[CASE1:%.*]]
; CHECK-NEXT: i32 1, label [[CASE2:%.*]]
; CHECK-NEXT: ]
; CHECK: switch_bb.jt2:
; CHECK-NEXT: [[PHI_JT2:%.*]] = phi i32 [ [[PHI_CASE2_JT2:%.*]], [[CASE2END_JT2:%.*]] ]
; CHECK-NEXT: br label [[DEFAULT_DEST]]
; CHECK: switch_bb.jt1:
; CHECK-NEXT: [[PHI_JT1:%.*]] = phi i32 [ 1, [[CASE1]] ]
; CHECK-NEXT: br label [[CASE2]]
; CHECK: case1:
; CHECK-NEXT: br label [[SWITCH_BB_JT1:%.*]]
; CHECK: case2:
; CHECK-NEXT: br i1 [[C1]], label [[CASE2THEN:%.*]], label [[CASE2END_JT2]]
; CHECK: case2then:
; CHECK-NEXT: br label [[CASE2END_JT2]]
; CHECK: case2end:
; CHECK-NEXT: call void @do_something()
; CHECK-NEXT: call void @user(i32 poison)
; CHECK-NEXT: br label [[SWITCH_BB]]
; CHECK: case2end.jt2:
; CHECK-NEXT: [[PHI_CASE2_JT2]] = phi i32 [ 2, [[CASE2]] ], [ 3, [[CASE2THEN]] ]
; CHECK-NEXT: call void @do_something()
; CHECK-NEXT: call void @user(i32 [[PHI_CASE2_JT2]])
; CHECK-NEXT: br label [[SWITCH_BB_JT2:%.*]]
; CHECK: default_dest:
; CHECK-NEXT: ret void
;
entry:
br label %switch_bb
switch_bb:
%phi = phi i32 [ 0, %entry ], [ 1, %case1 ], [ %phi_case2, %case2end ]
switch i32 %phi, label %default_dest [
i32 0, label %case1
i32 1, label %case2
]
case1:
br label %switch_bb
case2:
br i1 %c1, label %case2then, label %case2end
case2then:
br label %case2end
case2end:
%phi_case2 = phi i32 [ 2, %case2 ] , [ 3, %case2then ]
call void @do_something()
call void @user(i32 %phi_case2)
br label %switch_bb
default_dest:
ret void
}
define void @equivalent_only_cases(i1 %c1) {
; CHECK-LABEL: define void @equivalent_only_cases(
; CHECK-SAME: i1 [[C1:%.*]]) {
; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[SWITCH_BB:%.*]]
; CHECK: switch_bb:
; CHECK-NEXT: [[PHI:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ poison, [[CASE2END:%.*]] ]
; CHECK-NEXT: switch i32 [[PHI]], label [[DEFAULT_DEST:%.*]] [
; CHECK-NEXT: i32 0, label [[CASE1:%.*]]
; CHECK-NEXT: i32 1, label [[CASE2:%.*]]
; CHECK-NEXT: i32 2, label [[CASE1]]
; CHECK-NEXT: i32 3, label [[CASE1]]
; CHECK-NEXT: ]
; CHECK: switch_bb.jt2:
; CHECK-NEXT: [[PHI_JT2:%.*]] = phi i32 [ [[PHI_CASE2_JT2:%.*]], [[CASE2END_JT2:%.*]] ]
; CHECK-NEXT: br label [[CASE1]]
; CHECK: switch_bb.jt1:
; CHECK-NEXT: [[PHI_JT1:%.*]] = phi i32 [ 1, [[CASE1]] ]
; CHECK-NEXT: br label [[CASE2]]
; CHECK: case1:
; CHECK-NEXT: call void @do_something()
; CHECK-NEXT: br label [[SWITCH_BB_JT1:%.*]]
; CHECK: case2:
; CHECK-NEXT: br i1 [[C1]], label [[CASE2THEN:%.*]], label [[CASE2END_JT2]]
; CHECK: case2then:
; CHECK-NEXT: br label [[CASE2END_JT2]]
; CHECK: case2end:
; CHECK-NEXT: call void @do_something()
; CHECK-NEXT: br label [[SWITCH_BB]]
; CHECK: case2end.jt2:
; CHECK-NEXT: [[PHI_CASE2_JT2]] = phi i32 [ 2, [[CASE2]] ], [ 3, [[CASE2THEN]] ]
; CHECK-NEXT: call void @do_something()
; CHECK-NEXT: br label [[SWITCH_BB_JT2:%.*]]
; CHECK: default_dest:
; CHECK-NEXT: ret void
;
entry:
br label %switch_bb
switch_bb:
%phi = phi i32 [ 0, %entry ], [ 1, %case1 ], [ %phi_case2, %case2end ]
switch i32 %phi, label %default_dest [
i32 0, label %case1
i32 1, label %case2
i32 2, label %case1
i32 3, label %case1
]
case1:
call void @do_something()
br label %switch_bb
case2:
br i1 %c1, label %case2then, label %case2end
case2then:
br label %case2end
case2end:
%phi_case2 = phi i32 [ 2, %case2 ] , [ 3, %case2then ]
call void @do_something()
br label %switch_bb
default_dest:
ret void
}
define void @equivalent_both_case_and_default(i1 %c1, i1 %c2) {
; CHECK-LABEL: define void @equivalent_both_case_and_default(
; CHECK-SAME: i1 [[C1:%.*]], i1 [[C2:%.*]]) {
; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[SWITCH_BB:%.*]]
; CHECK: switch_bb:
; CHECK-NEXT: [[PHI:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ poison, [[CASE2END:%.*]] ]
; CHECK-NEXT: switch i32 [[PHI]], label [[DEFAULT_DEST:%.*]] [
; CHECK-NEXT: i32 0, label [[CASE1:%.*]]
; CHECK-NEXT: i32 1, label [[CASE2:%.*]]
; CHECK-NEXT: i32 2, label [[CASE1]]
; CHECK-NEXT: i32 3, label [[CASE1]]
; CHECK-NEXT: ]
; CHECK: switch_bb.jt4:
; CHECK-NEXT: [[PHI_JT3:%.*]] = phi i32 [ [[PHI_CASE2_JT3:%.*]], [[CASE2END_JT3:%.*]] ]
; CHECK-NEXT: br label [[DEFAULT_DEST]]
; CHECK: switch_bb.jt2:
; CHECK-NEXT: [[PHI_JT2:%.*]] = phi i32 [ [[PHI_CASE2_JT2:%.*]], [[CASE2END_JT2:%.*]] ]
; CHECK-NEXT: br label [[CASE1]]
; CHECK: switch_bb.jt1:
; CHECK-NEXT: [[PHI_JT1:%.*]] = phi i32 [ 1, [[CASE1]] ]
; CHECK-NEXT: br label [[CASE2]]
; CHECK: case1:
; CHECK-NEXT: call void @do_something()
; CHECK-NEXT: br label [[SWITCH_BB_JT1:%.*]]
; CHECK: case2:
; CHECK-NEXT: br i1 [[C1]], label [[CASE2THEN:%.*]], label [[CASE2END_JT2]]
; CHECK: case2then:
; CHECK-NEXT: br i1 [[C2]], label [[CASE2THEN2:%.*]], label [[CASE2END_JT2]]
; CHECK: case2then2:
; CHECK-NEXT: br i1 [[C2]], label [[CASE2THEN3:%.*]], label [[CASE2END_JT3]]
; CHECK: case2then3:
; CHECK-NEXT: br label [[CASE2END_JT3]]
; CHECK: case2end:
; CHECK-NEXT: call void @do_something()
; CHECK-NEXT: br label [[SWITCH_BB]]
; CHECK: case2end.jt4:
; CHECK-NEXT: [[PHI_CASE2_JT3]] = phi i32 [ 5, [[CASE2THEN3]] ], [ 4, [[CASE2THEN2]] ]
; CHECK-NEXT: call void @do_something()
; CHECK-NEXT: br label [[SWITCH_BB_JT3:%.*]]
; CHECK: case2end.jt2:
; CHECK-NEXT: [[PHI_CASE2_JT2]] = phi i32 [ 2, [[CASE2]] ], [ 3, [[CASE2THEN]] ]
; CHECK-NEXT: call void @do_something()
; CHECK-NEXT: br label [[SWITCH_BB_JT2:%.*]]
; CHECK: default_dest:
; CHECK-NEXT: ret void
;
entry:
br label %switch_bb
switch_bb:
%phi = phi i32 [ 0, %entry ], [ 1, %case1 ], [ %phi_case2, %case2end ]
switch i32 %phi, label %default_dest [
i32 0, label %case1
i32 1, label %case2
i32 2, label %case1
i32 3, label %case1
]
case1:
call void @do_something()
br label %switch_bb
case2:
br i1 %c1, label %case2then, label %case2end
case2then:
br i1 %c2, label %case2then2, label %case2end
case2then2:
br i1 %c2, label %case2then3, label %case2end
case2then3:
br label %case2end
case2end:
%phi_case2 = phi i32 [ 2, %case2 ], [ 3, %case2then ], [ 4, %case2then2 ], [ 5, %case2then3 ]
call void @do_something()
br label %switch_bb
default_dest:
ret void
}
Reference in New Issue View Git Blame Copy Permalink