Commit Graph

  • 205221226f move check rule into src/ Quentin Carbonneaux 2016-03-27 19:13:34 -0400
  • 3406a5fb2f free memory in pmov test Quentin Carbonneaux 2016-03-27 18:35:21 -0400
  • 2f2d99e63f fix path in regress Quentin Carbonneaux 2016-03-27 18:26:14 -0400
  • 32590f3a6c fix wrong path in pmov Quentin Carbonneaux 2016-03-27 18:21:29 -0400
  • c21581647b compile pmov to cwd Quentin Carbonneaux 2016-03-27 18:20:51 -0400
  • ff79d2abae move paper synchronization to top makefile Quentin Carbonneaux 2016-03-27 18:20:34 -0400
  • da640c5a46 move tools to the root Quentin Carbonneaux 2016-03-27 18:17:08 -0400
  • e38c61d95f add centralized all and clean targets Quentin Carbonneaux 2016-03-27 18:05:27 -0400
  • c46e1ba7b5 append instead of clobber CFLAGS Quentin Carbonneaux 2016-03-27 15:24:55 -0400
  • 6405a0742f use make variable for extensibility Quentin Carbonneaux 2016-03-27 15:05:26 -0400
  • 36635660b4 extract tests out of src Quentin Carbonneaux 2016-03-27 15:00:45 -0400
  • aad52241c8 compatibility fixes for mac os Quentin Carbonneaux 2016-03-25 20:34:15 -0400
  • 62e238a6ef great renaming campain! Quentin Carbonneaux 2016-03-25 14:02:43 -0400
  • 97b58def96 mark diag() as non-returning Quentin Carbonneaux 2016-03-25 10:56:30 -0400
  • 87dfb081d6 update pmov test to work with new regalloc Quentin Carbonneaux 2016-03-25 10:56:02 -0400
  • 087b7bf978 dark types are called opaque in the doc Quentin Carbonneaux 2016-03-24 13:44:55 -0400
  • ddd4f43a39 change IR to IL Quentin Carbonneaux 2016-03-24 13:34:50 -0400
  • 993ca957ef typos in llvm.txt (thanks lucie) Quentin Carbonneaux 2016-03-23 22:33:36 -0400
  • 84fbd00237 add comparison to llvm Quentin Carbonneaux 2016-03-23 21:56:15 -0400
  • 607ab68f0c allow testing the two directions in abitest Quentin Carbonneaux 2016-03-22 14:42:37 -0400
  • 5e62b615c4 bake more fancy in abitest.sh Quentin Carbonneaux 2016-03-22 13:59:48 -0400
  • fc115427dd fix struct size computation Quentin Carbonneaux 2016-03-22 13:38:20 -0400
  • 59e78fe969 fix incorrect size suffix in abi fuzzer Quentin Carbonneaux 2016-03-22 12:23:53 -0400
  • a67ffa423c check for overflow in ssa.c (abi fuzzer) Quentin Carbonneaux 2016-03-22 12:16:03 -0400
  • 337b10f6ed store register usage of ret instructions (abi fuzz) Quentin Carbonneaux 2016-03-22 11:53:57 -0400
  • 5ad3eaa75a typo in lexing table (abi fuzzer) Quentin Carbonneaux 2016-03-22 10:59:16 -0400
  • 9db053d1b8 typo in isel (abi fuzzer) Quentin Carbonneaux 2016-03-22 10:40:54 -0400
  • cbb0f5aa83 cleanup at the end of abitest.sh Quentin Carbonneaux 2016-03-22 10:35:36 -0400
  • 14628baf40 dumb switch mistake in isel (abi fuzzer) Quentin Carbonneaux 2016-03-22 10:33:35 -0400
  • b8e3bc6aa0 fix bug in type definitions in abi.ml Quentin Carbonneaux 2016-03-22 10:23:39 -0400
  • 665a45003a fix incorrect size increment in abi (abi fuzzer) Quentin Carbonneaux 2016-03-21 14:59:04 -0400
  • 6b58aaa7ea add the ability to run with a seed Quentin Carbonneaux 2016-03-21 13:55:38 -0400
  • 453baf68e0 fix bug in IL checking Quentin Carbonneaux 2016-03-21 13:55:25 -0400
  • 58e0505068 compile tests with debug options Quentin Carbonneaux 2016-03-21 13:44:22 -0400
  • 890e85c8d1 add abitest.sh tool Quentin Carbonneaux 2016-03-21 13:42:16 -0400
  • e004f1dd48 wrap up abi.ml with a main function Quentin Carbonneaux 2016-03-21 13:41:47 -0400
  • 3b6dc136a5 tools/abi.ml seems to work Quentin Carbonneaux 2016-03-21 13:09:18 -0400
  • 2ff47b8c17 start il generation Quentin Carbonneaux 2016-03-20 21:59:29 -0400
  • 2829059c8a finish OutC, use uniform distributions Quentin Carbonneaux 2016-03-20 12:23:38 -0400
  • a5c00b144c ocaml and c chars are incompatible Quentin Carbonneaux 2016-03-20 09:43:20 -0400
  • f0a91ffe5e start C dumping Quentin Carbonneaux 2016-03-19 22:51:53 -0400
  • 5f45999036 add code to generate types Quentin Carbonneaux 2016-03-19 18:56:37 -0400
  • 47cebe349c start work on an abi fuzzer Quentin Carbonneaux 2016-03-18 22:06:41 -0400
  • 29ea37fa06 calls now use rax all the time... Quentin Carbonneaux 2016-03-18 16:11:42 -0400
  • 95df8e55fe remove spurious assignments in rega Quentin Carbonneaux 2016-03-18 15:44:26 -0400
  • f625e49cb0 more thorough abi testing Quentin Carbonneaux 2016-03-18 15:23:03 -0400
  • 99eab2d147 oops, nul terminate string tokens Quentin Carbonneaux 2016-03-18 15:21:17 -0400
  • 12e22bb1b4 lamely handle swap of sse registers Quentin Carbonneaux 2016-03-18 15:03:25 -0400
  • b19b9a27a0 handle padding correctly in types Quentin Carbonneaux 2016-03-18 14:44:20 -0400
  • d1c6c305f7 set eax before call (for variadics...) Quentin Carbonneaux 2016-03-18 14:43:41 -0400
  • 3f3dce67f4 tentative support of calls with struct return Quentin Carbonneaux 2016-03-18 12:00:20 -0400
  • a93af73ff2 factor return registers computation Quentin Carbonneaux 2016-03-18 10:54:52 -0400
  • 73371a0f90 small fixes in selcall() Quentin Carbonneaux 2016-03-18 10:42:16 -0400
  • 5e388fffbc on the way to clean use counts Quentin Carbonneaux 2016-03-17 14:43:50 -0400
  • 240cfcd5cd support return of structs Quentin Carbonneaux 2016-03-17 13:41:12 -0400
  • 2889d44f24 parse fixes for struct return Quentin Carbonneaux 2016-03-17 13:02:18 -0400
  • 2d9aabefff add sync target in doc/ Makefile Quentin Carbonneaux 2016-03-17 13:01:46 -0400
  • 8ac4af4875 document new shift operations Quentin Carbonneaux 2016-03-16 11:40:47 -0400
  • ce7fd0cb49 add unsigned division and remainder Quentin Carbonneaux 2016-03-16 11:30:57 -0400
  • db6f7ad72d add shift instructions Quentin Carbonneaux 2016-03-16 11:18:28 -0400
  • 567c18398f refine comment of OpDesc.sflag Quentin Carbonneaux 2016-03-16 11:00:49 -0400
  • 6cba2db949 document oddity in seljmp() Quentin Carbonneaux 2016-03-16 10:57:41 -0400
  • 7e1db6cc65 test comparison elimination in isel Quentin Carbonneaux 2016-03-16 10:41:01 -0400
  • 1b27215003 document exts and truncd Quentin Carbonneaux 2016-03-15 14:07:13 -0400
  • f691d4fb6b doc is now complete Quentin Carbonneaux 2016-03-15 13:50:34 -0400
  • 714c472055 massage Instructions section Quentin Carbonneaux 2016-03-15 10:44:05 -0400
  • 42c8252b03 generate readable internal links Quentin Carbonneaux 2016-03-15 10:43:41 -0400
  • 15aa877cae finish the Memory section Quentin Carbonneaux 2016-03-14 20:52:34 -0400
  • d80f801307 lesser hack to get rid of the css hack Quentin Carbonneaux 2016-03-14 20:07:53 -0400
  • 08803ecc60 add css hack for nicer instruction descriptions Quentin Carbonneaux 2016-03-14 17:08:10 -0400
  • 69e051ae4e compactify some instruction lists Quentin Carbonneaux 2016-03-14 17:07:47 -0400
  • 68c3b7ba51 start doc on memory instructions Quentin Carbonneaux 2016-03-14 16:49:32 -0400
  • 433ab81939 start description of instructions Quentin Carbonneaux 2016-03-14 16:30:34 -0400
  • d9ed44cc86 do not drop initial indent of Verb blocks Quentin Carbonneaux 2016-03-13 15:50:03 -0400
  • ffb9e98152 rework the types section Quentin Carbonneaux 2016-03-13 09:44:46 -0400
  • e76a6f7339 less redundancy in il.html Quentin Carbonneaux 2016-03-13 09:22:38 -0400
  • 0e89049f01 BNF Syntax becomes Notation Quentin Carbonneaux 2016-03-11 13:24:55 -0500
  • 01278dbeca document constants Quentin Carbonneaux 2016-03-11 13:13:32 -0500
  • 5f80243857 style Quentin Carbonneaux 2016-03-10 16:21:44 -0500
  • e616988515 move constant section higher Quentin Carbonneaux 2016-03-10 16:16:19 -0500
  • ff9990ed6f be more precise Quentin Carbonneaux 2016-03-10 16:12:04 -0500
  • 1e6d05e6dd flesh Control section Quentin Carbonneaux 2016-03-10 16:06:41 -0500
  • 00ea8464a0 number Control section Quentin Carbonneaux 2016-03-09 15:50:09 -0500
  • 7d377ed47e trim verbatim items Quentin Carbonneaux 2016-03-09 15:47:52 -0500
  • 7973a4486f pheew, more il description Quentin Carbonneaux 2016-03-09 15:42:28 -0500
  • 8c1f6280f4 add possibility to style verb blocks Quentin Carbonneaux 2016-03-09 15:18:06 -0500
  • ce852217ce join some lines in Makefile Quentin Carbonneaux 2016-03-09 14:33:51 -0500
  • d03bb5a180 add styling support Quentin Carbonneaux 2016-03-09 14:32:35 -0500
  • 274b07e224 typo in abi.txt Quentin Carbonneaux 2016-03-09 13:34:15 -0500
  • 7d79f9e216 be more precise in load types Quentin Carbonneaux 2016-03-09 11:52:56 -0500
  • 4d41a720d0 use opdesc[] in isel.c Quentin Carbonneaux 2016-03-09 11:50:44 -0500
  • 7b2cd38cc3 typo in abi.txt Quentin Carbonneaux 2016-03-09 11:26:24 -0500
  • a6ef2279c7 document more hybrid return Quentin Carbonneaux 2016-03-09 11:03:39 -0500
  • 64e5dd3421 fix wrong rbp location in abi.txt Quentin Carbonneaux 2016-03-09 10:58:31 -0500
  • 851e0f7d43 Ori says we have to use "check" Quentin Carbonneaux 2016-03-09 10:17:30 -0500
  • 890d587b57 more makefile magic Quentin Carbonneaux 2016-03-09 10:11:10 -0500
  • 03f853b6e7 pheeew, fix numbered titles Quentin Carbonneaux 2016-03-08 22:12:38 -0500
  • fc1a998292 html5 conformance fixes Quentin Carbonneaux 2016-03-08 21:56:32 -0500
  • 430a6b83e0 cosmetics in abi.txt Quentin Carbonneaux 2016-03-08 21:48:58 -0500
  • b3ec80d3d7 oops, fix quotes in Makefile Quentin Carbonneaux 2016-03-08 21:23:48 -0500