55 lines · plain
1; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s2; TODO: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}3 4; CHECK-DAG: OpName %[[Arg1:.*]] "arg1"5; CHECK-DAG: OpName %[[Arg2:.*]] "arg2"6; CHECK-DAG: OpName %[[NotAStaticPoison:.*]] "poison1"7; CHECK-DAG: OpName %[[NotAStaticPoison]] "nil0"8; CHECK-DAG: OpName %[[StaticPoisonIntFreeze:.*]] "nil1"9; CHECK-DAG: OpName %[[StaticPoisonFloatFreeze:.*]] "nil2"10; CHECK-DAG: OpName %[[Arg1]] "val1"11; CHECK-DAG: OpName %[[Const100:.*]] "val2"12; CHECK-DAG: OpName %[[Const100]] "val3"13; CHECK: OpDecorate14; CHECK-DAG: %[[FloatTy:.*]] = OpTypeFloat 3215; CHECK-DAG: %[[ShortTy:.*]] = OpTypeInt 16 016; CHECK-DAG: %[[IntTy:.*]] = OpTypeInt 32 017; CHECK-DAG: %[[Undef16:.*]] = OpUndef %[[ShortTy]]18; CHECK-DAG: %[[Undef32:.*]] = OpUndef %[[IntTy]]19; CHECK-DAG: %[[UndefFloat:.*]] = OpUndef %[[FloatTy]]20; CHECK-DAG: %[[Const100]] = OpConstant %[[IntTy]] 10021 22define spir_func i16 @test_nil0(i16 %arg2) {23entry:24; CHECK: %[[NotAStaticPoison]] = OpIAdd %[[ShortTy]] %[[Arg2]] %[[Undef16]]25 %poison1 = add i16 %arg2, undef26 %nil0 = freeze i16 %poison127 ret i16 %nil028}29 30define spir_func i32 @test_nil1() {31entry:32 %nil1 = freeze i32 undef33 ret i32 %nil134}35 36define spir_func float @test_nil2() {37entry:38 %nil2 = freeze float poison39 ret float %nil240}41 42define spir_func float @freeze_float(float %arg1) {43entry:44; CHECK: %[[Arg1]] = OpFunctionParameter %[[FloatTy]]45 %val1 = freeze float %arg146 ret float %val147}48 49define spir_func i32 @foo() {50entry:51 %val2 = freeze i32 10052 %val3 = freeze i32 %val253 ret i32 %val354}55