[llvm] [SCEVExpander] Relax hoisting condition for AddRec start (PR #75916)

Philip Reames via llvm-commits llvm-commits at lists.llvm.org
Thu Dec 21 07:55:45 PST 2023


================
@@ -0,0 +1,39 @@
+; RUN: opt -passes=indvars < %s
+
+target datalayout = "e-n32:64"
+
+declare void @g(i64)
+
+define void @f(ptr %block_address_arg)  {
+
+; This loop isn't in Simplified Form. Ensure SCEV expander doesn't hit an assert
+; when visiting it.
+f_entry:
+  indirectbr ptr %block_address_arg, [label %f.exit, label %f_for.cond]
----------------
preames wrote:

It's worth pointing out that's there's nothing I see preventing us from inserting a preheader...

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


More information about the llvm-commits mailing list