106 lines · plain
1; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s2 3; CHECK-DAG: OpName [[SCALAR_SHL:%.+]] "scalar_shl"4; CHECK-DAG: OpName [[SCALAR_LSHR:%.+]] "scalar_lshr"5; CHECK-DAG: OpName [[SCALAR_ASHR:%.+]] "scalar_ashr"6; CHECK-DAG: OpName [[SCALAR_AND:%.+]] "scalar_and"7; CHECK-DAG: OpName [[SCALAR_OR:%.+]] "scalar_or"8; CHECK-DAG: OpName [[SCALAR_XOR:%.+]] "scalar_xor"9 10; CHECK-NOT: DAG-FENCE11 12; CHECK-DAG: [[SCALAR:%.+]] = OpTypeInt 3213; CHECK-DAG: [[SCALAR_FN:%.+]] = OpTypeFunction [[SCALAR]] [[SCALAR]] [[SCALAR]]14 15; CHECK-NOT: DAG-FENCE16 17 18;; Test shl on scalar:19define i32 @scalar_shl(i32 %a, i32 %b) {20 %c = shl i32 %a, %b21 ret i32 %c22}23 24; CHECK: [[SCALAR_SHL]] = OpFunction [[SCALAR]] None [[SCALAR_FN]]25; CHECK-NEXT: [[A:%.+]] = OpFunctionParameter [[SCALAR]]26; CHECK-NEXT: [[B:%.+]] = OpFunctionParameter [[SCALAR]]27; CHECK: OpLabel28; CHECK: [[C:%.+]] = OpShiftLeftLogical [[SCALAR]] [[A]] [[B]]29; CHECK: OpReturnValue [[C]]30; CHECK-NEXT: OpFunctionEnd31 32 33;; Test lshr on scalar:34define i32 @scalar_lshr(i32 %a, i32 %b) {35 %c = lshr i32 %a, %b36 ret i32 %c37}38 39; CHECK: [[SCALAR_LSHR]] = OpFunction [[SCALAR]] None [[SCALAR_FN]]40; CHECK-NEXT: [[A:%.+]] = OpFunctionParameter [[SCALAR]]41; CHECK-NEXT: [[B:%.+]] = OpFunctionParameter [[SCALAR]]42; CHECK: OpLabel43; CHECK: [[C:%.+]] = OpShiftRightLogical [[SCALAR]] [[A]] [[B]]44; CHECK: OpReturnValue [[C]]45; CHECK-NEXT: OpFunctionEnd46 47 48;; Test ashr on scalar:49define i32 @scalar_ashr(i32 %a, i32 %b) {50 %c = ashr i32 %a, %b51 ret i32 %c52}53 54; CHECK: [[SCALAR_ASHR]] = OpFunction [[SCALAR]] None [[SCALAR_FN]]55; CHECK-NEXT: [[A:%.+]] = OpFunctionParameter [[SCALAR]]56; CHECK-NEXT: [[B:%.+]] = OpFunctionParameter [[SCALAR]]57; CHECK: OpLabel58; CHECK: [[C:%.+]] = OpShiftRightArithmetic [[SCALAR]] [[A]] [[B]]59; CHECK: OpReturnValue [[C]]60; CHECK-NEXT: OpFunctionEnd61 62 63;; Test and on scalar:64define i32 @scalar_and(i32 %a, i32 %b) {65 %c = and i32 %a, %b66 ret i32 %c67}68 69; CHECK: [[SCALAR_AND]] = OpFunction [[SCALAR]] None [[SCALAR_FN]]70; CHECK-NEXT: [[A:%.+]] = OpFunctionParameter [[SCALAR]]71; CHECK-NEXT: [[B:%.+]] = OpFunctionParameter [[SCALAR]]72; CHECK: OpLabel73; CHECK: [[C:%.+]] = OpBitwiseAnd [[SCALAR]] [[A]] [[B]]74; CHECK: OpReturnValue [[C]]75; CHECK-NEXT: OpFunctionEnd76 77 78;; Test or on scalar:79define i32 @scalar_or(i32 %a, i32 %b) {80 %c = or i32 %a, %b81 ret i32 %c82}83 84; CHECK: [[SCALAR_OR]] = OpFunction [[SCALAR]] None [[SCALAR_FN]]85; CHECK-NEXT: [[A:%.+]] = OpFunctionParameter [[SCALAR]]86; CHECK-NEXT: [[B:%.+]] = OpFunctionParameter [[SCALAR]]87; CHECK: OpLabel88; CHECK: [[C:%.+]] = OpBitwiseOr [[SCALAR]] [[A]] [[B]]89; CHECK: OpReturnValue [[C]]90; CHECK-NEXT: OpFunctionEnd91 92 93;; Test xor on scalar:94define i32 @scalar_xor(i32 %a, i32 %b) {95 %c = xor i32 %a, %b96 ret i32 %c97}98 99; CHECK: [[SCALAR_XOR]] = OpFunction [[SCALAR]] None [[SCALAR_FN]]100; CHECK-NEXT: [[A:%.+]] = OpFunctionParameter [[SCALAR]]101; CHECK-NEXT: [[B:%.+]] = OpFunctionParameter [[SCALAR]]102; CHECK: OpLabel103; CHECK: [[C:%.+]] = OpBitwiseXor [[SCALAR]] [[A]] [[B]]104; CHECK: OpReturnValue [[C]]105; CHECK-NEXT: OpFunctionEnd106