diff options
Diffstat (limited to 'powerpc/Unusedglob1.ml')
| -rw-r--r-- | powerpc/Unusedglob1.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/powerpc/Unusedglob1.ml b/powerpc/Unusedglob1.ml index fabac33..49c0774 100644 --- a/powerpc/Unusedglob1.ml +++ b/powerpc/Unusedglob1.ml @@ -31,8 +31,8 @@ let referenced_builtin ef = | _ -> [] let referenced_instr = function - | Pbl s -> [s] - | Pbs s -> [s] + | Pbl(s, _) -> [s] + | Pbs(s, _) -> [s] | Paddi(_, _, c) | Paddic(_, _, c) | Paddis(_, _, c) @@ -60,4 +60,4 @@ let referenced_instr = function | Pbuiltin(ef, _, _) -> referenced_builtin ef | _ -> [] -let code_of_function f = f +let code_of_function f = f.fn_code |