Commit a4cf4972 authored by Adéla Štěpková's avatar Adéla Štěpková
Browse files

fix: branch to return only from init block

parent 6be93d57

src/passes/branchToPredecessors.cpp

+5 −3
Original line number Diff line number Diff line
@@ -32,13 +32,15 @@ void branchToPredecessors(ModuleBundle& mod) 
                }

            }



            if (revSuccessors.empty()) { // return if no predecessors

            if (origBB == &origBB->getParent()->getEntryBlock()) {

                revSuccessors.push_back(fBundle.returnBlock);

            }



            if (!revSuccessors.empty()) {

                fBundle.instBuilder.setInsertPointBeforeTerminator(revBB);

                fBundle.instBuilder.addNondetBranch(revSuccessors);

            }

        }



        if (fBundle.blockMap.empty()) {

            fBundle.instBuilder.setInsertPointBeforeTerminator(fBundle.allocaBlock);