For-loop initializer or iterator statements must be the final statement in their respective basic block. This method tests that iterateOp/initializeOp (specified by \e slot) is the root of or can be turned into the root of a terminal statement. The root output must be an explicit variable being read by the \e loopDef MULTIEQUAL at the top of the loop. If the root is not the last PcodeOp in the blo
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected