119 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=verify -S < %s 2>&1 | FileCheck %s3 4target datalayout = "e-ni:4:6"5 6define i64 @f_0(ptr addrspace(4) %ptr) {7; CHECK-LABEL: @f_0(8; CHECK-NEXT: [[VAL:%.*]] = ptrtoint ptr addrspace(4) [[PTR:%.*]] to i649; CHECK-NEXT: ret i64 [[VAL]]10;11 %val = ptrtoint i8 addrspace(4)* %ptr to i6412 ret i64 %val13}14 15define <4 x i64> @f_1(<4 x ptr addrspace(4)> %ptr) {16; CHECK-LABEL: @f_1(17; CHECK-NEXT: [[VAL:%.*]] = ptrtoint <4 x ptr 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> %val22}23 24define i64 @f_2(ptr addrspace(3) %ptr) {25; CHECK-LABEL: @f_2(26; CHECK-NEXT: [[VAL:%.*]] = ptrtoint ptr addrspace(3) [[PTR:%.*]] to i6427; CHECK-NEXT: ret i64 [[VAL]]28;29 %val = ptrtoint i8 addrspace(3)* %ptr to i6430 ret i64 %val31}32 33define ptr addrspace(4) @f_3(i64 %integer) {34; CHECK-LABEL: @f_3(35; CHECK-NEXT: [[VAL:%.*]] = inttoptr i64 [[INTEGER:%.*]] to ptr addrspace(4)36; CHECK-NEXT: ret ptr addrspace(4) [[VAL]]37;38 %val = inttoptr i64 %integer to i8 addrspace(4)*39 ret ptr addrspace(4) %val40}41 42define <4 x ptr 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 ptr addrspace(4)>45; CHECK-NEXT: ret <4 x ptr addrspace(4)> [[VAL]]46;47 %val = inttoptr <4 x i64> %integer to <4 x i8 addrspace(4)*>48 ret <4 x ptr addrspace(4)> %val49}50 51define ptr addrspace(3) @f_5(i64 %integer) {52; CHECK-LABEL: @f_5(53; CHECK-NEXT: [[VAL:%.*]] = inttoptr i64 [[INTEGER:%.*]] to ptr addrspace(3)54; CHECK-NEXT: ret ptr addrspace(3) [[VAL]]55;56 %val = inttoptr i64 %integer to i8 addrspace(3)*57 ret ptr addrspace(3) %val58}59 60define i64 @f_6(ptr addrspace(6) %ptr) {61; CHECK-LABEL: @f_6(62; CHECK-NEXT: [[VAL:%.*]] = ptrtoint ptr addrspace(6) [[PTR:%.*]] to i6463; CHECK-NEXT: ret i64 [[VAL]]64;65 %val = ptrtoint i8 addrspace(6)* %ptr to i6466 ret i64 %val67}68 69define ptr addrspace(4) @f_7() {70; CHECK-LABEL: @f_7(71; CHECK-NEXT: ret ptr addrspace(4) inttoptr (i64 50 to ptr addrspace(4))72;73 ret i8 addrspace(4)* inttoptr (i64 50 to i8 addrspace(4)*)74}75 76@global0 = addrspace(4) constant i8 4277 78define i64 @f_8() {79; CHECK-LABEL: @f_8(80; CHECK-NEXT: ret i64 ptrtoint (ptr addrspace(4) @global0 to i64)81;82 ret i64 ptrtoint (i8 addrspace(4)* @global0 to i64)83}84 85define ptr addrspace(4) @f_9() {86; CHECK-LABEL: @f_9(87; CHECK-NEXT: ret ptr addrspace(4) getelementptr (i8, ptr addrspace(4) inttoptr (i64 55 to ptr 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 4293 94define ptr addrspace(4) @f_10() {95; CHECK-LABEL: @f_10(96; CHECK-NEXT: ret ptr addrspace(4) getelementptr (i8, ptr addrspace(4) @global0, i64 ptrtoint (ptr 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 (ptr addrspace(4) @cycle_1 to i64)102@cycle_1 = addrspace(4) constant ptr addrspace(4) @cycle_0103 104define ptr addrspace(4) @f_11() {105; CHECK-LABEL: @f_11(106; CHECK-NEXT: ret ptr addrspace(4) @cycle_1107;108 ret i64 addrspace(4)* addrspace(4)* @cycle_1109}110 111@cycle_self = addrspace(4) constant i64 ptrtoint (ptr addrspace(4) @cycle_self to i64)112 113define ptr addrspace(4) @f_12() {114; CHECK-LABEL: @f_12(115; CHECK-NEXT: ret ptr addrspace(4) @cycle_self116;117 ret i64 addrspace(4)* @cycle_self118}119