References:
// target/mips/translate.c
mips_tr_translate_insn()
--> gen_branch() // is_slot
decode_opc()
--> gen_compute_compact_branch()
--> gen_branch() // bcond_compute == 0
--> gen_helper_copy_cap_btarget_to_pcc(cpu_env) // MIPS_HFLAG_BRCCALL/MIPS_HFLAG_BRC
--> CHERI_HELPER_IMPL(copy_cap_btarget_to_pcc(CPUArchState *env))
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?