diff options
Diffstat (limited to 'mppa_k1c')
| -rw-r--r-- | mppa_k1c/Asmblockgen.v | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/mppa_k1c/Asmblockgen.v b/mppa_k1c/Asmblockgen.v index 6503e5b3..95bb5a36 100644 --- a/mppa_k1c/Asmblockgen.v +++ b/mppa_k1c/Asmblockgen.v @@ -611,11 +611,8 @@ Definition transl_op | Osubfs , _ => Error (msg "Asmblockgen.transl_op: Osubfs") | Omulfs , _ => Error (msg "Asmblockgen.transl_op: Omulfs") | Odivfs , _ => Error (msg "Asmblockgen.transl_op: Odivfs") - | Ofloatoflongu , _ => Error (msg "Asmblockgen.transl_op: Ofloatoflongu") | Osingleoflong , _ => Error (msg "Asmblockgen.transl_op: Osingleoflong") | Osingleoflongu , _ => Error (msg "Asmblockgen.transl_op: Osingleoflongu") - | Osingleoffloat , _ => Error (msg "Asmblockgen.transl_op: Osingleoffloat") - | Ofloatofsingle , _ => Error (msg "Asmblockgen.transl_op: Ofloatofsingle") | Ointoffloat , _ => Error (msg "Asmblockgen.transl_op: Ointoffloat") | Ointuoffloat , _ => Error (msg "Asmblockgen.transl_op: Ointuoffloat") | Ofloatofint , _ => Error (msg "Asmblockgen.transl_op: Ofloatofint") |