diff mbox series

[gimplefe] Handle __VEC_PERM

Message ID alpine.LSU.2.20.1905171123340.10704@zhemvz.fhfr.qr
State New
Headers show
Series [gimplefe] Handle __VEC_PERM | expand

Commit Message

Richard Biener May 17, 2019, 9:24 a.m. UTC 
Bootstrap / testing in progress on x86_64-unknown-linux-gnu.

Richard.

2019-05-17  Richard Biener  <rguenther@suse.de>

	c/
	* gimple-parser.c (c_parser_gimple_statement): Handle __VEC_PERM.
	(c_parser_gimple_unary_expression): Likewise.
	(c_parser_gimple_parentized_ternary_expression): New function.

	* gimple-pretty-print.c (dump_ternary_rhs): Handle dumping
	VEC_PERM_EXPR as __VEC_PERM with -gimple.

	* gcc.dg/gimplefe-41.c: New testcase.

Comments

Christophe Lyon May 20, 2019, 6:33 a.m. UTC | #1 
On Fri, 17 May 2019 at 11:24, Richard Biener <rguenther@suse.de> wrote:
>
>
> Bootstrap / testing in progress on x86_64-unknown-linux-gnu.
>
> Richard.
>
> 2019-05-17  Richard Biener  <rguenther@suse.de>
>
>         c/
>         * gimple-parser.c (c_parser_gimple_statement): Handle __VEC_PERM.
>         (c_parser_gimple_unary_expression): Likewise.
>         (c_parser_gimple_parentized_ternary_expression): New function.
>
>         * gimple-pretty-print.c (dump_ternary_rhs): Handle dumping
>         VEC_PERM_EXPR as __VEC_PERM with -gimple.
>
>         * gcc.dg/gimplefe-41.c: New testcase.
>

Hi,

This causes an ICE on arm:
/gcc/testsuite/gcc.dg/gimplefe-41.c: In function '_mm_add_sd':
/gcc/testsuite/gcc.dg/gimplefe-41.c:39:1: error: vectors with
different element number found in vector permute expression
__v2df
__v2df
vector(2) double
__v2di
z_6 = VEC_PERM_EXPR <x_4(D), _7, { 2, 1, 0, 0 }>;
during IPA pass: *free_lang_data
/gcc/testsuite/gcc.dg/gimplefe-41.c:39:1: internal compiler error:
verify_gimple failed
0xc47110 verify_gimple_in_cfg(function*, bool)
        /gcc/tree-cfg.c:5396
0xb0b673 execute_function_todo
        /gcc/passes.c:1963
0xb0bf3d do_per_function
        /gcc/passes.c:1645
0xb0c009 execute_todo
        /gcc/passes.c:2017

Christophe

