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
Afficher le fichier Open project: uxmal/reko Class Usage Examples

Méthodes publiques

Méthode 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

Private Methods

Méthode 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

Method Details

ClosureOfUsingStatements() public méthode

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
Résultat HashSet

ComparisonFromConditionCode() public méthode

public ComparisonFromConditionCode ( ConditionCode cc, BinaryExpression bin, bool isNegated ) : Expression
cc ConditionCode
bin BinaryExpression
isNegated bool
Résultat Expression

ComparisonFromOverflow() public méthode

public ComparisonFromOverflow ( BinaryExpression bin, bool isNegated ) : Expression
bin BinaryExpression
isNegated bool
Résultat Expression

ConditionCodeEliminator() public méthode

public ConditionCodeEliminator ( Reko.Analysis.SsaState ssa, IPlatform arch ) : Reko.Core
ssa Reko.Analysis.SsaState
arch IPlatform
Résultat Reko.Core

Negate() public static méthode

public static Negate ( ConditionCode cc ) : ConditionCode
cc ConditionCode
Résultat ConditionCode

Transform() public méthode

public Transform ( ) : void
Résultat void

TransformAssignment() public méthode

public TransformAssignment ( Assignment a ) : Instruction
a Assignment
Résultat Instruction

UseGrfConditionally() public méthode

public UseGrfConditionally ( Reko.Analysis.SsaIdentifier sid, ConditionCode cc ) : Expression
sid Reko.Analysis.SsaIdentifier
cc ConditionCode
Résultat Expression

VisitTestCondition() public méthode

public VisitTestCondition ( TestCondition tc ) : Expression
tc TestCondition
Résultat Expression