1*67d3ef74SVyacheslav Levytskyy; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s 2153dee34SIlia Diachkov 34bd9d98bSAndrey Tretyakov;; FIXME: Are there any attributes that would make the IR invalid for SPIR-V? 4153dee34SIlia Diachkov 54bd9d98bSAndrey Tretyakov;; Names: 614ea4f5bSMichal Paszkowski; CHECK-DAG: OpName %[[#FN1:]] "fn1" 714ea4f5bSMichal Paszkowski; CHECK-DAG: OpName %[[#FN2:]] "fn2" 814ea4f5bSMichal Paszkowski; CHECK-DAG: OpName %[[#FN3:]] "fn3" 914ea4f5bSMichal Paszkowski; CHECK-DAG: OpName %[[#FN4:]] "fn4" 1014ea4f5bSMichal Paszkowski; CHECK-DAG: OpName %[[#FN5:]] "fn5" 1114ea4f5bSMichal Paszkowski; CHECK-DAG: OpName %[[#FN6:]] "fn6" 1214ea4f5bSMichal Paszkowski; CHECK-DAG: OpName %[[#FN7:]] "fn7" 13b0020f42SMichal Paszkowski; CHECK-DAG: OpName %[[#FN8:]] "fn8" 14b0020f42SMichal Paszkowski; CHECK-DAG: OpName %[[#FN9:]] "fn9" 15153dee34SIlia Diachkov 164bd9d98bSAndrey Tretyakov;; Types: 1714ea4f5bSMichal Paszkowski; CHECK: %[[#VOID:]] = OpTypeVoid 1814ea4f5bSMichal Paszkowski; CHECK: %[[#FN:]] = OpTypeFunction %[[#VOID]] 19153dee34SIlia Diachkov 20153dee34SIlia Diachkov 214bd9d98bSAndrey Tretyakov;; Functions: 22153dee34SIlia Diachkov 23153dee34SIlia Diachkovdefine void @fn1() noinline { 24153dee34SIlia Diachkov ret void 25153dee34SIlia Diachkov} 2614ea4f5bSMichal Paszkowski; CHECK: %[[#FN1]] = OpFunction %[[#VOID]] DontInline %[[#FN]] 27153dee34SIlia Diachkov; CHECK-NOT: OpFunctionParameter 28153dee34SIlia Diachkov; CHECK: OpFunctionEnd 29153dee34SIlia Diachkov 30153dee34SIlia Diachkov 31153dee34SIlia Diachkovattributes #0 = { noinline } 32153dee34SIlia Diachkovdefine void @fn2() #0 { 33153dee34SIlia Diachkov ret void 34153dee34SIlia Diachkov} 3514ea4f5bSMichal Paszkowski; CHECK: %[[#FN2]] = OpFunction %[[#VOID]] DontInline %[[#FN]] 36153dee34SIlia Diachkov; CHECK: OpFunctionEnd 37153dee34SIlia Diachkov 38153dee34SIlia Diachkov 39153dee34SIlia Diachkovdefine void @fn3() alwaysinline { 40153dee34SIlia Diachkov ret void 41153dee34SIlia Diachkov} 4214ea4f5bSMichal Paszkowski; CHECK: %[[#FN3]] = OpFunction %[[#VOID]] Inline %[[#FN]] 43153dee34SIlia Diachkov; CHECK: OpFunctionEnd 44153dee34SIlia Diachkov 45153dee34SIlia Diachkov 4614ea4f5bSMichal Paszkowski;; NOTE: inlinehint is not an actual requirement. 47153dee34SIlia Diachkovdefine void @fn4() inlinehint { 48153dee34SIlia Diachkov ret void 49153dee34SIlia Diachkov} 5014ea4f5bSMichal Paszkowski; CHECK: %[[#FN4]] = OpFunction %[[#VOID]] None %[[#FN]] 51153dee34SIlia Diachkov; CHECK: OpFunctionEnd 52153dee34SIlia Diachkov 53153dee34SIlia Diachkov 54153dee34SIlia Diachkovdefine void @fn5() readnone { 55153dee34SIlia Diachkov ret void 56153dee34SIlia Diachkov} 5714ea4f5bSMichal Paszkowski; CHECK: %[[#FN5]] = OpFunction %[[#VOID]] Pure %[[#FN]] 58153dee34SIlia Diachkov; CHECK: OpFunctionEnd 59153dee34SIlia Diachkov 60153dee34SIlia Diachkov 61b0020f42SMichal Paszkowskidefine void @fn6() memory(none) { 62153dee34SIlia Diachkov ret void 63153dee34SIlia Diachkov} 64b0020f42SMichal Paszkowski; CHECK: %[[#FN6]] = OpFunction %[[#VOID]] Pure %[[#FN]] 65153dee34SIlia Diachkov; CHECK: OpFunctionEnd 66153dee34SIlia Diachkov 67153dee34SIlia Diachkov 68b0020f42SMichal Paszkowskidefine void @fn7() readonly { 69153dee34SIlia Diachkov ret void 70153dee34SIlia Diachkov} 71b0020f42SMichal Paszkowski; CHECK: %[[#FN7]] = OpFunction %[[#VOID]] Const %[[#FN]] 72b0020f42SMichal Paszkowski; CHECK: OpFunctionEnd 73b0020f42SMichal Paszkowski 74b0020f42SMichal Paszkowski 75b0020f42SMichal Paszkowskidefine void @fn8() memory(read) { 76b0020f42SMichal Paszkowski ret void 77b0020f42SMichal Paszkowski} 78b0020f42SMichal Paszkowski; CHECK: %[[#FN8]] = OpFunction %[[#VOID]] Const %[[#FN]] 79b0020f42SMichal Paszkowski; CHECK: OpFunctionEnd 80b0020f42SMichal Paszkowski 81b0020f42SMichal Paszkowski 82b0020f42SMichal Paszkowskidefine void @fn9() alwaysinline readnone { 83b0020f42SMichal Paszkowski ret void 84b0020f42SMichal Paszkowski} 85b0020f42SMichal Paszkowski; CHECK: %[[#FN9]] = OpFunction %[[#VOID]] Inline|Pure %[[#FN]] 86153dee34SIlia Diachkov; CHECK: OpFunctionEnd 87