> Index: gcc/c/gimple-parser.c
> ===================================================================
> --- gcc/c/gimple-parser.c       (revision 271315)
> +++ gcc/c/gimple-parser.c       (working copy)
> @@ -746,8 +746,9 @@ c_parser_gimple_statement (gimple_parser
>         if (strcmp (IDENTIFIER_POINTER (id), "__ABS") == 0
>             || strcmp (IDENTIFIER_POINTER (id), "__ABSU") == 0
>             || strcmp (IDENTIFIER_POINTER (id), "__MIN") == 0
> +           || strcmp (IDENTIFIER_POINTER (id), "__MAX") == 0
>             || strcmp (IDENTIFIER_POINTER (id), "__BIT_INSERT") == 0
> -           || strcmp (IDENTIFIER_POINTER (id), "__MAX") == 0)
> +           || strcmp (IDENTIFIER_POINTER (id), "__VEC_PERM") == 0)
>           goto build_unary_expr;
>         break;
>        }
> @@ -1012,6 +1013,38 @@ c_parser_gimple_parentized_binary_expres
>    return ret;
>  }
>
> +/* Parse a gimple parentized binary expression.  */
> +
> +static c_expr
> +c_parser_gimple_parentized_ternary_expression (gimple_parser &parser,
> +                                              location_t op_loc,
> +                                              tree_code code)
> +{
> +  struct c_expr ret;
> +  ret.set_error ();
> +
> +  c_parser_consume_token (parser);
> +  if (!c_parser_require (parser, CPP_OPEN_PAREN, "expected %<(%>"))
> +    return ret;
> +  c_expr op1 = c_parser_gimple_postfix_expression (parser);
> +  if (!c_parser_require (parser, CPP_COMMA, "expected %<,%>"))
> +    return ret;
> +  c_expr op2 = c_parser_gimple_postfix_expression (parser);
> +  if (!c_parser_require (parser, CPP_COMMA, "expected %<)%>"))
> +    return ret;
> +  c_expr op3 = c_parser_gimple_postfix_expression (parser);
> +  if (!c_parser_require (parser, CPP_CLOSE_PAREN, "expected %<)%>"))
> +    return ret;
> +
> +  if (op1.value != error_mark_node
> +      && op2.value != error_mark_node
> +      && op3.value != error_mark_node)
> +    ret.value = build3_loc (op_loc,
> +                           code, TREE_TYPE (op1.value),
> +                           op1.value, op2.value, op3.value);
> +  return ret;
> +}
> +
>  /* Parse gimple unary expression.
>
>     gimple-unary-expression:
> @@ -1109,6 +1142,9 @@ c_parser_gimple_unary_expression (gimple
>             return c_parser_gimple_parentized_binary_expression (parser,
>                                                                  op_loc,
>                                                                  MAX_EXPR);
> +         else if (strcmp (IDENTIFIER_POINTER (id), "__VEC_PERM") == 0)
> +           return c_parser_gimple_parentized_ternary_expression
> +                       (parser, op_loc, VEC_PERM_EXPR);
>           else if (strcmp (IDENTIFIER_POINTER (id), "__BIT_INSERT") == 0)
>             {
>               /* __BIT_INSERT '(' postfix-expression, postfix-expression,
> Index: gcc/gimple-pretty-print.c
> ===================================================================
> --- gcc/gimple-pretty-print.c   (revision 271315)
> +++ gcc/gimple-pretty-print.c   (working copy)
> @@ -529,13 +529,19 @@ dump_ternary_rhs (pretty_printer *buffer
>        break;
>
>      case VEC_PERM_EXPR:
> -      pp_string (buffer, "VEC_PERM_EXPR <");
> +      if (flags & TDF_GIMPLE)
> +       pp_string (buffer, "__VEC_PERM (");
> +      else
> +       pp_string (buffer, "VEC_PERM_EXPR <");
>        dump_generic_node (buffer, gimple_assign_rhs1 (gs), spc, flags, false);
>        pp_string (buffer, ", ");
>        dump_generic_node (buffer, gimple_assign_rhs2 (gs), spc, flags, false);
>        pp_string (buffer, ", ");
>        dump_generic_node (buffer, gimple_assign_rhs3 (gs), spc, flags, false);
> -      pp_greater (buffer);
> +      if (flags & TDF_GIMPLE)
> +       pp_right_paren (buffer);
> +      else
> +       pp_greater (buffer);
>        break;
>
>      case REALIGN_LOAD_EXPR:
> Index: gcc/testsuite/gcc.dg/gimplefe-41.c
> ===================================================================
> --- gcc/testsuite/gcc.dg/gimplefe-41.c  (nonexistent)
> +++ gcc/testsuite/gcc.dg/gimplefe-41.c  (working copy)
> @@ -0,0 +1,39 @@
> +/* { dg-do compile } */
> +/* { dg-options "-fgimple -Wno-psabi -w" } */
> +
> +typedef double __v2df __attribute__ ((__vector_size__ (16)));
> +typedef unsigned long __v2di __attribute__ ((__vector_size__ (16)));
> +
> +__v2df __GIMPLE (ssa)
> +_mm_add_sd (__v2df x, __v2df y)
> +{
> +  __v2df z;
> +  double _1;
> +  double _2;
> +  double _3;
> +  __v2df _7;
> +
> +  __BB(2):
> +  _1 = __BIT_FIELD_REF <double> (x_4(D), 64u, 0u);
> +  _2 = __BIT_FIELD_REF <double> (y_5(D), 64u, 0u);
> +  _3 = _1 + _2;
> +  _7 = _Literal (__v2df) {_3, _3};
> +  z_6 = __VEC_PERM (x_4(D), _7, _Literal (__v2di) { 2ul, 1ul });
> +  return z_6;
> +}
> +
> +__v2df __GIMPLE (ssa)
> +_mm_add_sd2 (__v2df x, __v2df y)
> +{
> +  __v2df z;
> +  double _1;
> +  double _2;
> +  double _3;
> +
> +  __BB(2):
> +  _1 = __BIT_FIELD_REF <double> (x_4(D), 64u, 0u);
> +  _2 = __BIT_FIELD_REF <double> (y_5(D), 64u, 0u);
> +  _3 = _1 + _2;
> +  z_6 = __BIT_INSERT (x_4(D), _3, 0);
> +  return z_6;
> +}
Richard Biener May 20, 2019, 7:16 a.m. UTC | #2 
On Mon, 20 May 2019, Christophe Lyon wrote:

> On Fri, 17 May 2019 at 11:24, Richard Biener <rguenther@suse.de> wrote:
> >
> >
> > Bootstrap / testing in progress on x86_64-unknown-linux-gnu.
> >
> > Richard.
> >
> > 2019-05-17  Richard Biener  <rguenther@suse.de>
> >
> >         c/
> >         * gimple-parser.c (c_parser_gimple_statement): Handle __VEC_PERM.
> >         (c_parser_gimple_unary_expression): Likewise.
> >         (c_parser_gimple_parentized_ternary_expression): New function.
> >
> >         * gimple-pretty-print.c (dump_ternary_rhs): Handle dumping
> >         VEC_PERM_EXPR as __VEC_PERM with -gimple.
> >
> >         * gcc.dg/gimplefe-41.c: New testcase.
> >
> 
> Hi,
> 
> This causes an ICE on arm:
> /gcc/testsuite/gcc.dg/gimplefe-41.c: In function '_mm_add_sd':
> /gcc/testsuite/gcc.dg/gimplefe-41.c:39:1: error: vectors with
> different element number found in vector permute expression
> __v2df
> __v2df
> vector(2) double
> __v2di
> z_6 = VEC_PERM_EXPR <x_4(D), _7, { 2, 1, 0, 0 }>;
> during IPA pass: *free_lang_data
> /gcc/testsuite/gcc.dg/gimplefe-41.c:39:1: internal compiler error:
> verify_gimple failed
> 0xc47110 verify_gimple_in_cfg(function*, bool)
>         /gcc/tree-cfg.c:5396
> 0xb0b673 execute_function_todo
>         /gcc/passes.c:1963
> 0xb0bf3d do_per_function
>         /gcc/passes.c:1645
> 0xb0c009 execute_todo
>         /gcc/passes.c:2017

Hope this fixes it and the other issue.

Tested on x86_64-unknown-linux-gnu, applied.

Richard.

2019-05-20  Richard Biener  <rguenther@suse.de>

	PR testsuite/90518
	* gcc.dg/gimplefe-40.c: Restrict to targets with appropriate
	vector support.
	* gcc.dg/gimplefe-41.c: Likewise.

Index: gcc/testsuite/gcc.dg/gimplefe-40.c
===================================================================
--- gcc/testsuite/gcc.dg/gimplefe-40.c	(revision 271394)
+++ gcc/testsuite/gcc.dg/gimplefe-40.c	(working copy)
@@ -1,4 +1,4 @@
-/* { dg-do compile { target int128 } } */
+/* { dg-do compile { target { int128 && vect_float } } } */
 /* { dg-options "-fgimple -Wno-psabi -w" } */
 
 typedef float v4sf __attribute__((vector_size(16)));
Index: gcc/testsuite/gcc.dg/gimplefe-41.c
===================================================================
--- gcc/testsuite/gcc.dg/gimplefe-41.c	(revision 271394)
+++ gcc/testsuite/gcc.dg/gimplefe-41.c	(working copy)
@@ -1,8 +1,8 @@
-/* { dg-do compile } */
+/* { dg-do compile { target { vect_double && vect_long_long } } } */
 /* { dg-options "-fgimple -Wno-psabi -w" } */
 
 typedef double __v2df __attribute__ ((__vector_size__ (16)));
-typedef unsigned long __v2di __attribute__ ((__vector_size__ (16)));
+typedef unsigned long long __v2di __attribute__ ((__vector_size__ (16)));
 
 __v2df __GIMPLE (ssa)
 _mm_add_sd (__v2df x, __v2df y)
