1183 		if (value == sign_bit(size))	// (x <  SMIN) --> 0  in simplify_compare_constant()
1187 		if (value == sign_bit(size) + 1)// (x < SMIN + 1) --> (x == SMIN)  in simplify_compare_constant()
1188 			return replace_binop_value(insn, OP_SET_EQ, sign_bit(size));  in simplify_compare_constant()
1189 		if (!(value & sign_bit(size)))  in simplify_compare_constant()
1197 		if (value == sign_bit(size))	// (x <= SMIN) --> (x == SMIN)  in simplify_compare_constant()
1201 		if (value & sign_bit(size))  in simplify_compare_constant()
1207 		if (value == sign_bit(size))	// (x >= SMIN) --> 1  in simplify_compare_constant()
1211 		if (value == sign_bit(size) + 1)// (x >= SMIN + 1) --> (x != SMIN)  in simplify_compare_constant()
1212 			return replace_binop_value(insn, OP_SET_NE, sign_bit(size));  in simplify_compare_constant()
1213 		if (!(value & sign_bit(size)))  in simplify_compare_constant()
1221 		if (value == sign_bit(size))	// (x >  SMIN) --> (x != SMIN)  in simplify_compare_constant()
1225 		if (value & sign_bit(size))  in simplify_compare_constant()
1296 			if (bits & sign_bit(def->size))  in simplify_compare_constant()
1309 			if (bits & sign_bit(def->size))  in simplify_compare_constant()
1368 			if (bits & sign_bit(def->size)) {  in simplify_compare_constant()
1377 			if (bits & sign_bit(def->size)) {  in simplify_compare_constant()
1394 			if (value >= sign_bit(osize)) {  in simplify_compare_constant()
1401 			if (value >= sign_bit(osize)) {  in simplify_compare_constant()
1408 			if (value < sign_bit(size))  in simplify_compare_constant()
1414 			if (value < sign_bit(size))  in simplify_compare_constant()