[llvm] [IR] Add CallBr intrinsics support (PR #133907)

Robert Imschweiler via llvm-commits llvm-commits at lists.llvm.org
Mon May 12 05:24:48 PDT 2025


ro-i wrote:

@Meinersbur you added `polly/test/ScopDetect/callbr.ll` a few years ago. As far as I understand, this currently conflicts with my interpretation of how callbr should be handled during region detection (see failing test). I think that the region of the callbr instruction should include every following block that does not postdominate the block that has callbr as its terminator.
Or, simpler said, a region is only a region if the exit block postdominates every preceding callbr - that's what I implemented in `llvm/include/llvm/Analysis/RegionInfoImpl.h`.
How do you think about that?

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


More information about the llvm-commits mailing list