diff options
Diffstat (limited to 'powerpc/AsmToJSON.ml')
-rw-r--r-- | powerpc/AsmToJSON.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/powerpc/AsmToJSON.ml b/powerpc/AsmToJSON.ml index ee3eaca8..ca79a8a2 100644 --- a/powerpc/AsmToJSON.ml +++ b/powerpc/AsmToJSON.ml @@ -369,7 +369,8 @@ let pp_instructions pp ic = | EF_memcpy _ | EF_runtime _ | EF_vload _ - | EF_vstore _ -> assert false + | EF_vstore _ + | EF_select _ -> assert false end | Pcfi_adjust _ (* Only debug relevant *) | Pcfi_rel_offset _ -> assert false in (* Only debug relevant *) |