diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-03-08 16:55:00 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-03-08 16:56:02 +0100 |
| commit | 89c844205901b0ad1a1f04bdb0673f48bf1404a6 (patch) | |
| tree | 7b08839de485a55b414533c266c1fdbdd4b5fadb /mppa_k1c/Asmblockgen.v | |
| parent | 4a3a66fca16b2094ff9c3f27fcaf0a70983663c3 (diff) | |
| download | compcert-kvx-89c844205901b0ad1a1f04bdb0673f48bf1404a6.tar.gz compcert-kvx-89c844205901b0ad1a1f04bdb0673f48bf1404a6.zip | |
Added error message for Odivfs in Asmblockgen
Diffstat (limited to 'mppa_k1c/Asmblockgen.v')
| -rw-r--r-- | mppa_k1c/Asmblockgen.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mppa_k1c/Asmblockgen.v b/mppa_k1c/Asmblockgen.v index 7650f50d..1c176538 100644 --- a/mppa_k1c/Asmblockgen.v +++ b/mppa_k1c/Asmblockgen.v @@ -626,6 +626,7 @@ Definition transl_op | Odivf , _ => Error (msg "Asmblockgen.transl_op: Odivf") + | Odivfs, _ => Error (msg "Asmblockgen.transl_op: Odivfs") (* We use the Splitlong instead for these four conversions *) | Osingleoflong , _ => Error (msg "Asmblockgen.transl_op: Osingleoflong") |