1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -passes=verify -S < %s 2>&1 | FileCheck %s 3 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 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 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> %val 22} 23 24define i64 @f_2(ptr addrspace(3) %ptr) { 25; CHECK-LABEL: @f_2( 26; CHECK-NEXT: [[VAL:%.*]] = ptrtoint ptr 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 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) %val 40} 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)> %val 49} 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) %val 58} 59 60define i64 @f_6(ptr addrspace(6) %ptr) { 61; CHECK-LABEL: @f_6( 62; CHECK-NEXT: [[VAL:%.*]] = ptrtoint ptr 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 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 42 77 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 42 93 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_0 103 104define ptr addrspace(4) @f_11() { 105; CHECK-LABEL: @f_11( 106; CHECK-NEXT: ret ptr addrspace(4) @cycle_1 107; 108 ret i64 addrspace(4)* addrspace(4)* @cycle_1 109} 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_self 116; 117 ret i64 addrspace(4)* @cycle_self 118} 119