/* PR tree-optimization/71625 - missing strlen optimization on different
   array initialization style

   Verify that strlen() of braced initialized array is folded
   { dg-do compile }
   { dg-options "-O1 -Wall -fdump-tree-gimple -fdump-tree-optimized" } */

#include "strlenopt.h"

#define S								\
  "\x01\x02\x03\x04\x05\x06\x07\x08\x09\x0a\x0b\x0c\x0d\x0e\x0f"	\
  "\x10\x11\x12\x13\x14\x15\x16\x17\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f"	\
  "\x20\x21\x22\x23\x24\x25\x26\x27\x28\x29\x2a\x2b\x2c\x2d\x2e\x2f"	\
  "\x30\x31\x32\x33\x34\x35\x36\x37\x38\x39\x3a\x3b\x3c\x3d\x3e\x3f"	\
  "\x40\x41\x42\x43\x44\x45\x46\x47\x48\x49\x4a\x4b\x4c\x4d\x4e\x4f"	\
  "\x50\x51\x52\x53\x54\x55\x56\x57\x58\x59\x5a\x5b\x5c\x5d\x5e\x5f"	\
  "\x60\x61\x62\x63\x64\x65\x66\x67\x68\x69\x6a\x6b\x6c\x6d\x6e\x6f"	\
  "\x70\x71\x72\x73\x74\x75\x76\x77\x78\x79\x7a\x7b\x7c\x7d\x7e\x7f"	\
  "\x80\x81\x82\x83\x84\x85\x86\x87\x88\x89\x8a\x8b\x8c\x8d\x8e\x8f"	\
  "\x90\x91\x92\x93\x94\x95\x96\x97\x98\x99\x9a\x9b\x9c\x9d\x9e\x9f"	\
  "\xa0\xa1\xa2\xa3\xa4\xa5\xa6\xa7\xa8\xa9\xaa\xab\xac\xad\xae\xaf"	\
  "\xb0\xb1\xb2\xb3\xb4\xb5\xb6\xb7\xb8\xb9\xba\xbb\xbc\xbd\xbe\xbf"	\
  "\xc0\xc1\xc2\xc3\xc4\xc5\xc6\xc7\xc8\xc9\xca\xcb\xcc\xcd\xce\xcf"	\
  "\xd0\xd1\xd2\xd3\xd4\xd5\xd6\xd7\xd8\xd9\xda\xdb\xdc\xdd\xde\xdf"	\
  "\xe0\xe1\xe2\xe3\xe4\xe5\xe6\xe7\xe8\xe9\xea\xeb\xec\xed\xee\xef"	\
  "\xf0\xf1\xf2\xf3\xf4\xf5\xf6\xf7\xf8\xf9\xfa\xfb\xfc\xfd\xfe\xff"

/* Arrays of char, signed char, and unsigned char to verify that
   the length and contents of all are the same as that of the string
   literal above.  */

const char c256[] = {
  S[0], S[1], S[2], S[3], S[4], S[5], S[6], S[7], S[8], S[9], S[10],
  S[11], S[12], S[13], S[14], S[15], S[16], S[17], S[18], S[19], S[20],
  S[21], S[22], S[23], S[24], S[25], S[26], S[27], S[28], S[29], S[30],
  S[31], S[32], S[33], S[34], S[35], S[36], S[37], S[38], S[39], S[40],
  S[41], S[42], S[43], S[44], S[45], S[46], S[47], S[48], S[49], S[50],
  S[51], S[52], S[53], S[54], S[55], S[56], S[57], S[58], S[59], S[60],
  S[61], S[62], S[63], S[64], S[65], S[66], S[67], S[68], S[69], S[70],
  S[71], S[72], S[73], S[74], S[75], S[76], S[77], S[78], S[79], S[80],
  S[81], S[82], S[83], S[84], S[85], S[86], S[87], S[88], S[89], S[90],
  S[91], S[92], S[93], S[94], S[95], S[96], S[97], S[98], S[99], S[100],
  S[101], S[102], S[103], S[104], S[105], S[106], S[107], S[108], S[109],
  S[110], S[111], S[112], S[113], S[114], S[115], S[116], S[117], S[118],
  S[119], S[120], S[121], S[122], S[123], S[124], S[125], S[126], S[127],
  S[128], S[129], S[130], S[131], S[132], S[133], S[134], S[135], S[136],
  S[137], S[138], S[139], S[140], S[141], S[142], S[143], S[144], S[145],
  S[146], S[147], S[148], S[149], S[150], S[151], S[152], S[153], S[154],
  S[155], S[156], S[157], S[158], S[159], S[160], S[161], S[162], S[163],
  S[164], S[165], S[166], S[167], S[168], S[169], S[170], S[171], S[172],
  S[173], S[174], S[175], S[176], S[177], S[178], S[179], S[180], S[181],
  S[182], S[183], S[184], S[185], S[186], S[187], S[188], S[189], S[190],
  S[191], S[192], S[193], S[194], S[195], S[196], S[197], S[198], S[199],
  S[200], S[201], S[202], S[203], S[204], S[205], S[206], S[207], S[208],
  S[209], S[210], S[211], S[212], S[213], S[214], S[215], S[216], S[217],
  S[218], S[219], S[220], S[221], S[222], S[223], S[224], S[225], S[226],
  S[227], S[228], S[229], S[230], S[231], S[232], S[233], S[234], S[235],
  S[236], S[237], S[238], S[239], S[240], S[241], S[242], S[243], S[244],
  S[245], S[246], S[247], S[248], S[249], S[250], S[251], S[252], S[253],
  S[254], S[255] /* = NUL */
};

