diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-03 16:24:47 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-03 16:25:39 +0200 |
commit | 296a95911bebae79f7bcc54ab9c05b1614bb8e9b (patch) | |
tree | 933cccce159b7dcf15141f55025a227d281e052b | |
parent | 8dca8ab5b4ee6a73c15c44892fa59b42f8157854 (diff) | |
download | compcert-296a95911bebae79f7bcc54ab9c05b1614bb8e9b.tar.gz compcert-296a95911bebae79f7bcc54ab9c05b1614bb8e9b.zip |
Fixed minor typo in printing of the Plbzx instruction in AsmToJSON.
-rw-r--r-- | powerpc/AsmToJSON.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/powerpc/AsmToJSON.ml b/powerpc/AsmToJSON.ml index 5b618c8e..2c1c65b5 100644 --- a/powerpc/AsmToJSON.ml +++ b/powerpc/AsmToJSON.ml @@ -221,7 +221,7 @@ let p_instruction oc ic = | Pisync -> fprintf oc "{\"Instruction Name\":\"Pisync\",\"Args\":[]}" | Plwsync -> fprintf oc "{\"Instruction Name\":\"Plwsync\",\"Args\":[]}" | Plbz (ir1,c,ir2) -> fprintf oc "{\"Instruction Name\":\"Plbz\",\"Args\":[%a,%a,%a]}" p_ireg ir1 p_constant c p_ireg ir2 - | Plbzx (ir1,ir2,ir3) -> fprintf oc "{\"Instruction Name\":\"Pblzx\",\"Args\":[%a,%a,%a]}" p_ireg ir1 p_ireg ir2 p_ireg ir3 + | Plbzx (ir1,ir2,ir3) -> fprintf oc "{\"Instruction Name\":\"Plbzx\",\"Args\":[%a,%a,%a]}" p_ireg ir1 p_ireg ir2 p_ireg ir3 | Plfd (fr,c,ir) | Plfd_a (fr,c,ir) -> fprintf oc "{\"Instruction Name\":\"Plfd\",\"Args\":[%a,%a,%a]}" p_freg fr p_constant c p_ireg ir | Plfdx (fr,ir1,ir2) |