32 lines · plain
1; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s2; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}3 4; CHECK: OpEntryPoint Kernel %[[#Func:]] "test" %[[#Interface1:]] %[[#Interface2:]] %[[#Interface3:]] %[[#Interface4:]]5; CHECK-DAG: OpName %[[#Func]] "test"6; CHECK-DAG: OpName %[[#Interface1]] "var"7; CHECK-DAG: OpName %[[#Interface3]] "var2"8; CHECK-DAG: OpName %[[#Interface2]] "var.const"9; CHECK-DAG: OpName %[[#Interface4]] "var2.const"10; CHECK-DAG: %[[#TypeInt:]] = OpTypeInt 32 011; CHECK-DAG: %[[#Const1:]] = OpConstant %[[#TypeInt]] 112; CHECK-DAG: %[[#Const2:]] = OpConstant %[[#TypeInt]] 313 14; CHECK: %[[#Interface1]] = OpVariable %[[#]] UniformConstant %[[#Const1]]15; CHECK: %[[#Interface3]] = OpVariable %[[#]] UniformConstant %[[#Const2]]16; CHECK: %[[#Interface2]] = OpVariable %[[#]] UniformConstant %[[#Const1]]17; CHECK: %[[#Interface4]] = OpVariable %[[#]] UniformConstant %[[#Const2]]18 19@var = dso_local addrspace(2) constant i32 1, align 420@var2 = dso_local addrspace(2) constant i32 3, align 421@var.const = private unnamed_addr addrspace(2) constant i32 1, align 422@var2.const = private unnamed_addr addrspace(2) constant i32 3, align 423 24define dso_local spir_kernel void @test() {25entry:26 %0 = load i32, ptr addrspace(2) @var.const, align 427 %1 = load i32, ptr addrspace(2) @var2.const, align 428 %mul = mul nsw i32 %0, %129 %mul1 = mul nsw i32 %mul, 230 ret void31}32