1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
;=========================== begin_copyright_notice ============================
;
; Copyright (C) 2022-2025 Intel Corporation
;
; SPDX-License-Identifier: MIT
;
;============================ end_copyright_notice =============================
;
; RUN: igc_opt --typed-pointers --igc-addrspacecast-fix -S %s -o %t.ll
; RUN: FileCheck %s --input-file=%t.ll
; RUN: FileCheck %s --input-file=%t.ll --check-prefix=NOT-REMOVED
; ------------------------------------------------
; FixAddrSpaceCast
; ------------------------------------------------
; Test checks if in case that addrspace cast has multiple users, it is not removed
; during when lowering loads from phi nodes into incoming blocks.
; ------------------------------------------------
; CHECK-LABEL: cond.true3442:
; CHECK: [[T1:%.*]] = bitcast i8 addrspace(4)* %gep.res to i32 addrspace(4)*
; CHECK: [[T2:%.*]] = load i32, i32 addrspace(4)* [[T1]], align 4
; CHECK: br label %cond.end3465
; CHECK-LABEL: cond.false3459
; CHECK: [[T3:%.*]] = bitcast i8 addrspace(3)* %arrayidx3464 to i32 addrspace(3)*
; CHECK: [[T4:%.*]] = load i32, i32 addrspace(3)* [[T3]], align 4
; CHECK: br label %cond.end3465
; CHECK-LABEL: cond.end3465:
; CHECK: [[T5:%.*]] = phi i32 [ [[T2]], %cond.true3442 ], [ [[T4]], %cond.false3459 ]
; CHECK: icmp sgt i32 [[T5]], -1
; NOT-REMOVED-LABEL: cond.false3459
; NOT-REMOVED: addrspacecast
define i1 @testFn(i8 addrspace(3)* %arrayidx3464, i8 addrspace(1)* %globalArgs, i64 %idx.ext.i12415) #0 {
entry:
%test = icmp sgt i64 %idx.ext.i12415, -1
br i1 %test, label %cond.true3442, label %cond.false3459
cond.true3442:
%arrayidx3450 = getelementptr inbounds i8, i8 addrspace(1)* %globalArgs, i64 896
%tmp1 = bitcast i8 addrspace(1)* %arrayidx3450 to i8 addrspace(4)* addrspace(1)*
%tmp2 = load i8 addrspace(4)*, i8 addrspace(4)* addrspace(1)* %tmp1, align 16
%gep.res = getelementptr inbounds i8, i8 addrspace(4)* %tmp2, i64 %idx.ext.i12415
br label %cond.end3465
cond.false3459:
%addr.res = addrspacecast i8 addrspace(3)* %arrayidx3464 to i8 addrspace(4)*
store i8 0, i8 addrspace(4)* %addr.res, align 8
br label %cond.end3465
cond.end3465:
%cond3466.in = phi i8 addrspace(4)* [ %gep.res, %cond.true3442 ], [ %addr.res, %cond.false3459 ]
%cast1 = bitcast i8 addrspace(4)* %cond3466.in to i32 addrspace(4)*
%cond3466 = load i32, i32 addrspace(4)* %cast1, align 4
%test2 = icmp sgt i32 %cond3466, -1
br i1 %test2, label %while.cond3471.preheader.exitStub, label %if.end3568.exitStub
while.cond3471.preheader.exitStub:
ret i1 true
if.end3568.exitStub:
ret i1 false
}
attributes #0 = { noinline nounwind }
|
