53 lines · plain
1; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv-unknown-unknown %s -o - | FileCheck %s2; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s3; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s4; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val --target-env spv1.6 %}5; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val --target-env spv1.6 %}6 7; CHECK-DAG: %[[#float_32:]] = OpTypeFloat 328; CHECK-DAG: %[[#func_type:]] = OpTypeFunction %[[#float_32]] %[[#float_32]] %[[#float_32]]9; CHECK-DAG: %[[#bool:]] = OpTypeBool10; CHECK-DAG: %[[#vec4_float_32:]] = OpTypeVector %[[#float_32]] 411; CHECK-DAG: %[[#vec_func_type:]] = OpTypeFunction %[[#vec4_float_32]] %[[#vec4_float_32]] %[[#vec4_float_32]]12; CHECK-DAG: %[[#vec_4_bool:]] = OpTypeVector %[[#bool]] 413 14define spir_func float @opselect_float_scalar_test(float %x, float %y) {15entry:16 ; CHECK: %[[#]] = OpFunction %[[#float_32]] None %[[#func_type]]17 ; CHECK: %[[#arg0:]] = OpFunctionParameter %[[#float_32]]18 ; CHECK: %[[#arg1:]] = OpFunctionParameter %[[#float_32]]19 ; CHECK: %[[#fcmp:]] = OpFOrdGreaterThan %[[#bool]] %[[#arg0]] %[[#arg1]]20 ; CHECK: %[[#fselect:]] = OpSelect %[[#float_32]] %[[#fcmp]] %[[#arg0]] %[[#arg1]]21 ; CHECK: OpReturnValue %[[#fselect]]22 %0 = fcmp ogt float %x, %y23 %1 = select i1 %0, float %x, float %y24 ret float %125}26 27define spir_func <4 x float> @opselect_float4_vec_test(<4 x float> %x, <4 x float> %y) {28entry:29 ; CHECK: %[[#]] = OpFunction %[[#vec4_float_32]] None %[[#vec_func_type]]30 ; CHECK: %[[#arg0:]] = OpFunctionParameter %[[#vec4_float_32]]31 ; CHECK: %[[#arg1:]] = OpFunctionParameter %[[#vec4_float_32]]32 ; CHECK: %[[#fcmp:]] = OpFOrdGreaterThan %[[#vec_4_bool]] %[[#arg0]] %[[#arg1]]33 ; CHECK: %[[#fselect:]] = OpSelect %[[#vec4_float_32]] %[[#fcmp]] %[[#arg0]] %[[#arg1]]34 ; CHECK: OpReturnValue %[[#fselect]]35 %0 = fcmp ogt <4 x float> %x, %y36 %1 = select <4 x i1> %0, <4 x float> %x, <4 x float> %y37 ret <4 x float> %138}39 40define spir_func <4 x float> @opselect_scalar_bool_float4_vec_test(float %a, float %b, <4 x float> %x, <4 x float> %y) {41entry:42 ; CHECK: %[[#]] = OpFunction %[[#vec4_float_32]] None %[[#]]43 ; CHECK: %[[#arg0:]] = OpFunctionParameter %[[#float_32]]44 ; CHECK: %[[#arg1:]] = OpFunctionParameter %[[#float_32]]45 ; CHECK: %[[#arg2:]] = OpFunctionParameter %[[#vec4_float_32]]46 ; CHECK: %[[#arg3:]] = OpFunctionParameter %[[#vec4_float_32]]47 ; CHECK: %[[#fcmp:]] = OpFOrdGreaterThan %[[#bool]] %[[#arg0]] %[[#arg1]]48 ; CHECK: %[[#fselect:]] = OpSelect %[[#vec4_float_32]] %[[#fcmp]] %[[#arg2]] %[[#arg3]]49 ; CHECK: OpReturnValue %[[#fselect]]50 %0 = fcmp ogt float %a, %b51 %1 = select i1 %0, <4 x float> %x, <4 x float> %y52 ret <4 x float> %153}