63 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; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s5; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}6 7; CHECK-DAG: OpName [[SCALARi32:%.+]] "select_i32"8; CHECK-DAG: OpName [[SCALARPTR:%.+]] "select_ptr"9; CHECK-DAG: OpName [[VEC2i32:%.+]] "select_i32v2"10; CHECK-DAG: OpName [[VEC2i32v2:%.+]] "select_v2i32v2"11 12; CHECK: [[SCALARi32]] = OpFunction13; CHECK-NEXT: [[C:%.+]] = OpFunctionParameter14; CHECK-NEXT: [[T:%.+]] = OpFunctionParameter15; CHECK-NEXT: [[F:%.+]] = OpFunctionParameter16; CHECK: OpLabel17; CHECK: [[R:%.+]] = OpSelect {{%.+}} [[C]] [[T]] [[F]]18; CHECK: OpReturnValue [[R]]19; CHECK-NEXT: OpFunctionEnd20define i32 @select_i32(i1 %c, i32 %t, i32 %f) {21 %r = select i1 %c, i32 %t, i32 %f22 ret i32 %r23}24 25; CHECK: [[SCALARPTR]] = OpFunction26; CHECK-NEXT: [[C:%.+]] = OpFunctionParameter27; CHECK-NEXT: [[T:%.+]] = OpFunctionParameter28; CHECK-NEXT: [[F:%.+]] = OpFunctionParameter29; CHECK: OpLabel30; CHECK: [[R:%.+]] = OpSelect {{%.+}} [[C]] [[T]] [[F]]31; CHECK: OpReturnValue [[R]]32; CHECK-NEXT: OpFunctionEnd33define ptr @select_ptr(i1 %c, ptr %t, ptr %f) {34 %r = select i1 %c, ptr %t, ptr %f35 ret ptr %r36}37 38; CHECK: [[VEC2i32]] = OpFunction39; CHECK-NEXT: [[C:%.+]] = OpFunctionParameter40; CHECK-NEXT: [[T:%.+]] = OpFunctionParameter41; CHECK-NEXT: [[F:%.+]] = OpFunctionParameter42; CHECK: OpLabel43; CHECK: [[R:%.+]] = OpSelect {{%.+}} [[C]] [[T]] [[F]]44; CHECK: OpReturnValue [[R]]45; CHECK-NEXT: OpFunctionEnd46define <2 x i32> @select_i32v2(i1 %c, <2 x i32> %t, <2 x i32> %f) {47 %r = select i1 %c, <2 x i32> %t, <2 x i32> %f48 ret <2 x i32> %r49}50 51; CHECK: [[VEC2i32v2]] = OpFunction52; CHECK-NEXT: [[C:%.+]] = OpFunctionParameter53; CHECK-NEXT: [[T:%.+]] = OpFunctionParameter54; CHECK-NEXT: [[F:%.+]] = OpFunctionParameter55; CHECK: OpLabel56; CHECK: [[R:%.+]] = OpSelect {{%.+}} [[C]] [[T]] [[F]]57; CHECK: OpReturnValue [[R]]58; CHECK-NEXT: OpFunctionEnd59define <2 x i32> @select_v2i32v2(<2 x i1> %c, <2 x i32> %t, <2 x i32> %f) {60 %r = select <2 x i1> %c, <2 x i32> %t, <2 x i32> %f61 ret <2 x i32> %r62}63