1; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s 2 3; CHECK: OpEntryPoint Kernel %[[#f1:]] "writer" 4; CHECK: OpEntryPoint Kernel %[[#f2:]] "reader" 5; CHECK-DAG: OpName %[[#a_var:]] "a_var" 6; CHECK-DAG: OpName %[[#p_var:]] "p_var" 7; CHECK-DAG: %[[#uchar:]] = OpTypeInt 8 0 8; CHECK-DAG: %[[#pt1:]] = OpTypePointer CrossWorkgroup %[[#uchar]] 9; CHECK-DAG: %[[#arr2:]] = OpTypeArray %[[#uchar]] 10; CHECK-DAG: %[[#pt2:]] = OpTypePointer CrossWorkgroup %[[#arr2]] 11; CHECK-DAG: %[[#pt3:]] = OpTypePointer CrossWorkgroup %[[#pt1]] 12; CHECK-DAG: %[[#a_var]] = OpVariable %[[#pt2]] CrossWorkgroup 13; CHECK-DAG: %[[#const:]] = OpSpecConstantOp %[[#pt1]] 70 %[[#a_var]] 14; CHECK-DAG: %[[#p_var]] = OpVariable %[[#pt3]] CrossWorkgroup %[[#const]] 15@var = addrspace(1) global i8 0, align 1 16@g_var = addrspace(1) global i8 1, align 1 17@a_var = addrspace(1) global [2 x i8] c"\01\01", align 1 18@p_var = addrspace(1) global i8 addrspace(1)* getelementptr inbounds ([2 x i8], [2 x i8] addrspace(1)* @a_var, i32 0, i64 1), align 8 19 20define spir_func zeroext i8 @from_buf(i8 zeroext %a) { 21entry: 22 %tobool = icmp ne i8 %a, 0 23 %i1promo = zext i1 %tobool to i8 24 ret i8 %i1promo 25} 26 27define spir_func zeroext i8 @to_buf(i8 zeroext %a) { 28entry: 29 %i1trunc = trunc i8 %a to i1 30 %frombool = select i1 %i1trunc, i8 1, i8 0 31 %0 = and i8 %frombool, 1 32 %tobool = icmp ne i8 %0, 0 33 %conv = select i1 %tobool, i8 1, i8 0 34 ret i8 %conv 35} 36 37define spir_kernel void @writer(i8 addrspace(1)* %src, i32 %idx) { 38entry: 39 %arrayidx = getelementptr inbounds i8, i8 addrspace(1)* %src, i64 0 40 %0 = load i8, i8 addrspace(1)* %arrayidx, align 1 41 %call = call spir_func zeroext i8 @from_buf(i8 zeroext %0) 42 %i1trunc = trunc i8 %call to i1 43 %frombool = select i1 %i1trunc, i8 1, i8 0 44 store i8 %frombool, i8 addrspace(1)* @var, align 1 45 %arrayidx1 = getelementptr inbounds i8, i8 addrspace(1)* %src, i64 1 46 %1 = load i8, i8 addrspace(1)* %arrayidx1, align 1 47 %call2 = call spir_func zeroext i8 @from_buf(i8 zeroext %1) 48 %i1trunc1 = trunc i8 %call2 to i1 49 %frombool3 = select i1 %i1trunc1, i8 1, i8 0 50 store i8 %frombool3, i8 addrspace(1)* @g_var, align 1 51 %arrayidx4 = getelementptr inbounds i8, i8 addrspace(1)* %src, i64 2 52 %2 = load i8, i8 addrspace(1)* %arrayidx4, align 1 53 %call5 = call spir_func zeroext i8 @from_buf(i8 zeroext %2) 54 %i1trunc2 = trunc i8 %call5 to i1 55 %frombool6 = select i1 %i1trunc2, i8 1, i8 0 56 %3 = getelementptr inbounds [2 x i8], [2 x i8] addrspace(1)* @a_var, i64 0, i64 0 57 store i8 %frombool6, i8 addrspace(1)* %3, align 1 58 %arrayidx7 = getelementptr inbounds i8, i8 addrspace(1)* %src, i64 3 59 %4 = load i8, i8 addrspace(1)* %arrayidx7, align 1 60 %call8 = call spir_func zeroext i8 @from_buf(i8 zeroext %4) 61 %i1trunc3 = trunc i8 %call8 to i1 62 %frombool9 = select i1 %i1trunc3, i8 1, i8 0 63 %5 = getelementptr inbounds [2 x i8], [2 x i8] addrspace(1)* @a_var, i64 0, i64 1 64 store i8 %frombool9, i8 addrspace(1)* %5, align 1 65 %idx.ext = zext i32 %idx to i64 66 %add.ptr = getelementptr inbounds i8, i8 addrspace(1)* %3, i64 %idx.ext 67 store i8 addrspace(1)* %add.ptr, i8 addrspace(1)* addrspace(1)* @p_var, align 8 68 ret void 69} 70 71define spir_kernel void @reader(i8 addrspace(1)* %dest, i8 zeroext %ptr_write_val) { 72entry: 73 %call = call spir_func zeroext i8 @from_buf(i8 zeroext %ptr_write_val) 74 %i1trunc = trunc i8 %call to i1 75 %0 = load i8 addrspace(1)*, i8 addrspace(1)* addrspace(1)* @p_var, align 8 76 %frombool = select i1 %i1trunc, i8 1, i8 0 77 store volatile i8 %frombool, i8 addrspace(1)* %0, align 1 78 %1 = load i8, i8 addrspace(1)* @var, align 1 79 %2 = and i8 %1, 1 80 %tobool = icmp ne i8 %2, 0 81 %i1promo = zext i1 %tobool to i8 82 %call1 = call spir_func zeroext i8 @to_buf(i8 zeroext %i1promo) 83 %arrayidx = getelementptr inbounds i8, i8 addrspace(1)* %dest, i64 0 84 store i8 %call1, i8 addrspace(1)* %arrayidx, align 1 85 %3 = load i8, i8 addrspace(1)* @g_var, align 1 86 %4 = and i8 %3, 1 87 %tobool2 = icmp ne i8 %4, 0 88 %i1promo1 = zext i1 %tobool2 to i8 89 %call3 = call spir_func zeroext i8 @to_buf(i8 zeroext %i1promo1) 90 %arrayidx4 = getelementptr inbounds i8, i8 addrspace(1)* %dest, i64 1 91 store i8 %call3, i8 addrspace(1)* %arrayidx4, align 1 92 %5 = getelementptr inbounds [2 x i8], [2 x i8] addrspace(1)* @a_var, i64 0, i64 0 93 %6 = load i8, i8 addrspace(1)* %5, align 1 94 %7 = and i8 %6, 1 95 %tobool5 = icmp ne i8 %7, 0 96 %i1promo2 = zext i1 %tobool5 to i8 97 %call6 = call spir_func zeroext i8 @to_buf(i8 zeroext %i1promo2) 98 %arrayidx7 = getelementptr inbounds i8, i8 addrspace(1)* %dest, i64 2 99 store i8 %call6, i8 addrspace(1)* %arrayidx7, align 1 100 %8 = getelementptr inbounds [2 x i8], [2 x i8] addrspace(1)* @a_var, i64 0, i64 1 101 %9 = load i8, i8 addrspace(1)* %8, align 1 102 %10 = and i8 %9, 1 103 %tobool8 = icmp ne i8 %10, 0 104 %i1promo3 = zext i1 %tobool8 to i8 105 %call9 = call spir_func zeroext i8 @to_buf(i8 zeroext %i1promo3) 106 %arrayidx10 = getelementptr inbounds i8, i8 addrspace(1)* %dest, i64 3 107 store i8 %call9, i8 addrspace(1)* %arrayidx10, align 1 108 ret void 109} 110