38 lines · plain
1; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV2; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}3 4; CHECK-SPIRV: OpName %[[#r1:]] "r1"5; CHECK-SPIRV: OpName %[[#r2:]] "r2"6; CHECK-SPIRV: OpName %[[#r3:]] "r3"7; CHECK-SPIRV: OpName %[[#r4:]] "r4"8; CHECK-SPIRV: OpName %[[#r5:]] "r5"9; CHECK-SPIRV: OpName %[[#r6:]] "r6"10; CHECK-SPIRV: OpName %[[#r7:]] "r7"11; CHECK-SPIRV-NOT: OpDecorate %[[#r1]] FPFastMathMode12; CHECK-SPIRV-DAG: OpDecorate %[[#r2]] FPFastMathMode NotNaN13; CHECK-SPIRV-DAG: OpDecorate %[[#r3]] FPFastMathMode NotInf14; CHECK-SPIRV-DAG: OpDecorate %[[#r4]] FPFastMathMode NSZ15; CHECK-SPIRV-DAG: OpDecorate %[[#r5]] FPFastMathMode AllowRecip16; CHECK-SPIRV-DAG: OpDecorate %[[#r6]] FPFastMathMode NotNaN|NotInf|NSZ|AllowRecip|Fast17; CHECK-SPIRV-DAG: OpDecorate %[[#r7]] FPFastMathMode NotNaN|NotInf18; CHECK-SPIRV: %[[#float:]] = OpTypeFloat 3219; CHECK-SPIRV: %[[#r1]] = OpFMul %[[#float]]20; CHECK-SPIRV: %[[#r2]] = OpFMul %[[#float]]21; CHECK-SPIRV: %[[#r3]] = OpFMul %[[#float]]22; CHECK-SPIRV: %[[#r4]] = OpFMul %[[#float]]23; CHECK-SPIRV: %[[#r5]] = OpFMul %[[#float]]24; CHECK-SPIRV: %[[#r6]] = OpFMul %[[#float]]25; CHECK-SPIRV: %[[#r7]] = OpFMul %[[#float]]26 27define spir_kernel void @testFMul(float %a, float %b) local_unnamed_addr {28entry:29 %r1 = fmul float %a, %b30 %r2 = fmul nnan float %a, %b31 %r3 = fmul ninf float %a, %b32 %r4 = fmul nsz float %a, %b33 %r5 = fmul arcp float %a, %b34 %r6 = fmul fast float %a, %b35 %r7 = fmul nnan ninf float %a, %b36 ret void37}38