diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-01-16 14:24:17 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-01-16 14:24:17 +0100 |
| commit | 3c4639e92948b3db6c265300f532ed8ddaebc00c (patch) | |
| tree | bc0b534168ccb597967389f3d92c408e394723b2 /mppa_k1c/TargetPrinter.ml | |
| parent | 0d6f455f2ffca12ee758dd88656ad9c6a4a70ed5 (diff) | |
| download | compcert-kvx-3c4639e92948b3db6c265300f532ed8ddaebc00c.tar.gz compcert-kvx-3c4639e92948b3db6c265300f532ed8ddaebc00c.zip | |
More instruction definitions in the oracle
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
| -rw-r--r-- | mppa_k1c/TargetPrinter.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index cdede1ef..7db82f6f 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -268,7 +268,8 @@ module Target (*: TARGET*) = fprintf oc " sd %a[%a] = %a\n" offset ofs ireg ra ireg rd (* Arith R instructions *) - | Pcvtw2l(rd) -> assert false + | Pcvtw2l(rd) -> assert false + (* Converted to no instruction in Asmexpand *) (* Arith RR instructions *) | Pmv(rd, rs) | Pmvw2l(rd, rs) -> |