diff options
Diffstat (limited to 'test/LiveVar/loops.ll')
| -rw-r--r-- | test/LiveVar/loops.ll | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/test/LiveVar/loops.ll b/test/LiveVar/loops.ll new file mode 100644 index 0000000..4b521a2 --- /dev/null +++ b/test/LiveVar/loops.ll @@ -0,0 +1,32 @@ +implementation + +;; Test live variable analysis: +;; -- a simple nested loop +;; -- a function call with arguments and return value + +int "LoopTest"(int %i, int %j) +begin +Start: + %j1 = add int 0, 0 + br label %L1Header + +L1Header: + %j2 = phi int [%j1, %Start], [%j3, %L2Done] + + %i1 = add int 0, 0 ; %i1 = 0 + br label %L2Body +L2Body: + %wl = phi int [%j, %L1Header], [%wl, %L2Body] ;; Useless PHI + %i2 = phi int [%i1, %L1Header], [%i3, %L2Body] + %i3 = add int %i2, 1 + %L2Done = seteq int %i3, 10 + br bool %L2Done, label %L2Done, label %L2Body +L2Done: + %j3 = add int %j2, %i3 + %L1Done = seteq int %j3, 100 + br bool %L1Done, label %L1Done, label %L1Header + +L1Done: + %recurse = call int %LoopTest(int %j3, int %j3) + ret int %recurse +end |