ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
expr_reassociate.h
Go to the documentation of this file.
1#ifndef UTIL_EXPR_REASSOCIATE_H_
2#define UTIL_EXPR_REASSOCIATE_H_
3
4#include <irep2/irep2.h>
5
24bool reassociate_arith(expr2tc &expr);
25
43bool reassociate_mul(expr2tc &expr);
44
66bool reassociate_bitand(expr2tc &expr);
67bool reassociate_bitor(expr2tc &expr);
68bool reassociate_bitxor(expr2tc &expr);
69
79
80#endif
bool reassociate_bitxor(expr2tc &expr)
Definition expr_reassociate.cpp:1051
void simplify_no_reassoc(expr2tc &expr)
Run peephole simplification on expr, suppressing reassociation.
Definition expr_reassociate.cpp:1072
bool reassociate_bitand(expr2tc &expr)
Reassociate the bitand/bitor/bitxor chain rooted at expr, in place.
Definition expr_reassociate.cpp:1011
bool reassociate_bitor(expr2tc &expr)
Definition expr_reassociate.cpp:1031
bool reassociate_arith(expr2tc &expr)
Reassociate the add/sub/neg chain rooted at expr, in place.
Definition expr_reassociate.cpp:948
bool reassociate_mul(expr2tc &expr)
Reassociate the mul chain rooted at expr, in place.
Definition expr_reassociate.cpp:984
Classes and definitions for non-stringy internal representation.
irep_container< expr2t > expr2tc
Definition irep2.h:431