From c74211d87eb53cb310703dec2c504b26d7f24bdf Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 3 Sep 2015 13:22:28 +0200
Subject: Added builtin for mbar instruction.

This commit adds a builtin function for the mbar instruction.
---
 powerpc/TargetPrinter.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'powerpc/TargetPrinter.ml')

diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml
index ffd01b69..af5dafed 100644
--- a/powerpc/TargetPrinter.ml
+++ b/powerpc/TargetPrinter.ml
@@ -586,6 +586,8 @@ module Target (System : SYSTEM):TARGET =
           fprintf oc "	lwzu	%a, %a(%a)\n" ireg r1 constant c ireg r2
       | Plwzx(r1, r2, r3) | Plwzx_a(r1, r2, r3) ->
           fprintf oc "	lwzx	%a, %a, %a\n" ireg r1 ireg r2 ireg r3
+      | Pmbar mo ->
+          fprintf oc "	mbar	%ld\n" (camlint_of_coqint mo)
       | Pmfcr(r1) ->
           fprintf oc "	mfcr	%a\n" ireg r1
       | Pmfcrbit(r1, bit) ->
-- 
cgit