Grep imply-poison-or-true

[dtcxzyw]

define i1 @src(i8 %797, i8 noundef %cst_a, i8 noundef %cst_b) {
   %801 = icmp ne i8 %797, %cst_a
   %802 = icmp samesign ult i8 %797, %cst_b
   %or.cond20 = select i1 %801, i1 %802, i1 false
   ret i1 %or.cond20
}

[github-actions]

0 Occurrences

[github-actions]

qemu/optimized/block_backup.c.ll
  %2 = icmp ne i8 %0, %a  ->  %tobool87.not = icmp ne i64 %6, 0
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp90 = icmp slt i64 %6, %call85
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond83 = select i1 %tobool87.not, i1 %cmp90, i1 false

qemu/optimized/hw_pci_shpc.c.ll
  %2 = icmp ne i8 %0, %a  ->  %cmp.i = icmp ne i32 %and.i, 0
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp1.not.not.i = icmp sle i32 %and.i, %.pre.i
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond.not.i = select i1 %cmp.i, i1 %cmp1.not.not.i, i1 false

qemu/optimized/linux-user_elfload.c.ll
  %2 = icmp ne i8 %0, %a  ->  %cmp.i.i18 = icmp ne i64 %guest_loaddr, 0
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp1.i.i19 = icmp ult i64 %guest_loaddr, %17
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond27.i.i20 = select i1 %cmp.i.i18, i1 %cmp1.i.i19, i1 false

qemu/optimized/dump_dump.c.ll
  %2 = icmp ne i8 %0, %a  ->  %cmp43.not.i.i.i.i = icmp uge i64 %235, %241
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp45.i.i.i.i = icmp ult i64 %235, %242
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond60.i.i.i.i = select i1 %cmp43.not.i.i.i.i, i1 %cmp45.i.i.i.i, i1 false

qemu/optimized/util_hbitmap.c.ll
  %2 = icmp ne i8 %0, %a  ->  %cmp9 = icmp sgt i64 %shl12.i, -1
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp11.not = icmp ult i64 %shl12.i, %cond
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond17 = select i1 %cmp9, i1 %cmp11.not, i1 false

qemu/optimized/linux-user_mmap.c.ll
  %2 = icmp ne i8 %0, %a  ->  %tobool94.not = icmp ne i64 %25, 0
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp95.not151 = icmp ult i64 %25, %sub93
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %cmp95.not = select i1 %tobool94.not, i1 %cmp95.not151, i1 false

qemu/optimized/block_qcow2-cluster.c.ll
  %2 = icmp ne i8 %0, %a  ->  %cmp.not = icmp ne i32 %nb_subclusters, 0
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp1 = icmp ult i32 %nb_subclusters, %.val26
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond = select i1 %cmp.not, i1 %cmp1, i1 false

qemu/optimized/hw_net_e1000.c.ll
  %2 = icmp ne i8 %0, %a  ->  %tobool.not.i = icmp ne i16 %31, 0
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp.i = icmp ult i16 %31, %29
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond.i = select i1 %tobool.not.i, i1 %cmp.i, i1 false

qemu/optimized/hw_scsi_scsi-disk.c.ll
  %2 = icmp ne i8 %0, %a  ->  %cmp6.i.i.us.i = icmp sgt i32 %call.i.i.us.i, -1
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp8.not.i.i.us.i = icmp eq i32 %call.i.i.us.i, %add.i.i.us.i
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond.i.i.us.i = select i1 %cmp6.i.i.us.i, i1 %cmp8.not.i.i.us.i, i1 false

qemu/optimized/hw_net_rocker_rocker.c.ll
  %2 = icmp ne i8 %0, %a  ->  %cmp.i.i = icmp ugt i64 %addr, 4095
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp2.i.i = icmp ult i64 %addr, %add.i.i
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %1 = select i1 %cmp.i.i, i1 %cmp2.i.i, i1 false

qemu/optimized/system_physmem.c.ll
  %2 = icmp ne i8 %0, %a  ->  %cmp3 = icmp sgt i64 %retval.0.i, %offset
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp5 = icmp ult i64 %retval.0.i, %add4
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond = select i1 %cmp3, i1 %cmp5, i1 false

