From c24042a694b960237827c6255d5d407fb58227dc Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Fri, 29 Mar 2019 20:23:27 +0100 Subject: FIXME: Jumptables have linking issues. --- common/Switchaux.ml | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'common/Switchaux.ml') diff --git a/common/Switchaux.ml b/common/Switchaux.ml index 69300feb..81d7208f 100644 --- a/common/Switchaux.ml +++ b/common/Switchaux.ml @@ -80,6 +80,9 @@ 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 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) @@ -87,6 +90,7 @@ 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 -- cgit