Lines Matching refs:alu32
7017 /* BPF architecture zero extends alu32 ops into 64-bit registesr */
15853 /* Its not easy to operate on alu32 bounds here because it depends
15903 /* Its not easy to operate on alu32 bounds here because it depends
16015 bool alu32;
16018 alu32 = false;
16020 alu32 = true;
16029 if (alu32) {
16050 bool alu32 = (BPF_CLASS(insn->code) != BPF_ALU64);
16064 /* Calculate sign/unsigned bounds and tnum for alu32 and alu64 bit ops.
16066 * alu32 and alu64 sign/unsigned bounds independently this provides the
16071 * See alu32 verifier tests for examples. The second class of
16103 if ((alu32 && src_reg.u32_min_value == 0) || (!alu32 && src_reg.umin_value == 0)) {
16107 if (alu32)
16120 if ((alu32 && src_reg.u32_min_value == 0) || (!alu32 && src_reg.umin_value == 0))
16122 if (alu32)
16159 if (alu32)
16165 if (alu32)
16171 if (alu32)
16189 * This is a 64bit byte swap operation with alu32==true,
16192 if (alu32 && opcode != BPF_END)
16208 bool alu32 = (BPF_CLASS(insn->code) != BPF_ALU64);
16296 * For alu32 linked register tracking, we need to check dst_reg's
16298 * alu32 ops will have zero-extended the result, making umax_value <= U32_MAX.
16316 dst_reg->id && is_reg_const(src_reg, alu32)) {
16317 u64 val = reg_const_value(src_reg, alu32);
16320 if (!alu32 && ((s64)val < S32_MIN || (s64)val > S32_MAX))
16323 if (alu32 && (dst_umax > U32_MAX))
16344 if (alu32)
19904 * sync_linked_regs() (alu32 zero-extends, alu64 does not),