Merge branch 'main' of https://gitlab.eduxiji.net/T202410486202978/sysy-compiler

src/midend/analyses/LoopIndVar.cpp

@@ -120,7 +120,7 @@ void LoopInductionVariableAnalysis::findIndVar(Ptr<Loop> loop) {
                 if (auto operInst = castPtr<OperInst>(inst)) {
                     if (operInst->isBinary() && (operInst->op() == OperInst::Operator::Add || operInst->op() == OperInst::Operator::Sub || operInst->op() == OperInst::Operator::Mul || operInst->op() == OperInst::Operator::Div)) {
                         // 检查操作数是否为归纳变量和循环不变量的组合
-                        if (this->invariantCtx->isInvariant(operInst->lhs())) {
+                        if (this->invariantCtx->isInvariant(operInst->lhs()) && operInst->rhs().isRegister()) {
                             auto rhsReg = operInst->rhs().getRegister();
                             if (indVars.find(rhsReg) != indVars.end()) {
                                 // 将新发现的归纳变量加入集合