diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-04 12:51:27 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-04 12:51:27 +0200 |
commit | 47d0e5256ab79b402faae14260fa2fabc1d24dcb (patch) | |
tree | 2d4095dca9354c99d40f73a442b50f98c164e337 | |
parent | 707741859e747221af46daa982752b61a8076647 (diff) | |
download | compcert-47d0e5256ab79b402faae14260fa2fabc1d24dcb.tar.gz compcert-47d0e5256ab79b402faae14260fa2fabc1d24dcb.zip |
Fixed typo in AsmToJSON for instruction Pstfdu.
-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 c86dad4e..5f875ebf 100644 --- a/powerpc/AsmToJSON.ml +++ b/powerpc/AsmToJSON.ml @@ -271,7 +271,7 @@ let p_instruction oc ic = | Pstbx (ir1,ir2,ir3) -> fprintf oc "{\"Instruction Name\":\"Pstbx\",\"Args\":[%a,%a,%a]}" p_ireg ir1 p_ireg ir2 p_ireg ir3 | Pstfd (fr,c,ir) | Pstfd_a (fr,c,ir) -> fprintf oc "{\"Instruction Name\":\"Pstfd\",\"Args\":[%a,%a,%a]}" p_freg fr p_constant c p_ireg ir - | Pstfdu (fr,c,ir) -> fprintf oc "{\"Instruction Name\":\"Pstdu\",\"Args\":[%a,%a,%a]}" p_freg fr p_constant c p_ireg ir + | Pstfdu (fr,c,ir) -> fprintf oc "{\"Instruction Name\":\"Pstfdu\",\"Args\":[%a,%a,%a]}" p_freg fr p_constant c p_ireg ir | Pstfdx (fr,ir1,ir2) | Pstfdx_a (fr,ir1,ir2) -> fprintf oc "{\"Instruction Name\":\"Pstfdx\",\"Args\":[%a,%a,%a]}" p_freg fr p_ireg ir1 p_ireg ir2 | Pstfs (fr,c,ir) -> fprintf oc "{\"Instruction Name\":\"Pstfs\",\"Args\":[%a,%a,%a]}" p_freg fr p_constant c p_ireg ir |