X != 0 implies trunc nuw X to i1

[dtcxzyw]

https://alive2.llvm.org/ce/z/Dv8-HR

; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(inaccessiblemem: write)
define i1 @src2(i64 noundef %1) local_unnamed_addr #0 {
entry:
  %3 = icmp ne i64 %1, 0
  tail call void @llvm.assume(i1 %3)
  %4 = trunc nuw i64 %1 to i1
  ret i1 %4
}

; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
define noundef i1 @tgt2(i64 %1) local_unnamed_addr #2 {
entry:
  ret i1 true
}

tests/meilisearch-rs/optimized/2cgldv3iwsojn360.ll

[dtcxzyw]

tests/meilisearch-rs/optimized/2eqafq69fd46y14a.ll

[dtcxzyw]

tests/rustfmt-rs/optimized/3xcdaapyewyrfogi.ll

[dtcxzyw]

Closed by llvm/llvm-project#119131