127 lines · plain
1; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s2 3; DISABLED-CHECK-DAG: OpName [[SCALAR_FNEG:%.+]] "scalar_fneg"4; CHECK-DAG: OpName [[SCALAR_FADD:%.+]] "scalar_fadd"5; CHECK-DAG: OpName [[SCALAR_FSUB:%.+]] "scalar_fsub"6; CHECK-DAG: OpName [[SCALAR_FMUL:%.+]] "scalar_fmul"7; CHECK-DAG: OpName [[SCALAR_FDIV:%.+]] "scalar_fdiv"8; CHECK-DAG: OpName [[SCALAR_FREM:%.+]] "scalar_frem"9; CHECK-DAG: OpName [[SCALAR_FMA:%.+]] "scalar_fma"10;; FIXME: add test for OpFMod11 12; CHECK-NOT: DAG-FENCE13 14; CHECK-DAG: [[SCALAR:%.+]] = OpTypeFloat 3215; CHECK-DAG: [[SCALAR_FN:%.+]] = OpTypeFunction [[SCALAR]] [[SCALAR]] [[SCALAR]]16 17; CHECK-NOT: DAG-FENCE18 19 20;; Test fneg on scalar:21;; FIXME: Uncomment this test once we have rebased onto a more recent LLVM22;; version -- IRTranslator::translateFNeg was fixed.23;; define float @scalar_fneg(float %a, float %unused) {24;; %c = fneg float %a25;; ret float %c26;; }27 28; DISABLED-CHECK: [[SCALAR_FNEG]] = OpFunction [[SCALAR]] None [[SCALAR_FN]]29; DISABLED-CHECK-NEXT: [[A:%.+]] = OpFunctionParameter [[SCALAR]]30; DISABLED-CHECK-NEXT: [[B:%.+]] = OpFunctionParameter [[SCALAR]]31; DISABLED-CHECK: OpLabel32; DISABLED-CHECK: [[C:%.+]] = OpFNegate [[SCALAR]] [[A]]33; DISABLED-CHECK: OpReturnValue [[C]]34; DISABLED-CHECK-NEXT: OpFunctionEnd35 36 37;; Test fadd on scalar:38define float @scalar_fadd(float %a, float %b) {39 %c = fadd float %a, %b40 ret float %c41}42 43; CHECK: [[SCALAR_FADD]] = OpFunction [[SCALAR]] None [[SCALAR_FN]]44; CHECK-NEXT: [[A:%.+]] = OpFunctionParameter [[SCALAR]]45; CHECK-NEXT: [[B:%.+]] = OpFunctionParameter [[SCALAR]]46; CHECK: OpLabel47; CHECK: [[C:%.+]] = OpFAdd [[SCALAR]] [[A]] [[B]]48; CHECK: OpReturnValue [[C]]49; CHECK-NEXT: OpFunctionEnd50 51 52;; Test fsub on scalar:53define float @scalar_fsub(float %a, float %b) {54 %c = fsub float %a, %b55 ret float %c56}57 58; CHECK: [[SCALAR_FSUB]] = OpFunction [[SCALAR]] None [[SCALAR_FN]]59; CHECK-NEXT: [[A:%.+]] = OpFunctionParameter [[SCALAR]]60; CHECK-NEXT: [[B:%.+]] = OpFunctionParameter [[SCALAR]]61; CHECK: OpLabel62; CHECK: [[C:%.+]] = OpFSub [[SCALAR]] [[A]] [[B]]63; CHECK: OpReturnValue [[C]]64; CHECK-NEXT: OpFunctionEnd65 66 67;; Test fmul on scalar:68define float @scalar_fmul(float %a, float %b) {69 %c = fmul float %a, %b70 ret float %c71}72 73; CHECK: [[SCALAR_FMUL]] = OpFunction [[SCALAR]] None [[SCALAR_FN]]74; CHECK-NEXT: [[A:%.+]] = OpFunctionParameter [[SCALAR]]75; CHECK-NEXT: [[B:%.+]] = OpFunctionParameter [[SCALAR]]76; CHECK: OpLabel77; CHECK: [[C:%.+]] = OpFMul [[SCALAR]] [[A]] [[B]]78; CHECK: OpReturnValue [[C]]79; CHECK-NEXT: OpFunctionEnd80 81 82;; Test fdiv on scalar:83define float @scalar_fdiv(float %a, float %b) {84 %c = fdiv float %a, %b85 ret float %c86}87 88; CHECK: [[SCALAR_FDIV]] = OpFunction [[SCALAR]] None [[SCALAR_FN]]89; CHECK-NEXT: [[A:%.+]] = OpFunctionParameter [[SCALAR]]90; CHECK-NEXT: [[B:%.+]] = OpFunctionParameter [[SCALAR]]91; CHECK: OpLabel92; CHECK: [[C:%.+]] = OpFDiv [[SCALAR]] [[A]] [[B]]93; CHECK: OpReturnValue [[C]]94; CHECK-NEXT: OpFunctionEnd95 96 97;; Test frem on scalar:98define float @scalar_frem(float %a, float %b) {99 %c = frem float %a, %b100 ret float %c101}102 103; CHECK: [[SCALAR_FREM]] = OpFunction [[SCALAR]] None [[SCALAR_FN]]104; CHECK-NEXT: [[A:%.+]] = OpFunctionParameter [[SCALAR]]105; CHECK-NEXT: [[B:%.+]] = OpFunctionParameter [[SCALAR]]106; CHECK: OpLabel107; CHECK: [[C:%.+]] = OpFRem [[SCALAR]] [[A]] [[B]]108; CHECK: OpReturnValue [[C]]109; CHECK-NEXT: OpFunctionEnd110 111declare float @llvm.fma.f32(float, float, float)112 113;; Test fma on scalar:114define float @scalar_fma(float %a, float %b, float %c) {115 %r = call float @llvm.fma.f32(float %a, float %b, float %c)116 ret float %r117}118 119; CHECK: [[SCALAR_FMA]] = OpFunction120; CHECK-NEXT: [[A:%.+]] = OpFunctionParameter [[SCALAR]]121; CHECK-NEXT: [[B:%.+]] = OpFunctionParameter [[SCALAR]]122; CHECK-NEXT: [[C:%.+]] = OpFunctionParameter [[SCALAR]]123; CHECK: OpLabel124; CHECK: [[R:%.+]] = OpExtInst [[SCALAR]] {{%.+}} fma [[A]] [[B]] [[C]]125; CHECK: OpReturnValue [[R]]126; CHECK-NEXT: OpFunctionEnd127