Added an assert and removed the commutative from the shift.

Author: stefanp-synopsys

llvm/lib/Target/RISCV/RISCVISelLowering.cpp

@@ -14325,10 +14325,11 @@ static bool checkAddiForShift(SDValue AddI, int64_t &AddConst,
 
   APInt AddVal;
   SDValue SHLVal;
-  sd_match(AddI, m_Add(m_Value(SHLVal), m_ConstInt(AddVal)));
+  assert(sd_match(AddI, m_Add(m_Value(SHLVal), m_ConstInt(AddVal))) &&
+         "Expected an addi with a constant addition.");
 
   APInt VShift;
-  if (!sd_match(SHLVal, m_c_BinOp(ISD::SHL, m_Value(), m_ConstInt(VShift))))
+  if (!sd_match(SHLVal, m_BinOp(ISD::SHL, m_Value(), m_ConstInt(VShift))))
     return false;
 
   if (VShift.slt(1) || VShift.sgt(3))