1 { 2 "jset: functional", 3 .insns = { 4 BPF_DIRECT_PKT_R2, 5 BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), 6 7 /* reg, bit 63 or bit 0 set, taken */ 8 BPF_LD_IMM64(BPF_REG_8, 0x8000000000000001), 9 BPF_JMP_REG(BPF_JSET, BPF_REG_7, BPF_REG_8, 1), 10 BPF_EXIT_INSN(), 11 12 /* reg, bit 62, not taken */ 13 BPF_LD_IMM64(BPF_REG_8, 0x4000000000000000), 14 BPF_JMP_REG(BPF_JSET, BPF_REG_7, BPF_REG_8, 1), 15 BPF_JMP_IMM(BPF_JA, 0, 0, 1), 16 BPF_EXIT_INSN(), 17 18 /* imm, any bit set, taken */ 19 BPF_JMP_IMM(BPF_JSET, BPF_REG_7, -1, 1), 20 BPF_EXIT_INSN(), 21 22 /* imm, bit 31 set, taken */ 23 BPF_JMP_IMM(BPF_JSET, BPF_REG_7, 0x80000000, 1), 24 BPF_EXIT_INSN(), 25 26 /* all good - return r0 == 2 */ 27 BPF_MOV64_IMM(BPF_REG_0, 2), 28 BPF_EXIT_INSN(), 29 }, 30 .prog_type = BPF_PROG_TYPE_SCHED_CLS, 31 .result = ACCEPT, 32 .runs = 7, 33 .retvals = { 34 { .retval = 2, 35 .data64 = { (1ULL << 63) | (1U << 31) | (1U << 0), } 36 }, 37 { .retval = 2, 38 .data64 = { (1ULL << 63) | (1U << 31), } 39 }, 40 { .retval = 2, 41 .data64 = { (1ULL << 31) | (1U << 0), } 42 }, 43 { .retval = 2, 44 .data64 = { (__u32)-1, } 45 }, 46 { .retval = 2, 47 .data64 = { ~0x4000000000000000ULL, } 48 }, 49 { .retval = 0, 50 .data64 = { 0, } 51 }, 52 { .retval = 0, 53 .data64 = { ~0ULL, } 54 }, 55 }, 56 .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, 57 }, 58 { 59 "jset: sign-extend", 60 .insns = { 61 BPF_DIRECT_PKT_R2, 62 BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), 63 64 BPF_JMP_IMM(BPF_JSET, BPF_REG_7, 0x80000000, 1), 65 BPF_EXIT_INSN(), 66 67 BPF_MOV64_IMM(BPF_REG_0, 2), 68 BPF_EXIT_INSN(), 69 }, 70 .prog_type = BPF_PROG_TYPE_SCHED_CLS, 71 .result = ACCEPT, 72 .retval = 2, 73 .data = { 1, 0, 0, 0, 0, 0, 0, 1, }, 74 .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, 75 }, 76 { 77 "jset: known const compare", 78 .insns = { 79 BPF_MOV64_IMM(BPF_REG_0, 1), 80 BPF_JMP_IMM(BPF_JSET, BPF_REG_0, 1, 1), 81 BPF_LDX_MEM(BPF_B, BPF_REG_8, BPF_REG_9, 0), 82 BPF_EXIT_INSN(), 83 }, 84 .prog_type = BPF_PROG_TYPE_SOCKET_FILTER, 85 .errstr_unpriv = "R9 !read_ok", 86 .result_unpriv = REJECT, 87 .retval = 1, 88 .result = ACCEPT, 89 }, 90 { 91 "jset: known const compare bad", 92 .insns = { 93 BPF_MOV64_IMM(BPF_REG_0, 0), 94 BPF_JMP_IMM(BPF_JSET, BPF_REG_0, 1, 1), 95 BPF_LDX_MEM(BPF_B, BPF_REG_8, BPF_REG_9, 0), 96 BPF_EXIT_INSN(), 97 }, 98 .prog_type = BPF_PROG_TYPE_SOCKET_FILTER, 99 .errstr_unpriv = "!read_ok", 100 .result_unpriv = REJECT, 101 .errstr = "!read_ok", 102 .result = REJECT, 103 }, 104 { 105 "jset: unknown const compare taken", 106 .insns = { 107 BPF_RAW_INSN(BPF_JMP | BPF_CALL, 0, 0, 0, BPF_FUNC_get_prandom_u32), 108 BPF_JMP_IMM(BPF_JSET, BPF_REG_0, 1, 1), 109 BPF_JMP_IMM(BPF_JA, 0, 0, 1), 110 BPF_LDX_MEM(BPF_B, BPF_REG_8, BPF_REG_9, 0), 111 BPF_EXIT_INSN(), 112 }, 113 .prog_type = BPF_PROG_TYPE_SOCKET_FILTER, 114 .errstr_unpriv = "!read_ok", 115 .result_unpriv = REJECT, 116 .errstr = "!read_ok", 117 .result = REJECT, 118 }, 119 { 120 "jset: unknown const compare not taken", 121 .insns = { 122 BPF_RAW_INSN(BPF_JMP | BPF_CALL, 0, 0, 0, BPF_FUNC_get_prandom_u32), 123 BPF_JMP_IMM(BPF_JSET, BPF_REG_0, 1, 1), 124 BPF_LDX_MEM(BPF_B, BPF_REG_8, BPF_REG_9, 0), 125 BPF_EXIT_INSN(), 126 }, 127 .prog_type = BPF_PROG_TYPE_SOCKET_FILTER, 128 .errstr_unpriv = "!read_ok", 129 .result_unpriv = REJECT, 130 .errstr = "!read_ok", 131 .result = REJECT, 132 }, 133 { 134 "jset: half-known const compare", 135 .insns = { 136 BPF_RAW_INSN(BPF_JMP | BPF_CALL, 0, 0, 0, BPF_FUNC_get_prandom_u32), 137 BPF_ALU64_IMM(BPF_OR, BPF_REG_0, 2), 138 BPF_JMP_IMM(BPF_JSET, BPF_REG_0, 3, 1), 139 BPF_LDX_MEM(BPF_B, BPF_REG_8, BPF_REG_9, 0), 140 BPF_MOV64_IMM(BPF_REG_0, 0), 141 BPF_EXIT_INSN(), 142 }, 143 .prog_type = BPF_PROG_TYPE_SOCKET_FILTER, 144 .errstr_unpriv = "R9 !read_ok", 145 .result_unpriv = REJECT, 146 .result = ACCEPT, 147 }, 148 { 149 "jset: range", 150 .insns = { 151 BPF_RAW_INSN(BPF_JMP | BPF_CALL, 0, 0, 0, BPF_FUNC_get_prandom_u32), 152 BPF_MOV64_REG(BPF_REG_1, BPF_REG_0), 153 BPF_MOV64_IMM(BPF_REG_0, 0), 154 BPF_ALU64_IMM(BPF_AND, BPF_REG_1, 0xff), 155 BPF_JMP_IMM(BPF_JSET, BPF_REG_1, 0xf0, 3), 156 BPF_JMP_IMM(BPF_JLT, BPF_REG_1, 0x10, 1), 157 BPF_LDX_MEM(BPF_B, BPF_REG_8, BPF_REG_9, 0), 158 BPF_EXIT_INSN(), 159 BPF_JMP_IMM(BPF_JSET, BPF_REG_1, 0x10, 1), 160 BPF_EXIT_INSN(), 161 BPF_JMP_IMM(BPF_JGE, BPF_REG_1, 0x10, 1), 162 BPF_LDX_MEM(BPF_B, BPF_REG_8, BPF_REG_9, 0), 163 BPF_EXIT_INSN(), 164 }, 165 .prog_type = BPF_PROG_TYPE_SOCKET_FILTER, 166 .errstr_unpriv = "R9 !read_ok", 167 .result_unpriv = REJECT, 168 .result = ACCEPT, 169 }, 170