Uses of Class
joeq.Compiler.Quad.BasicBlock

Packages that use BasicBlock

joeq.Compiler.Analysis.FlowInsensitive
joeq.Compiler.Analysis.IPA
joeq.Compiler.Analysis.IPSSA
joeq.Compiler.Analysis.IPSSA.Utils
joeq.Compiler.Analysis.Primitive
joeq.Compiler.Dataflow
joeq.Compiler.Quad
joeq.Interpreter
joeq.Main
joeq.Util.Templates

Uses of BasicBlock in joeq.Compiler.Analysis.FlowInsensitive

Fields in joeq.Compiler.Analysis.FlowInsensitive declared as BasicBlock

protected BasicBlock

MethodSummary.BuildMethodSummary.bb The current basic block.

Methods in joeq.Compiler.Analysis.FlowInsensitive with parameters of type BasicBlock

Collection	MethodSummary.getRegisterAtLocation(BasicBlock bb, Quad q, RegisterFactory.Register r)
protected void	MethodSummary.BuildMethodSummary.mergeWith(BasicBlock succ) Merge the current state into the start state for the given basic block.
protected void	MethodSummary.BuildMethodSummary.mergeWithJSR(BasicBlock succ, MethodSummary.State s2, boolean[] changedLocals)
void	MethodSummary.BuildMethodSummary.updateLocation(BasicBlock bb, Quad q) Calculate the register set up to a given point.

Uses of BasicBlock in joeq.Compiler.Analysis.IPA

Methods in joeq.Compiler.Analysis.IPA with parameters of type BasicBlock

boolean	LoopAnalysis.isInLoop(jq_Method m, BasicBlock bb)
Set	PAResults.mod(jq_Method m, BasicBlock bb, Quad quad)
Set	PAResults.mod(ProgramLocation.QuadProgramLocation invoke, BasicBlock bb)
Set	PointerAnalysisResults.mod(ProgramLocation.QuadProgramLocation loc, BasicBlock bb) Returns the set of potentially-modified locations of the given call (and transitively any calls the target may make).
Set	PAResults.ref(ProgramLocation.QuadProgramLocation invoke, BasicBlock bb)
Set	PointerAnalysisResults.ref(ProgramLocation.QuadProgramLocation loc, BasicBlock block) Returns the set of potentially-referenced locations of the given call (and transitively any calls the target may make).
void	ObjectCreationGraph.visitBasicBlock(BasicBlock bb)

Uses of BasicBlock in joeq.Compiler.Analysis.IPSSA

Methods in joeq.Compiler.Analysis.IPSSA that return BasicBlock

BasicBlock

DominatorQuery.getBasicBlock(Quad quad)

Uses of BasicBlock in joeq.Compiler.Analysis.IPSSA.Utils

Methods in joeq.Compiler.Analysis.IPSSA.Utils that return BasicBlock

BasicBlock

SimpleDominatorQuery.getBasicBlock(Quad quad)

Uses of BasicBlock in joeq.Compiler.Analysis.Primitive

Fields in joeq.Compiler.Analysis.Primitive declared as BasicBlock

protected BasicBlock

PrimitiveMethodSummary.BuildMethodSummary.bb The current basic block.

Methods in joeq.Compiler.Analysis.Primitive with parameters of type BasicBlock

Collection	PrimitiveMethodSummary.getRegisterAtLocation(BasicBlock bb, Quad q, RegisterFactory.Register r)
protected void	PrimitiveMethodSummary.BuildMethodSummary.mergeWith(BasicBlock succ) Merge the current state into the start state for the given basic block.
protected void	PrimitiveMethodSummary.BuildMethodSummary.mergeWithJSR(BasicBlock succ, PrimitiveMethodSummary.State s2, boolean[] changedLocals)
void	PrimitiveMethodSummary.BuildMethodSummary.updateLocation(BasicBlock bb, Quad q) Calculate the register set up to a given point.

Uses of BasicBlock in joeq.Compiler.Dataflow

Methods in joeq.Compiler.Dataflow with parameters of type BasicBlock

