From: Alexei Starovoitov <alexei.starovoi...@gmail.com> Date: Mon, 17 Apr 2017 22:44:47 -0700
> The way llvm generates stack access is: > rX = r10 > rX += imm > and that's the only thing verifier recognizes as valid ptr_to_stack. > Like rX -= imm will not be recognized as proper stack offset, > since llvm never does it. That simplifies things significantly for me. I only allow moves from the frame pointer to another register, and when I see that I rewrite it to "add FP, STACK_BIAS, DST_REG"