Add options to enable/disable certain optimizations #900
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "ghallak/271"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Fixes: #271
The following options are introduced:
optimize_inliner
optimize_inline_local_functions
optimize_bind_subexpressions
optimize_let_floating
optimize_simplifier
optimize_drop_unused_lets
optimize_scode
By default, all options are implicitly set to
true
, and they should be disabled separately by explicitly setting them tofalse
.Created by: radrow
I don't like optimize_all. I would just set all of them to true by default - I would avoid inconsistent information
Created by: radrow
Review: Approved
Created by: hanssv
Review: Approved
Merged by: ghallak at 2022-08-30 07:14:46 UTC