llir-opt  0.0.1
Low-Level Post-Link Optimiser for OCaml and C
Public Member Functions | List of all members
CondSimplifier Class Reference
Inheritance diagram for CondSimplifier:
Inheritance graph
[legend]
Collaboration diagram for CondSimplifier:
Collaboration graph
[legend]

Public Member Functions

 CondSimplifier (Func &func)
 
bool VisitInst (Inst &)
 
bool VisitAddInst (AddInst &add)
 
bool VisitCmpInst (CmpInst &cmp)
 
void Rewrite (OperatorInst &inst, bool flag)
 
std::optional< bool > IsNonNull (Ref< Inst > ptrCand, Ref< Inst > zeroCand)
 
std::optional< bool > IsRedundant (CmpInst &cmp, const Condition &cond)
 
bool Traverse (Block &block)
 
void Abduct (Inst &inst)
 
void Abduct (Ref< Inst > addr)
 
- Public Member Functions inherited from InstVisitor< bool >
bool Dispatch (Inst &i)
 

The documentation for this class was generated from the following file: