fibonacci.denv.mvk.dump.txt 6.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295
  1. N auto_1
  2. N auto_2
  3. D auto_1,"a",auto_2
  4. N auto_3
  5. D auto_3,"params",auto_1
  6. V auto_initial_IP(global)
  7. D auto_initial_IP,"var",auto_0
  8. V auto_5(resolve)
  9. D auto_5,"var",auto_0
  10. V auto_6(assign)
  11. D auto_6,"var",auto_5
  12. V auto_7(constant)
  13. D auto_7,"node",auto_3
  14. D auto_6,"value",auto_7
  15. D auto_initial_IP,"next",auto_6
  16. N auto_8
  17. V auto_9(global)
  18. D auto_9,"var",auto_8
  19. D auto_6,"next",auto_9
  20. V auto_10(resolve)
  21. D auto_10,"var",auto_8
  22. V auto_11(assign)
  23. D auto_11,"var",auto_10
  24. V auto_12(constant)
  25. D auto_12,"node",?primitives/integer_addition
  26. D auto_11,"value",auto_12
  27. D auto_9,"next",auto_11
  28. N auto_13
  29. V auto_14(global)
  30. D auto_14,"var",auto_13
  31. D auto_11,"next",auto_14
  32. V auto_15(resolve)
  33. D auto_15,"var",auto_13
  34. V auto_16(assign)
  35. D auto_16,"var",auto_15
  36. V auto_17(constant)
  37. D auto_17,"node",?primitives/integer_subtraction
  38. D auto_16,"value",auto_17
  39. D auto_14,"next",auto_16
  40. N auto_18
  41. V auto_19(global)
  42. D auto_19,"var",auto_18
  43. D auto_16,"next",auto_19
  44. V auto_20(resolve)
  45. D auto_20,"var",auto_18
  46. V auto_21(assign)
  47. D auto_21,"var",auto_20
  48. V auto_22(constant)
  49. D auto_22,"node",?primitives/integer_multiplication
  50. D auto_21,"value",auto_22
  51. D auto_19,"next",auto_21
  52. N auto_23
  53. V auto_24(global)
  54. D auto_24,"var",auto_23
  55. D auto_21,"next",auto_24
  56. V auto_25(resolve)
  57. D auto_25,"var",auto_23
  58. V auto_26(assign)
  59. D auto_26,"var",auto_25
  60. V auto_27(constant)
  61. D auto_27,"node",?primitives/integer_division
  62. D auto_26,"value",auto_27
  63. D auto_24,"next",auto_26
  64. N auto_28
  65. V auto_29(global)
  66. D auto_29,"var",auto_28
  67. D auto_26,"next",auto_29
  68. V auto_30(resolve)
  69. D auto_30,"var",auto_28
  70. V auto_31(assign)
  71. D auto_31,"var",auto_30
  72. V auto_32(constant)
  73. D auto_32,"node",?primitives/integer_gt
  74. D auto_31,"value",auto_32
  75. D auto_29,"next",auto_31
  76. N auto_33
  77. V auto_34(global)
  78. D auto_34,"var",auto_33
  79. D auto_31,"next",auto_34
  80. V auto_35(resolve)
  81. D auto_35,"var",auto_33
  82. V auto_36(assign)
  83. D auto_36,"var",auto_35
  84. V auto_37(constant)
  85. D auto_37,"node",?primitives/integer_gte
  86. D auto_36,"value",auto_37
  87. D auto_34,"next",auto_36
  88. N auto_38
  89. V auto_39(global)
  90. D auto_39,"var",auto_38
  91. D auto_36,"next",auto_39
  92. V auto_40(resolve)
  93. D auto_40,"var",auto_38
  94. V auto_41(assign)
  95. D auto_41,"var",auto_40
  96. V auto_42(constant)
  97. D auto_42,"node",?primitives/integer_lt
  98. D auto_41,"value",auto_42
  99. D auto_39,"next",auto_41
  100. N auto_43
  101. V auto_44(global)
  102. D auto_44,"var",auto_43
  103. D auto_41,"next",auto_44
  104. V auto_45(resolve)
  105. D auto_45,"var",auto_43
  106. V auto_46(assign)
  107. D auto_46,"var",auto_45
  108. V auto_47(constant)
  109. D auto_47,"node",?primitives/integer_lte
  110. D auto_46,"value",auto_47
  111. D auto_44,"next",auto_46
  112. N auto_48
  113. V auto_49(global)
  114. D auto_49,"var",auto_48
  115. D auto_46,"next",auto_49
  116. V auto_50(resolve)
  117. D auto_50,"var",auto_48
  118. V auto_51(assign)
  119. D auto_51,"var",auto_50
  120. V auto_52(constant)
  121. D auto_52,"node",?primitives/integer_eq
  122. D auto_51,"value",auto_52
  123. D auto_49,"next",auto_51
  124. N auto_53
  125. V auto_54(global)
  126. D auto_54,"var",auto_53
  127. D auto_51,"next",auto_54
  128. V auto_55(resolve)
  129. D auto_55,"var",auto_53
  130. V auto_56(assign)
  131. D auto_56,"var",auto_55
  132. V auto_57(constant)
  133. D auto_57,"node",?primitives/integer_neq
  134. D auto_56,"value",auto_57
  135. D auto_54,"next",auto_56
  136. N auto_58
  137. V auto_59(global)
  138. D auto_59,"var",auto_58
  139. D auto_56,"next",auto_59
  140. V auto_60(resolve)
  141. D auto_60,"var",auto_58
  142. V auto_61(assign)
  143. D auto_61,"var",auto_60
  144. V auto_62(constant)
  145. D auto_62,"node",?primitives/integer_neg
  146. D auto_61,"value",auto_62
  147. D auto_59,"next",auto_61
  148. V auto_63(if)
  149. V auto_64(resolve)
  150. D auto_64,"var",auto_43
  151. V auto_65(access)
  152. D auto_65,"var",auto_64
  153. V auto_66(call)
  154. D auto_66,"func",auto_65
  155. N auto_67
  156. V auto_68(resolve)
  157. D auto_68,"var",auto_2
  158. V auto_69(access)
  159. D auto_69,"var",auto_68
  160. V auto_70("a")
  161. D auto_67,"value",auto_69
  162. D auto_67,"name",auto_70
  163. N auto_71
  164. V auto_72(2)
  165. V auto_73(constant)
  166. D auto_73,"node",auto_72
  167. V auto_74("b")
  168. D auto_71,"value",auto_73
  169. D auto_71,"name",auto_74
  170. D auto_67,"next_param",auto_71
  171. D auto_66,"params",auto_67
  172. D auto_66,"last_param",auto_71
  173. V auto_75(return)
  174. V auto_76(1)
  175. V auto_77(constant)
  176. D auto_77,"node",auto_76
  177. D auto_75,"value",auto_77
  178. V auto_78(return)
  179. V auto_79(resolve)
  180. D auto_79,"var",auto_8
  181. V auto_80(access)
  182. D auto_80,"var",auto_79
  183. V auto_81(call)
  184. D auto_81,"func",auto_80
  185. N auto_82
  186. V auto_83(resolve)
  187. D auto_83,"var",auto_0
  188. V auto_84(access)
  189. D auto_84,"var",auto_83
  190. V auto_85(call)
  191. D auto_85,"func",auto_84
  192. N auto_86
  193. V auto_87(resolve)
  194. D auto_87,"var",auto_13
  195. V auto_88(access)
  196. D auto_88,"var",auto_87
  197. V auto_89(call)
  198. D auto_89,"func",auto_88
  199. N auto_90
  200. V auto_91(resolve)
  201. D auto_91,"var",auto_2
  202. V auto_92(access)
  203. D auto_92,"var",auto_91
  204. V auto_93("a")
  205. D auto_90,"value",auto_92
  206. D auto_90,"name",auto_93
  207. N auto_94
  208. V auto_95(1)
  209. V auto_96(constant)
  210. D auto_96,"node",auto_95
  211. V auto_97("b")
  212. D auto_94,"value",auto_96
  213. D auto_94,"name",auto_97
  214. D auto_90,"next_param",auto_94
  215. D auto_89,"params",auto_90
  216. D auto_89,"last_param",auto_94
  217. V auto_98("a")
  218. D auto_86,"value",auto_89
  219. D auto_86,"name",auto_98
  220. D auto_85,"params",auto_86
  221. D auto_85,"last_param",auto_86
  222. V auto_99("a")
  223. D auto_82,"value",auto_85
  224. D auto_82,"name",auto_99
  225. N auto_100
  226. V auto_101(resolve)
  227. D auto_101,"var",auto_0
  228. V auto_102(access)
  229. D auto_102,"var",auto_101
  230. V auto_103(call)
  231. D auto_103,"func",auto_102
  232. N auto_104
  233. V auto_105(resolve)
  234. D auto_105,"var",auto_13
  235. V auto_106(access)
  236. D auto_106,"var",auto_105
  237. V auto_107(call)
  238. D auto_107,"func",auto_106
  239. N auto_108
  240. V auto_109(resolve)
  241. D auto_109,"var",auto_2
  242. V auto_110(access)
  243. D auto_110,"var",auto_109
  244. V auto_111("a")
  245. D auto_108,"value",auto_110
  246. D auto_108,"name",auto_111
  247. N auto_112
  248. V auto_113(2)
  249. V auto_114(constant)
  250. D auto_114,"node",auto_113
  251. V auto_115("b")
  252. D auto_112,"value",auto_114
  253. D auto_112,"name",auto_115
  254. D auto_108,"next_param",auto_112
  255. D auto_107,"params",auto_108
  256. D auto_107,"last_param",auto_112
  257. V auto_116("a")
  258. D auto_104,"value",auto_107
  259. D auto_104,"name",auto_116
  260. D auto_103,"params",auto_104
  261. D auto_103,"last_param",auto_104
  262. V auto_117("b")
  263. D auto_100,"value",auto_103
  264. D auto_100,"name",auto_117
  265. D auto_82,"next_param",auto_100
  266. D auto_81,"params",auto_82
  267. D auto_81,"last_param",auto_100
  268. D auto_78,"value",auto_81
  269. D auto_63,"cond",auto_66
  270. D auto_63,"then",auto_75
  271. D auto_63,"else",auto_78
  272. D auto_3,"body",auto_63
  273. V auto_118(while)
  274. V auto_119(True)
  275. V auto_120(constant)
  276. D auto_120,"node",auto_119
  277. V auto_121(output)
  278. V auto_122(resolve)
  279. D auto_122,"var",auto_0
  280. V auto_123(access)
  281. D auto_123,"var",auto_122
  282. V auto_124(call)
  283. D auto_124,"func",auto_123
  284. N auto_125
  285. V auto_126(input)
  286. V auto_127("a")
  287. D auto_125,"value",auto_126
  288. D auto_125,"name",auto_127
  289. D auto_124,"params",auto_125
  290. D auto_124,"last_param",auto_125
  291. D auto_121,"value",auto_124
  292. D auto_118,"cond",auto_120
  293. D auto_118,"body",auto_121
  294. D auto_61,"next",auto_118