public AlphaRewriter(AlphaArchitecture arch, EndianImageReader rdr, IStorageBinder binder, IRewriterHost host)
{
this.arch = arch;
this.rdr = rdr;
this.binder = binder;
this.host = host;
this.dasm = new AlphaDisassembler(this.arch, rdr).GetEnumerator();
this.instr = null !;
this.m = null !;
}
public IEnumerator <RtlInstructionCluster> GetEnumerator()
{
while (dasm.MoveNext())
{
this.instr = dasm.Current;
var instrs = new List <RtlInstruction>();
this.m = new RtlEmitter(instrs);
this.iclass = instr.InstructionClass;
switch (instr.Mnemonic)
{
default:
EmitUnitTest();
Invalid();
host.Warn(
instr.Address,
string.Format(
"Alpha AXP instruction '{0}' not supported yet.",
instr.Mnemonic));
break;
case Mnemonic.invalid:
Invalid();
break;
case Mnemonic.addf_c: RewriteFpuOp(m.FAdd); break;
case Mnemonic.adds: RewriteFpuOp(m.FAdd); break;
case Mnemonic.adds_c: RewriteFpuOp(m.FAdd); break;
case Mnemonic.addl: RewriteBin(addl); break;
case Mnemonic.addl_v: RewriteBinOv(addl); break;
case Mnemonic.addt: RewriteFpuOp(m.FAdd); break;
case Mnemonic.addq: RewriteBin(addq); break;
case Mnemonic.addq_v: RewriteBinOv(addq); break;
case Mnemonic.and: RewriteBin(and); break;
case Mnemonic.beq: RewriteBranch(m.Eq0); break;
case Mnemonic.bge: RewriteBranch(m.Ge0); break;
case Mnemonic.bgt: RewriteBranch(m.Gt0); break;
case Mnemonic.bic: RewriteBin(bic); break;
case Mnemonic.bis: RewriteBin(bis); break;
case Mnemonic.blbc: RewriteBranch(lbc); break;
case Mnemonic.blbs: RewriteBranch(lbs); break;
case Mnemonic.ble: RewriteBranch(m.Le0); break;
case Mnemonic.blt: RewriteBranch(m.Lt0); break;
case Mnemonic.bne: RewriteBranch(m.Ne0); break;
case Mnemonic.br: RewriteBr(); break;
case Mnemonic.bsr: RewriteBr(); break;
case Mnemonic.cmovlt: RewriteCmov(m.Lt0); break;
case Mnemonic.cmovne: RewriteCmov(m.Ne0); break;
case Mnemonic.cmovge: RewriteCmov(m.Ge0); break;
case Mnemonic.cmovlbc: RewriteCmov(lbc); break;
case Mnemonic.cmovlbs: RewriteCmov(lbs); break;
case Mnemonic.cmpbge: RewriteInstrinsic("__cmpbge"); break;
case Mnemonic.cmpeq: RewriteCmp(m.Eq); break;
case Mnemonic.cmple: RewriteCmp(m.Le); break;
case Mnemonic.cmplt: RewriteCmp(m.Lt); break;
case Mnemonic.cmpteq: RewriteCmpt(m.Eq); break;
case Mnemonic.cmptle: RewriteCmpt(m.Le); break;
case Mnemonic.cmptlt: RewriteCmpt(m.Lt); break;
case Mnemonic.cmpule: RewriteCmp(m.Ule); break;
case Mnemonic.cmpult: RewriteCmp(m.Ult); break;
case Mnemonic.cpys: RewriteCpys("__cpys"); break;
case Mnemonic.cpyse: RewriteCpys("__cpyse"); break;
case Mnemonic.cpysn: RewriteCpys("__cpysn"); break;
case Mnemonic.cvtlq: RewriteCvt(PrimitiveType.Int32, PrimitiveType.Int64); break;
case Mnemonic.cvtql: RewriteCvt(PrimitiveType.Int64, PrimitiveType.Int32); break;
case Mnemonic.cvtqs: RewriteCvt(PrimitiveType.Int64, PrimitiveType.Real32); break;
case Mnemonic.cvtqt: RewriteCvt(PrimitiveType.Int64, PrimitiveType.Real64); break;
case Mnemonic.cvttq_c: RewriteCvt(PrimitiveType.Real64, PrimitiveType.Int64); break;
case Mnemonic.cvtts: RewriteCvt(PrimitiveType.Real64, PrimitiveType.Real32); break;
case Mnemonic.divs: RewriteFpuOp(m.FDiv); break;
case Mnemonic.divt: RewriteFpuOp(m.FDiv); break;
case Mnemonic.extbl: RewriteInstrinsic("__extbl"); break;
case Mnemonic.extlh: RewriteInstrinsic("__extlh"); break;
case Mnemonic.extll: RewriteInstrinsic("__extll"); break;
case Mnemonic.extqh: RewriteInstrinsic("__extqh"); break;
case Mnemonic.extql: RewriteInstrinsic("__extql"); break;
case Mnemonic.extwh: RewriteInstrinsic("__extwh"); break;
case Mnemonic.extwl: RewriteInstrinsic("__extwl"); break;
case Mnemonic.fbeq: RewriteFBranch(Operator.Feq); break;
case Mnemonic.fbge: RewriteFBranch(Operator.Fge); break;
case Mnemonic.fbgt: RewriteFBranch(Operator.Fgt); break;
case Mnemonic.fble: RewriteFBranch(Operator.Fle); break;
case Mnemonic.fblt: RewriteFBranch(Operator.Flt); break;
case Mnemonic.fbne: RewriteFBranch(Operator.Fne); break;
case Mnemonic.fcmoveq: RewriteFCmov(Operator.Feq); break;
case Mnemonic.fcmovle: RewriteFCmov(Operator.Fle); break;
case Mnemonic.fcmovlt: RewriteFCmov(Operator.Flt); break;
case Mnemonic.fcmovne: RewriteFCmov(Operator.Fne); break;
case Mnemonic.halt: RewriteHalt(); break;
case Mnemonic.implver: RewriteInstrinsic("__implver"); break;
case Mnemonic.insbl: RewriteInstrinsic("__insbl"); break;
case Mnemonic.inslh: RewriteInstrinsic("__inslh"); break;
case Mnemonic.insll: RewriteInstrinsic("__insll"); break;
case Mnemonic.insqh: RewriteInstrinsic("__insqh"); break;
case Mnemonic.insql: RewriteInstrinsic("__insql"); break;
case Mnemonic.inswl: RewriteInstrinsic("__inswl"); break;
case Mnemonic.jmp: RewriteJmp(); break;
case Mnemonic.jsr: RewriteJmp(); break;
case Mnemonic.jsr_coroutine: RewriteJmp(); break;
case Mnemonic.lda: RewriteLda(0); break;
case Mnemonic.ldah: RewriteLda(16); break;
case Mnemonic.ldbu: RewriteLd(PrimitiveType.Byte, PrimitiveType.Word64); break;
case Mnemonic.ldf: RewriteLd(PrimitiveType.Real32, PrimitiveType.Real64); break;
case Mnemonic.ldg: RewriteLd(PrimitiveType.Real64, PrimitiveType.Real64); break;
case Mnemonic.ldl: RewriteLd(PrimitiveType.Int32, PrimitiveType.Word64); break;
case Mnemonic.ldl_l: RewriteLoadInstrinsic("__ldl_l", PrimitiveType.Word32); break;
case Mnemonic.ldq_l: RewriteLoadInstrinsic("__ldq_l", PrimitiveType.Word64); break;
case Mnemonic.ldq: RewriteLd(PrimitiveType.Word64, PrimitiveType.Word64); break;
case Mnemonic.ldq_u: RewriteLd(PrimitiveType.Word64, PrimitiveType.Word64); break;
case Mnemonic.lds: RewriteLd(PrimitiveType.Real32, PrimitiveType.Real64); break;
case Mnemonic.ldt: RewriteLd(PrimitiveType.Real64, PrimitiveType.Real64); break;
case Mnemonic.ldwu: RewriteLd(PrimitiveType.UInt16, PrimitiveType.Word64); break;
case Mnemonic.mskbl: RewriteInstrinsic("__mskbl"); break;
case Mnemonic.msklh: RewriteInstrinsic("__msklh"); break;
case Mnemonic.mskll: RewriteInstrinsic("__mskll"); break;
case Mnemonic.mskqh: RewriteInstrinsic("__mskqh"); break;
case Mnemonic.mskql: RewriteInstrinsic("__mskql"); break;
case Mnemonic.mskwl: RewriteInstrinsic("__mskwl"); break;
case Mnemonic.mull: RewriteBin(mull); break;
case Mnemonic.mulq: RewriteBin(mulq); break;
case Mnemonic.muls: RewriteFpuOp(m.FMul); break;
case Mnemonic.mult: RewriteFpuOp(m.FMul); break;
case Mnemonic.mult_c: RewriteFpuOp(m.FMul); break;
case Mnemonic.ornot: RewriteBin(ornot); break;
case Mnemonic.ret: RewriteJmp(); break;
case Mnemonic.s4addl: RewriteBin(s4addl); break;
case Mnemonic.s4addq: RewriteBin(s4addq); break;
case Mnemonic.s8addl: RewriteBin(s8addl); break;
case Mnemonic.s8addq: RewriteBin(s8addq); break;
case Mnemonic.s4subl: RewriteBin(s4subl); break;
case Mnemonic.s4subq: RewriteBin(s4subq); break;
case Mnemonic.s8subl: RewriteBin(s8subl); break;
case Mnemonic.s8subq: RewriteBin(s8subq); break;
case Mnemonic.sll: RewriteBin(sll); break;
case Mnemonic.src: RewriteInstrinsic("__src"); break;
case Mnemonic.srl: RewriteBin(srl); break;
case Mnemonic.stb: RewriteSt(PrimitiveType.Byte); break;
case Mnemonic.stf: RewriteSt(PrimitiveType.Real32); break;
case Mnemonic.stl: RewriteSt(PrimitiveType.Word32); break;
case Mnemonic.stl_c: RewriteStoreInstrinsic("__stl_c", PrimitiveType.Word32); break;
case Mnemonic.stq_c: RewriteStoreInstrinsic("__stq_c", PrimitiveType.Word64); break;
case Mnemonic.stq_u: RewriteStoreInstrinsic("__stq_u", PrimitiveType.Word64); break;
case Mnemonic.stg: RewriteSt(PrimitiveType.Real64); break;
case Mnemonic.stw: RewriteSt(PrimitiveType.Word16); break;
case Mnemonic.sts: RewriteSt(PrimitiveType.Real32); break;
case Mnemonic.stt: RewriteSt(PrimitiveType.Real64); break;
case Mnemonic.stq: RewriteSt(PrimitiveType.Word64); break;
case Mnemonic.subf_s: RewriteFpuOp(m.FSub); break;
case Mnemonic.subf_uc: RewriteFpuOp(m.FSub); break;
case Mnemonic.subl: RewriteBin(subl); break;
case Mnemonic.subl_v: RewriteBinOv(subl); break;
case Mnemonic.subq: RewriteBin(subq); break;
case Mnemonic.subq_v: RewriteBinOv(subq); break;
case Mnemonic.subs: RewriteFpuOp(m.FSub); break;
case Mnemonic.subt: RewriteFpuOp(m.FSub); break;
case Mnemonic.trapb: RewriteTrapb(); break;
case Mnemonic.umulh: RewriteBin(umulh); break;
case Mnemonic.xor: RewriteBin(xor); break;
case Mnemonic.zap: RewriteInstrinsic("__zap"); break;
case Mnemonic.zapnot: RewriteInstrinsic("__zapnot"); break;
}
yield return(m.MakeCluster(instr.Address, instr.Length, iclass));
}
}