Source file `carbonated_map_costs_generated.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
(* Do not edit this file manually.
   This file was automatically generated from benchmark models
   If you wish to update a function in this file,
   a. update the corresponding model, or
   b. move the function to another module and edit it there. *)

[@@@warning "-33"]

module S = Saturation_repr
open S.Syntax

(* model carbonated_map/compare_int *)
(* max 10 2.18333333333 *)
let cost_compare_int = S.safe_int 10

(* model carbonated_map/find *)
(* fun size ->
     max 10 ((50. + ((log2 size) * 2.18333333333)) + ((log2 size) * 2.)) *)
let cost_find size =
  let size = S.safe_int size in
  let w1 = log2 size in
  (w1 * S.safe_int 4) + (w1 lsr 3) + (w1 lsr 4) + S.safe_int 50

(* model carbonated_map/find_intercept *)
(* max 10 50. *)
let cost_find_intercept = S.safe_int 50

(* model carbonated_map/fold *)
(* fun size -> max 10 (50. + (24. * size)) *)
let cost_fold size =
  let size = S.safe_int size in
  (size * S.safe_int 24) + S.safe_int 50