protected SequencedMap<PcodeOp, JitBlock> analyze() {
		BlockSplitter splitter = new BlockSplitter(passage) {
			@Override
			protected IntBranch newFallthroughIntBranch(PcodeOp from, PcodeOp to) {
				// Decoder should already have inserted fall-through protectors
				return new RIntBranch(from, to, true, Reachability.WITHOUT_CTXMOD);
			}
		};
		splitter.addBranches(passage.getBranches().values());
		return splitter.splitBlocks();
	}
Perform the analysis.

@return the resulting blocks, keyed by {@link JitBlock#first()}
Ghidra/Framework/Emulation/src/main/java/ghidra/pcode/emu/jit/analysis/JitControlFlowModel.java