sdiv exact X, 24 u< 3 implies X u!= 72

[dtcxzyw]

https://alive2.llvm.org/ce/z/UDMD9P

; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(inaccessiblemem: write)
define noundef i1 @src51(i64 noundef %0) local_unnamed_addr #0 {
entry:
  %1 = icmp eq i64 %0, 72
  %2 = sdiv exact i64 %0, 24
  %3 = icmp ult i64 %2, 3
  tail call void @llvm.assume(i1 %3)
  ret i1 %1
}

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

tests/llvm/optimized/Compilation.cpp.ll

[dtcxzyw]

tests/meshlab/optimized/filter_layer.cpp.ll

[dtcxzyw]

tests/meshlab/optimized/filter_trioptimize.cpp.ll

[dtcxzyw]

tests/meshlab/optimized/quadric_simp.cpp.ll