diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-02-20 15:04:15 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-02-20 15:05:56 +0100 |
| commit | 20cb5c46636c5a855efd49ea6459af12211d7bd0 (patch) | |
| tree | 8ec790fda676dce1f8074189d8012092ef8e28f5 /mppa_k1c/TargetPrinter.ml | |
| parent | a17303a44371cd867a4df647bf566f4a101bf5aa (diff) | |
| download | compcert-kvx-20cb5c46636c5a855efd49ea6459af12211d7bd0.tar.gz compcert-kvx-20cb5c46636c5a855efd49ea6459af12211d7bd0.zip | |
Remove unnecessary and error prone FR constructor for pregs
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
| -rw-r--r-- | mppa_k1c/TargetPrinter.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index da3cf75f..bbb608de 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -64,13 +64,11 @@ module Target (*: TARGET*) = let preg oc = let open Asmblock in function | IR r -> ireg oc r - | FR r -> ireg oc r | RA -> output_string oc "$ra" | _ -> assert false let preg_annot = let open Asmblock in function | IR r -> int_reg_name r - | FR r -> int_reg_name r | RA -> "$ra" | _ -> assert false |