aboutsummaryrefslogtreecommitdiffstats
path: root/aarch64/Asmblock.v
Commit message (Expand)AuthorAgeFilesLines
...
* aarch64/Asmblock: Merge PArithComparisonRR and PArithComparisonFFJustus Fasse2020-07-061-21/+11
* aarch64/Asmblock: Merge RR, RF, FR, FF, RspRspJustus Fasse2020-07-061-85/+41
* aarch64/Asmblock: Merge arith_comparison_(r|f)Justus Fasse2020-07-061-26/+12
* aarch64/Asmblock: Switch arith_c_r to arith_c_p for consistencyJustus Fasse2020-07-061-4/+4
* aarch64/Asmblock: Merge arith_r and arith_f into arith_pJustus Fasse2020-07-061-19/+10
* aarch64/Asmblock: Change preg to simplify preg-ificationJustus Fasse2020-07-061-10/+12
* Asmblock: Rename arith_name_<...> -> arith_name_<...>Justus Fasse2020-07-051-62/+62
* Asmblock: Use i as variable name for instructionsJustus Fasse2020-07-051-73/+73
* Asmblock: Add instructions with conditional executionJustus Fasse2020-07-051-6/+41
* Asmblock: PArithWRR0I -> PArithWRR0, PArithXRR0I -> PArithXRR0Justus Fasse2020-07-041-22/+22
* Asmblock: Merge PArithFF32 and PArithFF64 into PArithFJustus Fasse2020-07-041-19/+9
* Asmblock: Add TODO for instructions I had previously forgottenJustus Fasse2020-07-041-0/+3
* Asmblock: PArithRspRspI -> PArithRspRspJustus Fasse2020-07-041-11/+11
* Asmblock: PArithComparisonRI -> PArithComparisonRJustus Fasse2020-07-041-17/+17
* fixing type of PLoad and PStoreSylvain Boulmé2020-07-031-3/+3
* Merging arith_name_r and arith_name_ri into arith_rSylvain Boulmé2020-07-031-24/+18
* Asmblock: Add floating-point load and storesJustus Fasse2020-07-021-4/+24
* Asmblock: First attempt at completing PArith/ar_instruction/...Justus Fasse2020-07-021-38/+626
* aarch64/Asmblock: Add PStore, based on PLoadJustus Fasse2020-06-281-1/+28
* fix linker model in AsmblockSylvain Boulmé2020-06-221-30/+10
* [WIP: Coq compilation broken] Stub for AsmgenSylvain Boulmé2020-06-211-5/+9
* Skeleton of AsmblockSylvain Boulmé2020-06-201-82/+136
* start aarch64/Asmblock (work-in-progress)Sylvain Boulmé2020-06-191-0/+1546
generated by cgit (git 2.34.1) at 2024-05-20 08:26:18 +0000