[Mips] Do not emit instruction teq if divisor is non-zero immediate value in FastISel implementation

Add a check before emitting the teq instruction to check whether
the divisor is a non-zero immediate value.

Fix #130629.

Author: yingopq

llvm/lib/Target/Mips/MipsFastISel.cpp

@@ -1947,7 +1947,10 @@ bool MipsFastISel::selectDivRem(const Instruction *I, unsigned ISDOpcode) {
     return false;
 
   emitInst(DivOpc).addReg(Src0Reg).addReg(Src1Reg);
-  emitInst(Mips::TEQ).addReg(Src1Reg).addReg(Mips::ZERO).addImm(7);
+  if (!isa<ConstantInt>(I->getOperand(1)) ||
+      dyn_cast<ConstantInt>(I->getOperand(1))->isZero()) {
+    emitInst(Mips::TEQ).addReg(Src1Reg).addReg(Mips::ZERO).addImm(7);
+  }
 
   Register ResultReg = createResultReg(&Mips::GPR32RegClass);
   if (!ResultReg)

llvm/test/CodeGen/Mips/Fast-ISel/div-imm.ll

@@ -0,0 +1,43 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc < %s -march=mipsel -mcpu=mips32 -O0 -relocation-model=pic | FileCheck %s
+
+define i32 @div_imm_non_zero(i32 signext %a) nounwind {
+; CHECK-LABEL: div_imm_non_zero:
+; CHECK:       # %bb.0: # %entry
+; CHECK-NEXT:    addiu $sp, $sp, -8
+; CHECK-NEXT:    sw $4, 4($sp)
+; CHECK-NEXT:    lw $1, 4($sp)
+; CHECK-NEXT:    addiu $2, $zero, 1234
+; CHECK-NEXT:    div $zero, $1, $2
+; CHECK-NEXT:    mflo $2
+; CHECK-NEXT:    addiu $sp, $sp, 8
+; CHECK-NEXT:    jr $ra
+; CHECK-NEXT:    nop
+entry:
+  %a.addr = alloca i32, align 4
+  store i32 %a, ptr %a.addr, align 4
+  %0 = load i32, ptr %a.addr, align 4
+  %div = sdiv i32 %0, 1234
+  ret i32 %div
+}
+
+define i32 @div_imm_zero(i32 signext %a) nounwind {
+; CHECK-LABEL: div_imm_zero:
+; CHECK:       # %bb.0: # %entry
+; CHECK-NEXT:    addiu $sp, $sp, -8
+; CHECK-NEXT:    sw $4, 4($sp)
+; CHECK-NEXT:    lw $1, 4($sp)
+; CHECK-NEXT:    addiu $2, $zero, 0
+; CHECK-NEXT:    div $zero, $1, $zero
+; CHECK-NEXT:    teq $zero, $zero, 7
+; CHECK-NEXT:    mflo $2
+; CHECK-NEXT:    addiu $sp, $sp, 8
+; CHECK-NEXT:    jr $ra
+; CHECK-NEXT:    nop
+entry:
+  %a.addr = alloca i32, align 4
+  store i32 %a, ptr %a.addr, align 4
+  %0 = load i32, ptr %a.addr, align 4
+  %div = sdiv i32 %0, 0
+  ret i32 %div
+}