From d075968e1e516ab80460afce57c9bcc15d206c19 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 29 May 2019 11:43:29 +0200
Subject: added -fdiv-i32 and -fdiv-i64 options

---
 driver/Clflags.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'driver/Clflags.ml')

diff --git a/driver/Clflags.ml b/driver/Clflags.ml
index b1afab6f..fd5f0e68 100644
--- a/driver/Clflags.ml
+++ b/driver/Clflags.ml
@@ -71,3 +71,6 @@ let option_fglobaladdrtmp = ref false
 let option_fglobaladdroffset = ref false
 let option_fxsaddr = ref true  
 let option_coalesce_mem = ref true  
+
+let option_div_i32 = ref "stsud"
+let option_div_i64 = ref "stsud" 
-- 
cgit