[bpf] Avoid extra pointer arithmetic for stack access
authorAlexei Starovoitov <alexei.starovoitov@gmail.com>
Tue, 6 Oct 2015 04:00:53 +0000 (04:00 +0000)
committerAlexei Starovoitov <alexei.starovoitov@gmail.com>
Tue, 6 Oct 2015 04:00:53 +0000 (04:00 +0000)
For the program like below
struct key_t {
  int pid;
  char name[16];
};
extern void test1(char *);
int test() {
  struct key_t key = {};
  test1(key.name);
  return 0;
}
For key.name, the llc/bpf may generate the below code:
  R1 = R10  // R10 is the frame pointer
  R1 += -24 // framepointer adjustment
  R1 |= 4   // R1 is then used as the first parameter of test1
OR operation is not recognized by in-kernel verifier.

This patch introduces an intermediate FI_ri instruction and
generates the following code that can be properly verified:
  R1 = R10
  R1 += -20

Patch by Yonghong Song <yhs@plumgrid.com>

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@249371 91177308-0d34-0410-b5e6-96231b3b80d8


No differences found