1 // RUN: %clang_cc1 -triple spir64 -fsycl-is-device -disable-llvm-passes -emit-llvm %s -o - | FileCheck %s 2 3 // CHECK: @_ZZ4testvE3foo = internal addrspace(1) constant i32 66, align 4 4 // CHECK: @[[STR:[.a-zA-Z0-9_]+]] = private unnamed_addr addrspace(1) constant [14 x i8] c"Hello, world!\00", align 1 5 6 // CHECK-LABEL: @_Z4testv 7 void test() { 8 static const int foo = 0x42; 9 10 // CHECK: %i.ascast = addrspacecast i32* %i to i32 addrspace(4)* 11 // CHECK: %[[ARR:[a-zA-Z0-9]+]] = alloca [42 x i32] 12 // CHECK: %[[ARR]].ascast = addrspacecast [42 x i32]* %[[ARR]] to [42 x i32] addrspace(4)* 13 14 int i = 0; 15 int *pptr = &i; 16 // CHECK: store i32 addrspace(4)* %i.ascast, i32 addrspace(4)* addrspace(4)* %pptr.ascast 17 bool is_i_ptr = (pptr == &i); 18 // CHECK: %[[VALPPTR:[0-9]+]] = load i32 addrspace(4)*, i32 addrspace(4)* addrspace(4)* %pptr.ascast 19 // CHECK: %cmp{{[0-9]*}} = icmp eq i32 addrspace(4)* %[[VALPPTR]], %i.ascast 20 *pptr = foo; 21 22 int var23 = 23; 23 char *cp = (char *)&var23; 24 *cp = 41; 25 // CHECK: store i32 23, i32 addrspace(4)* %[[VAR:[a-zA-Z0-9.]+]] 26 // CHECK: [[VARCAST:%.*]] = bitcast i32 addrspace(4)* %[[VAR]] to i8 addrspace(4)* 27 // CHECK: store i8 addrspace(4)* [[VARCAST]], i8 addrspace(4)* addrspace(4)* %{{.*}} 28 29 int arr[42]; 30 char *cpp = (char *)arr; 31 *cpp = 43; 32 // CHECK: [[ARRDECAY:%.*]] = getelementptr inbounds [42 x i32], [42 x i32] addrspace(4)* %[[ARR]].ascast, i64 0, i64 0 33 // CHECK: [[ARRCAST:%.*]] = bitcast i32 addrspace(4)* [[ARRDECAY]] to i8 addrspace(4)* 34 // CHECK: store i8 addrspace(4)* [[ARRCAST]], i8 addrspace(4)* addrspace(4)* %{{.*}} 35 36 int *aptr = arr + 10; 37 if (aptr < arr + sizeof(arr)) 38 *aptr = 44; 39 // CHECK: %[[VALAPTR:.*]] = load i32 addrspace(4)*, i32 addrspace(4)* addrspace(4)* %aptr.ascast 40 // CHECK: %[[ARRDCY2:.*]] = getelementptr inbounds [42 x i32], [42 x i32] addrspace(4)* %[[ARR]].ascast, i64 0, i64 0 41 // CHECK: %[[ADDPTR:.*]] = getelementptr inbounds i32, i32 addrspace(4)* %[[ARRDCY2]], i64 168 42 // CHECK: %cmp{{[0-9]+}} = icmp ult i32 addrspace(4)* %[[VALAPTR]], %[[ADDPTR]] 43 44 const char *str = "Hello, world!"; 45 // CHECK: store i8 addrspace(4)* getelementptr inbounds ([14 x i8], [14 x i8] addrspace(4)* addrspacecast ([14 x i8] addrspace(1)* @[[STR]] to [14 x i8] addrspace(4)*), i64 0, i64 0), i8 addrspace(4)* addrspace(4)* %[[STRVAL:[a-zA-Z0-9]+]].ascast, align 8 46 47 i = str[0]; 48 49 const char *phi_str = i > 2 ? str : "Another hello world!"; 50 (void)phi_str; 51 // CHECK: %[[COND:[a-zA-Z0-9]+]] = icmp sgt i32 %{{.*}}, 2 52 // CHECK: br i1 %[[COND]], label %[[CONDTRUE:[.a-zA-Z0-9]+]], label %[[CONDFALSE:[.a-zA-Z0-9]+]] 53 54 // CHECK: [[CONDTRUE]]: 55 // CHECK-NEXT: %[[VALTRUE:[a-zA-Z0-9]+]] = load i8 addrspace(4)*, i8 addrspace(4)* addrspace(4)* %str.ascast 56 // CHECK-NEXT: br label %[[CONDEND:[.a-zA-Z0-9]+]] 57 58 // CHECK: [[CONDFALSE]]: 59 60 // CHECK: [[CONDEND]]: 61 // CHECK-NEXT: phi i8 addrspace(4)* [ %[[VALTRUE]], %[[CONDTRUE]] ], [ getelementptr inbounds ([21 x i8], [21 x i8] addrspace(4)* addrspacecast ([21 x i8] addrspace(1)* @{{.*}} to [21 x i8] addrspace(4)*), i64 0, i64 0), %[[CONDFALSE]] ] 62 63 const char *select_null = i > 2 ? "Yet another Hello world" : nullptr; 64 (void)select_null; 65 // CHECK: select i1 %{{.*}}, i8 addrspace(4)* getelementptr inbounds ([24 x i8], [24 x i8] addrspace(4)* addrspacecast ([24 x i8] addrspace(1)* @{{.*}} to [24 x i8] addrspace(4)*), i64 0, i64 0) 66 67 const char *select_str_trivial1 = true ? str : "Another hello world!"; 68 (void)select_str_trivial1; 69 // CHECK: %[[TRIVIALTRUE:[a-zA-Z0-9]+]] = load i8 addrspace(4)*, i8 addrspace(4)* addrspace(4)* %[[STRVAL]] 70 // CHECK: store i8 addrspace(4)* %[[TRIVIALTRUE]], i8 addrspace(4)* addrspace(4)* %{{.*}}, align 8 71 72 const char *select_str_trivial2 = false ? str : "Another hello world!"; 73 (void)select_str_trivial2; 74 } 75