[SubZero] Implement lowerSwitch for MIPS

src/IceTargetLoweringMIPS32.cpp

 //
 //                        The Subzero Code Generator
 //
 // This file is distributed under the University of Illinois Open Source
 // License. See LICENSE.TXT for details.
 //
 //===----------------------------------------------------------------------===//
 ///
 /// \file
 /// \brief Implements the TargetLoweringMIPS32 class, which consists almost
@@ skipping 2300 matching lines @@
     _sw(ValueLo, llvm::cast<OperandMIPS32Mem>(loOperand(NewAddr)));
   } else {
     Variable *ValueR = legalizeToReg(Value);
     _sw(ValueR, NewAddr);
   }
 }
 
 void TargetMIPS32::doAddressOptStore() { UnimplementedError(getFlags()); }
 
 void TargetMIPS32::lowerSwitch(const InstSwitch *Instr) {
-  UnimplementedLoweringError(this, Instr);
+  Operand *Src = Instr->getComparison();
+  SizeT NumCases = Instr->getNumCases();
+  if (Src->getType() == IceType_i64) {
+    Src = legalizeUndef(Src);
+    Variable *Src0Lo = legalizeToReg(loOperand(Src));
+    Variable *Src0Hi = legalizeToReg(hiOperand(Src));
+    for (SizeT I = 0; I < NumCases; ++I) {
+      Operand *ValueLo = Ctx->getConstantInt32(Instr->getValue(I));
+      Operand *ValueHi = Ctx->getConstantInt32(Instr->getValue(I) >> 32);
+      CfgNode *TargetTrue = Instr->getLabel(I);
+      CfgNode *NoTarget = nullptr;
+      ValueHi = legalize(ValueHi, Legal_Reg);

[Jim Stichnoth, 2016/08/30 13:20:36]

Just use legalizeToReg() here for for ValueLo?

[jaydeep.patil, 2016/08/31 04:10:23]

Done.

+      InstMIPS32Label *IntraLabel = InstMIPS32Label::create(Func, this);
+      _br(NoTarget, NoTarget, Src0Hi, ValueHi, IntraLabel,
+          CondMIPS32::Cond::NE);
+      ValueLo = legalize(ValueLo, Legal_Reg);
+      _br(NoTarget, TargetTrue, Src0Lo, ValueLo, CondMIPS32::Cond::EQ);
+      Context.insert(IntraLabel);
+    }
+    _br(Instr->getLabelDefault());
+    return;
+  }
+  Variable *SrcVar = legalizeToReg(Src);
+  assert(SrcVar->mustHaveReg());
+  for (SizeT I = 0; I < NumCases; ++I) {
+    Operand *Value = Ctx->getConstantInt32(Instr->getValue(I));
+    CfgNode *TargetTrue = Instr->getLabel(I);
+    CfgNode *NoTargetFlase = nullptr;

[Jim Stichnoth, 2016/08/30 13:20:36]

s/Flase/False/

also, use "static constexpr" or "constexpr" for these self-documenting constants
(Subzero isn't consistent about whether to use "static")

[jaydeep.patil, 2016/08/31 04:10:23]

Done.

+    Value = legalize(Value, Legal_Reg);
+    _br(NoTargetFlase, TargetTrue, SrcVar, Value, CondMIPS32::Cond::EQ);
+  }
+  _br(Instr->getLabelDefault());
 }
 
 void TargetMIPS32::lowerBreakpoint(const InstBreakpoint *Instr) {
   UnimplementedLoweringError(this, Instr);
 }
 
 void TargetMIPS32::lowerUnreachable(const InstUnreachable *Instr) {
   UnimplementedLoweringError(this, Instr);
 }
 
@@ skipping 242 matching lines @@
   Str << "\t.set\t"
       << "nomips16\n";
 }
 
 SmallBitVector TargetMIPS32::TypeToRegisterSet[RCMIPS32_NUM];
 SmallBitVector TargetMIPS32::TypeToRegisterSetUnfiltered[RCMIPS32_NUM];
 SmallBitVector TargetMIPS32::RegisterAliases[RegMIPS32::Reg_NUM];
 
 } // end of namespace MIPS32
 } // end of namespace Ice