diff options
| author | Michael Schmidt <github@mschmidt.me> | 2015-12-15 09:17:07 +0100 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2015-12-15 09:17:07 +0100 |
| commit | 91029ac1749b8186c17c6cb14347066be8226434 (patch) | |
| tree | c4c1670c20a2cc12dfa08402a91e04e85fe45f74 /powerpc/AsmToJSON.ml | |
| parent | 67fda21314a577d6ae2bc9a5abf6df329b8ba85a (diff) | |
| download | compcert-kvx-91029ac1749b8186c17c6cb14347066be8226434.tar.gz compcert-kvx-91029ac1749b8186c17c6cb14347066be8226434.zip | |
Bug 17752, add rldicr instruction for PowerPC
Diffstat (limited to 'powerpc/AsmToJSON.ml')
| -rw-r--r-- | powerpc/AsmToJSON.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/powerpc/AsmToJSON.ml b/powerpc/AsmToJSON.ml index 02d2dc84..42ad4f97 100644 --- a/powerpc/AsmToJSON.ml +++ b/powerpc/AsmToJSON.ml @@ -287,6 +287,7 @@ let p_instruction oc ic = | Pori (ir1,ir2,c) -> instruction "Pori" [Ireg ir1; Ireg ir2; Constant c] | Poris (ir1,ir2,c) -> instruction "Poris" [Ireg ir1; Ireg ir2; Constant c] | Prldicl (ir1,ir2,ic1,ic2) -> instruction "Prldicl" [Ireg ir1; Ireg ir2; Constant (Cint ic1); Constant (Cint ic2)] + | Prldicr (ir1,ir2,ic1,ic2) -> instruction "Prldicr" [Ireg ir1; Ireg ir2; Constant (Cint ic1); Constant (Cint ic2)] | Prlwinm (ir1,ir2,ic1,ic2) -> instruction "Prlwinm" [Ireg ir1; Ireg ir2; Constant (Cint ic1); Constant (Cint ic2)] | Prlwimi (ir1,ir2,ic1,ic2) ->instruction "Prlwimi" [Ireg ir1; Ireg ir2; Constant (Cint ic1); Constant (Cint ic2)] | Pslw (ir1,ir2,ir3) -> instruction "Pslw" [Ireg ir1; Ireg ir2; Ireg ir3] |