Commit Graph

  • b5d4fb66d9 Use a bforest::Set to represent CFG successor sets. Jakob Stoklund Olesen 2017-11-20 14:02:16 -08:00
  • cf45afa1e7 Avoid the CFG get_successors() when computing a post-order. Jakob Stoklund Olesen 2017-11-21 09:45:52 -08:00
  • 2e0b931590 Provide an fmt::Debug impl for entity references. Jakob Stoklund Olesen 2017-11-21 10:00:30 -08:00
  • 2d7b54373f Implement Clone and Default for bforest::{Set,Map}. Jakob Stoklund Olesen 2017-11-20 14:42:47 -08:00
  • 8eaf7d3904 Add iterators for bforest::{Set,Map}. Jakob Stoklund Olesen 2017-11-20 13:24:19 -08:00
  • a2ff2a6836 Add goto_first() methods to SetCursor and MapCursor. Jakob Stoklund Olesen 2017-11-20 12:31:51 -08:00
  • 3389eaef29 Add a clear() method to bforest::{Set,Map}. Jakob Stoklund Olesen 2017-11-20 11:08:25 -08:00
  • d3778e56bb Remove the "BPlus" prefix from bforest::* types. Jakob Stoklund Olesen 2017-11-20 14:09:25 -08:00
  • d51a4c1065 Replace FunctionBuilder's Drop impl with a finalize function. (#193) Dan Gohman 2017-11-17 16:03:40 -08:00
  • 29db33e7f8 Replace reserve with reserve_exact when applicable. Dan Gohman 2017-11-17 11:14:02 -08:00
  • 46ac24d172 Add a comment about call_indirect bounds/signature checking. Dan Gohman 2017-11-17 11:13:14 -08:00
  • aa6f5c0db3 Forests of B+ trees. Jakob Stoklund Olesen 2017-10-24 09:44:23 -07:00
  • 94921c0b74 Remove the dead B-Tree interface. Jakob Stoklund Olesen 2017-10-24 09:09:02 -07:00
  • bfa5a72b77 Use reserve_exact instead of reserve when the max size is known. Dan Gohman 2017-11-16 15:16:23 -08:00
  • 4d9aedbaca Add a 'clear()' function to Context. Dan Gohman 2017-11-15 10:49:32 -08:00
  • 4c829f7c7f Fix sphinx hyperlink syntax. Dan Gohman 2017-11-14 14:09:35 -08:00
  • 355e3e3c15 Remove redundant validation for function locals. Dan Gohman 2017-11-13 14:34:35 -08:00
  • 648c1b33ba Fix sphinx hyperlink syntax. Dan Gohman 2017-11-13 14:05:47 -08:00
  • 78f2edefc2 Add todos for add/sub with signed overflow, saturating fcvt_to_[su]int. Dan Gohman 2017-11-10 17:45:09 -08:00
  • 54e4ab71d9 Enable pager in cton-util. Dan Gohman 2017-09-02 08:06:55 -07:00
  • 8dd46054a5 In the verifier, clarify expected versus observed values. Dan Gohman 2017-11-09 22:02:07 -08:00
  • ced7a88ecc Use consistent formatting for module-level comments. Dan Gohman 2017-11-08 14:49:27 -08:00
  • e213c2654f Fix branch_destination/analyze_branch for BranchInt/BranchFloat. Dan Gohman 2017-11-08 10:27:55 -08:00
  • 889b06fd16 Replace as casts with type-conversion functions. Dan Gohman 2017-11-08 10:41:09 -08:00
  • 7c579a80c2 Avoid an unneeded .into_iter(). Dan Gohman 2017-11-08 10:41:00 -08:00
  • d939bc5137 Use is_empty() instead of comparing len() with 0. Dan Gohman 2017-11-08 10:40:58 -08:00
  • 5d3ae0596c Avoid matching with reference patterns. Dan Gohman 2017-11-08 10:40:56 -08:00
  • 809e2f0c91 Avoid unneeded return keywords. Dan Gohman 2017-11-08 10:40:54 -08:00
  • 0d825b4643 Remove a redundant .into(). Dan Gohman 2017-11-08 10:40:52 -08:00
  • 3ab4349c1b Use Self instead of repeating the type name. Dan Gohman 2017-11-08 10:40:47 -08:00
  • b7f979a8be Combine identical match arms. Dan Gohman 2017-11-08 10:40:43 -08:00
  • 388ebde41d Use .any(...) rather than .position(...).is_some(). Dan Gohman 2017-11-08 10:40:42 -08:00
  • 8b053aa923 Remove a trivial cast. Dan Gohman 2017-11-08 10:40:39 -08:00
  • 24e185c8c5 Remove unnecessary parens. Dan Gohman 2017-11-08 10:40:37 -08:00
  • d7796cbf25 Suppress an unused-import warning on AsciiExt. Dan Gohman 2017-11-08 10:40:29 -08:00
  • 2b6502ac6e Fix handling of CFG triangles in compute_postorder. Dan Gohman 2017-11-07 16:57:22 -08:00
  • 849f090562 Fix nondeterminism in br_table translation. Dan Gohman 2017-11-07 15:33:35 -08:00
  • 15aff899ee Block no longer needs to implement Hash. Dan Gohman 2017-11-07 15:19:55 -08:00
  • 6d91a32d39 Add comments about "user" parameters. Dan Gohman 2017-11-07 14:57:35 -08:00
  • cbb99bf233 Rename "user_arg_count" to "user_param_count" for consistency. Dan Gohman 2017-11-07 14:56:32 -08:00
  • 9b15fe7dfd Simplify Ebb parameter creation. Dan Gohman 2017-11-07 14:55:08 -08:00
  • cce2384ede Remove switch_to_block's jump_args argument. Dan Gohman 2017-11-06 16:38:13 -08:00
  • f76640778c Fix printing with -p when -c is also given. Dan Gohman 2017-11-06 16:28:15 -08:00
  • 5dda19035d Implement Hash for ExternalName. Dan Gohman 2017-11-06 11:34:09 -08:00
  • 1d8df2ed1e Remove the requirement that Variable implement Default. Dan Gohman 2017-11-06 11:10:14 -08:00
  • 4091688cc0 Avoid unnecessary name qualification. Dan Gohman 2017-11-06 11:10:03 -08:00
  • d9743290ea Elide elidable lifetime parameters. Dan Gohman 2017-11-06 11:09:56 -08:00
  • 9ee6e740b0 Merge pull request #3 from m4b/patch-1 Dan Gohman 2017-11-05 14:03:58 -08:00
  • 89d3038c1c obj: minor fix to emit_module compile m4b 2017-11-05 00:03:56 -07:00
  • 114da83ad6 Avoid using to_string() on ExternalName to create strings for symbol names. Dan Gohman 2017-11-04 15:29:16 -07:00
  • be9e3e88e4 Emit wasm data initializers as faerie data segments. Dan Gohman 2017-11-04 15:28:19 -07:00
  • 8501cb798e Minor comment cleanups. Dan Gohman 2017-11-03 16:43:29 -07:00
  • acc6d941a3 Combine redundant match arm bodies. Dan Gohman 2017-11-03 16:40:51 -07:00
  • c7f01f88b2 Clarify some comments. Dan Gohman 2017-11-03 11:44:58 -07:00
  • e21479a843 Mark check_return_args as #[cfg(debug_assertions)]. Dan Gohman 2017-11-02 12:28:01 -07:00
  • 1cbf921d9d Add a function to seal all the blocks at once. Dan Gohman 2017-11-01 13:09:20 -07:00
  • 04660ae8cc Rename "wast" to "wat" in filetests too. Dan Gohman 2017-11-02 07:46:18 -07:00
  • c30116d948 Fix copypasta in a FIXME message. Dan Gohman 2017-11-02 07:42:03 -07:00
  • c6d39dea5d Add a comment about shrink_to_fit(). Dan Gohman 2017-11-01 11:35:15 -07:00
  • 61a51f5275 Rename a variable to clarify its purpose. Dan Gohman 2017-11-01 11:34:16 -07:00
  • 57041ea9eb Tidy up semicolons. Dan Gohman 2017-11-01 11:30:37 -07:00
  • 39c0fbb6c7 Assert that sealed blocks cannot accept new predecessors. Dan Gohman 2017-11-01 11:27:54 -07:00
  • 1663f141c8 Tidy up unneeded parentheses. Dan Gohman 2017-11-01 11:26:55 -07:00
  • aa724846f6 Clear the wasm operand stack at the end of a function. Dan Gohman 2017-11-01 11:25:22 -07:00
  • 09b1bdc108 Make "cton-util compile" default to the isa specified in the test file. Dan Gohman 2017-10-31 14:12:29 -07:00
  • 5f8b1b9f04 Fix a flake8 lint. Dan Gohman 2017-10-31 13:05:26 -07:00
  • 3d83d0e4f0 Clean up redundant blank lines. Dan Gohman 2017-10-31 12:45:22 -07:00
  • 2b40f72f00 Update for more Cretonne API changes. Dan Gohman 2017-10-31 12:36:53 -07:00
  • 871bf95acf Change reloc_ebb to pass a CodeOffset rather than an Ebb index. Dan Gohman 2017-10-31 12:18:17 -07:00
  • 5d063eb8bc Merge reloc_func and reloc_globalsym into reloc_external. Dan Gohman 2017-10-31 12:06:13 -07:00
  • b60b2ce135 Change parse_multiline to follow PEP 257. Dan Gohman 2017-10-31 10:51:49 -07:00
  • 149a41a684 Clean up copypasta. Dan Gohman 2017-10-31 12:19:58 -07:00
  • 9c54c3fff0 Introduce globalsym_addr. Dan Gohman 2017-10-30 10:02:29 -07:00
  • cb805f704d Put BaldrMonkey-specific behavior under a setting. Dan Gohman 2017-10-28 07:12:46 -07:00
  • 6fc45b070a Add a new kind of GlobalVar for symbolic addresses. Dan Gohman 2017-10-27 13:27:10 -07:00
  • c2665385b1 Rename FunctionName to ExternalName. Dan Gohman 2017-10-27 13:05:49 -07:00
  • fae5ffb556 Make generated code more consistent with current rustfmt. Dan Gohman 2017-10-30 10:06:23 -07:00
  • 226fbce0b3 Update for Cretonne API changes. Dan Gohman 2017-10-28 06:11:56 -07:00
  • 469b7bb5e9 Add a FIXME comment for grow/current_memory. Dan Gohman 2017-10-27 16:46:04 -07:00
  • 1b61d5cd1e Enable the verifier by default in "cton-util compile". Dan Gohman 2017-10-26 20:55:45 -07:00
  • 683408f30b Break alias cycles by inserting zero values. Dan Gohman 2017-10-26 12:22:16 -07:00
  • 53e93d94a8 Avoid creating cyclic aliases in unreachable code. Dan Gohman 2017-10-26 11:37:43 -07:00
  • 91b1566aca Use "test regalloc" for the register allocator tests. Jakob Stoklund Olesen 2017-10-25 18:31:14 -07:00
  • d37126565e Also consider fixed outputs for replace_global_defines. Jakob Stoklund Olesen 2017-10-25 14:28:30 -07:00
  • 1b71285b34 Return bools in GPR registers. Jakob Stoklund Olesen 2017-10-25 13:34:55 -07:00
  • 02e81dd1d7 Fix build after flake8 update. Jakob Stoklund Olesen 2017-10-25 11:40:37 -07:00
  • e8ecf1f809 Add a FixedTied constraint kind for operand constraints. Jakob Stoklund Olesen 2017-10-25 11:14:11 -07:00
  • 2932a9314d Don't allocate srclocs if we only have default SourceLoc values. Dan Gohman 2017-10-25 11:17:29 -07:00
  • dbd75483e8 Rename arg_value to param_value for consistency. Dan Gohman 2017-10-25 10:14:10 -07:00
  • b6eae2cfb6 Put FlagsOrIsa in code-comments. Dan Gohman 2017-10-25 10:11:36 -07:00
  • fc0671a0cf Avoid dangling references to block params when sealing an unreachable block. Dan Gohman 2017-10-24 22:26:03 -07:00
  • 2d5faa01af Simplify code using the FunctionBuilder helper functions. Dan Gohman 2017-10-24 15:28:28 -07:00
  • bbdce7e3e0 Update the comment for 'notrap()'. Dan Gohman 2017-10-24 10:39:01 -07:00
  • fdf2486c0a Handle uninitialized values of type b1 and vector. Dan Gohman 2017-10-23 14:57:20 -07:00
  • bdf726d101 Go back to tracking the latest mypy release. Jakob Stoklund Olesen 2017-10-21 12:30:46 -07:00
  • 8387c53c3f Fix a typo. Dan Gohman 2017-10-20 16:01:39 -07:00
  • c93959de7e Fix a bug handling a use_var of a value not defined in the entry block. Dan Gohman 2017-10-20 15:41:09 -07:00
  • 250c515ba9 Update the register allocator document. Jakob Stoklund Olesen 2017-10-20 15:14:07 -07:00
  • 29a6ee77f3 Remove the definition of "safe". Dan Gohman 2017-10-20 11:30:22 -07:00
  • f4b25ff058 Have FunctionBuilder clear the ILBuilder's state in its drop(). Dan Gohman 2017-10-19 15:13:59 -07:00