llvm/test/CodeGen/SPIRV/function/trivial-function-with-attributes.ll

   1 ; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
   2
   3 ;; FIXME: Are there any attributes that would make the IR invalid for SPIR-V?
   4
   5 ;; Names:
   6 ; CHECK-DAG: OpName %[[#FN1:]] "fn1"
   7 ; CHECK-DAG: OpName %[[#FN2:]] "fn2"
   8 ; CHECK-DAG: OpName %[[#FN3:]] "fn3"
   9 ; CHECK-DAG: OpName %[[#FN4:]] "fn4"
  10 ; CHECK-DAG: OpName %[[#FN5:]] "fn5"
  11 ; CHECK-DAG: OpName %[[#FN6:]] "fn6"
  12 ; CHECK-DAG: OpName %[[#FN7:]] "fn7"
  13 ; CHECK-DAG: OpName %[[#FN8:]] "fn8"
  14 ; CHECK-DAG: OpName %[[#FN9:]] "fn9"
  15
  16 ;; Types:
  17 ; CHECK:     %[[#VOID:]] = OpTypeVoid
  18 ; CHECK:     %[[#FN:]] = OpTypeFunction %[[#VOID]]
  19
  20
  21 ;; Functions:
  22
  23 define void @fn1() noinline {
  24   ret void
  25 }
  26 ; CHECK:     %[[#FN1]] = OpFunction %[[#VOID]] DontInline %[[#FN]]
  27 ; CHECK-NOT: OpFunctionParameter
  28 ; CHECK:     OpFunctionEnd
  29
  30
  31 attributes #0 = { noinline }
  32 define void @fn2() #0 {
  33   ret void
  34 }
  35 ; CHECK: %[[#FN2]] = OpFunction %[[#VOID]] DontInline %[[#FN]]
  36 ; CHECK: OpFunctionEnd
  37
  38
  39 define void @fn3() alwaysinline {
  40   ret void
  41 }
  42 ; CHECK: %[[#FN3]] = OpFunction %[[#VOID]] Inline %[[#FN]]
  43 ; CHECK: OpFunctionEnd
  44
  45
  46 ;; NOTE: inlinehint is not an actual requirement.
  47 define void @fn4() inlinehint {
  48   ret void
  49 }
  50 ; CHECK: %[[#FN4]] = OpFunction %[[#VOID]] None %[[#FN]]
  51 ; CHECK: OpFunctionEnd
  52
  53
  54 define void @fn5() readnone {
  55   ret void
  56 }
  57 ; CHECK: %[[#FN5]] = OpFunction %[[#VOID]] Pure %[[#FN]]
  58 ; CHECK: OpFunctionEnd
  59
  60
  61 define void @fn6() memory(none) {
  62   ret void
  63 }
  64 ; CHECK: %[[#FN6]] = OpFunction %[[#VOID]] Pure %[[#FN]]
  65 ; CHECK: OpFunctionEnd
  66
  67
  68 define void @fn7() readonly {
  69   ret void
  70 }
  71 ; CHECK: %[[#FN7]] = OpFunction %[[#VOID]] Const %[[#FN]]
  72 ; CHECK: OpFunctionEnd
  73
  74
  75 define void @fn8() memory(read) {
  76   ret void
  77 }
  78 ; CHECK: %[[#FN8]] = OpFunction %[[#VOID]] Const %[[#FN]]
  79 ; CHECK: OpFunctionEnd
  80
  81
  82 define void @fn9() alwaysinline readnone {
  83   ret void
  84 }
  85 ; CHECK: %[[#FN9]] = OpFunction %[[#VOID]] Inline|Pure %[[#FN]]
  86 ; CHECK: OpFunctionEnd