diff options
Diffstat (limited to 'powerpc/NeedOp.v')
-rw-r--r-- | powerpc/NeedOp.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/powerpc/NeedOp.v b/powerpc/NeedOp.v index 672bd6f2..4d8c32bd 100644 --- a/powerpc/NeedOp.v +++ b/powerpc/NeedOp.v @@ -56,7 +56,7 @@ Definition needs_of_operation (op: operation) (nv: nval): list nval := | Onegfs | Oabsfs => op1 (default nv) | Oaddfs | Osubfs | Omulfs | Odivfs => op2 (default nv) | Osingleoffloat | Ofloatofsingle => op1 (default nv) - | Ointoffloat => op1 (default nv) + | Ointoffloat | Ointuoffloat | Ofloatofint | Ofloatofintu => op1 (default nv) | Ofloatofwords | Omakelong => op2 (default nv) | Olowlong | Ohighlong => op1 (default nv) | Ocmp c => needs_of_condition c |