diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-05-03 16:43:55 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-05-03 16:43:55 +0200 |
commit | 2bbb20db14cba7c2a460f58ae84c2526e3bb35aa (patch) | |
tree | e8e8fdde2fe5a5e5aed086894a4c4b5242e77320 | |
parent | 7873af34a9520ee5a8a6f10faddf3255a4ff02b2 (diff) | |
download | compcert-2bbb20db14cba7c2a460f58ae84c2526e3bb35aa.tar.gz compcert-2bbb20db14cba7c2a460f58ae84c2526e3bb35aa.zip |
More asserts.
-rw-r--r-- | powerpc/AsmToJSON.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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] |