diff options
Diffstat (limited to 'powerpc/Unusedglob1.ml')
-rw-r--r-- | powerpc/Unusedglob1.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/powerpc/Unusedglob1.ml b/powerpc/Unusedglob1.ml index 49c0774..2d3efe3 100644 --- a/powerpc/Unusedglob1.ml +++ b/powerpc/Unusedglob1.ml @@ -42,18 +42,22 @@ let referenced_instr = function | Pcmpwi(_, c) | Plbz(_, c, _) | Plfd(_, c, _) + | Plfd_a(_, c, _) | Plfs(_, c, _) | Plha(_, c, _) | Plhz(_, c, _) | Plwz(_, c, _) + | Plwz_a(_, c, _) | Pmulli(_, _, c) | Pori(_, _, c) | Poris(_, _, c) | Pstb(_, c, _) | Pstfd(_, c, _) + | Pstfd_a(_, c, _) | Pstfs(_, c, _) | Psth(_, c, _) | Pstw(_, c, _) + | Pstw_a(_, c, _) | Psubfic(_, _, c) | Pxori(_, _, c) | Pxoris(_, _, c) -> referenced_constant c |