int	BBComparator.compare(BasicBlock bb1, BasicBlock bb2)
Set	ReachingDefs.getReachingDefs(BasicBlock bb)
Set	ReachingDefs.getReachingDefs(BasicBlock bb, Quad q)
Set	ReachingDefs.getReachingDefs(BasicBlock bb, Quad q, RegisterFactory.Register r)
Set	ReachingDefs.getReachingDefs(BasicBlock bb, RegisterFactory.Register r)
boolean	LivenessAnalysis.isLiveAtIn(BasicBlock bb, RegisterFactory.Register r)
boolean	LivenessAnalysis.isLiveAtOut(BasicBlock bb, RegisterFactory.Register r)
void	LivenessAnalysis.setKilledAtIn(BasicBlock bb, RegisterFactory.Register r)
void	LivenessAnalysis.setLiveAtIn(BasicBlock bb, RegisterFactory.Register r)

Uses of BasicBlock in joeq.Compiler.Quad

Fields in joeq.Compiler.Quad declared as BasicBlock

BasicBlock	Dominators.DominatorNode.bb
protected BasicBlock[]	Dominators.bbs
protected BasicBlock	QuadIterator.currentBasicBlock References to the previous non-empty basic block, the current basic block, and the next non-empty basic block.
BasicBlock	JSRInfo.entry_block
BasicBlock	JSRInfo.exit_block
protected BasicBlock	QuadIterator.nextBasicBlock References to the previous non-empty basic block, the current basic block, and the next non-empty basic block.
protected BasicBlock	QuadIterator.previousBasicBlock References to the previous non-empty basic block, the current basic block, and the next non-empty basic block.

Methods in joeq.Compiler.Quad that return BasicBlock

BasicBlock	ControlFlowGraph.createBasicBlock(int numOfPredecessors, int numOfSuccessors, int numOfInstructions, ExceptionHandlerList ehs) Create a new basic block in this control flow graph.
BasicBlock	ControlFlowGraph.entry() Returns the entry node.
BasicBlock	ControlFlowGraph.exit() Returns the exit node.
BasicBlock	Operand.BasicBlockTableOperand.get(int i)
BasicBlock	Dominators.DominatorNode.getBasicBlock()
BasicBlock	QuadIterator.getCurrentBasicBlock()
BasicBlock	ExceptionHandler.getEntry() Returns the entry point for this exception handler.
BasicBlock	BasicBlock.getFallthroughPredecessor() Returns the fallthrough predecessor to this basic block, if it exists.
BasicBlock	BasicBlock.getFallthroughSuccessor() Returns the fallthrough successor to this basic block, if it exists.
BasicBlock	Dominators.getImmediateDominator(BasicBlock bb)
static BasicBlock	Operator.Phi.getPred(Quad q, int i)
BasicBlock	Operand.TargetOperand.getTarget()
static BasicBlock	Operator.TableSwitch.getTarget(Quad q, int i)
static BasicBlock	Operator.LookupSwitch.getTarget(Quad q, int i)

Methods in joeq.Compiler.Quad with parameters of type BasicBlock

