|
| exception_flags = ExprId("exception_flags", 32) |
|
| exception_flags_init = ExprId("exception_flags_init", 32) |
|
| is_repeat_end = ExprId("is_repeat_end", 32) |
|
| is_repeat_end_init = ExprId("is_repeat_end_init", 32) |
|
| last_addr = ExprId("last_addr", 32) |
|
| last_addr_init = ExprId("last_addr_init", 32) |
|
| take_jmp = ExprId("take_jmp", 32) |
|
| take_jmp_init = ExprId("take_jmp_init", 32) |
|
| in_erepeat = ExprId("in_erepeat", 32) |
|
| in_erepeat_init = ExprId("take_jmp_init", 32) |
|
list | gpr_names = ["R%d" % r for r in range(13)] |
|
| gpr_exprs |
|
| gpr_inits |
|
| gpr_infos |
|
| TP = gpr_exprs[13] |
|
| GP = gpr_exprs[14] |
|
| SP = gpr_exprs[15] |
|
list | csr_names |
|
| csr_exprs |
|
| csr_inits |
|
| csr_infos |
|
| PC = csr_exprs[0] |
|
| LP = csr_exprs[1] |
|
| SAR = csr_exprs[2] |
|
| RPB = csr_exprs[4] |
|
| RPE = csr_exprs[5] |
|
| RPC = csr_exprs[6] |
|
list | copro_gpr_names = ["C%d" % r for r in range(32)] |
|
| copro_gpr_exprs |
|
| copro_gpr_inits |
|
| copro_gpr_infos |
|
| all_regs_ids |
|
| all_regs_ids_init |
|
| all_regs_ids_no_alias = all_regs_ids[:] |
|
| all_regs_ids_byname = dict([(x.name, x) for x in all_regs_ids]) |
|
| float_st0 = ExprId("float_st0", 64) |
|
| float_st1 = ExprId("float_st1", 64) |
|
| float_st2 = ExprId("float_st2", 64) |
|
| float_st3 = ExprId("float_st3", 64) |
|
| float_st4 = ExprId("float_st4", 64) |
|
| float_st5 = ExprId("float_st5", 64) |
|
| float_st6 = ExprId("float_st6", 64) |
|
| float_st7 = ExprId("float_st7", 64) |
|
list | regs_flt_expr |
|
| regs_init = dict() |
|