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
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
; RUN: opt -S -passes=argpromotion < %s | FileCheck %s
target datalayout = "e-p:64:64-p5:32:32-p6:128:128:128:128"
; Maximum alignment value of the load in a 64-bit address space
; exceeds the bitwidth of the definition address space.
define void @entry0() {
; CHECK-LABEL: define void @entry0() {
; CHECK-NEXT: bb:
; CHECK-NEXT: call void @call_load_maxalign_alloca_16()
; CHECK-NEXT: ret void
;
bb:
call void @call_load_maxalign_alloca_16()
ret void
}
define internal void @call_load_maxalign_alloca_16() {
; CHECK-LABEL: define internal void @call_load_maxalign_alloca_16() {
; CHECK-NEXT: bb:
; CHECK-NEXT: [[ALLOCA:%.*]] = alloca [13 x i16], align 16, addrspace(5)
; CHECK-NEXT: [[ADDRSPACECAST:%.*]] = addrspacecast ptr addrspace(5) [[ALLOCA]] to ptr
; CHECK-NEXT: call void @load_maxalign0(ptr [[ADDRSPACECAST]])
; CHECK-NEXT: ret void
;
bb:
%alloca = alloca [13 x i16], align 16, addrspace(5)
%addrspacecast = addrspacecast ptr addrspace(5) %alloca to ptr
call void @load_maxalign0(ptr %addrspacecast)
ret void
}
define internal void @load_maxalign0(ptr %arg) {
; CHECK-LABEL: define internal void @load_maxalign0
; CHECK-SAME: (ptr [[ARG:%.*]]) {
; CHECK-NEXT: bb:
; CHECK-NEXT: br label [[BB1:%.*]]
; CHECK: bb1:
; CHECK-NEXT: [[LOAD:%.*]] = load i32, ptr [[ARG]], align 4294967296
; CHECK-NEXT: ret void
;
bb:
br label %bb1
bb1: ; preds = %bb
%load = load i32, ptr %arg, align 4294967296
ret void
}
; Make sure the early exit alignment check isn't hiding the offset
; overflow.
define void @entry1() {
; CHECK-LABEL: define void @entry1() {
; CHECK-NEXT: bb:
; CHECK-NEXT: call void @call_load_maxalign_alloca_maxalign()
; CHECK-NEXT: ret void
;
bb:
call void @call_load_maxalign_alloca_maxalign()
ret void
}
define internal void @call_load_maxalign_alloca_maxalign() {
; CHECK-LABEL: define internal void @call_load_maxalign_alloca_maxalign() {
; CHECK-NEXT: bb:
; CHECK-NEXT: [[ALLOCA:%.*]] = alloca [13 x i16], align 4294967296, addrspace(5)
; CHECK-NEXT: [[ADDRSPACECAST:%.*]] = addrspacecast ptr addrspace(5) [[ALLOCA]] to ptr
; CHECK-NEXT: [[ADDRSPACECAST_VAL:%.*]] = load i32, ptr [[ADDRSPACECAST]], align 4294967296
; CHECK-NEXT: call void @load_maxalign1(i32 [[ADDRSPACECAST_VAL]])
; CHECK-NEXT: ret void
;
bb:
%alloca = alloca [13 x i16], align 4294967296, addrspace(5)
%addrspacecast = addrspacecast ptr addrspace(5) %alloca to ptr
call void @load_maxalign1(ptr %addrspacecast)
ret void
}
define internal void @load_maxalign1(ptr %arg) {
; CHECK-LABEL: define internal void @load_maxalign1
; CHECK-SAME: (i32 [[ARG_0_VAL:%.*]]) {
; CHECK-NEXT: bb:
; CHECK-NEXT: br label [[BB1:%.*]]
; CHECK: bb1:
; CHECK-NEXT: ret void
;
bb:
br label %bb1
bb1: ; preds = %bb
%load = load i32, ptr %arg, align 4294967296
ret void
}
; Alignment value exceeds pointer size, more than 1 past the end
define void @entry2() {
; CHECK-LABEL: define void @entry2() {
; CHECK-NEXT: bb:
; CHECK-NEXT: call void @call_load_maxalign_alloca_ptr128()
; CHECK-NEXT: ret void
;
bb:
call void @call_load_maxalign_alloca_ptr128()
ret void
}
define internal void @call_load_maxalign_alloca_ptr128() {
; CHECK-LABEL: define internal void @call_load_maxalign_alloca_ptr128() {
; CHECK-NEXT: bb:
; CHECK-NEXT: [[ALLOCA:%.*]] = alloca [13 x i16], align 4294967296, addrspace(6)
; CHECK-NEXT: [[ADDRSPACECAST:%.*]] = addrspacecast ptr addrspace(6) [[ALLOCA]] to ptr
; CHECK-NEXT: [[ADDRSPACECAST_VAL:%.*]] = load i32, ptr [[ADDRSPACECAST]], align 4294967296
; CHECK-NEXT: call void @load_maxalign2(i32 [[ADDRSPACECAST_VAL]])
; CHECK-NEXT: ret void
;
bb:
%alloca = alloca [13 x i16], align 4294967296, addrspace(6)
%addrspacecast = addrspacecast ptr addrspace(6) %alloca to ptr
call void @load_maxalign2(ptr %addrspacecast)
ret void
}
define internal void @load_maxalign2(ptr %arg) {
; CHECK-LABEL: define internal void @load_maxalign2
; CHECK-SAME: (i32 [[ARG_0_VAL:%.*]]) {
; CHECK-NEXT: bb:
; CHECK-NEXT: br label [[BB1:%.*]]
; CHECK: bb1:
; CHECK-NEXT: ret void
;
bb:
br label %bb1
bb1: ; preds = %bb
%load = load i32, ptr %arg, align 4294967296
ret void
}
|
