Searched refs:ADD_SAT_CONSTRAINT (Results 1 - 6 of 6) sorted by relevance
/netbsd-current/external/gpl3/gcc.old/dist/gcc/analyzer/ |
H A D | constraint-manager.cc | 1579 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 D | region-model.cc | 7849 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 D | region-model.h | 2219 #define ADD_SAT_CONSTRAINT(MODEL, LHS, OP, RHS) \ macro
|
/netbsd-current/external/gpl3/gcc/dist/gcc/analyzer/ |
H A D | constraint-manager.cc | 3179 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 D | region-model.h | 1326 #define ADD_SAT_CONSTRAINT(MODEL, LHS, OP, RHS) \ macro
|
H A D | region-model.cc | 5181 ADD_SAT_CONSTRAINT (model, x, EQ_EXPR, int_0);
|
Completed in 150 milliseconds