Christophe Lyon May 20, 2019, 9:06 a.m. UTC | #3 
On Mon, 20 May 2019 at 09:16, Richard Biener <rguenther@suse.de> wrote:
>
> On Mon, 20 May 2019, Christophe Lyon wrote:
>
> > On Fri, 17 May 2019 at 11:24, Richard Biener <rguenther@suse.de> wrote:
> > >
> > >
> > > Bootstrap / testing in progress on x86_64-unknown-linux-gnu.
> > >
> > > Richard.
> > >
> > > 2019-05-17  Richard Biener  <rguenther@suse.de>
> > >
> > >         c/
> > >         * gimple-parser.c (c_parser_gimple_statement): Handle __VEC_PERM.
> > >         (c_parser_gimple_unary_expression): Likewise.
> > >         (c_parser_gimple_parentized_ternary_expression): New function.
> > >
> > >         * gimple-pretty-print.c (dump_ternary_rhs): Handle dumping
> > >         VEC_PERM_EXPR as __VEC_PERM with -gimple.
> > >
> > >         * gcc.dg/gimplefe-41.c: New testcase.
> > >
> >
> > Hi,
> >
> > This causes an ICE on arm:
> > /gcc/testsuite/gcc.dg/gimplefe-41.c: In function '_mm_add_sd':
> > /gcc/testsuite/gcc.dg/gimplefe-41.c:39:1: error: vectors with
> > different element number found in vector permute expression
> > __v2df
> > __v2df
> > vector(2) double
> > __v2di
> > z_6 = VEC_PERM_EXPR <x_4(D), _7, { 2, 1, 0, 0 }>;
> > during IPA pass: *free_lang_data
> > /gcc/testsuite/gcc.dg/gimplefe-41.c:39:1: internal compiler error:
> > verify_gimple failed
> > 0xc47110 verify_gimple_in_cfg(function*, bool)
> >         /gcc/tree-cfg.c:5396
> > 0xb0b673 execute_function_todo
> >         /gcc/passes.c:1963
> > 0xb0bf3d do_per_function
> >         /gcc/passes.c:1645
> > 0xb0c009 execute_todo
> >         /gcc/passes.c:2017
>
> Hope this fixes it and the other issue.
>
> Tested on x86_64-unknown-linux-gnu, applied.
>
> Richard.
>
> 2019-05-20  Richard Biener  <rguenther@suse.de>
>
>         PR testsuite/90518
>         * gcc.dg/gimplefe-40.c: Restrict to targets with appropriate
>         vector support.
>         * gcc.dg/gimplefe-41.c: Likewise.
>
Yes this fixes the problem on arm. Well, it avoids the ICE.

Christophe

> Index: gcc/testsuite/gcc.dg/gimplefe-40.c
> ===================================================================
> --- gcc/testsuite/gcc.dg/gimplefe-40.c  (revision 271394)
> +++ gcc/testsuite/gcc.dg/gimplefe-40.c  (working copy)
> @@ -1,4 +1,4 @@
> -/* { dg-do compile { target int128 } } */
> +/* { dg-do compile { target { int128 && vect_float } } } */
>  /* { dg-options "-fgimple -Wno-psabi -w" } */
>
>  typedef float v4sf __attribute__((vector_size(16)));
> Index: gcc/testsuite/gcc.dg/gimplefe-41.c
> ===================================================================
> --- gcc/testsuite/gcc.dg/gimplefe-41.c  (revision 271394)
> +++ gcc/testsuite/gcc.dg/gimplefe-41.c  (working copy)
> @@ -1,8 +1,8 @@
> -/* { dg-do compile } */
> +/* { dg-do compile { target { vect_double && vect_long_long } } } */
>  /* { dg-options "-fgimple -Wno-psabi -w" } */
>
>  typedef double __v2df __attribute__ ((__vector_size__ (16)));
> -typedef unsigned long __v2di __attribute__ ((__vector_size__ (16)));
> +typedef unsigned long long __v2di __attribute__ ((__vector_size__ (16)));
>
>  __v2df __GIMPLE (ssa)
>  _mm_add_sd (__v2df x, __v2df y)
Richard Biener May 20, 2019, 9:07 a.m. UTC | #4 
On Mon, 20 May 2019, Christophe Lyon wrote:

