sandbox/linux/bpf_dsl/golden/x86-64/MoreBooleanLogicPolicy.txt

   1   1) LOAD 4  // Architecture
   2   2) if A == 0xc000003e; then JMP 3 else JMP 48
   3   3) LOAD 0  // System call number
   4   4) if A & 0x40000000; then JMP 48 else JMP 5
   5   5) if A >= 0x76; then JMP 6 else JMP 7
   6   6) if A >= 0x401; then JMP 55 else JMP 54
   7   7) if A >= 0x75; then JMP 8 else JMP 54
   8   8) LOAD 20  // Argument 0 (MSB)
   9   9) if A == 0x0; then JMP 13 else JMP 10
  10  10) if A == 0xffffffff; then JMP 11 else JMP 48
  11  11) LOAD 16  // Argument 0 (LSB)
  12  12) if A & 0x80000000; then JMP 13 else JMP 48
  13  13) LOAD 16  // Argument 0 (LSB)
  14  14) if A == 0x0; then JMP 53 else JMP 15
  15  15) LOAD 28  // Argument 1 (MSB)
  16  16) if A == 0x0; then JMP 20 else JMP 17
  17  17) if A == 0xffffffff; then JMP 18 else JMP 48
  18  18) LOAD 24  // Argument 1 (LSB)
  19  19) if A & 0x80000000; then JMP 20 else JMP 48
  20  20) LOAD 24  // Argument 1 (LSB)
  21  21) if A == 0x0; then JMP 53 else JMP 22
  22  22) LOAD 36  // Argument 2 (MSB)
  23  23) if A == 0x0; then JMP 27 else JMP 24
  24  24) if A == 0xffffffff; then JMP 25 else JMP 48
  25  25) LOAD 32  // Argument 2 (LSB)
  26  26) if A & 0x80000000; then JMP 27 else JMP 48
  27  27) LOAD 32  // Argument 2 (LSB)
  28  28) if A == 0x0; then JMP 53 else JMP 29
  29  29) LOAD 20  // Argument 0 (MSB)
  30  30) if A == 0x0; then JMP 34 else JMP 31
  31  31) if A == 0xffffffff; then JMP 32 else JMP 48
  32  32) LOAD 16  // Argument 0 (LSB)
  33  33) if A & 0x80000000; then JMP 34 else JMP 48
  34  34) LOAD 16  // Argument 0 (LSB)
  35  35) if A == 0x1; then JMP 36 else JMP 51
  36  36) LOAD 28  // Argument 1 (MSB)
  37  37) if A == 0x0; then JMP 41 else JMP 38
  38  38) if A == 0xffffffff; then JMP 39 else JMP 48
  39  39) LOAD 24  // Argument 1 (LSB)
  40  40) if A & 0x80000000; then JMP 41 else JMP 48
  41  41) LOAD 24  // Argument 1 (LSB)
  42  42) if A == 0x1; then JMP 43 else JMP 51
  43  43) LOAD 36  // Argument 2 (MSB)
  44  44) if A == 0x0; then JMP 49 else JMP 45
  45  45) if A == 0xffffffff; then JMP 46 else JMP 48
  46  46) LOAD 32  // Argument 2 (LSB)
  47  47) if A & 0x80000000; then JMP 49 else JMP 48
  48  48) RET 0x0  // Kill
  49  49) LOAD 32  // Argument 2 (LSB)
  50  50) if A == 0x1; then JMP 52 else JMP 51
  51  51) RET 0x50016  // errno = 22
  52  52) RET 0x5000b  // errno = 11
  53  53) RET 0x50001  // errno = 1
  54  54) RET 0x7fff0000  // Allowed
  55  55) RET 0x50026  // errno = 38