qemu/optimized/system_memory.c.ll
  %2 = icmp ne i8 %0, %a  ->  %cmp.i.not.i7.i = icmp sge i128 %addr16.val, %start.sroa.0.0.insert.ext.i
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp.i11.i19.i = icmp slt i128 %addr16.val, %a.sroa.0.0.insert.insert.i.i.i12.i
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond = select i1 %cmp.i.not.i7.i, i1 %cmp.i11.i19.i, i1 false

qemu/optimized/linux-user_syscall.c.ll
  %2 = icmp ne i8 %0, %a  ->  %tobool.not = icmp ne i64 %4, 0
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp9.not13 = icmp ult i64 %4, %sub4
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %cmp9.not = select i1 %tobool.not, i1 %cmp9.not13, i1 false

qemu/optimized/accel_tcg_user-exec.c.ll
  %2 = icmp ne i8 %0, %a  ->  %tobool4.not.i.i.i = icmp ne i64 %19, 0
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp5.not11.i.i.i = icmp ult i64 %19, %sub.i.i.i
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %cmp5.not.i.i.i = select i1 %tobool4.not.i.i.i, i1 %cmp5.not11.i.i.i, i1 false

duckdb/optimized/ub_duckdb_operator_order.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %cmp145 = icmp ne i64 %final_count.4, 0
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp150 = icmp ult i64 %final_count.4, %37
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond = select i1 %cmp145, i1 %cmp150, i1 false

duckdb/optimized/ub_duckdb_storage_buffer.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %cmp4.not = icmp ne i64 %cond.i, 0
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp5 = icmp ugt i64 %cond.i, %bestSize.061
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %4 = select i1 %cmp4.not, i1 %cmp5, i1 false

ncnn/optimized/padding_x86_avx512.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %273 = icmp sgt i32 %272, -1
  %3 = icmp samesign ult i8 %0, %b  ->  %.not1493 = icmp slt i32 %272, %114
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond1620 = select i1 %273, i1 %.not1493, i1 false

ncnn/optimized/padding_x86.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %272 = icmp sgt i32 %271, -1
  %3 = icmp samesign ult i8 %0, %b  ->  %.not513 = icmp slt i32 %271, %106
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond578 = select i1 %272, i1 %.not513, i1 false

ncnn/optimized/padding_x86_fma.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %275 = icmp sgt i32 %274, -1
  %3 = icmp samesign ult i8 %0, %b  ->  %.not1005 = icmp slt i32 %274, %112
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond1101 = select i1 %275, i1 %.not1005, i1 false

ncnn/optimized/convolutiondepthwise_x86_avx.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %188 = icmp eq i32 %185, %187
  %3 = icmp samesign ult i8 %0, %b  ->  %191 = icmp eq i32 %185, %190
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond3142 = select i1 %188, i1 %191, i1 false

duckdb/optimized/ub_duckdb_parallel.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %cmp4.not = icmp ne i64 %cond.i, 0
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp5 = icmp ugt i64 %cond.i, %bestSize.061
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %4 = select i1 %cmp4.not, i1 %cmp5, i1 false

duckdb/optimized/ub_duckdb_operator_csv_scanner.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %cmp.not = icmp ne i64 %2, 0
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp11 = icmp ult i64 %2, %3
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond = select i1 %cmp.not, i1 %cmp11, i1 false

duckdb/optimized/ub_duckdb_common_operators.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %cmp.not.i = icmp slt i32 %1, %conv2
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp4.i = icmp sgt i32 %1, %sub.i
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %.not = select i1 %cmp.not.i, i1 %cmp4.i, i1 false

duckdb/optimized/ub_duckdb_func_string_main.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %cmp98 = icmp sge i8 %13, %15
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp102 = icmp sle i8 %13, %17
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %18 = select i1 %cmp98, i1 %cmp102, i1 false

duckdb/optimized/ub_duckdb_storage_table.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %cmp45 = icmp uge i64 %42, %add30
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp50.not = icmp ult i64 %42, %add49
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond = select i1 %cmp45, i1 %cmp50.not, i1 false

