diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-02-27 12:05:30 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-02-27 12:05:30 +0100 |
| commit | 12f0b90362f079cb1386883fe2d87a7d6955faa3 (patch) | |
| tree | bdddfaf998547171e121c8f0280b2114f18d7a43 /mppa_k1c/Asmblockgen.v | |
| parent | 534fefe3cd7208eb9b3e931f36de36af3e420eb5 (diff) | |
| download | compcert-kvx-12f0b90362f079cb1386883fe2d87a7d6955faa3.tar.gz compcert-kvx-12f0b90362f079cb1386883fe2d87a7d6955faa3.zip | |
Removing unused cases Asmblockgen
Diffstat (limited to 'mppa_k1c/Asmblockgen.v')
| -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") |