diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2020-12-07 15:35:20 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2020-12-07 15:35:20 +0100 |
| commit | 23da7b35d0edf98f271401ac93a1fa06adb062a2 (patch) | |
| tree | 036672f28d72d8d583886b2503607ce661825e9b /kvx/TargetPrinter.ml | |
| parent | 60ff1e39bac5ab35c46698cbc1ed7a76fc936cab (diff) | |
| download | compcert-kvx-23da7b35d0edf98f271401ac93a1fa06adb062a2.tar.gz compcert-kvx-23da7b35d0edf98f271401ac93a1fa06adb062a2.zip | |
Fixing test/regression for KVXv3.8_kvx
Diffstat (limited to 'kvx/TargetPrinter.ml')
| -rw-r--r-- | kvx/TargetPrinter.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/kvx/TargetPrinter.ml b/kvx/TargetPrinter.ml index dfafc137..5b6230ca 100644 --- a/kvx/TargetPrinter.ml +++ b/kvx/TargetPrinter.ml @@ -414,6 +414,9 @@ module Target (*: TARGET*) = | Psemi -> fprintf oc ";;\n" | Pclzll (rd, rs) -> fprintf oc " clzd %a = %a\n" ireg rd ireg rs + | Pclzw (rd, rs) -> fprintf oc " clzw %a = %a\n" ireg rd ireg rs + | Pctzll (rd, rs) -> fprintf oc " ctzd %a = %a\n" ireg rd ireg rs + | Pctzw (rd, rs) -> fprintf oc " ctzw %a = %a\n" ireg rd ireg rs | Pstsud (rd, rs1, rs2) -> fprintf oc " stsud %a = %a, %a\n" ireg rd ireg rs1 ireg rs2 |