| ; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s |
| |
| ; CHECK: OpEntryPoint Kernel %[[#f1:]] "global_check" %[[#var0:]] %[[#var1:]] %[[#var2:]] %[[#var3:]] |
| ; CHECK: OpEntryPoint Kernel %[[#f2:]] "writer" %[[#var0:]] %[[#var1:]] %[[#var2:]] %[[#var3:]] |
| ; CHECK: OpEntryPoint Kernel %[[#f3:]] "reader" %[[#var0:]] %[[#var1:]] %[[#var2:]] %[[#var3:]] |
| ; CHECK-DAG: OpName %[[#var0]] |
| ; CHECK-DAG: OpName %[[#var1]] |
| ; CHECK-DAG: OpName %[[#var2]] |
| ; CHECK-DAG: OpName %[[#var3]] |
| @var = addrspace(1) global <2 x i8> zeroinitializer, align 2 |
| @g_var = addrspace(1) global <2 x i8> zeroinitializer, align 2 |
| @a_var = addrspace(1) global [2 x <2 x i8>] zeroinitializer, align 2 |
| @p_var = addrspace(1) global <2 x i8> addrspace(1)* null, align 8 |
| |
| define spir_func <2 x i8> @from_buf(<2 x i8> %a) { |
| entry: |
| ret <2 x i8> %a |
| } |
| |
| define spir_func <2 x i8> @to_buf(<2 x i8> %a) { |
| entry: |
| ret <2 x i8> %a |
| } |
| |
| define spir_kernel void @global_check(i32 addrspace(1)* %out) { |
| entry: |
| %0 = load <2 x i8>, <2 x i8> addrspace(1)* @var, align 2 |
| %cmp = icmp eq <2 x i8> %0, zeroinitializer |
| %sext = select <2 x i1> %cmp, <2 x i8> <i8 -1, i8 -1>, <2 x i8> zeroinitializer |
| %cast = icmp slt <2 x i8> %sext, zeroinitializer |
| %i1promo = zext <2 x i1> %cast to <2 x i8> |
| %call1 = call spir_func i1 @OpAll_v2i8(<2 x i8> %i1promo) |
| %call = select i1 %call1, i32 1, i32 0 |
| %1 = and i8 1, 1 |
| %tobool = icmp ne i8 %1, 0 |
| %conv = select i1 %tobool, i32 1, i32 0 |
| %and = and i32 %conv, %call |
| %tobool1 = icmp ne i32 %and, 0 |
| %frombool = select i1 %tobool1, i8 1, i8 0 |
| %2 = load <2 x i8>, <2 x i8> addrspace(1)* @g_var, align 2 |
| %cmp2 = icmp eq <2 x i8> %2, zeroinitializer |
| %sext3 = select <2 x i1> %cmp2, <2 x i8> <i8 -1, i8 -1>, <2 x i8> zeroinitializer |
| %cast2 = icmp slt <2 x i8> %sext3, zeroinitializer |
| %i1promo1 = zext <2 x i1> %cast2 to <2 x i8> |
| %call43 = call spir_func i1 @OpAll_v2i8(<2 x i8> %i1promo1) |
| %call4 = select i1 %call43, i32 1, i32 0 |
| %3 = and i8 %frombool, 1 |
| %tobool5 = icmp ne i8 %3, 0 |
| %conv6 = select i1 %tobool5, i32 1, i32 0 |
| %and7 = and i32 %conv6, %call4 |
| %tobool8 = icmp ne i32 %and7, 0 |
| %frombool9 = select i1 %tobool8, i8 1, i8 0 |
| %4 = getelementptr inbounds [2 x <2 x i8>], [2 x <2 x i8>] addrspace(1)* @a_var, i64 0, i64 0 |
| %5 = load <2 x i8>, <2 x i8> addrspace(1)* %4, align 2 |
| %cmp10 = icmp eq <2 x i8> %5, zeroinitializer |
| %sext11 = select <2 x i1> %cmp10, <2 x i8> <i8 -1, i8 -1>, <2 x i8> zeroinitializer |
| %cast4 = icmp slt <2 x i8> %sext11, zeroinitializer |
| %i1promo2 = zext <2 x i1> %cast4 to <2 x i8> |
| %call125 = call spir_func i1 @OpAll_v2i8(<2 x i8> %i1promo2) |
| %call12 = select i1 %call125, i32 1, i32 0 |
| %6 = and i8 %frombool9, 1 |
| %tobool13 = icmp ne i8 %6, 0 |
| %conv14 = select i1 %tobool13, i32 1, i32 0 |
| %and15 = and i32 %conv14, %call12 |
| %tobool16 = icmp ne i32 %and15, 0 |
| %frombool17 = select i1 %tobool16, i8 1, i8 0 |
| %7 = getelementptr inbounds [2 x <2 x i8>], [2 x <2 x i8>] addrspace(1)* @a_var, i64 0, i64 1 |
| %8 = load <2 x i8>, <2 x i8> addrspace(1)* %7, align 2 |
| %cmp18 = icmp eq <2 x i8> %8, zeroinitializer |
| %sext19 = select <2 x i1> %cmp18, <2 x i8> <i8 -1, i8 -1>, <2 x i8> zeroinitializer |
| %cast6 = icmp slt <2 x i8> %sext19, zeroinitializer |
| %i1promo3 = zext <2 x i1> %cast6 to <2 x i8> |
| %call207 = call spir_func i1 @OpAll_v2i8(<2 x i8> %i1promo3) |
| %call20 = select i1 %call207, i32 1, i32 0 |
| %9 = and i8 %frombool17, 1 |
| %tobool21 = icmp ne i8 %9, 0 |
| %conv22 = select i1 %tobool21, i32 1, i32 0 |
| %and23 = and i32 %conv22, %call20 |
| %tobool24 = icmp ne i32 %and23, 0 |
| %frombool25 = select i1 %tobool24, i8 1, i8 0 |
| %10 = load <2 x i8> addrspace(1)*, <2 x i8> addrspace(1)* addrspace(1)* @p_var, align 8 |
| %11 = ptrtoint <2 x i8> addrspace(1)* %10 to i64 |
| %12 = ptrtoint <2 x i8> addrspace(1)* null to i64 |
| %cmp26 = icmp eq i64 %11, %12 |
| %conv27 = select i1 %cmp26, i32 1, i32 0 |
| %13 = and i8 %frombool25, 1 |
| %tobool28 = icmp ne i8 %13, 0 |
| %conv29 = select i1 %tobool28, i32 1, i32 0 |
| %and30 = and i32 %conv29, %conv27 |
| %tobool31 = icmp ne i32 %and30, 0 |
| %frombool32 = select i1 %tobool31, i8 1, i8 0 |
| %14 = and i8 %frombool32, 1 |
| %tobool33 = icmp ne i8 %14, 0 |
| %15 = select i1 %tobool33, i64 1, i64 0 |
| %cond = select i1 %tobool33, i32 1, i32 0 |
| store i32 %cond, i32 addrspace(1)* %out, align 4 |
| ret void |
| } |
| |
| declare spir_func i1 @OpAll_v2i8(<2 x i8>) |
| |
| define spir_kernel void @writer(<2 x i8> addrspace(1)* %src, i32 %idx) { |
| entry: |
| %arrayidx = getelementptr inbounds <2 x i8>, <2 x i8> addrspace(1)* %src, i64 0 |
| %0 = load <2 x i8>, <2 x i8> addrspace(1)* %arrayidx, align 2 |
| %call = call spir_func <2 x i8> @from_buf(<2 x i8> %0) |
| store <2 x i8> %call, <2 x i8> addrspace(1)* @var, align 2 |
| %arrayidx1 = getelementptr inbounds <2 x i8>, <2 x i8> addrspace(1)* %src, i64 1 |
| %1 = load <2 x i8>, <2 x i8> addrspace(1)* %arrayidx1, align 2 |
| %call2 = call spir_func <2 x i8> @from_buf(<2 x i8> %1) |
| store <2 x i8> %call2, <2 x i8> addrspace(1)* @g_var, align 2 |
| %arrayidx3 = getelementptr inbounds <2 x i8>, <2 x i8> addrspace(1)* %src, i64 2 |
| %2 = load <2 x i8>, <2 x i8> addrspace(1)* %arrayidx3, align 2 |
| %call4 = call spir_func <2 x i8> @from_buf(<2 x i8> %2) |
| %3 = getelementptr inbounds [2 x <2 x i8>], [2 x <2 x i8>] addrspace(1)* @a_var, i64 0, i64 0 |
| store <2 x i8> %call4, <2 x i8> addrspace(1)* %3, align 2 |
| %arrayidx5 = getelementptr inbounds <2 x i8>, <2 x i8> addrspace(1)* %src, i64 3 |
| %4 = load <2 x i8>, <2 x i8> addrspace(1)* %arrayidx5, align 2 |
| %call6 = call spir_func <2 x i8> @from_buf(<2 x i8> %4) |
| %5 = getelementptr inbounds [2 x <2 x i8>], [2 x <2 x i8>] addrspace(1)* @a_var, i64 0, i64 1 |
| store <2 x i8> %call6, <2 x i8> addrspace(1)* %5, align 2 |
| %idx.ext = zext i32 %idx to i64 |
| %add.ptr = getelementptr inbounds <2 x i8>, <2 x i8> addrspace(1)* %3, i64 %idx.ext |
| store <2 x i8> addrspace(1)* %add.ptr, <2 x i8> addrspace(1)* addrspace(1)* @p_var, align 8 |
| ret void |
| } |
| |
| define spir_kernel void @reader(<2 x i8> addrspace(1)* %dest, <2 x i8> %ptr_write_val) { |
| entry: |
| %call = call spir_func <2 x i8> @from_buf(<2 x i8> %ptr_write_val) |
| %0 = load <2 x i8> addrspace(1)*, <2 x i8> addrspace(1)* addrspace(1)* @p_var, align 8 |
| store <2 x i8> %call, <2 x i8> addrspace(1)* %0, align 2 |
| %1 = load <2 x i8>, <2 x i8> addrspace(1)* @var, align 2 |
| %call1 = call spir_func <2 x i8> @to_buf(<2 x i8> %1) |
| %arrayidx = getelementptr inbounds <2 x i8>, <2 x i8> addrspace(1)* %dest, i64 0 |
| store <2 x i8> %call1, <2 x i8> addrspace(1)* %arrayidx, align 2 |
| %2 = load <2 x i8>, <2 x i8> addrspace(1)* @g_var, align 2 |
| %call2 = call spir_func <2 x i8> @to_buf(<2 x i8> %2) |
| %arrayidx3 = getelementptr inbounds <2 x i8>, <2 x i8> addrspace(1)* %dest, i64 1 |
| store <2 x i8> %call2, <2 x i8> addrspace(1)* %arrayidx3, align 2 |
| %3 = getelementptr inbounds [2 x <2 x i8>], [2 x <2 x i8>] addrspace(1)* @a_var, i64 0, i64 0 |
| %4 = load <2 x i8>, <2 x i8> addrspace(1)* %3, align 2 |
| %call4 = call spir_func <2 x i8> @to_buf(<2 x i8> %4) |
| %arrayidx5 = getelementptr inbounds <2 x i8>, <2 x i8> addrspace(1)* %dest, i64 2 |
| store <2 x i8> %call4, <2 x i8> addrspace(1)* %arrayidx5, align 2 |
| %5 = getelementptr inbounds [2 x <2 x i8>], [2 x <2 x i8>] addrspace(1)* @a_var, i64 0, i64 1 |
| %6 = load <2 x i8>, <2 x i8> addrspace(1)* %5, align 2 |
| %call6 = call spir_func <2 x i8> @to_buf(<2 x i8> %6) |
| %arrayidx7 = getelementptr inbounds <2 x i8>, <2 x i8> addrspace(1)* %dest, i64 3 |
| store <2 x i8> %call6, <2 x i8> addrspace(1)* %arrayidx7, align 2 |
| ret void |
| } |