Commit Graph

  • 9fdf44afd4 Clean up a stale comment. Dan Gohman 2017-10-19 15:03:43 -07:00
  • f5e4058eb8 Update a stale comment. Dan Gohman 2017-10-19 13:49:36 -07:00
  • d3077acf1c TranslationState can assert that its stacks are empty between functions. Dan Gohman 2017-10-19 13:36:59 -07:00
  • 8e9ac361bd Remove the CFG entry_block member. Jakob Stoklund Olesen 2017-10-20 09:19:28 -07:00
  • 2569ef4c42 Clarify undefined behavior and notrap. (#170) Dan Gohman 2017-10-20 09:38:52 -07:00
  • e5c0e06fa8 Fix typo in README.rst Julien Wajsberg 2017-10-20 10:31:05 +02:00
  • b3fb41087e Use the term "Function parameter" instead of "argument". Jakob Stoklund Olesen 2017-10-19 17:39:23 -07:00
  • 921bcc6c25 Use the term "EBB parameter" everywhere. Jakob Stoklund Olesen 2017-10-19 14:15:23 -07:00
  • ea68a69f8b Fix a flake8 lint. Jakob Stoklund Olesen 2017-10-19 16:16:27 -07:00
  • 7c9b9e3d27 Mark spill and fill as can_store and can_load. Dan Gohman 2017-10-19 13:11:33 -07:00
  • cc0bb70c5d Make GVN aware of instructions that write to CPU flags. Dan Gohman 2017-10-19 12:57:55 -07:00
  • bce3c38042 Clarify the todo about minimum / maximum. Dan Gohman 2017-10-19 11:05:40 -07:00
  • 3ccee371a7 Remove the todo for smod. Dan Gohman 2017-10-19 11:01:57 -07:00
  • 79a81d98c1 Mention cton_frontend when discussing SSA construction. Dan Gohman 2017-10-19 10:58:54 -07:00
  • 1a1774af15 Fix a typo in a comment. Dan Gohman 2017-10-19 08:39:35 -07:00
  • 57b81a179e Move the CursorBase trait into the cursor module. Jakob Stoklund Olesen 2017-10-19 11:33:53 -07:00
  • 6d44508055 Sort the glossary alphabetically. Dan Gohman 2017-10-18 14:46:33 -07:00
  • ee0f061ee8 Rename "runtime" to "environment". Dan Gohman 2017-10-14 09:46:13 -07:00
  • 55bc368bf8 Remove minnum/maxnum. Dan Gohman 2017-10-18 14:39:21 -07:00
  • a57a05cb92 Expand on the floating-point section and provide the NaN rules. Dan Gohman 2017-10-18 14:36:23 -07:00
  • b948de1693 Add a verifier pass for CPU flags. Jakob Stoklund Olesen 2017-10-18 14:03:46 -07:00
  • c3446ee472 Add CPU flags value types to the language reference manual. Jakob Stoklund Olesen 2017-10-17 12:08:58 -07:00
  • 6f33066daa Add another link to the documentation. Dan Gohman 2017-10-18 12:30:21 -07:00
  • 35989f4069 Tidy up unneeded references. Dan Gohman 2017-10-17 11:48:29 -07:00
  • e6c6f09e41 Tidy some formatting in the generated legalizer.rs. Dan Gohman 2017-10-16 09:46:00 -07:00
  • 620eb7effe Add a "clobbers_flags" flag to encoding recipes. Jakob Stoklund Olesen 2017-10-16 14:06:04 -07:00
  • 5d065c4d8f Add encodings for CPU flags instructions. Jakob Stoklund Olesen 2017-10-13 16:44:34 -07:00
  • 233d2cd773 Initialize function names and signatures before calling translate_from_reader. Dan Gohman 2017-10-13 16:42:40 -07:00
  • b87178647b Change get_func_type's return type to SignatureType. Dan Gohman 2017-10-13 16:42:01 -07:00
  • 2c53dc69ff Use from_str_radix to parse hex digits. Dan Gohman 2017-10-13 16:41:45 -07:00
  • ca1b461375 Begin internal reorganization. Dan Gohman 2017-10-12 13:21:29 -07:00
  • 0f4f663584 Add register banks for CPU flags to Intel and ARM ISAs. Jakob Stoklund Olesen 2017-10-13 13:45:49 -07:00
  • 1dbc55dadf Add a pressure_tracking flag to register banks. Jakob Stoklund Olesen 2017-10-13 10:54:44 -07:00
  • c808447468 Have declare_table_elements consume its elements argument. Dan Gohman 2017-10-13 12:40:15 -07:00
  • bd94a3b202 Move the 'data lifetime parameter to the ModuleEnvironment trait. Dan Gohman 2017-10-11 21:28:36 -07:00
  • d6ab7e3abf Minor comment cleanup. Dan Gohman 2017-10-11 15:00:34 -07:00
  • ad2ffcd7fc Update to wasmparser 0.13.0. Dan Gohman 2017-10-11 11:11:33 -07:00
  • 1f98fc491c Add instructions using CPU flags. Jakob Stoklund Olesen 2017-10-12 15:21:40 -07:00
  • 15461c1e4b Add two new value types: iflags and fflags. Jakob Stoklund Olesen 2017-10-12 12:49:10 -07:00
  • dbaa919ca9 Make room for SpecialType in the value type numbering. Jakob Stoklund Olesen 2017-10-12 12:10:27 -07:00
  • 89a24b2f13 Rename ScalarType to LaneType. Jakob Stoklund Olesen 2017-10-12 10:39:12 -07:00
  • 994af598f5 Avoid interference on CFG edges. Jakob Stoklund Olesen 2017-10-10 09:45:06 -07:00
  • ba52a38597 Add a t8jccd_long encoding recipe for brz.b1 and brnz.b1 in 32-bit mode. Jakob Stoklund Olesen 2017-10-11 14:18:21 -07:00
  • ece09f2df2 Add encodings for spill.b1, fill.b1 etc. Jakob Stoklund Olesen 2017-10-11 10:02:43 -07:00
  • 699cb9895e Enforce a 4-byte minimum spill slot size. Jakob Stoklund Olesen 2017-10-11 09:32:52 -07:00
  • 1a04c4260f Remove an unused import to silence a compiler warning. Jakob Stoklund Olesen 2017-10-11 10:04:23 -07:00
  • ac85ba0d68 Update to wasmparser 0.12.1. Dan Gohman 2017-10-11 11:33:02 -07:00
  • 3f30171b79 Actually disable simple_gvn and licm by default. Dan Gohman 2017-10-10 16:28:29 -07:00
  • 733870aee4 Make FuncEnvironment independent from ModuleEnvironment (formerly WasmRuntime). Dan Gohman 2017-10-10 15:21:29 -07:00
  • 3d6f0f7045 Update for Cretonne API changes. Dan Gohman 2017-10-10 10:24:15 -07:00
  • d4c0c5babc Rename WasmRuntime's get_name to get_func_name. Dan Gohman 2017-10-10 10:21:06 -07:00
  • 142b17a3f0 Delete an unused settings builder. Dan Gohman 2017-10-10 09:43:33 -07:00
  • 6dea25ee9f Store relocs in a Vec rather than in a HashMap. Dan Gohman 2017-10-10 09:43:06 -07:00
  • 8e1ba080c0 Complete support for global init expressions. Dan Gohman 2017-10-10 09:35:10 -07:00
  • 653e8bb563 Declare exports via the WasmRuntime. Dan Gohman 2017-10-09 13:22:06 -07:00
  • 2c9d03f9bd Let the runtime provide the number of imported functions. Dan Gohman 2017-10-09 11:41:01 -07:00
  • e74bc06380 Move start_index out of TranslationResult and into the WasmRuntime. Dan Gohman 2017-10-09 08:37:04 -07:00
  • ef5ad630c8 Use the WasmRuntime's global list rather than keeping a separate list. Dan Gohman 2017-10-07 08:12:07 -07:00
  • 3841552b7c Use the WasmRuntime's type list rather than keeping a separate list. Dan Gohman 2017-10-06 16:16:39 -07:00
  • 90ed698e83 Add an unreachable code elimination pass. Jakob Stoklund Olesen 2017-10-09 15:24:15 -07:00
  • 6aeeaebbd3 Disallow branching to the entry block. Dan Gohman 2017-10-09 14:59:08 -07:00
  • 893a6716c6 Enforce all instruction constraints in iterate_solution(). Jakob Stoklund Olesen 2017-10-06 18:51:36 -07:00
  • 4a2bf6d9a6 Use a more compact display of AllocatableSet. Jakob Stoklund Olesen 2017-10-06 19:17:37 -07:00
  • ecd537ecd6 Avoid widening TailRecipe register constraints automatically. Jakob Stoklund Olesen 2017-10-06 14:13:15 -07:00
  • ac8c8a676a Constrain solver variables as little as possible. Jakob Stoklund Olesen 2017-10-06 15:03:50 -07:00
  • 12a8d6cce1 Avoid diverting values that are live on an outgoing CFG edge. Jakob Stoklund Olesen 2017-10-06 14:50:33 -07:00
  • 0c4500897f Clarify FunctionName's role in its comment. Dan Gohman 2017-10-09 13:50:03 -07:00
  • d1766f0ba4 Simplify code by removing unnecessary Options. Dan Gohman 2017-09-25 16:22:36 -07:00
  • 56862c3da9 Roll back to mypy 0.521 to avoid a bug in 0.530. Jakob Stoklund Olesen 2017-10-06 12:12:32 -07:00
  • b3fa47cacc Add support for emergency spill slots. Jakob Stoklund Olesen 2017-10-06 09:11:51 -07:00
  • d0b4c76262 Use a non-allocating sort algorithm. Jakob Stoklund Olesen 2017-10-06 09:20:39 -07:00
  • f90e7ade86 Enable the cretonne verifier by default in debug builds. Dan Gohman 2017-10-05 18:01:27 -07:00
  • c39cba4ae0 Start experimenting with cargo fuzz. This isn't very usable yet. Dan Gohman 2017-10-05 18:00:54 -07:00
  • b562fdcd5c Remove the dfg::resolve_copies() method. Jakob Stoklund Olesen 2017-10-05 14:46:34 -07:00
  • 30aeb57083 Add a value location verifier. Jakob Stoklund Olesen 2017-10-05 12:42:19 -07:00
  • e4ef2cbf22 Support ISA-specific settings in the --isa command-line option. Dan Gohman 2017-10-05 10:05:53 -07:00
  • 9f7d0a659c Use VmCtx arg for globals, and a global for the heap. Dan Gohman 2017-10-05 09:01:38 -07:00
  • b5732bc200 On error, always print the error message and exit with non-zero status. Dan Gohman 2017-10-05 08:49:32 -07:00
  • 73d4bb47c0 Intel encodings for regspill and regfill. Jakob Stoklund Olesen 2017-10-04 17:01:40 -07:00
  • 826d4062fb Apply register diversions during binemit tests. Jakob Stoklund Olesen 2017-10-04 16:33:50 -07:00
  • dda3efcbdd Add regspill and regfill instructions. Jakob Stoklund Olesen 2017-10-04 12:42:53 -07:00
  • d4aeec6ece Generalize RegDiversions to track stack locations too. Jakob Stoklund Olesen 2017-10-04 12:13:25 -07:00
  • e32aa8ab60 Emergency spilling for the solver's move scheduler. Jakob Stoklund Olesen 2017-10-03 18:04:56 -07:00
  • ce4d723a73 Give RegClassData a reference to its parent RegInfo. Jakob Stoklund Olesen 2017-10-04 10:10:07 -07:00
  • 7410ddfe08 Use the WasmRuntime's signature list rather than keeping a separate list. Dan Gohman 2017-10-04 16:55:14 -07:00
  • 196795017b Tidy up handling of the DummyRuntime. Dan Gohman 2017-10-03 11:46:51 -07:00
  • c8e015f31a Remove an unused argument. Dan Gohman 2017-10-04 12:32:45 -07:00
  • fc857a758e Remove an unneeded block. Dan Gohman 2017-10-04 12:21:49 -07:00
  • b4e7e918cc Use the correct index for printing function definitions when imports are present. Dan Gohman 2017-10-04 12:18:14 -07:00
  • 23bafd1218 Split the runtime and execution code into separate crates. Dan Gohman 2017-10-03 14:57:52 -07:00
  • fb0999ce33 Check the top-level register class for available registers. Jakob Stoklund Olesen 2017-10-03 12:18:55 -07:00
  • 6ded83332f Change the reloc sink to use vectors instead of hash maps. Dan Gohman 2017-10-03 14:02:41 -07:00
  • 739d414d18 Convert regalloc::coloring to use an EncCursor. Jakob Stoklund Olesen 2017-10-03 13:14:07 -07:00
  • 7c023b2430 Don't omit the controlling typevar for instructions without results. Jakob Stoklund Olesen 2017-10-03 13:37:18 -07:00
  • 412fedcc6d Fix reseting of the heap when compiling a module containing multiple functions. Dan Gohman 2017-10-03 13:30:12 -07:00
  • e10b3117cb Rename enc_flt() to enc_both(). Jakob Stoklund Olesen 2017-10-03 13:25:33 -07:00
  • 31a962fa1b Support multiple globals. Dan Gohman 2017-10-03 13:25:37 -07:00
  • 865a3d9f31 Rename wasmstandalone::StandaloneRuntime to wasmstandalone::Runtime. Dan Gohman 2017-10-03 12:59:43 -07:00
  • db88701eaa Use Self. Dan Gohman 2017-10-03 12:54:35 -07:00
  • 97b877bb9c Use Option::unwrap_or_else. Dan Gohman 2017-10-03 12:53:28 -07:00