diff options
author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-03-28 10:30:55 -0400 |
---|---|---|
committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-03-28 14:57:20 -0400 |
commit | 1b4943eb1f2a10837f56070bfe604179d0dc10e0 (patch) | |
tree | bc44762647100f8c666e20328acd4e328fe8f93e /tools | |
parent | 54d734f6a4f3e13e906e8edb8ce3e10caa4bec25 (diff) | |
download | roux-1b4943eb1f2a10837f56070bfe604179d0dc10e0.tar.gz |
implement export control
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/abifuzz.sh | 2 | ||||
-rw-r--r-- | tools/callgen.ml | 4 |
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; |