llvm/test/CodeGen/SPIRV/transcoding/fsub.ll

   1 ; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV
   2 ; 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]] FPFastMathMode
  12 ; CHECK-SPIRV-DAG: OpDecorate %[[#r2]] FPFastMathMode NotNaN
  13 ; CHECK-SPIRV-DAG: OpDecorate %[[#r3]] FPFastMathMode NotInf
  14 ; CHECK-SPIRV-DAG: OpDecorate %[[#r4]] FPFastMathMode NSZ
  15 ; CHECK-SPIRV-DAG: OpDecorate %[[#r5]] FPFastMathMode AllowRecip
  16 ; CHECK-SPIRV-DAG: OpDecorate %[[#r6]] FPFastMathMode NotNaN|NotInf|NSZ|AllowRecip|Fast
  17 ; CHECK-SPIRV-DAG: OpDecorate %[[#r7]] FPFastMathMode NotNaN|NotInf
  18 ; CHECK-SPIRV:     %[[#float:]] = OpTypeFloat 32
  19 ; CHECK-SPIRV:     %[[#r1]] = OpFSub %[[#float]]
  20 ; CHECK-SPIRV:     %[[#r2]] = OpFSub %[[#float]]
  21 ; CHECK-SPIRV:     %[[#r3]] = OpFSub %[[#float]]
  22 ; CHECK-SPIRV:     %[[#r4]] = OpFSub %[[#float]]
  23 ; CHECK-SPIRV:     %[[#r5]] = OpFSub %[[#float]]
  24 ; CHECK-SPIRV:     %[[#r6]] = OpFSub %[[#float]]
  25 ; CHECK-SPIRV:     %[[#r7]] = OpFSub %[[#float]]
  26
  27 define spir_kernel void @testFSub(float %a, float %b) local_unnamed_addr {
  28 entry:
  29   %r1 = fsub float %a, %b
  30   %r2 = fsub nnan float %a, %b
  31   %r3 = fsub ninf float %a, %b
  32   %r4 = fsub nsz float %a, %b
  33   %r5 = fsub arcp float %a, %b
  34   %r6 = fsub fast float %a, %b
  35   %r7 = fsub nnan ninf float %a, %b
  36   ret void
  37 }