// Conditionally branch relative to PC based on CR and CTR.
format BranchPCRelCondCtr {
- 0: bc({{
- PowerISA::PCState pc = PCS;
- pc.npc((uint32_t)(pc.pc() + disp));
- PCS = pc;
- }});
+ 0: bc({{ NPC = (uint32_t)(PC + disp); }});
}
// Conditionally branch to fixed address based on CR and CTR.
format BranchNonPCRelCondCtr {
- 1: bca({{
- PowerISA::PCState pc = PCS;
- pc.npc(targetAddr);
- PCS = pc;
- }});
+ 1: bca({{ NPC = targetAddr; }});
}
}
// Unconditionally branch relative to PC.
format BranchPCRel {
- 0: b({{
- PowerISA::PCState pc = PCS;
- pc.npc((uint32_t)(pc.pc() + disp));
- PCS = pc;
- }});
+ 0: b({{ NPC = (uint32_t)(PC + disp); }});
}
// Unconditionally branch to fixed address.
format BranchNonPCRel {
- 1: ba({{
- PowerISA::PCState pc = PCS;
- pc.npc(targetAddr);
- PCS = pc;
- }});
+ 1: ba({{ NPC = targetAddr; }});
}
}
// Conditionally branch to address in LR based on CR and CTR.
format BranchLrCondCtr {
- 16: bclr({{
- PowerISA::PCState pc = PCS;
- pc.npc(LR & 0xfffffffc);
- PCS = pc;
- }});
+ 16: bclr({{ NPC = LR & 0xfffffffc; }});
}
// Conditionally branch to address in CTR based on CR.
format BranchCtrCond {
- 528: bcctr({{
- PowerISA::PCState pc = PCS;
- pc.npc(CTR & 0xfffffffc);
- PCS = pc;
- }});
+ 528: bcctr({{ NPC = CTR & 0xfffffffc; }});
}
// Condition register manipulation instructions.
let {{
# Simple code to update link register (LR).
-updateLrCode = 'PowerISA::PCState lrpc = PCS; LR = lrpc.pc() + 4;'
+updateLrCode = 'LR = PC + 4;'
}};
cond_code = 'if(condOk(CR)) {\n'
cond_code += ' ' + br_code + '\n'
cond_code += '} else {\n'
- cond_code += ' PCS = PCS;\n'
+ cond_code += ' NPC = NPC;\n'
cond_code += '}\n'
return cond_code
cond_code += 'if(ctr_ok && cond_ok) {\n'
cond_code += ' ' + br_code + '\n'
cond_code += '} else {\n'
- cond_code += ' PCS = PCS;\n'
+ cond_code += ' NPC = NPC;\n'
cond_code += '}\n'
cond_code += 'CTR = ctr;\n'
return cond_code
'Mem': ('Mem', 'uw', None, ('IsMemRef', 'IsLoad', 'IsStore'), 8),
# Program counter and next
- 'PCS': ('PCState', 'uq', None, (None, None, 'IsControl'), 9),
+ 'PC': ('PCState', 'uw', 'pc', (None, None, 'IsControl'), 9),
+ 'NPC': ('PCState', 'uw', 'npc', (None, None, 'IsControl'), 9),
# Control registers
'CR': ('IntReg', 'uw', 'INTREG_CR', 'IsInteger', 9),