> On Mon, 20 May 2019 at 09:16, Richard Biener <rguenther@suse.de> wrote:
> >
> > On Mon, 20 May 2019, Christophe Lyon wrote:
> >
> > > On Fri, 17 May 2019 at 11:24, Richard Biener <rguenther@suse.de> wrote:
> > > >
> > > >
> > > > Bootstrap / testing in progress on x86_64-unknown-linux-gnu.
> > > >
> > > > Richard.
> > > >
> > > > 2019-05-17  Richard Biener  <rguenther@suse.de>
> > > >
> > > >         c/
> > > >         * gimple-parser.c (c_parser_gimple_statement): Handle __VEC_PERM.
> > > >         (c_parser_gimple_unary_expression): Likewise.
> > > >         (c_parser_gimple_parentized_ternary_expression): New function.
> > > >
> > > >         * gimple-pretty-print.c (dump_ternary_rhs): Handle dumping
> > > >         VEC_PERM_EXPR as __VEC_PERM with -gimple.
> > > >
> > > >         * gcc.dg/gimplefe-41.c: New testcase.
> > > >
> > >
> > > Hi,
> > >
> > > This causes an ICE on arm:
> > > /gcc/testsuite/gcc.dg/gimplefe-41.c: In function '_mm_add_sd':
> > > /gcc/testsuite/gcc.dg/gimplefe-41.c:39:1: error: vectors with
> > > different element number found in vector permute expression
> > > __v2df
> > > __v2df
> > > vector(2) double
> > > __v2di
> > > z_6 = VEC_PERM_EXPR <x_4(D), _7, { 2, 1, 0, 0 }>;
> > > during IPA pass: *free_lang_data
> > > /gcc/testsuite/gcc.dg/gimplefe-41.c:39:1: internal compiler error:
> > > verify_gimple failed
> > > 0xc47110 verify_gimple_in_cfg(function*, bool)
> > >         /gcc/tree-cfg.c:5396
> > > 0xb0b673 execute_function_todo
> > >         /gcc/passes.c:1963
> > > 0xb0bf3d do_per_function
> > >         /gcc/passes.c:1645
> > > 0xb0c009 execute_todo
> > >         /gcc/passes.c:2017
> >
> > Hope this fixes it and the other issue.
> >
> > Tested on x86_64-unknown-linux-gnu, applied.
> >
> > Richard.
> >
> > 2019-05-20  Richard Biener  <rguenther@suse.de>
> >
> >         PR testsuite/90518
> >         * gcc.dg/gimplefe-40.c: Restrict to targets with appropriate
> >         vector support.
> >         * gcc.dg/gimplefe-41.c: Likewise.
> >
> Yes this fixes the problem on arm. Well, it avoids the ICE.

It was invalid GIMPLE IL for arm which is obviously "easy" to
generate using the GIMPLE FE ...  Thanks for testing.

Richard.
diff mbox series

Patch

Index: gcc/c/gimple-parser.c
===================================================================
--- gcc/c/gimple-parser.c	(revision 271315)
+++ gcc/c/gimple-parser.c	(working copy)
@@ -746,8 +746,9 @@  c_parser_gimple_statement (gimple_parser
 	if (strcmp (IDENTIFIER_POINTER (id), "__ABS") == 0
 	    || strcmp (IDENTIFIER_POINTER (id), "__ABSU") == 0
 	    || strcmp (IDENTIFIER_POINTER (id), "__MIN") == 0
+	    || strcmp (IDENTIFIER_POINTER (id), "__MAX") == 0
 	    || strcmp (IDENTIFIER_POINTER (id), "__BIT_INSERT") == 0
-	    || strcmp (IDENTIFIER_POINTER (id), "__MAX") == 0)
+	    || strcmp (IDENTIFIER_POINTER (id), "__VEC_PERM") == 0)
 	  goto build_unary_expr;
 	break;
       }
@@ -1012,6 +1013,38 @@  c_parser_gimple_parentized_binary_expres
   return ret;
 }
 
