diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-03 13:16:27 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-03 13:16:27 +0100 |
| commit | 0c999140e3eb696580282375e06fc13d64f6103a (patch) | |
| tree | 6d6ab9d24dab282bc5727890cd1b46930b94b52f /powerpc/AsmToJSON.ml | |
| parent | 7cef0b2872b00343c5dd0f94440ce245f6b5e422 (diff) | |
| download | compcert-kvx-0c999140e3eb696580282375e06fc13d64f6103a.tar.gz compcert-kvx-0c999140e3eb696580282375e06fc13d64f6103a.zip | |
Changed the name of a few ppc instructions. Bug 17544
Diffstat (limited to 'powerpc/AsmToJSON.ml')
| -rw-r--r-- | powerpc/AsmToJSON.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/powerpc/AsmToJSON.ml b/powerpc/AsmToJSON.ml index 85c1d0fc..9735966c 100644 --- a/powerpc/AsmToJSON.ml +++ b/powerpc/AsmToJSON.ml @@ -154,8 +154,8 @@ let p_arg oc = function | Constant c -> p_constant oc c | Crbit cr -> p_crbit oc cr | Label lbl -> p_label oc lbl - | Float32 f -> p_float32 oc f - | Float64 f -> p_float64 oc f + | Float32 f -> p_float32_constant oc f + | Float64 f -> p_float64_constant oc f | Atom a -> p_atom_constant oc a let p_instruction oc ic = @@ -188,7 +188,7 @@ let p_instruction oc ic = | Pbt (cr,l) -> instruction "Pbt" [Crbit cr; Label l] | Pbtbl (i,lb) -> instruction "Pbtbl" ((Ireg i)::(List.map (fun a -> Label a) lb)) | Pcmpb (ir1,ir2,ir3) -> instruction "Pcmpb" [Ireg ir1; Ireg ir2; Ireg ir3] - | Pcmplw (ir1,ir2) -> instruction "Pcmplwi" [Ireg ir1; Ireg ir2] + | Pcmplw (ir1,ir2) -> instruction "Pcmplw" [Ireg ir1; Ireg ir2] | Pcmplwi (ir,c) -> instruction "Pcmplwi" [Ireg ir; Constant c] | Pcmpw (ir1,ir2) -> instruction "Pcmpw" [Ireg ir1; Ireg ir2] | Pcmpwi (ir,c) -> instruction "Pcmpwi" [Ireg ir; Constant c] |