aarch64/OpWeights.ml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

open Op;;
let resource_bounds = [| 1 |];;


let latency_of_op (op : operation) (nargs : int) = 1;;

let resources_of_op (op : operation) (nargs : int) = [| 1 |];;

let resources_of_cond (cond : condition) (nargs : int) = [| 1 |];;

let latency_of_load trap chunk (addr : addressing) (nargs : int) = 3;;
let latency_of_call _ _ = 6;;

let resources_of_load trap chunk addressing nargs = [| 1 |];;

let resources_of_store chunk addressing nargs = [| 1 |];;

let resources_of_call _ _ = resource_bounds;;
let resources_of_builtin _ = resource_bounds;;