llvm/test/CodeGen/SPIRV/exec_mode_float_control_khr.ll

   1 ; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefixes=SPV
   2
   3 define dso_local dllexport spir_kernel void @k_float_controls_0(i32 %ibuf, i32 %obuf) local_unnamed_addr {
   4 entry:
   5   ret void
   6 }
   7
   8 define dso_local dllexport spir_kernel void @k_float_controls_1(i32 %ibuf, i32 %obuf) local_unnamed_addr {
   9 entry:
  10   ret void
  11 }
  12
  13 define dso_local dllexport spir_kernel void @k_float_controls_2(i32 %ibuf, i32 %obuf) local_unnamed_addr {
  14 entry:
  15   ret void
  16 }
  17
  18 define dso_local dllexport spir_kernel void @k_float_controls_3(i32 %ibuf, i32 %obuf) local_unnamed_addr {
  19 entry:
  20   ret void
  21 }
  22
  23 define dso_local dllexport spir_kernel void @k_float_controls_4(i32 %ibuf, i32 %obuf) local_unnamed_addr {
  24 entry:
  25   ret void
  26 }
  27
  28
  29 !spirv.ExecutionMode = !{!15, !16, !17, !18, !19, !20, !21, !22, !23, !24, !25, !26, !27, !28, !29}
  30
  31 ; SPV-NOT: OpExtension "SPV_KHR_float_controls"
  32
  33 ; SPV-DAG: OpEntryPoint {{.*}} %[[#KERNEL0:]] "k_float_controls_0"
  34 ; SPV-DAG: OpEntryPoint {{.*}} %[[#KERNEL1:]] "k_float_controls_1"
  35 ; SPV-DAG: OpEntryPoint {{.*}} %[[#KERNEL2:]] "k_float_controls_2"
  36 ; SPV-DAG: OpEntryPoint {{.*}} %[[#KERNEL3:]] "k_float_controls_3"
  37 ; SPV-DAG: OpEntryPoint {{.*}} %[[#KERNEL4:]] "k_float_controls_4"
  38
  39 ; SPV-DAG: OpExecutionMode %[[#KERNEL0]] DenormPreserve 64
  40 !15 = !{void (i32, i32)* @k_float_controls_0, i32 4459, i32 64}
  41 ; SPV-DAG: OpExecutionMode %[[#KERNEL0]] DenormPreserve 32
  42 !16 = !{void (i32, i32)* @k_float_controls_0, i32 4459, i32 32}
  43 ; SPV-DAG: OpExecutionMode %[[#KERNEL0]] DenormPreserve 16
  44 !17 = !{void (i32, i32)* @k_float_controls_0, i32 4459, i32 16}
  45
  46 ; SPV-DAG: OpExecutionMode %[[#KERNEL1]] DenormFlushToZero 64
  47 !18 = !{void (i32, i32)* @k_float_controls_1, i32 4460, i32 64}
  48 ; SPV-DAG: OpExecutionMode %[[#KERNEL1]] DenormFlushToZero 32
  49 !19 = !{void (i32, i32)* @k_float_controls_1, i32 4460, i32 32}
  50 ; SPV-DAG: OpExecutionMode %[[#KERNEL1]] DenormFlushToZero 16
  51 !20 = !{void (i32, i32)* @k_float_controls_1, i32 4460, i32 16}
  52
  53 ; SPV-DAG: OpExecutionMode %[[#KERNEL2]] SignedZeroInfNanPreserve 64
  54 !21 = !{void (i32, i32)* @k_float_controls_2, i32 4461, i32 64}
  55 ; SPV-DAG: OpExecutionMode %[[#KERNEL2]] SignedZeroInfNanPreserve 32
  56 !22 = !{void (i32, i32)* @k_float_controls_2, i32 4461, i32 32}
  57 ; SPV-DAG: OpExecutionMode %[[#KERNEL2]] SignedZeroInfNanPreserve 16
  58 !23 = !{void (i32, i32)* @k_float_controls_2, i32 4461, i32 16}
  59
  60 ; SPV-DAG: OpExecutionMode %[[#KERNEL3]] RoundingModeRTE 64
  61 !24 = !{void (i32, i32)* @k_float_controls_3, i32 4462, i32 64}
  62 ; SPV-DAG: OpExecutionMode %[[#KERNEL3]] RoundingModeRTE 32
  63 !25 = !{void (i32, i32)* @k_float_controls_3, i32 4462, i32 32}
  64 ; SPV-DAG: OpExecutionMode %[[#KERNEL3]] RoundingModeRTE 16
  65 !26 = !{void (i32, i32)* @k_float_controls_3, i32 4462, i32 16}
  66
  67 ; SPV-DAG: OpExecutionMode %[[#KERNEL4]] RoundingModeRTZ 64
  68 !27 = !{void (i32, i32)* @k_float_controls_4, i32 4463, i32 64}
  69 ; SPV-DAG: OpExecutionMode %[[#KERNEL4]] RoundingModeRTZ 32
  70 !28 = !{void (i32, i32)* @k_float_controls_4, i32 4463, i32 32}
  71 ; SPV-DAG: OpExecutionMode %[[#KERNEL4]] RoundingModeRTZ 16
  72 !29 = !{void (i32, i32)* @k_float_controls_4, i32 4463, i32 16}