Lines Matching refs:Iop_CmpEQ64
10689 next_insn_if(binop(Iop_CmpEQ64,binop(Iop_Or64, mkexpr(len1),
10696 mkite(binop(Iop_CmpEQ64, mkexpr(len1), mkU64(0)),
10701 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
10705 mkite(binop(Iop_CmpEQ64, mkexpr(len1), mkU64(0)),
10710 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
10720 mkite(binop(Iop_CmpEQ64, mkexpr(len1), mkU64(0)),
10725 mkite(binop(Iop_CmpEQ64, mkexpr(len1), mkU64(0)),
10729 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
10734 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
11030 next_insn_if(binop(Iop_CmpEQ64, mkexpr(address), mkexpr(next)));
11284 mkite(binop(Iop_CmpEQ64, mkexpr(start1), mkexpr(start2)),
11484 next_insn_if(binop(Iop_CmpEQ64,mkexpr(len1), mkU64(0)));
11490 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
11494 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
11504 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
11509 mkite(binop(Iop_CmpEQ64, mkexpr(len3), mkU64(0)),
12776 assign(num, mkite(binop(Iop_CmpEQ64, mkexpr(input), mkU64(0)),
12923 next_insn_if(binop(Iop_CmpEQ64, mkexpr(len), mkU64(0)));
12988 next_insn_if(binop(Iop_CmpEQ64, mkexpr(src_len), mkU64(0)));
13035 next_insn_if(binop(Iop_CmpEQ64, mkexpr(src_len), mkU64(0)));
13083 next_insn_if(binop(Iop_CmpEQ64, mkexpr(src_len), mkU64(0)));
13130 next_insn_if(binop(Iop_CmpEQ64, mkexpr(src_len), mkU64(0)));
13187 next_insn_if(binop(Iop_CmpEQ64, mkexpr(src_len), mkU64(0)));
13286 next_insn_if(binop(Iop_CmpEQ64, invalid_low_surrogate, mkU64(1)));
13312 d->guard = binop(Iop_CmpEQ64, mkexpr(num_bytes), mkU64(i));
13414 next_insn_if(binop(Iop_CmpEQ64, invalid_low_surrogate, mkU64(1)));
13489 next_insn_if(binop(Iop_CmpEQ64, invalid_character, mkU64(1)));
13517 d->guard = binop(Iop_CmpEQ64, mkexpr(num_bytes), mkU64(i));
13583 next_insn_if(binop(Iop_CmpEQ64, invalid_character, mkU64(1)));
13608 d->guard = binop(Iop_CmpEQ64, mkexpr(num_bytes), mkU64(i));
13776 d->guard = binop(Iop_CmpEQ64, mkexpr(num_bytes), mkU64(i));