void	BasicBlock.addPredecessor(BasicBlock b) Add a predecessor basic block to this basic block.
void	BasicBlock.addSuccessor(BasicBlock b) Add a successor basic block to this basic block.
static BytecodeToQuad.jq_ReturnAddressType	BytecodeToQuad.jq_ReturnAddressType.create(BasicBlock bb)
Dominators.DominatorNode	Dominators.getDominatorNode(BasicBlock bb)
Iterator	ControlFlowGraph.getExceptionHandlersMatchingEntry(BasicBlock b) Return an iterator of the exception handlers with the given entry point.
protected Quad	QuadIterator.getFirstQuad(BasicBlock bb) Returns the first quad reachable from the start of the given basic block.
BasicBlock	Dominators.getImmediateDominator(BasicBlock bb)
JSRInfo	ControlFlowGraph.getJSRInfo(BasicBlock bb)
protected Quad	QuadIterator.getLastQuad(BasicBlock bb) Returns the last quad reachable from the end of the given basic block.
abstract void	MethodInline.InliningDecision.inlineCall(ControlFlowGraph caller, BasicBlock bb, Quad q)
void	MethodInline.DontInline.inlineCall(ControlFlowGraph caller, BasicBlock bb, Quad q)
void	MethodInline.NoCheckInliningDecision.inlineCall(ControlFlowGraph caller, BasicBlock bb, Quad q)
void	MethodInline.TypeCheckInliningDecision.inlineCall(ControlFlowGraph caller, BasicBlock bb, Quad q)
static void	MethodInline.inlineNonVirtualCallSite(ControlFlowGraph caller, BasicBlock bb, Quad q, ControlFlowGraph callee)
static void	MethodInline.inlineVirtualCallSiteWithTypeCheck(ControlFlowGraph caller, BasicBlock bb, Quad q, ControlFlowGraph callee, jq_Class type)
List.BasicBlock	ControlFlowGraph.postOrderOnReverseGraph(BasicBlock start_bb) Returns a list of basic blocks of the reversed graph in post order, starting at the given basic block.
boolean	BasicBlock.removePredecessor(BasicBlock bb)
boolean	BasicBlock.removeSuccessor(BasicBlock bb)
List.BasicBlock	ControlFlowGraph.reversePostOrder(BasicBlock start_bb) Returns a list of basic blocks in reverse post order, starting at the given basic block.
ListIterator.BasicBlock	ControlFlowGraph.reversePostOrderIterator(BasicBlock start_bb) Returns an iteration of the basic blocks in this graph reachable from the given basic block in reverse post order, starting from the given basic block.
List.BasicBlock	ControlFlowGraph.reversePostOrderOnReverseGraph(BasicBlock start_bb) Returns a list of basic blocks of the reversed graph in reverse post order, starting at the given basic block.
void	Operand.BasicBlockTableOperand.set(int i, BasicBlock b)
void	ExceptionHandler.setEntry(BasicBlock entry)
static void	Operator.Phi.setPred(Quad q, int i, BasicBlock o)
void	Operand.TargetOperand.setTarget(BasicBlock f)
static void	Operator.TableSwitch.setTarget(Quad q, int i, BasicBlock t)
static void	Operator.LookupSwitch.setTarget(Quad q, int i, BasicBlock t)
MethodInline.InliningDecision	MethodInline.Oracle.shouldInline(ControlFlowGraph caller, BasicBlock bb, Quad callSite)
MethodInline.InliningDecision	MethodInline.InlineSmallSingleTargetCalls.shouldInline(ControlFlowGraph caller, BasicBlock bb, Quad callSite)
MethodInline.InliningDecision	MethodInline.InlineSelectedCalls.shouldInline(ControlFlowGraph caller, BasicBlock bb, Quad callSite)
void	CalculateSize.visitBasicBlock(BasicBlock bb)
void	Dominators.visitBasicBlock(BasicBlock bb)
void	BasicBlockVisitor.visitBasicBlock(BasicBlock bb) Visit a basic block.
void	BasicBlockVisitor.EmptyVisitor.visitBasicBlock(BasicBlock bb) Visit a basic block.
void	QuadVisitor.AllQuadVisitor.visitBasicBlock(BasicBlock bb)

Constructors in joeq.Compiler.Quad with parameters of type BasicBlock

Dominators.DominatorNode(BasicBlock bb, Dominators.DominatorNode parent)

ExceptionHandler(jq_Class ex_type, int numOfHandledBlocks, BasicBlock entry)
Creates new ExceptionHandler.

JSRInfo(BasicBlock entry, BasicBlock exit, boolean[] changed)

Operand.BasicBlockTableOperand(BasicBlock[] t)

Operand.TargetOperand(BasicBlock t)

Uses of BasicBlock in joeq.Interpreter

Methods in joeq.Interpreter with parameters of type BasicBlock

void	QuadInterpreter.branchTo(BasicBlock bb)

Uses of BasicBlock in joeq.Main

Methods in joeq.Main with parameters of type BasicBlock

static void	Helper.runPass(BasicBlock b, BasicBlockVisitor bbv)
static void	Helper.runPass(BasicBlock b, QuadVisitor qv)

Uses of BasicBlock in joeq.Util.Templates

Methods in joeq.Util.Templates that return BasicBlock

BasicBlock	ListWrapper.BasicBlock.getBasicBlock(int index)
BasicBlock	List.BasicBlock.getBasicBlock(int index)
BasicBlock	UnmodifiableList.BasicBlock.getBasicBlock(int index)
BasicBlock	ListWrapper.BasicBlock.Iterator.nextBasicBlock()
BasicBlock	ListWrapper.BasicBlock.EmptyIterator.nextBasicBlock()
BasicBlock	ListIterator.BasicBlock.nextBasicBlock()
BasicBlock	ListWrapper.BasicBlock.Iterator.previousBasicBlock()
BasicBlock	ListWrapper.BasicBlock.EmptyIterator.previousBasicBlock()
BasicBlock	ListIterator.BasicBlock.previousBasicBlock()

Constructors in joeq.Util.Templates with parameters of type BasicBlock

UnmodifiableList.BasicBlock(BasicBlock[] c)