hub / github.com/GoSSIP-SJTU/Armariris / SinkThenElseCodeToEnd

Function SinkThenElseCodeToEnd

lib/Transforms/Utils/SimplifyCFG.cpp:1326–1492 · view source on GitHub ↗

Given an unconditional branch that goes to BBEnd, check whether BBEnd has only two predecessors and the other predecessor ends with an unconditional branch. If it is true, sink any common code in the two predecessors to BBEnd.

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 1

SimplifyUncondBranchMethod · 0.85

Calls 15

make_pairClass · 0.85

DEBUGFunction · 0.85

isUnconditionalMethod · 0.80

mayHaveSideEffectsMethod · 0.80

mayReadOrWriteMemoryMethod · 0.80

isSameOperationAsMethod · 0.80

intersectOptionalDataWithMethod · 0.80

assertFunction · 0.50

pred_beginFunction · 0.50

pred_endFunction · 0.50

getParentMethod · 0.45

getSuccessorMethod · 0.45

Tested by

no test coverage detected