Attachment 128236 Details for Bug 98886 – The offending kernel

The offending kernel

crash.cl (text/plain), 104.41 KB, created by Troels Henriksen on 2016-11-28 13:06:36 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Troels Henriksen

Created: 2016-11-28 13:06:36 UTC

Size: 104.41 KB

patch

obsolete

>typedef char int8_t;
>typedef short int16_t;
>typedef int int32_t;
>typedef long int64_t;
>typedef uchar uint8_t;
>typedef ushort uint16_t;
>typedef uint uint32_t;
>typedef ulong uint64_t;
>static inline int8_t add8(int8_t x, int8_t y)
>{
>    return x + y;
>}
>static inline int16_t add16(int16_t x, int16_t y)
>{
>    return x + y;
>}
>static inline int32_t add32(int32_t x, int32_t y)
>{
>    return x + y;
>}
>static inline int64_t add64(int64_t x, int64_t y)
>{
>    return x + y;
>}
>static inline int8_t sub8(int8_t x, int8_t y)
>{
>    return x - y;
>}
>static inline int16_t sub16(int16_t x, int16_t y)
>{
>    return x - y;
>}
>static inline int32_t sub32(int32_t x, int32_t y)
>{
>    return x - y;
>}
>static inline int64_t sub64(int64_t x, int64_t y)
>{
>    return x - y;
>}
>static inline int8_t mul8(int8_t x, int8_t y)
>{
>    return x * y;
>}
>static inline int16_t mul16(int16_t x, int16_t y)
>{
>    return x * y;
>}
>static inline int32_t mul32(int32_t x, int32_t y)
>{
>    return x * y;
>}
>static inline int64_t mul64(int64_t x, int64_t y)
>{
>    return x * y;
>}
>static inline uint8_t udiv8(uint8_t x, uint8_t y)
>{
>    return x / y;
>}
>static inline uint16_t udiv16(uint16_t x, uint16_t y)
>{
>    return x / y;
>}
>static inline uint32_t udiv32(uint32_t x, uint32_t y)
>{
>    return x / y;
>}
>static inline uint64_t udiv64(uint64_t x, uint64_t y)
>{
>    return x / y;
>}
>static inline uint8_t umod8(uint8_t x, uint8_t y)
>{
>    return x % y;
>}
>static inline uint16_t umod16(uint16_t x, uint16_t y)
>{
>    return x % y;
>}
>static inline uint32_t umod32(uint32_t x, uint32_t y)
>{
>    return x % y;
>}
>static inline uint64_t umod64(uint64_t x, uint64_t y)
>{
>    return x % y;
>}
>static inline int8_t sdiv8(int8_t x, int8_t y)
>{
>    int8_t q = x / y;
>    int8_t r = x % y;
>    
>    return q - ((r != 0 && r < 0 != y < 0) ? 1 : 0);
>}
>static inline int16_t sdiv16(int16_t x, int16_t y)
>{
>    int16_t q = x / y;
>    int16_t r = x % y;
>    
>    return q - ((r != 0 && r < 0 != y < 0) ? 1 : 0);
>}
>static inline int32_t sdiv32(int32_t x, int32_t y)
>{
>    int32_t q = x / y;
>    int32_t r = x % y;
>    
>    return q - ((r != 0 && r < 0 != y < 0) ? 1 : 0);
>}
>static inline int64_t sdiv64(int64_t x, int64_t y)
>{
>    int64_t q = x / y;
>    int64_t r = x % y;
>    
>    return q - ((r != 0 && r < 0 != y < 0) ? 1 : 0);
>}
>static inline int8_t smod8(int8_t x, int8_t y)
>{
>    int8_t r = x % y;
>    
>    return r + (r == 0 || (x > 0 && y > 0) || (x < 0 && y < 0) ? 0 : y);
>}
>static inline int16_t smod16(int16_t x, int16_t y)
>{
>    int16_t r = x % y;
>    
>    return r + (r == 0 || (x > 0 && y > 0) || (x < 0 && y < 0) ? 0 : y);
>}
>static inline int32_t smod32(int32_t x, int32_t y)
>{
>    int32_t r = x % y;
>    
>    return r + (r == 0 || (x > 0 && y > 0) || (x < 0 && y < 0) ? 0 : y);
>}
>static inline int64_t smod64(int64_t x, int64_t y)
>{
>    int64_t r = x % y;
>    
>    return r + (r == 0 || (x > 0 && y > 0) || (x < 0 && y < 0) ? 0 : y);
>}
>static inline int8_t squot8(int8_t x, int8_t y)
>{
>    return x / y;
>}
>static inline int16_t squot16(int16_t x, int16_t y)
>{
>    return x / y;
>}
>static inline int32_t squot32(int32_t x, int32_t y)
>{
>    return x / y;
>}
>static inline int64_t squot64(int64_t x, int64_t y)
>{
>    return x / y;
>}
>static inline int8_t srem8(int8_t x, int8_t y)
>{
>    return x % y;
>}
>static inline int16_t srem16(int16_t x, int16_t y)
>{
>    return x % y;
>}
>static inline int32_t srem32(int32_t x, int32_t y)
>{
>    return x % y;
>}
>static inline int64_t srem64(int64_t x, int64_t y)
>{
>    return x % y;
>}
>static inline uint8_t shl8(uint8_t x, uint8_t y)
>{
>    return x << y;
>}
>static inline uint16_t shl16(uint16_t x, uint16_t y)
>{
>    return x << y;
>}
>static inline uint32_t shl32(uint32_t x, uint32_t y)
>{
>    return x << y;
>}
>static inline uint64_t shl64(uint64_t x, uint64_t y)
>{
>    return x << y;
>}
>static inline uint8_t lshr8(uint8_t x, uint8_t y)
>{
>    return x >> y;
>}
>static inline uint16_t lshr16(uint16_t x, uint16_t y)
>{
>    return x >> y;
>}
>static inline uint32_t lshr32(uint32_t x, uint32_t y)
>{
>    return x >> y;
>}
>static inline uint64_t lshr64(uint64_t x, uint64_t y)
>{
>    return x >> y;
>}
>static inline int8_t ashr8(int8_t x, int8_t y)
>{
>    return x >> y;
>}
>static inline int16_t ashr16(int16_t x, int16_t y)
>{
>    return x >> y;
>}
>static inline int32_t ashr32(int32_t x, int32_t y)
>{
>    return x >> y;
>}
>static inline int64_t ashr64(int64_t x, int64_t y)
>{
>    return x >> y;
>}
>static inline uint8_t and8(uint8_t x, uint8_t y)
>{
>    return x & y;
>}
>static inline uint16_t and16(uint16_t x, uint16_t y)
>{
>    return x & y;
>}
>static inline uint32_t and32(uint32_t x, uint32_t y)
>{
>    return x & y;
>}
>static inline uint64_t and64(uint64_t x, uint64_t y)
>{
>    return x & y;
>}
>static inline uint8_t or8(uint8_t x, uint8_t y)
>{
>    return x | y;
>}
>static inline uint16_t or16(uint16_t x, uint16_t y)
>{
>    return x | y;
>}
>static inline uint32_t or32(uint32_t x, uint32_t y)
>{
>    return x | y;
>}
>static inline uint64_t or64(uint64_t x, uint64_t y)
>{
>    return x | y;
>}
>static inline uint8_t xor8(uint8_t x, uint8_t y)
>{
>    return x ^ y;
>}
>static inline uint16_t xor16(uint16_t x, uint16_t y)
>{
>    return x ^ y;
>}
>static inline uint32_t xor32(uint32_t x, uint32_t y)
>{
>    return x ^ y;
>}
>static inline uint64_t xor64(uint64_t x, uint64_t y)
>{
>    return x ^ y;
>}
>static inline char ult8(uint8_t x, uint8_t y)
>{
>    return x < y;
>}
>static inline char ult16(uint16_t x, uint16_t y)
>{
>    return x < y;
>}
>static inline char ult32(uint32_t x, uint32_t y)
>{
>    return x < y;
>}
>static inline char ult64(uint64_t x, uint64_t y)
>{
>    return x < y;
>}
>static inline char ule8(uint8_t x, uint8_t y)
>{
>    return x <= y;
>}
>static inline char ule16(uint16_t x, uint16_t y)
>{
>    return x <= y;
>}
>static inline char ule32(uint32_t x, uint32_t y)
>{
>    return x <= y;
>}
>static inline char ule64(uint64_t x, uint64_t y)
>{
>    return x <= y;
>}
>static inline char slt8(int8_t x, int8_t y)
>{
>    return x < y;
>}
>static inline char slt16(int16_t x, int16_t y)
>{
>    return x < y;
>}
>static inline char slt32(int32_t x, int32_t y)
>{
>    return x < y;
>}
>static inline char slt64(int64_t x, int64_t y)
>{
>    return x < y;
>}
>static inline char sle8(int8_t x, int8_t y)
>{
>    return x <= y;
>}
>static inline char sle16(int16_t x, int16_t y)
>{
>    return x <= y;
>}
>static inline char sle32(int32_t x, int32_t y)
>{
>    return x <= y;
>}
>static inline char sle64(int64_t x, int64_t y)
>{
>    return x <= y;
>}
>static inline int8_t pow8(int8_t x, int8_t y)
>{
>    int8_t res = 1, rem = y;
>    
>    while (rem != 0) {
>        if (rem & 1)
>            res *= x;
>        rem >>= 1;
>        x *= x;
>    }
>    return res;
>}
>static inline int16_t pow16(int16_t x, int16_t y)
>{
>    int16_t res = 1, rem = y;
>    
>    while (rem != 0) {
>        if (rem & 1)
>            res *= x;
>        rem >>= 1;
>        x *= x;
>    }
>    return res;
>}
>static inline int32_t pow32(int32_t x, int32_t y)
>{
>    int32_t res = 1, rem = y;
>    
>    while (rem != 0) {
>        if (rem & 1)
>            res *= x;
>        rem >>= 1;
>        x *= x;
>    }
>    return res;
>}
>static inline int64_t pow64(int64_t x, int64_t y)
>{
>    int64_t res = 1, rem = y;
>    
>    while (rem != 0) {
>        if (rem & 1)
>            res *= x;
>        rem >>= 1;
>        x *= x;
>    }
>    return res;
>}
>static inline int8_t sext_i8_i8(int8_t x)
>{
>    return x;
>}
>static inline int16_t sext_i8_i16(int8_t x)
>{
>    return x;
>}
>static inline int32_t sext_i8_i32(int8_t x)
>{
>    return x;
>}
>static inline int64_t sext_i8_i64(int8_t x)
>{
>    return x;
>}
>static inline int8_t sext_i16_i8(int16_t x)
>{
>    return x;
>}
>static inline int16_t sext_i16_i16(int16_t x)
>{
>    return x;
>}
>static inline int32_t sext_i16_i32(int16_t x)
>{
>    return x;
>}
>static inline int64_t sext_i16_i64(int16_t x)
>{
>    return x;
>}
>static inline int8_t sext_i32_i8(int32_t x)
>{
>    return x;
>}
>static inline int16_t sext_i32_i16(int32_t x)
>{
>    return x;
>}
>static inline int32_t sext_i32_i32(int32_t x)
>{
>    return x;
>}
>static inline int64_t sext_i32_i64(int32_t x)
>{
>    return x;
>}
>static inline int8_t sext_i64_i8(int64_t x)
>{
>    return x;
>}
>static inline int16_t sext_i64_i16(int64_t x)
>{
>    return x;
>}
>static inline int32_t sext_i64_i32(int64_t x)
>{
>    return x;
>}
>static inline int64_t sext_i64_i64(int64_t x)
>{
>    return x;
>}
>static inline uint8_t zext_i8_i8(uint8_t x)
>{
>    return x;
>}
>static inline uint16_t zext_i8_i16(uint8_t x)
>{
>    return x;
>}
>static inline uint32_t zext_i8_i32(uint8_t x)
>{
>    return x;
>}
>static inline uint64_t zext_i8_i64(uint8_t x)
>{
>    return x;
>}
>static inline uint8_t zext_i16_i8(uint16_t x)
>{
>    return x;
>}
>static inline uint16_t zext_i16_i16(uint16_t x)
>{
>    return x;
>}
>static inline uint32_t zext_i16_i32(uint16_t x)
>{
>    return x;
>}
>static inline uint64_t zext_i16_i64(uint16_t x)
>{
>    return x;
>}
>static inline uint8_t zext_i32_i8(uint32_t x)
>{
>    return x;
>}
>static inline uint16_t zext_i32_i16(uint32_t x)
>{
>    return x;
>}
>static inline uint32_t zext_i32_i32(uint32_t x)
>{
>    return x;
>}
>static inline uint64_t zext_i32_i64(uint32_t x)
>{
>    return x;
>}
>static inline uint8_t zext_i64_i8(uint64_t x)
>{
>    return x;
>}
>static inline uint16_t zext_i64_i16(uint64_t x)
>{
>    return x;
>}
>static inline uint32_t zext_i64_i32(uint64_t x)
>{
>    return x;
>}
>static inline uint64_t zext_i64_i64(uint64_t x)
>{
>    return x;
>}
>static inline float fdiv32(float x, float y)
>{
>    return x / y;
>}
>static inline float fadd32(float x, float y)
>{
>    return x + y;
>}
>static inline float fsub32(float x, float y)
>{
>    return x - y;
>}
>static inline float fmul32(float x, float y)
>{
>    return x * y;
>}
>static inline float fpow32(float x, float y)
>{
>    return pow(x, y);
>}
>static inline char cmplt32(float x, float y)
>{
>    return x < y;
>}
>static inline char cmple32(float x, float y)
>{
>    return x <= y;
>}
>static inline float sitofp_i8_f32(int8_t x)
>{
>    return x;
>}
>static inline float sitofp_i16_f32(int16_t x)
>{
>    return x;
>}
>static inline float sitofp_i32_f32(int32_t x)
>{
>    return x;
>}
>static inline float sitofp_i64_f32(int64_t x)
>{
>    return x;
>}
>static inline float uitofp_i8_f32(uint8_t x)
>{
>    return x;
>}
>static inline float uitofp_i16_f32(uint16_t x)
>{
>    return x;
>}
>static inline float uitofp_i32_f32(uint32_t x)
>{
>    return x;
>}
>static inline float uitofp_i64_f32(uint64_t x)
>{
>    return x;
>}
>static inline int8_t fptosi_f32_i8(float x)
>{
>    return x;
>}
>static inline int16_t fptosi_f32_i16(float x)
>{
>    return x;
>}
>static inline int32_t fptosi_f32_i32(float x)
>{
>    return x;
>}
>static inline int64_t fptosi_f32_i64(float x)
>{
>    return x;
>}
>static inline uint8_t fptoui_f32_i8(float x)
>{
>    return x;
>}
>static inline uint16_t fptoui_f32_i16(float x)
>{
>    return x;
>}
>static inline uint32_t fptoui_f32_i32(float x)
>{
>    return x;
>}
>static inline uint64_t fptoui_f32_i64(float x)
>{
>    return x;
>}
>
>__kernel void map_kernel_42294(__global unsigned char *state_mem_44224, __global
>                               unsigned char *state_mem_44228, int32_t h_36409,
>                               __global unsigned char *mem_44233,
>                               int32_t w_36410, int32_t arg_36462,
>                               int32_t num_threads_42258, int32_t state_36470,
>                               __global unsigned char *mem_44230)
>{
>    int32_t group_sizze_44269;
>    char thread_active_44270;
>    int32_t group_id_42296;
>    int32_t gtid_42286;
>    int32_t global_tid_42294;
>    int32_t gtid_42287;
>    int32_t local_tid_42295;
>    
>    global_tid_42294 = get_global_id(0);
>    local_tid_42295 = get_local_id(0);
>    group_sizze_44269 = get_local_size(0);
>    group_id_42296 = get_group_id(0);
>    gtid_42286 = squot32(global_tid_42294, w_36410);
>    gtid_42287 = global_tid_42294 - squot32(global_tid_42294, w_36410) *
>        w_36410;
>    thread_active_44270 = slt32(gtid_42286, h_36409) && slt32(gtid_42287,
>                                                              w_36410);
>    
>    int32_t binop_x_44199;
>    int32_t new_index_44200;
>    int32_t y_42300;
>    int32_t arg_42301;
>    int32_t x_42302;
>    int32_t x_42303;
>    int32_t res_42304;
>    int32_t x_42305;
>    int32_t x_42306;
>    int32_t res_42307;
>    int32_t x_42308;
>    int32_t res_42309;
>    int32_t x_42310;
>    int32_t res_42311;
>    int32_t res_42312;
>    char cond_42313;
>    int32_t arg_42316;
>    int32_t arg_42317;
>    int32_t arg_42314;
>    int32_t arg_42315;
>    int32_t y_42376;
>    int32_t x_42377;
>    int32_t y_42378;
>    int32_t x_42379;
>    int32_t y_42380;
>    int32_t res_42381;
>    int32_t x_42382;
>    int32_t res_42383;
>    int32_t x_42384;
>    int32_t res_42385;
>    int32_t x_42386;
>    int32_t res_42387;
>    int32_t x_42388;
>    int32_t res_42389;
>    char cond_42390;
>    char cond_42391;
>    char cond_42393;
>    int32_t res_42395;
>    int32_t trunc_arg_43354;
>    int32_t y_43355;
>    int32_t x_43356;
>    int32_t res_43357;
>    int32_t x_43358;
>    int32_t res_43359;
>    int32_t x_43360;
>    int32_t res_43361;
>    int32_t x_43362;
>    int32_t res_43363;
>    int32_t x_43364;
>    int32_t res_43365;
>    char cond_43366;
>    int8_t res_43367;
>    char cond_43381;
>    int8_t res_43382;
>    char cond_43396;
>    int8_t res_43397;
>    char cond_43398;
>    int8_t res_43399;
>    char cond_43413;
>    int8_t res_43414;
>    char cond_43428;
>    int8_t res_43429;
>    char cond_43430;
>    int8_t res_43431;
>    int8_t res_43432;
>    char trunc_arg_43446;
>    int8_t x_43447;
>    char cond_43448;
>    char cond_43449;
>    char cond_43451;
>    char cond_43453;
>    char cond_43455;
>    char cond_43457;
>    int8_t res_43459;
>    int8_t res_43460;
>    int8_t res_43461;
>    char trunc_arg_43475;
>    int8_t x_43476;
>    char cond_43477;
>    char cond_43478;
>    char cond_43480;
>    char cond_43482;
>    char cond_43484;
>    char cond_43486;
>    int8_t res_43488;
>    int8_t res_43489;
>    int8_t res_43490;
>    char trunc_arg_43504;
>    int8_t x_43505;
>    char cond_43506;
>    char cond_43507;
>    char cond_43509;
>    char cond_43511;
>    char cond_43513;
>    char cond_43515;
>    int8_t res_43517;
>    int8_t res_43518;
>    int8_t res_43519;
>    char trunc_arg_43533;
>    int8_t x_43534;
>    char cond_43535;
>    char cond_43536;
>    char cond_43538;
>    char cond_43540;
>    char cond_43542;
>    char cond_43544;
>    int8_t res_43546;
>    int8_t res_43547;
>    int8_t y_43548;
>    int8_t x_43549;
>    int8_t y_43550;
>    int8_t x_43551;
>    int8_t y_43552;
>    int8_t res_43553;
>    int8_t res_43554;
>    int8_t res_43555;
>    char cond_43556;
>    int32_t res_43560;
>    int32_t res_43557;
>    int32_t res_43558;
>    int32_t res_43559;
>    int32_t res_43639;
>    int32_t trunc_arg_43644;
>    int32_t y_43645;
>    int32_t x_43646;
>    int32_t res_43647;
>    char cond_43648;
>    char cond_43649;
>    char cond_43651;
>    char cond_43653;
>    char res_43655;
>    int32_t res_43657;
>    int8_t res_43658;
>    int8_t res_43671;
>    int8_t res_43684;
>    int8_t res_43697;
>    char cond_43710;
>    int8_t res_43712;
>    int8_t res_43711;
>    char cond_43713;
>    int8_t res_43714;
>    int8_t res_43715;
>    char cond_43716;
>    int8_t res_43717;
>    int8_t res_43718;
>    char cond_43719;
>    int8_t res_43720;
>    int8_t res_43721;
>    int8_t res_43734;
>    char cond_43747;
>    char cond_43748;
>    char res_43776;
>    int8_t res_43804;
>    char trunc_arg_43817;
>    int8_t x_43818;
>    char cond_43819;
>    char cond_43821;
>    char cond_43823;
>    char cond_43825;
>    char cond_43827;
>    int8_t res_43829;
>    int8_t res_43830;
>    int8_t res_43831;
>    char trunc_arg_43844;
>    int8_t x_43845;
>    char cond_43846;
>    char cond_43848;
>    char cond_43850;
>    char cond_43852;
>    char cond_43854;
>    int8_t res_43856;
>    int8_t res_43857;
>    int8_t res_43858;
>    char trunc_arg_43871;
>    int8_t x_43872;
>    char cond_43873;
>    char cond_43875;
>    char cond_43877;
>    char cond_43879;
>    char cond_43881;
>    int8_t res_43883;
>    int8_t res_43884;
>    int8_t res_43885;
>    char trunc_arg_43898;
>    int8_t x_43899;
>    char cond_43900;
>    char cond_43902;
>    char cond_43904;
>    char cond_43906;
>    char cond_43908;
>    int8_t res_43910;
>    int8_t res_43911;
>    int8_t y_43912;
>    int8_t x_43913;
>    int8_t y_43914;
>    int8_t x_43915;
>    int8_t y_43916;
>    int8_t res_43917;
>    int8_t res_43918;
>    int8_t res_43919;
>    char cond_43920;
>    int32_t res_43924;
>    int32_t res_43921;
>    int32_t res_43922;
>    int32_t res_43923;
>    int32_t res_44003;
>    int32_t trunc_arg_44008;
>    int32_t y_44009;
>    int32_t x_44010;
>    int32_t res_44011;
>    char cond_44012;
>    char cond_44013;
>    char cond_44015;
>    char cond_44017;
>    char res_44019;
>    int32_t res_44021;
>    int32_t res_44024;
>    int32_t res_44025;
>    int32_t res_44022;
>    int32_t res_44023;
>    char eq_x_y_44104;
>    char eq_x_zz_44105;
>    char p_and_eq_x_y_44106;
>    char not_p_44107;
>    char p_and_eq_x_y_44108;
>    char cond_44109;
>    int32_t res_44110;
>    int32_t trunc_arg_44123;
>    int32_t y_44124;
>    int32_t x_44125;
>    int32_t res_44126;
>    char cond_44127;
>    char cond_44128;
>    char cond_44130;
>    char cond_44132;
>    char res_44134;
>    char cond_44136;
>    char cond_44137;
>    char cond_44139;
>    int32_t res_44141;
>    int32_t trunc_arg_44168;
>    int32_t y_44169;
>    int32_t x_44170;
>    int32_t res_44171;
>    char cond_44172;
>    int32_t res_44173;
>    
>    if (thread_active_44270) {
>        binop_x_44199 = gtid_42286 * w_36410;
>        new_index_44200 = binop_x_44199 + gtid_42287;
>        y_42300 = new_index_44200 + arg_36462;
>        arg_42301 = state_36470 ^ y_42300;
>        x_42302 = ashr32(arg_42301, 16);
>        x_42303 = x_42302 ^ arg_42301;
>        res_42304 = x_42303 * 73244475;
>        x_42305 = ashr32(res_42304, 16);
>        x_42306 = x_42305 ^ res_42304;
>        res_42307 = x_42306 * 73244475;
>        x_42308 = ashr32(res_42307, 16);
>        res_42309 = x_42308 ^ res_42307;
>        x_42310 = smod32(res_42309, 101);
>        res_42311 = *(__global int32_t *) &state_mem_44228[(gtid_42286 *
>                                                            w_36410 +
>                                                            gtid_42287) * 4];
>        res_42312 = *(__global int32_t *) &state_mem_44224[(gtid_42286 *
>                                                            w_36410 +
>                                                            gtid_42287) * 4];
>        cond_42313 = res_42312 == 0;
>        if (cond_42313) {
>            int32_t arg_42318;
>            char res_42319;
>            int32_t res_42320;
>            int32_t arg_42322;
>            char res_42323;
>            int32_t res_42324;
>            int32_t arg_42326;
>            char cond_42327;
>            int32_t res_42329;
>            
>            arg_42318 = gtid_42287 + 1;
>            res_42319 = sle32(w_36410, arg_42318);
>            if (res_42319) {
>                res_42320 = 0;
>            } else {
>                int32_t res_42321 = *(__global
>                                      int32_t *) &state_mem_44228[(gtid_42286 *
>                                                                   w_36410 +
>                                                                   arg_42318) *
>                                                                  4];
>                
>                res_42320 = res_42321;
>            }
>            arg_42322 = gtid_42286 + 1;
>            res_42323 = sle32(h_36409, arg_42322);
>            if (res_42323) {
>                res_42324 = 0;
>            } else {
>                int32_t res_42325 = *(__global
>                                      int32_t *) &state_mem_44228[(arg_42322 *
>                                                                   w_36410 +
>                                                                   gtid_42287) *
>                                                                  4];
>                
>                res_42324 = res_42325;
>            }
>            arg_42326 = gtid_42287 - 1;
>            if (res_42323) {
>                cond_42327 = 1;
>            } else {
>                char res_42328 = slt32(arg_42326, 0);
>                
>                cond_42327 = res_42328;
>            }
>            if (cond_42327) {
>                res_42329 = 0;
>            } else {
>                int32_t res_42330 = *(__global
>                                      int32_t *) &state_mem_44228[(arg_42322 *
>                                                                   w_36410 +
>                                                                   arg_42326) *
>                                                                  4];
>                
>                res_42329 = res_42330;
>            }
>            arg_42316 = res_42311;
>            arg_42317 = res_42320;
>            arg_42314 = res_42324;
>            arg_42315 = res_42329;
>        } else {
>            char cond_42331;
>            int32_t res_42332;
>            int32_t res_42333;
>            int32_t res_42334;
>            int32_t res_42335;
>            
>            cond_42331 = res_42312 == 1;
>            if (cond_42331) {
>                int32_t arg_42336;
>                char res_42337;
>                int32_t res_42338;
>                int32_t arg_42340;
>                char res_42341;
>                char cond_42342;
>                int32_t res_42343;
>                int32_t res_42345;
>                
>                arg_42336 = gtid_42287 - 1;
>                res_42337 = slt32(arg_42336, 0);
>                if (res_42337) {
>                    res_42338 = 0;
>                } else {
>                    int32_t res_42339 = *(__global
>                                          int32_t *) &state_mem_44228[(gtid_42286 *
>                                                                       w_36410 +
>                                                                       arg_42336) *
>                                                                      4];
>                    
>                    res_42338 = res_42339;
>                }
>                arg_42340 = gtid_42286 + 1;
>                res_42341 = sle32(h_36409, arg_42340);
>                cond_42342 = res_42341 || res_42337;
>                if (cond_42342) {
>                    res_42343 = 0;
>                } else {
>                    int32_t res_42344 = *(__global
>                                          int32_t *) &state_mem_44228[(arg_42340 *
>                                                                       w_36410 +
>                                                                       arg_42336) *
>                                                                      4];
>                    
>                    res_42343 = res_42344;
>                }
>                if (res_42341) {
>                    res_42345 = 0;
>                } else {
>                    int32_t res_42346 = *(__global
>                                          int32_t *) &state_mem_44228[(arg_42340 *
>                                                                       w_36410 +
>                                                                       gtid_42287) *
>                                                                      4];
>                    
>                    res_42345 = res_42346;
>                }
>                res_42332 = res_42338;
>                res_42333 = res_42311;
>                res_42334 = res_42343;
>                res_42335 = res_42345;
>            } else {
>                char cond_42347;
>                int32_t res_42348;
>                int32_t res_42349;
>                int32_t res_42350;
>                int32_t res_42351;
>                
>                cond_42347 = res_42312 == 2;
>                if (cond_42347) {
>                    int32_t arg_42352;
>                    char cond_42353;
>                    int32_t res_42354;
>                    int32_t arg_42356;
>                    char cond_42357;
>                    int32_t res_42359;
>                    char res_42361;
>                    int32_t res_42362;
>                    
>                    arg_42352 = gtid_42286 - 1;
>                    cond_42353 = slt32(arg_42352, 0);
>                    if (cond_42353) {
>                        res_42354 = 0;
>                    } else {
>                        int32_t res_42355 = *(__global
>                                              int32_t *) &state_mem_44228[(arg_42352 *
>                                                                           w_36410 +
>                                                                           gtid_42287) *
>                                                                          4];
>                        
>                        res_42354 = res_42355;
>                    }
>                    arg_42356 = gtid_42287 + 1;
>                    if (cond_42353) {
>                        cond_42357 = 1;
>                    } else {
>                        char res_42358 = sle32(w_36410, arg_42356);
>                        
>                        cond_42357 = res_42358;
>                    }
>                    if (cond_42357) {
>                        res_42359 = 0;
>                    } else {
>                        int32_t res_42360 = *(__global
>                                              int32_t *) &state_mem_44228[(arg_42352 *
>                                                                           w_36410 +
>                                                                           arg_42356) *
>                                                                          4];
>                        
>                        res_42359 = res_42360;
>                    }
>                    res_42361 = sle32(w_36410, arg_42356);
>                    if (res_42361) {
>                        res_42362 = 0;
>                    } else {
>                        int32_t res_42363 = *(__global
>                                              int32_t *) &state_mem_44228[(gtid_42286 *
>                                                                           w_36410 +
>                                                                           arg_42356) *
>                                                                          4];
>                        
>                        res_42362 = res_42363;
>                    }
>                    res_42348 = res_42354;
>                    res_42349 = res_42359;
>                    res_42350 = res_42311;
>                    res_42351 = res_42362;
>                } else {
>                    int32_t arg_42364;
>                    int32_t arg_42365;
>                    char cond_42366;
>                    char cond_42367;
>                    int32_t res_42369;
>                    int32_t res_42371;
>                    char res_42373;
>                    int32_t res_42374;
>                    
>                    arg_42364 = gtid_42286 - 1;
>                    arg_42365 = gtid_42287 - 1;
>                    cond_42366 = slt32(arg_42364, 0);
>                    if (cond_42366) {
>                        cond_42367 = 1;
>                    } else {
>                        char res_42368 = slt32(arg_42365, 0);
>                        
>                        cond_42367 = res_42368;
>                    }
>                    if (cond_42367) {
>                        res_42369 = 0;
>                    } else {
>                        int32_t res_42370 = *(__global
>                                              int32_t *) &state_mem_44228[(arg_42364 *
>                                                                           w_36410 +
>                                                                           arg_42365) *
>                                                                          4];
>                        
>                        res_42369 = res_42370;
>                    }
>                    if (cond_42366) {
>                        res_42371 = 0;
>                    } else {
>                        int32_t res_42372 = *(__global
>                                              int32_t *) &state_mem_44228[(arg_42364 *
>                                                                           w_36410 +
>                                                                           gtid_42287) *
>                                                                          4];
>                        
>                        res_42371 = res_42372;
>                    }
>                    res_42373 = slt32(arg_42365, 0);
>                    if (res_42373) {
>                        res_42374 = 0;
>                    } else {
>                        int32_t res_42375 = *(__global
>                                              int32_t *) &state_mem_44228[(gtid_42286 *
>                                                                           w_36410 +
>                                                                           arg_42365) *
>                                                                          4];
>                        
>                        res_42374 = res_42375;
>                    }
>                    res_42348 = res_42369;
>                    res_42349 = res_42371;
>                    res_42350 = res_42374;
>                    res_42351 = res_42311;
>                }
>                res_42332 = res_42348;
>                res_42333 = res_42349;
>                res_42334 = res_42350;
>                res_42335 = res_42351;
>            }
>            arg_42316 = res_42332;
>            arg_42317 = res_42333;
>            arg_42314 = res_42334;
>            arg_42315 = res_42335;
>        }
>        y_42376 = arg_42317 << 8;
>        x_42377 = arg_42316 | y_42376;
>        y_42378 = arg_42314 << 16;
>        x_42379 = x_42377 | y_42378;
>        y_42380 = arg_42315 << 24;
>        res_42381 = x_42379 | y_42380;
>        x_42382 = res_42381 & 255;
>        res_42383 = lshr32(x_42382, 0);
>        x_42384 = res_42381 & 65280;
>        res_42385 = lshr32(x_42384, 8);
>        x_42386 = res_42381 & 16711680;
>        res_42387 = lshr32(x_42386, 16);
>        x_42388 = res_42381 & -16777216;
>        res_42389 = lshr32(x_42388, 24);
>        cond_42390 = res_42383 == res_42385;
>        if (cond_42390) {
>            char res_42392 = res_42385 == res_42387;
>            
>            cond_42391 = res_42392;
>        } else {
>            cond_42391 = 0;
>        }
>        if (cond_42391) {
>            char res_42394 = res_42387 == res_42389;
>            
>            cond_42393 = res_42394;
>        } else {
>            cond_42393 = 0;
>        }
>        if (cond_42393) {
>            res_42395 = res_42381;
>        }
>        trunc_arg_43354 = 8 * res_42312;
>        y_43355 = 255 << trunc_arg_43354;
>        x_43356 = res_42395 & y_43355;
>        res_43357 = lshr32(x_43356, trunc_arg_43354);
>        x_43358 = res_42395 & 255;
>        res_43359 = lshr32(x_43358, 0);
>        x_43360 = res_42395 & 65280;
>        res_43361 = lshr32(x_43360, 8);
>        x_43362 = res_42395 & 16711680;
>        res_43363 = lshr32(x_43362, 16);
>        x_43364 = res_42395 & -16777216;
>        res_43365 = lshr32(x_43364, 24);
>        cond_43366 = res_43359 == 0;
>        if (cond_43366) {
>            res_43367 = 2;
>        }
>        cond_43381 = res_43361 == 0;
>        if (cond_43381) {
>            res_43382 = 2;
>        }
>        cond_43396 = ult8(res_43367, res_43382);
>        if (cond_43396) {
>            res_43397 = res_43382;
>        } else {
>            res_43397 = res_43367;
>        }
>        cond_43398 = res_43363 == 0;
>        if (cond_43398) {
>            res_43399 = 2;
>        }
>        cond_43413 = res_43365 == 0;
>        if (cond_43413) {
>            res_43414 = 2;
>        }
>        cond_43428 = ult8(res_43399, res_43414);
>        if (cond_43428) {
>            res_43429 = res_43414;
>        } else {
>            res_43429 = res_43399;
>        }
>        cond_43430 = ult8(res_43397, res_43429);
>        if (cond_43430) {
>            res_43431 = res_43429;
>        } else {
>            res_43431 = res_43397;
>        }
>        if (cond_43366) {
>            res_43432 = 2;
>        }
>        trunc_arg_43446 = ule8(res_43431, res_43432);
>        if (trunc_arg_43446) {
>            x_43447 = 1;
>        } else {
>            x_43447 = 0;
>        }
>        cond_43448 = res_43359 == 1;
>        if (cond_43448) {
>            cond_43449 = 1;
>        } else {
>            char res_43450 = res_43359 == 2;
>            
>            cond_43449 = res_43450;
>        }
>        if (cond_43449) {
>            cond_43451 = 1;
>        } else {
>            char res_43452 = res_43359 == 6;
>            
>            cond_43451 = res_43452;
>        }
>        if (cond_43451) {
>            cond_43453 = 1;
>        } else {
>            char res_43454 = res_43359 == 7;
>            
>            cond_43453 = res_43454;
>        }
>        if (cond_43453) {
>            cond_43455 = 1;
>        } else {
>            char res_43456 = res_43359 == 8;
>            
>            cond_43455 = res_43456;
>        }
>        if (cond_43455) {
>            cond_43457 = 1;
>        } else {
>            char res_43458 = res_43359 == 27;
>            
>            cond_43457 = res_43458;
>        }
>        if (cond_43457) {
>            res_43459 = 2;
>        } else {
>            res_43459 = 0;
>        }
>        res_43460 = x_43447 | res_43459;
>        if (cond_43381) {
>            res_43461 = 2;
>        }
>        trunc_arg_43475 = ule8(res_43431, res_43461);
>        if (trunc_arg_43475) {
>            x_43476 = 1;
>        } else {
>            x_43476 = 0;
>        }
>        cond_43477 = res_43361 == 1;
>        if (cond_43477) {
>            cond_43478 = 1;
>        } else {
>            char res_43479 = res_43361 == 2;
>            
>            cond_43478 = res_43479;
>        }
>        if (cond_43478) {
>            cond_43480 = 1;
>        } else {
>            char res_43481 = res_43361 == 6;
>            
>            cond_43480 = res_43481;
>        }
>        if (cond_43480) {
>            cond_43482 = 1;
>        } else {
>            char res_43483 = res_43361 == 7;
>            
>            cond_43482 = res_43483;
>        }
>        if (cond_43482) {
>            cond_43484 = 1;
>        } else {
>            char res_43485 = res_43361 == 8;
>            
>            cond_43484 = res_43485;
>        }
>        if (cond_43484) {
>            cond_43486 = 1;
>        } else {
>            char res_43487 = res_43361 == 27;
>            
>            cond_43486 = res_43487;
>        }
>        if (cond_43486) {
>            res_43488 = 2;
>        } else {
>            res_43488 = 0;
>        }
>        res_43489 = x_43476 | res_43488;
>        if (cond_43398) {
>            res_43490 = 2;
>        } else {
>            char cond_43491;
>            int8_t res_43492;
>            
>            cond_43491 = res_43363 == 1;
>            if (cond_43491) {
>                res_43492 = 0;
>            } else {
>                char cond_43493;
>                int8_t res_43494;
>                
>                cond_43493 = res_43363 == 2;
>                if (cond_43493) {
>                    res_43494 = 0;
>                } else {
>                    char cond_43495;
>                    int8_t res_43496;
>                    
>                    cond_43495 = res_43363 == 9;
>                    if (cond_43495) {
>                        res_43496 = 10;
>                    } else {
>                        char cond_43497;
>                        int8_t res_43498;
>                        
>                        cond_43497 = res_43363 == 27;
>                        if (cond_43497) {
>                            res_43498 = 7;
>                        } else {
>                            char cond_43499;
>                            char res_43500;
>                            int8_t res_43502;
>                            
>                            cond_43499 = ule32(12, res_43363);
>                            if (cond_43499) {
>                                char res_43501 = ule32(res_43363, 22);
>                                
>                                res_43500 = res_43501;
>                            } else {
>                                res_43500 = 0;
>                            }
>                            if (res_43500) {
>                                res_43502 = 0;
>                            } else {
>                                int8_t res_43503 = zext_i32_i8(res_43363);
>                                
>                                res_43502 = res_43503;
>                            }
>                            res_43498 = res_43502;
>                        }
>                        res_43496 = res_43498;
>                    }
>                    res_43494 = res_43496;
>                }
>                res_43492 = res_43494;
>            }
>            res_43490 = res_43492;
>        }
>        trunc_arg_43504 = ule8(res_43431, res_43490);
>        if (trunc_arg_43504) {
>            x_43505 = 1;
>        } else {
>            x_43505 = 0;
>        }
>        cond_43506 = res_43363 == 1;
>        if (cond_43506) {
>            cond_43507 = 1;
>        } else {
>            char res_43508 = res_43363 == 2;
>            
>            cond_43507 = res_43508;
>        }
>        if (cond_43507) {
>            cond_43509 = 1;
>        } else {
>            char res_43510 = res_43363 == 6;
>            
>            cond_43509 = res_43510;
>        }
>        if (cond_43509) {
>            cond_43511 = 1;
>        } else {
>            char res_43512 = res_43363 == 7;
>            
>            cond_43511 = res_43512;
>        }
>        if (cond_43511) {
>            cond_43513 = 1;
>        } else {
>            char res_43514 = res_43363 == 8;
>            
>            cond_43513 = res_43514;
>        }
>        if (cond_43513) {
>            cond_43515 = 1;
>        } else {
>            char res_43516 = res_43363 == 27;
>            
>            cond_43515 = res_43516;
>        }
>        if (cond_43515) {
>            res_43517 = 2;
>        } else {
>            res_43517 = 0;
>        }
>        res_43518 = x_43505 | res_43517;
>        if (cond_43413) {
>            res_43519 = 2;
>        } else {
>            char cond_43520;
>            int8_t res_43521;
>            
>            cond_43520 = res_43365 == 1;
>            if (cond_43520) {
>                res_43521 = 0;
>            } else {
>                char cond_43522;
>                int8_t res_43523;
>                
>                cond_43522 = res_43365 == 2;
>                if (cond_43522) {
>                    res_43523 = 0;
>                } else {
>                    char cond_43524;
>                    int8_t res_43525;
>                    
>                    cond_43524 = res_43365 == 9;
>                    if (cond_43524) {
>                        res_43525 = 10;
>                    } else {
>                        char cond_43526;
>                        int8_t res_43527;
>                        
>                        cond_43526 = res_43365 == 27;
>                        if (cond_43526) {
>                            res_43527 = 7;
>                        } else {
>                            char cond_43528;
>                            char res_43529;
>                            int8_t res_43531;
>                            
>                            cond_43528 = ule32(12, res_43365);
>                            if (cond_43528) {
>                                char res_43530 = ule32(res_43365, 22);
>                                
>                                res_43529 = res_43530;
>                            } else {
>                                res_43529 = 0;
>                            }
>                            if (res_43529) {
>                                res_43531 = 0;
>                            } else {
>                                int8_t res_43532 = zext_i32_i8(res_43365);
>                                
>                                res_43531 = res_43532;
>                            }
>                            res_43527 = res_43531;
>                        }
>                        res_43525 = res_43527;
>                    }
>                    res_43523 = res_43525;
>                }
>                res_43521 = res_43523;
>            }
>            res_43519 = res_43521;
>        }
>        trunc_arg_43533 = ule8(res_43431, res_43519);
>        if (trunc_arg_43533) {
>            x_43534 = 1;
>        } else {
>            x_43534 = 0;
>        }
>        cond_43535 = res_43365 == 1;
>        if (cond_43535) {
>            cond_43536 = 1;
>        } else {
>            char res_43537 = res_43365 == 2;
>            
>            cond_43536 = res_43537;
>        }
>        if (cond_43536) {
>            cond_43538 = 1;
>        } else {
>            char res_43539 = res_43365 == 6;
>            
>            cond_43538 = res_43539;
>        }
>        if (cond_43538) {
>            cond_43540 = 1;
>        } else {
>            char res_43541 = res_43365 == 7;
>            
>            cond_43540 = res_43541;
>        }
>        if (cond_43540) {
>            cond_43542 = 1;
>        } else {
>            char res_43543 = res_43365 == 8;
>            
>            cond_43542 = res_43543;
>        }
>        if (cond_43542) {
>            cond_43544 = 1;
>        } else {
>            char res_43545 = res_43365 == 27;
>            
>            cond_43544 = res_43545;
>        }
>        if (cond_43544) {
>            res_43546 = 2;
>        } else {
>            res_43546 = 0;
>        }
>        res_43547 = x_43534 | res_43546;
>        y_43548 = res_43489 << 2;
>        x_43549 = res_43460 | y_43548;
>        y_43550 = res_43518 << 4;
>        x_43551 = x_43549 | y_43550;
>        y_43552 = res_43547 << 6;
>        res_43553 = x_43551 | y_43552;
>        res_43554 = res_43553 & 85;
>        res_43555 = res_43553 & 127;
>        cond_43556 = res_43555 == 63;
>        if (cond_43556) {
>            res_43557 = 0;
>            res_43558 = 1;
>            res_43559 = 3;
>            res_43560 = 2;
>        }
>        if (cond_42313) {
>            res_43639 = res_43557;
>        } else {
>            char cond_43640;
>            int32_t res_43641;
>            
>            cond_43640 = res_42312 == 1;
>            if (cond_43640) {
>                res_43641 = res_43558;
>            } else {
>                char cond_43642;
>                int32_t res_43643;
>                
>                cond_43642 = res_42312 == 2;
>                if (cond_43642) {
>                    res_43643 = res_43559;
>                } else {
>                    res_43643 = res_43560;
>                }
>                res_43641 = res_43643;
>            }
>            res_43639 = res_43641;
>        }
>        trunc_arg_43644 = 8 * res_43639;
>        y_43645 = 255 << trunc_arg_43644;
>        x_43646 = res_42395 & y_43645;
>        res_43647 = lshr32(x_43646, trunc_arg_43644);
>        cond_43648 = res_43647 == 23;
>        if (cond_43648) {
>            cond_43649 = 1;
>        } else {
>            char res_43650 = res_43647 == 24;
>            
>            cond_43649 = res_43650;
>        }
>        if (cond_43649) {
>            cond_43651 = 1;
>        } else {
>            char res_43652 = res_43647 == 25;
>            
>            cond_43651 = res_43652;
>        }
>        if (cond_43651) {
>            cond_43653 = 1;
>        } else {
>            char res_43654 = res_43647 == 26;
>            
>            cond_43653 = res_43654;
>        }
>        if (cond_43653) {
>            res_43655 = 1;
>        } else {
>            char res_43656 = res_43647 == 29;
>            
>            res_43655 = res_43656;
>        }
>        if (res_43655) {
>            res_43657 = res_42312;
>        } else {
>            res_43657 = res_43639;
>        }
>        if (cond_43366) {
>            res_43658 = 2;
>        } else {
>            int8_t res_43659;
>            
>            if (cond_43448) {
>                res_43659 = 0;
>            } else {
>                char cond_43660;
>                int8_t res_43661;
>                
>                cond_43660 = res_43359 == 2;
>                if (cond_43660) {
>                    res_43661 = 0;
>                } else {
>                    char cond_43662;
>                    int8_t res_43663;
>                    
>                    cond_43662 = res_43359 == 9;
>                    if (cond_43662) {
>                        res_43663 = 10;
>                    } else {
>                        char cond_43664;
>                        int8_t res_43665;
>                        
>                        cond_43664 = res_43359 == 27;
>                        if (cond_43664) {
>                            res_43665 = 7;
>                        } else {
>                            char cond_43666;
>                            char res_43667;
>                            int8_t res_43669;
>                            
>                            cond_43666 = ule32(12, res_43359);
>                            if (cond_43666) {
>                                char res_43668 = ule32(res_43359, 22);
>                                
>                                res_43667 = res_43668;
>                            } else {
>                                res_43667 = 0;
>                            }
>                            if (res_43667) {
>                                res_43669 = 0;
>                            } else {
>                                int8_t res_43670 = zext_i32_i8(res_43359);
>                                
>                                res_43669 = res_43670;
>                            }
>                            res_43665 = res_43669;
>                        }
>                        res_43663 = res_43665;
>                    }
>                    res_43661 = res_43663;
>                }
>                res_43659 = res_43661;
>            }
>            res_43658 = res_43659;
>        }
>        if (cond_43381) {
>            res_43671 = 2;
>        } else {
>            int8_t res_43672;
>            
>            if (cond_43477) {
>                res_43672 = 0;
>            } else {
>                char cond_43673;
>                int8_t res_43674;
>                
>                cond_43673 = res_43361 == 2;
>                if (cond_43673) {
>                    res_43674 = 0;
>                } else {
>                    char cond_43675;
>                    int8_t res_43676;
>                    
>                    cond_43675 = res_43361 == 9;
>                    if (cond_43675) {
>                        res_43676 = 10;
>                    } else {
>                        char cond_43677;
>                        int8_t res_43678;
>                        
>                        cond_43677 = res_43361 == 27;
>                        if (cond_43677) {
>                            res_43678 = 7;
>                        } else {
>                            char cond_43679;
>                            char res_43680;
>                            int8_t res_43682;
>                            
>                            cond_43679 = ule32(12, res_43361);
>                            if (cond_43679) {
>                                char res_43681 = ule32(res_43361, 22);
>                                
>                                res_43680 = res_43681;
>                            } else {
>                                res_43680 = 0;
>                            }
>                            if (res_43680) {
>                                res_43682 = 0;
>                            } else {
>                                int8_t res_43683 = zext_i32_i8(res_43361);
>                                
>                                res_43682 = res_43683;
>                            }
>                            res_43678 = res_43682;
>                        }
>                        res_43676 = res_43678;
>                    }
>                    res_43674 = res_43676;
>                }
>                res_43672 = res_43674;
>            }
>            res_43671 = res_43672;
>        }
>        if (cond_43398) {
>            res_43684 = 2;
>        } else {
>            int8_t res_43685;
>            
>            if (cond_43506) {
>                res_43685 = 0;
>            } else {
>                char cond_43686;
>                int8_t res_43687;
>                
>                cond_43686 = res_43363 == 2;
>                if (cond_43686) {
>                    res_43687 = 0;
>                } else {
>                    char cond_43688;
>                    int8_t res_43689;
>                    
>                    cond_43688 = res_43363 == 9;
>                    if (cond_43688) {
>                        res_43689 = 10;
>                    } else {
>                        char cond_43690;
>                        int8_t res_43691;
>                        
>                        cond_43690 = res_43363 == 27;
>                        if (cond_43690) {
>                            res_43691 = 7;
>                        } else {
>                            char cond_43692;
>                            char res_43693;
>                            int8_t res_43695;
>                            
>                            cond_43692 = ule32(12, res_43363);
>                            if (cond_43692) {
>                                char res_43694 = ule32(res_43363, 22);
>                                
>                                res_43693 = res_43694;
>                            } else {
>                                res_43693 = 0;
>                            }
>                            if (res_43693) {
>                                res_43695 = 0;
>                            } else {
>                                int8_t res_43696 = zext_i32_i8(res_43363);
>                                
>                                res_43695 = res_43696;
>                            }
>                            res_43691 = res_43695;
>                        }
>                        res_43689 = res_43691;
>                    }
>                    res_43687 = res_43689;
>                }
>                res_43685 = res_43687;
>            }
>            res_43684 = res_43685;
>        }
>        if (cond_43413) {
>            res_43697 = 2;
>        } else {
>            int8_t res_43698;
>            
>            if (cond_43535) {
>                res_43698 = 0;
>            } else {
>                char cond_43699;
>                int8_t res_43700;
>                
>                cond_43699 = res_43365 == 2;
>                if (cond_43699) {
>                    res_43700 = 0;
>                } else {
>                    char cond_43701;
>                    int8_t res_43702;
>                    
>                    cond_43701 = res_43365 == 9;
>                    if (cond_43701) {
>                        res_43702 = 10;
>                    } else {
>                        char cond_43703;
>                        int8_t res_43704;
>                        
>                        cond_43703 = res_43365 == 27;
>                        if (cond_43703) {
>                            res_43704 = 7;
>                        } else {
>                            char cond_43705;
>                            char res_43706;
>                            int8_t res_43708;
>                            
>                            cond_43705 = ule32(12, res_43365);
>                            if (cond_43705) {
>                                char res_43707 = ule32(res_43365, 22);
>                                
>                                res_43706 = res_43707;
>                            } else {
>                                res_43706 = 0;
>                            }
>                            if (res_43706) {
>                                res_43708 = 0;
>                            } else {
>                                int8_t res_43709 = zext_i32_i8(res_43365);
>                                
>                                res_43708 = res_43709;
>                            }
>                            res_43704 = res_43708;
>                        }
>                        res_43702 = res_43704;
>                    }
>                    res_43700 = res_43702;
>                }
>                res_43698 = res_43700;
>            }
>            res_43697 = res_43698;
>        }
>        cond_43710 = ult8(res_43658, res_43671);
>        if (cond_43710) {
>            res_43711 = res_43671;
>            res_43712 = res_43658;
>        } else {
>            res_43711 = res_43658;
>            res_43712 = res_43671;
>        }
>        cond_43713 = ult8(res_43684, res_43697);
>        if (cond_43713) {
>            res_43714 = res_43697;
>            res_43715 = res_43684;
>        } else {
>            res_43714 = res_43684;
>            res_43715 = res_43697;
>        }
>        cond_43716 = ult8(res_43711, res_43714);
>        if (cond_43716) {
>            res_43717 = res_43715;
>            res_43718 = res_43711;
>        } else {
>            res_43717 = res_43712;
>            res_43718 = res_43714;
>        }
>        cond_43719 = ult8(res_43717, res_43718);
>        if (cond_43719) {
>            res_43720 = res_43718;
>        } else {
>            res_43720 = res_43717;
>        }
>        if (cond_43366) {
>            res_43721 = 2;
>        }
>        if (cond_43381) {
>            res_43734 = 2;
>        }
>        cond_43747 = res_43721 == res_43734;
>        {
>            cond_43748 = 0;
>        }
>        if (cond_43366) {
>            res_43804 = 2;
>        }
>        trunc_arg_43817 = ule8(res_43720, res_43804);
>        if (trunc_arg_43817) {
>            x_43818 = 1;
>        } else {
>            x_43818 = 0;
>        }
>        if (cond_43448) {
>            cond_43819 = 1;
>        } else {
>            char res_43820 = res_43359 == 2;
>            
>            cond_43819 = res_43820;
>        }
>        if (cond_43819) {
>            cond_43821 = 1;
>        } else {
>            char res_43822 = res_43359 == 6;
>            
>            cond_43821 = res_43822;
>        }
>        if (cond_43821) {
>            cond_43823 = 1;
>        } else {
>            char res_43824 = res_43359 == 7;
>            
>            cond_43823 = res_43824;
>        }
>        if (cond_43823) {
>            cond_43825 = 1;
>        } else {
>            char res_43826 = res_43359 == 8;
>            
>            cond_43825 = res_43826;
>        }
>        if (cond_43825) {
>            cond_43827 = 1;
>        } else {
>            char res_43828 = res_43359 == 27;
>            
>            cond_43827 = res_43828;
>        }
>        if (cond_43827) {
>            res_43829 = 2;
>        } else {
>            res_43829 = 0;
>        }
>        res_43830 = x_43818 | res_43829;
>        if (cond_43381) {
>            res_43831 = 2;
>        }
>        trunc_arg_43844 = ule8(res_43720, res_43831);
>        if (trunc_arg_43844) {
>            x_43845 = 1;
>        } else {
>            x_43845 = 0;
>        }
>        if (cond_43477) {
>            cond_43846 = 1;
>        } else {
>            char res_43847 = res_43361 == 2;
>            
>            cond_43846 = res_43847;
>        }
>        if (cond_43846) {
>            cond_43848 = 1;
>        } else {
>            char res_43849 = res_43361 == 6;
>            
>            cond_43848 = res_43849;
>        }
>        if (cond_43848) {
>            cond_43850 = 1;
>        } else {
>            char res_43851 = res_43361 == 7;
>            
>            cond_43850 = res_43851;
>        }
>        if (cond_43850) {
>            cond_43852 = 1;
>        } else {
>            char res_43853 = res_43361 == 8;
>            
>            cond_43852 = res_43853;
>        }
>        if (cond_43852) {
>            cond_43854 = 1;
>        } else {
>            char res_43855 = res_43361 == 27;
>            
>            cond_43854 = res_43855;
>        }
>        if (cond_43854) {
>            res_43856 = 2;
>        } else {
>            res_43856 = 0;
>        }
>        res_43857 = x_43845 | res_43856;
>        if (cond_43398) {
>            res_43858 = 2;
>        }
>        trunc_arg_43871 = ule8(res_43720, res_43858);
>        if (trunc_arg_43871) {
>            x_43872 = 1;
>        } else {
>            x_43872 = 0;
>        }
>        if (cond_43506) {
>            cond_43873 = 1;
>        } else {
>            char res_43874 = res_43363 == 2;
>            
>            cond_43873 = res_43874;
>        }
>        if (cond_43873) {
>            cond_43875 = 1;
>        } else {
>            char res_43876 = res_43363 == 6;
>            
>            cond_43875 = res_43876;
>        }
>        if (cond_43875) {
>            cond_43877 = 1;
>        } else {
>            char res_43878 = res_43363 == 7;
>            
>            cond_43877 = res_43878;
>        }
>        if (cond_43877) {
>            cond_43879 = 1;
>        } else {
>            char res_43880 = res_43363 == 8;
>            
>            cond_43879 = res_43880;
>        }
>        if (cond_43879) {
>            cond_43881 = 1;
>        } else {
>            char res_43882 = res_43363 == 27;
>            
>            cond_43881 = res_43882;
>        }
>        if (cond_43881) {
>            res_43883 = 2;
>        } else {
>            res_43883 = 0;
>        }
>        res_43884 = x_43872 | res_43883;
>        if (cond_43413) {
>            res_43885 = 2;
>        }
>        trunc_arg_43898 = ule8(res_43720, res_43885);
>        if (trunc_arg_43898) {
>            x_43899 = 1;
>        } else {
>            x_43899 = 0;
>        }
>        if (cond_43535) {
>            cond_43900 = 1;
>        } else {
>            char res_43901 = res_43365 == 2;
>            
>            cond_43900 = res_43901;
>        }
>        if (cond_43900) {
>            cond_43902 = 1;
>        } else {
>            char res_43903 = res_43365 == 6;
>            
>            cond_43902 = res_43903;
>        }
>        if (cond_43902) {
>            cond_43904 = 1;
>        } else {
>            char res_43905 = res_43365 == 7;
>            
>            cond_43904 = res_43905;
>        }
>        if (cond_43904) {
>            cond_43906 = 1;
>        } else {
>            char res_43907 = res_43365 == 8;
>            
>            cond_43906 = res_43907;
>        }
>        if (cond_43906) {
>            cond_43908 = 1;
>        } else {
>            char res_43909 = res_43365 == 27;
>            
>            cond_43908 = res_43909;
>        }
>        if (cond_43908) {
>            res_43910 = 2;
>        } else {
>            res_43910 = 0;
>        }
>        res_43911 = x_43899 | res_43910;
>        y_43912 = res_43857 << 2;
>        x_43913 = res_43830 | y_43912;
>        y_43914 = res_43884 << 4;
>        x_43915 = x_43913 | y_43914;
>        y_43916 = res_43911 << 6;
>        res_43917 = x_43915 | y_43916;
>        res_43918 = res_43917 & 85;
>        res_43919 = res_43917 & 127;
>        cond_43920 = res_43919 == 63;
>        if (cond_43920) {
>            res_43921 = 0;
>            res_43922 = 1;
>            res_43923 = 3;
>            res_43924 = 2;
>        } else {
>            int8_t res_43925;
>            char cond_43926;
>            int32_t res_43928;
>            int32_t res_43929;
>            int32_t res_43930;
>            int32_t res_43927;
>            
>            res_43925 = res_43917 & -33;
>            cond_43926 = res_43925 == -49;
>            if (cond_43926) {
>                res_43927 = 0;
>                res_43928 = 1;
>                res_43929 = 3;
>                res_43930 = 2;
>            } else {
>                int8_t res_43931;
>                int8_t res_43932;
>                int8_t res_43933;
>                char cond_43934;
>                int32_t res_43936;
>                int32_t res_43937;
>                int32_t res_43938;
>                int32_t res_43935;
>                
>                res_43931 = res_43917 & -9;
>                res_43932 = res_43931 & -33;
>                res_43933 = res_43932 & 127;
>                cond_43934 = res_43933 == 83;
>                if (cond_43934) {
>                    res_43935 = 1;
>                    res_43936 = 0;
>                    res_43937 = 2;
>                    res_43938 = 3;
>                } else {
>                    int8_t res_43939;
>                    int8_t res_43940;
>                    int8_t res_43941;
>                    char cond_43942;
>                    int32_t res_43944;
>                    int32_t res_43945;
>                    int32_t res_43946;
>                    int32_t res_43943;
>                    
>                    res_43939 = res_43917 & -3;
>                    res_43940 = res_43939 & -33;
>                    res_43941 = res_43940 & 127;
>                    cond_43942 = res_43941 == 92;
>                    if (cond_43942) {
>                        res_43943 = 1;
>                        res_43944 = 0;
>                        res_43945 = 3;
>                        res_43946 = 2;
>                    } else {
>                        int8_t res_43947;
>                        int8_t res_43948;
>                        char cond_43949;
>                        int32_t res_43952;
>                        int32_t res_43953;
>                        int32_t res_43950;
>                        int32_t res_43951;
>                        
>                        res_43947 = res_43939 & -9;
>                        res_43948 = res_43947 & 127;
>                        cond_43949 = res_43948 == 48;
>                        if (cond_43949) {
>                            res_43950 = 0;
>                            res_43951 = 1;
>                            res_43952 = 3;
>                            res_43953 = 2;
>                        } else {
>                            int8_t res_43954;
>                            char cond_43955;
>                            int32_t res_43956;
>                            int32_t res_43957;
>                            int32_t res_43958;
>                            int32_t res_43959;
>                            
>                            res_43954 = res_43947 & -33;
>                            cond_43955 = res_43954 == -64;
>                            if (cond_43955) {
>                                res_43956 = 0;
>                                res_43957 = 1;
>                                res_43958 = 3;
>                                res_43959 = 2;
>                            } else {
>                                char cond_43960;
>                                int32_t res_43964;
>                                int32_t res_43961;
>                                int32_t res_43962;
>                                int32_t res_43963;
>                                
>                                cond_43960 = res_43918 == 1;
>                                if (cond_43960) {
>                                    res_43961 = 2;
>                                    res_43962 = 1;
>                                    res_43963 = 0;
>                                    res_43964 = 3;
>                                } else {
>                                    char cond_43965;
>                                    int32_t res_43968;
>                                    int32_t res_43969;
>                                    int32_t res_43966;
>                                    int32_t res_43967;
>                                    
>                                    cond_43965 = res_43918 == 21;
>                                    if (cond_43965) {
>                                        res_43966 = 0;
>                                        res_43967 = 3;
>                                        res_43968 = 2;
>                                        res_43969 = 1;
>                                    } else {
>                                        char cond_43970;
>                                        int32_t res_43972;
>                                        int32_t res_43973;
>                                        int32_t res_43974;
>                                        int32_t res_43971;
>                                        
>                                        cond_43970 = res_43918 == 5;
>                                        if (cond_43970) {
>                                            res_43971 = 2;
>                                            res_43972 = 3;
>                                            res_43973 = 0;
>                                            res_43974 = 1;
>                                        } else {
>                                            char cond_43975;
>                                            int32_t res_43976;
>                                            int32_t res_43977;
>                                            int32_t res_43978;
>                                            int32_t res_43979;
>                                            
>                                            cond_43975 = res_43918 == 20;
>                                            if (cond_43975) {
>                                                res_43976 = 0;
>                                                res_43977 = 3;
>                                                res_43978 = 2;
>                                                res_43979 = 1;
>                                            } else {
>                                                char cond_43980;
>                                                int32_t res_43984;
>                                                int32_t res_43981;
>                                                int32_t res_43982;
>                                                int32_t res_43983;
>                                                
>                                                cond_43980 = res_43918 == 4;
>                                                if (cond_43980) {
>                                                    res_43981 = 0;
>                                                    res_43982 = 3;
>                                                    res_43983 = 2;
>                                                    res_43984 = 1;
>                                                } else {
>                                                    char cond_43985;
>                                                    int32_t res_43988;
>                                                    int32_t res_43989;
>                                                    int32_t res_43986;
>                                                    int32_t res_43987;
>                                                    
>                                                    cond_43985 = res_43918 ==
>                                                        69;
>                                                    if (cond_43985) {
>                                                        res_43986 = 2;
>                                                        res_43987 = 1;
>                                                        res_43988 = 0;
>                                                        res_43989 = 3;
>                                                    } else {
>                                                        char cond_43990;
>                                                        int32_t res_43992;
>                                                        int32_t res_43993;
>                                                        int32_t res_43994;
>                                                        int32_t res_43991;
>                                                        
>                                                        cond_43990 =
>                                                            res_43918 == 65;
>                                                        if (cond_43990) {
>                                                            res_43991 = 2;
>                                                            res_43992 = 1;
>                                                            res_43993 = 0;
>                                                            res_43994 = 3;
>                                                        } else {
>                                                            char cond_43995;
>                                                            int32_t res_43996;
>                                                            int32_t res_43997;
>                                                            int32_t res_43998;
>                                                            int32_t res_43999;
>                                                            
>                                                            cond_43995 =
>                                                                res_43918 == 17;
>                                                            if (cond_43995) {
>                                                                res_43996 = 3;
>                                                                res_43997 = 1;
>                                                                res_43998 = 2;
>                                                                res_43999 = 0;
>                                                            } else {
>                                                                char cond_44000;
>                                                                int32_t
>                                                                res_44001;
>                                                                int32_t
>                                                                res_44002;
>                                                                
>                                                                cond_44000 =
>                                                                    res_43918 ==
>                                                                    68;
>                                                                if (cond_44000) {
>                                                                    res_44001 =
>                                                                        1;
>                                                                    res_44002 =
>                                                                        2;
>                                                                } else {
>                                                                    res_44001 =
>                                                                        2;
>                                                                    res_44002 =
>                                                                        1;
>                                                                }
>                                                                res_43996 = 0;
>                                                                res_43997 =
>                                                                    res_44002;
>                                                                res_43998 =
>                                                                    res_44001;
>                                                                res_43999 = 3;
>                                                            }
>                                                            res_43991 =
>                                                                res_43996;
>                                                            res_43992 =
>                                                                res_43997;
>                                                            res_43993 =
>                                                                res_43998;
>                                                            res_43994 =
>                                                                res_43999;
>                                                        }
>                                                        res_43986 = res_43991;
>                                                        res_43987 = res_43992;
>                                                        res_43988 = res_43993;
>                                                        res_43989 = res_43994;
>                                                    }
>                                                    res_43981 = res_43986;
>                                                    res_43982 = res_43987;
>                                                    res_43983 = res_43988;
>                                                    res_43984 = res_43989;
>                                                }
>                                                res_43976 = res_43981;
>                                                res_43977 = res_43982;
>                                                res_43978 = res_43983;
>                                                res_43979 = res_43984;
>                                            }
>                                            res_43971 = res_43976;
>                                            res_43972 = res_43977;
>                                            res_43973 = res_43978;
>                                            res_43974 = res_43979;
>                                        }
>                                        res_43966 = res_43971;
>                                        res_43967 = res_43972;
>                                        res_43968 = res_43973;
>                                        res_43969 = res_43974;
>                                    }
>                                    res_43961 = res_43966;
>                                    res_43962 = res_43967;
>                                    res_43963 = res_43968;
>                                    res_43964 = res_43969;
>                                }
>                                res_43956 = res_43961;
>                                res_43957 = res_43962;
>                                res_43958 = res_43963;
>                                res_43959 = res_43964;
>                            }
>                            res_43950 = res_43956;
>                            res_43951 = res_43957;
>                            res_43952 = res_43958;
>                            res_43953 = res_43959;
>                        }
>                        res_43943 = res_43950;
>                        res_43944 = res_43951;
>                        res_43945 = res_43952;
>                        res_43946 = res_43953;
>                    }
>                    res_43935 = res_43943;
>                    res_43936 = res_43944;
>                    res_43937 = res_43945;
>                    res_43938 = res_43946;
>                }
>                res_43927 = res_43935;
>                res_43928 = res_43936;
>                res_43929 = res_43937;
>                res_43930 = res_43938;
>            }
>            res_43921 = res_43927;
>            res_43922 = res_43928;
>            res_43923 = res_43929;
>            res_43924 = res_43930;
>        }
>        if (cond_42313) {
>            res_44003 = res_43921;
>        } else {
>            char cond_44004;
>            int32_t res_44005;
>            
>            cond_44004 = res_42312 == 1;
>            if (cond_44004) {
>                res_44005 = res_43922;
>            } else {
>                char cond_44006;
>                int32_t res_44007;
>                
>                cond_44006 = res_42312 == 2;
>                if (cond_44006) {
>                    res_44007 = res_43923;
>                } else {
>                    res_44007 = res_43924;
>                }
>                res_44005 = res_44007;
>            }
>            res_44003 = res_44005;
>        }
>        trunc_arg_44008 = 8 * res_44003;
>        y_44009 = 255 << trunc_arg_44008;
>        x_44010 = res_42395 & y_44009;
>        res_44011 = lshr32(x_44010, trunc_arg_44008);
>        cond_44012 = res_44011 == 23;
>        if (cond_44012) {
>            cond_44013 = 1;
>        } else {
>            char res_44014 = res_44011 == 24;
>            
>            cond_44013 = res_44014;
>        }
>        if (cond_44013) {
>            cond_44015 = 1;
>        } else {
>            char res_44016 = res_44011 == 25;
>            
>            cond_44015 = res_44016;
>        }
>        if (cond_44015) {
>            cond_44017 = 1;
>        } else {
>            char res_44018 = res_44011 == 26;
>            
>            cond_44017 = res_44018;
>        }
>        if (cond_44017) {
>            res_44019 = 1;
>        } else {
>            char res_44020 = res_44011 == 29;
>            
>            res_44019 = res_44020;
>        }
>        if (res_44019) {
>            res_44021 = res_42312;
>        } else {
>            res_44021 = res_44003;
>        }
>        if (cond_43556) {
>            res_44024 = 0;
>            res_44025 = 1;
>            res_44022 = 3;
>            res_44023 = 2;
>        } else {
>            int8_t res_44026;
>            char cond_44027;
>            int32_t res_44028;
>            int32_t res_44029;
>            int32_t res_44030;
>            int32_t res_44031;
>            
>            res_44026 = res_43553 & -33;
>            cond_44027 = res_44026 == -49;
>            if (cond_44027) {
>                res_44028 = 0;
>                res_44029 = 1;
>                res_44030 = 3;
>                res_44031 = 2;
>            } else {
>                int8_t res_44032;
>                int8_t res_44033;
>                int8_t res_44034;
>                char cond_44035;
>                int32_t res_44036;
>                int32_t res_44037;
>                int32_t res_44038;
>                int32_t res_44039;
>                
>                res_44032 = res_43553 & -9;
>                res_44033 = res_44032 & -33;
>                res_44034 = res_44033 & 127;
>                cond_44035 = res_44034 == 83;
>                if (cond_44035) {
>                    res_44036 = 1;
>                    res_44037 = 0;
>                    res_44038 = 2;
>                    res_44039 = 3;
>                } else {
>                    int8_t res_44040;
>                    int8_t res_44041;
>                    int8_t res_44042;
>                    char cond_44043;
>                    int32_t res_44044;
>                    int32_t res_44045;
>                    int32_t res_44046;
>                    int32_t res_44047;
>                    
>                    res_44040 = res_43553 & -3;
>                    res_44041 = res_44040 & -33;
>                    res_44042 = res_44041 & 127;
>                    cond_44043 = res_44042 == 92;
>                    if (cond_44043) {
>                        res_44044 = 1;
>                        res_44045 = 0;
>                        res_44046 = 3;
>                        res_44047 = 2;
>                    } else {
>                        int8_t res_44048;
>                        int8_t res_44049;
>                        char cond_44050;
>                        int32_t res_44052;
>                        int32_t res_44053;
>                        int32_t res_44054;
>                        int32_t res_44051;
>                        
>                        res_44048 = res_44040 & -9;
>                        res_44049 = res_44048 & 127;
>                        cond_44050 = res_44049 == 48;
>                        if (cond_44050) {
>                            res_44051 = 0;
>                            res_44052 = 1;
>                            res_44053 = 3;
>                            res_44054 = 2;
>                        } else {
>                            int8_t res_44055;
>                            char cond_44056;
>                            int32_t res_44060;
>                            int32_t res_44057;
>                            int32_t res_44058;
>                            int32_t res_44059;
>                            
>                            res_44055 = res_44048 & -33;
>                            cond_44056 = res_44055 == -64;
>                            if (cond_44056) {
>                                res_44057 = 0;
>                                res_44058 = 1;
>                                res_44059 = 3;
>                                res_44060 = 2;
>                            } else {
>                                char cond_44061;
>                                int32_t res_44064;
>                                int32_t res_44065;
>                                int32_t res_44062;
>                                int32_t res_44063;
>                                
>                                cond_44061 = res_43554 == 1;
>                                if (cond_44061) {
>                                    res_44062 = 2;
>                                    res_44063 = 1;
>                                    res_44064 = 0;
>                                    res_44065 = 3;
>                                } else {
>                                    char cond_44066;
>                                    int32_t res_44068;
>                                    int32_t res_44069;
>                                    int32_t res_44070;
>                                    int32_t res_44067;
>                                    
>                                    cond_44066 = res_43554 == 21;
>                                    if (cond_44066) {
>                                        res_44067 = 0;
>                                        res_44068 = 3;
>                                        res_44069 = 2;
>                                        res_44070 = 1;
>                                    } else {
>                                        char cond_44071;
>                                        int32_t res_44072;
>                                        int32_t res_44073;
>                                        int32_t res_44074;
>                                        int32_t res_44075;
>                                        
>                                        cond_44071 = res_43554 == 5;
>                                        if (cond_44071) {
>                                            res_44072 = 2;
>                                            res_44073 = 3;
>                                            res_44074 = 0;
>                                            res_44075 = 1;
>                                        } else {
>                                            char cond_44076;
>                                            int32_t res_44080;
>                                            int32_t res_44077;
>                                            int32_t res_44078;
>                                            int32_t res_44079;
>                                            
>                                            cond_44076 = res_43554 == 20;
>                                            if (cond_44076) {
>                                                res_44077 = 0;
>                                                res_44078 = 3;
>                                                res_44079 = 2;
>                                                res_44080 = 1;
>                                            } else {
>                                                char cond_44081;
>                                                int32_t res_44084;
>                                                int32_t res_44085;
>                                                int32_t res_44082;
>                                                int32_t res_44083;
>                                                
>                                                cond_44081 = res_43554 == 4;
>                                                if (cond_44081) {
>                                                    res_44082 = 0;
>                                                    res_44083 = 3;
>                                                    res_44084 = 2;
>                                                    res_44085 = 1;
>                                                } else {
>                                                    char cond_44086;
>                                                    int32_t res_44088;
>                                                    int32_t res_44089;
>                                                    int32_t res_44090;
>                                                    int32_t res_44087;
>                                                    
>                                                    cond_44086 = res_43554 ==
>                                                        69;
>                                                    if (cond_44086) {
>                                                        res_44087 = 2;
>                                                        res_44088 = 1;
>                                                        res_44089 = 0;
>                                                        res_44090 = 3;
>                                                    } else {
>                                                        char cond_44091;
>                                                        int32_t res_44092;
>                                                        int32_t res_44093;
>                                                        int32_t res_44094;
>                                                        int32_t res_44095;
>                                                        
>                                                        cond_44091 =
>                                                            res_43554 == 65;
>                                                        if (cond_44091) {
>                                                            res_44092 = 2;
>                                                            res_44093 = 1;
>                                                            res_44094 = 0;
>                                                            res_44095 = 3;
>                                                        } else {
>                                                            char cond_44096;
>                                                            int32_t res_44100;
>                                                            int32_t res_44097;
>                                                            int32_t res_44098;
>                                                            int32_t res_44099;
>                                                            
>                                                            cond_44096 =
>                                                                res_43554 == 17;
>                                                            if (cond_44096) {
>                                                                res_44097 = 3;
>                                                                res_44098 = 1;
>                                                                res_44099 = 2;
>                                                                res_44100 = 0;
>                                                            } else {
>                                                                char cond_44101;
>                                                                int32_t
>                                                                res_44102;
>                                                                int32_t
>                                                                res_44103;
>                                                                
>                                                                cond_44101 =
>                                                                    res_43554 ==
>                                                                    68;
>                                                                if (cond_44101) {
>                                                                    res_44102 =
>                                                                        1;
>                                                                    res_44103 =
>                                                                        2;
>                                                                } else {
>                                                                    res_44102 =
>                                                                        2;
>                                                                    res_44103 =
>                                                                        1;
>                                                                }
>                                                                res_44097 = 0;
>                                                                res_44098 =
>                                                                    res_44103;
>                                                                res_44099 =
>                                                                    res_44102;
>                                                                res_44100 = 3;
>                                                            }
>                                                            res_44092 =
>                                                                res_44097;
>                                                            res_44093 =
>                                                                res_44098;
>                                                            res_44094 =
>                                                                res_44099;
>                                                            res_44095 =
>                                                                res_44100;
>                                                        }
>                                                        res_44087 = res_44092;
>                                                        res_44088 = res_44093;
>                                                        res_44089 = res_44094;
>                                                        res_44090 = res_44095;
>                                                    }
>                                                    res_44082 = res_44087;
>                                                    res_44083 = res_44088;
>                                                    res_44084 = res_44089;
>                                                    res_44085 = res_44090;
>                                                }
>                                                res_44077 = res_44082;
>                                                res_44078 = res_44083;
>                                                res_44079 = res_44084;
>                                                res_44080 = res_44085;
>                                            }
>                                            res_44072 = res_44077;
>                                            res_44073 = res_44078;
>                                            res_44074 = res_44079;
>                                            res_44075 = res_44080;
>                                        }
>                                        res_44067 = res_44072;
>                                        res_44068 = res_44073;
>                                        res_44069 = res_44074;
>                                        res_44070 = res_44075;
>                                    }
>                                    res_44062 = res_44067;
>                                    res_44063 = res_44068;
>                                    res_44064 = res_44069;
>                                    res_44065 = res_44070;
>                                }
>                                res_44057 = res_44062;
>                                res_44058 = res_44063;
>                                res_44059 = res_44064;
>                                res_44060 = res_44065;
>                            }
>                            res_44051 = res_44057;
>                            res_44052 = res_44058;
>                            res_44053 = res_44059;
>                            res_44054 = res_44060;
>                        }
>                        res_44044 = res_44051;
>                        res_44045 = res_44052;
>                        res_44046 = res_44053;
>                        res_44047 = res_44054;
>                    }
>                    res_44036 = res_44044;
>                    res_44037 = res_44045;
>                    res_44038 = res_44046;
>                    res_44039 = res_44047;
>                }
>                res_44028 = res_44036;
>                res_44029 = res_44037;
>                res_44030 = res_44038;
>                res_44031 = res_44039;
>            }
>            res_44024 = res_44028;
>            res_44025 = res_44029;
>            res_44022 = res_44030;
>            res_44023 = res_44031;
>        }
>        eq_x_y_44104 = 0 == res_42312;
>        eq_x_zz_44105 = 0 == res_44003;
>        p_and_eq_x_y_44106 = res_44019 && eq_x_y_44104;
>        not_p_44107 = !res_44019;
>        p_and_eq_x_y_44108 = not_p_44107 && eq_x_zz_44105;
>        cond_44109 = p_and_eq_x_y_44106 || p_and_eq_x_y_44108;
>        if (cond_44109) {
>            res_44110 = res_44024;
>        } else {
>            char eq_x_y_44111;
>            char eq_x_zz_44112;
>            char p_and_eq_x_y_44113;
>            char p_and_eq_x_y_44114;
>            char cond_44115;
>            int32_t res_44116;
>            
>            eq_x_y_44111 = 1 == res_42312;
>            eq_x_zz_44112 = 1 == res_44003;
>            p_and_eq_x_y_44113 = res_44019 && eq_x_y_44111;
>            p_and_eq_x_y_44114 = not_p_44107 && eq_x_zz_44112;
>            cond_44115 = p_and_eq_x_y_44113 || p_and_eq_x_y_44114;
>            if (cond_44115) {
>                res_44116 = res_44025;
>            } else {
>                char eq_x_y_44117;
>                char eq_x_zz_44118;
>                char p_and_eq_x_y_44119;
>                char p_and_eq_x_y_44120;
>                char cond_44121;
>                int32_t res_44122;
>                
>                eq_x_y_44117 = 2 == res_42312;
>                eq_x_zz_44118 = 2 == res_44003;
>                p_and_eq_x_y_44119 = res_44019 && eq_x_y_44117;
>                p_and_eq_x_y_44120 = not_p_44107 && eq_x_zz_44118;
>                cond_44121 = p_and_eq_x_y_44119 || p_and_eq_x_y_44120;
>                if (cond_44121) {
>                    res_44122 = res_44022;
>                } else {
>                    res_44122 = res_44023;
>                }
>                res_44116 = res_44122;
>            }
>            res_44110 = res_44116;
>        }
>        trunc_arg_44123 = 8 * res_44110;
>        y_44124 = 255 << trunc_arg_44123;
>        x_44125 = res_42395 & y_44124;
>        res_44126 = lshr32(x_44125, trunc_arg_44123);
>        cond_44127 = res_44126 == 23;
>        if (cond_44127) {
>            cond_44128 = 1;
>        } else {
>            char res_44129 = res_44126 == 24;
>            
>            cond_44128 = res_44129;
>        }
>        if (cond_44128) {
>            cond_44130 = 1;
>        } else {
>            char res_44131 = res_44126 == 25;
>            
>            cond_44130 = res_44131;
>        }
>        if (cond_44130) {
>            cond_44132 = 1;
>        } else {
>            char res_44133 = res_44126 == 26;
>            
>            cond_44132 = res_44133;
>        }
>        if (cond_44132) {
>            res_44134 = 1;
>        } else {
>            char res_44135 = res_44126 == 29;
>            
>            res_44134 = res_44135;
>        }
>        cond_44136 = res_43359 == res_43361;
>        if (cond_44136) {
>            char res_44138 = res_43361 == res_43363;
>            
>            cond_44137 = res_44138;
>        } else {
>            cond_44137 = 0;
>        }
>        if (cond_44137) {
>            char res_44140 = res_43363 == res_43365;
>            
>            cond_44139 = res_44140;
>        } else {
>            cond_44139 = 0;
>        }
>        if (cond_44139) {
>            res_44141 = res_42312;
>        } else {
>            char cond_44142;
>            char cond_44143;
>            char cond_44145;
>            char cond_44147;
>            char res_44149;
>            int32_t res_44151;
>            
>            cond_44142 = res_43357 == 23;
>            if (cond_44142) {
>                cond_44143 = 1;
>            } else {
>                char res_44144 = res_43357 == 24;
>                
>                cond_44143 = res_44144;
>            }
>            if (cond_44143) {
>                cond_44145 = 1;
>            } else {
>                char res_44146 = res_43357 == 25;
>                
>                cond_44145 = res_44146;
>            }
>            if (cond_44145) {
>                cond_44147 = 1;
>            } else {
>                char res_44148 = res_43357 == 26;
>                
>                cond_44147 = res_44148;
>            }
>            if (cond_44147) {
>                res_44149 = 1;
>            } else {
>                char res_44150 = res_43357 == 29;
>                
>                res_44149 = res_44150;
>            }
>            if (res_44149) {
>                res_44151 = res_42312;
>            } else {
>                char eq_x_zz_44152;
>                char not_p_44153;
>                char p_and_eq_x_y_44154;
>                char condtrue_44155;
>                char cond_44156;
>                char cond_44157;
>                int32_t res_44158;
>                
>                eq_x_zz_44152 = res_42312 == res_43639;
>                not_p_44153 = !res_43655;
>                p_and_eq_x_y_44154 = not_p_44153 && eq_x_zz_44152;
>                condtrue_44155 = res_43655 || p_and_eq_x_y_44154;
>                cond_44156 = !condtrue_44155;
>                cond_44157 = cond_44156 || res_43776;
>                if (cond_44157) {
>                    res_44158 = res_43657;
>                } else {
>                    char eq_x_y_44159;
>                    char eq_x_zz_44160;
>                    char p_and_eq_x_y_44161;
>                    char p_and_eq_x_y_44162;
>                    char eq_x_zz_44163;
>                    char not_p_44164;
>                    char p_and_eq_x_y_44165;
>                    char cond_44166;
>                    int32_t res_44167;
>                    
>                    eq_x_y_44159 = res_44110 == res_42312;
>                    eq_x_zz_44160 = res_44110 == res_44003;
>                    p_and_eq_x_y_44161 = res_44019 && eq_x_y_44159;
>                    p_and_eq_x_y_44162 = not_p_44107 && eq_x_zz_44160;
>                    eq_x_zz_44163 = p_and_eq_x_y_44161 || p_and_eq_x_y_44162;
>                    not_p_44164 = !res_44134;
>                    p_and_eq_x_y_44165 = not_p_44164 && eq_x_zz_44163;
>                    cond_44166 = res_44134 || p_and_eq_x_y_44165;
>                    if (cond_44166) {
>                        res_44167 = res_44021;
>                    } else {
>                        res_44167 = res_43657;
>                    }
>                    res_44158 = res_44167;
>                }
>                res_44151 = res_44158;
>            }
>            res_44141 = res_44151;
>        }
>        trunc_arg_44168 = 8 * res_44141;
>        y_44169 = 255 << trunc_arg_44168;
>        x_44170 = res_42395 & y_44169;
>        res_44171 = lshr32(x_44170, trunc_arg_44168);
>        cond_44172 = res_44171 == 22;
>        if (cond_44172) {
>            res_44173 = 0;
>        } else {
>            char cond_44174;
>            char res_44175;
>            int32_t res_44177;
>            
>            cond_44174 = ule32(12, res_44171);
>            if (cond_44174) {
>                char res_44176 = ule32(res_44171, 22);
>                
>                res_44175 = res_44176;
>            } else {
>                res_44175 = 0;
>            }
>            if (res_44175) {
>                char cond_44178;
>                int32_t res_44179;
>                
>                cond_44178 = slt32(x_42310, 50);
>                if (cond_44178) {
>                    int32_t res_44180 = res_44171 + 1;
>                    
>                    res_44179 = res_44180;
>                } else {
>                    res_44179 = res_44171;
>                }
>                res_44177 = res_44179;
>            } else {
>                char cond_44181;
>                int32_t res_44182;
>                
>                cond_44181 = res_44171 == 1;
>                if (cond_44181) {
>                    char cond_44183;
>                    int32_t res_44184;
>                    
>                    cond_44183 = slt32(x_42310, 1);
>                    if (cond_44183) {
>                        res_44184 = 7;
>                    } else {
>                        res_44184 = 1;
>                    }
>                    res_44182 = res_44184;
>                } else {
>                    char cond_44185;
>                    int32_t res_44186;
>                    
>                    cond_44185 = res_44171 == 2;
>                    if (cond_44185) {
>                        char cond_44187;
>                        int32_t res_44188;
>                        
>                        cond_44187 = slt32(x_42310, 5);
>                        if (cond_44187) {
>                            res_44188 = 7;
>                        } else {
>                            res_44188 = 2;
>                        }
>                        res_44186 = res_44188;
>                    } else {
>                        char cond_44189;
>                        int32_t res_44190;
>                        
>                        cond_44189 = res_44171 == 28;
>                        if (cond_44189) {
>                            int32_t x_44192;
>                            int32_t i_44193;
>                            int32_t res_44194;
>                            
>                            *(__global int32_t *) &mem_44230[global_tid_42294 *
>                                                             4] = 0;
>                            *(__global
>                              int32_t *) &mem_44230[(num_threads_42258 +
>                                                     global_tid_42294) * 4] = 1;
>                            *(__global int32_t *) &mem_44230[(2 *
>                                                              num_threads_42258 +
>                                                              global_tid_42294) *
>                                                             4] = 2;
>                            *(__global int32_t *) &mem_44230[(3 *
>                                                              num_threads_42258 +
>                                                              global_tid_42294) *
>                                                             4] = 6;
>                            *(__global int32_t *) &mem_44230[(4 *
>                                                              num_threads_42258 +
>                                                              global_tid_42294) *
>                                                             4] = 7;
>                            *(__global int32_t *) &mem_44230[(5 *
>                                                              num_threads_42258 +
>                                                              global_tid_42294) *
>                                                             4] = 8;
>                            *(__global int32_t *) &mem_44230[(6 *
>                                                              num_threads_42258 +
>                                                              global_tid_42294) *
>                                                             4] = 9;
>                            *(__global int32_t *) &mem_44230[(7 *
>                                                              num_threads_42258 +
>                                                              global_tid_42294) *
>                                                             4] = 10;
>                            *(__global int32_t *) &mem_44230[(8 *
>                                                              num_threads_42258 +
>                                                              global_tid_42294) *
>                                                             4] = 11;
>                            *(__global int32_t *) &mem_44230[(9 *
>                                                              num_threads_42258 +
>                                                              global_tid_42294) *
>                                                             4] = 12;
>                            *(__global int32_t *) &mem_44230[(10 *
>                                                              num_threads_42258 +
>                                                              global_tid_42294) *
>                                                             4] = 22;
>                            *(__global int32_t *) &mem_44230[(11 *
>                                                              num_threads_42258 +
>                                                              global_tid_42294) *
>                                                             4] = 23;
>                            *(__global int32_t *) &mem_44230[(12 *
>                                                              num_threads_42258 +
>                                                              global_tid_42294) *
>                                                             4] = 24;
>                            *(__global int32_t *) &mem_44230[(13 *
>                                                              num_threads_42258 +
>                                                              global_tid_42294) *
>                                                             4] = 25;
>                            *(__global int32_t *) &mem_44230[(14 *
>                                                              num_threads_42258 +
>                                                              global_tid_42294) *
>                                                             4] = 26;
>                            *(__global int32_t *) &mem_44230[(15 *
>                                                              num_threads_42258 +
>                                                              global_tid_42294) *
>                                                             4] = 27;
>                            *(__global int32_t *) &mem_44230[(16 *
>                                                              num_threads_42258 +
>                                                              global_tid_42294) *
>                                                             4] = 28;
>                            x_44192 = x_42310 * 17;
>                            i_44193 = sdiv32(x_44192, 110);
>                            res_44194 = *(__global
>                                          int32_t *) &mem_44230[(i_44193 *
>                                                                 num_threads_42258 +
>                                                                 global_tid_42294) *
>                                                                4];
>                            res_44190 = res_44194;
>                        } else {
>                            res_44190 = res_44171;
>                        }
>                        res_44186 = res_44190;
>                    }
>                    res_44182 = res_44186;
>                }
>                res_44177 = res_44182;
>            }
>            res_44173 = res_44177;
>        }
>    }
>    if (thread_active_44270) {
>        *(__global int32_t *) &mem_44233[(gtid_42286 * w_36410 + gtid_42287) *
>                                         4] = res_44173;
>    }
>}

Actions: View

Attachments on bug 98886: 128236 | 128237

Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct. How we collect and use information is described in our Privacy Policy.