search

dtcxzyw / llvm-tools

MIT License
1 stars 1 forks source link

(X s% 3) == 1 --> X s> 0 #34

Open dtcxzyw opened 5 days ago

dtcxzyw commented 5 days ago 
; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(inaccessiblemem: write)
define noundef i1 @src88(i32 noundef %0) local_unnamed_addr #1 {
entry:
  %1 = icmp sgt i32 %0, 0
  %2 = srem i32 %0, 3
  %3 = icmp eq i32 %2, 1
  tail call void @llvm.assume(i1 %3)
  ret i1 %1
}

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

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

tests/nanosvg/optimized/nanosvg.ll

dtcxzyw commented 1 day ago

tests/verilator/optimized/V3Number.cpp.ll