In D131646, we implement widen by taking the block state upon entry
into the loop and copying it to the block that represents the
back-edge in order to initialize the state for the "0th" iteration of
the loop. If the loop is the first thing after the entry block,
skipping the entry block means we don't have an opportunity to do this
initialization, so we want to analyze the entry block, even as it has
zero statements, to keep the logic consistent.
Details
Details
- Reviewers
xazax.hun ymandel NoQ sgatev gribozavr2
Diff Detail
Diff Detail
- Repository
- rG LLVM Github Monorepo