CSAPP-4.56 Y32的跳转指令

int f_pc = [
    # 发现分支预测错误，本不应该跳。现在继续下条指令。
    # M_valA由D_valP传递得
    M_icode == IJXX && !M_Cnd : M_valA;
    W_icode == IRET : W_valM;
    1 : F_predPC;
];
int f_predPC = [
    # ICALL直接跳
    # JXX 先直接跳，预测错了再执行JXX下一条指令
    f_icode in { IJXX, ICALL } : f_valC;
    1 : f_valP;
];

 # !e_Cnd 表示不能跳呀， 前面猜错了，故要bubble
bool D_bubble =
    (E_icode == IJXX && !e_Cnd) ||
    #其他省略
bool E_bubble =
    (E_icode == IJXX && !e_Cnd) ||
    #其他省略

int f_pc = [
    # M_valE由E中A+B得到
    M_icode == IJXX && !M_Cnd : M_valE;
    W_icode == IRET : W_valM;
    1 : F_predPC;
];
int f_predPC = [
    # IJXX先不跳转
    f_icode == ICALL : f_valC;
    1 : f_valP;
];
 # E 流水线寄存器 A是E_valC，B是0。
 # 先把跳转地址准备好，万一预测错误了
int aluA = [
	E_icode == IJXX : E_valC;#跳转地址
    # 其他指令省略
];
int aluB = [
	E_icode == IJXX : 0;
	# 其他指令省略
];

    # e_Cnd 说明是要能跳呀， 前面猜错了，故要bubble
bool D_bubble =
   (E_icode == IJXX && e_Cnd) || 0  #其他指令省略
bool E_bubble =
   (E_icode == IJXX && e_Cnd) || 0  #其他指令省略

int f_pc = [
    # 等同[不选择分支]预测错误了，应该要跳转
    M_icode == IJXX && M_ifun != UNCOND && M_valE > M_valA &&  M_Cnd : M_valE;
    # 等同[选择分支]预测错误了，不应要跳转
    M_icode == IJXX && M_ifun != UNCOND && M_valE <=M_valA && !M_Cnd : M_valA;
    # 省略
];
int f_predPC = [
    # 无条件跳转肯定是不管前支不是后支
    f_icode == IJXX && f_ifun == UNCOND : f_valC;
    # 谁在前就先执行谁
    f_icode == IJXX && f_valC <= f_valP : f_valC;
    f_icode in { ICALL } : f_valC;
    1 : f_valP;
];
bool D_bubble =
    (E_icode == IJXX && E_ifun != UNCOND && E_valC > E_valA &&  e_Cnd) ||
    (E_icode == IJXX && E_ifun != UNCOND && E_valC <=E_valA && !e_Cnd) ||
    0 ;# 省略
bool E_bubble 同