Searched refs:ADD_SAT_CONSTRAINT (Results 1 - 6 of 6) sorted by relevance

/netbsd-current/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dconstraint-manager.cc1579 ADD_SAT_CONSTRAINT (model, x, EQ_EXPR, y);
1610 ADD_SAT_CONSTRAINT (model, x, EQ_EXPR, y);
1611 ADD_SAT_CONSTRAINT (model, y, EQ_EXPR, z);
1625 ADD_SAT_CONSTRAINT (model, x, NE_EXPR, y);
1655 ADD_SAT_CONSTRAINT (model, x, LT_EXPR, y);
1677 ADD_SAT_CONSTRAINT (model, x, LE_EXPR, y);
1699 ADD_SAT_CONSTRAINT (model, x, GT_EXPR, y);
1721 ADD_SAT_CONSTRAINT (model, x, GE_EXPR, y);
1755 ADD_SAT_CONSTRAINT (model, x, EQ_EXPR, int_0);
1756 ADD_SAT_CONSTRAINT (mode
[all...]
H A Dregion-model.cc7849 ADD_SAT_CONSTRAINT (model1, x, EQ_EXPR, y);
7869 ADD_SAT_CONSTRAINT (model1, x, EQ_EXPR, int_42);
7883 ADD_SAT_CONSTRAINT (model1, x, GE_EXPR, int_0);
7884 ADD_SAT_CONSTRAINT (model1, x, LE_EXPR, int_42);
7901 ADD_SAT_CONSTRAINT (model1, x, NE_EXPR, int_42);
7902 ADD_SAT_CONSTRAINT (model1, y, NE_EXPR, int_0);
7919 ADD_SAT_CONSTRAINT (model1, x, NE_EXPR, int_42);
7920 ADD_SAT_CONSTRAINT (model1, y, NE_EXPR, int_0);
7991 ADD_SAT_CONSTRAINT (model, x, EQ_EXPR, int_0);
H A Dregion-model.h2219 #define ADD_SAT_CONSTRAINT(MODEL, LHS, OP, RHS) \ macro
/netbsd-current/external/gpl3/gcc/dist/gcc/analyzer/
H A Dconstraint-manager.cc3179 ADD_SAT_CONSTRAINT (model, x, EQ_EXPR, x);
3180 ADD_SAT_CONSTRAINT (model, int_42, EQ_EXPR, int_42);
3196 ADD_SAT_CONSTRAINT (model, x, EQ_EXPR, y);
3228 ADD_SAT_CONSTRAINT (model, x, EQ_EXPR, y);
3229 ADD_SAT_CONSTRAINT (model, y, EQ_EXPR, z);
3244 ADD_SAT_CONSTRAINT (model, x, NE_EXPR, y);
3275 ADD_SAT_CONSTRAINT (model, x, LT_EXPR, y);
3298 ADD_SAT_CONSTRAINT (model, x, LE_EXPR, y);
3321 ADD_SAT_CONSTRAINT (model, x, GT_EXPR, y);
3344 ADD_SAT_CONSTRAINT (mode
[all...]
H A Dregion-model.h1326 #define ADD_SAT_CONSTRAINT(MODEL, LHS, OP, RHS) \ macro
H A Dregion-model.cc5181 ADD_SAT_CONSTRAINT (model, x, EQ_EXPR, int_0);

Completed in 150 milliseconds