83 	if (!prog_validate(insns, sizeof(insns) / sizeof(insns[0])))  in test_ldb_abs()
113 	if (!prog_validate(insns, sizeof(insns) / sizeof(insns[0])))  in test_ldh_abs()
135 	if (!prog_validate(insns, sizeof(insns) / sizeof(insns[0])))  in test_ldw_abs()
176 	if (!prog_validate(insns, sizeof(insns) / sizeof(insns[0])))  in test_ldb_ind()
205 	if (!prog_validate(insns, sizeof(insns) / sizeof(insns[0])))  in test_ldw_ind()
239 	if (!prog_validate(insns, sizeof(insns) / sizeof(insns[0])))  in test_ldh_ind()
278 	if (!prog_validate(insns, sizeof(insns) / sizeof(insns[0])))  in test_msh()
295 	if (!prog_validate(insns, sizeof(insns) / sizeof(insns[0])))  in test_ldb_abs_overflow()
312 	if (!prog_validate(insns, sizeof(insns) / sizeof(insns[0])))  in test_ldh_abs_overflow()
329 	if (!prog_validate(insns, sizeof(insns) / sizeof(insns[0])))  in test_ldw_abs_overflow()
346 	if (!prog_validate(insns, sizeof(insns) / sizeof(insns[0])))  in test_ldb_ind_overflow1()
364 	if (!prog_validate(insns, sizeof(insns) / sizeof(insns[0])))  in test_ldb_ind_overflow2()
382 	if (!prog_validate(insns, sizeof(insns) / sizeof(insns[0])))  in test_ldb_ind_overflow3()
399 	if (!prog_validate(insns, sizeof(insns) / sizeof(insns[0])))  in test_ldh_ind_overflow1()
417 	if (!prog_validate(insns, sizeof(insns) / sizeof(insns[0])))  in test_ldh_ind_overflow2()
435 	if (!prog_validate(insns, sizeof(insns) / sizeof(insns[0])))  in test_ldh_ind_overflow3()
452 	if (!prog_validate(insns, sizeof(insns) / sizeof(insns[0])))  in test_ldw_ind_overflow1()
470 	if (!prog_validate(insns, sizeof(insns) / sizeof(insns[0])))  in test_ldw_ind_overflow2()
488 	if (!prog_validate(insns, sizeof(insns) / sizeof(insns[0])))  in test_ldw_ind_overflow3()
506 	if (!prog_validate(insns, sizeof(insns) / sizeof(insns[0])))  in test_msh_overflow()