1; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s 2 3; CHECK: OpEntryPoint Kernel %[[#f1:]] "global_check" %[[#var0:]] %[[#var1:]] %[[#var2:]] %[[#var3:]] 4; CHECK: OpEntryPoint Kernel %[[#f2:]] "writer" %[[#var0:]] %[[#var1:]] %[[#var2:]] %[[#var3:]] 5; CHECK: OpEntryPoint Kernel %[[#f3:]] "reader" %[[#var0:]] %[[#var1:]] %[[#var2:]] %[[#var3:]] 6; CHECK-DAG: OpName %[[#var0]] 7; CHECK-DAG: OpName %[[#var1]] 8; CHECK-DAG: OpName %[[#var2]] 9; CHECK-DAG: OpName %[[#var3]] 10@var = addrspace(1) global <2 x i8> zeroinitializer, align 2 11@g_var = addrspace(1) global <2 x i8> zeroinitializer, align 2 12@a_var = addrspace(1) global [2 x <2 x i8>] zeroinitializer, align 2 13@p_var = addrspace(1) global <2 x i8> addrspace(1)* null, align 8 14 15define spir_func <2 x i8> @from_buf(<2 x i8> %a) { 16entry: 17 ret <2 x i8> %a 18} 19 20define spir_func <2 x i8> @to_buf(<2 x i8> %a) { 21entry: 22 ret <2 x i8> %a 23} 24 25define spir_kernel void @global_check(i32 addrspace(1)* %out) { 26entry: 27 %0 = load <2 x i8>, <2 x i8> addrspace(1)* @var, align 2 28 %cmp = icmp eq <2 x i8> %0, zeroinitializer 29 %sext = select <2 x i1> %cmp, <2 x i8> <i8 -1, i8 -1>, <2 x i8> zeroinitializer 30 %cast = icmp slt <2 x i8> %sext, zeroinitializer 31 %i1promo = zext <2 x i1> %cast to <2 x i8> 32 %call1 = call spir_func i1 @OpAll_v2i8(<2 x i8> %i1promo) 33 %call = select i1 %call1, i32 1, i32 0 34 %1 = and i8 1, 1 35 %tobool = icmp ne i8 %1, 0 36 %conv = select i1 %tobool, i32 1, i32 0 37 %and = and i32 %conv, %call 38 %tobool1 = icmp ne i32 %and, 0 39 %frombool = select i1 %tobool1, i8 1, i8 0 40 %2 = load <2 x i8>, <2 x i8> addrspace(1)* @g_var, align 2 41 %cmp2 = icmp eq <2 x i8> %2, zeroinitializer 42 %sext3 = select <2 x i1> %cmp2, <2 x i8> <i8 -1, i8 -1>, <2 x i8> zeroinitializer 43 %cast2 = icmp slt <2 x i8> %sext3, zeroinitializer 44 %i1promo1 = zext <2 x i1> %cast2 to <2 x i8> 45 %call43 = call spir_func i1 @OpAll_v2i8(<2 x i8> %i1promo1) 46 %call4 = select i1 %call43, i32 1, i32 0 47 %3 = and i8 %frombool, 1 48 %tobool5 = icmp ne i8 %3, 0 49 %conv6 = select i1 %tobool5, i32 1, i32 0 50 %and7 = and i32 %conv6, %call4 51 %tobool8 = icmp ne i32 %and7, 0 52 %frombool9 = select i1 %tobool8, i8 1, i8 0 53 %4 = getelementptr inbounds [2 x <2 x i8>], [2 x <2 x i8>] addrspace(1)* @a_var, i64 0, i64 0 54 %5 = load <2 x i8>, <2 x i8> addrspace(1)* %4, align 2 55 %cmp10 = icmp eq <2 x i8> %5, zeroinitializer 56 %sext11 = select <2 x i1> %cmp10, <2 x i8> <i8 -1, i8 -1>, <2 x i8> zeroinitializer 57 %cast4 = icmp slt <2 x i8> %sext11, zeroinitializer 58 %i1promo2 = zext <2 x i1> %cast4 to <2 x i8> 59 %call125 = call spir_func i1 @OpAll_v2i8(<2 x i8> %i1promo2) 60 %call12 = select i1 %call125, i32 1, i32 0 61 %6 = and i8 %frombool9, 1 62 %tobool13 = icmp ne i8 %6, 0 63 %conv14 = select i1 %tobool13, i32 1, i32 0 64 %and15 = and i32 %conv14, %call12 65 %tobool16 = icmp ne i32 %and15, 0 66 %frombool17 = select i1 %tobool16, i8 1, i8 0 67 %7 = getelementptr inbounds [2 x <2 x i8>], [2 x <2 x i8>] addrspace(1)* @a_var, i64 0, i64 1 68 %8 = load <2 x i8>, <2 x i8> addrspace(1)* %7, align 2 69 %cmp18 = icmp eq <2 x i8> %8, zeroinitializer 70 %sext19 = select <2 x i1> %cmp18, <2 x i8> <i8 -1, i8 -1>, <2 x i8> zeroinitializer 71 %cast6 = icmp slt <2 x i8> %sext19, zeroinitializer 72 %i1promo3 = zext <2 x i1> %cast6 to <2 x i8> 73 %call207 = call spir_func i1 @OpAll_v2i8(<2 x i8> %i1promo3) 74 %call20 = select i1 %call207, i32 1, i32 0 75 %9 = and i8 %frombool17, 1 76 %tobool21 = icmp ne i8 %9, 0 77 %conv22 = select i1 %tobool21, i32 1, i32 0 78 %and23 = and i32 %conv22, %call20 79 %tobool24 = icmp ne i32 %and23, 0 80 %frombool25 = select i1 %tobool24, i8 1, i8 0 81 %10 = load <2 x i8> addrspace(1)*, <2 x i8> addrspace(1)* addrspace(1)* @p_var, align 8 82 %11 = ptrtoint <2 x i8> addrspace(1)* %10 to i64 83 %12 = ptrtoint <2 x i8> addrspace(1)* null to i64 84 %cmp26 = icmp eq i64 %11, %12 85 %conv27 = select i1 %cmp26, i32 1, i32 0 86 %13 = and i8 %frombool25, 1 87 %tobool28 = icmp ne i8 %13, 0 88 %conv29 = select i1 %tobool28, i32 1, i32 0 89 %and30 = and i32 %conv29, %conv27 90 %tobool31 = icmp ne i32 %and30, 0 91 %frombool32 = select i1 %tobool31, i8 1, i8 0 92 %14 = and i8 %frombool32, 1 93 %tobool33 = icmp ne i8 %14, 0 94 %15 = select i1 %tobool33, i64 1, i64 0 95 %cond = select i1 %tobool33, i32 1, i32 0 96 store i32 %cond, i32 addrspace(1)* %out, align 4 97 ret void 98} 99 100declare spir_func i1 @OpAll_v2i8(<2 x i8>) 101 102define spir_kernel void @writer(<2 x i8> addrspace(1)* %src, i32 %idx) { 103entry: 104 %arrayidx = getelementptr inbounds <2 x i8>, <2 x i8> addrspace(1)* %src, i64 0 105 %0 = load <2 x i8>, <2 x i8> addrspace(1)* %arrayidx, align 2 106 %call = call spir_func <2 x i8> @from_buf(<2 x i8> %0) 107 store <2 x i8> %call, <2 x i8> addrspace(1)* @var, align 2 108 %arrayidx1 = getelementptr inbounds <2 x i8>, <2 x i8> addrspace(1)* %src, i64 1 109 %1 = load <2 x i8>, <2 x i8> addrspace(1)* %arrayidx1, align 2 110 %call2 = call spir_func <2 x i8> @from_buf(<2 x i8> %1) 111 store <2 x i8> %call2, <2 x i8> addrspace(1)* @g_var, align 2 112 %arrayidx3 = getelementptr inbounds <2 x i8>, <2 x i8> addrspace(1)* %src, i64 2 113 %2 = load <2 x i8>, <2 x i8> addrspace(1)* %arrayidx3, align 2 114 %call4 = call spir_func <2 x i8> @from_buf(<2 x i8> %2) 115 %3 = getelementptr inbounds [2 x <2 x i8>], [2 x <2 x i8>] addrspace(1)* @a_var, i64 0, i64 0 116 store <2 x i8> %call4, <2 x i8> addrspace(1)* %3, align 2 117 %arrayidx5 = getelementptr inbounds <2 x i8>, <2 x i8> addrspace(1)* %src, i64 3 118 %4 = load <2 x i8>, <2 x i8> addrspace(1)* %arrayidx5, align 2 119 %call6 = call spir_func <2 x i8> @from_buf(<2 x i8> %4) 120 %5 = getelementptr inbounds [2 x <2 x i8>], [2 x <2 x i8>] addrspace(1)* @a_var, i64 0, i64 1 121 store <2 x i8> %call6, <2 x i8> addrspace(1)* %5, align 2 122 %idx.ext = zext i32 %idx to i64 123 %add.ptr = getelementptr inbounds <2 x i8>, <2 x i8> addrspace(1)* %3, i64 %idx.ext 124 store <2 x i8> addrspace(1)* %add.ptr, <2 x i8> addrspace(1)* addrspace(1)* @p_var, align 8 125 ret void 126} 127 128define spir_kernel void @reader(<2 x i8> addrspace(1)* %dest, <2 x i8> %ptr_write_val) { 129entry: 130 %call = call spir_func <2 x i8> @from_buf(<2 x i8> %ptr_write_val) 131 %0 = load <2 x i8> addrspace(1)*, <2 x i8> addrspace(1)* addrspace(1)* @p_var, align 8 132 store <2 x i8> %call, <2 x i8> addrspace(1)* %0, align 2 133 %1 = load <2 x i8>, <2 x i8> addrspace(1)* @var, align 2 134 %call1 = call spir_func <2 x i8> @to_buf(<2 x i8> %1) 135 %arrayidx = getelementptr inbounds <2 x i8>, <2 x i8> addrspace(1)* %dest, i64 0 136 store <2 x i8> %call1, <2 x i8> addrspace(1)* %arrayidx, align 2 137 %2 = load <2 x i8>, <2 x i8> addrspace(1)* @g_var, align 2 138 %call2 = call spir_func <2 x i8> @to_buf(<2 x i8> %2) 139 %arrayidx3 = getelementptr inbounds <2 x i8>, <2 x i8> addrspace(1)* %dest, i64 1 140 store <2 x i8> %call2, <2 x i8> addrspace(1)* %arrayidx3, align 2 141 %3 = getelementptr inbounds [2 x <2 x i8>], [2 x <2 x i8>] addrspace(1)* @a_var, i64 0, i64 0 142 %4 = load <2 x i8>, <2 x i8> addrspace(1)* %3, align 2 143 %call4 = call spir_func <2 x i8> @to_buf(<2 x i8> %4) 144 %arrayidx5 = getelementptr inbounds <2 x i8>, <2 x i8> addrspace(1)* %dest, i64 2 145 store <2 x i8> %call4, <2 x i8> addrspace(1)* %arrayidx5, align 2 146 %5 = getelementptr inbounds [2 x <2 x i8>], [2 x <2 x i8>] addrspace(1)* @a_var, i64 0, i64 1 147 %6 = load <2 x i8>, <2 x i8> addrspace(1)* %5, align 2 148 %call6 = call spir_func <2 x i8> @to_buf(<2 x i8> %6) 149 %arrayidx7 = getelementptr inbounds <2 x i8>, <2 x i8> addrspace(1)* %dest, i64 3 150 store <2 x i8> %call6, <2 x i8> addrspace(1)* %arrayidx7, align 2 151 ret void 152} 153