Lines Matching refs:DST_TYPE_IS_SAT
348 if (state->dst_type == DST_TYPE_IS_SAT) {
467 if (state->dst_type == DST_TYPE_IS_SAT) {
587 case DST_TYPE_IS_SAT:
772 .dst_type = DST_TYPE_IS_SAT,
781 .dst_type = DST_TYPE_IS_SAT,
790 .dst_type = DST_TYPE_IS_SAT,
799 .dst_type = DST_TYPE_IS_SAT,
809 .dst_type = DST_TYPE_IS_SAT,
818 .dst_type = DST_TYPE_IS_SAT,
827 .dst_type = DST_TYPE_IS_SAT,
837 .dst_type = DST_TYPE_IS_SAT,
1131 case DST_TYPE_IS_SAT:
1161 use_dst_type = DST_TYPE_IS_SAT;
1302 if (state->dst_type == DST_TYPE_IS_SAT) {
1324 if (state->dst_type != DST_TYPE_IS_SAT)
1367 if (state->dst_type == DST_TYPE_IS_SAT) {
1390 if (state->dst_type == DST_TYPE_IS_SAT) {
1457 if (state->dst_type != DST_TYPE_IS_SAT)
1475 if (state->dst_type != DST_TYPE_IS_SAT)
1508 if (state->dst_type != DST_TYPE_IS_SAT)
1532 if (state->dst_type != DST_TYPE_IS_SAT)
1566 if (state->dst_type == DST_TYPE_IS_SAT)
1623 if (state->dst_type == DST_TYPE_IS_SAT) {
1656 if (state->dst_type == DST_TYPE_IS_SAT) {
1691 if (state->dst_type == DST_TYPE_IS_SAT) {
1740 case DST_TYPE_IS_SAT: