blob: 8d10d406f42cf8f279b3d69487bcff7439af3b4b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
type called_function = (Registers.reg, AST.ident) Datatypes.sum
type opweights =
{
pipelined_resource_bounds : int array;
nr_non_pipelined_units : int;
latency_of_op : Op.operation -> int -> int;
resources_of_op : Op.operation -> int -> int array;
non_pipelined_resources_of_op : Op.operation -> int -> int array;
latency_of_load : AST.trapping_mode -> AST.memory_chunk -> Op.addressing -> int -> int;
resources_of_load : AST.trapping_mode -> AST.memory_chunk -> Op.addressing -> int -> int array;
resources_of_store : AST.memory_chunk -> Op.addressing -> int -> int array;
resources_of_cond : Op.condition -> int -> int array;
latency_of_call : AST.signature -> called_function -> int;
resources_of_call : AST.signature -> called_function -> int array;
resources_of_builtin : AST.external_function -> int array
};;
|