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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -newgvn < %s | FileCheck %s
define i32 addrspace(1)* @addrspacecast(i32* %ptr) {
; CHECK-LABEL: @addrspacecast(
; CHECK-NEXT: block1:
; CHECK-NEXT: [[Z1:%.*]] = addrspacecast i32* [[PTR:%.*]] to i32 addrspace(1)*
; CHECK-NEXT: br label [[BLOCK2:%.*]]
; CHECK: block2:
; CHECK-NEXT: store i32 addrspace(1)* [[Z1]], i32 addrspace(1)** undef
; CHECK-NEXT: ret i32 addrspace(1)* [[Z1]]
;
block1:
%z1 = addrspacecast i32* %ptr to i32 addrspace(1)*
br label %block2
block2:
%z2 = addrspacecast i32* %ptr to i32 addrspace(1)*
store i32 addrspace(1)* %z1, i32 addrspace(1)** undef
ret i32 addrspace(1)* %z2
}
; Make sure casts with the same source value but different result
; address spaces aren't incorrectly merged.
define i32 addrspace(1)* @addrspacecast_different_result_types(i32* %ptr) {
; CHECK-LABEL: @addrspacecast_different_result_types(
; CHECK-NEXT: block1:
; CHECK-NEXT: [[Z1:%.*]] = addrspacecast i32* [[PTR:%.*]] to i32 addrspace(2)*
; CHECK-NEXT: br label [[BLOCK2:%.*]]
; CHECK: block2:
; CHECK-NEXT: [[Z2:%.*]] = addrspacecast i32* [[PTR]] to i32 addrspace(1)*
; CHECK-NEXT: store i32 addrspace(2)* [[Z1]], i32 addrspace(2)** undef
; CHECK-NEXT: ret i32 addrspace(1)* [[Z2]]
;
block1:
%z1 = addrspacecast i32* %ptr to i32 addrspace(2)*
br label %block2
block2:
%z2 = addrspacecast i32* %ptr to i32 addrspace(1)*
store i32 addrspace(2)* %z1, i32 addrspace(2)** undef
ret i32 addrspace(1)* %z2
}
define i32 addrspace(1)* @addrspacecast_simplify(i32 addrspace(1)* %ptr) {
; CHECK-LABEL: @addrspacecast_simplify(
; CHECK-NEXT: block1:
; CHECK-NEXT: [[CAST0:%.*]] = addrspacecast i32 addrspace(1)* [[PTR:%.*]] to i32*
; CHECK-NEXT: br label [[BLOCK2:%.*]]
; CHECK: block2:
; CHECK-NEXT: store i32 addrspace(1)* [[PTR]], i32 addrspace(1)** undef
; CHECK-NEXT: ret i32 addrspace(1)* [[PTR]]
;
block1:
%cast0 = addrspacecast i32 addrspace(1)* %ptr to i32*
%z1 = addrspacecast i32* %cast0 to i32 addrspace(1)*
br label %block2
block2:
%z2 = addrspacecast i32* %cast0 to i32 addrspace(1)*
store i32 addrspace(1)* %z1, i32 addrspace(1)** undef
ret i32 addrspace(1)* %z2
}
@h = common local_unnamed_addr global i32* null, align 4
define i32 addrspace(1)* @addrspacecast_constant() {
; CHECK-LABEL: @addrspacecast_constant(
; CHECK-NEXT: block1:
; CHECK-NEXT: store i32* undef, i32** @h, align 4
; CHECK-NEXT: br label [[BLOCK2:%.*]]
; CHECK: block2:
; CHECK-NEXT: store i32 addrspace(1)* undef, i32 addrspace(1)** undef
; CHECK-NEXT: ret i32 addrspace(1)* undef
;
block1:
store i32* undef, i32** @h, align 4
%ptr = load i32*, i32** @h, align 4
%z1 = addrspacecast i32* %ptr to i32 addrspace(1)*
br label %block2
block2:
%z2 = addrspacecast i32* %ptr to i32 addrspace(1)*
store i32 addrspace(1)* %z1, i32 addrspace(1)** undef
ret i32 addrspace(1)* %z2
}
define i32 addrspace(1)* @addrspacecast_leader(i32** %arg.ptr) {
; CHECK-LABEL: @addrspacecast_leader(
; CHECK-NEXT: block1:
; CHECK-NEXT: [[LOAD0:%.*]] = load i32*, i32** [[ARG_PTR:%.*]]
; CHECK-NEXT: [[Z1:%.*]] = addrspacecast i32* [[LOAD0]] to i32 addrspace(1)*
; CHECK-NEXT: br label [[BLOCK2:%.*]]
; CHECK: block2:
; CHECK-NEXT: store i32 addrspace(1)* [[Z1]], i32 addrspace(1)** undef
; CHECK-NEXT: ret i32 addrspace(1)* [[Z1]]
;
block1:
%load0 = load i32*, i32** %arg.ptr
%z1 = addrspacecast i32* %load0 to i32 addrspace(1)*
br label %block2
block2:
%load1 = load i32*, i32** %arg.ptr
%z2 = addrspacecast i32* %load1 to i32 addrspace(1)*
store i32 addrspace(1)* %z1, i32 addrspace(1)** undef
ret i32 addrspace(1)* %z2
}
|