87 lines · plain
1; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s2 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:]] = OpTypeVoid18; CHECK: %[[#FN:]] = OpTypeFunction %[[#VOID]]19 20 21;; Functions:22 23define void @fn1() noinline {24 ret void25}26; CHECK: %[[#FN1]] = OpFunction %[[#VOID]] DontInline %[[#FN]]27; CHECK-NOT: OpFunctionParameter28; CHECK: OpFunctionEnd29 30 31attributes #0 = { noinline }32define void @fn2() #0 {33 ret void34}35; CHECK: %[[#FN2]] = OpFunction %[[#VOID]] DontInline %[[#FN]]36; CHECK: OpFunctionEnd37 38 39define void @fn3() alwaysinline {40 ret void41}42; CHECK: %[[#FN3]] = OpFunction %[[#VOID]] Inline %[[#FN]]43; CHECK: OpFunctionEnd44 45 46;; NOTE: inlinehint is not an actual requirement.47define void @fn4() inlinehint {48 ret void49}50; CHECK: %[[#FN4]] = OpFunction %[[#VOID]] None %[[#FN]]51; CHECK: OpFunctionEnd52 53 54define void @fn5() readnone {55 ret void56}57; CHECK: %[[#FN5]] = OpFunction %[[#VOID]] Pure %[[#FN]]58; CHECK: OpFunctionEnd59 60 61define void @fn6() memory(none) {62 ret void63}64; CHECK: %[[#FN6]] = OpFunction %[[#VOID]] Pure %[[#FN]]65; CHECK: OpFunctionEnd66 67 68define void @fn7() readonly {69 ret void70}71; CHECK: %[[#FN7]] = OpFunction %[[#VOID]] Const %[[#FN]]72; CHECK: OpFunctionEnd73 74 75define void @fn8() memory(read) {76 ret void77}78; CHECK: %[[#FN8]] = OpFunction %[[#VOID]] Const %[[#FN]]79; CHECK: OpFunctionEnd80 81 82define void @fn9() alwaysinline readnone {83 ret void84}85; CHECK: %[[#FN9]] = OpFunction %[[#VOID]] Inline|Pure %[[#FN]]86; CHECK: OpFunctionEnd87