From 2bbb20db14cba7c2a460f58ae84c2526e3bb35aa Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Wed, 3 May 2017 16:43:55 +0200 Subject: More asserts. --- powerpc/AsmToJSON.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'powerpc/AsmToJSON.ml') diff --git a/powerpc/AsmToJSON.ml b/powerpc/AsmToJSON.ml index 343d9b65..c9e85a5d 100644 --- a/powerpc/AsmToJSON.ml +++ b/powerpc/AsmToJSON.ml @@ -162,7 +162,7 @@ let p_instruction oc ic = | Pextsh (ir1,ir2) -> instruction "Pextsh" [Ireg ir1; Ireg ir2] | Pextsw (ir1,ir2) -> instruction "Pextsw" [Ireg ir1; Ireg ir2] | Pextzw (ir1,ir2) -> assert false (* Should not occur *) - | Pfreeframe (c,i) -> () (* Should not occur *) + | Pfreeframe (c,i) -> assert false (* Should not occur *) | Pfabs (fr1,fr2) | Pfabss (fr1,fr2) -> instruction "Pfabs" [Freg fr1; Freg fr2] | Pfadd (fr1,fr2,fr3) -> instruction "Pfadd" [Freg fr1; Freg fr2; Freg fr3] -- cgit