Issue 86061

[dtcxzyw]

define i1 @src(i32 %0, i64 %c) {
entry:
  %2 = add i32 %0, 1
  %3 = zext i32 %2 to i64
  %4 = add i64 %3, -1
  %5 = icmp ult i64 %4, %c
  ret i1 %5
}

llvm/llvm-project#86061

[github-actions]

hwloc/optimized/bitmap.ll
  %1 = add i32 %0, 1  ->  %4 = add i32 %1, 1
  %2 = zext i32 %1 to i64  ->  %5 = zext i32 %4 to i64
  %3 = add i64 %2, -1  ->  %6 = add nsw i64 %5, -1
  %4 = icmp ult i64 %3, %c  ->  %.not.i.i.i = icmp eq i64 %6, 0

minetest/optimized/imagefilters.cpp.ll
  %1 = add i32 %0, 1  ->  %add.i.i = add nuw nsw i32 %shr.i.i.i, 1
  %2 = zext i32 %1 to i64  ->  %conv.i.i = zext nneg i32 %add.i.i to i64
  %3 = add i64 %2, -1  ->  %sub.i.i.i.i.i.i.i = add nsw i64 %conv.i.i, -1
  %4 = icmp ult i64 %3, %c  ->  %cmp.i.i.i.i.i.i.i.i.i = icmp eq i64 %sub.i.i.i.i.i.i.i, 0

darktable/optimized/introspection_liquify.c.ll
  %1 = add i32 %0, 1  ->  %20 = add nuw i32 %19, 1
  %2 = zext i32 %1 to i64  ->  %27 = zext nneg i32 %20 to i64
  %3 = add i64 %2, -1  ->  %143 = add nsw i64 %27, -1
  %4 = icmp ult i64 %3, %c  ->  %150 = icmp eq i64 %143, 0

lua/optimized/ltable.ll
  %1 = add i32 %0, 1  ->  %add = add i32 %limit.0, 1
  %2 = zext i32 %1 to i64  ->  %conv91 = zext i32 %add to i64
  %3 = add i64 %2, -1  ->  %sub.i89 = add nsw i64 %conv91, -1
  %4 = icmp ult i64 %3, %c  ->  %cmp.i90 = icmp ult i64 %sub.i89, %conv.i

4 Occurrences