Dan Gohman
b5f428b6f2
Bump version to 0.3.3
2018-03-08 02:50:09 -08:00
Dan Gohman
ee0bce4106
Bump version to 0.3.2
2018-03-05 16:17:00 -08:00
Dan Gohman
d119524c90
Bump version to 0.3.1
2018-03-05 07:11:23 -08:00
Dan Gohman
505fe9277a
Tidy up calls to analyze_branch.
2018-03-04 21:34:49 -08:00
Bruce Mitchener
125270e2b0
Fix some typos.
2018-03-04 21:33:04 -08:00
Dan Gohman
b9f51d7850
Enable more compliler lints.
2018-02-28 13:18:07 -08:00
Dan Gohman
6fcbb20e10
Bump version to 0.3.0
2018-02-28 10:31:00 -08:00
Dan Gohman
dabfc55c6e
Bump version to 0.2.0
2018-02-27 15:58:25 -08:00
Dan Gohman
2a26b70854
Update URLs.
2018-02-23 16:16:44 -08:00
Jakob Stoklund Olesen
ec746c3359
Add a publish-all.sh script.
...
Set identical version numbers on all cretonne-* crates and print "cargo
publish" commands.
Update all crates to version 0.1.0.
2018-02-23 12:51:14 -08:00
Dan Gohman
c7655c4928
Add minimal README.md files to published crates.
...
This will put descriptions on the packages' crates.io pages.
2018-02-21 20:50:03 -08:00
Pat Hickey
eb49d9f8bf
tests: update ExternalName api
2017-11-23 14:08:47 -08:00
Dan Gohman
d51a4c1065
Replace FunctionBuilder's Drop impl with a finalize function. ( #193 )
...
* Replace FunctionBuilder's Drop impl with a finalize function.
This has the advantage of not triggering assertion failures in the event
of abandoning a partially-built function. It has the disadvantage of
requiring users to call finalize() explicitly.
2017-11-17 16:03:40 -08:00
Dan Gohman
15aff899ee
Block no longer needs to implement Hash.
2017-11-07 15:19:55 -08:00
Dan Gohman
6d91a32d39
Add comments about "user" parameters.
2017-11-07 15:13:46 -08:00
Dan Gohman
cbb99bf233
Rename "user_arg_count" to "user_param_count" for consistency.
2017-11-07 15:13:46 -08:00
Dan Gohman
9b15fe7dfd
Simplify Ebb parameter creation.
...
Ebb parameters are appended explicitly by whoever calls create_block,
so they don't need to also be inferred from branches. This makes the
frontend code more flexible for producers that want to create things
in a different order, and it eliminates more temporary allocations.
FunctionBuilder no longer maintains its own list of the function
parameter values; these can be obtained from the ebb parameter list
on the entry block.
2017-11-07 15:13:00 -08:00
Dan Gohman
cce2384ede
Remove switch_to_block's jump_args argument.
...
switch_to_block doesn't need its jump_args argument, since jump
arguments are handled by the `jump` instruction and others, rather
than on the switch to a new ebb itself.
2017-11-06 16:38:13 -08:00
Dan Gohman
1d8df2ed1e
Remove the requirement that Variable implement Default.
2017-11-06 11:10:14 -08:00
Dan Gohman
c7f01f88b2
Clarify some comments.
2017-11-03 11:44:58 -07:00
Dan Gohman
e21479a843
Mark check_return_args as #[cfg(debug_assertions)].
2017-11-02 12:28:01 -07:00
Dan Gohman
1cbf921d9d
Add a function to seal all the blocks at once.
2017-11-02 08:00:55 -07:00
Dan Gohman
c6d39dea5d
Add a comment about shrink_to_fit().
2017-11-01 11:35:15 -07:00
Dan Gohman
61a51f5275
Rename a variable to clarify its purpose.
2017-11-01 11:34:16 -07:00
Dan Gohman
57041ea9eb
Tidy up semicolons.
2017-11-01 11:30:37 -07:00
Dan Gohman
39c0fbb6c7
Assert that sealed blocks cannot accept new predecessors.
2017-11-01 11:27:54 -07:00
Dan Gohman
1663f141c8
Tidy up unneeded parentheses.
2017-11-01 11:26:55 -07:00
Dan Gohman
3d83d0e4f0
Clean up redundant blank lines.
2017-10-31 12:45:22 -07:00
Dan Gohman
c2665385b1
Rename FunctionName to ExternalName.
2017-10-30 13:26:56 -07:00
Dan Gohman
683408f30b
Break alias cycles by inserting zero values.
2017-10-26 12:22:16 -07:00
Dan Gohman
53e93d94a8
Avoid creating cyclic aliases in unreachable code.
2017-10-26 11:39:53 -07:00
Dan Gohman
2932a9314d
Don't allocate srclocs if we only have default SourceLoc values.
...
This avoids needless extra indentation in `write_function` in the
case where no SourceLoc information is available.
2017-10-25 11:17:29 -07:00
Dan Gohman
dbd75483e8
Rename arg_value to param_value for consistency.
...
Also rename FunctionBuilder's `pristine` to `params_values_initialized`
to avoid confusion with the unrelated `is_pristine` accessor function.
2017-10-25 10:14:10 -07:00
Dan Gohman
fc0671a0cf
Avoid dangling references to block params when sealing an unreachable block.
2017-10-25 10:04:18 -07:00
Dan Gohman
fdf2486c0a
Handle uninitialized values of type b1 and vector.
2017-10-23 15:23:57 -07:00
Dan Gohman
c93959de7e
Fix a bug handling a use_var of a value not defined in the entry block.
2017-10-20 15:55:04 -07:00
Dan Gohman
f4b25ff058
Have FunctionBuilder clear the ILBuilder's state in its drop().
2017-10-20 11:37:25 -07:00
Jakob Stoklund Olesen
b3fb41087e
Use the term "Function parameter" instead of "argument".
...
Rename the ArgumentType type to AbiParam since it describes the ABI
characteristics of a parameter or return value, not just the value type.
In Signature, rename members argument_types and return_types to "params"
and "returns". Again, they are not just types.
Fix a couple lingering references to "EBB arguments".
2017-10-19 17:39:23 -07:00
Jakob Stoklund Olesen
921bcc6c25
Use the term "EBB parameter" everywhere.
...
Add EBB parameter and EBB argument to the langref glossary to clarify
the distinction between formal EBB parameter values and arguments passed
to branches.
- Replace "ebb_arg" with "ebb_param" in function names that deal with
EBB parameters.
- Rename the ValueDef variants to Result and Param.
- A bunch of other small langref fixes.
No functional changes intended.
2017-10-19 16:17:09 -07:00
Dan Gohman
1a1774af15
Fix a typo in a comment.
2017-10-19 12:59:10 -07:00
Dan Gohman
36585ddc4f
Wasm control stack entries only need the number of return types.
...
This eliminates heap-allocated vectors which stored the actual types.
2017-09-25 13:05:29 -07:00
Jakob Stoklund Olesen
85e4e9f511
Assign source locations when translating WebAssembly to Cretonne.
...
The source locations are byte code offsets relative to the beginning of
the function.
2017-09-21 14:37:54 -07:00
Dan Gohman
16eb689dd1
Use Self instead of repeating the type name.
2017-09-21 14:21:30 -07:00
Dan Gohman
e5e4b59683
Tidy up some asserts.
2017-09-21 14:21:30 -07:00
Dan Gohman
e75558b800
Fix spelling of "adjustment".
2017-09-21 14:21:30 -07:00
Dan Gohman
dda8293668
Restructure code to avoid a heap allocation.
2017-09-21 14:21:30 -07:00
Dan Gohman
ff18772d0e
Avoid a heap allocation.
2017-09-21 14:21:30 -07:00
Dan Gohman
22b769b716
Convert use_var and predecessors_lookup into a state machine to avoid recursion.
2017-09-21 14:21:30 -07:00
Dan Gohman
9cda4eacde
Minor refactor.
2017-09-21 14:21:30 -07:00
Dan Gohman
df5ba8bbba
Correct a comment.
2017-09-21 14:21:30 -07:00