llvm/test/CodeGen/SPIRV/instructions/scalar-floating-point-arithmetic.ll

   1 ; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
   2
   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 OpFMod
  11
  12 ; CHECK-NOT: DAG-FENCE
  13
  14 ; CHECK-DAG: [[SCALAR:%.+]] = OpTypeFloat 32
  15 ; CHECK-DAG: [[SCALAR_FN:%.+]] = OpTypeFunction [[SCALAR]] [[SCALAR]] [[SCALAR]]
  16
  17 ; CHECK-NOT: DAG-FENCE
  18
  19
  20 ;; Test fneg on scalar:
  21 ;; FIXME: Uncomment this test once we have rebased onto a more recent LLVM
  22 ;;        version -- IRTranslator::translateFNeg was fixed.
  23 ;; define float @scalar_fneg(float %a, float %unused) {
  24 ;;     %c = fneg float %a
  25 ;;     ret float %c
  26 ;; }
  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:      OpLabel
  32 ; DISABLED-CHECK:      [[C:%.+]] = OpFNegate [[SCALAR]] [[A]]
  33 ; DISABLED-CHECK:      OpReturnValue [[C]]
  34 ; DISABLED-CHECK-NEXT: OpFunctionEnd
  35
  36
  37 ;; Test fadd on scalar:
  38 define float @scalar_fadd(float %a, float %b) {
  39     %c = fadd float %a, %b
  40     ret float %c
  41 }
  42
  43 ; CHECK:      [[SCALAR_FADD]] = OpFunction [[SCALAR]] None [[SCALAR_FN]]
  44 ; CHECK-NEXT: [[A:%.+]] = OpFunctionParameter [[SCALAR]]
  45 ; CHECK-NEXT: [[B:%.+]] = OpFunctionParameter [[SCALAR]]
  46 ; CHECK:      OpLabel
  47 ; CHECK:      [[C:%.+]] = OpFAdd [[SCALAR]] [[A]] [[B]]
  48 ; CHECK:      OpReturnValue [[C]]
  49 ; CHECK-NEXT: OpFunctionEnd
  50
  51
  52 ;; Test fsub on scalar:
  53 define float @scalar_fsub(float %a, float %b) {
  54     %c = fsub float %a, %b
  55     ret float %c
  56 }
  57
  58 ; CHECK:      [[SCALAR_FSUB]] = OpFunction [[SCALAR]] None [[SCALAR_FN]]
  59 ; CHECK-NEXT: [[A:%.+]] = OpFunctionParameter [[SCALAR]]
  60 ; CHECK-NEXT: [[B:%.+]] = OpFunctionParameter [[SCALAR]]
  61 ; CHECK:      OpLabel
  62 ; CHECK:      [[C:%.+]] = OpFSub [[SCALAR]] [[A]] [[B]]
  63 ; CHECK:      OpReturnValue [[C]]
  64 ; CHECK-NEXT: OpFunctionEnd
  65
  66
  67 ;; Test fmul on scalar:
  68 define float @scalar_fmul(float %a, float %b) {
  69     %c = fmul float %a, %b
  70     ret float %c
  71 }
  72
  73 ; CHECK:      [[SCALAR_FMUL]] = OpFunction [[SCALAR]] None [[SCALAR_FN]]
  74 ; CHECK-NEXT: [[A:%.+]] = OpFunctionParameter [[SCALAR]]
  75 ; CHECK-NEXT: [[B:%.+]] = OpFunctionParameter [[SCALAR]]
  76 ; CHECK:      OpLabel
  77 ; CHECK:      [[C:%.+]] = OpFMul [[SCALAR]] [[A]] [[B]]
  78 ; CHECK:      OpReturnValue [[C]]
  79 ; CHECK-NEXT: OpFunctionEnd
  80
  81
  82 ;; Test fdiv on scalar:
  83 define float @scalar_fdiv(float %a, float %b) {
  84     %c = fdiv float %a, %b
  85     ret float %c
  86 }
  87
  88 ; CHECK:      [[SCALAR_FDIV]] = OpFunction [[SCALAR]] None [[SCALAR_FN]]
  89 ; CHECK-NEXT: [[A:%.+]] = OpFunctionParameter [[SCALAR]]
  90 ; CHECK-NEXT: [[B:%.+]] = OpFunctionParameter [[SCALAR]]
  91 ; CHECK:      OpLabel
  92 ; CHECK:      [[C:%.+]] = OpFDiv [[SCALAR]] [[A]] [[B]]
  93 ; CHECK:      OpReturnValue [[C]]
  94 ; CHECK-NEXT: OpFunctionEnd
  95
  96
  97 ;; Test frem on scalar:
  98 define float @scalar_frem(float %a, float %b) {
  99     %c = frem float %a, %b
 100     ret float %c
 101 }
 102
 103 ; CHECK:      [[SCALAR_FREM]] = OpFunction [[SCALAR]] None [[SCALAR_FN]]
 104 ; CHECK-NEXT: [[A:%.+]] = OpFunctionParameter [[SCALAR]]
 105 ; CHECK-NEXT: [[B:%.+]] = OpFunctionParameter [[SCALAR]]
 106 ; CHECK:      OpLabel
 107 ; CHECK:      [[C:%.+]] = OpFRem [[SCALAR]] [[A]] [[B]]
 108 ; CHECK:      OpReturnValue [[C]]
 109 ; CHECK-NEXT: OpFunctionEnd
 110
 111 declare float @llvm.fma.f32(float, float, float)
 112
 113 ;; Test fma on scalar:
 114 define 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 %r
 117 }
 118
 119 ; CHECK:      [[SCALAR_FMA]] = OpFunction
 120 ; CHECK-NEXT: [[A:%.+]] = OpFunctionParameter [[SCALAR]]
 121 ; CHECK-NEXT: [[B:%.+]] = OpFunctionParameter [[SCALAR]]
 122 ; CHECK-NEXT: [[C:%.+]] = OpFunctionParameter [[SCALAR]]
 123 ; CHECK:      OpLabel
 124 ; CHECK:      [[R:%.+]] = OpExtInst [[SCALAR]] {{%.+}} fma [[A]] [[B]] [[C]]
 125 ; CHECK:      OpReturnValue [[R]]
 126 ; CHECK-NEXT: OpFunctionEnd