duckdb/optimized/ub_duckdb_aggr_holistic.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %cmp254.not = icmp uge i64 %92, %93
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp256 = icmp ult i64 %92, %94
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %95 = select i1 %cmp254.not, i1 %cmp256, i1 false

26 Occurrences

[github-actions]

linux/optimized/processor_idle.ll
  %2 = icmp ne i8 %0, %a  ->  %389 = icmp samesign ult i64 %277, 7
  %3 = icmp samesign ult i8 %0, %b  ->  %392 = icmp samesign ult i64 %277, %391
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %393 = select i1 %389, i1 %392, i1 false

linux/optimized/acpi_pm.ll
  %2 = icmp ne i8 %0, %a  ->  %14 = icmp samesign ugt i32 %5, %9
  %3 = icmp samesign ult i8 %0, %b  ->  %15 = icmp samesign ult i32 %5, %13
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %16 = select i1 %14, i1 %15, i1 false

linux/optimized/core.ll
  %2 = icmp ne i8 %0, %a  ->  %24 = icmp samesign uge i64 %0, %23
  %3 = icmp samesign ult i8 %0, %b  ->  %25 = icmp samesign ult i64 %0, %22
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %26 = select i1 %24, i1 %25, i1 false

linux/optimized/build_policy.ll
  %2 = icmp ne i8 %0, %a  ->  %31 = icmp samesign uge i64 %22, %30
  %3 = icmp samesign ult i8 %0, %b  ->  %34 = icmp samesign ule i64 %22, %33
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %35 = select i1 %31, i1 %34, i1 false

postgres/optimized/nbtdedup.ll
  %2 = icmp ne i8 %0, %a  ->  %7 = icmp sgt i32 %2, 0
  %3 = icmp samesign ult i8 %0, %b  ->  %8 = icmp samesign ult i32 %2, %6
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond = select i1 %7, i1 %8, i1 false

hermes/optimized/JSProxy.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %cmp.not.i = icmp samesign uge i64 %indvars.iv, %10
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp2.i = icmp samesign ult i64 %indvars.iv, %11
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond.i = select i1 %cmp.not.i, i1 %cmp2.i, i1 false

gromacs/optimized/arraydata.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %13 = icmp sgt i32 %1, -1
  %3 = icmp samesign ult i8 %0, %b  ->  %14 = icmp samesign ult i32 %1, %10
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond = select i1 %13, i1 %14, i1 false

gromacs/optimized/symtab.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %29 = icmp slt i64 %indvars.iv.next, %28
  %3 = icmp samesign ult i8 %0, %b  ->  %30 = icmp samesign ult i64 %indvars.iv.next, %19
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %31 = select i1 %29, i1 %30, i1 false

gromacs/optimized/tpxio.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %106 = icmp slt i64 %indvars.iv.next.i, %105
  %3 = icmp samesign ult i8 %0, %b  ->  %107 = icmp samesign ult i64 %indvars.iv.next.i, %73
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %108 = select i1 %106, i1 %107, i1 false

gromacs/optimized/sorglq.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %.not163184 = icmp sgt i32 %59, 0
  %3 = icmp samesign ult i8 %0, %b  ->  %60 = icmp samesign ult i32 %59, %25
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond221 = select i1 %.not163184, i1 %60, i1 false

gromacs/optimized/readpull.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %41 = icmp sgt i32 %40, -1
  %3 = icmp samesign ult i8 %0, %b  ->  %.not22 = icmp samesign ult i32 %40, %17
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond = select i1 %41, i1 %.not22, i1 false

gromacs/optimized/dorglq.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %.not163184 = icmp sgt i32 %59, 0
  %3 = icmp samesign ult i8 %0, %b  ->  %60 = icmp samesign ult i32 %59, %25
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond221 = select i1 %.not163184, i1 %60, i1 false

gromacs/optimized/position_restraints.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %35 = icmp slt i64 %indvars.iv112, %invariant.op117
  %3 = icmp samesign ult i8 %0, %b  ->  %36 = icmp samesign ult i64 %indvars.iv112, 2
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %37 = select i1 %35, i1 %36, i1 false

