summary refs log tree commit diff
path: root/tools
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-03-28 10:30:55 -0400
committerQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-03-28 14:57:20 -0400
commit1b4943eb1f2a10837f56070bfe604179d0dc10e0 (patch)
treebc44762647100f8c666e20328acd4e328fe8f93e /tools
parent54d734f6a4f3e13e906e8edb8ce3e10caa4bec25 (diff)
downloadroux-1b4943eb1f2a10837f56070bfe604179d0dc10e0.tar.gz
implement export control
Diffstat (limited to 'tools')
-rwxr-xr-xtools/abifuzz.sh2
-rw-r--r--tools/callgen.ml4
2 files changed, 4 insertions, 2 deletions
diff --git a/tools/abifuzz.sh b/tools/abifuzz.sh
index ef1f26a..57930fb 100755
--- a/tools/abifuzz.sh
+++ b/tools/abifuzz.sh
@@ -63,6 +63,8 @@ while test -n "$1"
 do
 	case "$1" in
 	"-callssa")
+		CALLER=c
+		CALLEE=ssa
 		;;
 	"-callc")
 		CALLER=ssa
diff --git a/tools/callgen.ml b/tools/callgen.ml
index 9a5976c..4679865 100644
--- a/tools/callgen.ml
+++ b/tools/callgen.ml
@@ -439,7 +439,7 @@ module OutIL = struct
       typedef oc (argname i) arg;
     ) args;
     typedef oc "ret" ret;
-    fprintf oc "\nfunction w $main() {\n";
+    fprintf oc "\nexport function w $main() {\n";
     fprintf oc "@start\n";
     fprintf oc "\t%%failcode =l alloc4 4\n";
     let targs = List.mapi (fun i arg ->
@@ -466,7 +466,7 @@ module OutIL = struct
       typedef oc (argname i) arg;
     ) args;
     typedef oc "ret" ret;
-    fprintf oc "\nfunction %s $f(" (ttype "ret" ret);
+    fprintf oc "\nexport function %s $f(" (ttype "ret" ret);
     List.iteri (fun i arg ->
       let a = argname i in
       fprintf oc "%s %%%s" (ttype a arg) a;