123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888 |
- /*
- * To change this license header, choose License Headers in Project Properties.
- * To change this template file, choose Tools | Templates
- * and open the template in the editor.
- */
- package target.mips;
- import API.Instruction;
- import API.Utils;
- import IntermediaryCode.Block;
- import IntermediaryCode.Code;
- import IntermediaryCode.DataFrame;
- import IntermediaryCode.OcorrenceFinderProcessor;
- import ast.Node;
- import compiler.IvannosysTargetArch;
- import java.io.IOException;
- import java.util.ArrayList;
- import java.util.HashMap;
- import java.util.LinkedHashMap;
- import java.util.LinkedList;
- import java.util.Map;
- import java.util.logging.Level;
- import java.util.logging.Logger;
- /**
- * MipS tranSlation
- *
- * @author EUGENIO CARVALHO
- */
- public class Gen extends API.Gen {
- protected HashMap<String, String> AddressCalculated = new HashMap<>();
- // protected AllocatorMipsProcessor allocation = new AllocatorMipsProcessor();
- protected HashMap<String, String> comments = new HashMap<String, String>() {
- {
- put("beq", "branch if equals");
- put("bne", "branch if not equals");
- put("blez", "branch if register <= 0");
- put("bltz", "branch if register < 0");
- put("bgez", "branch if register >= 0");
- put("bgtz", "branch if register > 0");
- }
- };
- private ArrayList<String> returnRegisters;
- private HashMap<String, Boolean> ctrlDataUpdate = new HashMap<>();
- private int WORD_INC = 4;
- public Gen() {
- super("MIPS");
- Init();
- }
- @Override
- public IvannosysTargetArch Export() {
- Code Target = getTarget();
- System.out.println(Target.GData());
- String out = "", tmp;
- Integer index;
- for (Map.Entry<String, Block> x : Target.stmts.entrySet()) {
- System.out.println(x.getValue().Data());
- index = 0;
- for (Instruction instr : x.getValue().Instructions()) {
- // System.out.println("Export:" + instr);
- tmp = instr.G("inst.dec");
- if (tmp.equals("")) {
- continue;
- }
- out = out
- // .concat(Integer.toHexString(index))
- // .concat(":")
- // .concat(String.format("%X\n", tmp.trim()) + "\n");
- .concat(tmp + "\n");
- index++;
- }
- }
- // System.out.println("Export:" + out);
- // Grava resutlado no arquivo de memoria do simulador
- Utils.WriteFile("\\src\\tools\\mips\\memory\\mi.memory", out);
- try {
- new tools.mips.MipsProcessor(new tools.mips.MipsSettings() {
- {
- debugmode = false;
- SetInstructionMemoryFile("\\src\\tools\\mips\\memory\\mi.memory");
- SetDataMemoryFile("\\src\\tools\\mips\\memory\\md.memory");
- }
- }).Run().Persist();
- } catch (IOException ex) {
- Logger.getLogger(Gen.class.getName()).log(Level.SEVERE, null, ex);
- }
- throw new UnsupportedOperationException("Not supported yet."); //To change body of generated methods, choose Tools | Templates.
- }
- public void CopyData(LinkedHashMap<String, Node> dst, LinkedHashMap<String, Node> src) throws Exception {
- Node value;
- // for (Map.Entry<String, Node> x : data.values().entrySet()) {
- // v = x.getValue();
- // ctrlDataUpdate.put(v.G("id"), Boolean.TRUE);
- // v.S("size", v.getInt("size") * WORD_INC);
- // }
- for (Map.Entry<String, Node> x : src.entrySet()) {
- value = x.getValue().copy();
- value.S("size", value.getInt("size") * WORD_INC);
- // System.out.println("Copy:[" + x.getKey() + "][" + value.G("id") + "]" + value.G("size") + "\n" + value);
- dst.put(x.getKey(), value);
- }
- // for (Map.Entry<String, Node> x : src.entrySet()) {
- // System.out.println("size:" + x.getKey() + x.getValue());
- // }
- }
- public IvannosysTargetArch SetTAC(Code tac) {
- try {
- this.tac = tac;
- CopyData(target.GData().values(), tac.GData().values());
- } catch (Exception ex) {
- Logger.getLogger(Gen.class.getName()).log(Level.SEVERE, null, ex);
- }
- return this;
- }
- public void Init() {
- BeforeTranslateBlock("live.var", new OcorrenceFinderProcessor());
- BeforeTranslateBlock("register.alloc", new AllocatorMipsProcessor());
- AfterTranslateBlock("oti.1", new OtimizationMips());
- AfterTranslate("update.address", new UpdateAddressProcessor());
- getTarget()
- .Template(new TemplateMips())
- .Formats(new HashMap<String, String>() {
- {
- String base = "{[HEX(global.position,_addressLen,' ')]': '}{[INSTDEC()]}{[T(1)]}{[inst]}' '",
- end = "{[T(1)]}{'.'[tac.position]'.'}{'--'[comment]}";
- put("S", base + end);
- put("label", "' '{[HEX(global.reference.position,8,0)]}{[INSTDEC()]}{' <'[label]'>:'");
- // TemplateMips para instrucoes do tipo J
- put("J", base + "{[rs]}{[L(label,'hex')]}" + end);
- // TemplateMips para instrucoes do tipo R
- put("R0", base + "{[rd]','}{[rs]','}{[rt]}" + end);
- put("R1", base + "{[rs]','}{[rt]}" + end);
- put("R2", base + "{[rs]}" + end);
- put("R3", base + "{[rt]','}{[rs]}" + end);
- put("R4", base + "{[rd]','}{[rt]','}{[sa]} " + end);
- put("R5", base + "{[rd]}" + end);
- // TemplateMips para instrucoes do tipo I
- put("I0", base + "{[rt]','}{[rs]','}{[L(label,'hex')]|[offset]|[rd]}" + end); //[rs:sp,rt:7,rd:sp]
- // SW,LW
- put("I1", base + "{[rt]','}{[OFFSET(offset,rs)]}" + end);
- // Templates avulsos
- put("PSEUDO", base);
- }
- });
- }
- @Override
- public void TranslateLabel(Instruction inst) {
- Add(new Instruction()
- .S("type", "label")
- .S("format", "norender")
- // .S("format", "label")
- .S("tac.position", inst.G("block.position"))
- .S("label", inst.G("label")));
- getTarget().RegisterLabelAddress(inst.G("label"));
- }
- @Override
- public void TranslateCopy(Instruction inst) throws Exception {
- //Se o valor deve ser armazenado em memoria
- String regDst = inst.G("reg.dst");
- if (inst.eq("reg.dst.store", "true")) {
- // System.out.println("::" + inst);
- inst.S("reg.p1", regDst);
- String dst = inst.G("dst");
- LoadParam(inst, "p1");
- // StoreWord(inst.G("reg.p1"),
- StoreWord(regDst,
- GlobalOrFrameRegister(dst),
- getTarget().Block().Data().Offset(dst))
- .S("tac.position", inst.G("block.position"))
- .S("comment", "store content of " + inst.G("reg.p1") + " in " + dst);
- } else {
- Copy(inst, regDst)
- .S("tac.position", inst.G("block.position"))
- .S("comment", "copy " + inst.G("dst") + " ← " + inst.G("p1"));
- }
- }
- @Override
- public void TranslateAssign(Instruction inst) throws Exception {
- String instruction = Mips.InstructionByOperator(inst);
- String rd = inst.G("reg.dst"),
- dst = inst.G("dst");
- Instruction ninst = new Instruction(instruction).S("tac.position", inst.G("block.position"));
- switch (Mips.Codops.get(instruction).G("type")) {
- //addi, addiu, slti, sltiu
- case "I":
- ninst.S("rt", rd);
- // System.out.println("Assign:" + inst);
- if (inst.eq("p2value", "true")) {
- LoadParam(inst, "p1");
- ninst.S("offset", inst.G("p2"))
- .S("rs", inst.G("reg.p1"));
- } else {
- LoadParam(inst, "p2");
- ninst.S("offset", inst.G("p1"))
- .S("rs", inst.G("reg.p2"));
- }
- break;
- // mult, divu, sgtu ,sltu
- // sra, srl, sll
- case "R":
- // System.out.println("SLL:" + inst);
- LoadParam(inst);
- //
- if (ninst.in("inst", "sll,srl,sra".split(","))) {
- rd = inst.G("reg.dst");
- ninst.S("sa", inst.G("p2"))
- .S("rt", inst.G("reg.p1"));
- } else {
- ninst.S("rs", inst.G("reg.p1"))
- .S("rt", inst.G("reg.p2"));
- }
- ninst.S("rd", rd);
- // System.out.println("inst["+rd+"]" + inst + ":" + ninst);
- break;
- }
- Add(ninst);
- // Verifica se a expr possui overflow
- String overflow = Mips.Instruction(instruction).G("overflow");
- if (!overflow.equals("")) {
- Add(new Instruction("R", overflow)
- .S("rd", rd)
- .S("tac.position", inst.G("block.position"))
- );
- }
- // Gravar na memoria?
- // System.out.println("ASSIGN:" + inst);
- StoreResult(inst, rd, dst);
- }
- @Override
- public void TranslateJump(Instruction inst) {
- Add(new Instruction("J", "j")
- .copy("label", inst)
- .S("comment", inst.getText())
- .S("tac.position", inst.G("block.position"))
- );
- }
- @Override
- public void TranslateCall(Instruction inst) throws Exception {
- // allocation.registers.ResetArgs();
- // Before load params
- // Copy(inst, returnRegisters.remove(2))
- // .S("tac.position", inst.G("block.position"))
- // .S("comment", "push param");
- // System.out.println("Call" + inst);
- ResetReturnArgs();
- try {
- Instruction retur;
- LinkedList<Instruction> intructions = getTac().Block().Instructions();
- int base = intructions.indexOf(inst);
- for (int i = inst.getInt("nump"); i > 0; i--) {
- retur = intructions.get(base - i);
- Copy(retur, returnRegisters.remove(2))
- .S("tac.position", retur.G("global.position"))
- .S("comment", "push param");
- }
- } catch (Exception ex) {
- Logger.getLogger(Gen.class.getName()).log(Level.SEVERE, null, ex);
- }
- Add(new Instruction("J", "jal")
- .S("label", inst.G("funcname"))
- .S("comment", "jump to <" + inst.G("funcname") + ">")
- .S("tac.position", inst.G("block.position"))
- );
- // After store results
- // Restaura o array de registradores de retorno para fazer o pop dos returns
- ResetReturnArgs();
- }
- @Override
- public void TranslatePushReturn(Instruction inst) {
- // Tratado no metodo 'TranslateReturn'
- }
- @Override
- public void TranslateReturn(Instruction inst) {
- // Restaura o array de registradores de retorno
- ResetReturnArgs();
- try {
- Instruction retur;
- LinkedList<Instruction> intructions = getTac().Block().Instructions();
- int base = intructions.indexOf(inst);
- for (int i = inst.getInt("p1"); i > 0; i--) {
- retur = intructions.get(base - i);
- // System.out.println("Return:" + retur);
- Copy(retur, returnRegisters.remove(0))
- .S("tac.position", retur.G("global.position"))
- .S("comment", "push return");
- }
- } catch (Exception ex) {
- Logger.getLogger(Gen.class.getName()).log(Level.SEVERE, null, ex);
- }
- }
- /**
- * Criar uma inStrucao que copia o valor ou conteudo do regiStrador para o
- * regiStrador 'r'
- *
- * @param inst
- * @param push
- * @param rt
- */
- protected Instruction Copy(Instruction inst, String rt) {
- Instruction c;
- if (inst.eq("p1value", "true")) {
- // andi Rt,Rs,immediate | Rt <-- [Rs] + ([I15]16 || [I15..0]);
- c = Copy(rt, Registers.R_ZERO, inst.G("p1"));
- } else {
- // addu Rd,Rs,Rt | Rd <-- [Rs] + [Rt];
- LoadParam(inst, "p1");
- c = CopyReg(inst.G("reg.p1"), rt);
- }
- // System.out.println("COPY::" + c);
- return c.S("tac.position", inst.G("block.position"));
- }
- @Override
- public void TranslatePushParam(Instruction inst) {
- // Tratado no metodo 'TranslateCall'
- }
- @Override
- public void TranslatePopReturn(Instruction inst) {
- String p1 = inst.G("p1");
- StoreWord(returnRegisters.remove(0),
- GlobalOrFrameRegister(p1),
- getTarget().Block().Data().Offset(p1));
- }
- @Override
- public void TranslatePopParam(Instruction inst) {
- // todo - resetar args
- // System.out.println("PopParam:" + inst);
- String p1 = inst.G("p1");
- // O indice é 2 por conta dos dois primeiros registradores {v0, v1}
- int offset = getTarget().Block().Data().Offset(p1);
- StoreWord(returnRegisters.remove(2),
- GlobalOrFrameRegister(p1),
- offset)
- .S("tac.position", inst.G("block.position"))
- .S("comment", "pop param");
- // System.out.println("POPpARAM:" + inst);
- LoadWord(inst.G("reg.p1"), Registers.R_FP, offset);
- }
- @Override
- public void TranslateBranch(Instruction inst) throws Exception {
- String instruction = Mips.InstructionByOperator(inst);
- LoadParam(inst);
- String rs = inst.G("reg.p1");
- String rt = inst.G("reg.p2");
- Instruction I = new Instruction("I", instruction)
- .S("label", inst.G("funcname"));
- switch (instruction) {
- case "beq": // == {[inst]}' ' {[rt]},{[rs]},{immediate}
- case "bne": // !=
- I.S("rs", rs).S("rt", rt);
- break;
- case "blez": // <= 0{[inst]}' ' {[rs]},{immediate}
- case "bltz": // < 0
- case "bgez": // >= 0
- case "bgtz": // > 0
- Add(new Instruction("R", "subu")// Rd <-- [Rs] - [Rt];
- .S("rs", rs)
- .S("rt", rt)
- .S("rd", Registers.R_V0)
- .S("tac.position", inst.G("block.position"))
- .S("comment", "")
- );
- I.S("rs", Registers.R_V0);
- break;
- }
- Add(I).S("label", inst.G("label"))
- .S("tac.position", inst.G("block.position"))
- .S("comment", comments.get(instruction));
- // System.out.println("Translate branch:" + I);
- }
- @Override
- public void Prolog(String id) throws Exception {
- DataFrame data = getTarget().Block().Data();
- // Copia os dados para block target
- //Updata size in 4 bytes
- CopyData(
- data.values(),
- getTac().Block().Data().values()
- );
- // Adiciona o label
- Add(new Instruction()
- .S("type", "label")
- .S("format", "label")
- .S("label", id)
- );
- // Aloca o espaco da pilha
- Instruction alloc = Copy(Registers.R_SP, Registers.R_SP, "-" + data.Size())
- .S("comment", "p| push stack frame");
- if (!getTarget().Block().getName().equals("main")) {
- // Restaura o fp
- // Restaura o ra
- boolean call = getTac().Block().HasCall();
- int newvars = 0;
- for (String reg : new String[]{Registers.R_FP, Registers.R_RA}) {
- if (call) {
- data.Add(reg, new Node().S("type", "int").set("size", 1 * WORD_INC));
- newvars--;
- StoreWord(reg, Registers.R_SP, data.Offset(reg))
- .S("comment", "p| backup " + reg);
- }
- }
- alloc.somar("offset", newvars);
- }
- // Copia o sp para o fp
- CopyReg(Registers.R_SP, Registers.R_FP).Prepend("comment", "p|");
- ResetReturnArgs();
- }
- /**
- * Encerra a chamada de uma funcao
- *
- * @param id
- * @throws Exception
- */
- @Override
- public void Epilog(String id) throws Exception {
- DataFrame data = getTarget().Block().Data();
- if (!getTarget().Block().getName().equals("main")) {
- // Restaura o fp
- // Restaura o ra
- boolean call = getTac().Block().HasCall();
- for (String reg : new String[]{Registers.R_FP, Registers.R_RA}) {
- if (call) {
- LoadWord(reg, Registers.R_SP, data.Offset(reg))
- .S("comment", "e| restore " + reg);
- }
- }
- // Desaloca a pilha
- Copy(Registers.R_SP, Registers.R_SP, data.Size())
- .S("comment", "e|pop stack frame");
- // if (getTac().Block().HasCall()) {
- Add(new Instruction("jr")
- .S("rs", Registers.R_RA)
- .S("comment", "e|return"));
- // }[]
- } else {
- Add(new Instruction("stop").S("txt", "11111111111111111111111111111111").S("comment", "end of programa"));
- }
- }
- @Override
- public void TranslateIndexedAssignment(Instruction inst) throws Exception {
- //Fase de leitura
- IndexedRead(inst);
- //Fase de atribuicao
- IndexedDest(inst);
- }
- protected void IndexedRead(Instruction inst) {
- // Se a fonte é indexada
- if (inst.eq("src_indexed", "true")) {
- int offset = getTarget().Block().Data().Offset(inst.G("p1"));
- String p1 = inst.G("p1"),
- rt = inst.G("reg.p1"),
- rs = GlobalOrFrameRegister(p1);
- // System.out.println("Indexed read:" + inst);
- if (!inst.isNumber("p1.indice")) {
- String rd = inst.G("reg.p1.indice");
- if (!AddressCalculated.containsKey(p1)) {
- Add(new Instruction("addu")
- .S("rd", rd)
- .S("rs", rs)
- .S("rt", rd))
- .S("tac.position", inst.G("block.position"));
- AddressCalculated.put(p1, rs);
- }
- rs = rd;
- }
- // Carrega o conteudo enderecado em rt para rt
- LoadWord(rt, rs, offset)
- .S("tac.position", inst.G("block.position"));
- } else {
- // Se não é indexada carrega o parametro normalmente
- LoadParam(inst);
- }
- }
- /**
- * FaSe de atribuicao
- *
- * @param inst
- */
- protected void IndexedDest(Instruction inst) {
- // System.out.println("Indexeds:" + inst);
- String regp1 = inst.G("reg.p1"),
- regdst = inst.G("reg.dst");
- // Valor atribuido é indexado
- // 1 - Verificar se deve ser armazenado ou copiado
- boolean dstIndexed = inst.eq("dst_indexed", "true");
- if (dstIndexed || inst.eq("reg.dst.store", "true")) { // deve ser armazenado
- String dst = inst.G("dst"),
- rs = GlobalOrFrameRegister(dst),
- comment;
- int offset = getTarget().Block().Data().Offset(dst);
- if (dstIndexed) {
- if (!inst.isNumber("dst.indice")) {
- // Offset agora deve ser 0 pois o registrador conterá o endereco completo
- // offset = 0;
- String rd = inst.G("reg.dst.indice");
- if (!AddressCalculated.containsKey(dst)) {
- Add(new Instruction("addu")
- .S("rd", rd)
- .S("rs", rs)
- .S("rt", rd)
- .S("tac.position", inst.G("block.position"))
- );
- AddressCalculated.put(dst, rs);
- }
- rs = rd;
- }
- comment = "store in loaded address";
- } else {
- comment = "store in " + dst;
- }
- // System.out.println("Inst:" + inst);
- StoreWord(regp1, rs, offset)
- .S("tac.position", inst.G("block.position"))
- .S("comment", comment);
- } else { // deve ser copiado
- CopyReg(regp1, regdst)
- .S("tac.position", inst.G("block.position"));
- }
- }
- /**
- * Verificar Se o valor da atribuição ja eSta em regiStrador. CaSo não
- * eSteja o valor é carregado e o valor retornado é o nome do regiStrador
- *
- * @param inst
- * @param param
- * @return
- */
- protected String LoadParam(Instruction inst) {
- return LoadParam(inst, "p1,p2");
- }
- protected String LoadParam(Instruction inst, String params) {
- return LoadParam(inst, params.split(","));
- }
- protected String LoadParam(Instruction inst, String[] params) {
- String pname;
- for (String param : params) {
- if (!inst.Has("reg." + param + ".load")) {
- continue;
- }
- Instruction Ninst = new Instruction();
- pname = inst.G(param);
- if (inst.eq(param + "value", "true")) {
- Ninst.S("inst", "addiu") // R[$rt] ← {(imm)[15:0], 0 × 16}
- .S("rs", Registers.R_ZERO)
- .S("rt", inst.G("reg." + param))
- .S("offset", pname);
- } else {
- Ninst.S("inst", "lw") // R[$rt] ← Mem4B(R[$rs] + SignExt16b(imm))
- .S("rt", inst.G("reg." + param))
- .S("rs", GlobalOrFrameRegister(pname))
- .S("comment", "load address stored in " + pname)
- .set("offset", getTarget().Block().Data().Offset(pname));
- }
- Add(Ninst.S("tac.position", inst.G("block.position")));
- // x.S("reg." + param, reg);
- }
- return null;
- }
- /**
- * Copia o valor do regiStrador Src para o dSt
- *
- * @param src
- * @param dst
- * @return
- */
- protected Instruction CopyReg(String src, String dst) {
- return Add(new Instruction("addu")
- .S("rs", Registers.R_ZERO)
- .S("rt", src)
- .S("rd", dst)
- .S("comment", "copy " + dst + " ← " + src));
- }
- protected Instruction Copy(String rt, String rs, int offset) {
- return Copy(rt, rs, "" + offset);
- }
- protected Instruction Copy(String rt, String rs, String offset) {
- return Add(new Instruction("addiu") // lw $rt, imm($rs)
- .S("rt", rt)
- .S("rs", rs)
- .S("offset", offset)
- .S("comment", "copy " + rs + " ← " + rt)
- );
- }
- protected Instruction StoreWord(String rt, String rs, int offset) {
- return StoreWord(rt, rs, "" + offset);
- }
- protected Instruction StoreWord(String rt, String rs, String offset) {
- return Add(new Instruction("sw").S("rt", rt).S("rs", rs).S("offset", offset));
- }
- protected Instruction LoadWord(String rt, String rs, int offset) {
- // System.out.println("LoadWord:" + rt + ":" + rs + ":" + "off:" + offset);
- return LoadWord(rt, rs, "" + offset);
- }
- protected Instruction LoadWord(String rt, String rs, String offset) {
- // System.out.println("LoadWord:" + rt + ":" + rs + ":" + "off:" + offset);
- return Add(new Instruction("lw") // lw $rt, imm($rs)
- .S("rt", rt)
- .S("rs", rs)
- .S("offset", offset)
- );
- }
- protected void Noop() {
- Add(new Instruction("sll")
- .S("rs", "zero")
- .S("rt", "0")
- .S("rd", "zero"));
- }
- @Override
- public void TranslateUnary(Instruction inst) throws Exception {
- // Carrega o valor se nao esta em registrador
- // System.out.println("Translate Unary:" + inst);
- switch (inst.G("op")) {
- case "-": // Retorna o valor negado 10 -> -10
- Add(new Instruction("subu")// Rd <-- [Rs] - [Rt];
- .S("rd", inst.G("reg.dst"))
- .S("rs", Registers.R_ZERO)
- .S("rt", inst.G("reg.p1"))
- .S("comment", "negation arith")
- .S("tac.position", inst.G("block.position"))
- );
- break;
- case "!": // XOR ( 0 1 -> 1) XOR( 1 1 -> 0)
- Add(new Instruction("xori") // Rt <-- [Rs] AND (016 || [I15..0]); ;
- .S("rt", inst.G("reg.dst"))
- .S("rs", inst.G("reg.p1"))
- .S("offset", "1")
- .S("comment", "negation bool")
- .S("tac.position", inst.G("block.position"))
- );
- break;
- // case "*": // Copia do conteudo do ponteiro
- //
- // case "&": // Copia do endereco da variavel
- // break;// case "*": // Copia do conteudo do ponteiro
- //
- // case "&": // Copia do endereco da variavel
- // break;// case "*": // Copia do conteudo do ponteiro
- //
- // case "&": // Copia do endereco da variavel
- // break;// case "*": // Copia do conteudo do ponteiro
- //
- // case "&": // Copia do endereco da variavel
- // break;// case "*": // Copia do conteudo do ponteiro
- //
- // case "&": // Copia do endereco da variavel
- // break;// case "*": // Copia do conteudo do ponteiro
- //
- // case "&": // Copia do endereco da variavel
- // break;// case "*": // Copia do conteudo do ponteiro
- //
- // case "&": // Copia do endereco da variavel
- // break;// case "*": // Copia do conteudo do ponteiro
- //
- // case "&": // Copia do endereco da variavel
- // break;
- }
- }
- /**
- * Traducao de intrucoeS do tipo
- *
- * - x = &a - copia do endereco de uma varaivel <br>
- * - x = *b - x recebe o conteudo da variavel referenciada por b<br>
- * - *x = y - conpia o conteudo de y para o endereco armazenado em x
- *
- * @param inst
- * @throws Exception
- */
- @Override
- public void TranslatePointerAssignment(Instruction inst) throws Exception {
- String p1 = inst.G("p1"),
- dst = inst.G("dst"),
- regdst = inst.G("reg.dst"),
- regp1 = inst.G("reg.p1");
- switch (inst.G("op")) {
- case "&": // Lendo o endereco de um ponteiro
- Copy(regp1,
- GlobalOrFrameRegister(p1),
- getTac().Block().Data().Offset(p1)
- )
- .S("tac.position", inst.G("block.position"))
- .S("comment", "copy address of " + p1);
- System.out.println("PointerAssi&:" + inst);
- // Se nao fez o store
- if (StoreResult(inst, regp1, dst) == null) {
- CopyReg(regp1, regdst);
- // .S("comment", "store content of " + regdst + " in " + dst);
- }
- break;
- case "*": // Lendo o conteudo de um ponteiro
- /**
- * Carrega o valor contido no ponteiro<br>
- * Utiliza o valor como endereço em um segundo load que carrega
- * o dado<br>
- * lw ${p1},12($fp)<br>
- * lw ${dst},0(${p1}) $s<br>
- */
- LoadWord(regp1,
- GlobalOrFrameRegister(p1),
- getTac().Block().Data().Offset(p1))
- .S("tac.position", inst.G("block.position"))
- .S("comment", "load address stored in " + p1);
- LoadWord(regdst,
- regp1,
- "0")
- .S("tac.position", inst.G("block.position"))
- .S("comment", "load content of address stored in " + regp1);
- /*Se for a ultima operacao de escrita nessa variavel salva em memoria*/
- Instruction store = StoreResult(inst, regdst, dst);
- if (store != null) {
- store.S("comment", "store content of " + regdst + " in " + dst);
- }
- break;
- default: // Atribuicao a um ponteiro
- LoadParam(inst);
- /**
- * Carrega o valor dentro do endereco do ponteiro <br>
- * lw ${p1},12(${fp|gp})<br>
- * lw ${dst},0(${p1}) $s<br>
- * conteudo da variavel referenciada
- */
- LoadWord(regdst,
- GlobalOrFrameRegister(dst),
- getTac().Block().Data().Offset(dst))
- .S("tac.position", inst.G("block.position"))
- .S("comment", "load address stored in " + dst);
- // Grava o valor do registrador na memoria
- StoreWord(regp1, regdst, "0")
- .S("tac.position", inst.G("block.position"))
- .S("comment", "store content of " + regp1 + " in *" + dst);
- }
- }
- @Override
- protected Instruction Add(Instruction inst) {
- try {
- if (!inst.eq("type", "label")) {
- getTarget().PositionInc();
- Instruction definiction = Mips.Instruction(inst.G("inst"));
- inst.Merge("sa,type,inst,codop,func,format", definiction);
- }
- } catch (Exception ex) {
- Logger.getLogger(Gen.class
- .getName()).log(Level.SEVERE, null, ex);
- }
- return super.Add(inst); //To change body of generated methods, choose Tools | Templates.
- }
- protected String GlobalOrFrameRegister(String var) {
- // System.out.println("GlobalOrFrameRegister:" + var);
- return var.contains("_G") ? Registers.R_GP : Registers.R_FP;
- }
- protected Instruction StoreResult(Instruction inst, String rd, String dst) {
- if (inst.eq("reg.dst.store", "true")) {
- return StoreWord(rd,
- GlobalOrFrameRegister(dst),
- getTarget().Block().Data().Offset(dst)
- ).S("tac.position", inst.G("block.position"));
- }
- return null;
- }
- private void ResetReturnArgs() {
- returnRegisters = new ArrayList<String>() {
- {
- add("v0");
- add("v1");
- add("a0");
- add("a1");
- add("a2");
- add("a3");
- }
- };
- }
- }
|