Uses of Class
joeq.Compiler.Quad.RegisterFactory.Register

Packages that use RegisterFactory.Register

joeq.Compiler.Analysis.BDD
joeq.Compiler.Analysis.FlowInsensitive
joeq.Compiler.Analysis.IPSSA
joeq.Compiler.Analysis.Primitive
joeq.Compiler.Dataflow
joeq.Compiler.Quad
joeq.Interpreter

Uses of RegisterFactory.Register in joeq.Compiler.Analysis.BDD

Methods in joeq.Compiler.Analysis.BDD with parameters of type RegisterFactory.Register

int	BuildBDDIR.getRegisterID(RegisterFactory.Register r)

Uses of RegisterFactory.Register in joeq.Compiler.Analysis.FlowInsensitive

Methods in joeq.Compiler.Analysis.FlowInsensitive with parameters of type RegisterFactory.Register

Object	MethodSummary.BuildMethodSummary.getRegister(RegisterFactory.Register r) Get the node or set of nodes in the given register in the current state.
Collection	MethodSummary.getRegisterAtLocation(BasicBlock bb, Quad q, RegisterFactory.Register r)
protected void	MethodSummary.BuildMethodSummary.heapLoad(ProgramLocation obj, RegisterFactory.Register dest_r, MethodSummary.Node base_n, jq_Field f) Abstractly perform a heap load operation corresponding to quad 'obj' with the given destination register, base and field.
protected void	MethodSummary.BuildMethodSummary.heapLoad(ProgramLocation obj, RegisterFactory.Register dest_r, RegisterFactory.Register base_r, jq_Field f) Abstractly perform a heap load operation corresponding to quad 'obj' with the given destination register, base register and field.
protected void	MethodSummary.BuildMethodSummary.heapLoad(ProgramLocation obj, RegisterFactory.Register dest_r, Set base_s, jq_Field f) Abstractly perform a heap load operation corresponding to quad 'obj' with the given destination register, bases and field.
protected void	MethodSummary.BuildMethodSummary.monitorOp(Quad q, RegisterFactory.Register r)
protected void	MethodSummary.BuildMethodSummary.setRegister(RegisterFactory.Register r, MethodSummary.Node n) Set the given register in the current state to point to the given node.
protected void	MethodSummary.BuildMethodSummary.setRegister(RegisterFactory.Register r, Object n) Set the given register in the current state to point to the given node or set of nodes.

Uses of RegisterFactory.Register in joeq.Compiler.Analysis.IPSSA

Methods in joeq.Compiler.Analysis.IPSSA that return RegisterFactory.Register

RegisterFactory.Register

SSALocation.LocalLocation.getRegister()

Methods in joeq.Compiler.Analysis.IPSSA with parameters of type RegisterFactory.Register

static SSALocation.LocalLocation

SSALocation.LocalLocation.FACTORY.createLocalLocation(RegisterFactory.Register reg)

Uses of RegisterFactory.Register in joeq.Compiler.Analysis.Primitive

Methods in joeq.Compiler.Analysis.Primitive with parameters of type RegisterFactory.Register

Object	PrimitiveMethodSummary.BuildMethodSummary.getRegister(RegisterFactory.Register r) Get the node or set of nodes in the given register in the current state.
Collection	PrimitiveMethodSummary.getRegisterAtLocation(BasicBlock bb, Quad q, RegisterFactory.Register r)
protected void	PrimitiveMethodSummary.BuildMethodSummary.heapLoad(ProgramLocation obj, RegisterFactory.Register dest_r, PrimitiveMethodSummary.Node base_n, jq_Field f) Abstractly perform a heap load operation corresponding to quad 'obj' with the given destination register, base and field.
protected void	PrimitiveMethodSummary.BuildMethodSummary.heapLoad(ProgramLocation obj, RegisterFactory.Register dest_r, RegisterFactory.Register base_r, jq_Field f) Abstractly perform a heap load operation corresponding to quad 'obj' with the given destination register, base register and field.
protected void	PrimitiveMethodSummary.BuildMethodSummary.heapLoad(ProgramLocation obj, RegisterFactory.Register dest_r, Set base_s, jq_Field f) Abstractly perform a heap load operation corresponding to quad 'obj' with the given destination register, bases and field.
protected void	PrimitiveMethodSummary.BuildMethodSummary.monitorOp(Quad q, RegisterFactory.Register r)
protected void	PrimitiveMethodSummary.BuildMethodSummary.setRegister(RegisterFactory.Register r, Object n) Set the given register in the current state to point to the given node or set of nodes.
protected void	PrimitiveMethodSummary.BuildMethodSummary.setRegister(RegisterFactory.Register r, PrimitiveMethodSummary.Node n) Set the given register in the current state to point to the given node.

