; 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
}
Codebase Browser
llvm