Commit 716687e1 authored by David Monniaux's avatar David Monniaux
Browse files

fix OpWeights

parent 18a2f806
Pipeline #58820 passed with stages
in 345 minutes and 39 seconds
......@@ -104,7 +104,7 @@ module SweRV_EH1 =
| Omul | Omulhs | Omulhu
| Omull | Omullhs | Omullhu -> [| 1 ; 0 ; 1 |]
| Odiv | Odivu | Odivl | Odivlu -> [| 0 ; 0; 0 |]
| _ -> [| 1; 0; 0; 0 |];;
| _ -> [| 1; 0; 0 |];;
let non_pipelined_resources_of_op (op : operation) (nargs : int) =
match op with
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment