[DPWBS-1131] feat(RegisterBankSelect): add case for G_SHL, G_ASHR, G_…

…LSHR to getInstrMapping

Allthough all legal cases are already inferred correctly in the default case of getInstrMapping,
I decided to add them explicitly to the same-kind-of-operand handling.

add regbankselect tests for all legal inputs

llvm/lib/Target/TriCore/TriCoreRegisterBankInfo.cpp

@@ -262,6 +262,10 @@ TriCoreRegisterBankInfo::getInstrMapping(const MachineInstr &MI) const {
   case TargetOpcode::G_AND:
   case TargetOpcode::G_OR:
   case TargetOpcode::G_XOR:
+  // Shifts.
+  case TargetOpcode::G_SHL:
+  case TargetOpcode::G_LSHR:
+  case TargetOpcode::G_ASHR:
     return getSameKindOfOperandsMapping(MI);
   default:
     break;

llvm/test/CodeGen/TriCore/GlobalIsel/regbankselect-shifts.mir

@@ -0,0 +1,53 @@
+# RUN: llc -O0 -mtriple=tricore -global-isel -run-pass=regbankselect -verify-machineinstrs %s -o - | FileCheck %s
+
+---
+name:            test_shl
+legalized:       true
+registers:
+  - { id: 0, class: _ }
+  - { id: 1, class: _ }
+body: |
+  bb.0:
+    ; CHECK-LABEL: name: test_shl
+    ; CHECK: [[D4:%[0-9]+]]:dataregbank(s32) = COPY $d4
+    ; CHECK: [[D5:%[0-9]+]]:dataregbank(s32) = COPY $d5
+    ; CHECK: [[SHL:%[0-9]+]]:dataregbank(s32) = G_SHL [[D4]], [[D5]]
+    %0:_(s32) = COPY $d4
+    %1:_(s32) = COPY $d5
+    %2:_(s32) = G_SHL %0, %1
+    $d2 = COPY %2(s32)
+...
+---
+name:            test_lshr
+legalized:       true
+registers:
+  - { id: 0, class: _ }
+  - { id: 1, class: _ }
+body: |
+  bb.0:
+    ; CHECK-LABEL: name: test_lshr
+    ; CHECK: [[D4:%[0-9]+]]:dataregbank(s32) = COPY $d4
+    ; CHECK: [[D5:%[0-9]+]]:dataregbank(s32) = COPY $d5
+    ; CHECK: [[SHL:%[0-9]+]]:dataregbank(s32) = G_LSHR [[D4]], [[D5]]
+    %0:_(s32) = COPY $d4
+    %1:_(s32) = COPY $d5
+    %2:_(s32) = G_LSHR %0, %1
+    $d2 = COPY %2(s32)
+...
+---
+name:            test_ashr
+legalized:       true
+registers:
+  - { id: 0, class: _ }
+  - { id: 1, class: _ }
+body: |
+  bb.0:
+    ; CHECK-LABEL: name: test_ashr
+    ; CHECK: [[D4:%[0-9]+]]:dataregbank(s32) = COPY $d4
+    ; CHECK: [[D5:%[0-9]+]]:dataregbank(s32) = COPY $d5
+    ; CHECK: [[SHL:%[0-9]+]]:dataregbank(s32) = G_ASHR [[D4]], [[D5]]
+    %0:_(s32) = COPY $d4
+    %1:_(s32) = COPY $d5
+    %2:_(s32) = G_ASHR %0, %1
+    $d2 = COPY %2(s32)
+...