aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Machblock: adaptation to the generalized ForwardSimulationBlockSylvain Boulmé2018-09-064-352/+395
* Generalization of ForwardSimulationBlockSylvain Boulmé2018-09-061-33/+24
* Machblock: some cleaningCyril SIX2018-09-064-203/+146
* Machblock: Mach language with basic blocksCyril SIX2018-09-066-1/+1986
* Fixed CompCert library inclusion. Indirect fix for udivd and umoddCyril SIX2018-06-262-3/+4
* MPPA - Forgot to initialize variables in the testsCyril SIX2018-06-062-2/+3
* WIP - Changed all the general tests to include PRNG (instead of small constants)Cyril SIX2018-06-0559-308/+394
* MPPA - Changed division to include the builtinCyril SIX2018-06-051-23/+2
* MPPA - Added Builtins support. Starting with clzll and stsudCyril SIX2018-06-054-61/+15
* WIP - Trying to add builtins support. They are not detected for now :(Cyril SIX2018-05-304-38/+34
* MPPA - div and mod, replaced gcc implementation by C files + ccompCyril SIX2018-05-2113-460/+29
* MPPA - Added modulo and division 64 bits. Non certifiedCyril SIX2018-05-2122-31/+637
* MPPA - refactored instructionsCyril SIX2018-05-118-507/+556
* Code cleaningCyril SIX2018-05-094-157/+103
* MPPA - Updated asm_coverageCyril SIX2018-04-261-0/+0
* MPPA - mmult and sort Makefile now check on ccomp versionCyril SIX2018-04-263-5/+7
* MPPA - FIX GPR10 is now the Frame Pointer in Asmexpand.ml (instead of GPR32)Cyril SIX2018-04-261-3/+3
* MPPA - Fixed -m64 missingCyril SIX2018-04-261-1/+1
* MPPA - fixed some typos in the TargetPrinterCyril SIX2018-04-261-34/+5
* MPPA - Added a lot more unit tests + refined coverageCyril SIX2018-04-2646-2/+240
* MPPA - Fixed wrong DWARF informationsCyril SIX2018-04-261-1/+2
* MPPA - we now compare the results of our tests with k1-gccCyril SIX2018-04-253-6/+10
* MPPA - Added coverage testCyril SIX2018-04-256-3/+63
* MPPA - Added test for division int by 2Cyril SIX2018-04-252-1/+23
* MPPA - Corrected messages on test/mppa/mmult/MakefileCyril SIX2018-04-251-2/+2
* MPPA - Operands were inverted in SBFW and SBFD instructionsCyril SIX2018-04-241-2/+2
* MPPA - Added ops for comparison operatorsCyril SIX2018-04-245-262/+186
* MPPA - refined tests. Bug in mmult - need to generate O0 to debug easierCyril SIX2018-04-242-1/+7
* MPPA - added remaining ops ; mult, div and floating point ops missingCyril SIX2018-04-204-15/+57
* MPPA - Added Ocast8signed and Ocast16signedCyril SIX2018-04-202-16/+16
* MPPA - Oshrximm + Mgetparam + FP is GPR10 + bugCyril SIX2018-04-207-59/+67
* MPPA - Added divide & conqueer test matmulCyril SIX2018-04-182-2/+87
* MPPA - added Oaddrsymbol -> now able to run the matrix mult testCyril SIX2018-04-186-52/+59
* MPPA - added a Matrix Multiply testCyril SIX2018-04-183-0/+140
* MPPA - Added Pmull -> now able to run the sort testCyril SIX2018-04-176-5/+15
* MPPA - added Oaddrstack - problem in TargetPrinter.ml Pbuiltin EF_annotCyril SIX2018-04-174-26/+23
* MPPA - More shiftsCyril SIX2018-04-174-5/+27
* MPPA - Forgot to uncomment debugging section of prng testCyril SIX2018-04-171-4/+2
* MPPA - added all shiftsCyril SIX2018-04-178-3/+42
* MPPA - Added CompCert testsCyril SIX2018-04-171-1/+16
* MPPA - added merge sort + corrected bug in insertion + testing them togetherCyril SIX2018-04-1710-38/+205
* MPPA - tests - added insertion sort and selection sortCyril SIX2018-04-175-0/+159
* MPPA - changed UNIT_TEST namesCyril SIX2018-04-172-4/+4
* MPPA - Added uint64_t types to the tests + k1c testCyril SIX2018-04-174-11/+34
* MPPA - added PRNG generator in the testsCyril SIX2018-04-163-0/+66
* MPPA - Added optim for long unsigned cmp to 0.Cyril SIX2018-04-135-23/+140
* Osub and OmulCyril SIX2018-04-113-2/+14
* MPPA - Automatic generation of expected value for testsCyril SIX2018-04-1118-10/+32
* MPPA - OshrCyril SIX2018-04-113-2/+7
* MPPA - Ocast32signedCyril SIX2018-04-116-8/+53
generated by cgit (git 2.34.1) at 2024-07-11 21:25:57 +0000