Uses of RegisterFactory.Register in joeq.Compiler.Dataflow

Methods in joeq.Compiler.Dataflow with parameters of type RegisterFactory.Register

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 RegisterFactory.Register in joeq.Compiler.Quad

Methods in joeq.Compiler.Quad that return RegisterFactory.Register

RegisterFactory.Register	RegisterFactory.Register.copy()
RegisterFactory.Register	RegisterFactory.get(int i)
RegisterFactory.Register	RegisterFactory.getOrCreateLocal(int i, jq_Type t)
RegisterFactory.Register	RegisterFactory.getOrCreateStack(int i, jq_Type t)
RegisterFactory.Register	Operand.RegisterOperand.getRegister()
RegisterFactory.Register	RegisterFactory.makePairedReg(RegisterFactory that, RegisterFactory.Register r2)
RegisterFactory.Register	RegisterFactory.makeReg(jq_Type type)
RegisterFactory.Register	RegisterFactory.makeReg(RegisterFactory.Register r2)
RegisterFactory.Register	RegisterFactory.makeTempReg(jq_Type type)

Methods in joeq.Compiler.Quad with parameters of type RegisterFactory.Register

static Quad	Operator.Move.create(int id, RegisterFactory.Register r1, RegisterFactory.Register r2, jq_Type t)
RegisterFactory.Register	RegisterFactory.makePairedReg(RegisterFactory that, RegisterFactory.Register r2)
RegisterFactory.Register	RegisterFactory.makeReg(RegisterFactory.Register r2)
Operand.RegisterOperand	RegisterFactory.makeRegOp(RegisterFactory.Register r2, jq_Type type)
void	Operand.RegisterOperand.setRegister(RegisterFactory.Register r)

Constructors in joeq.Compiler.Quad with parameters of type RegisterFactory.Register

Operand.RegisterOperand(RegisterFactory.Register reg, jq_Type type)

Operand.RegisterOperand(RegisterFactory.Register reg, jq_Type type, int flags)

Uses of RegisterFactory.Register in joeq.Interpreter

Methods in joeq.Interpreter that return RegisterFactory.Register

RegisterFactory.Register

QuadInterpreter.getExceptionRegister()

Methods in joeq.Interpreter with parameters of type RegisterFactory.Register

Object	QuadInterpreter.getReg_A(RegisterFactory.Register r)
double	QuadInterpreter.getReg_D(RegisterFactory.Register r)
float	QuadInterpreter.getReg_F(RegisterFactory.Register r)
int	QuadInterpreter.getReg_I(RegisterFactory.Register r)
long	QuadInterpreter.getReg_L(RegisterFactory.Register r)
Address	QuadInterpreter.getReg_P(RegisterFactory.Register r)
Object	QuadInterpreter.getReg(RegisterFactory.Register r)
void	QuadInterpreter.putReg_A(RegisterFactory.Register r, Object i)
void	QuadInterpreter.putReg_D(RegisterFactory.Register r, double i)
void	QuadInterpreter.putReg_F(RegisterFactory.Register r, float i)
void	QuadInterpreter.putReg_I(RegisterFactory.Register r, int i)
void	QuadInterpreter.putReg_L(RegisterFactory.Register r, long i)
void	QuadInterpreter.putReg_P(RegisterFactory.Register r, Address i)
void	QuadInterpreter.putReg(RegisterFactory.Register r, Object i)