Skip to content

Commit 4420c57

Browse files
committed
[AMDGPU] Add a test case for #98063
Add a test case to demonstrate broken IR caused by #98063 "[AMDGPU] Do not use original PHIs in coercion chains" before it was reverted.
1 parent 1612e4a commit 4420c57

File tree

1 file changed

+55
-0
lines changed

1 file changed

+55
-0
lines changed

llvm/test/CodeGen/AMDGPU/amdgpu-late-codegenprepare.ll

Lines changed: 55 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -93,3 +93,58 @@ define amdgpu_kernel void @constant_from_inttoptr() {
9393
store i8 %load, ptr addrspace(1) undef
9494
ret void
9595
}
96+
97+
define void @broken_phi() {
98+
; GFX9-LABEL: @broken_phi(
99+
; GFX9-NEXT: bb:
100+
; GFX9-NEXT: br label [[BB1:%.*]]
101+
; GFX9: bb1:
102+
; GFX9-NEXT: [[I:%.*]] = phi <4 x i8> [ <i8 1, i8 1, i8 1, i8 1>, [[BB:%.*]] ], [ [[I8:%.*]], [[BB7:%.*]] ]
103+
; GFX9-NEXT: br i1 false, label [[BB3:%.*]], label [[BB2:%.*]]
104+
; GFX9: bb2:
105+
; GFX9-NEXT: br label [[BB3]]
106+
; GFX9: bb3:
107+
; GFX9-NEXT: [[I4:%.*]] = phi <4 x i8> [ zeroinitializer, [[BB2]] ], [ [[I]], [[BB1]] ]
108+
; GFX9-NEXT: br i1 false, label [[BB7]], label [[BB5:%.*]]
109+
; GFX9: bb5:
110+
; GFX9-NEXT: [[I6:%.*]] = call <4 x i8> @llvm.smax.v4i8(<4 x i8> [[I4]], <4 x i8> zeroinitializer)
111+
; GFX9-NEXT: br label [[BB7]]
112+
; GFX9: bb7:
113+
; GFX9-NEXT: [[I8]] = phi <4 x i8> [ zeroinitializer, [[BB5]] ], [ zeroinitializer, [[BB3]] ]
114+
; GFX9-NEXT: br label [[BB1]]
115+
;
116+
; GFX12-LABEL: @broken_phi(
117+
; GFX12-NEXT: bb:
118+
; GFX12-NEXT: br label [[BB1:%.*]]
119+
; GFX12: bb1:
120+
; GFX12-NEXT: [[I:%.*]] = phi <4 x i8> [ <i8 1, i8 1, i8 1, i8 1>, [[BB:%.*]] ], [ [[I8:%.*]], [[BB7:%.*]] ]
121+
; GFX12-NEXT: br i1 false, label [[BB3:%.*]], label [[BB2:%.*]]
122+
; GFX12: bb2:
123+
; GFX12-NEXT: br label [[BB3]]
124+
; GFX12: bb3:
125+
; GFX12-NEXT: [[I4:%.*]] = phi <4 x i8> [ zeroinitializer, [[BB2]] ], [ [[I]], [[BB1]] ]
126+
; GFX12-NEXT: br i1 false, label [[BB7]], label [[BB5:%.*]]
127+
; GFX12: bb5:
128+
; GFX12-NEXT: [[I6:%.*]] = call <4 x i8> @llvm.smax.v4i8(<4 x i8> [[I4]], <4 x i8> zeroinitializer)
129+
; GFX12-NEXT: br label [[BB7]]
130+
; GFX12: bb7:
131+
; GFX12-NEXT: [[I8]] = phi <4 x i8> [ zeroinitializer, [[BB5]] ], [ zeroinitializer, [[BB3]] ]
132+
; GFX12-NEXT: br label [[BB1]]
133+
;
134+
bb:
135+
br label %bb1
136+
bb1:
137+
%i = phi <4 x i8> [ <i8 1, i8 1, i8 1, i8 1>, %bb ], [ %i8, %bb7 ]
138+
br i1 false, label %bb3, label %bb2
139+
bb2:
140+
br label %bb3
141+
bb3:
142+
%i4 = phi <4 x i8> [ zeroinitializer, %bb2 ], [ %i, %bb1 ]
143+
br i1 false, label %bb7, label %bb5
144+
bb5:
145+
%i6 = call <4 x i8> @llvm.smax.v4i8(<4 x i8> %i4, <4 x i8> zeroinitializer)
146+
br label %bb7
147+
bb7:
148+
%i8 = phi <4 x i8> [ zeroinitializer, %bb5 ], [ zeroinitializer, %bb3 ]
149+
br label %bb1
150+
}

0 commit comments

Comments
 (0)