break;

    case EQ_EXPR:

    case NE_EXPR:

    case LT_EXPR:

    case LE_EXPR:

    case GT_EXPR:

    case GE_EXPR:

      /* See if we can CSE a comparison with another performed with a

         different sign (if compared for equality) or as pointer vs.

	 integer.  This seems to happen a lot for std::string code,

	 see PR88775.  */

      if ((INTEGRAL_TYPE_P (TREE_TYPE (rhs1))

	   || POINTER_TYPE_P (TREE_TYPE (rhs1)))

	  && TREE_CODE (rhs1) == SSA_NAME)

	{

	  gassign *def = dyn_cast <gassign *> (SSA_NAME_DEF_STMT (rhs1));

	  if (def

	      && CONVERT_EXPR_CODE_P (gimple_assign_rhs_code (def))

	      && tree_nop_conversion_p (TREE_TYPE (rhs1),

					TREE_TYPE (gimple_assign_rhs1 (def)))

	      && (code == EQ_EXPR || code == NE_EXPR

		  || (TYPE_UNSIGNED (TREE_TYPE (rhs1))

		      == TYPE_UNSIGNED (TREE_TYPE (gimple_assign_rhs1 (def))))))

	    {

	      tree ops[3] = {};

	      ops[0] = vn_valueize (gimple_assign_rhs1 (def));

	      tree rhs2 = gimple_assign_rhs2 (stmt);

	      if (TREE_CODE (rhs2) == INTEGER_CST)

		ops[1] = fold_convert (TREE_TYPE (rhs1), rhs2);

	      else if ((def = dyn_cast <gassign *> (SSA_NAME_DEF_STMT (rhs2)))

		       && CONVERT_EXPR_CODE_P (gimple_assign_rhs_code (def))

		       && tree_nop_conversion_p

			    (TREE_TYPE (rhs2),

			     TREE_TYPE (gimple_assign_rhs1 (def)))

		       && (code == EQ_EXPR || code == NE_EXPR

			   || (TYPE_UNSIGNED (TREE_TYPE (rhs2))

			       == TYPE_UNSIGNED

				    (TREE_TYPE (gimple_assign_rhs1 (def)))))

		       && types_compatible_p

			    (TREE_TYPE (gimple_assign_rhs1 (def)),

			     TREE_TYPE (ops[0])))

		ops[1] = vn_valueize (gimple_assign_rhs1 (def));

	      if (ops[1])

		{

		  tree res = vn_nary_op_lookup_pieces (2, code,

						       type, ops, NULL);

		  if (res)

		    return set_ssa_val_to (lhs, res);

		}

	    }

	}

      break;