3d5e022272
git-svn-id: http://picoc.googlecode.com/svn/trunk@598 21eae674-98b7-11dd-bd71-f92a316d2d60
541 lines
18 KiB
C
541 lines
18 KiB
C
#include <stdio.h>
|
|
int print_hash_value = 1;
|
|
static void platform_main_begin(void)
|
|
{
|
|
}
|
|
static unsigned crc32_tab[256];
|
|
static unsigned crc32_context = 0xFFFFFFFFUL;
|
|
static void
|
|
crc32_gentab (void)
|
|
{
|
|
unsigned crc;
|
|
unsigned poly = 0xEDB88320UL;
|
|
int i, j;
|
|
for (i = 0; i < 256; i++) {
|
|
crc = i;
|
|
for (j = 8; j > 0; j--) {
|
|
if (crc & 1) {
|
|
crc = (crc >> 1) ^ poly;
|
|
} else {
|
|
crc >>= 1;
|
|
}
|
|
}
|
|
crc32_tab[i] = crc;
|
|
}
|
|
}
|
|
static void
|
|
crc32_byte (unsigned char b) {
|
|
crc32_context =
|
|
((crc32_context >> 8) & 0x00FFFFFF) ^
|
|
crc32_tab[(crc32_context ^ b) & 0xFF];
|
|
}
|
|
extern int strcmp ( char *, char *);
|
|
static void
|
|
crc32_8bytes (unsigned val)
|
|
{
|
|
crc32_byte ((val>>0) & 0xff);
|
|
crc32_byte ((val>>8) & 0xff);
|
|
crc32_byte ((val>>16) & 0xff);
|
|
crc32_byte ((val>>24) & 0xff);
|
|
}
|
|
static void
|
|
transparent_crc (unsigned val, char* vname, int flag)
|
|
{
|
|
crc32_8bytes(val);
|
|
if (flag) {
|
|
printf("...checksum after hashing %s : %X\n", vname, crc32_context ^ 0xFFFFFFFFU);
|
|
}
|
|
}
|
|
static void
|
|
platform_main_end (int x, int flag)
|
|
{
|
|
if (!flag) printf ("checksum = %x\n", x);
|
|
}
|
|
static long __undefined;
|
|
void csmith_compute_hash(void);
|
|
void step_hash(int stmt_id);
|
|
static int g_2 = 0xC03342EBL;
|
|
static int g_77 = (-1L);
|
|
static signed char g_82 = (-1L);
|
|
static int g_84 = 0xA7276463L;
|
|
static int g_103 = 0x168F1D39L;
|
|
static int *g_121 = &g_2;
|
|
static int **g_120 = &g_121;
|
|
static unsigned short g_209 = 0x8AF1L;
|
|
static unsigned char g_225 = 255UL;
|
|
static unsigned g_228 = 0x37CC862BL;
|
|
static int g_255 = 0xE45A5366L;
|
|
static signed char func_1(void);
|
|
static unsigned func_8(int p_9, unsigned p_10);
|
|
static unsigned short func_13(signed char p_14, short p_15, unsigned char p_16, short p_17);
|
|
static unsigned char func_19(int p_20, unsigned p_21);
|
|
static short func_24(unsigned char p_25, short p_26, int p_27, int p_28, unsigned char p_29);
|
|
static unsigned func_48(unsigned p_49, unsigned char p_50, unsigned p_51, int p_52);
|
|
static unsigned func_53(short p_54, unsigned p_55, int p_56);
|
|
static unsigned short func_59(int p_60, signed char p_61, unsigned p_62, int p_63);
|
|
static unsigned func_64(unsigned char p_65);
|
|
static int func_68(unsigned short p_69, int p_70, int p_71, unsigned char p_72);
|
|
static signed char func_1(void)
|
|
{
|
|
unsigned l_18 = 0xBBD0A708L;
|
|
int l_178 = 0x51062BF1L;
|
|
int l_322 = 0x6DBBD370L;
|
|
short l_323 = (-6L);
|
|
step_hash(238);
|
|
for (g_2 = 0; (g_2 <= 10); ++g_2)
|
|
{
|
|
signed char l_5 = (-9L);
|
|
int **l_328 = &g_121;
|
|
int *l_329 = &l_322;
|
|
}
|
|
step_hash(239);
|
|
return l_323;
|
|
}
|
|
static unsigned func_8(int p_9, unsigned p_10)
|
|
{
|
|
int l_316 = 0x993A821AL;
|
|
unsigned short l_317 = 0UL;
|
|
unsigned l_320 = 4294967286UL;
|
|
int *l_321 = &g_255;
|
|
step_hash(215);
|
|
(*g_120) = &p_9;
|
|
step_hash(225);
|
|
for (g_82 = 0; (g_82 != 21); ++g_82)
|
|
{
|
|
step_hash(224);
|
|
for (p_10 = (-14); (p_10 > 3); p_10 += 1)
|
|
{
|
|
step_hash(222);
|
|
(*g_120) = &p_9;
|
|
step_hash(223);
|
|
return g_77;
|
|
}
|
|
}
|
|
step_hash(226);
|
|
(*l_321) = ((p_10 < l_316) ^ (func_13(l_316, g_82, l_317, (((((short)(p_10 ^ g_82) >> (short)5) > l_316) >= (p_9 && l_317)) <= p_10)) == l_320));
|
|
step_hash(227);
|
|
return g_77;
|
|
}
|
|
static unsigned short func_13(signed char p_14, short p_15, unsigned char p_16, short p_17)
|
|
{
|
|
short l_210 = (-5L);
|
|
int *l_211 = (void*)0;
|
|
int *l_212 = &g_77;
|
|
int ***l_309 = &g_120;
|
|
step_hash(118);
|
|
(*l_212) = (l_210 < p_14);
|
|
step_hash(211);
|
|
for (p_16 = 0; (p_16 <= 27); p_16 += 9)
|
|
{
|
|
int l_217 = 0x805B927CL;
|
|
short l_233 = (-8L);
|
|
int l_282 = (-5L);
|
|
step_hash(166);
|
|
if (p_17)
|
|
{
|
|
step_hash(123);
|
|
l_217 &= ((signed char)p_16 * (signed char)g_77);
|
|
step_hash(124);
|
|
(*l_212) = (g_84 != p_14);
|
|
}
|
|
else
|
|
{
|
|
unsigned short l_222 = 0x4FC1L;
|
|
int l_230 = 0L;
|
|
int l_245 = (-1L);
|
|
short l_265 = 0x163CL;
|
|
step_hash(134);
|
|
if (((unsigned char)p_17 % (unsigned char)((g_82 || (~((unsigned)(p_17 || l_222) + (unsigned)((void*)0 != &l_217)))) & func_64(p_14))))
|
|
{
|
|
int l_229 = 0L;
|
|
step_hash(127);
|
|
l_230 ^= (((unsigned short)func_24((g_225 || (0xF7L != ((unsigned char)p_17 + (unsigned char)func_59(g_77, g_228, (&l_217 != (void*)0), (*l_212))))), l_217, l_217, g_77, p_16) - (unsigned short)1L) == l_229);
|
|
step_hash(128);
|
|
(*g_120) = &l_217;
|
|
step_hash(129);
|
|
(*g_120) = l_211;
|
|
step_hash(130);
|
|
l_229 = (((unsigned)p_16 / (unsigned)p_17) >= l_233);
|
|
}
|
|
else
|
|
{
|
|
step_hash(132);
|
|
if (l_217)
|
|
break;
|
|
step_hash(133);
|
|
return p_14;
|
|
}
|
|
step_hash(164);
|
|
for (g_77 = (-23); (g_77 < 22); ++g_77)
|
|
{
|
|
unsigned short l_244 = 0x34F9L;
|
|
int **l_280 = (void*)0;
|
|
step_hash(138);
|
|
l_217 = ((short)(((signed char)((((unsigned)((unsigned char)l_244 / (unsigned char)g_103) + (unsigned)l_245) == (*l_212)) && g_103) << (signed char)p_15) != ((int)((&g_121 == (void*)0) <= ((p_17 ^ 0x35L) >= g_77)) % (int)(-1L))) >> (short)1);
|
|
step_hash(162);
|
|
for (g_228 = 0; (g_228 > 32); g_228 += 7)
|
|
{
|
|
int **l_261 = &l_211;
|
|
short l_262 = 0x2008L;
|
|
unsigned l_263 = 0x41802645L;
|
|
int l_264 = 0x1A2FFDF3L;
|
|
step_hash(146);
|
|
for (p_14 = 0; (p_14 == 20); p_14++)
|
|
{
|
|
step_hash(145);
|
|
(*g_120) = (*g_120);
|
|
}
|
|
step_hash(152);
|
|
for (p_14 = 10; (p_14 < (-28)); p_14--)
|
|
{
|
|
int *l_254 = &g_2;
|
|
int *l_256 = &g_84;
|
|
step_hash(150);
|
|
(*g_120) = l_254;
|
|
step_hash(151);
|
|
(*l_256) = (!(!g_255));
|
|
}
|
|
step_hash(153);
|
|
l_264 = ((func_64((*l_212)) <= g_84) || ((signed char)g_225 << (signed char)func_59((((int)(&l_217 != (void*)0) + (int)(l_261 == &l_212)) == (l_262 > 0xE5L)), g_77, g_82, l_263)));
|
|
step_hash(161);
|
|
if ((l_265 < ((+((((-(unsigned short)((unsigned short)((unsigned)(func_64(g_255) < ((unsigned char)((unsigned)0x1511DFD7L - (unsigned)p_14) << (unsigned char)((short)(g_209 < ((short)l_233 + (short)(&g_121 == &g_121))) << (short)g_2))) / (unsigned)l_217) - (unsigned short)p_14)) == (*l_212)) != 4294967290UL) | (-1L))) > 0x9590L)))
|
|
{
|
|
unsigned l_279 = 0xF72D5D3AL;
|
|
step_hash(155);
|
|
(*g_120) = (*g_120);
|
|
step_hash(156);
|
|
l_279 |= l_245;
|
|
step_hash(157);
|
|
return p_14;
|
|
}
|
|
else
|
|
{
|
|
int ***l_281 = &l_261;
|
|
step_hash(159);
|
|
(*l_281) = l_280;
|
|
step_hash(160);
|
|
return l_233;
|
|
}
|
|
}
|
|
step_hash(163);
|
|
l_230 = l_282;
|
|
}
|
|
step_hash(165);
|
|
return l_245;
|
|
}
|
|
step_hash(210);
|
|
for (l_210 = 0; (l_210 == (-28)); l_210--)
|
|
{
|
|
short l_290 = 9L;
|
|
int l_298 = 0x5D891B15L;
|
|
step_hash(196);
|
|
for (g_228 = 6; (g_228 > 14); g_228 += 7)
|
|
{
|
|
int *l_289 = &g_2;
|
|
step_hash(173);
|
|
(*g_120) = &l_217;
|
|
step_hash(174);
|
|
(*g_120) = (*g_120);
|
|
step_hash(194);
|
|
for (g_82 = 0; (g_82 < (-15)); g_82 -= 1)
|
|
{
|
|
unsigned l_293 = 0x0E9AD63DL;
|
|
int *l_301 = &l_217;
|
|
}
|
|
step_hash(195);
|
|
(**l_309) = (*g_120);
|
|
}
|
|
step_hash(202);
|
|
for (g_84 = 0; (g_84 <= (-14)); g_84 -= 1)
|
|
{
|
|
step_hash(200);
|
|
(*g_120) = &l_298;
|
|
step_hash(201);
|
|
if (p_14)
|
|
break;
|
|
}
|
|
step_hash(209);
|
|
if (l_217)
|
|
{
|
|
step_hash(204);
|
|
(*l_212) &= 0x74C5E4DCL;
|
|
step_hash(205);
|
|
return g_225;
|
|
}
|
|
else
|
|
{
|
|
step_hash(207);
|
|
(**l_309) = &l_282;
|
|
step_hash(208);
|
|
(**l_309) = (**l_309);
|
|
}
|
|
}
|
|
}
|
|
step_hash(212);
|
|
(*g_120) = l_212;
|
|
step_hash(213);
|
|
return g_2;
|
|
}
|
|
static unsigned char func_19(int p_20, unsigned p_21)
|
|
{
|
|
int *l_208 = &g_84;
|
|
step_hash(115);
|
|
for (g_103 = 19; (g_103 <= 10); g_103 -= 7)
|
|
{
|
|
int *l_207 = &g_84;
|
|
step_hash(113);
|
|
l_208 = l_207;
|
|
step_hash(114);
|
|
(*g_120) = l_207;
|
|
}
|
|
step_hash(116);
|
|
return g_209;
|
|
}
|
|
static short func_24(unsigned char p_25, short p_26, int p_27, int p_28, unsigned char p_29)
|
|
{
|
|
unsigned l_193 = 0xF16E3D7EL;
|
|
unsigned l_202 = 0x66428892L;
|
|
int *l_203 = (void*)0;
|
|
int *l_204 = &g_103;
|
|
step_hash(106);
|
|
(*l_204) &= (g_84 & ((unsigned short)((signed char)((unsigned char)g_77 + (unsigned char)g_2) + (signed char)(((((unsigned short)(((l_193 & ((g_82 <= p_25) >= p_27)) ^ p_28) != g_2) << (unsigned short)l_193) > g_2) == l_202) & 2UL)) << (unsigned short)l_193));
|
|
step_hash(107);
|
|
(*l_204) &= p_27;
|
|
step_hash(108);
|
|
return g_103;
|
|
}
|
|
static unsigned func_48(unsigned p_49, unsigned char p_50, unsigned p_51, int p_52)
|
|
{
|
|
unsigned l_183 = 4294967291UL;
|
|
unsigned short l_186 = 0xFCA4L;
|
|
int *l_187 = &g_77;
|
|
step_hash(102);
|
|
if ((((unsigned short)((short)0xAC06L >> (short)3) / (unsigned short)(l_183 ^ p_49)) >= ((unsigned short)func_59(p_49, l_186, p_50, (p_50 <= ((func_68(l_186, g_103, l_183, l_186) | 0x0038BE24L) || p_52))) >> (unsigned short)p_50)))
|
|
{
|
|
step_hash(92);
|
|
(*g_120) = l_187;
|
|
}
|
|
else
|
|
{
|
|
step_hash(98);
|
|
for (p_51 = 0; (p_51 > 42); p_51++)
|
|
{
|
|
step_hash(97);
|
|
return g_2;
|
|
}
|
|
step_hash(99);
|
|
(*l_187) = p_52;
|
|
step_hash(100);
|
|
(*g_120) = &g_77;
|
|
step_hash(101);
|
|
(*g_121) = (*g_121);
|
|
}
|
|
step_hash(103);
|
|
(*g_120) = (void*)0;
|
|
step_hash(104);
|
|
return g_2;
|
|
}
|
|
static unsigned func_53(short p_54, unsigned p_55, int p_56)
|
|
{
|
|
int *l_119 = &g_77;
|
|
int **l_118 = &l_119;
|
|
signed char l_171 = (-7L);
|
|
step_hash(37);
|
|
(*l_118) = &g_84;
|
|
step_hash(88);
|
|
if (((0xE0L > p_55) && (func_68((g_120 != &l_119), func_68(((void*)0 == (*g_120)), p_54, (((unsigned short)((unsigned short)(((*l_119) < g_84) || g_82) * (unsigned short)g_2) << (unsigned short)g_77) != p_56), p_55), g_103, p_55) >= 0x94L)))
|
|
{
|
|
signed char l_147 = 0x73L;
|
|
int *l_170 = (void*)0;
|
|
step_hash(52);
|
|
for (g_82 = 0; (g_82 < 7); g_82 += 6)
|
|
{
|
|
unsigned char l_128 = 6UL;
|
|
step_hash(42);
|
|
if (l_128)
|
|
break;
|
|
step_hash(51);
|
|
for (p_55 = (-19); (p_55 <= 56); p_55 += 6)
|
|
{
|
|
step_hash(50);
|
|
for (l_128 = 0; (l_128 >= 30); l_128 += 1)
|
|
{
|
|
step_hash(49);
|
|
return g_103;
|
|
}
|
|
}
|
|
}
|
|
step_hash(77);
|
|
for (g_103 = 9; (g_103 == 21); g_103 += 7)
|
|
{
|
|
short l_141 = (-1L);
|
|
int l_142 = (-8L);
|
|
step_hash(56);
|
|
l_142 ^= ((((short)((short)((unsigned short)l_141 * (unsigned short)(((&l_119 != &l_119) && 2L) <= func_68((g_103 != 0xA75CL), p_54, p_54, p_56))) >> (short)p_56) << (short)15) >= 0x7660C929L) || p_54);
|
|
step_hash(57);
|
|
(*l_119) = p_56;
|
|
step_hash(76);
|
|
if (p_55)
|
|
{
|
|
int l_151 = 1L;
|
|
unsigned short l_163 = 65535UL;
|
|
int *l_164 = (void*)0;
|
|
int *l_165 = &l_142;
|
|
step_hash(71);
|
|
for (p_54 = 19; (p_54 < 14); p_54--)
|
|
{
|
|
unsigned l_154 = 0x171667F3L;
|
|
int *l_155 = &g_77;
|
|
int *l_156 = &l_142;
|
|
step_hash(67);
|
|
for (p_55 = (-3); (p_55 != 45); p_55 += 5)
|
|
{
|
|
int l_148 = 0x09E68FEEL;
|
|
step_hash(65);
|
|
p_56 ^= l_147;
|
|
step_hash(66);
|
|
return l_148;
|
|
}
|
|
step_hash(68);
|
|
p_56 = (((p_55 >= ((((g_82 && g_77) > g_84) || 0xCEF6A3D7L) && ((unsigned char)func_68(l_151, p_56, p_54, (0x52BCL < 0x8EE5L)) * (unsigned char)0x2AL))) <= (*g_121)) ^ g_2);
|
|
step_hash(69);
|
|
(*l_155) ^= ((unsigned short)(**l_118) << (unsigned short)(l_154 == g_2));
|
|
step_hash(70);
|
|
(*l_156) ^= (p_56 >= func_68(l_141, (p_55 | g_82), l_147, l_151));
|
|
}
|
|
step_hash(72);
|
|
(*g_120) = &p_56;
|
|
step_hash(73);
|
|
(*l_165) &= ((short)func_68(((short)1L * (short)((short)(~g_2) * (short)p_54)), l_163, ((((l_147 <= (p_56 && func_68(p_54, p_55, p_54, g_2))) && 1L) & p_54) > 1UL), p_55) << (short)p_54);
|
|
}
|
|
else
|
|
{
|
|
step_hash(75);
|
|
if (p_56)
|
|
break;
|
|
}
|
|
}
|
|
step_hash(83);
|
|
for (p_54 = 0; (p_54 != (-1)); p_54 -= 8)
|
|
{
|
|
}
|
|
step_hash(84);
|
|
(*g_120) = l_170;
|
|
}
|
|
else
|
|
{
|
|
short l_176 = (-9L);
|
|
int l_177 = 0xDADA64CFL;
|
|
step_hash(86);
|
|
(*l_118) = (void*)0;
|
|
step_hash(87);
|
|
l_177 = (l_171 > ((g_84 | ((~p_56) < p_54)) < ((unsigned char)g_77 / (unsigned char)(func_64((+((((**g_120) <= ((unsigned char)g_77 % (unsigned char)func_64(l_176))) < p_55) != l_176))) && 0xA06A2A82L))));
|
|
}
|
|
step_hash(89);
|
|
return p_55;
|
|
}
|
|
static unsigned short func_59(int p_60, signed char p_61, unsigned p_62, int p_63)
|
|
{
|
|
unsigned short l_109 = 9UL;
|
|
int *l_110 = &g_84;
|
|
unsigned l_115 = 4294967295UL;
|
|
int **l_117 = &l_110;
|
|
step_hash(25);
|
|
(*l_110) = (((signed char)0x68L * (signed char)p_61) & ((unsigned short)(p_62 && (l_109 != 255UL)) * (unsigned short)(((p_62 ^ func_64(g_103)) & 0xD3C1L) < l_109)));
|
|
step_hash(33);
|
|
for (g_84 = 27; (g_84 <= (-27)); g_84--)
|
|
{
|
|
unsigned l_113 = 4294967295UL;
|
|
int *l_114 = &g_103;
|
|
int **l_116 = &l_110;
|
|
step_hash(29);
|
|
(*l_114) = (~l_113);
|
|
step_hash(30);
|
|
if (p_62)
|
|
continue;
|
|
step_hash(31);
|
|
if (l_115)
|
|
break;
|
|
step_hash(32);
|
|
(*l_116) = &g_77;
|
|
}
|
|
step_hash(34);
|
|
(*l_117) = &g_84;
|
|
step_hash(35);
|
|
return g_77;
|
|
}
|
|
static unsigned func_64(unsigned char p_65)
|
|
{
|
|
signed char l_87 = 0x6FL;
|
|
signed char l_90 = 0L;
|
|
int l_91 = (-1L);
|
|
int *l_102 = &g_103;
|
|
step_hash(21);
|
|
l_91 &= (((l_87 > p_65) < ((unsigned char)(+g_84) >> (unsigned char)4)) < (g_2 && (l_90 && 0UL)));
|
|
step_hash(22);
|
|
(*l_102) &= ((((&l_91 == (void*)0) <= l_87) & (((((unsigned)g_84 % (unsigned)((unsigned)0x57DCCC76L / (unsigned)((short)((signed char)(l_91 & (g_77 || l_91)) - (signed char)0xA1L) >> (short)5))) != 0UL) || p_65) ^ 0x5FL)) || l_90);
|
|
step_hash(23);
|
|
return p_65;
|
|
}
|
|
static int func_68(unsigned short p_69, int p_70, int p_71, unsigned char p_72)
|
|
{
|
|
int *l_76 = &g_77;
|
|
int l_86 = 1L;
|
|
step_hash(17);
|
|
for (p_69 = 0; (p_69 == 44); p_69 += 8)
|
|
{
|
|
unsigned short l_85 = 7UL;
|
|
step_hash(9);
|
|
l_76 = (void*)0;
|
|
step_hash(15);
|
|
for (g_77 = 0; (g_77 == (-3)); g_77--)
|
|
{
|
|
int *l_83 = &g_84;
|
|
step_hash(13);
|
|
g_82 |= ((int)p_69 - (int)g_77);
|
|
step_hash(14);
|
|
(*l_83) = g_2;
|
|
}
|
|
step_hash(16);
|
|
if (l_85)
|
|
continue;
|
|
}
|
|
step_hash(18);
|
|
l_86 = l_86;
|
|
step_hash(19);
|
|
return g_82;
|
|
}
|
|
void csmith_compute_hash(void)
|
|
{
|
|
transparent_crc(g_2, "g_2", print_hash_value);
|
|
transparent_crc(g_77, "g_77", print_hash_value);
|
|
transparent_crc(g_82, "g_82", print_hash_value);
|
|
transparent_crc(g_84, "g_84", print_hash_value);
|
|
transparent_crc(g_103, "g_103", print_hash_value);
|
|
transparent_crc(g_209, "g_209", print_hash_value);
|
|
transparent_crc(g_225, "g_225", print_hash_value);
|
|
transparent_crc(g_228, "g_228", print_hash_value);
|
|
transparent_crc(g_255, "g_255", print_hash_value);
|
|
}
|
|
void step_hash(int stmt_id)
|
|
{
|
|
int i = 0;
|
|
csmith_compute_hash();
|
|
printf("before stmt(%d): checksum = %X\n", stmt_id, crc32_context ^ 0xFFFFFFFFUL);
|
|
crc32_context = 0xFFFFFFFFUL;
|
|
for (i = 0; i < 256; i++) {
|
|
crc32_tab[i] = 0;
|
|
}
|
|
crc32_gentab();
|
|
}
|
|
int main (void)
|
|
{
|
|
int print_hash_value = 0;
|
|
platform_main_begin();
|
|
crc32_gentab();
|
|
func_1();
|
|
csmith_compute_hash();
|
|
platform_main_end(crc32_context ^ 0xFFFFFFFFUL, print_hash_value);
|
|
return 0;
|
|
}
|