From 4f187fdafdac0cf4a8b83964c89d79741dbd813e Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Fri, 21 Aug 2015 17:53:44 +0200
Subject: Adapt the PowerPC port to the new builtin representation.

__builtin_get_spr() and __builtin_set_spr() work, but horrible error
message if the SPR argument is not a constant.

powerpc/AsmToJSON.ml needs updating.
---
 ia32/SelectOp.vp | 2 --
 1 file changed, 2 deletions(-)

(limited to 'ia32/SelectOp.vp')

diff --git a/ia32/SelectOp.vp b/ia32/SelectOp.vp
index bd3a4850..744902ec 100644
--- a/ia32/SelectOp.vp
+++ b/ia32/SelectOp.vp
@@ -521,5 +521,3 @@ Nondetfunction builtin_arg (e: expr) :=
   | Eload chunk (Ainstack ofs) Enil => BA_loadstack chunk ofs
   | _ => BA e
   end.
-
-Definition builtin_function_const (id: ident) := false.
-- 
cgit