diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-16 11:06:54 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-16 11:06:54 +0100 |
| commit | 7035f06bf453bdf2f9f09fd8a392778e9ad3cd43 (patch) | |
| tree | 529e55a00a8882c5f9d7e701be125379e0d15efb /powerpc/TargetPrinter.ml | |
| parent | c54e20b2c444ddbb561bb4ac0422c92b77b656b1 (diff) | |
| download | compcert-kvx-7035f06bf453bdf2f9f09fd8a392778e9ad3cd43.tar.gz compcert-kvx-7035f06bf453bdf2f9f09fd8a392778e9ad3cd43.zip | |
Cleanup of AsmToJSON.
Removed unused code, factored out common functions and added an
interface file.
Bug 18394
Diffstat (limited to 'powerpc/TargetPrinter.ml')
| -rw-r--r-- | powerpc/TargetPrinter.ml | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml index 99407da7..ae9d4191 100644 --- a/powerpc/TargetPrinter.ml +++ b/powerpc/TargetPrinter.ml @@ -71,6 +71,14 @@ let float_reg_name = function | FPR24 -> "24" | FPR25 -> "25" | FPR26 -> "26" | FPR27 -> "27" | FPR28 -> "28" | FPR29 -> "29" | FPR30 -> "30" | FPR31 -> "31" +let num_crbit = function + | CRbit_0 -> 0 + | CRbit_1 -> 1 + | CRbit_2 -> 2 + | CRbit_3 -> 3 + | CRbit_6 -> 6 + + let label = elf_label module Linux_System : SYSTEM = @@ -310,14 +318,6 @@ module Target (System : SYSTEM):TARGET = let label_high oc lbl = fprintf oc ".L%d@ha" lbl - - let num_crbit = function - | CRbit_0 -> 0 - | CRbit_1 -> 1 - | CRbit_2 -> 2 - | CRbit_3 -> 3 - | CRbit_6 -> 6 - let crbit oc bit = fprintf oc "%d" (num_crbit bit) |