kernel/bpf/verifier.c

6109 /* BPF architecture zero extends alu32 ops into 64-bit registesr */
13823 	/* Its not easy to operate on alu32 bounds here because it depends
13873 	/* Its not easy to operate on alu32 bounds here because it depends
13931 	bool alu32 = (BPF_CLASS(insn->code) != BPF_ALU64);
13945 	/* Calculate sign/unsigned bounds and tnum for alu32 and alu64 bit ops.
13947 	 * alu32 and alu64 sign/unsigned bounds independently this provides the
13952 	 * See alu32 verifier tests for examples. The second class of
13991 		if (alu32)
13997 		if (alu32)
14003 		if (alu32)
14013 	if (alu32)