Appendix: How could Neural Networks understand Programs?

Dinglan Peng,Shuxin Zheng,Yatao Li,Guolin Ke,Tie-Yan Liu

2021-01-01

Abstract:We develop a LLVM pass to produce the environment information. In the environment information, arguments of the functions are named ai, i = 0, 1, 2, ..., NArguments − 1; SSA values are named vi, i = 0, 1, 2, ..., NValues − 1; stack variable allocated by alloca instruction are named mi, i = 0, 1, 2, ..., NStackVariables−1. There may be one or more constraints of environment for every instruction, and constraints are separated by semicolon.