c449990049ecfeb94ab46604585847db44f97d1b 4.5 KB

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