llvm/optimized/X86InstrInfo.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %.not172 = icmp samesign uge i64 %indvars.iv, %112
  %3 = icmp samesign ult i8 %0, %b  ->  %117 = icmp samesign ult i64 %indvars.iv, %111
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond = select i1 %.not172, i1 %117, i1 false

llvm/optimized/RegAllocGreedy.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %.not54 = icmp samesign uge i64 %indvars.iv, %164
  %3 = icmp samesign ult i8 %0, %b  ->  %182 = icmp samesign ult i64 %indvars.iv, %.sroa.2.0.extract.shift
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond = select i1 %.not54, i1 %182, i1 false

llvm/optimized/ExprConstant.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %60 = icmp sgt i64 %59, -1
  %3 = icmp samesign ult i8 %0, %b  ->  %.not44 = icmp samesign ule i64 %59, %57
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond.not81 = select i1 %60, i1 %.not44, i1 false

cvc5/optimized/theory_arith_private.cpp.ll
  %2 = icmp ne i8 %0, %a  ->  %cmp53 = icmp sgt i32 %11, -1
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp56.not = icmp samesign ugt i32 %11, %shr
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond = select i1 %cmp53, i1 %cmp56.not, i1 false

libquic/optimized/buffer.c.ll
  %2 = icmp ne i8 %0, %a  ->  %cmp6 = icmp slt i64 %indvars.iv.next, %8
  %3 = icmp samesign ult i8 %0, %b  ->  %cmp7 = icmp samesign ult i64 %indvars.iv.next, %4
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %9 = select i1 %cmp6, i1 %cmp7, i1 false

zed-rs/optimized/exy3mxytk4j1w94j908qbhdez.ll
  %2 = icmp ne i8 %0, %a  ->  %107 = icmp ne i32 %105, 1114112
  %3 = icmp samesign ult i8 %0, %b  ->  %108 = icmp samesign ugt i32 %105, 47
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond.i = select i1 %107, i1 %108, i1 false

openjdk/optimized/xBarrierSetAssembler_x86.ll
  %2 = icmp ne i8 %0, %a  ->  %15 = icmp sgt i32 %14, 79
  %3 = icmp samesign ult i8 %0, %b  ->  %17 = icmp samesign ult i32 %14, %16
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %18 = select i1 %15, i1 %17, i1 false

openjdk/optimized/g1ParScanThreadState.ll
  %2 = icmp ne i8 %0, %a  ->  %62 = icmp ne i32 %61, 131071
  %3 = icmp samesign ult i8 %0, %b  ->  %63 = icmp samesign ugt i32 %61, %52
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %64 = select i1 %62, i1 %63, i1 false

21 Occurrences

[github-actions]

zed-rs/optimized/exy3mxytk4j1w94j908qbhdez.ll
  %2 = icmp ne i8 %0, %cst_a  ->  %107 = icmp ne i32 %105, 1114112
  %3 = icmp samesign ult i8 %0, %cst_b  ->  %108 = icmp samesign ugt i32 %105, 47
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %or.cond.i = select i1 %107, i1 %108, i1 false

turborepo-rs/optimized/7fw9xnh6zcxu0x094jeq6b04v.ll
  %2 = icmp ne i8 %0, %cst_a  ->  %36 = icmp ne i8 %35, 3
  %3 = icmp samesign ult i8 %0, %cst_b  ->  %37 = icmp samesign ugt i8 %35, 1
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %38 = select i1 %36, i1 %37, i1 false

turborepo-rs/optimized/8pg3jwh1r7c75l6o8as6nsjle.ll
  %2 = icmp ne i8 %0, %cst_a  ->  %276 = icmp ne i8 %275, 3
  %3 = icmp samesign ult i8 %0, %cst_b  ->  %277 = icmp samesign ugt i8 %275, 1
  %or.cond20 = select i1 %2, i1 %3, i1 false  ->  %278 = select i1 %276, i1 %277, i1 false

3 Occurrences