f2b68d3ca95d9c203ee36b980ea1572ae843f68a 4.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195
  1. compilation_unit {
  2. package_statement {
  3. package_name: "ExplorerTest"
  4. }
  5. is_api: true
  6. declarations {
  7. alias {
  8. name: "TypeAlias"
  9. target {
  10. int_type_literal {
  11. }
  12. }
  13. }
  14. }
  15. declarations {
  16. function {
  17. name: "Main"
  18. param_pattern {
  19. }
  20. return_term {
  21. kind: Expression
  22. type {
  23. identifier {
  24. name: "TypeAlias"
  25. }
  26. }
  27. }
  28. body {
  29. statements {
  30. variable_definition {
  31. pattern {
  32. binding_pattern {
  33. name: "n"
  34. type {
  35. expression_pattern {
  36. expression {
  37. identifier {
  38. name: "TypeAlias"
  39. }
  40. }
  41. }
  42. }
  43. }
  44. }
  45. init {
  46. int_literal {
  47. value: 1
  48. }
  49. }
  50. is_returned: false
  51. }
  52. }
  53. statements {
  54. variable_definition {
  55. pattern {
  56. binding_pattern {
  57. name: "m"
  58. type {
  59. expression_pattern {
  60. expression {
  61. int_type_literal {
  62. }
  63. }
  64. }
  65. }
  66. }
  67. }
  68. init {
  69. identifier {
  70. name: "n"
  71. }
  72. }
  73. is_returned: false
  74. }
  75. }
  76. statements {
  77. variable_definition {
  78. pattern {
  79. binding_pattern {
  80. name: "p"
  81. type {
  82. expression_pattern {
  83. expression {
  84. operator {
  85. op: Ptr
  86. arguments {
  87. int_type_literal {
  88. }
  89. }
  90. }
  91. }
  92. }
  93. }
  94. }
  95. }
  96. init {
  97. operator {
  98. op: AddressOf
  99. arguments {
  100. identifier {
  101. name: "n"
  102. }
  103. }
  104. }
  105. }
  106. is_returned: false
  107. }
  108. }
  109. statements {
  110. variable_definition {
  111. pattern {
  112. binding_pattern {
  113. name: "q"
  114. type {
  115. expression_pattern {
  116. expression {
  117. operator {
  118. op: Ptr
  119. arguments {
  120. identifier {
  121. name: "TypeAlias"
  122. }
  123. }
  124. }
  125. }
  126. }
  127. }
  128. }
  129. }
  130. init {
  131. operator {
  132. op: AddressOf
  133. arguments {
  134. identifier {
  135. name: "m"
  136. }
  137. }
  138. }
  139. }
  140. is_returned: false
  141. }
  142. }
  143. statements {
  144. return_expression_statement {
  145. expression {
  146. operator {
  147. op: Add
  148. arguments {
  149. operator {
  150. op: Add
  151. arguments {
  152. operator {
  153. op: Add
  154. arguments {
  155. operator {
  156. op: Deref
  157. arguments {
  158. identifier {
  159. name: "p"
  160. }
  161. }
  162. }
  163. }
  164. arguments {
  165. operator {
  166. op: Deref
  167. arguments {
  168. identifier {
  169. name: "q"
  170. }
  171. }
  172. }
  173. }
  174. }
  175. }
  176. arguments {
  177. identifier {
  178. name: "m"
  179. }
  180. }
  181. }
  182. }
  183. arguments {
  184. identifier {
  185. name: "n"
  186. }
  187. }
  188. }
  189. }
  190. }
  191. }
  192. }
  193. }
  194. }
  195. }