+/* Parse a gimple parentized binary expression.  */
+
+static c_expr
+c_parser_gimple_parentized_ternary_expression (gimple_parser &parser,
+					       location_t op_loc,
+					       tree_code code)
+{
+  struct c_expr ret;
+  ret.set_error ();
+
+  c_parser_consume_token (parser);
+  if (!c_parser_require (parser, CPP_OPEN_PAREN, "expected %<(%>"))
+    return ret;
+  c_expr op1 = c_parser_gimple_postfix_expression (parser);
+  if (!c_parser_require (parser, CPP_COMMA, "expected %<,%>"))
+    return ret;
+  c_expr op2 = c_parser_gimple_postfix_expression (parser);
+  if (!c_parser_require (parser, CPP_COMMA, "expected %<)%>"))
+    return ret;
+  c_expr op3 = c_parser_gimple_postfix_expression (parser);
+  if (!c_parser_require (parser, CPP_CLOSE_PAREN, "expected %<)%>"))
+    return ret;
+
+  if (op1.value != error_mark_node
+      && op2.value != error_mark_node
+      && op3.value != error_mark_node)
+    ret.value = build3_loc (op_loc,
+			    code, TREE_TYPE (op1.value),
+			    op1.value, op2.value, op3.value);
+  return ret;
+}
+
 /* Parse gimple unary expression.
 
    gimple-unary-expression:
@@ -1109,6 +1142,9 @@  c_parser_gimple_unary_expression (gimple
 	    return c_parser_gimple_parentized_binary_expression (parser,
 								 op_loc,
 								 MAX_EXPR);
+	  else if (strcmp (IDENTIFIER_POINTER (id), "__VEC_PERM") == 0)
+	    return c_parser_gimple_parentized_ternary_expression
+			(parser, op_loc, VEC_PERM_EXPR);
 	  else if (strcmp (IDENTIFIER_POINTER (id), "__BIT_INSERT") == 0)
 	    {
 	      /* __BIT_INSERT '(' postfix-expression, postfix-expression,
Index: gcc/gimple-pretty-print.c
===================================================================
--- gcc/gimple-pretty-print.c	(revision 271315)
+++ gcc/gimple-pretty-print.c	(working copy)
@@ -529,13 +529,19 @@  dump_ternary_rhs (pretty_printer *buffer
       break;
     
     case VEC_PERM_EXPR:
-      pp_string (buffer, "VEC_PERM_EXPR <");
+      if (flags & TDF_GIMPLE)
+	pp_string (buffer, "__VEC_PERM (");
+      else
+	pp_string (buffer, "VEC_PERM_EXPR <");
       dump_generic_node (buffer, gimple_assign_rhs1 (gs), spc, flags, false);
       pp_string (buffer, ", ");
       dump_generic_node (buffer, gimple_assign_rhs2 (gs), spc, flags, false);
       pp_string (buffer, ", ");
       dump_generic_node (buffer, gimple_assign_rhs3 (gs), spc, flags, false);
-      pp_greater (buffer);
+      if (flags & TDF_GIMPLE)
+	pp_right_paren (buffer);
+      else
+	pp_greater (buffer);
       break;
 
     case REALIGN_LOAD_EXPR:
Index: gcc/testsuite/gcc.dg/gimplefe-41.c
===================================================================
--- gcc/testsuite/gcc.dg/gimplefe-41.c	(nonexistent)
+++ gcc/testsuite/gcc.dg/gimplefe-41.c	(working copy)
@@ -0,0 +1,39 @@ 
+/* { dg-do compile } */
+/* { dg-options "-fgimple -Wno-psabi -w" } */
+
+typedef double __v2df __attribute__ ((__vector_size__ (16)));
+typedef unsigned long __v2di __attribute__ ((__vector_size__ (16)));
+
+__v2df __GIMPLE (ssa)
+_mm_add_sd (__v2df x, __v2df y)
+{
+  __v2df z;
+  double _1;
+  double _2;
+  double _3;
+  __v2df _7;
+
+  __BB(2):
+  _1 = __BIT_FIELD_REF <double> (x_4(D), 64u, 0u);
+  _2 = __BIT_FIELD_REF <double> (y_5(D), 64u, 0u);
+  _3 = _1 + _2;
+  _7 = _Literal (__v2df) {_3, _3};
+  z_6 = __VEC_PERM (x_4(D), _7, _Literal (__v2di) { 2ul, 1ul });
+  return z_6;
+}
+
+__v2df __GIMPLE (ssa)
+_mm_add_sd2 (__v2df x, __v2df y)
+{
+  __v2df z;
+  double _1;
+  double _2;
+  double _3;
+
+  __BB(2):
+  _1 = __BIT_FIELD_REF <double> (x_4(D), 64u, 0u);
+  _2 = __BIT_FIELD_REF <double> (y_5(D), 64u, 0u);
+  _3 = _1 + _2;
+  z_6 = __BIT_INSERT (x_4(D), _3, 0);
+  return z_6;
+}