[PATCH] D155307: [InstCombine] Allow KnownBits to be propagated

[Paulo Matos via Phabricator via llvm-commits]

pmatos added inline comments.


================
Comment at: llvm/test/Transforms/InstCombine/2023-07-13-arm-infiniteloop.ll:62
+  ret void
+}
+
----------------
nikic wrote:
> pmatos wrote:
> > nikic wrote:
> > > Please minimize the test -- I don't see how this second function could possibly be related for example.
> > I did run llvm-reduce... I wonder if llvm-reduce is not removing  functions. I will take a look.
> llvm-reduce should be removing functions...
hummm, you're right it does. Which is why in this case the test cannot be reduced further and there's no infinite loop if I manually remove the function bpf_prog_calc_tag. However, I cannot see straightforwardly why that is.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D155307/new/

https://reviews.llvm.org/D155307