[llvm] [SimplifyCFG] Deduce paths unreachable if they cause div/rem UB (PR #109008)

[Nikita Popov via llvm-commits]

================
@@ -918,6 +918,280 @@ bb5:                                              ; preds = %bb3, %bb
   ret i32 %i7
 }
 
+declare void @side.effect()
+declare i8 @get.i8()
+
+define i8 @udiv_by_zero(i8 noundef %x, i8 noundef %i, i8 noundef %v) {
----------------
nikic wrote:

Are the noundefs relevant?

https://github.com/llvm/llvm-project/pull/109008