diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-30 16:20:20 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-30 16:20:20 +0100 |
commit | 3451ed469864c10b2fc5892d46dab08e57e68416 (patch) | |
tree | 38651632c3836dab559f949b7fa645269aeca9a6 /common/Switchaux.ml | |
parent | c24042a694b960237827c6255d5d407fb58227dc (diff) | |
download | compcert-kvx-3451ed469864c10b2fc5892d46dab08e57e68416.tar.gz compcert-kvx-3451ed469864c10b2fc5892d46dab08e57e68416.zip |
fix for jump tablesv3.5_k1c_1.0
Diffstat (limited to 'common/Switchaux.ml')
-rw-r--r-- | common/Switchaux.ml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/common/Switchaux.ml b/common/Switchaux.ml index 81d7208f..1744a932 100644 --- a/common/Switchaux.ml +++ b/common/Switchaux.ml @@ -80,9 +80,7 @@ let compile_switch_as_jumptable default cases minkey maxkey = CTaction default) let dense_enough (numcases: int) (minkey: Z.t) (maxkey: Z.t) = - false - - (* DM FIXME 2019-03-29 do not use jump tables bug in assembly/link + (* 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) @@ -90,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 |