Lines Matching refs:assert
166 assert(ctxt->addr_size == 64 || !(offset >> 32)); in fuzz_read()
173 assert((long)offset < 0 ? (long)offset > -32 : !(offset >> 17)); in fuzz_read()
175 assert(is_x86_system_segment(seg) && in fuzz_read()
197 assert(seg == x86_seg_cs); in fuzz_insn_fetch()
212 assert(p_data == NULL); in fuzz_insn_fetch()
275 assert(dst_seg == x86_seg_es); in fuzz_rep_ins()
276 assert(ctxt->addr_size == 64 || !(dst_offset >> 32)); in fuzz_rep_ins()
290 assert(is_x86_user_segment(src_seg)); in fuzz_rep_movs()
291 assert(dst_seg == x86_seg_es); in fuzz_rep_movs()
292 assert(ctxt->addr_size == 64 || !((src_offset | dst_offset) >> 32)); in fuzz_rep_movs()
305 assert(is_x86_user_segment(src_seg)); in fuzz_rep_outs()
306 assert(ctxt->addr_size == 64 || !(src_offset >> 32)); in fuzz_rep_outs()
323 assert(is_x86_user_segment(seg)); in fuzz_rep_stos()
324 assert(ctxt->addr_size == 64 || !(offset >> 32)); in fuzz_rep_stos()
337 assert(is_x86_user_segment(seg)); in fuzz_write()
338 assert(ctxt->addr_size == 64 || !(offset >> 32)); in fuzz_write()
356 assert(ctxt->addr_size == 64 || !(offset >> 32)); in fuzz_cmpxchg()
358 assert((seg == x86_seg_gdtr || seg == x86_seg_ldtr) && !(offset >> 16)); in fuzz_cmpxchg()
369 assert(is_x86_user_segment(seg) || seg == x86_seg_none); in fuzz_invlpg()
370 assert(ctxt->addr_size == 64 || !(offset >> 32)); in fuzz_invlpg()
398 assert(is_x86_user_segment(seg) || is_x86_system_segment(seg)); in fuzz_read_segment()
414 assert(is_x86_user_segment(seg) || is_x86_system_segment(seg)); in fuzz_write_segment()