const signed char sc256[] = {
  S[0], S[1], S[2], S[3], S[4], S[5], S[6], S[7], S[8], S[9], S[10],
  S[11], S[12], S[13], S[14], S[15], S[16], S[17], S[18], S[19], S[20],
  S[21], S[22], S[23], S[24], S[25], S[26], S[27], S[28], S[29], S[30],
  S[31], S[32], S[33], S[34], S[35], S[36], S[37], S[38], S[39], S[40],
  S[41], S[42], S[43], S[44], S[45], S[46], S[47], S[48], S[49], S[50],
  S[51], S[52], S[53], S[54], S[55], S[56], S[57], S[58], S[59], S[60],
  S[61], S[62], S[63], S[64], S[65], S[66], S[67], S[68], S[69], S[70],
  S[71], S[72], S[73], S[74], S[75], S[76], S[77], S[78], S[79], S[80],
  S[81], S[82], S[83], S[84], S[85], S[86], S[87], S[88], S[89], S[90],
  S[91], S[92], S[93], S[94], S[95], S[96], S[97], S[98], S[99], S[100],
  S[101], S[102], S[103], S[104], S[105], S[106], S[107], S[108], S[109],
  S[110], S[111], S[112], S[113], S[114], S[115], S[116], S[117], S[118],
  S[119], S[120], S[121], S[122], S[123], S[124], S[125], S[126], S[127],
  S[128], S[129], S[130], S[131], S[132], S[133], S[134], S[135], S[136],
  S[137], S[138], S[139], S[140], S[141], S[142], S[143], S[144], S[145],
  S[146], S[147], S[148], S[149], S[150], S[151], S[152], S[153], S[154],
  S[155], S[156], S[157], S[158], S[159], S[160], S[161], S[162], S[163],
  S[164], S[165], S[166], S[167], S[168], S[169], S[170], S[171], S[172],
  S[173], S[174], S[175], S[176], S[177], S[178], S[179], S[180], S[181],
  S[182], S[183], S[184], S[185], S[186], S[187], S[188], S[189], S[190],
  S[191], S[192], S[193], S[194], S[195], S[196], S[197], S[198], S[199],
  S[200], S[201], S[202], S[203], S[204], S[205], S[206], S[207], S[208],
  S[209], S[210], S[211], S[212], S[213], S[214], S[215], S[216], S[217],
  S[218], S[219], S[220], S[221], S[222], S[223], S[224], S[225], S[226],
  S[227], S[228], S[229], S[230], S[231], S[232], S[233], S[234], S[235],
  S[236], S[237], S[238], S[239], S[240], S[241], S[242], S[243], S[244],
  S[245], S[246], S[247], S[248], S[249], S[250], S[251], S[252], S[253],
  S[254], S[255] /* = NUL */
};

const unsigned char uc256[] = {
  S[0], S[1], S[2], S[3], S[4], S[5], S[6], S[7], S[8], S[9], S[10],
  S[11], S[12], S[13], S[14], S[15], S[16], S[17], S[18], S[19], S[20],
  S[21], S[22], S[23], S[24], S[25], S[26], S[27], S[28], S[29], S[30],
  S[31], S[32], S[33], S[34], S[35], S[36], S[37], S[38], S[39], S[40],
  S[41], S[42], S[43], S[44], S[45], S[46], S[47], S[48], S[49], S[50],
  S[51], S[52], S[53], S[54], S[55], S[56], S[57], S[58], S[59], S[60],
  S[61], S[62], S[63], S[64], S[65], S[66], S[67], S[68], S[69], S[70],
  S[71], S[72], S[73], S[74], S[75], S[76], S[77], S[78], S[79], S[80],
  S[81], S[82], S[83], S[84], S[85], S[86], S[87], S[88], S[89], S[90],
  S[91], S[92], S[93], S[94], S[95], S[96], S[97], S[98], S[99], S[100],
  S[101], S[102], S[103], S[104], S[105], S[106], S[107], S[108], S[109],
  S[110], S[111], S[112], S[113], S[114], S[115], S[116], S[117], S[118],
  S[119], S[120], S[121], S[122], S[123], S[124], S[125], S[126], S[127],
  S[128], S[129], S[130], S[131], S[132], S[133], S[134], S[135], S[136],
  S[137], S[138], S[139], S[140], S[141], S[142], S[143], S[144], S[145],
  S[146], S[147], S[148], S[149], S[150], S[151], S[152], S[153], S[154],
  S[155], S[156], S[157], S[158], S[159], S[160], S[161], S[162], S[163],
  S[164], S[165], S[166], S[167], S[168], S[169], S[170], S[171], S[172],
  S[173], S[174], S[175], S[176], S[177], S[178], S[179], S[180], S[181],
  S[182], S[183], S[184], S[185], S[186], S[187], S[188], S[189], S[190],
  S[191], S[192], S[193], S[194], S[195], S[196], S[197], S[198], S[199],
  S[200], S[201], S[202], S[203], S[204], S[205], S[206], S[207], S[208],
  S[209], S[210], S[211], S[212], S[213], S[214], S[215], S[216], S[217],
  S[218], S[219], S[220], S[221], S[222], S[223], S[224], S[225], S[226],
  S[227], S[228], S[229], S[230], S[231], S[232], S[233], S[234], S[235],
  S[236], S[237], S[238], S[239], S[240], S[241], S[242], S[243], S[244],
  S[245], S[246], S[247], S[248], S[249], S[250], S[251], S[252], S[253],
  S[254], S[255] /* = NUL */
};

