diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-09 13:55:44 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-09 13:55:44 +0200 |
commit | e20c07dddf528ce50951a59cb92f98b4bca8da77 (patch) | |
tree | 1c923b35023d0d12004f86680db97e99aa836819 /mppa_k1c/TargetPrinter.ml | |
parent | a724c959659d94425b8dd4a0dc2e343ecdba3edc (diff) | |
download | compcert-kvx-e20c07dddf528ce50951a59cb92f98b4bca8da77.tar.gz compcert-kvx-e20c07dddf528ce50951a59cb92f98b4bca8da77.zip |
MPPA - Optimized branch generation for word compare to 0
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
-rw-r--r-- | mppa_k1c/TargetPrinter.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index ac6f8f1b..72f6e12a 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -177,6 +177,10 @@ module Target : TARGET = let bcond_name = function | BTwnez -> "wnez" | BTweqz -> "weqz" + | BTwltz -> "wltz" + | BTwgez -> "wgez" + | BTwlez -> "wlez" + | BTwgtz -> "wgtz" let bcond oc c = fprintf oc "%s" (bcond_name c) |