From 5b05d3668571bd9b748b781b0cc29ae10f745f61 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 10 Mar 2016 13:35:48 +0100
Subject: Code cleanup.

Removed some unused variables, functions etc. and resolved some
problems which occur if all warnings except 3,4,9 and 29 are active.
Bug 18394.
---
 powerpc/Asmexpand.ml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'powerpc/Asmexpand.ml')

diff --git a/powerpc/Asmexpand.ml b/powerpc/Asmexpand.ml
index 7af27d20..a6795030 100644
--- a/powerpc/Asmexpand.ml
+++ b/powerpc/Asmexpand.ml
@@ -13,11 +13,9 @@
 (* Expanding built-ins and some pseudo-instructions by rewriting
    of the PPC assembly code. *)
 
-open Datatypes
 open Camlcoq
 open Integers
 open AST
-open Memdata
 open Asm
 open Asmexpandaux
 
@@ -122,7 +120,7 @@ let memcpy_big_arg arg tmp =
   | _ ->
       assert false
 
-let expand_builtin_memcpy_big sz al src dst =
+let expand_builtin_memcpy_big sz _ src dst =
   assert (sz >= 4);
   emit_loadimm GPR0 (Z.of_uint (sz / 4));
   emit (Pmtctr GPR0);
@@ -723,7 +721,7 @@ let expand_instruction instr =
       emit (Prlwinm(r1, r1, Z.of_uint (1 + num_crbit bit), _1))
   | Pbuiltin(ef, args, res) ->
       begin match ef with
-      | EF_builtin(name, sg) ->
+      | EF_builtin(name, _) ->
           expand_builtin_inline (camlstring_of_coqstring name) args res
       | EF_vload chunk ->
           expand_builtin_vload chunk args res
-- 
cgit