From dff22ef6d855973e0e0f05c7203a6bfa9a4cf01a Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Thu, 15 Jun 2017 15:11:26 +0200
Subject: Extend builtin arguments with a pointer addition operator

This extension enables more addressing modes to be encoded as builtin arguments and used in conjunction with volatile memory accesses.

Current status: x86 port only, the only new addressing mode handled is reg + offset.
---
 backend/Asmexpandaux.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'backend/Asmexpandaux.ml')

diff --git a/backend/Asmexpandaux.ml b/backend/Asmexpandaux.ml
index 13aa71d2..07e33efa 100644
--- a/backend/Asmexpandaux.ml
+++ b/backend/Asmexpandaux.ml
@@ -82,7 +82,8 @@ let translate_annot sp preg_to_dwarf annot =
     | BA_single _
     | BA_loadglobal _
     | BA_addrglobal _
-    | BA_loadstack _ -> None
+    | BA_loadstack _
+    | BA_addptr _ -> None
     | BA_addrstack ofs -> Some (sp,BA_addrstack ofs)
     | BA_splitlong (hi,lo) ->
         begin
-- 
cgit