attempt at latencies for Cortex A53

1 files changed, 147 insertions, 2 deletions

diff --git a/aarch64/OpWeights.ml b/aarch64/OpWeights.ml
index 3662ef1c..471161b7 100644
--- a/aarch64/OpWeights.ml
+++ b/aarch64/OpWeights.ml
@@ -1,8 +1,153 @@
 open Op;;
 let resource_bounds = [| 1 |];;
+let nr_non_pipelined_units = 1;;
 
-
-let latency_of_op (op : operation) (nargs : int) = 1;;
+let latency_of_op (op : operation) (nargs : int) =
+  match op with
+  | Omove 
+  | Ointconst _
+  | Olongconst _
+  | Ofloatconst _
+  | Osingleconst _
+  | Oaddrsymbol _
+  | Oaddrstack _ -> 1
+  | Oshift _ -> 2
+  | Oadd -> 1
+  | Oaddshift _ -> 2
+  | Oaddimm _
+  | Oneg -> 1                   
+  | Onegshift _ -> 2
+  | Osub -> 1
+  | Osubshift _ -> 2
+  | Omul
+  | Omuladd  
+  | Omulsub -> 4
+  | Odiv
+  | Odivu -> 29
+  | Oand -> 1
+  | Oandshift _ -> 2
+  | Oandimm _ -> 1
+  | Oor -> 1
+  | Oorshift _ -> 2
+  | Oorimm _ -> 1
+  | Oxor -> 1
+  | Oxorshift _ -> 2
+  | Oxorimm _ -> 1
+  | Onot -> 1
+  | Onotshift _ -> 2
+  | Obic -> 1
+  | Obicshift _ -> 2
+  | Oorn -> 1
+  | Oornshift _ -> 2
+  | Oeqv -> 1
+  | Oeqvshift _ -> 2
+  | Oshl 
+  | Oshr
+  | Oshru -> 2
+  | Oshrximm _ -> 6
+  | Ozext _
+  | Osext _ -> 1
+  | Oshlzext _
+  | Oshlsext _
+  | Ozextshr _
+  | Osextshr _ -> 2
+              
+(* 64-bit integer arithmetic *)
+  | Oshiftl _ -> 2
+  | Oextend _ -> 1
+  | Omakelong
+  | Olowlong 
+  | Ohighlong 
+  | Oaddl -> 1
+  | Oaddlshift _
+  | Oaddlext _ -> 2
+  | Oaddlimm _
+  | Onegl -> 1         
+  | Oneglshift _ -> 2
+  | Osubl -> 1
+  | Osublshift _
+  | Osublext _ -> 2
+  | Omull
+  | Omulladd 
+  | Omullsub 
+  | Omullhs 
+  | Omullhu -> 4
+  | Odivl -> 50
+  | Odivlu -> 50
+  | Oandl -> 1
+  | Oandlshift _ -> 2
+  | Oandlimm _
+  | Oorl -> 1 
+  | Oorlshift _ -> 2
+  | Oorlimm _
+  | Oxorl -> 1
+  | Oxorlshift _ -> 2
+  | Oxorlimm _
+  | Onotl -> 1
+  | Onotlshift _ -> 2
+  | Obicl -> 1
+  | Obiclshift _ -> 2
+  | Oornl -> 1
+  | Oornlshift _ -> 2
+  | Oeqvl -> 1
+  | Oeqvlshift _ -> 2
+  | Oshll 
+  | Oshrl
+  | Oshrlu -> 2
+  | Oshrlximm _ -> 6
+  | Ozextl _
+  | Osextl _ -> 1
+  | Oshllzext _
+  | Oshllsext _
+  | Ozextshrl _
+  | Osextshrl _ -> 2
+                 
+(* 64-bit floating-point arithmetic *)
+  | Onegf                                               (* r [rd = - r1] *)
+  | Oabsf                                               (* r [rd = abs(r1)] *)
+  | Oaddf                                               (* r [rd = r1 + r2] *)
+  | Osubf                                               (* r [rd = r1 - r2] *)
+  | Omulf                                               (* r [rd = r1 * r2] *)
+  | Odivf                                               (* r [rd = r1 / r2] *)
+(* 32-bit floating-point arithmetic *)
+  | Onegfs                                              (* r [rd = - r1] *)
+  | Oabsfs                                              (* r [rd = abs(r1)] *)
+  | Oaddfs                                              (* r [rd = r1 + r2] *)
+  | Osubfs                                              (* r [rd = r1 - r2] *)
+  | Omulfs                                              (* r [rd = r1 * r2] *)
+  | Odivfs                                              (* r [rd = r1 / r2] *)
+  | Osingleoffloat                                      (* r [rd] is [r1] truncated to single-precision float *)
+  | Ofloatofsingle                                      (* r [rd] is [r1] extended to double-precision float *)
+(*  Conversions between int and float *)
+  | Ointoffloat                                         (* r [rd = signed_int_of_float64(r1)] *)
+  | Ointuoffloat                                        (* r [rd = unsigned_int_of_float64(r1)] *)
+  | Ofloatofint                                         (* r [rd = float64_of_signed_int(r1)] *)
+  | Ofloatofintu                                        (* r [rd = float64_of_unsigned_int(r1)] *)
+  | Ointofsingle                                        (* r [rd = signed_int_of_float32(r1)] *)
+  | Ointuofsingle                                       (* r [rd = unsigned_int_of_float32(r1)] *)
+  | Osingleofint                                        (* r [rd = float32_of_signed_int(r1)] *)
+  | Osingleofintu                                       (* r [rd = float32_of_unsigned_int(r1)] *)
+  | Olongoffloat                                        (* r [rd = signed_long_of_float64(r1)] *)
+  | Olonguoffloat                                       (* r [rd = unsigned_long_of_float64(r1)] *)
+  | Ofloatoflong                                        (* r [rd = float64_of_signed_long(r1)] *)
+  | Ofloatoflongu                                       (* r [rd = float64_of_unsigned_long(r1)] *)
+  | Olongofsingle                                       (* r [rd = signed_long_of_float32(r1)] *)
+  | Olonguofsingle                                      (* r [rd = unsigned_long_of_float32(r1)] *)
+  | Osingleoflong                                       (* r [rd = float32_of_signed_long(r1)] *)
+  | Osingleoflongu                                      (* r [rd = float32_of_unsigned_int(r1)] *)
+    -> 6
+  (*  Boolean tests *)
+  | Ocmp cmp | Osel (cmp, _) ->
+     (match cmp with
+     | Ccompf _                              (* r FP comparison *)
+     | Cnotcompf _                           (* r negation of an FP comparison *)
+     | Ccompfzero _                          (* r comparison with 0.0 *)
+     | Cnotcompfzero _                       (* r negation of comparison with 0.0 *)
+     | Ccompfs _                             (* r FP comparison *)
+     | Cnotcompfs _                          (* r negation of an FP comparison *)
+     | Ccompfszero _                         (* r equal to 0.0 *)
+     | Cnotcompfszero _                     (* r not equal to 0.0 *) -> 6
+     | _ -> 1);;
 
 let resources_of_op (op : operation) (nargs : int) = [| 1 |];;