diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-09-06 11:43:28 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-09-06 15:59:07 +0200 |
| commit | d870e17a7a964b48d8e44195ccd12e4160a63f32 (patch) | |
| tree | 3b16e98d6a1044be90dbff1642e3386ec276cb2d /mppa_k1c/extractionMachdep.v | |
| parent | 95926365caa7577f0936cdd4ab705d28b3d1457d (diff) | |
| download | compcert-kvx-d870e17a7a964b48d8e44195ccd12e4160a63f32.tar.gz compcert-kvx-d870e17a7a964b48d8e44195ccd12e4160a63f32.zip | |
Extraction issue
Diffstat (limited to 'mppa_k1c/extractionMachdep.v')
| -rw-r--r-- | mppa_k1c/extractionMachdep.v | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mppa_k1c/extractionMachdep.v b/mppa_k1c/extractionMachdep.v index c9a1040a..e70f51de 100644 --- a/mppa_k1c/extractionMachdep.v +++ b/mppa_k1c/extractionMachdep.v @@ -23,5 +23,7 @@ Extract Constant Archi.ptr64 => " Configuration.model = ""64"" ". Extract Constant Archi.pic_code => "fun () -> false". (* for the time being *) (* Asm *) +(* Extract Constant Asm.low_half => "fun _ _ _ -> assert false". Extract Constant Asm.high_half => "fun _ _ _ -> assert false". +*) |