diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-02 09:04:03 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-02 09:04:03 +0200 |
| commit | fd2c2a0bdf723dce559567324711a3127ce0582e (patch) | |
| tree | f03b21a14cba984854142016733802c3ca8866b1 /common | |
| parent | 8fb2d1a49443767ce353520ea045383430a2655e (diff) | |
| parent | 5cdc3d29983c65d1ac1d3393103037fdd87d7829 (diff) | |
| download | compcert-kvx-fd2c2a0bdf723dce559567324711a3127ce0582e.tar.gz compcert-kvx-fd2c2a0bdf723dce559567324711a3127ce0582e.zip | |
Merge remote-tracking branch 'origin/mppa-work' into mppa-ternary
Diffstat (limited to 'common')
| -rw-r--r-- | common/Switchaux.ml | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/common/Switchaux.ml b/common/Switchaux.ml index 06337e7d..1744a932 100644 --- a/common/Switchaux.ml +++ b/common/Switchaux.ml @@ -80,10 +80,7 @@ let compile_switch_as_jumptable default cases minkey maxkey = CTaction default) let dense_enough (numcases: int) (minkey: Z.t) (maxkey: Z.t) = - (* FIXME DMonniaux disable jump tables until we can prove them through *) - false - -(* + (* DM Settings this to constant false disables jump tables *) let span = Z.sub maxkey minkey in assert (Z.ge span Z.zero); let tree_size = Z.mul (Z.of_uint 4) (Z.of_uint numcases) @@ -91,7 +88,6 @@ let dense_enough (numcases: int) (minkey: Z.t) (maxkey: Z.t) = numcases >= 7 (* small jump tables are always less efficient *) && Z.le table_size tree_size && Z.lt span (Z.of_uint Sys.max_array_length) - *) let compile_switch modulus default table = let (tbl, keys) = normalize_table table in |