88 lines · plain
1; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV2; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}3 4; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV5; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}6 7; CHECK-SPIRV-DAG: %[[#Char:]] = OpTypeInt 8 08; CHECK-SPIRV-DAG: %[[#Long:]] = OpTypeInt 64 09; CHECK-SPIRV-DAG: %[[#Int:]] = OpTypeInt 32 010; CHECK-SPIRV-DAG: %[[#Size3:]] = OpConstant %[[#Int]] 311; CHECK-SPIRV-DAG: %[[#Arr3:]] = OpTypeArray %[[#Char]] %[[#Size3]]12; CHECK-SPIRV-DAG: %[[#Size16:]] = OpConstant %[[#Int]] 1613; CHECK-SPIRV-DAG: %[[#Arr16:]] = OpTypeArray %[[#Char]] %[[#Size16]]14; CHECK-SPIRV-DAG: %[[#Const3:]] = OpConstant %[[#Long]] 315; CHECK-SPIRV-DAG: %[[#One:]] = OpConstant %[[#Char]] 116; CHECK-SPIRV-DAG: %[[#One3:]] = OpConstantComposite %[[#Arr3]] %[[#One]] %[[#One]] %[[#One]]17; CHECK-SPIRV-DAG: %[[#Zero3:]] = OpConstantNull %[[#Arr3]]18; CHECK-SPIRV-DAG: %[[#Const16:]] = OpConstant %[[#Long]] 1619; CHECK-SPIRV-DAG: %[[#One16:]] = OpConstantComposite %[[#Arr16]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]]20; CHECK-SPIRV-DAG: %[[#Zero16:]] = OpConstantNull %[[#Arr16]]21 22; The first set of functions.23; CHECK-SPIRV-DAG: %[[#PtrArr3:]] = OpTypePointer UniformConstant %[[#Arr3]]24; CHECK-SPIRV-DAG: OpVariable %[[#PtrArr3]] UniformConstant %[[#One3]]25; CHECK-SPIRV-DAG: OpVariable %[[#PtrArr3]] UniformConstant %[[#Zero3]]26; CHECK-SPIRV-DAG: %[[#PtrArr16:]] = OpTypePointer UniformConstant %[[#Arr16]]27; CHECK-SPIRV-DAG: OpVariable %[[#PtrArr16]] UniformConstant %[[#One16]]28; CHECK-SPIRV-DAG: OpVariable %[[#PtrArr16]] UniformConstant %[[#Zero16]]29 30; The second set of functions.31; CHECK-SPIRV-DAG: OpVariable %[[#PtrArr3]] UniformConstant %[[#One3]]32; CHECK-SPIRV-DAG: OpVariable %[[#PtrArr3]] UniformConstant %[[#Zero3]]33; CHECK-SPIRV-DAG: OpVariable %[[#PtrArr16]] UniformConstant %[[#One16]]34; CHECK-SPIRV-DAG: OpVariable %[[#PtrArr16]] UniformConstant %[[#Zero16]]35 36%Vec3 = type { <3 x i8> }37%Vec16 = type { <16 x i8> }38 39; CHECK-SPIRV: OpFunction40; CHECK-SPIRV: OpCopyMemorySized %[[#]] %[[#]] %[[#Const3]] Aligned 441; CHECK-SPIRV: OpCopyMemorySized %[[#]] %[[#]] %[[#Const3]] Aligned 442; CHECK-SPIRV: OpFunctionEnd43define spir_kernel void @foo(ptr addrspace(1) noundef align 16 %arg) {44 %a1 = getelementptr inbounds %Vec3, ptr addrspace(1) %arg, i64 145 call void @llvm.memset.p1.i64(ptr addrspace(1) align 4 %a1, i8 0, i64 3, i1 false)46 %a2 = getelementptr inbounds %Vec3, ptr addrspace(1) %arg, i64 147 call void @llvm.memset.p1.i64(ptr addrspace(1) align 4 %a2, i8 1, i64 3, i1 false)48 ret void49}50 51; CHECK-SPIRV: OpFunction52; CHECK-SPIRV: OpCopyMemorySized %[[#]] %[[#]] %[[#Const16]] Aligned 453; CHECK-SPIRV: OpCopyMemorySized %[[#]] %[[#]] %[[#Const16]] Aligned 454; CHECK-SPIRV: OpFunctionEnd55define spir_kernel void @bar(ptr addrspace(1) noundef align 16 %arg) {56 %a1 = getelementptr inbounds %Vec16, ptr addrspace(1) %arg, i64 157 call void @llvm.memset.p1.i64(ptr addrspace(1) align 4 %a1, i8 0, i64 16, i1 false)58 %a2 = getelementptr inbounds %Vec16, ptr addrspace(1) %arg, i64 159 call void @llvm.memset.p1.i64(ptr addrspace(1) align 4 %a2, i8 1, i64 16, i1 false)60 ret void61}62 63; CHECK-SPIRV: OpFunction64; CHECK-SPIRV: OpCopyMemorySized %[[#]] %[[#]] %[[#Const3]] Aligned 465; CHECK-SPIRV: OpCopyMemorySized %[[#]] %[[#]] %[[#Const3]] Aligned 466; CHECK-SPIRV: OpFunctionEnd67define spir_kernel void @foo_2(ptr addrspace(1) noundef align 16 %arg) {68 %a1 = getelementptr inbounds %Vec3, ptr addrspace(1) %arg, i64 169 call void @llvm.memset.p1.i64(ptr addrspace(1) align 4 %a1, i8 0, i64 3, i1 false)70 %a2 = getelementptr inbounds %Vec3, ptr addrspace(1) %arg, i64 171 call void @llvm.memset.p1.i64(ptr addrspace(1) align 4 %a2, i8 1, i64 3, i1 false)72 ret void73}74 75; CHECK-SPIRV: OpFunction76; CHECK-SPIRV: OpCopyMemorySized %[[#]] %[[#]] %[[#Const16]] Aligned 477; CHECK-SPIRV: OpCopyMemorySized %[[#]] %[[#]] %[[#Const16]] Aligned 478; CHECK-SPIRV: OpFunctionEnd79define spir_kernel void @bar_2(ptr addrspace(1) noundef align 16 %arg) {80 %a1 = getelementptr inbounds %Vec16, ptr addrspace(1) %arg, i64 181 call void @llvm.memset.p1.i64(ptr addrspace(1) align 4 %a1, i8 0, i64 16, i1 false)82 %a2 = getelementptr inbounds %Vec16, ptr addrspace(1) %arg, i64 183 call void @llvm.memset.p1.i64(ptr addrspace(1) align 4 %a2, i8 1, i64 16, i1 false)84 ret void85}86 87declare void @llvm.memset.p1.i64(ptr addrspace(1) nocapture writeonly, i8, i64, i1 immarg)88