diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-01-25 17:53:48 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-01-29 18:21:20 +0100 |
| commit | 0a693ac9dd3b181ba42566996531438ef205815c (patch) | |
| tree | 16d1424b4549f53ab856bf026c7a8ef39d3dcd8c /mppa_k1c/TargetPrinter.ml | |
| parent | 61bd09baee35a8acc68cd4047eb811839b59e945 (diff) | |
| download | compcert-kvx-0a693ac9dd3b181ba42566996531438ef205815c.tar.gz compcert-kvx-0a693ac9dd3b181ba42566996531438ef205815c.zip | |
Adding indirect calls (icall instruction)
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
| -rw-r--r-- | mppa_k1c/TargetPrinter.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index 36fab151..0d357962 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -237,6 +237,8 @@ module Target (*: TARGET*) = fprintf oc " ret \n" | Pcall(s) -> fprintf oc " call %a\n" symbol s + | Picall(rs) -> + fprintf oc " icall %a\n" ireg rs | Pgoto(s) -> fprintf oc " goto %a\n" symbol s | Pj_l(s) -> |