gimplefe: expose MULT_HIGHPART_EXPR

	* gimple-parser.c (c_parser_gimple_binary_expression): Accept infix
	"__MULT_HIGHPART" for MULT_HIGHPART_EXPR.

From-SVN: r263982

diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 14be5d2..51b706c 100644 (file)
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,8 @@
+2018-08-30  Alexander Monakov  <amonakov@ispras.ru>
+
+       * gimple-parser.c (c_parser_gimple_binary_expression): Accept infix
+       "__MULT_HIGHPART" for MULT_HIGHPART_EXPR.
+
 2018-08-27  David Malcolm  <dmalcolm@redhat.com>
 
        PR 87091

diff --git a/gcc/c/gimple-parser.c b/gcc/c/gimple-parser.c
index 1be5d14..ee2146f 100644 (file)
--- a/gcc/c/gimple-parser.c
+++ b/gcc/c/gimple-parser.c
@@ -450,6 +450,7 @@ c_parser_gimple_statement (c_parser *parser, gimple_seq *seq)
 
    gimple-binary-expression:
      gimple-unary-expression * gimple-unary-expression
+     gimple-unary-expression __MULT_HIGHPART gimple-unary-expression
      gimple-unary-expression / gimple-unary-expression
      gimple-unary-expression % gimple-unary-expression
      gimple-unary-expression + gimple-unary-expression
@@ -544,6 +545,16 @@ c_parser_gimple_binary_expression (c_parser *parser)
     case CPP_OR_OR:
       c_parser_error (parser, "%<||%> not valid in GIMPLE");
       return ret;
+    case CPP_NAME:
+       {
+         tree id = c_parser_peek_token (parser)->value;
+         if (strcmp (IDENTIFIER_POINTER (id), "__MULT_HIGHPART") == 0)
+           {
+             code = MULT_HIGHPART_EXPR;
+             break;
+           }
+       }
+      /* Fallthru.  */
     default:
       /* Not a binary expression.  */
       return lhs;