diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-08-30 10:10:06 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-08-30 10:10:06 +0200 |
| commit | cfc681ae18c59f4a19143a7245be23eb6a4045a0 (patch) | |
| tree | 9de825a02fe2abd027cad7cb142c1220b7c5035f /mppa_k1c/NeedOp.v | |
| parent | c0984982ea5b8481bfc75c0ea4254eb5db07d875 (diff) | |
| download | compcert-kvx-cfc681ae18c59f4a19143a7245be23eb6a4045a0.tar.gz compcert-kvx-cfc681ae18c59f4a19143a7245be23eb6a4045a0.zip | |
add finvw ; not yet generated
Diffstat (limited to 'mppa_k1c/NeedOp.v')
| -rw-r--r-- | mppa_k1c/NeedOp.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mppa_k1c/NeedOp.v b/mppa_k1c/NeedOp.v index 84e32d0f..856f5b54 100644 --- a/mppa_k1c/NeedOp.v +++ b/mppa_k1c/NeedOp.v @@ -124,6 +124,7 @@ Definition needs_of_operation (op: operation) (nv: nval): list nval := | Oaddf | Osubf | Omulf | Odivf | Ominf | Omaxf => op2 (default nv) | Onegfs | Oabsfs => op1 (default nv) | Oaddfs | Osubfs | Omulfs | Odivfs | Ominfs | Omaxfs => op2 (default nv) + | Oinvfs => op1 (default nv) | Ofloatofsingle | Osingleoffloat => op1 (default nv) | Ointoffloat | Ointuoffloat => op1 (default nv) | Olongoffloat | Olonguoffloat | Ofloatoflong | Ofloatoflongu => op1 (default nv) |