int main()
{
  _Decimal32 d32[] = { 0.0df, 1.0df, 2.0df, 3.0df, 4.0df, 5.0df };
  _Decimal64 d64[] = { 0.0dd, 1.0dd, 2.0dd, 3.0dd, 4.0dd, 5.0dd };
  _Decimal128 d128[] = { 0.0dl, 1.0dl, 2.0dl, 3.0dl, 4.0dl, 5.0dl };

  /* _Decimal32 variants.  */
  if (arg0_32 (d32) != 0.0df) FAILURE
  if (arg1_32 (d32) != 1.0df) FAILURE
  if (arg2_32 (d32) != 2.0df) FAILURE
  if (arg3_32 (d32) != 3.0df) FAILURE
  if (arg4_32 (d32) != 4.0df) FAILURE
  if (arg5_32 (d32) != 5.0df) FAILURE

  /* _Decimal64 variants.  */
  if (arg0_64 (d64) != 0.0dd) FAILURE
  if (arg1_64 (d64) != 1.0dd) FAILURE
  if (arg2_64 (d64) != 2.0dd) FAILURE
  if (arg3_64 (d64) != 3.0dd) FAILURE
  if (arg4_64 (d64) != 4.0dd) FAILURE
  if (arg5_64 (d64) != 5.0dd) FAILURE

  /* _Decimal128 variants.  */
  if (arg0_128 (d128) != 0.0dl) FAILURE
  if (arg1_128 (d128) != 1.0dl) FAILURE
  if (arg2_128 (d128) != 2.0dl) FAILURE
  if (arg3_128 (d128) != 3.0dl) FAILURE
  if (arg4_128 (d128) != 4.0dl) FAILURE
  if (arg5_128 (d128) != 5.0dl) FAILURE

  if (failcnt != 0)
    abort ();

  return 0;
}
int main()
{
  /* An finite 32-bits decimal floating point.  */
  d32 = 1.2345df;		/* Initialize d32.  */

  /* Non-finite 32-bits decimal floating point: infinity and NaN.  */
  d32 = __builtin_infd32();	/* Positive infd32.  */
  d32 = -__builtin_infd32();	/* Negative infd32.  */
  d32 = __builtin_nand32("");

  /* An finite 64-bits decimal floating point.  */
  d64 = 1.2345dd;		/* Initialize d64.  */

  /* Non-finite 64-bits decimal floating point: infinity and NaN.  */
  d64 = __builtin_infd64();	/* Positive infd64.  */
  d64 = -__builtin_infd64();	/* Negative infd64.  */
  d64 = __builtin_nand64("");

  /* An finite 128-bits decimal floating point.  */
  d128 = 1.2345dl;		/* Initialize d128.  */

  /* Non-finite 128-bits decimal floating point: infinity and NaN.  */
  d128 = __builtin_infd128();	/* Positive infd128.  */
  d128 = -__builtin_infd128();	/* Negative infd128.  */
  d128 = __builtin_nand128("");

  /* Functions with decimal floating point as parameter and return value. */
  d32 = arg0_32 (0.1df, 1.0df, 2.0df, 3.0df, 4.0df, 5.0df);
  d64 = arg0_64 (0.1dd, 1.0dd, 2.0dd, 3.0dd, 4.0dd, 5.0dd);
  d128 = arg0_128 (0.1dl, 1.0dl, 2.0dl, 3.0dl, 4.0dl, 5.0dl);

  ds.int4 = 1;
  ds.long8 = 2;
  ds.float4 = 3.1;
  ds.double8 = 4.2;
  ds.dec32 = 1.2345df;
  ds.dec64 = 1.2345dd;
  ds.dec128 = 1.2345dl;

  return 0;	/* Exit point.  */
}