search for: istoplevelregion

Hi, I'm trying to solve a problem from StructurizeCFG not actually handling regions with multiple exits. Sample IR attached. StructurizeCFG doesn't touch this function, exiting early on the isTopLevelRegion check. SIAnnotateControlFlow then gets confused and ends up inserting an if into one of the blocks, and the matching end.cf into one of the return/unreachable blocks. The input to the end.cf is then not dominated by the condition which fails the verifier. I'm not sure exactly about how to g...

...eeded RegionSimplify pass r179586: Support SCoPs with > multiple entry edges r179159: Support SCoPs with multiple exit edges > r179158: Codegen: Replace region exit and entries recursively r179157: > RegionInfo: Add helpers to replace entry/exit recursively r178530: > ScopDetection: Use isTopLevelRegion > > In this project, I plan to spend two weeks to reduce canonicalization > overhead. It was a good idea to write down what you plan to do each week. > Week 1: Profile the compiling overhead of each canonicalization pass, > including PromoteMemoryToRegisterPass, CFGSimplificationP...

Hi all, I have updated my GSoS proposal: "FastPolly: Reducing LLVM-Polly Compiling overhead" (https://gist.github.com/tanstar/5441808). I think the pass ordering problem you discussed early can be also investigated in this project! Is there any comment or advice about my proposal? I appreciate all your help and advice. Thanks, Star Tan Proposal: