Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-04-01 | cheap massive performance gain on brainfuck | Quentin Carbonneaux | |
2016-04-01 | tradeoff the type of bsiter() | Quentin Carbonneaux | |
int is used all over the place for temporaries, maybe this should be changed, I don't know. Another thing to consider is that temporaries are currently on 12 bits (and will be on 29 or 30 bits in the future), so int will always be safe to store them. We just loose the free invariant of non-negativity. | |||
2016-04-01 | use bsiter in critical loop | Quentin Carbonneaux | |
2016-04-01 | add huge mandelbrot brainfuck example | Quentin Carbonneaux | |
2016-04-01 | add big test file for qbe | Quentin Carbonneaux | |
2016-03-31 | respect the order of the passes | Quentin Carbonneaux | |
2016-03-31 | move abi code in a new file | Quentin Carbonneaux | |
2016-03-31 | cleanup error handling | Quentin Carbonneaux | |
2016-03-29 | do not echo compilation commands if verbose | Quentin Carbonneaux | |
2016-03-29 | typos in il.txt, thanks Robert Ransom | Quentin Carbonneaux | |
2016-03-29 | get more entropy in callgen.ml | Quentin Carbonneaux | |
2016-03-29 | make block labels per-function | Quentin Carbonneaux | |
2016-03-29 | new layout, put LICENSE in root | Quentin Carbonneaux | |
2016-03-28 | implement export control | Quentin Carbonneaux | |
2016-03-27 | mac os compatibility fixes in scripts | Quentin Carbonneaux | |
2016-03-27 | move check rule into src/ | Quentin Carbonneaux | |
2016-03-27 | free memory in pmov test | Quentin Carbonneaux | |
2016-03-27 | fix path in regress | Quentin Carbonneaux | |
2016-03-27 | fix wrong path in pmov | Quentin Carbonneaux | |
2016-03-27 | compile pmov to cwd | Quentin Carbonneaux | |
2016-03-27 | move paper synchronization to top makefile | Quentin Carbonneaux | |
2016-03-27 | move tools to the root | Quentin Carbonneaux | |
2016-03-27 | add centralized all and clean targets | Quentin Carbonneaux | |
2016-03-27 | append instead of clobber CFLAGS | Quentin Carbonneaux | |
2016-03-27 | use make variable for extensibility | Quentin Carbonneaux | |
2016-03-27 | extract tests out of src | Quentin Carbonneaux | |
2016-03-25 | compatibility fixes for mac os | Quentin Carbonneaux | |
2016-03-25 | great renaming campain! | Quentin Carbonneaux | |
2016-03-25 | mark diag() as non-returning | Quentin Carbonneaux | |
2016-03-25 | update pmov test to work with new regalloc | Quentin Carbonneaux | |
2016-03-24 | dark types are called opaque in the doc | Quentin Carbonneaux | |
2016-03-24 | change IR to IL | Quentin Carbonneaux | |
2016-03-23 | typos in llvm.txt (thanks lucie) | Quentin Carbonneaux | |
2016-03-23 | add comparison to llvm | Quentin Carbonneaux | |
2016-03-22 | allow testing the two directions in abitest | Quentin Carbonneaux | |
2016-03-22 | bake more fancy in abitest.sh | Quentin Carbonneaux | |
2016-03-22 | fix struct size computation | Quentin Carbonneaux | |
2016-03-22 | fix incorrect size suffix in abi fuzzer | Quentin Carbonneaux | |
2016-03-22 | check for overflow in ssa.c (abi fuzzer) | Quentin Carbonneaux | |
2016-03-22 | store register usage of ret instructions (abi fuzz) | Quentin Carbonneaux | |
So far I was ignoring register uses of return instructions and it was working because at most one register could be returned. Now that more complex returns are supported it is necessary to keep track of the registers used by returns. The abi fuzzer triggered an assertion failure in the register allocator with the following IL: R1 =l load [%t16] R3 =l load [8 + %t16] ret The regalloc would use R1 for %t16, and then a (nice) assertion realized the inconsistent state because R1 could only be def'd by an assignment to %t16. | |||
2016-03-22 | typo in lexing table (abi fuzzer) | Quentin Carbonneaux | |
2016-03-22 | typo in isel (abi fuzzer) | Quentin Carbonneaux | |
2016-03-22 | cleanup at the end of abitest.sh | Quentin Carbonneaux | |
2016-03-22 | dumb switch mistake in isel (abi fuzzer) | Quentin Carbonneaux | |
2016-03-22 | fix bug in type definitions in abi.ml | Quentin Carbonneaux | |
2016-03-22 | fix incorrect size increment in abi (abi fuzzer) | Quentin Carbonneaux | |
Sizes are expressed in multiples of 4 bytes, so we need to divide the size of aggregate types by four when computing stack offsets. | |||
2016-03-21 | add the ability to run with a seed | Quentin Carbonneaux | |
2016-03-21 | fix bug in IL checking | Quentin Carbonneaux | |
2016-03-21 | compile tests with debug options | Quentin Carbonneaux | |
2016-03-21 | add abitest.sh tool | Quentin Carbonneaux | |