search

dtcxzyw / llvm-tools

MIT License
1 stars 1 forks source link

Trunc X != 1 -> X != 1 #36

Open dtcxzyw opened 3 days ago

dtcxzyw commented 3 days ago

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

define noundef i1 @src29(i64 noundef %0) local_unnamed_addr #1 {
entry:
  %1 = trunc i64 %0 to i32
  %2 = icmp ne i32 %1, 1
  tail call void @llvm.assume(i1 %2)
  %3 = icmp eq i64 %0, 1
  ret i1 %3
}

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

tests/mitsuba3/optimized/bsplinecurve.cpp.ll

dtcxzyw commented 2 days ago

tests/rustfmt-rs/optimized/2vbyym84o66crvo9.ll

dtcxzyw commented 2 days ago

tests/rustfmt-rs/optimized/4arc02n7xt9gqo2v.ll

dtcxzyw commented 2 days ago

tests/meilisearch-rs/optimized/gdis3hvl48q1qu4.ll

dtcxzyw commented 2 days ago

tests/meilisearch-rs/optimized/1cgo24wrkn2cjv53.ll

dtcxzyw commented 2 days ago

tests/meilisearch-rs/optimized/4rtt9oltj0ubuf08.ll

dtcxzyw commented 2 days ago

tests/image-rs/optimized/5ez7udly19o3uj1p.ll

dtcxzyw commented 2 days ago

tests/image-rs/optimized/1clnprdgqfw2q9lq.ll

dtcxzyw commented 2 days ago

tests/tls-rs/optimized/1edtspt3qu76t3sp.ll

dtcxzyw commented 2 days ago

tests/html5ever-rs/optimized/4e9vfrmeneic1jap.ll

dtcxzyw commented 2 days ago

tests/smol-rs/optimized/60w44q0ith6xnru.ll

dtcxzyw commented 10 hours ago

tests/z3/optimized/realclosure.cpp.ll

dtcxzyw commented 10 hours ago

tests/node/optimized/libnode.crypto_keys.ll