diff options
Diffstat (limited to 'aarch64/OpWeights.ml')
| -rw-r--r-- | aarch64/OpWeights.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/aarch64/OpWeights.ml b/aarch64/OpWeights.ml index d19f34af..01a1a553 100644 --- a/aarch64/OpWeights.ml +++ b/aarch64/OpWeights.ml @@ -298,6 +298,11 @@ let resources_of_op (op : operation) (nargs : int) = [| 1; 1; 1; 0 |] | _ -> [| 1; 1; 0; 0 |] );; +let non_pipelined_resources_of_op (op : operation) (nargs : int) = + match op with + | Odiv | Odivu -> [| 29 |] + | Odivl | Odivlu -> [| 50 |] + | _ -> [| -1 |];; let resources_of_cond (cmp : condition) (nargs : int) = (match cmp with |