C# Class Reko.Analysis.ConditionCodeEliminator

Removes any uses and definitions of condition codes.

Removal of condition codes becomes exciting in situations like the following (x86 code): add ax,bx mov [si],ax jnz foo or cmp ax,0 jl less jg greater

For best performance, preprocess the intermediate code with the ValuePropagator transformer.

Inheritance: InstructionTransformer

Public Methods

Method	Description
ClosureOfUsingStatements ( Reko.Analysis.SsaIdentifier sid, Expression expr, HashSet uses, HashSet aliases ) : HashSet	Computes the close of a web of using statements. The uses hash set will contain all non-trivial uses of the expression.
ComparisonFromConditionCode ( ConditionCode cc, BinaryExpression bin, bool isNegated ) : Expression
ComparisonFromOverflow ( BinaryExpression bin, bool isNegated ) : Expression
ConditionCodeEliminator ( Reko.Analysis.SsaState ssa, IPlatform arch ) : Reko.Core
Negate ( ConditionCode cc ) : ConditionCode
Transform ( ) : void
TransformAssignment ( Assignment a ) : Instruction
UseGrfConditionally ( Reko.Analysis.SsaIdentifier sid, ConditionCode cc ) : Expression
VisitTestCondition ( TestCondition tc ) : Expression

Method	Description
CmpExpressionToZero ( Expression e ) : BinaryExpression
IsAddOrSub ( Reko.Core.Operators.Operator op ) : bool
IsCopyWithOptionalCast ( Identifier grf, Reko.Core.Statement stm ) : bool	Returns true if the instruction in the statement is an assignment of the form grf = src or grf = (foo) src
IsLocallyDefinedFlagGroup ( Reko.Analysis.SsaIdentifier sid ) : bool
TransformAddOrSub ( Assignment a, BinaryExpression binUse ) : Instruction
TransformRolC ( Application rolc, Assignment a ) : Instruction
TransformRorC ( Application rorc, Assignment a ) : Instruction
Use ( Expression expr, Reko.Core.Statement stm ) : void

Computes the close of a web of using statements. The uses hash set will contain all non-trivial uses of the expression.

public ClosureOfUsingStatements ( Reko.Analysis.SsaIdentifier sid, Expression expr, HashSet uses, HashSet aliases ) : HashSet
sid	Reko.Analysis.SsaIdentifier
expr	Expression
uses	HashSet
aliases	HashSet
return	HashSet

public ComparisonFromConditionCode ( ConditionCode cc, BinaryExpression bin, bool isNegated ) : Expression
cc	ConditionCode
bin	BinaryExpression
isNegated	bool
return	Expression

public ComparisonFromOverflow ( BinaryExpression bin, bool isNegated ) : Expression
bin	BinaryExpression
isNegated	bool
return	Expression

public ConditionCodeEliminator ( Reko.Analysis.SsaState ssa, IPlatform arch ) : Reko.Core
ssa	Reko.Analysis.SsaState
arch	IPlatform
return	Reko.Core

public static Negate ( ConditionCode cc ) : ConditionCode
cc	ConditionCode
return	ConditionCode

public Transform ( ) : void
return	void

public TransformAssignment ( Assignment a ) : Instruction
a	Assignment
return	Instruction

public UseGrfConditionally ( Reko.Analysis.SsaIdentifier sid, ConditionCode cc ) : Expression
sid	Reko.Analysis.SsaIdentifier
cc	ConditionCode
return	Expression

public VisitTestCondition ( TestCondition tc ) : Expression
tc	TestCondition
return	Expression