1; RUN: opt -instcombine -S < %s | FileCheck %s 2 3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128-ni:4" 4target triple = "x86_64-unknown-linux-gnu" 5 6define i8 addrspace(4)* @f_0() { 7; CHECK-LABEL: @f_0( 8; CHECK: ret i8 addrspace(4)* getelementptr (i8, i8 addrspace(4)* null, i64 50) 9 %result = getelementptr i8, i8 addrspace(4)* null, i64 50 10 ret i8 addrspace(4)* %result 11} 12 13define i8 addrspace(3)* @f_1() { 14; inttoptr is fine here since addrspace(3) is integral. 15 16; CHECK-LABEL: @f_1( 17; CHECK: ret i8 addrspace(3)* inttoptr (i64 50 to i8 addrspace(3)*) 18 %result = getelementptr i8, i8 addrspace(3)* null, i64 50 19 ret i8 addrspace(3)* %result 20} 21 22define void @f_2(i8 addrspace(4)** %ptr0, i8 addrspace(4)** %ptr1) { 23; It is not okay to convert the load/store pair to load and store 24; integers, since pointers in address space 4 are non-integral. 25 26; CHECK-LABEL: @f_2( 27entry: 28; CHECK: %val = load i8 addrspace(4)*, i8 addrspace(4)** %ptr0, align 8 29; CHECK: store i8 addrspace(4)* %val, i8 addrspace(4)** %ptr1, align 8 30; CHECK-NOT: load i64 31; CHECK-NOT: store i64 32 %val = load i8 addrspace(4)*, i8 addrspace(4)** %ptr0 33 store i8 addrspace(4)* %val, i8 addrspace(4)** %ptr1 34 ret void 35} 36 37define void @f_3(i8 addrspace(3)** %ptr0, i8 addrspace(3)** %ptr1) { 38; It *is* okay to convert the load/store pair to load and store 39; integers, since pointers in address space 3 are integral. 40 41; CHECK-LABEL: @f_3( 42entry: 43; CHECK: load i64 44; CHECK: store i64 45 %val = load i8 addrspace(3)*, i8 addrspace(3)** %ptr0 46 store i8 addrspace(3)* %val, i8 addrspace(3)** %ptr1 47 ret void 48} 49 50define i64 @g(i8 addrspace(4)** %gp) { 51 ; CHECK-LABEL: @g( 52 ; CHECK: load 53 %.pre = load i8 addrspace(4)*, i8 addrspace(4)** %gp, align 8 54 %v74 = call i8 addrspace(4)* @alloc() 55 %v75 = addrspacecast i8 addrspace(4)* %v74 to i8* 56 %v76 = bitcast i8* %v75 to i8 addrspace(4)** 57 %v77 = getelementptr i8 addrspace(4)*, i8 addrspace(4)** %v76, i64 -1 58 ; CHECK: store 59 store i8 addrspace(4)* %.pre, i8 addrspace(4)** %v77, align 8 60 %v80 = bitcast i8 addrspace(4)** %v77 to i64* 61 ; CHECK: load 62 ; CHECK-NOT: ptrtoint 63 %v81 = load i64, i64* %v80, align 8 64 ret i64 %v81 65} 66 67define i64 @g2(i8* addrspace(4)* %gp) { 68 ; CHECK-LABEL: @g2( 69 ; CHECK: load 70 %.pre = load i8*, i8* addrspace(4)* %gp, align 8 71 %v74 = call i8 addrspace(4)* @alloc() 72 %v76 = bitcast i8 addrspace(4)* %v74 to i8* addrspace(4)* 73 %v77 = getelementptr i8*, i8* addrspace(4)* %v76, i64 -1 74 ; CHECK: store 75 store i8* %.pre, i8* addrspace(4)* %v77, align 8 76 %v80 = bitcast i8* addrspace(4)* %v77 to i64 addrspace(4)* 77 ; CHECK-NOT: store 78 %v81 = load i64, i64 addrspace(4)* %v80, align 8 79 ret i64 %v81 80} 81 82declare i8 addrspace(4)* @alloc() 83 84define i64 @f_4(i8 addrspace(4)* %v0) { 85 ; CHECK-LABEL: @f_4( 86 ; CHECK-NOT: ptrtoint 87 %v5 = bitcast i64 (i64)* @f_5 to i64 (i8 addrspace(4)*)* 88 %v6 = call i64 %v5(i8 addrspace(4)* %v0) 89 ret i64 %v6 90} 91 92declare i64 @f_5(i64) 93