]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Support {CEIL,FLOOR,ROUND}_{DIV,MOD}_EXPR and EXACT_DIV_EXPR in GIMPLE FE
authorRichard Biener <rguenther@suse.de>
Wed, 17 Apr 2024 09:22:00 +0000 (11:22 +0200)
committerRichard Biener <rguenther@suse.de>
Tue, 30 Apr 2024 11:03:55 +0000 (13:03 +0200)
The following adds support for the various division and modulo operators
to the GIMPLE frontend via __{CEIL,FLOOR,ROUND}_{DIV,MOD} and
__EXACT_DIV operators.

gcc/c/
* gimple-parser.cc (c_parser_gimple_binary_expression):
Parse __{CEIL,FLOOR,ROUND}_{DIV,MOD} and __EXACT_DIV.

gcc/testsuite/
* gcc.dg/gimplefe-53.c: New testcase.

gcc/c/gimple-parser.cc
gcc/testsuite/gcc.dg/gimplefe-53.c [new file with mode: 0644]

index 2dac41a335ad72b3d1ff3bb808291928cb20c828..d156d83cd3784c42b82cb3a5a12e37fa1b6bc708 100644 (file)
@@ -1055,6 +1055,41 @@ c_parser_gimple_binary_expression (gimple_parser &parser, tree ret_type)
            code = LTGT_EXPR;
            break;
          }
+       else if (strcmp (IDENTIFIER_POINTER (id), "__FLOOR_DIV") == 0)
+         {
+           code = FLOOR_DIV_EXPR;
+           break;
+         }
+       else if (strcmp (IDENTIFIER_POINTER (id), "__ROUND_DIV") == 0)
+         {
+           code = ROUND_DIV_EXPR;
+           break;
+         }
+       else if (strcmp (IDENTIFIER_POINTER (id), "__EXACT_DIV") == 0)
+         {
+           code = EXACT_DIV_EXPR;
+           break;
+         }
+       else if (strcmp (IDENTIFIER_POINTER (id), "__CEIL_DIV") == 0)
+         {
+           code = CEIL_DIV_EXPR;
+           break;
+         }
+       else if (strcmp (IDENTIFIER_POINTER (id), "__FLOOR_MOD") == 0)
+         {
+           code = FLOOR_MOD_EXPR;
+           break;
+         }
+       else if (strcmp (IDENTIFIER_POINTER (id), "__ROUND_MOD") == 0)
+         {
+           code = ROUND_MOD_EXPR;
+           break;
+         }
+       else if (strcmp (IDENTIFIER_POINTER (id), "__CEIL_MOD") == 0)
+         {
+           code = CEIL_MOD_EXPR;
+           break;
+         }
       }
       /* Fallthru.  */
     default:
diff --git a/gcc/testsuite/gcc.dg/gimplefe-53.c b/gcc/testsuite/gcc.dg/gimplefe-53.c
new file mode 100644 (file)
index 0000000..926c77c
--- /dev/null
@@ -0,0 +1,16 @@
+/* { dg-do compile } */
+/* { dg-options "-fgimple" } */
+
+int __GIMPLE
+foo (int a, int b)
+{
+  int tem;
+  tem = a __EXACT_DIV b;
+  tem = tem __CEIL_DIV b;
+  tem = tem __FLOOR_DIV b;
+  tem = tem __ROUND_DIV b;
+  tem = tem __FLOOR_MOD b;
+  tem = tem __CEIL_MOD b;
+  tem = tem __ROUND_MOD b;
+  return tem;
+}