aboutsummaryrefslogtreecommitdiff
path: root/nfib_nsa.ll
diff options
context:
space:
mode:
authorCamil Staps2021-01-08 09:31:50 +0100
committerCamil Staps2021-01-08 09:31:50 +0100
commitc1713f3ee00eb507ea25f83390467f86a58674d9 (patch)
tree400cb44b139d6cd3f3878d214db9f4c7ad95a9cc /nfib_nsa.ll
parentAdd version of nfib without strictness analysis (diff)
Use malloc to allocate heap and stack
Diffstat (limited to 'nfib_nsa.ll')
-rw-r--r--nfib_nsa.ll4
1 files changed, 2 insertions, 2 deletions
diff --git a/nfib_nsa.ll b/nfib_nsa.ll
index 051cdb0..f7843a7 100644
--- a/nfib_nsa.ll
+++ b/nfib_nsa.ll
@@ -218,8 +218,8 @@ define private {i64, i64*} @s2 (i64 %arg1, i64 %arg2, i64* %hp.0) {
}
define i64 @main() {
- %hp.0 = bitcast [100000000 x i64]* @heap to i64*
- %astack = bitcast [10000 x i64*]* @astack to i64**
+ %hp.0 = call i64* @_alloc_heap(i64 100000000)
+ %astack = call i64** @_alloc_a_stack(i64 10000)
%n.0 = getelementptr i64, i64* %hp.0
store i64 ptrtoint ({i64*,i64*}(i64*,i64**,i64*)* @n5 to i64), i64* %n.0