1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -verify -S < %s 2>&1 | FileCheck %s
3
4target datalayout = "e-ni:4:6"
5
6define i64 @f_0(i8 addrspace(4)* %ptr) {
7; CHECK-LABEL: @f_0(
8; CHECK-NEXT:    [[VAL:%.*]] = ptrtoint i8 addrspace(4)* [[PTR:%.*]] to i64
9; CHECK-NEXT:    ret i64 [[VAL]]
10;
11  %val = ptrtoint i8 addrspace(4)* %ptr to i64
12  ret i64 %val
13}
14
15define <4 x i64> @f_1(<4 x i8 addrspace(4)*> %ptr) {
16; CHECK-LABEL: @f_1(
17; CHECK-NEXT:    [[VAL:%.*]] = ptrtoint <4 x i8 addrspace(4)*> [[PTR:%.*]] to <4 x i64>
18; CHECK-NEXT:    ret <4 x i64> [[VAL]]
19;
20  %val = ptrtoint <4 x i8 addrspace(4)*> %ptr to <4 x i64>
21  ret <4 x i64> %val
22}
23
24define i64 @f_2(i8 addrspace(3)* %ptr) {
25; CHECK-LABEL: @f_2(
26; CHECK-NEXT:    [[VAL:%.*]] = ptrtoint i8 addrspace(3)* [[PTR:%.*]] to i64
27; CHECK-NEXT:    ret i64 [[VAL]]
28;
29  %val = ptrtoint i8 addrspace(3)* %ptr to i64
30  ret i64 %val
31}
32
33define i8 addrspace(4)* @f_3(i64 %integer) {
34; CHECK-LABEL: @f_3(
35; CHECK-NEXT:    [[VAL:%.*]] = inttoptr i64 [[INTEGER:%.*]] to i8 addrspace(4)*
36; CHECK-NEXT:    ret i8 addrspace(4)* [[VAL]]
37;
38  %val = inttoptr i64 %integer to i8 addrspace(4)*
39  ret i8 addrspace(4)* %val
40}
41
42define <4 x i8 addrspace(4)*> @f_4(<4 x i64> %integer) {
43; CHECK-LABEL: @f_4(
44; CHECK-NEXT:    [[VAL:%.*]] = inttoptr <4 x i64> [[INTEGER:%.*]] to <4 x i8 addrspace(4)*>
45; CHECK-NEXT:    ret <4 x i8 addrspace(4)*> [[VAL]]
46;
47  %val = inttoptr <4 x i64> %integer to <4 x i8 addrspace(4)*>
48  ret <4 x i8 addrspace(4)*> %val
49}
50
51define i8 addrspace(3)* @f_5(i64 %integer) {
52; CHECK-LABEL: @f_5(
53; CHECK-NEXT:    [[VAL:%.*]] = inttoptr i64 [[INTEGER:%.*]] to i8 addrspace(3)*
54; CHECK-NEXT:    ret i8 addrspace(3)* [[VAL]]
55;
56  %val = inttoptr i64 %integer to i8 addrspace(3)*
57  ret i8 addrspace(3)* %val
58}
59
60define i64 @f_6(i8 addrspace(6)* %ptr) {
61; CHECK-LABEL: @f_6(
62; CHECK-NEXT:    [[VAL:%.*]] = ptrtoint i8 addrspace(6)* [[PTR:%.*]] to i64
63; CHECK-NEXT:    ret i64 [[VAL]]
64;
65  %val = ptrtoint i8 addrspace(6)* %ptr to i64
66  ret i64 %val
67}
68
69define i8 addrspace(4)* @f_7() {
70; CHECK-LABEL: @f_7(
71; CHECK-NEXT:    ret i8 addrspace(4)* inttoptr (i64 50 to i8 addrspace(4)*)
72;
73  ret i8 addrspace(4)* inttoptr (i64 50 to i8 addrspace(4)*)
74}
75
76@global0 = addrspace(4) constant i8 42
77
78define i64 @f_8() {
79; CHECK-LABEL: @f_8(
80; CHECK-NEXT:    ret i64 ptrtoint (i8 addrspace(4)* @global0 to i64)
81;
82  ret i64 ptrtoint (i8 addrspace(4)* @global0 to i64)
83}
84
85define i8 addrspace(4)* @f_9() {
86; CHECK-LABEL: @f_9(
87; CHECK-NEXT:    ret i8 addrspace(4)* getelementptr (i8, i8 addrspace(4)* inttoptr (i64 55 to i8 addrspace(4)*), i32 100)
88;
89  ret i8 addrspace(4)* getelementptr (i8, i8 addrspace(4)* inttoptr (i64 55 to i8 addrspace(4)*), i32 100)
90}
91
92@global1 = addrspace(4) constant i8 42
93
94define i8 addrspace(4)* @f_10() {
95; CHECK-LABEL: @f_10(
96; CHECK-NEXT:    ret i8 addrspace(4)* getelementptr (i8, i8 addrspace(4)* @global0, i64 ptrtoint (i8 addrspace(4)* @global1 to i64))
97;
98  ret i8 addrspace(4)* getelementptr (i8, i8 addrspace(4)* @global0, i64 ptrtoint (i8 addrspace(4)* @global1 to i64))
99}
100
101@cycle_0 = addrspace(4) constant i64 ptrtoint (i64 addrspace(4)* addrspace(4)* @cycle_1 to i64)
102@cycle_1 = addrspace(4) constant i64 addrspace(4) * @cycle_0
103
104define i64 addrspace(4)* addrspace(4)* @f_11() {
105; CHECK-LABEL: @f_11(
106; CHECK-NEXT:    ret i64 addrspace(4)* addrspace(4)* @cycle_1
107;
108  ret i64 addrspace(4)* addrspace(4)* @cycle_1
109}
110
111@cycle_self = addrspace(4) constant i64 ptrtoint (i64 addrspace(4)* @cycle_self to i64)
112
113define i64 addrspace(4)* @f_12() {
114; CHECK-LABEL: @f_12(
115; CHECK-NEXT:    ret i64 addrspace(4)* @cycle_self
116;
117  ret i64 addrspace(4)* @cycle_self
118}
119