summaryrefslogtreecommitdiff
path: root/mips/mips_regfp.sail
AgeCommit message (Expand)Author
2018-09-21Remove cheri and mips specs -- they now have their own repository.Robert Norton
2018-03-14rename EXTS and EXTZ to sign_extend and zero_extend because it is more obvios...Robert Norton
2018-03-08rename mips_new_tc to mipsRobert Norton
2018-03-08Remove files in mips directory prior to copying in files from mips_new_tc. Ho...Robert Norton
2018-02-08replaced NIA_LR/CTR/register with NIA_indirect;Shaked Flur
2017-02-03fix headersPeter Sewell
2016-11-30add new barrier kind for MIPS (only one for now).Robert Norton
2016-11-11mips_regfp: add missing output register for store conditional.Robert Norton
2016-11-09add CP0LLBit and CP0LLAddr to mips register footprintRobert Norton
2016-11-08add mips thread start instruction.Robert Norton
2016-11-07factor out regfp analysis types into etc/regfp.sailChristopher Pulte
2016-11-03split out RI node so that ppcmem model does not implement reserved instructio...Robert Norton
2016-10-27add hgen for J branchesRobert Norton
2016-10-17don't forget link register in register bcmp footprintRobert Norton
2016-10-17add register footprint for bcmpzRobert Norton
2016-09-23Add register footprint function needed by ppcmem (mips only for now)Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 17:52:03 +0000