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
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
; RUN: opt -S -mtriple=amdgcn-amd-amdhsa -passes=infer-address-spaces %s | FileCheck %s
define i1 @is_constant_global_to_flat(ptr addrspace(1) %ptr) {
; CHECK-LABEL: define i1 @is_constant_global_to_flat(
; CHECK-SAME: ptr addrspace(1) [[PTR:%.*]]) {
; CHECK-NEXT: [[RET:%.*]] = call i1 @llvm.is.constant.p1(ptr addrspace(1) [[PTR]])
; CHECK-NEXT: ret i1 [[RET]]
;
%cast = addrspacecast ptr addrspace(1) %ptr to ptr
%ret = call i1 @llvm.is.constant.p0(ptr %cast)
ret i1 %ret
}
define i1 @is_constant_local_to_flat(ptr addrspace(3) %ptr) {
; CHECK-LABEL: define i1 @is_constant_local_to_flat(
; CHECK-SAME: ptr addrspace(3) [[PTR:%.*]]) {
; CHECK-NEXT: [[RET:%.*]] = call i1 @llvm.is.constant.p3(ptr addrspace(3) [[PTR]])
; CHECK-NEXT: ret i1 [[RET]]
;
%cast = addrspacecast ptr addrspace(3) %ptr to ptr
%ret = call i1 @llvm.is.constant.p0(ptr %cast)
ret i1 %ret
}
define i1 @is_constant_private_to_flat(ptr addrspace(5) %ptr) {
; CHECK-LABEL: define i1 @is_constant_private_to_flat(
; CHECK-SAME: ptr addrspace(5) [[PTR:%.*]]) {
; CHECK-NEXT: [[RET:%.*]] = call i1 @llvm.is.constant.p5(ptr addrspace(5) [[PTR]])
; CHECK-NEXT: ret i1 [[RET]]
;
%cast = addrspacecast ptr addrspace(5) %ptr to ptr
%ret = call i1 @llvm.is.constant.p0(ptr %cast)
ret i1 %ret
}
define i1 @is_constant_private_to_flat_v2(<2 x ptr addrspace(5)> %ptr) {
; CHECK-LABEL: define i1 @is_constant_private_to_flat_v2(
; CHECK-SAME: <2 x ptr addrspace(5)> [[PTR:%.*]]) {
; CHECK-NEXT: [[RET:%.*]] = call i1 @llvm.is.constant.v2p5(<2 x ptr addrspace(5)> [[PTR]])
; CHECK-NEXT: ret i1 [[RET]]
;
%cast = addrspacecast <2 x ptr addrspace(5)> %ptr to <2 x ptr>
%ret = call i1 @llvm.is.constant.v2p0(<2 x ptr> %cast)
ret i1 %ret
}
define i1 @is_constant_i32(i32 %val) {
; CHECK-LABEL: define i1 @is_constant_i32(
; CHECK-SAME: i32 [[VAL:%.*]]) {
; CHECK-NEXT: [[RET:%.*]] = call i1 @llvm.is.constant.i32(i32 [[VAL]])
; CHECK-NEXT: ret i1 [[RET]]
;
%ret = call i1 @llvm.is.constant.i32(i32 %val)
ret i1 %ret
}
|