const __CHAR16_TYPE__ c16_4[] = {
  1, 0x7fff, 0x8000, 0xffff,
  0x10000   /* { dg-warning "\\\[-Woverflow]" } */
};

const char a2_implicit[2] = { };
const char a3_implicit[3] = { };

const char a3_nul[3] = { 0 };
const char a5_nul1[3] = { [1] = 0 };
const char a7_nul2[3] = { [2] = 0 };

const char ax_2_nul[] = { '1', '2', '\0' };
const char ax_3_nul[] = { '1', '2', '3', '\0' };

const char ax_3_des_nul[] = { [3] = 0, [2] = '3', [1] = '2', [0] = '1' };

const char ax_3[] = { '1', '2', '3' };
const char a3_3[3] = { '1', '2', '3' };

const char ax_100_3[] = { '1', '2', '3', [100] = '\0' };

#define CONCAT(x, y) x ## y
#define CAT(x, y) CONCAT (x, y)
#define FAILNAME(name) CAT (call_ ## name ##_on_line_, __LINE__)

#define FAIL(name) do {				\
    extern void FAILNAME (name) (void);		\
    FAILNAME (name)();				\
  } while (0)

/* Macro to emit a call to funcation named
   call_in_true_branch_not_eliminated_on_line_NNN()
   for each call that's expected to be eliminated.  The dg-final
   scan-tree-dump-time directive at the bottom of the test verifies
   that no such call appears in output.  */
#define ELIM(expr)							\
  if (!(expr)) FAIL (in_true_branch_not_eliminated); else (void)0

#define T(s, n) ELIM (strlen (s) == n)

void test_nulstring (void)
{
  T (a2_implicit, 0);
  T (a3_implicit, 0);

  T (a3_nul, 0);
  T (a5_nul1, 0);
  T (a7_nul2, 0);

  T (ax_2_nul, 2);
  T (ax_3_nul, 3);
  T (ax_3_des_nul, 3);

  T (ax_100_3, 3);
  T (ax_100_3 + 4, 0);
  ELIM (101 == sizeof ax_100_3);
  ELIM ('\0' == ax_100_3[100]);

  /* Verify that all three character arrays have the same length
     as the string literal they are initialized with.  */
  T (S, 255);
  T (c256, 255);
  T ((const char*)sc256, 255);
  T ((const char*)uc256, 255);

  /* Verify that all three character arrays have the same contents
     as the string literal they are initialized with.  */
  ELIM (0 == memcmp (c256, S, sizeof c256));
  ELIM (0 == memcmp (c256, (const char*)sc256, sizeof c256));
  ELIM (0 == memcmp (c256, (const char*)uc256, sizeof c256));

  ELIM (0 == strcmp (c256, (const char*)sc256));
  ELIM (0 == strcmp (c256, (const char*)uc256));

  /* Verify that the char16_t array has the expected contents.  */
  ELIM (c16_4[0] == 1 && c16_4[1] == 0x7fff
	&& c16_4[2] == 0x8000 && c16_4[3] == 0xffff
	&& c16_4[4] == 0);
}

/* Verify that excessively large initializers don't run out of
   memory.  Also verify that the they have the expected size and
   contents.  */

#define MAX (__PTRDIFF_MAX__ - 1)

const char large_string[] = { 'a', [1234] = 'b', [MAX] = '\0' };

const void test_large_string_size (void)
{
  ELIM (sizeof large_string == MAX + 1);

  /* The following expressions are not folded without optimization.  */
  ELIM ('a'  == large_string[0]);
  ELIM ('\0' == large_string[1233]);
  ELIM ('b'  == large_string[1234]);
  ELIM ('\0' == large_string[1235]);
  ELIM ('\0' == large_string[MAX - 1]);
}


/* { dg-final { scan-tree-dump-times "strlen1" 0 "gimple" } }
   { dg-final { scan-tree-dump-times "memcmp" 0 "gimple" } }
   { dg-final { scan-tree-dump-times "strcmp" 0 "gimple" } }
   { dg-final { scan-tree-dump-times "call_in_true_branch_not_eliminated" 0 "optimized" } } */