1{
  2	"DIV32 by 0, zero check 1",
  3	.insns = {
  4	BPF_MOV32_IMM(BPF_REG_0, 42),
  5	BPF_MOV32_IMM(BPF_REG_1, 0),
  6	BPF_MOV32_IMM(BPF_REG_2, 1),
  7	BPF_ALU32_REG(BPF_DIV, BPF_REG_2, BPF_REG_1),
  8	BPF_EXIT_INSN(),
  9	},
 10	.result = ACCEPT,
 11	.retval = 42,
 12},
 13{
 14	"DIV32 by 0, zero check 2",
 15	.insns = {
 16	BPF_MOV32_IMM(BPF_REG_0, 42),
 17	BPF_LD_IMM64(BPF_REG_1, 0xffffffff00000000LL),
 18	BPF_MOV32_IMM(BPF_REG_2, 1),
 19	BPF_ALU32_REG(BPF_DIV, BPF_REG_2, BPF_REG_1),
 20	BPF_EXIT_INSN(),
 21	},
 22	.result = ACCEPT,
 23	.retval = 42,
 24},
 25{
 26	"DIV64 by 0, zero check",
 27	.insns = {
 28	BPF_MOV32_IMM(BPF_REG_0, 42),
 29	BPF_MOV32_IMM(BPF_REG_1, 0),
 30	BPF_MOV32_IMM(BPF_REG_2, 1),
 31	BPF_ALU64_REG(BPF_DIV, BPF_REG_2, BPF_REG_1),
 32	BPF_EXIT_INSN(),
 33	},
 34	.result = ACCEPT,
 35	.retval = 42,
 36},
 37{
 38	"MOD32 by 0, zero check 1",
 39	.insns = {
 40	BPF_MOV32_IMM(BPF_REG_0, 42),
 41	BPF_MOV32_IMM(BPF_REG_1, 0),
 42	BPF_MOV32_IMM(BPF_REG_2, 1),
 43	BPF_ALU32_REG(BPF_MOD, BPF_REG_2, BPF_REG_1),
 44	BPF_EXIT_INSN(),
 45	},
 46	.result = ACCEPT,
 47	.retval = 42,
 48},
 49{
 50	"MOD32 by 0, zero check 2",
 51	.insns = {
 52	BPF_MOV32_IMM(BPF_REG_0, 42),
 53	BPF_LD_IMM64(BPF_REG_1, 0xffffffff00000000LL),
 54	BPF_MOV32_IMM(BPF_REG_2, 1),
 55	BPF_ALU32_REG(BPF_MOD, BPF_REG_2, BPF_REG_1),
 56	BPF_EXIT_INSN(),
 57	},
 58	.result = ACCEPT,
 59	.retval = 42,
 60},
 61{
 62	"MOD64 by 0, zero check",
 63	.insns = {
 64	BPF_MOV32_IMM(BPF_REG_0, 42),
 65	BPF_MOV32_IMM(BPF_REG_1, 0),
 66	BPF_MOV32_IMM(BPF_REG_2, 1),
 67	BPF_ALU64_REG(BPF_MOD, BPF_REG_2, BPF_REG_1),
 68	BPF_EXIT_INSN(),
 69	},
 70	.result = ACCEPT,
 71	.retval = 42,
 72},
 73{
 74	"DIV32 by 0, zero check ok, cls",
 75	.insns = {
 76	BPF_MOV32_IMM(BPF_REG_0, 42),
 77	BPF_MOV32_IMM(BPF_REG_1, 2),
 78	BPF_MOV32_IMM(BPF_REG_2, 16),
 79	BPF_ALU32_REG(BPF_DIV, BPF_REG_2, BPF_REG_1),
 80	BPF_MOV64_REG(BPF_REG_0, BPF_REG_2),
 81	BPF_EXIT_INSN(),
 82	},
 83	.prog_type = BPF_PROG_TYPE_SCHED_CLS,
 84	.result = ACCEPT,
 85	.retval = 8,
 86},
 87{
 88	"DIV32 by 0, zero check 1, cls",
 89	.insns = {
 90	BPF_MOV32_IMM(BPF_REG_1, 0),
 91	BPF_MOV32_IMM(BPF_REG_0, 1),
 92	BPF_ALU32_REG(BPF_DIV, BPF_REG_0, BPF_REG_1),
 93	BPF_EXIT_INSN(),
 94	},
 95	.prog_type = BPF_PROG_TYPE_SCHED_CLS,
 96	.result = ACCEPT,
 97	.retval = 0,
 98},
 99{
100	"DIV32 by 0, zero check 2, cls",
101	.insns = {
102	BPF_LD_IMM64(BPF_REG_1, 0xffffffff00000000LL),
103	BPF_MOV32_IMM(BPF_REG_0, 1),
104	BPF_ALU32_REG(BPF_DIV, BPF_REG_0, BPF_REG_1),
105	BPF_EXIT_INSN(),
106	},
107	.prog_type = BPF_PROG_TYPE_SCHED_CLS,
108	.result = ACCEPT,
109	.retval = 0,
110},
111{
112	"DIV64 by 0, zero check, cls",
113	.insns = {
114	BPF_MOV32_IMM(BPF_REG_1, 0),
115	BPF_MOV32_IMM(BPF_REG_0, 1),
116	BPF_ALU64_REG(BPF_DIV, BPF_REG_0, BPF_REG_1),
117	BPF_EXIT_INSN(),
118	},
119	.prog_type = BPF_PROG_TYPE_SCHED_CLS,
120	.result = ACCEPT,
121	.retval = 0,
122},
123{
124	"MOD32 by 0, zero check ok, cls",
125	.insns = {
126	BPF_MOV32_IMM(BPF_REG_0, 42),
127	BPF_MOV32_IMM(BPF_REG_1, 3),
128	BPF_MOV32_IMM(BPF_REG_2, 5),
129	BPF_ALU32_REG(BPF_MOD, BPF_REG_2, BPF_REG_1),
130	BPF_MOV64_REG(BPF_REG_0, BPF_REG_2),
131	BPF_EXIT_INSN(),
132	},
133	.prog_type = BPF_PROG_TYPE_SCHED_CLS,
134	.result = ACCEPT,
135	.retval = 2,
136},
137{
138	"MOD32 by 0, zero check 1, cls",
139	.insns = {
140	BPF_MOV32_IMM(BPF_REG_1, 0),
141	BPF_MOV32_IMM(BPF_REG_0, 1),
142	BPF_ALU32_REG(BPF_MOD, BPF_REG_0, BPF_REG_1),
143	BPF_EXIT_INSN(),
144	},
145	.prog_type = BPF_PROG_TYPE_SCHED_CLS,
146	.result = ACCEPT,
147	.retval = 1,
148},
149{
150	"MOD32 by 0, zero check 2, cls",
151	.insns = {
152	BPF_LD_IMM64(BPF_REG_1, 0xffffffff00000000LL),
153	BPF_MOV32_IMM(BPF_REG_0, 1),
154	BPF_ALU32_REG(BPF_MOD, BPF_REG_0, BPF_REG_1),
155	BPF_EXIT_INSN(),
156	},
157	.prog_type = BPF_PROG_TYPE_SCHED_CLS,
158	.result = ACCEPT,
159	.retval = 1,
160},
161{
162	"MOD64 by 0, zero check 1, cls",
163	.insns = {
164	BPF_MOV32_IMM(BPF_REG_1, 0),
165	BPF_MOV32_IMM(BPF_REG_0, 2),
166	BPF_ALU64_REG(BPF_MOD, BPF_REG_0, BPF_REG_1),
167	BPF_EXIT_INSN(),
168	},
169	.prog_type = BPF_PROG_TYPE_SCHED_CLS,
170	.result = ACCEPT,
171	.retval = 2,
172},
173{
174	"MOD64 by 0, zero check 2, cls",
175	.insns = {
176	BPF_MOV32_IMM(BPF_REG_1, 0),
177	BPF_MOV32_IMM(BPF_REG_0, -1),
178	BPF_ALU64_REG(BPF_MOD, BPF_REG_0, BPF_REG_1),
179	BPF_EXIT_INSN(),
180	},
181	.prog_type = BPF_PROG_TYPE_SCHED_CLS,
182	.result = ACCEPT,
183	.retval = -1,
184},