diff options
Diffstat (limited to 'platform.ml')
-rw-r--r-- | platform.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/platform.ml b/platform.ml index bdd5bd0..6ee2d2b 100644 --- a/platform.ml +++ b/platform.ml @@ -128,6 +128,8 @@ let insns_per_tick () = Big_int.of_int P.insns_per_tick (* load reservation *) +let speculate_conditional () = true + let reservation = ref "none" (* shouldn't match any valid address *) let load_reservation addr = |