#include "types-and-globals.h" #include "helpers.h" _ABI(Microsoft_x86_cdecl) struct_77 function_0x401681_Code_x86(void) { struct_77 var_0; return var_0; } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x401746_Code_x86(void) { *(cabifunction_87 **) (revng_undefined_local_sp() - 2480) = function_0x401906_Code_x86; *(cabifunction_95 **) (revng_undefined_local_sp() - 2604) = function_0x401c10_Code_x86; *(cabifunction_95 **) (revng_undefined_local_sp() - 2448) = function_0x401c10_Code_x86; segment_0.offset_2303 = function_0x40190e_Code_x86; *(generic32_t *) (revng_undefined_local_sp() - 24) = 1; *(generic32_t **) (revng_undefined_local_sp() - 2500) = segment_2.offset_8; *(generic32_t *) (revng_undefined_local_sp() - 2504) = *(generic32_t *) (revng_undefined_local_sp() - 2448) - *(generic32_t *) (revng_undefined_local_sp() - 2480); *(generic32_t *) (revng_undefined_local_sp() - 2508) = *(generic32_t *) (revng_undefined_local_sp() - 2480); *(generic32_t *) (revng_undefined_local_sp() - 2488) = 0; *(generic32_t *) (revng_undefined_local_sp() - 2492) = 0; if (*(generic32_t *) (revng_undefined_local_sp() - 2504) > 3) { do { *(generic32_t *) (revng_undefined_local_sp() - 2496) = *(generic32_t *) *(generic32_t *) (revng_undefined_local_sp() - 2508); *(generic32_t *) *(generic32_t *) (revng_undefined_local_sp() - 2508) = *(generic32_t *) *(generic32_t *) (revng_undefined_local_sp() - 2508) ^ *(generic32_t *) (revng_undefined_local_sp() - 2500); *(generic32_t *) *(generic32_t *) (revng_undefined_local_sp() - 2508) = *(generic32_t *) *(generic32_t *) (revng_undefined_local_sp() - 2508) ^ *(generic32_t *) (revng_undefined_local_sp() - 2492); *(generic32_t *) (revng_undefined_local_sp() - 2492) = *(generic32_t *) (revng_undefined_local_sp() - 2496); *(generic32_t *) (revng_undefined_local_sp() - 2488) = *(generic32_t *) (revng_undefined_local_sp() - 2488) ^ *(generic32_t *) (revng_undefined_local_sp() - 2496); *(generic32_t *) (revng_undefined_local_sp() - 2508) = *(generic32_t *) (revng_undefined_local_sp() - 2508) + 4; *(generic32_t *) (revng_undefined_local_sp() - 2504) = *(generic32_t *) (revng_undefined_local_sp() - 2504) - 4; } while (*(generic32_t *) (revng_undefined_local_sp() - 2504) > 7 || *(generic32_t *) (revng_undefined_local_sp() - 2504) < 4); *(cabifunction_89 **) (revng_undefined_local_sp() - 2604) = function_0x40190e_Code_x86; revng_abort("A longjmp was taken"); } else { *(cabifunction_89 **) (revng_undefined_local_sp() - 2604) = function_0x40190e_Code_x86; revng_abort("A longjmp was taken"); } } _ABI(Microsoft_x86_cdecl) void function_0x401906_Code_x86(void) { generic32_t var_0; generic32_t var_1; generic32_t var_2; generic32_t var_3; generic32_t var_4; generic32_t var_5; generic32_t var_6; generic32_t var_7; generic32_t var_8; generic32_t var_9; generic32_t var_10; generic32_t var_11; generic32_t var_12; generic32_t var_13; generic32_t var_14; generic32_t var_15; generic32_t var_16; generic32_t var_17; generic32_t var_18; generic32_t var_19; generic32_t var_20; generic32_t var_21; generic32_t var_22; generic32_t var_23; generic32_t var_24; generic32_t var_25; generic32_t var_26; generic32_t var_27; generic32_t var_28; generic32_t var_29; generic32_t var_30; generic32_t var_31; generic32_t var_32; generic32_t var_33; generic32_t var_34; generic32_t var_35; generic32_t var_36; generic32_t var_37; generic32_t var_38; generic32_t var_39; generic32_t var_40; generic32_t var_41; generic32_t var_42; generic32_t var_43; generic32_t var_44; generic8_t var_45; helper_check_iob_wrapper(NULL, 0, undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), revng_undefined_local_sp(), function_0x401906_Code_x86, 4294967295, 514, 4194483, 43, 0, 35, 0, 13630208, 43, 0, 13628160, 43, 0, 0, 43, 0, 65535, 0, 65535, 35584, 1073741824, 71, 2147549185, 0, 0, 0, 4294967295, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45); helper_outb(NULL, 0, var_2); } _ABI(Microsoft_x86_cdecl) void function_0x401907_Code_x86(void) { } _ABI(Microsoft_x86_cdecl) void function_0x40190e_Code_x86(void) { } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x401958_Code_x86(void) { generic32_t var_0; generic32_t var_1; generic32_t var_2; generic32_t var_3; generic8_t var_4; generic8_t var_5; generic8_t var_6; generic8_t var_7; generic8_t var_8; generic8_t var_9; generic8_t var_10; generic8_t var_11; generic64_t var_12; generic16_t var_13; generic64_t var_14; generic16_t var_15; generic64_t var_16; generic16_t var_17; generic64_t var_18; generic16_t var_19; generic64_t var_20; generic16_t var_21; generic64_t var_22; generic16_t var_23; generic64_t var_24; generic16_t var_25; generic64_t var_26; generic16_t var_27; generic16_t var_28; generic8_t var_29; generic8_t var_30; *(generic32_t *) NULL = ~*(generic32_t *) NULL; *(generic32_t *) (revng_undefined_local_sp() - 8) = 1477847635; helper_fldcw_wrapper(NULL, (uint32_t) *(generic16_t *) NULL, 895, &var_28, &var_29, &var_30); var_2 = lshift(0, 0); var_1 = lshift(0, 4); *(generic32_t *) (generic32_t) 1477847635 = *(generic32_t *) (generic32_t) 1477847635; var_0 = lshift(undef(generic32_t), 4294967272); helper_fildl_ST0_wrapper(NULL, *(generic32_t *) (*(generic32_t *) (generic32_t) 1477847635 + 47), 0, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27); } _ABI(Microsoft_x86_cdecl) void function_0x401979_Code_x86(void) { generic32_t var_0; generic32_t var_1; generic32_t var_2; generic32_t var_3; generic32_t var_4; generic32_t var_5; generic32_t var_6; generic32_t var_7; generic32_t var_8; generic32_t var_9; generic32_t var_10; generic32_t var_11; generic32_t var_12; generic32_t var_13; generic32_t var_14; generic32_t var_15; generic32_t var_16; generic32_t var_17; generic32_t var_18; generic32_t var_19; generic32_t var_20; generic32_t var_21; generic32_t var_22; generic32_t var_23; generic32_t var_24; generic32_t var_25; generic32_t var_26; generic32_t var_27; generic32_t var_28; generic32_t var_29; generic32_t var_30; generic32_t var_31; generic32_t var_32; generic32_t var_33; generic32_t var_34; generic32_t var_35; generic32_t var_36; generic32_t var_37; generic32_t var_38; generic32_t var_39; generic32_t var_40; generic32_t var_41; generic32_t var_42; generic32_t var_43; generic32_t var_44; generic8_t var_45; helper_lret_protected_wrapper(NULL, 1, 0, undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), revng_undefined_local_sp(), function_0x401979_Code_x86, 4294967295, 514, 4194483, 43, 0, 13628160, 35, 0, 13630208, 43, 0, 13628160, 43, 0, 13628160, 0, 13628160, 43, 13628160, 0, 65535, 1073741824, 71, 2147549185, 0, 0, 0, 4294967295, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45); } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x401a3b_Code_x86(void) { generic32_t var_0; generic32_t var_1; generic32_t var_2; generic32_t var_3; generic32_t var_4; generic32_t var_5; generic32_t var_6; generic32_t var_7; generic32_t var_8; generic32_t var_9; generic32_t var_10; generic32_t var_11; generic32_t var_12; generic32_t var_13; generic32_t var_14; generic32_t var_15; generic32_t var_16; generic32_t var_17; generic32_t var_18; generic32_t var_19; generic32_t var_20; generic32_t var_21; generic32_t var_22; generic32_t var_23; generic32_t var_24; generic32_t var_25; generic32_t var_26; generic32_t var_27; generic32_t var_28; generic32_t var_29; generic32_t var_30; generic32_t var_31; generic32_t var_32; generic32_t var_33; generic32_t var_34; generic32_t var_35; generic32_t var_36; generic32_t var_37; generic32_t var_38; generic32_t var_39; generic32_t var_40; generic32_t var_41; generic32_t var_42; generic32_t var_43; generic32_t var_44; generic8_t var_45; generic32_t var_46; generic32_t var_47; generic64_t var_48; generic16_t var_49; generic64_t var_50; generic16_t var_51; generic64_t var_52; generic16_t var_53; generic64_t var_54; generic16_t var_55; generic64_t var_56; generic16_t var_57; generic64_t var_58; generic16_t var_59; generic64_t var_60; generic16_t var_61; generic64_t var_62; generic16_t var_63; generic8_t var_64; generic64_t var_65; generic16_t var_66; generic32_t var_67; generic32_t var_68; generic32_t var_69; generic32_t var_70; generic32_t var_71; generic32_t var_72; generic32_t var_73; generic32_t var_74; generic32_t var_75; generic32_t var_76; generic32_t var_77; generic32_t var_78; generic32_t var_79; generic32_t var_80; generic32_t var_81; generic32_t var_82; generic32_t var_83; generic32_t var_84; generic32_t var_85; generic32_t var_86; generic32_t var_87; generic32_t var_88; generic32_t var_89; generic32_t var_90; generic32_t var_91; generic32_t var_92; generic32_t var_93; generic32_t var_94; generic32_t var_95; generic32_t var_96; generic32_t var_97; generic32_t var_98; generic32_t var_99; generic32_t var_100; generic32_t var_101; generic32_t var_102; generic32_t var_103; generic32_t var_104; generic32_t var_105; generic32_t var_106; generic32_t var_107; generic32_t var_108; generic32_t var_109; generic32_t var_110; generic32_t var_111; generic8_t var_112; generic8_t var_113; generic32_t var_114; generic32_t var_115; generic32_t var_116; generic32_t var_117; generic32_t var_118; generic32_t var_119; generic32_t var_120; generic32_t var_121; generic32_t var_122; generic32_t var_123; generic32_t var_124; generic32_t var_125; generic32_t var_126; generic32_t var_127; generic32_t var_128; generic32_t var_129; generic32_t var_130; generic32_t var_131; generic32_t var_132; generic32_t var_133; generic32_t var_134; generic32_t var_135; generic32_t var_136; generic32_t var_137; generic32_t var_138; generic32_t var_139; generic32_t var_140; generic32_t var_141; generic32_t var_142; generic32_t var_143; generic32_t var_144; generic32_t var_145; generic32_t var_146; generic32_t var_147; generic32_t var_148; generic32_t var_149; generic32_t var_150; generic32_t var_151; generic32_t var_152; generic32_t var_153; generic32_t var_154; generic32_t var_155; generic32_t var_156; generic32_t var_157; generic32_t var_158; generic8_t var_159; generic32_t var_160; generic32_t var_161; generic32_t var_162; generic32_t var_163; generic32_t var_164; generic32_t var_165; generic32_t var_166; generic32_t var_167; generic32_t var_168; generic32_t var_169; generic32_t var_170; generic32_t var_171; generic32_t var_172; generic32_t var_173; generic32_t var_174; generic32_t var_175; generic32_t var_176; generic32_t var_177; generic32_t var_178; generic32_t var_179; generic32_t var_180; generic32_t var_181; generic32_t var_182; generic32_t var_183; generic32_t var_184; generic32_t var_185; generic32_t var_186; generic32_t var_187; generic32_t var_188; generic32_t var_189; generic32_t var_190; generic32_t var_191; generic32_t var_192; generic32_t var_193; generic32_t var_194; generic32_t var_195; generic32_t var_196; generic32_t var_197; generic32_t var_198; generic32_t var_199; generic32_t var_200; generic32_t var_201; generic32_t var_202; generic32_t var_203; generic32_t var_204; generic8_t var_205; generic32_t var_206; generic32_t var_207; generic32_t var_208; helper_daa_wrapper(NULL, 0, 0, 0, 0, undef(generic32_t), &var_206, &var_207); helper_lock(); *(generic8_t *) NULL = (number8_t) ((uint32_t) var_207 >> 8); helper_unlock(); helper_load_seg_wrapper(NULL, 2, *(generic32_t *) revng_undefined_local_sp(), (var_207 & 0xFFFF00FF) | ((number32_t) *(generic8_t *) NULL << 8), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), revng_undefined_local_sp(), (pointer_or_number32_t) &segment_0 + 2626, 4294967295, 514, 4194483, 43, 0, 35, 0, 13630208, 43, 0, 13628160, 43, 0, 0, 43, 0, 65535, 1073741824, 71, 2147549185, 0, 0, 0, 4294967295, &var_160, &var_161, &var_162, &var_163, &var_164, &var_165, &var_166, &var_167, &var_168, &var_169, &var_170, &var_171, &var_172, &var_173, &var_174, &var_175, &var_176, &var_177, &var_178, &var_179, &var_180, &var_181, &var_182, &var_183, &var_184, &var_185, &var_186, &var_187, &var_188, &var_189, &var_190, &var_191, &var_192, &var_193, &var_194, &var_195, &var_196, &var_197, &var_198, &var_199, &var_200, &var_201, &var_202, &var_203, &var_204, &var_205); var_208 = var_166 - 34; helper_check_iob_wrapper(NULL, var_167 & 0xFFFF, (var_166 & 0xFFFFFF00) | (var_208 & 0xFF), var_163, var_164, var_165, var_162, var_167, var_168, 848011118, (pointer_or_number32_t) &segment_0 + 2672, var_171, var_172, var_174 | 0x8, var_175, var_176, var_179, var_180, var_182, var_183, var_184, var_186, var_187, var_188, var_191, var_195, var_199, var_200, 0, 65535, 35584, 1073741824, 71, 2147549185, 0, var_201, var_203, var_204, &var_114, &var_115, &var_116, &var_117, &var_118, &var_119, &var_120, &var_121, &var_122, &var_123, &var_124, &var_125, &var_126, &var_127, &var_128, &var_129, &var_130, &var_131, &var_132, &var_133, &var_134, &var_135, &var_136, &var_137, &var_138, &var_139, &var_140, &var_141, &var_142, &var_143, &var_144, &var_145, &var_146, &var_147, &var_148, &var_149, &var_150, &var_151, &var_152, &var_153, &var_154, &var_155, &var_156, &var_157, &var_158, &var_159); helper_outb(NULL, var_121 & 0xFFFF, (uint32_t) *(generic8_t *) var_122); *(generic32_t *) (var_123 - 4) = var_117; helper_enter_level_wrapper(NULL, 20, 1, var_123 - 4, var_117, var_123, var_138, var_140); switch ((number32_t) var_114) { case 44: { var_208 = !var_115; } break; case 43: { var_208 = !(var_115 & 0xFFFF); } break; case 42: { var_208 = !(var_115 & 0xFF); } break; case 36: { var_208 = (uint32_t) var_115 >> 31; } break; case 35: { var_208 = ((uint32_t) var_115 >> 15) & 0x1; } break; case 34: { var_208 = ((uint32_t) var_115 >> 7) & 0x1; } break; case 20: { var_208 = var_166 - 34 > ~var_115; } break; case 19: { var_208 = ((var_166 - 34 + var_115) & 0xFFFF) < (var_115 & 0xFFFF); } break; case 18: { var_208 = ((var_166 - 34 + var_115) & 0xFF) < (var_115 & 0xFF); } break; case 16: { var_208 = var_166 - 34 > ~var_115; } break; case 15: { var_208 = ((var_166 - 34 + var_115) & 0xFFFF) < (var_115 & 0xFFFF); } break; case 14: { var_208 = ((var_166 - 34 + var_115) & 0xFF) < (var_115 & 0xFF); } break; case 12: { var_208 = var_166 - 34 < var_115; } break; case 11: { var_208 = ((var_166 - 34) & 0xFFFF) < (var_115 & 0xFFFF); } break; case 10: { var_208 = (var_208 & 0xFF) < (var_115 & 0xFF); } break; case 8: { var_208 = var_166 - 34 < var_115; } break; case 7: { var_208 = ((var_166 - 34) & 0xFFFF) < (var_115 & 0xFFFF); } break; case 6: { var_208 = (var_208 & 0xFF) < (var_115 & 0xFF); } break; case 2: case 3: case 4: case 5: { var_208 = var_115 != 0; } break; case 26: case 27: case 28: case 29: case 30: case 31: case 32: case 33: { var_208 = var_115; } break; case 1: case 38: case 39: case 40: case 41: case 47: { var_208 = var_115 & 0x1; } break; case 46: case 48: { break; } break; default: { var_208 = 0; } break; } generic32_t var_209; generic32_t var_210; generic32_t var_211; generic32_t var_212; generic32_t var_213; generic32_t var_214; generic32_t var_215; generic32_t var_216; generic32_t var_217; generic32_t var_218; generic32_t var_219; generic32_t var_220; generic32_t var_221; generic32_t var_222; generic32_t var_223; generic32_t var_224; generic32_t var_225; generic32_t var_226; generic32_t var_227; generic32_t var_228; generic32_t var_229; generic32_t var_230; generic32_t var_231; generic32_t var_232; generic32_t var_233; generic32_t var_234; generic64_t var_235; generic16_t var_236; generic64_t var_237; generic16_t var_238; generic64_t var_239; generic16_t var_240; generic64_t var_241; generic16_t var_242; generic64_t var_243; generic16_t var_244; generic64_t var_245; generic16_t var_246; generic64_t var_247; generic16_t var_248; generic64_t var_249; generic16_t var_250; generic32_t var_251; generic8_t var_252; generic32_t var_253; generic32_t var_254; generic32_t var_255; generic32_t var_256; generic32_t var_257; generic32_t var_258; var_251 = var_208; var_209 = helper_fistl_ST0_wrapper(NULL, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, '\000', '\000', &var_113); var_252 = var_113; *(generic32_t *) (var_118 + (var_116 - 1) - 2131232846) = var_209; var_254 = (((uint32_t) var_118 >> 8) & 0xFF) ^ *(generic8_t *) (var_116 - 1); var_232 = (var_118 & 0xFFFF00FF) | ((number32_t) var_254 << 8); var_234 = ((var_116 - 1) & 0xFFFF00FF) | 0x6C00; var_233 = var_123 - 55148; *(generic32_t *) var_233 = var_123 - 4; helper_enter_level_wrapper(NULL, 25, 1, var_233, var_123 - 4, var_123 - 55144, var_138, var_140); var_255 = var_123 - 112894; var_210 = var_125; var_211 = var_126; var_212 = var_127; var_213 = var_128; var_214 = var_129; var_215 = var_130; var_216 = var_133; var_217 = var_134; var_218 = var_136; var_219 = var_137; var_220 = var_138; var_221 = var_140; var_222 = var_141; var_223 = var_142; var_224 = var_145; var_225 = var_149; var_226 = var_153; var_227 = var_154; var_228 = var_122 + var_127; var_229 = var_121; var_230 = var_120; var_231 = var_119; var_235 = 0; var_236 = 0; var_237 = 0; var_238 = 0; var_239 = 0; var_240 = 0; var_241 = 0; var_242 = 0; var_243 = 0; var_244 = 0; var_245 = 0; var_246 = 0; var_247 = 0; var_248 = 0; var_249 = 0; var_250 = 0; var_253 = 22; var_256 = var_155; var_257 = var_157; var_258 = var_158; while (true) { generic32_t var_259; var_259 = var_251; switch ((number32_t) var_253) { case 26: case 28: case 30: { break; } break; case 20: { var_259 = var_254 > ~var_251; } break; case 18: { var_259 = ((var_254 + var_251) & 0xFF) < (var_251 & 0xFF); } break; case 16: { var_259 = var_254 > ~var_251; } break; default: { var_259 = 0; } break; } *(generic8_t *) ((var_231 << 3) + var_229 + 46) = (number8_t) ((uint32_t) var_231 >> 8); *(generic8_t *) ((var_234 & 0xFFFFFF00) | *(generic8_t *) var_228) = *(generic8_t *) ((var_234 & 0xFFFFFF00) | *(generic8_t *) var_228) - ((number8_t) ((uint32_t) var_232 >> 8) + (number8_t) var_259); if ((int32_t) ((var_231 - 1) & 0xFFFF00FF) > -3074) { generic32_t var_260; generic32_t var_261; generic8_t var_262; var_262 = !(number8_t) var_259 ? (((uint32_t) var_232 >> 8) & 0xFF) > *(generic8_t *) ((var_234 & 0xFFFFFF00) | *(generic8_t *) var_228) - ((number8_t) ((uint32_t) var_232 >> 8) + (number8_t) var_259) + (number8_t) ((uint32_t) var_232 >> 8) + (number8_t) var_259 : (((uint32_t) var_232 >> 8) & 0xFF) >= *(generic8_t *) ((var_234 & 0xFFFFFF00) | *(generic8_t *) var_228) - ((number8_t) ((uint32_t) var_232 >> 8) + (number8_t) var_259) + (number8_t) ((uint32_t) var_232 >> 8) + (number8_t) var_259; var_261 = lshift(((var_231 - 1) & 0xFFFF00FF) + 3073, 4294967272); var_260 = var_262 ? 256 : 0; helper_check_iob_wrapper(NULL, var_229 & 0xFFFF, (((var_234 & 0xFFFFFF00) | *(generic8_t *) var_228) & 0xE1950091) | var_260 | 0x1E6AFE6E, var_233, var_232, ((var_231 - 1) & 0xFFFF00FF) | 0xC00, var_230, var_229, var_228 + var_212, var_255 + 1, (pointer_or_number32_t) &segment_0 + 2719, var_210, var_211, var_213, var_214, var_215, var_216, var_217, var_218, var_219, var_220, var_221, var_222, var_223, var_224, var_225, var_226, var_227, 0, 65535, 35584, 1073741824, 71, 2147549185, 0, var_256, var_257, var_258, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45); helper_outb(NULL, var_7 & 0xFFFF, (uint32_t) *(generic8_t *) (var_16 + var_8)); revng_abort("A longjmp was taken"); } else { generic32_t var_263; *(generic32_t *) (var_255 - 3) = 122; helper_load_seg_wrapper(NULL, 4, (uint32_t) *(generic16_t *) ((var_229 & 0xFFFFFF3A) * 9), (var_234 & 0xFFFFFF00) | *(generic8_t *) var_228, var_233, var_232, ((var_231 - 1) & 0xFFFF00FF) + 3073, var_230, var_229 & 0xFFFFFF3A, var_228 + var_212, var_255 - 3, (pointer_or_number32_t) &segment_0 + 2738, var_210, var_211, var_213, var_214, var_215, var_216, var_217, var_218, var_219, var_220, var_221, var_222, var_223, var_224, var_225, var_226, var_227, 1073741824, 71, 2147549185, 0, var_256, var_257, var_258, &var_67, &var_68, &var_69, &var_70, &var_71, &var_72, &var_73, &var_74, &var_75, &var_76, &var_77, &var_78, &var_79, &var_80, &var_81, &var_82, &var_83, &var_84, &var_85, &var_86, &var_87, &var_88, &var_89, &var_90, &var_91, &var_92, &var_93, &var_94, &var_95, &var_96, &var_97, &var_98, &var_99, &var_100, &var_101, &var_102, &var_103, &var_104, &var_105, &var_106, &var_107, &var_108, &var_109, &var_110, &var_111, &var_112); helper_fildl_FT0_wrapper(NULL, (int32_t) *(generic16_t *) (var_72 - 15), &var_65, &var_66); helper_fmul_ST0_FT0_wrapper(NULL, 0, var_235, var_236, var_237, var_238, var_239, var_240, var_241, var_242, var_243, var_244, var_245, var_246, var_247, var_248, var_249, var_250, '\000', '\000', var_252, 'P', '\000', '\000', var_65, var_66, &var_48, &var_49, &var_50, &var_51, &var_52, &var_53, &var_54, &var_55, &var_56, &var_57, &var_58, &var_59, &var_60, &var_61, &var_62, &var_63, &var_64); var_263 = var_229 & 0x3A; switch ((number32_t) var_67) { case 44: { var_263 = !var_68; } break; case 43: { var_263 = !(var_68 & 0xFFFF); } break; case 42: { var_263 = !(var_68 & 0xFF); } break; case 36: { var_263 = (uint32_t) var_68 >> 31; } break; case 35: { var_263 = ((uint32_t) var_68 >> 15) & 0x1; } break; case 34: { var_263 = ((uint32_t) var_68 >> 7) & 0x1; } break; case 20: { generic8_t var_264; var_264 = !var_259 ? (var_229 & 0x3A) + var_68 + var_259 < var_68 : (var_229 & 0x3A) + var_68 + var_259 <= var_68; var_263 = var_264; } break; case 19: { generic8_t var_265; var_265 = !(var_259 & 0xFFFF) ? (((var_229 & 0x3A) + var_68 + var_259) & 0xFFFF) < (var_68 & 0xFFFF) : (((var_229 & 0x3A) + var_68 + var_259) & 0xFFFF) <= (var_68 & 0xFFFF); var_263 = var_265; } break; case 18: { generic8_t var_266; var_266 = !(number8_t) var_259 ? (var_68 & 0xFF) > ((number8_t) var_229 & 0x3A) + (number8_t) var_68 + (number8_t) var_259 : (var_68 & 0xFF) >= ((number8_t) var_229 & 0x3A) + (number8_t) var_68 + (number8_t) var_259; var_263 = var_266; } break; case 16: { var_263 = (var_229 & 0x3A) > ~var_68; } break; case 15: { var_263 = (((var_229 & 0x3A) + var_68) & 0xFFFF) < (var_68 & 0xFFFF); } break; case 14: { var_263 = (var_68 & 0xFF) > ((number8_t) var_229 & 0x3A) + (number8_t) var_68; } break; case 12: { generic8_t var_267; var_267 = !var_259 ? (var_229 & 0x3A) < var_68 : (var_229 & 0x3A) <= var_68; var_263 = var_267; } break; case 11: { generic8_t var_268; var_268 = !(var_259 & 0xFFFF) ? (var_229 & 0x3A) < (var_68 & 0xFFFF) : (var_229 & 0x3A) <= (var_68 & 0xFFFF); var_263 = var_268; } break; case 10: { generic8_t var_269; var_269 = !(number8_t) var_259 ? (var_229 & 0x3A) < (var_68 & 0xFF) : (var_229 & 0x3A) <= (var_68 & 0xFF); var_263 = var_269; } break; case 8: { var_263 = (var_229 & 0x3A) < var_68; } break; case 7: { var_263 = (var_229 & 0x3A) < (var_68 & 0xFFFF); } break; case 6: { var_263 = (var_229 & 0x3A) < (var_68 & 0xFF); } break; case 2: case 3: case 4: case 5: { var_263 = var_68 != 0; } break; case 26: case 27: case 28: case 29: case 30: case 31: case 32: case 33: { var_263 = var_68; } break; case 1: case 38: case 39: case 40: case 41: case 47: { var_263 = var_68 & 0x1; } break; case 46: case 48: { break; } break; default: { var_263 = 0; } break; } helper_aas_wrapper(NULL, var_71 - 728154375 - var_263, 20, 728154375, var_263, var_69, &var_46, &var_47); *(generic32_t *) var_75 = var_47; *(generic32_t *) (var_47 | 0xCB) = *(generic32_t *) (var_47 | 0xCB) + var_76; if (*(generic8_t *) (var_71 - 728154375 - var_263 + 85) == (number8_t) ((uint32_t) (var_71 - 728154375 - var_263) >> 8)) { var_232 = (var_71 - 728154375 - var_263) & 0xFFFF00FF; var_228 = var_75 + 1; var_229 = (var_74 & 0xFFFFFF00) | (*(generic8_t *) (var_72 + 72) + (number8_t) var_74); var_254 = *(generic32_t *) ((var_47 | 0xCB) + 1823750194) & 0x19E12EC8; var_210 = var_78; var_211 = var_79; var_212 = var_80; var_213 = var_81; var_214 = var_82; var_215 = var_83; var_216 = var_86; var_217 = var_87; var_218 = var_89; var_219 = var_90; var_220 = var_91; var_221 = var_93; var_222 = var_94; var_223 = var_95; var_224 = var_98; var_225 = var_102; var_226 = var_106; var_227 = var_107; var_230 = var_75 + (var_80 << 2); var_231 = 2345768824; var_233 = var_70; var_234 = var_47 | 0xCB; var_235 = var_48; var_236 = var_49; var_237 = var_50; var_238 = var_51; var_239 = var_52; var_240 = var_53; var_241 = var_54; var_242 = var_55; var_243 = var_56; var_244 = var_57; var_245 = var_58; var_246 = var_59; var_247 = var_60; var_248 = var_61; var_249 = var_62; var_250 = var_63; var_251 = var_76; var_252 = var_64; var_253 = 24; var_255 = var_76; var_256 = var_108; var_257 = var_110; var_258 = var_111; continue; } helper_lock(); *(generic32_t *) 3011733427 = var_75 + (var_80 << 2); helper_unlock(); } } } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x401a8d_Code_x86(void) { generic32_t var_0; generic32_t var_1; generic32_t var_2; generic64_t var_3; generic16_t var_4; generic64_t var_5; generic16_t var_6; generic64_t var_7; generic16_t var_8; generic64_t var_9; generic16_t var_10; generic64_t var_11; generic16_t var_12; generic64_t var_13; generic16_t var_14; generic64_t var_15; generic16_t var_16; generic64_t var_17; generic16_t var_18; generic8_t var_19; generic64_t var_20; generic16_t var_21; generic32_t var_22; generic32_t var_23; generic32_t var_24; generic32_t var_25; generic32_t var_26; generic32_t var_27; generic32_t var_28; generic32_t var_29; generic32_t var_30; generic32_t var_31; generic32_t var_32; generic32_t var_33; generic32_t var_34; generic32_t var_35; generic32_t var_36; generic32_t var_37; generic32_t var_38; generic32_t var_39; generic32_t var_40; generic32_t var_41; generic32_t var_42; generic32_t var_43; generic32_t var_44; generic32_t var_45; generic32_t var_46; generic32_t var_47; generic32_t var_48; generic32_t var_49; generic32_t var_50; generic32_t var_51; generic32_t var_52; generic32_t var_53; generic32_t var_54; generic32_t var_55; generic32_t var_56; generic32_t var_57; generic32_t var_58; generic32_t var_59; generic32_t var_60; generic32_t var_61; generic32_t var_62; generic32_t var_63; generic32_t var_64; generic32_t var_65; generic32_t var_66; generic8_t var_67; generic8_t var_68; generic32_t var_69; generic32_t var_70; generic32_t var_71; generic32_t var_72; generic32_t var_73; generic32_t var_74; generic32_t var_75; generic32_t var_76; generic32_t var_77; generic32_t var_78; generic32_t var_79; generic32_t var_80; generic32_t var_81; generic32_t var_82; generic32_t var_83; generic32_t var_84; generic32_t var_85; generic32_t var_86; generic32_t var_87; generic32_t var_88; generic32_t var_89; generic32_t var_90; generic32_t var_91; generic32_t var_92; generic32_t var_93; generic32_t var_94; generic32_t var_95; generic32_t var_96; generic32_t var_97; generic32_t var_98; generic32_t var_99; generic32_t var_100; generic32_t var_101; generic32_t var_102; generic32_t var_103; generic32_t var_104; generic32_t var_105; generic32_t var_106; generic32_t var_107; generic32_t var_108; generic32_t var_109; generic32_t var_110; generic32_t var_111; generic32_t var_112; generic32_t var_113; generic8_t var_114; generic32_t var_115; generic32_t var_116; generic32_t var_117; generic32_t var_118; generic32_t var_119; generic32_t var_120; generic32_t var_121; generic32_t var_122; generic32_t var_123; generic32_t var_124; generic32_t var_125; generic32_t var_126; generic32_t var_127; generic32_t var_128; generic32_t var_129; generic32_t var_130; generic32_t var_131; generic32_t var_132; generic32_t var_133; generic32_t var_134; generic32_t var_135; generic32_t var_136; generic32_t var_137; generic32_t var_138; generic32_t var_139; generic32_t var_140; generic32_t var_141; generic32_t var_142; generic32_t var_143; generic32_t var_144; generic32_t var_145; generic32_t var_146; generic32_t var_147; generic32_t var_148; generic32_t var_149; generic32_t var_150; generic32_t var_151; generic32_t var_152; generic32_t var_153; generic32_t var_154; generic32_t var_155; generic32_t var_156; generic32_t var_157; generic32_t var_158; generic32_t var_159; generic8_t var_160; generic32_t var_161; generic32_t var_162; generic32_t var_163; generic32_t var_164; generic32_t var_165; generic32_t var_166; generic32_t var_167; generic32_t var_168; generic32_t var_169; generic32_t var_170; generic32_t var_171; generic32_t var_172; generic32_t var_173; generic32_t var_174; generic32_t var_175; generic32_t var_176; generic32_t var_177; generic32_t var_178; generic32_t var_179; generic32_t var_180; generic32_t var_181; generic32_t var_182; generic32_t var_183; generic32_t var_184; generic32_t var_185; generic32_t var_186; generic32_t var_187; generic32_t var_188; var_185 = revng_undefined_local_sp(); var_184 = *(generic8_t *) NULL; *(generic8_t *) NULL = '\311'; *(generic32_t *) var_185 = 0; var_0 = lshift(0, 4294967272); var_161 = 4294967295; var_162 = 514; var_163 = 4194483; var_164 = 43; var_165 = 0; var_166 = 35; var_167 = 0; var_168 = 13630208; var_169 = 43; var_170 = 0; var_171 = 13628160; var_172 = 43; var_173 = 0; var_174 = 0; var_175 = 43; var_176 = 0; var_177 = 65535; var_181 = 0; var_186 = 0; var_187 = 0; var_188 = 4294967295; if (!(var_0 & 0x80)) { helper_check_iob_wrapper(NULL, var_179 & 0xFFFF, var_184, var_183, var_182, var_181, var_180, var_179, var_178, var_185, (pointer_or_number32_t) &segment_0 + 2719, var_161, var_162, var_163, var_164, var_165, var_166, var_167, var_168, var_169, var_170, var_171, var_172, var_173, var_174, var_175, var_176, var_177, 0, 65535, 35584, 1073741824, 71, 2147549185, 0, var_186, var_187, var_188, &var_115, &var_116, &var_117, &var_118, &var_119, &var_120, &var_121, &var_122, &var_123, &var_124, &var_125, &var_126, &var_127, &var_128, &var_129, &var_130, &var_131, &var_132, &var_133, &var_134, &var_135, &var_136, &var_137, &var_138, &var_139, &var_140, &var_141, &var_142, &var_143, &var_144, &var_145, &var_146, &var_147, &var_148, &var_149, &var_150, &var_151, &var_152, &var_153, &var_154, &var_155, &var_156, &var_157, &var_158, &var_159, &var_160); helper_outb(NULL, var_122 & 0xFFFF, (uint32_t) *(generic8_t *) (var_131 + var_123)); revng_abort("A longjmp was taken"); } else { generic32_t var_189; var_189 = *(generic32_t *) NULL & 0xFF; helper_check_iob_wrapper(NULL, 0, *(generic8_t *) NULL, undef(generic32_t), *(generic32_t *) NULL * (number32_t) -1952485700, (number32_t) var_189 << 8, undef(generic32_t), undef(generic32_t), undef(generic32_t), revng_undefined_local_sp(), (pointer_or_number32_t) &segment_0 + 2672, 4294967295, 514, 4194483, 43, 0, 35, 0, 13630208, 43, 0, 13628160, 43, 0, 0, 43, 0, 65535, 0, 65535, 35584, 1073741824, 71, 2147549185, 0, 0, 0, 4294967295, &var_69, &var_70, &var_71, &var_72, &var_73, &var_74, &var_75, &var_76, &var_77, &var_78, &var_79, &var_80, &var_81, &var_82, &var_83, &var_84, &var_85, &var_86, &var_87, &var_88, &var_89, &var_90, &var_91, &var_92, &var_93, &var_94, &var_95, &var_96, &var_97, &var_98, &var_99, &var_100, &var_101, &var_102, &var_103, &var_104, &var_105, &var_106, &var_107, &var_108, &var_109, &var_110, &var_111, &var_112, &var_113, &var_114); helper_outb(NULL, var_76 & 0xFFFF, (uint32_t) *(generic8_t *) var_77); *(generic32_t *) (var_78 - 4) = var_72; helper_enter_level_wrapper(NULL, 20, 1, var_78 - 4, var_72, var_78, var_93, var_95); switch ((number32_t) var_69) { case 44: { var_189 = !var_70; } break; case 43: { var_189 = !(var_70 & 0xFFFF); } break; case 42: { var_189 = !(var_70 & 0xFF); } break; case 36: { var_189 = (uint32_t) var_70 >> 31; } break; case 35: { var_189 = ((uint32_t) var_70 >> 15) & 0x1; } break; case 34: { var_189 = ((uint32_t) var_70 >> 7) & 0x1; } break; case 20: { var_189 = (*(generic32_t *) NULL & 0xFF) > ~var_70; } break; case 19: { var_189 = ((var_70 + (*(generic32_t *) NULL & 0xFF)) & 0xFFFF) < (var_70 & 0xFFFF); } break; case 18: { var_189 = ((var_70 + *(generic32_t *) NULL) & 0xFF) < (var_70 & 0xFF); } break; case 16: { var_189 = (*(generic32_t *) NULL & 0xFF) > ~var_70; } break; case 15: { var_189 = ((var_70 + (*(generic32_t *) NULL & 0xFF)) & 0xFFFF) < (var_70 & 0xFFFF); } break; case 14: { var_189 = ((var_70 + *(generic32_t *) NULL) & 0xFF) < (var_70 & 0xFF); } break; case 12: { var_189 = var_70 > (*(generic32_t *) NULL & 0xFF); } break; case 11: { var_189 = (var_70 & 0xFFFF) > (*(generic32_t *) NULL & 0xFF); } break; case 10: { var_189 = (var_70 & 0xFF) > (*(generic32_t *) NULL & 0xFF); } break; case 8: { var_189 = var_70 > (*(generic32_t *) NULL & 0xFF); } break; case 7: { var_189 = (var_70 & 0xFFFF) > (*(generic32_t *) NULL & 0xFF); } break; case 6: { var_189 = (var_70 & 0xFF) > (*(generic32_t *) NULL & 0xFF); } break; case 2: case 3: case 4: case 5: { var_189 = var_70 != 0; } break; case 26: case 27: case 28: case 29: case 30: case 31: case 32: case 33: { var_189 = var_70; } break; case 1: case 38: case 39: case 40: case 41: case 47: { var_189 = var_70 & 0x1; } break; case 46: case 48: { break; } break; default: { var_189 = 0; } break; } generic32_t var_190; generic32_t var_191; generic32_t var_192; generic32_t var_193; generic32_t var_194; generic32_t var_195; generic32_t var_196; generic32_t var_197; generic32_t var_198; generic32_t var_199; generic32_t var_200; generic32_t var_201; generic32_t var_202; generic32_t var_203; generic32_t var_204; generic32_t var_205; generic32_t var_206; generic32_t var_207; generic32_t var_208; generic32_t var_209; generic32_t var_210; generic32_t var_211; generic32_t var_212; generic32_t var_213; generic32_t var_214; generic32_t var_215; generic64_t var_216; generic16_t var_217; generic64_t var_218; generic16_t var_219; generic64_t var_220; generic16_t var_221; generic64_t var_222; generic16_t var_223; generic64_t var_224; generic16_t var_225; generic64_t var_226; generic16_t var_227; generic64_t var_228; generic16_t var_229; generic64_t var_230; generic16_t var_231; generic32_t var_232; generic8_t var_233; generic32_t var_234; generic32_t var_235; generic32_t var_236; generic32_t var_237; generic32_t var_238; generic32_t var_239; var_232 = var_189; var_190 = helper_fistl_ST0_wrapper(NULL, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, '\000', '\000', &var_68); var_233 = var_68; *(generic32_t *) (var_73 + (var_71 - 1) - 2131232846) = var_190; var_235 = (((uint32_t) var_73 >> 8) & 0xFF) ^ *(generic8_t *) (var_71 - 1); var_213 = (var_73 & 0xFFFF00FF) | ((number32_t) var_235 << 8); var_215 = ((var_71 - 1) & 0xFFFF00FF) | 0x6C00; var_214 = var_78 - 55148; *(generic32_t *) var_214 = var_78 - 4; helper_enter_level_wrapper(NULL, 25, 1, var_214, var_78 - 4, var_78 - 55144, var_93, var_95); var_236 = var_78 - 112894; var_191 = var_80; var_192 = var_81; var_193 = var_82; var_194 = var_83; var_195 = var_84; var_196 = var_85; var_197 = var_88; var_198 = var_89; var_199 = var_91; var_200 = var_92; var_201 = var_93; var_202 = var_95; var_203 = var_96; var_204 = var_97; var_205 = var_100; var_206 = var_104; var_207 = var_108; var_208 = var_109; var_209 = var_77 + var_82; var_210 = var_76; var_211 = var_75; var_212 = var_74; var_216 = 0; var_217 = 0; var_218 = 0; var_219 = 0; var_220 = 0; var_221 = 0; var_222 = 0; var_223 = 0; var_224 = 0; var_225 = 0; var_226 = 0; var_227 = 0; var_228 = 0; var_229 = 0; var_230 = 0; var_231 = 0; var_234 = 22; var_237 = var_110; var_238 = var_112; var_239 = var_113; while (true) { generic32_t var_240; var_240 = var_232; switch ((number32_t) var_234) { case 26: case 28: case 30: { break; } break; case 20: { var_240 = var_235 > ~var_232; } break; case 18: { var_240 = ((var_235 + var_232) & 0xFF) < (var_232 & 0xFF); } break; case 16: { var_240 = var_235 > ~var_232; } break; default: { var_240 = 0; } break; } *(generic8_t *) ((var_212 << 3) + var_210 + 46) = (number8_t) ((uint32_t) var_212 >> 8); *(generic8_t *) ((var_215 & 0xFFFFFF00) | *(generic8_t *) var_209) = *(generic8_t *) ((var_215 & 0xFFFFFF00) | *(generic8_t *) var_209) - ((number8_t) ((uint32_t) var_213 >> 8) + (number8_t) var_240); if ((int32_t) ((var_212 - 1) & 0xFFFF00FF) > -3074) { generic32_t var_241; generic32_t var_242; generic8_t var_243; var_181 = ((var_212 - 1) & 0xFFFF00FF) | 0xC00; var_185 = var_236 + 1; var_243 = !(number8_t) var_240 ? (((uint32_t) var_213 >> 8) & 0xFF) > *(generic8_t *) ((var_215 & 0xFFFFFF00) | *(generic8_t *) var_209) - ((number8_t) ((uint32_t) var_213 >> 8) + (number8_t) var_240) + (number8_t) ((uint32_t) var_213 >> 8) + (number8_t) var_240 : (((uint32_t) var_213 >> 8) & 0xFF) >= *(generic8_t *) ((var_215 & 0xFFFFFF00) | *(generic8_t *) var_209) - ((number8_t) ((uint32_t) var_213 >> 8) + (number8_t) var_240) + (number8_t) ((uint32_t) var_213 >> 8) + (number8_t) var_240; var_242 = lshift(((var_212 - 1) & 0xFFFF00FF) + 3073, 4294967272); var_241 = var_243 ? 256 : 0; var_184 = (((var_215 & 0xFFFFFF00) | *(generic8_t *) var_209) & 0xE1950091) | var_241 | 0x1E6AFE6E; var_161 = var_191; var_162 = var_192; var_163 = var_194; var_164 = var_195; var_165 = var_196; var_166 = var_197; var_167 = var_198; var_168 = var_199; var_169 = var_200; var_170 = var_201; var_171 = var_202; var_172 = var_203; var_173 = var_204; var_174 = var_205; var_175 = var_206; var_176 = var_207; var_177 = var_208; var_178 = var_209 + var_193; var_179 = var_210; var_180 = var_211; var_182 = var_213; var_183 = var_214; var_186 = var_237; var_187 = var_238; var_188 = var_239; break; } generic32_t var_244; *(generic32_t *) (var_236 - 3) = 122; helper_load_seg_wrapper(NULL, 4, (uint32_t) *(generic16_t *) ((var_210 & 0xFFFFFF3A) * 9), (var_215 & 0xFFFFFF00) | *(generic8_t *) var_209, var_214, var_213, ((var_212 - 1) & 0xFFFF00FF) + 3073, var_211, var_210 & 0xFFFFFF3A, var_209 + var_193, var_236 - 3, (pointer_or_number32_t) &segment_0 + 2738, var_191, var_192, var_194, var_195, var_196, var_197, var_198, var_199, var_200, var_201, var_202, var_203, var_204, var_205, var_206, var_207, var_208, 1073741824, 71, 2147549185, 0, var_237, var_238, var_239, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45, &var_46, &var_47, &var_48, &var_49, &var_50, &var_51, &var_52, &var_53, &var_54, &var_55, &var_56, &var_57, &var_58, &var_59, &var_60, &var_61, &var_62, &var_63, &var_64, &var_65, &var_66, &var_67); helper_fildl_FT0_wrapper(NULL, (int32_t) *(generic16_t *) (var_27 - 15), &var_20, &var_21); helper_fmul_ST0_FT0_wrapper(NULL, 0, var_216, var_217, var_218, var_219, var_220, var_221, var_222, var_223, var_224, var_225, var_226, var_227, var_228, var_229, var_230, var_231, '\000', '\000', var_233, 'P', '\000', '\000', var_20, var_21, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19); var_244 = var_210 & 0x3A; switch ((number32_t) var_22) { case 44: { var_244 = !var_23; } break; case 43: { var_244 = !(var_23 & 0xFFFF); } break; case 42: { var_244 = !(var_23 & 0xFF); } break; case 36: { var_244 = (uint32_t) var_23 >> 31; } break; case 35: { var_244 = ((uint32_t) var_23 >> 15) & 0x1; } break; case 34: { var_244 = ((uint32_t) var_23 >> 7) & 0x1; } break; case 20: { generic8_t var_245; var_245 = !var_240 ? (var_210 & 0x3A) + var_23 + var_240 < var_23 : (var_210 & 0x3A) + var_23 + var_240 <= var_23; var_244 = var_245; } break; case 19: { generic8_t var_246; var_246 = !(var_240 & 0xFFFF) ? (((var_210 & 0x3A) + var_23 + var_240) & 0xFFFF) < (var_23 & 0xFFFF) : (((var_210 & 0x3A) + var_23 + var_240) & 0xFFFF) <= (var_23 & 0xFFFF); var_244 = var_246; } break; case 18: { generic8_t var_247; var_247 = !(number8_t) var_240 ? (var_23 & 0xFF) > ((number8_t) var_210 & 0x3A) + (number8_t) var_23 + (number8_t) var_240 : (var_23 & 0xFF) >= ((number8_t) var_210 & 0x3A) + (number8_t) var_23 + (number8_t) var_240; var_244 = var_247; } break; case 16: { var_244 = (var_210 & 0x3A) > ~var_23; } break; case 15: { var_244 = (((var_210 & 0x3A) + var_23) & 0xFFFF) < (var_23 & 0xFFFF); } break; case 14: { var_244 = (var_23 & 0xFF) > ((number8_t) var_210 & 0x3A) + (number8_t) var_23; } break; case 12: { generic8_t var_248; var_248 = !var_240 ? (var_210 & 0x3A) < var_23 : (var_210 & 0x3A) <= var_23; var_244 = var_248; } break; case 11: { generic8_t var_249; var_249 = !(var_240 & 0xFFFF) ? (var_210 & 0x3A) < (var_23 & 0xFFFF) : (var_210 & 0x3A) <= (var_23 & 0xFFFF); var_244 = var_249; } break; case 10: { generic8_t var_250; var_250 = !(number8_t) var_240 ? (var_210 & 0x3A) < (var_23 & 0xFF) : (var_210 & 0x3A) <= (var_23 & 0xFF); var_244 = var_250; } break; case 8: { var_244 = (var_210 & 0x3A) < var_23; } break; case 7: { var_244 = (var_210 & 0x3A) < (var_23 & 0xFFFF); } break; case 6: { var_244 = (var_210 & 0x3A) < (var_23 & 0xFF); } break; case 2: case 3: case 4: case 5: { var_244 = var_23 != 0; } break; case 26: case 27: case 28: case 29: case 30: case 31: case 32: case 33: { var_244 = var_23; } break; case 1: case 38: case 39: case 40: case 41: case 47: { var_244 = var_23 & 0x1; } break; case 46: case 48: { break; } break; default: { var_244 = 0; } break; } helper_aas_wrapper(NULL, var_26 - 728154375 - var_244, 20, 728154375, var_244, var_24, &var_1, &var_2); *(generic32_t *) var_30 = var_2; *(generic32_t *) (var_2 | 0xCB) = *(generic32_t *) (var_2 | 0xCB) + var_31; if (*(generic8_t *) (var_26 - 728154375 - var_244 + 85) == (number8_t) ((uint32_t) (var_26 - 728154375 - var_244) >> 8)) { var_213 = (var_26 - 728154375 - var_244) & 0xFFFF00FF; var_209 = var_30 + 1; var_210 = (var_29 & 0xFFFFFF00) | (*(generic8_t *) (var_27 + 72) + (number8_t) var_29); var_235 = *(generic32_t *) ((var_2 | 0xCB) + 1823750194) & 0x19E12EC8; var_191 = var_33; var_192 = var_34; var_193 = var_35; var_194 = var_36; var_195 = var_37; var_196 = var_38; var_197 = var_41; var_198 = var_42; var_199 = var_44; var_200 = var_45; var_201 = var_46; var_202 = var_48; var_203 = var_49; var_204 = var_50; var_205 = var_53; var_206 = var_57; var_207 = var_61; var_208 = var_62; var_211 = var_30 + (var_35 << 2); var_212 = 2345768824; var_214 = var_25; var_215 = var_2 | 0xCB; var_216 = var_3; var_217 = var_4; var_218 = var_5; var_219 = var_6; var_220 = var_7; var_221 = var_8; var_222 = var_9; var_223 = var_10; var_224 = var_11; var_225 = var_12; var_226 = var_13; var_227 = var_14; var_228 = var_15; var_229 = var_16; var_230 = var_17; var_231 = var_18; var_232 = var_31; var_233 = var_19; var_234 = 24; var_236 = var_31; var_237 = var_63; var_238 = var_65; var_239 = var_66; continue; } helper_lock(); *(generic32_t *) 3011733427 = var_30 + (var_35 << 2); helper_unlock(); } helper_check_iob_wrapper(NULL, var_179 & 0xFFFF, var_184, var_183, var_182, var_181, var_180, var_179, var_178, var_185, (pointer_or_number32_t) &segment_0 + 2719, var_161, var_162, var_163, var_164, var_165, var_166, var_167, var_168, var_169, var_170, var_171, var_172, var_173, var_174, var_175, var_176, var_177, 0, 65535, 35584, 1073741824, 71, 2147549185, 0, var_186, var_187, var_188, &var_115, &var_116, &var_117, &var_118, &var_119, &var_120, &var_121, &var_122, &var_123, &var_124, &var_125, &var_126, &var_127, &var_128, &var_129, &var_130, &var_131, &var_132, &var_133, &var_134, &var_135, &var_136, &var_137, &var_138, &var_139, &var_140, &var_141, &var_142, &var_143, &var_144, &var_145, &var_146, &var_147, &var_148, &var_149, &var_150, &var_151, &var_152, &var_153, &var_154, &var_155, &var_156, &var_157, &var_158, &var_159, &var_160); helper_outb(NULL, var_122 & 0xFFFF, (uint32_t) *(generic8_t *) (var_131 + var_123)); revng_abort("A longjmp was taken"); } } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x401ba8_Code_x86(void) { generic64_t var_0; generic16_t var_1; generic64_t var_2; generic16_t var_3; generic64_t var_4; generic16_t var_5; generic64_t var_6; generic16_t var_7; generic64_t var_8; generic16_t var_9; generic64_t var_10; generic16_t var_11; generic64_t var_12; generic16_t var_13; generic64_t var_14; generic16_t var_15; generic8_t var_16; generic64_t var_17; generic16_t var_18; generic32_t var_19; generic32_t var_20; helper_das_wrapper(NULL, undef(generic32_t), 24, 0, 0, undef(generic32_t), &var_19, &var_20); helper_fildl_FT0_wrapper(NULL, *(generic32_t *) NULL, &var_17, &var_18); helper_fsubr_ST0_FT0_wrapper(NULL, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, '\000', '\000', '\000', 'P', '\000', '\000', var_17, var_18, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16); revng_abort("A longjmp was taken"); } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x401c10_Code_x86(void) { revng_abort("A longjmp was taken"); } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x401fe6_Code_x86(void) { generic32_t var_0; generic32_t var_1; generic32_t var_2; generic32_t var_3; generic32_t var_4; generic32_t var_5; generic32_t var_6; generic32_t var_7; generic32_t var_8; generic32_t var_9; generic32_t var_10; generic32_t var_11; generic32_t var_12; generic32_t var_13; generic32_t var_14; generic32_t var_15; generic32_t var_16; generic32_t var_17; generic32_t var_18; generic32_t var_19; generic32_t var_20; generic32_t var_21; generic32_t var_22; generic32_t var_23; generic32_t var_24; generic32_t var_25; generic32_t var_26; generic32_t var_27; generic32_t var_28; generic32_t var_29; generic32_t var_30; generic32_t var_31; generic32_t var_32; generic32_t var_33; generic32_t var_34; generic32_t var_35; generic32_t var_36; generic32_t var_37; generic32_t var_38; generic32_t var_39; generic32_t var_40; generic32_t var_41; generic32_t var_42; generic32_t var_43; generic32_t var_44; generic8_t var_45; helper_load_seg_wrapper(NULL, 3, *(generic32_t *) revng_undefined_local_sp(), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), revng_undefined_local_sp(), (pointer_or_number32_t) &segment_0 + 4071, 4294967295, 514, 4194483, 43, 0, 35, 0, 13630208, 43, 0, 13628160, 43, 0, 0, 43, 0, 65535, 1073741824, 71, 2147549185, 0, 0, 0, 4294967295, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45); } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x401fed_Code_x86(void) { generic32_t var_0; generic32_t var_1; generic32_t var_2; generic32_t var_3; generic32_t var_4; generic32_t var_5; generic32_t var_6; generic32_t var_7; generic32_t var_8; generic32_t var_9; generic32_t var_10; generic32_t var_11; generic32_t var_12; generic32_t var_13; generic32_t var_14; generic32_t var_15; generic32_t var_16; generic32_t var_17; generic32_t var_18; generic32_t var_19; generic32_t var_20; generic32_t var_21; generic32_t var_22; generic32_t var_23; generic32_t var_24; generic32_t var_25; generic32_t var_26; generic32_t var_27; generic32_t var_28; generic32_t var_29; generic32_t var_30; generic32_t var_31; generic32_t var_32; generic32_t var_33; generic32_t var_34; generic32_t var_35; generic32_t var_36; generic32_t var_37; generic32_t var_38; generic32_t var_39; generic32_t var_40; generic32_t var_41; generic32_t var_42; generic32_t var_43; generic32_t var_44; generic8_t var_45; generic32_t var_46; generic32_t var_47; generic32_t var_48; generic32_t var_49; generic32_t var_50; generic32_t var_51; generic32_t var_52; generic32_t var_53; generic32_t var_54; generic32_t var_55; generic32_t var_56; generic32_t var_57; generic32_t var_58; generic32_t var_59; generic32_t var_60; generic32_t var_61; generic32_t var_62; generic32_t var_63; generic32_t var_64; generic32_t var_65; generic32_t var_66; generic32_t var_67; generic32_t var_68; generic32_t var_69; generic32_t var_70; generic32_t var_71; generic32_t var_72; generic32_t var_73; generic32_t var_74; generic32_t var_75; generic32_t var_76; generic32_t var_77; generic32_t var_78; generic32_t var_79; generic32_t var_80; generic32_t var_81; generic32_t var_82; generic32_t var_83; generic32_t var_84; generic32_t var_85; generic32_t var_86; generic32_t var_87; generic32_t var_88; generic32_t var_89; generic32_t var_90; generic8_t var_91; generic16_t var_92; generic8_t var_93; generic8_t var_94; generic64_t var_95; generic16_t var_96; generic32_t var_97; generic32_t var_98; generic32_t var_99; generic32_t var_100; generic32_t var_101; generic32_t var_102; generic32_t var_103; generic32_t var_104; generic32_t var_105; generic32_t var_106; generic32_t var_107; generic32_t var_108; generic32_t var_109; generic32_t var_110; generic32_t var_111; generic32_t var_112; generic32_t var_113; generic32_t var_114; generic32_t var_115; generic32_t var_116; generic32_t var_117; generic32_t var_118; generic32_t var_119; generic32_t var_120; generic32_t var_121; generic32_t var_122; generic32_t var_123; generic32_t var_124; generic32_t var_125; generic32_t var_126; generic32_t var_127; generic32_t var_128; generic32_t var_129; generic32_t var_130; generic32_t var_131; generic32_t var_132; generic32_t var_133; generic32_t var_134; generic32_t var_135; generic32_t var_136; generic32_t var_137; generic32_t var_138; generic32_t var_139; generic32_t var_140; generic32_t var_141; generic8_t var_142; helper_check_iob_wrapper(NULL, 91, undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), revng_undefined_local_sp(), function_0x401fed_Code_x86, 4294967295, 514, 4194483, 43, 0, 35, 0, 13630208, 43, 0, 13628160, 43, 0, 0, 43, 0, 65535, 0, 65535, 35584, 1073741824, 71, 2147549185, 0, 0, 0, 4294967295, &var_97, &var_98, &var_99, &var_100, &var_101, &var_102, &var_103, &var_104, &var_105, &var_106, &var_107, &var_108, &var_109, &var_110, &var_111, &var_112, &var_113, &var_114, &var_115, &var_116, &var_117, &var_118, &var_119, &var_120, &var_121, &var_122, &var_123, &var_124, &var_125, &var_126, &var_127, &var_128, &var_129, &var_130, &var_131, &var_132, &var_133, &var_134, &var_135, &var_136, &var_137, &var_138, &var_139, &var_140, &var_141, &var_142); helper_outb(NULL, 91, var_99); helper_fldl_FT0_wrapper(NULL, *(generic64_t *) (var_104 - 1035278046), '\000', '\000', '\000', &var_94, &var_95, &var_96); helper_fcom_ST0_FT0_wrapper(NULL, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, var_94, var_95, var_96, &var_92, &var_93); helper_fwait_wrapper(NULL, var_99, var_100, var_101, (((uint32_t) var_104 >> 8) & 0xFF) | var_102, var_103, var_104, var_105, var_106, (pointer_or_number32_t) &segment_0 + 4087, var_108, var_109, var_111, var_112, var_113, var_116, var_117, var_119, var_120, var_121, var_123, var_124, var_125, var_128, var_132, var_136, var_137, 1073741824, 71, 2147549185, 0, var_92, var_138, var_140, var_141, &var_46, &var_47, &var_48, &var_49, &var_50, &var_51, &var_52, &var_53, &var_54, &var_55, &var_56, &var_57, &var_58, &var_59, &var_60, &var_61, &var_62, &var_63, &var_64, &var_65, &var_66, &var_67, &var_68, &var_69, &var_70, &var_71, &var_72, &var_73, &var_74, &var_75, &var_76, &var_77, &var_78, &var_79, &var_80, &var_81, &var_82, &var_83, &var_84, &var_85, &var_86, &var_87, &var_88, &var_89, &var_90, &var_91); helper_lret_protected_wrapper(NULL, 1, 8864, var_48, var_49, var_50, var_51, var_52, var_53, var_54, var_55 - 1, (pointer_or_number32_t) &segment_0 + 4089, var_57, var_58, var_60, var_61, var_62, var_64, var_65, var_66, var_68, var_69, var_70, var_72, var_73, var_74, var_76, var_77, var_80, var_81, var_84, var_85, var_86, 1073741824, 71, 2147549185, 0, var_87, var_89, var_90, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45); revng_abort("A longjmp was taken"); } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x401fee_Code_x86(void) { generic32_t var_0; generic32_t var_1; generic32_t var_2; generic32_t var_3; generic32_t var_4; generic32_t var_5; generic32_t var_6; generic32_t var_7; generic32_t var_8; generic32_t var_9; generic32_t var_10; generic32_t var_11; generic32_t var_12; generic32_t var_13; generic32_t var_14; generic32_t var_15; generic32_t var_16; generic32_t var_17; generic32_t var_18; generic32_t var_19; generic32_t var_20; generic32_t var_21; generic32_t var_22; generic32_t var_23; generic32_t var_24; generic32_t var_25; generic32_t var_26; generic32_t var_27; generic32_t var_28; generic32_t var_29; generic32_t var_30; generic32_t var_31; generic32_t var_32; generic32_t var_33; generic32_t var_34; generic32_t var_35; generic32_t var_36; generic32_t var_37; generic32_t var_38; generic32_t var_39; generic32_t var_40; generic32_t var_41; generic32_t var_42; generic32_t var_43; generic32_t var_44; generic8_t var_45; generic32_t var_46; generic32_t var_47; generic32_t var_48; generic32_t var_49; generic32_t var_50; generic32_t var_51; generic32_t var_52; generic32_t var_53; generic32_t var_54; generic32_t var_55; generic32_t var_56; generic32_t var_57; generic32_t var_58; generic32_t var_59; generic32_t var_60; generic32_t var_61; generic32_t var_62; generic32_t var_63; generic32_t var_64; generic32_t var_65; generic32_t var_66; generic32_t var_67; generic32_t var_68; generic32_t var_69; generic32_t var_70; generic32_t var_71; generic32_t var_72; generic32_t var_73; generic32_t var_74; generic32_t var_75; generic32_t var_76; generic32_t var_77; generic32_t var_78; generic32_t var_79; generic32_t var_80; generic32_t var_81; generic32_t var_82; generic32_t var_83; generic32_t var_84; generic32_t var_85; generic32_t var_86; generic32_t var_87; generic32_t var_88; generic32_t var_89; generic32_t var_90; generic8_t var_91; generic16_t var_92; generic8_t var_93; generic8_t var_94; generic64_t var_95; generic16_t var_96; helper_fldl_FT0_wrapper(NULL, *(generic64_t *) NULL, '\000', '\000', '\000', &var_94, &var_95, &var_96); helper_fcom_ST0_FT0_wrapper(NULL, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, var_94, var_95, var_96, &var_92, &var_93); helper_fwait_wrapper(NULL, undef(generic32_t), undef(generic32_t), *(generic32_t *) revng_undefined_local_sp(), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), revng_undefined_local_sp() + 4, (pointer_or_number32_t) &segment_0 + 4087, 4294967295, 514, 4194483, 43, 0, 35, 0, 13630208, 43, 0, 13628160, 43, 0, 0, 43, 0, 65535, 1073741824, 71, 2147549185, 0, var_92, 0, 0, 4294967295, &var_46, &var_47, &var_48, &var_49, &var_50, &var_51, &var_52, &var_53, &var_54, &var_55, &var_56, &var_57, &var_58, &var_59, &var_60, &var_61, &var_62, &var_63, &var_64, &var_65, &var_66, &var_67, &var_68, &var_69, &var_70, &var_71, &var_72, &var_73, &var_74, &var_75, &var_76, &var_77, &var_78, &var_79, &var_80, &var_81, &var_82, &var_83, &var_84, &var_85, &var_86, &var_87, &var_88, &var_89, &var_90, &var_91); helper_lret_protected_wrapper(NULL, 1, 8864, var_48, var_49, var_50, var_51, var_52, var_53, var_54, var_55 - 1, (pointer_or_number32_t) &segment_0 + 4089, var_57, var_58, var_60, var_61, var_62, var_64, var_65, var_66, var_68, var_69, var_70, var_72, var_73, var_74, var_76, var_77, var_80, var_81, var_84, var_85, var_86, 1073741824, 71, 2147549185, 0, var_87, var_89, var_90, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45); revng_abort("A longjmp was taken"); } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x401ff5_Code_x86(void) { generic32_t var_0; generic32_t var_1; generic32_t var_2; generic32_t var_3; generic32_t var_4; generic32_t var_5; generic32_t var_6; generic32_t var_7; generic32_t var_8; generic32_t var_9; generic32_t var_10; generic32_t var_11; generic32_t var_12; generic32_t var_13; generic32_t var_14; generic32_t var_15; generic32_t var_16; generic32_t var_17; generic32_t var_18; generic32_t var_19; generic32_t var_20; generic32_t var_21; generic32_t var_22; generic32_t var_23; generic32_t var_24; generic32_t var_25; generic32_t var_26; generic32_t var_27; generic32_t var_28; generic32_t var_29; generic32_t var_30; generic32_t var_31; generic32_t var_32; generic32_t var_33; generic32_t var_34; generic32_t var_35; generic32_t var_36; generic32_t var_37; generic32_t var_38; generic32_t var_39; generic32_t var_40; generic32_t var_41; generic32_t var_42; generic32_t var_43; generic32_t var_44; generic8_t var_45; generic32_t var_46; generic32_t var_47; generic32_t var_48; generic32_t var_49; generic32_t var_50; generic32_t var_51; generic32_t var_52; generic32_t var_53; generic32_t var_54; generic32_t var_55; generic32_t var_56; generic32_t var_57; generic32_t var_58; generic32_t var_59; generic32_t var_60; generic32_t var_61; generic32_t var_62; generic32_t var_63; generic32_t var_64; generic32_t var_65; generic32_t var_66; generic32_t var_67; generic32_t var_68; generic32_t var_69; generic32_t var_70; generic32_t var_71; generic32_t var_72; generic32_t var_73; generic32_t var_74; generic32_t var_75; generic32_t var_76; generic32_t var_77; generic32_t var_78; generic32_t var_79; generic32_t var_80; generic32_t var_81; generic32_t var_82; generic32_t var_83; generic32_t var_84; generic32_t var_85; generic32_t var_86; generic32_t var_87; generic32_t var_88; generic32_t var_89; generic32_t var_90; generic8_t var_91; helper_fwait_wrapper(NULL, undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), revng_undefined_local_sp(), (pointer_or_number32_t) &segment_0 + 4087, 4294967295, 514, 4194483, 43, 0, 35, 0, 13630208, 43, 0, 13628160, 43, 0, 0, 43, 0, 65535, 1073741824, 71, 2147549185, 0, 0, 0, 0, 4294967295, &var_46, &var_47, &var_48, &var_49, &var_50, &var_51, &var_52, &var_53, &var_54, &var_55, &var_56, &var_57, &var_58, &var_59, &var_60, &var_61, &var_62, &var_63, &var_64, &var_65, &var_66, &var_67, &var_68, &var_69, &var_70, &var_71, &var_72, &var_73, &var_74, &var_75, &var_76, &var_77, &var_78, &var_79, &var_80, &var_81, &var_82, &var_83, &var_84, &var_85, &var_86, &var_87, &var_88, &var_89, &var_90, &var_91); helper_lret_protected_wrapper(NULL, 1, 8864, var_48, var_49, var_50, var_51, var_52, var_53, var_54, var_55 - 1, (pointer_or_number32_t) &segment_0 + 4089, var_57, var_58, var_60, var_61, var_62, var_64, var_65, var_66, var_68, var_69, var_70, var_72, var_73, var_74, var_76, var_77, var_80, var_81, var_84, var_85, var_86, 1073741824, 71, 2147549185, 0, var_87, var_89, var_90, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45); revng_abort("A longjmp was taken"); } _ABI(Microsoft_x86_cdecl) void function_0x402004_Code_x86(void) { } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x402014_Code_x86(void) { generic32_t var_0; generic32_t var_1; generic32_t var_2; generic32_t var_3; generic32_t var_4; generic32_t var_5; generic32_t var_6; generic32_t var_7; generic32_t var_8; generic32_t var_9; generic32_t var_10; generic32_t var_11; generic32_t var_12; generic32_t var_13; generic32_t var_14; generic32_t var_15; generic32_t var_16; generic32_t var_17; generic32_t var_18; generic32_t var_19; generic32_t var_20; generic32_t var_21; generic32_t var_22; generic32_t var_23; generic32_t var_24; generic32_t var_25; generic32_t var_26; generic32_t var_27; generic32_t var_28; generic32_t var_29; generic32_t var_30; generic32_t var_31; generic32_t var_32; generic32_t var_33; generic32_t var_34; generic32_t var_35; generic32_t var_36; generic32_t var_37; generic32_t var_38; generic32_t var_39; generic32_t var_40; generic32_t var_41; generic32_t var_42; generic32_t var_43; generic32_t var_44; generic32_t var_45; generic8_t var_46; helper_check_iob_wrapper(NULL, 37, undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), *(generic32_t *) revng_undefined_local_sp(), (pointer_or_number32_t) &segment_0 + 4118, 4294967295, 514, 4194483, 43, 0, 35, 0, 13630208, 43, 0, 13628160, 43, 0, 0, 43, 0, 65535, 0, 65535, 35584, 1073741824, 71, 2147549185, 0, 0, 0, 4294967295, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45, &var_46); var_0 = helper_inb(NULL, 37); *(generic32_t *) (var_10 - 4) = var_7; revng_abort("A longjmp was taken"); } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x40204f_Code_x86(void) { generic32_t var_0; generic8_t var_1; generic8_t var_2; generic8_t var_3; generic8_t var_4; generic8_t var_5; generic8_t var_6; generic8_t var_7; generic8_t var_8; generic64_t var_9; generic16_t var_10; generic64_t var_11; generic16_t var_12; generic64_t var_13; generic16_t var_14; generic64_t var_15; generic16_t var_16; generic64_t var_17; generic16_t var_18; generic64_t var_19; generic16_t var_20; generic64_t var_21; generic16_t var_22; generic64_t var_23; generic16_t var_24; helper_fmov_STN_ST0_wrapper(NULL, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24); helper_fpop_wrapper(NULL, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8); *(generic32_t *) revng_undefined_local_sp() = 43; *(generic32_t *) NULL = 4294967295; *(generic8_t *) (generic32_t) 222 = '\243'; revng_abort(""); } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x402082_Code_x86(void) { *(cabifunction_103 **) (revng_undefined_local_sp() - 60) = function_0x40219a_Code_x86; *(cabifunction_106 **) (revng_undefined_local_sp() - 472) = function_0x402d8d_Code_x86; *(cabifunction_106 **) (revng_undefined_local_sp() - 56) = function_0x402d8d_Code_x86; segment_0.offset_4499 = function_0x4021a2_Code_x86; *(generic32_t *) (revng_undefined_local_sp() - 16) = 1; *(generic32_t **) (revng_undefined_local_sp() - 80) = segment_2.offset_8; *(generic32_t *) (revng_undefined_local_sp() - 84) = *(generic32_t *) (revng_undefined_local_sp() - 56) - *(generic32_t *) (revng_undefined_local_sp() - 60); *(generic32_t *) (revng_undefined_local_sp() - 88) = *(generic32_t *) (revng_undefined_local_sp() - 60); *(generic32_t *) (revng_undefined_local_sp() - 68) = 0; *(generic32_t *) (revng_undefined_local_sp() - 72) = 0; if (*(generic32_t *) (revng_undefined_local_sp() - 84) > 3) { do { *(generic32_t *) (revng_undefined_local_sp() - 76) = *(generic32_t *) *(generic32_t *) (revng_undefined_local_sp() - 88); *(generic32_t *) *(generic32_t *) (revng_undefined_local_sp() - 88) = *(generic32_t *) *(generic32_t *) (revng_undefined_local_sp() - 88) ^ *(generic32_t *) (revng_undefined_local_sp() - 80); *(generic32_t *) *(generic32_t *) (revng_undefined_local_sp() - 88) = *(generic32_t *) *(generic32_t *) (revng_undefined_local_sp() - 88) ^ *(generic32_t *) (revng_undefined_local_sp() - 72); *(generic32_t *) (revng_undefined_local_sp() - 72) = *(generic32_t *) (revng_undefined_local_sp() - 76); *(generic32_t *) (revng_undefined_local_sp() - 68) = *(generic32_t *) (revng_undefined_local_sp() - 68) ^ *(generic32_t *) (revng_undefined_local_sp() - 76); *(generic32_t *) (revng_undefined_local_sp() - 88) = *(generic32_t *) (revng_undefined_local_sp() - 88) + 4; *(generic32_t *) (revng_undefined_local_sp() - 84) = *(generic32_t *) (revng_undefined_local_sp() - 84) - 4; } while (*(generic32_t *) (revng_undefined_local_sp() - 84) > 7 || *(generic32_t *) (revng_undefined_local_sp() - 84) < 4); *(cabifunction_104 **) (revng_undefined_local_sp() - 472) = function_0x4021a2_Code_x86; revng_abort("A longjmp was taken"); } else { *(cabifunction_104 **) (revng_undefined_local_sp() - 472) = function_0x4021a2_Code_x86; revng_abort("A longjmp was taken"); } } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x40219a_Code_x86(void) { generic32_t var_0; generic32_t var_1; generic32_t var_2; generic32_t var_3; generic32_t var_4; generic32_t var_5; generic32_t var_6; generic32_t var_7; generic32_t var_8; generic32_t var_9; generic32_t var_10; generic32_t var_11; generic32_t var_12; generic32_t var_13; generic32_t var_14; generic32_t var_15; generic32_t var_16; generic32_t var_17; generic32_t var_18; generic32_t var_19; generic32_t var_20; generic32_t var_21; generic32_t var_22; generic32_t var_23; generic32_t var_24; generic32_t var_25; generic32_t var_26; generic32_t var_27; generic32_t var_28; generic32_t var_29; generic32_t var_30; generic32_t var_31; generic32_t var_32; generic32_t var_33; generic32_t var_34; generic32_t var_35; generic32_t var_36; generic32_t var_37; generic32_t var_38; generic32_t var_39; generic32_t var_40; generic32_t var_41; generic32_t var_42; generic32_t var_43; generic32_t var_44; generic32_t var_45; generic32_t var_46; generic32_t var_47; generic8_t var_48; var_2 = lshift((int32_t) revng_undefined_local_sp() >> 1, 4294967272); var_1 = lshift(revng_undefined_local_sp() ^ ((int32_t) revng_undefined_local_sp() >> 1), 4294967276); var_0 = revng_undefined_local_sp() == 1 ? 64 : 0; if ((uint32_t) (var_1 & 0x800) >> 4 == (var_0 | (var_2 & 0x80))) { helper_fwait_wrapper(NULL, 1529666513, undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), *(generic32_t *) ((int32_t) revng_undefined_local_sp() >> 1), (pointer_or_number32_t) &segment_0 + 4521, 4294967295, 514, 4194483, 43, 0, 35, 0, 13630208, 43, 0, 13628160, 43, 0, 0, 43, 0, 65535, 1073741824, 71, 2147549185, 0, 0, 0, 0, 4294967295, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45, &var_46, &var_47, &var_48); } else { generic32_t var_49; *(generic32_t *) (*(generic32_t *) ((int32_t) revng_undefined_local_sp() >> 1) - 4) = (((llvm_ctpop_i32(((int32_t) revng_undefined_local_sp() >> 1) & 0xFF) << 2) & 0x4) | var_0 | (var_2 & 0x80) | (var_1 & 0x800)) ^ 0x207; *(generic32_t *) NULL = 1529666509; var_49 = 1529666509; do { *(generic32_t *) var_49 = *(generic32_t *) var_49 ^ var_49; *(generic32_t *) *(generic32_t *) NULL = *(generic32_t *) *(generic32_t *) NULL ^ *(generic32_t *) NULL; *(generic32_t *) NULL = *(generic32_t *) *(generic32_t *) NULL; var_49 = *(generic32_t *) *(generic32_t *) NULL ^ *(generic32_t *) *(generic32_t *) *(generic32_t *) NULL; *(generic32_t *) NULL = var_49; } while (var_49 > 3); segment_2.offset_8 = *(generic32_t *) *(generic32_t *) NULL ^ *(generic32_t *) *(generic32_t *) *(generic32_t *) NULL; *(cabifunction_104 **) (*(generic32_t *) ((int32_t) revng_undefined_local_sp() >> 1) - 8) = function_0x4021a2_Code_x86; revng_abort("A longjmp was taken"); } } _ABI(Microsoft_x86_cdecl) void function_0x4021a2_Code_x86(void) { generic32_t var_0; generic32_t var_1; generic32_t var_2; var_1 = lshift(0, 0); var_0 = lshift(0, 4); *(generic32_t *) (revng_undefined_local_sp() - 4) = (var_1 & 0x80) | (var_0 & 0x800) | 0x257; *(generic32_t *) NULL = 4294967292; var_2 = 4294967292; do { *(generic32_t *) var_2 = *(generic32_t *) var_2 ^ var_2; *(generic32_t *) *(generic32_t *) NULL = *(generic32_t *) *(generic32_t *) NULL ^ *(generic32_t *) NULL; *(generic32_t *) NULL = *(generic32_t *) *(generic32_t *) NULL; var_2 = *(generic32_t *) *(generic32_t *) NULL ^ *(generic32_t *) *(generic32_t *) *(generic32_t *) NULL; *(generic32_t *) NULL = var_2; } while (var_2 > 3); segment_2.offset_8 = *(generic32_t *) *(generic32_t *) NULL ^ *(generic32_t *) *(generic32_t *) *(generic32_t *) NULL; *(cabifunction_104 **) (revng_undefined_local_sp() - 8) = function_0x4021a2_Code_x86; revng_abort("A longjmp was taken"); } _ABI(Microsoft_x86_cdecl) generic32_t function_0x402233_Code_x86(void) { *(generic32_t *) (generic32_t) 173044244 = 4294967295; *(generic32_t *) NULL = *(generic32_t *) (revng_undefined_local_sp() - 4); return 0; } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x402d8d_Code_x86(void) { revng_abort("A longjmp was taken"); } _ABI(Microsoft_x86_cdecl) generic32_t function_0x402ea8_Code_x86(void) { *(generic32_t *) (revng_undefined_local_sp() - 4) = *(generic32_t *) (generic32_t) 48; return *(generic32_t *) (*(generic32_t *) *(generic32_t *) (*(generic32_t *) (*(generic32_t *) (generic32_t) 48 + 12) + 12) + 24); } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x4030e2_Code_x86(void) { revng_abort("A longjmp was taken"); } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x40322e_Code_x86(void) { *(cabifunction_110 **) (revng_undefined_local_sp() - 20) = function_0x403335_Code_x86; *(generic32_t *) (revng_undefined_local_sp() - 72) = (pointer_or_number32_t) &segment_0.offset_4499 + 4667; *(generic32_t *) (revng_undefined_local_sp() - 12) = (pointer_or_number32_t) &segment_0.offset_4499 + 4667; *(cabifunction_111 **) function_0x40332e_Code_x86 = function_0x40333d_Code_x86; *(generic32_t *) (revng_undefined_local_sp() - 8) = 1; *(generic32_t *) (revng_undefined_local_sp() - 36) = *(generic32_t *) (revng_undefined_local_sp() - 12) - *(generic32_t *) (revng_undefined_local_sp() - 20); *(generic32_t *) (revng_undefined_local_sp() - 40) = *(generic32_t *) (revng_undefined_local_sp() - 20); *(generic32_t *) (revng_undefined_local_sp() - 24) = 0; *(generic32_t *) (revng_undefined_local_sp() - 28) = 0; if (*(generic32_t *) (revng_undefined_local_sp() - 36) > 3) { do { *(generic32_t *) (revng_undefined_local_sp() - 32) = *(generic32_t *) *(generic32_t *) (revng_undefined_local_sp() - 40); *(generic32_t *) *(generic32_t *) (revng_undefined_local_sp() - 40) = *(generic32_t *) *(generic32_t *) (revng_undefined_local_sp() - 40) ^ 0x9371D0A9; *(generic32_t *) *(generic32_t *) (revng_undefined_local_sp() - 40) = *(generic32_t *) *(generic32_t *) (revng_undefined_local_sp() - 40) ^ *(generic32_t *) (revng_undefined_local_sp() - 28); *(generic32_t *) (revng_undefined_local_sp() - 28) = *(generic32_t *) (revng_undefined_local_sp() - 32); *(generic32_t *) (revng_undefined_local_sp() - 24) = *(generic32_t *) (revng_undefined_local_sp() - 24) ^ *(generic32_t *) (revng_undefined_local_sp() - 32); *(generic32_t *) (revng_undefined_local_sp() - 40) = *(generic32_t *) (revng_undefined_local_sp() - 40) + 4; *(generic32_t *) (revng_undefined_local_sp() - 36) = *(generic32_t *) (revng_undefined_local_sp() - 36) - 4; } while (*(generic32_t *) (revng_undefined_local_sp() - 36) > 7 || *(generic32_t *) (revng_undefined_local_sp() - 36) < 4); *(cabifunction_111 **) (revng_undefined_local_sp() - 72) = function_0x40333d_Code_x86; revng_abort("A longjmp was taken"); } else { *(cabifunction_111 **) (revng_undefined_local_sp() - 72) = function_0x40333d_Code_x86; revng_abort("A longjmp was taken"); } } _ABI(Microsoft_x86_cdecl) void function_0x40332e_Code_x86(void) { } _ABI(Microsoft_x86_cdecl) void function_0x403335_Code_x86(void) { generic32_t var_0; generic32_t var_1; generic32_t var_2; generic32_t var_3; generic32_t var_4; generic32_t var_5; generic32_t var_6; generic32_t var_7; generic32_t var_8; generic32_t var_9; generic32_t var_10; generic32_t var_11; generic32_t var_12; generic32_t var_13; generic32_t var_14; generic32_t var_15; generic32_t var_16; generic32_t var_17; generic32_t var_18; generic32_t var_19; generic32_t var_20; generic32_t var_21; generic32_t var_22; generic32_t var_23; generic32_t var_24; generic32_t var_25; generic32_t var_26; generic32_t var_27; generic32_t var_28; generic32_t var_29; generic32_t var_30; generic32_t var_31; generic32_t var_32; generic32_t var_33; generic32_t var_34; generic32_t var_35; generic32_t var_36; generic32_t var_37; generic32_t var_38; generic32_t var_39; generic32_t var_40; generic32_t var_41; generic32_t var_42; generic32_t var_43; generic32_t var_44; generic32_t var_45; generic32_t var_46; generic32_t var_47; generic32_t var_48; generic32_t var_49; generic32_t var_50; generic32_t var_51; generic32_t var_52; generic8_t var_53; generic32_t var_54; generic8_t var_55; generic8_t var_56; generic8_t var_57; generic8_t var_58; generic8_t var_59; generic8_t var_60; generic8_t var_61; generic8_t var_62; generic64_t var_63; generic16_t var_64; generic64_t var_65; generic16_t var_66; generic64_t var_67; generic16_t var_68; generic64_t var_69; generic16_t var_70; generic64_t var_71; generic16_t var_72; generic64_t var_73; generic16_t var_74; generic64_t var_75; generic16_t var_76; generic64_t var_77; generic16_t var_78; helper_fbld_ST0_wrapper(NULL, 3707653180, 0, &var_54, &var_55, &var_56, &var_57, &var_58, &var_59, &var_60, &var_61, &var_62, &var_63, &var_64, &var_65, &var_66, &var_67, &var_68, &var_69, &var_70, &var_71, &var_72, &var_73, &var_74, &var_75, &var_76, &var_77, &var_78); *(generic32_t *) NULL = *(generic32_t *) revng_undefined_local_sp(); helper_lcall_protected_wrapper(NULL, 61622, 1721112551, 1, 7, *(generic32_t *) revng_undefined_local_sp() + 2816, 12, *(generic32_t *) revng_undefined_local_sp(), 0, undef(generic32_t), undef(generic32_t), undef(generic32_t), *(generic32_t *) revng_undefined_local_sp() + 2816, undef(generic32_t), undef(generic32_t), undef(generic32_t), revng_undefined_local_sp() + 4, (pointer_or_number32_t) &segment_0 + 9038, 4294967295, 514, 1, 4194483, 43, 0, 35, 0, 4294967295, 13630208, 43, 0, 13628160, 43, 0, 0, 43, 0, 65535, 0, 0, 65535, 35584, 1073741824, 71, 2147549185, 0, 0, 0, 4294967295, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45, &var_46, &var_47, &var_48, &var_49, &var_50, &var_51, &var_52, &var_53); revng_abort("A longjmp was taken"); } _ABI(Microsoft_x86_cdecl) void function_0x40333d_Code_x86(void) { generic32_t var_0; generic32_t var_1; generic32_t var_2; generic32_t var_3; generic32_t var_4; generic32_t var_5; generic32_t var_6; generic32_t var_7; generic32_t var_8; generic32_t var_9; generic32_t var_10; generic32_t var_11; generic32_t var_12; generic32_t var_13; generic32_t var_14; generic32_t var_15; generic32_t var_16; generic32_t var_17; generic32_t var_18; generic32_t var_19; generic32_t var_20; generic32_t var_21; generic32_t var_22; generic32_t var_23; generic32_t var_24; generic32_t var_25; generic32_t var_26; generic32_t var_27; generic32_t var_28; generic32_t var_29; generic32_t var_30; generic32_t var_31; generic32_t var_32; generic32_t var_33; generic32_t var_34; generic32_t var_35; generic32_t var_36; generic32_t var_37; generic32_t var_38; generic32_t var_39; generic32_t var_40; generic32_t var_41; generic32_t var_42; generic32_t var_43; generic32_t var_44; generic32_t var_45; generic32_t var_46; generic32_t var_47; generic32_t var_48; generic32_t var_49; generic32_t var_50; generic32_t var_51; generic32_t var_52; generic8_t var_53; *(generic32_t *) NULL = *(generic32_t *) revng_undefined_local_sp(); helper_lcall_protected_wrapper(NULL, 61622, 1721112551, 1, 7, undef(generic32_t), 12, *(generic32_t *) revng_undefined_local_sp(), 0, undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), revng_undefined_local_sp() + 4, (pointer_or_number32_t) &segment_0 + 9038, 4294967295, 514, 1, 4194483, 43, 0, 35, 0, 4294967295, 13630208, 43, 0, 13628160, 43, 0, 0, 43, 0, 65535, 0, 0, 65535, 35584, 1073741824, 71, 2147549185, 0, 0, 0, 4294967295, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45, &var_46, &var_47, &var_48, &var_49, &var_50, &var_51, &var_52, &var_53); revng_abort("A longjmp was taken"); } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x403357_Code_x86(void) { generic32_t var_0; generic32_t var_1; generic32_t var_2; generic32_t var_3; generic32_t var_4; generic32_t var_5; generic32_t var_6; generic32_t var_7; generic32_t var_8; generic32_t var_9; generic32_t var_10; generic32_t var_11; generic32_t var_12; generic32_t var_13; generic32_t var_14; generic32_t var_15; generic32_t var_16; generic32_t var_17; generic32_t var_18; generic32_t var_19; generic32_t var_20; generic32_t var_21; generic32_t var_22; generic32_t var_23; generic32_t var_24; generic32_t var_25; generic32_t var_26; generic32_t var_27; generic32_t var_28; generic32_t var_29; generic32_t var_30; generic32_t var_31; generic32_t var_32; generic32_t var_33; generic32_t var_34; generic32_t var_35; generic32_t var_36; generic32_t var_37; generic32_t var_38; generic32_t var_39; generic32_t var_40; generic32_t var_41; generic32_t var_42; generic32_t var_43; generic32_t var_44; generic32_t var_45; generic32_t var_46; generic32_t var_47; generic32_t var_48; generic32_t var_49; generic32_t var_50; generic32_t var_51; generic32_t var_52; generic32_t var_53; generic8_t var_54; generic32_t var_55; generic32_t var_56; generic32_t var_57; generic32_t var_58; generic32_t var_59; generic32_t var_60; generic32_t var_61; generic32_t var_62; generic32_t var_63; generic32_t var_64; generic32_t var_65; generic32_t var_66; generic32_t var_67; generic32_t var_68; generic32_t var_69; generic32_t var_70; generic32_t var_71; generic32_t var_72; generic32_t var_73; generic32_t var_74; generic32_t var_75; generic32_t var_76; generic32_t var_77; generic32_t var_78; generic32_t var_79; generic32_t var_80; generic32_t var_81; generic32_t var_82; generic32_t var_83; generic32_t var_84; generic32_t var_85; generic32_t var_86; generic32_t var_87; generic32_t var_88; generic32_t var_89; generic32_t var_90; generic32_t var_91; generic32_t var_92; generic32_t var_93; generic32_t var_94; generic32_t var_95; generic32_t var_96; generic32_t var_97; generic32_t var_98; generic32_t var_99; generic8_t var_100; generic32_t var_101; generic32_t var_102; generic32_t var_103; generic32_t var_104; generic32_t var_105; generic32_t var_106; generic32_t var_107; generic32_t var_108; generic32_t var_109; generic32_t var_110; generic32_t var_111; generic32_t var_112; generic32_t var_113; generic32_t var_114; generic32_t var_115; generic32_t var_116; generic32_t var_117; generic32_t var_118; generic32_t var_119; generic32_t var_120; generic32_t var_121; generic32_t var_122; generic32_t var_123; generic32_t var_124; generic32_t var_125; generic32_t var_126; generic32_t var_127; generic32_t var_128; generic32_t var_129; generic32_t var_130; generic32_t var_131; generic32_t var_132; generic32_t var_133; generic32_t var_134; generic32_t var_135; generic32_t var_136; generic32_t var_137; generic32_t var_138; generic32_t var_139; generic32_t var_140; generic32_t var_141; generic32_t var_142; generic32_t var_143; generic32_t var_144; generic32_t var_145; generic8_t var_146; generic32_t var_147; generic32_t var_148; generic32_t var_149; generic32_t var_150; generic32_t var_151; generic32_t var_152; generic32_t var_153; generic32_t var_154; generic32_t var_155; generic32_t var_156; generic32_t var_157; generic32_t var_158; generic32_t var_159; generic32_t var_160; generic32_t var_161; generic32_t var_162; generic32_t var_163; generic32_t var_164; generic32_t var_165; generic32_t var_166; generic32_t var_167; generic32_t var_168; generic32_t var_169; generic32_t var_170; generic32_t var_171; generic32_t var_172; generic32_t var_173; generic32_t var_174; generic32_t var_175; generic32_t var_176; generic32_t var_177; generic32_t var_178; generic32_t var_179; generic32_t var_180; generic32_t var_181; generic32_t var_182; generic32_t var_183; generic32_t var_184; generic32_t var_185; generic32_t var_186; generic32_t var_187; generic32_t var_188; generic32_t var_189; generic32_t var_190; generic32_t var_191; generic8_t var_192; generic32_t var_193; generic32_t var_194; generic32_t var_195; generic32_t var_196; generic32_t var_197; generic32_t var_198; generic32_t var_199; generic32_t var_200; generic32_t var_201; generic32_t var_202; generic32_t var_203; generic32_t var_204; generic32_t var_205; generic32_t var_206; generic32_t var_207; generic32_t var_208; generic32_t var_209; generic32_t var_210; generic32_t var_211; generic32_t var_212; generic32_t var_213; generic32_t var_214; generic32_t var_215; generic32_t var_216; generic32_t var_217; generic32_t var_218; generic32_t var_219; generic32_t var_220; generic32_t var_221; generic32_t var_222; generic32_t var_223; generic32_t var_224; generic32_t var_225; generic32_t var_226; generic32_t var_227; generic32_t var_228; generic32_t var_229; generic32_t var_230; generic32_t var_231; generic32_t var_232; generic32_t var_233; generic32_t var_234; generic32_t var_235; generic32_t var_236; generic32_t var_237; generic8_t var_238; generic32_t var_239; generic32_t var_240; generic32_t var_241; generic32_t var_242; generic32_t var_243; generic32_t var_244; generic32_t var_245; generic32_t var_246; generic32_t var_247; generic32_t var_248; generic32_t var_249; generic32_t var_250; generic32_t var_251; generic32_t var_252; generic32_t var_253; generic32_t var_254; generic32_t var_255; generic32_t var_256; generic32_t var_257; generic32_t var_258; generic32_t var_259; generic32_t var_260; generic32_t var_261; generic32_t var_262; generic32_t var_263; generic32_t var_264; generic32_t var_265; generic32_t var_266; generic32_t var_267; generic32_t var_268; generic32_t var_269; generic32_t var_270; generic32_t var_271; generic32_t var_272; generic32_t var_273; generic32_t var_274; generic32_t var_275; generic32_t var_276; generic32_t var_277; generic32_t var_278; generic32_t var_279; generic32_t var_280; generic32_t var_281; generic32_t var_282; generic32_t var_283; generic8_t var_284; generic32_t var_285; generic32_t var_286; generic32_t var_287; generic32_t var_288; generic32_t var_289; generic32_t var_290; generic32_t var_291; generic32_t var_292; generic32_t var_293; generic32_t var_294; generic32_t var_295; generic32_t var_296; generic32_t var_297; generic32_t var_298; generic32_t var_299; generic32_t var_300; generic32_t var_301; generic32_t var_302; generic32_t var_303; generic32_t var_304; generic32_t var_305; generic32_t var_306; generic32_t var_307; generic32_t var_308; generic32_t var_309; generic32_t var_310; generic32_t var_311; generic32_t var_312; generic32_t var_313; generic32_t var_314; generic32_t var_315; generic32_t var_316; generic32_t var_317; generic32_t var_318; generic32_t var_319; generic32_t var_320; generic32_t var_321; generic32_t var_322; generic32_t var_323; generic32_t var_324; generic32_t var_325; generic32_t var_326; generic32_t var_327; generic32_t var_328; generic32_t var_329; generic8_t var_330; generic32_t var_331; generic32_t var_332; generic32_t var_333; generic32_t var_334; generic32_t var_335; generic32_t var_336; generic32_t var_337; generic32_t var_338; generic32_t var_339; generic32_t var_340; generic32_t var_341; generic32_t var_342; generic32_t var_343; generic32_t var_344; generic32_t var_345; generic32_t var_346; generic32_t var_347; generic32_t var_348; generic32_t var_349; generic32_t var_350; generic32_t var_351; generic32_t var_352; generic32_t var_353; generic32_t var_354; generic32_t var_355; generic32_t var_356; generic32_t var_357; generic32_t var_358; generic32_t var_359; generic32_t var_360; generic32_t var_361; generic32_t var_362; generic32_t var_363; generic32_t var_364; generic32_t var_365; generic32_t var_366; generic32_t var_367; generic32_t var_368; generic32_t var_369; generic32_t var_370; generic32_t var_371; generic32_t var_372; generic32_t var_373; generic32_t var_374; generic32_t var_375; generic8_t var_376; generic32_t var_377; generic32_t var_378; generic32_t var_379; generic32_t var_380; generic32_t var_381; generic32_t var_382; generic32_t var_383; generic32_t var_384; generic32_t var_385; generic32_t var_386; generic32_t var_387; generic32_t var_388; generic32_t var_389; generic32_t var_390; generic32_t var_391; generic32_t var_392; generic32_t var_393; generic32_t var_394; generic32_t var_395; generic32_t var_396; generic32_t var_397; generic32_t var_398; generic32_t var_399; generic32_t var_400; generic32_t var_401; generic32_t var_402; generic32_t var_403; generic32_t var_404; generic32_t var_405; generic32_t var_406; generic32_t var_407; generic32_t var_408; generic32_t var_409; generic32_t var_410; generic32_t var_411; generic32_t var_412; generic32_t var_413; generic32_t var_414; generic32_t var_415; generic32_t var_416; generic32_t var_417; generic32_t var_418; generic32_t var_419; generic32_t var_420; generic32_t var_421; generic8_t var_422; generic32_t var_423; helper_check_iol_wrapper(NULL, 2, undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), revng_undefined_local_sp(), function_0x403357_Code_x86, 4294967295, 514, 4194483, 43, 0, 35, 0, 13630208, 43, 0, 13628160, 43, 0, 0, 43, 0, 65535, 0, 65535, 35584, 1073741824, 71, 2147549185, 0, 0, 0, 4294967295, &var_377, &var_378, &var_379, &var_380, &var_381, &var_382, &var_383, &var_384, &var_385, &var_386, &var_387, &var_388, &var_389, &var_390, &var_391, &var_392, &var_393, &var_394, &var_395, &var_396, &var_397, &var_398, &var_399, &var_400, &var_401, &var_402, &var_403, &var_404, &var_405, &var_406, &var_407, &var_408, &var_409, &var_410, &var_411, &var_412, &var_413, &var_414, &var_415, &var_416, &var_417, &var_418, &var_419, &var_420, &var_421, &var_422); helper_outl(NULL, 2, var_379); helper_load_seg_wrapper(NULL, 2, var_383, (var_379 & 0xFFFFFF00) | ((var_379 + 164) & 0xFF), var_380, var_381, var_382, var_383, var_384, var_385, var_386, (pointer_or_number32_t) &segment_0 + 9055, var_388, var_389, var_391, var_392, var_393, var_396, var_397, var_399, var_400, var_401, var_403, var_404, var_405, var_408, var_412, var_416, var_417, 1073741824, 71, 2147549185, 0, var_418, var_420, var_421, &var_331, &var_332, &var_333, &var_334, &var_335, &var_336, &var_337, &var_338, &var_339, &var_340, &var_341, &var_342, &var_343, &var_344, &var_345, &var_346, &var_347, &var_348, &var_349, &var_350, &var_351, &var_352, &var_353, &var_354, &var_355, &var_356, &var_357, &var_358, &var_359, &var_360, &var_361, &var_362, &var_363, &var_364, &var_365, &var_366, &var_367, &var_368, &var_369, &var_370, &var_371, &var_372, &var_373, &var_374, &var_375, &var_376); helper_check_iol_wrapper(NULL, var_338 & 0xFFFF, var_333, var_334, var_335, var_336, var_337, var_338, var_339, var_340, (pointer_or_number32_t) &segment_0 + 9057, var_342, var_343, var_345 | 0x8, var_346, var_347, var_350, var_351, var_353, var_354, var_355, var_357, var_358, var_359, var_362, var_366, var_370, var_371, 0, 65535, 35584, 1073741824, 71, 2147549185, 0, var_372, var_374, var_375, &var_285, &var_286, &var_287, &var_288, &var_289, &var_290, &var_291, &var_292, &var_293, &var_294, &var_295, &var_296, &var_297, &var_298, &var_299, &var_300, &var_301, &var_302, &var_303, &var_304, &var_305, &var_306, &var_307, &var_308, &var_309, &var_310, &var_311, &var_312, &var_313, &var_314, &var_315, &var_316, &var_317, &var_318, &var_319, &var_320, &var_321, &var_322, &var_323, &var_324, &var_325, &var_326, &var_327, &var_328, &var_329, &var_330); helper_outl(NULL, var_338 & 0xFFFF, var_287); var_423 = *(generic8_t *) var_289 - var_292; *(generic8_t *) var_289 = (number8_t) var_423; helper_check_iob_wrapper(NULL, var_292 & 0xFFFF, var_287, var_288, var_289, var_290, 986369860, var_292, var_293, var_294, (pointer_or_number32_t) &segment_0 + 9066, var_296, var_297, var_299, var_300, var_301, var_304, var_305, var_307, var_308, var_309, var_311, var_312, var_313, var_316, var_320, var_324, var_325, 0, 65535, 35584, 1073741824, 71, 2147549185, 0, var_326, var_328, var_329, &var_239, &var_240, &var_241, &var_242, &var_243, &var_244, &var_245, &var_246, &var_247, &var_248, &var_249, &var_250, &var_251, &var_252, &var_253, &var_254, &var_255, &var_256, &var_257, &var_258, &var_259, &var_260, &var_261, &var_262, &var_263, &var_264, &var_265, &var_266, &var_267, &var_268, &var_269, &var_270, &var_271, &var_272, &var_273, &var_274, &var_275, &var_276, &var_277, &var_278, &var_279, &var_280, &var_281, &var_282, &var_283, &var_284); helper_outb(NULL, var_292 & 0xFFFF, var_241); *(generic32_t *) 767649236 = var_241; *(generic32_t *) (var_248 - 4) = var_266; helper_check_iol_wrapper(NULL, var_246 & 0xFFFF, var_241, var_242, var_243, var_244, var_245, var_246, var_247, var_248 - 4, (pointer_or_number32_t) &segment_0 + 9073, var_250, var_251, var_253, var_254, var_255, var_258, var_259, var_261, var_262, var_263, var_265, var_266, var_267, var_270, var_274, var_278, var_279, 0, 65535, 35584, 1073741824, 71, 2147549185, 0, var_280, var_282, var_283, &var_193, &var_194, &var_195, &var_196, &var_197, &var_198, &var_199, &var_200, &var_201, &var_202, &var_203, &var_204, &var_205, &var_206, &var_207, &var_208, &var_209, &var_210, &var_211, &var_212, &var_213, &var_214, &var_215, &var_216, &var_217, &var_218, &var_219, &var_220, &var_221, &var_222, &var_223, &var_224, &var_225, &var_226, &var_227, &var_228, &var_229, &var_230, &var_231, &var_232, &var_233, &var_234, &var_235, &var_236, &var_237, &var_238); *(generic32_t *) var_199 = 0; var_0 = helper_inl(NULL, var_200 & 0xFFFF); *(generic32_t *) var_199 = var_0; switch ((number32_t) var_193) { case 44: { var_423 = !var_194; } break; case 43: { var_423 = !(var_194 & 0xFFFF); } break; case 42: { var_423 = !(var_194 & 0xFF); } break; case 36: { var_423 = (uint32_t) var_194 >> 31; } break; case 35: { var_423 = ((uint32_t) var_194 >> 15) & 0x1; } break; case 34: { var_423 = ((uint32_t) var_194 >> 7) & 0x1; } break; case 20: { var_423 = *(generic8_t *) var_289 - var_292 > ~var_194; } break; case 19: { var_423 = ((*(generic8_t *) var_289 - var_292 + var_194) & 0xFFFF) < (var_194 & 0xFFFF); } break; case 18: { var_423 = ((*(generic8_t *) var_289 - var_292 + var_194) & 0xFF) < (var_194 & 0xFF); } break; case 16: { var_423 = *(generic8_t *) var_289 - var_292 > ~var_194; } break; case 15: { var_423 = ((*(generic8_t *) var_289 - var_292 + var_194) & 0xFFFF) < (var_194 & 0xFFFF); } break; case 14: { var_423 = ((*(generic8_t *) var_289 - var_292 + var_194) & 0xFF) < (var_194 & 0xFF); } break; case 12: { var_423 = *(generic8_t *) var_289 - var_292 < var_194; } break; case 11: { var_423 = ((*(generic8_t *) var_289 - var_292) & 0xFFFF) < (var_194 & 0xFFFF); } break; case 10: { var_423 = ((*(generic8_t *) var_289 - var_292) & 0xFF) < (var_194 & 0xFF); } break; case 8: { var_423 = *(generic8_t *) var_289 - var_292 < var_194; } break; case 7: { var_423 = ((*(generic8_t *) var_289 - var_292) & 0xFFFF) < (var_194 & 0xFFFF); } break; case 6: { var_423 = ((*(generic8_t *) var_289 - var_292) & 0xFF) < (var_194 & 0xFF); } break; case 2: case 3: case 4: case 5: { var_423 = var_194 != 0; } break; case 26: case 27: case 28: case 29: case 30: case 31: case 32: case 33: { var_423 = var_194; } break; case 1: case 38: case 39: case 40: case 41: case 47: { var_423 = var_194 & 0x1; } break; case 46: case 48: { break; } break; default: { var_423 = 0; } break; } generic32_t var_424; generic32_t var_425; *(generic32_t *) ((var_198 << 3) - 1710733116) = *(generic32_t *) ((var_198 << 3) - 1710733116) + (var_199 + (var_206 << 2)) + var_423; helper_check_iob_wrapper(NULL, 221, var_195, var_196, var_197, var_198, var_199 + (var_206 << 2), var_200, var_201, var_202, (pointer_or_number32_t) &segment_0 + 9081, var_204, var_205, var_207, var_208, var_209, var_212, var_213, var_215, var_216, var_217, var_219, var_220, var_221, var_224, var_228, var_232, var_233, 0, 65535, 35584, 1073741824, 71, 2147549185, 0, var_234, var_236, var_237, &var_147, &var_148, &var_149, &var_150, &var_151, &var_152, &var_153, &var_154, &var_155, &var_156, &var_157, &var_158, &var_159, &var_160, &var_161, &var_162, &var_163, &var_164, &var_165, &var_166, &var_167, &var_168, &var_169, &var_170, &var_171, &var_172, &var_173, &var_174, &var_175, &var_176, &var_177, &var_178, &var_179, &var_180, &var_181, &var_182, &var_183, &var_184, &var_185, &var_186, &var_187, &var_188, &var_189, &var_190, &var_191, &var_192); helper_outb(NULL, 221, var_149); *(generic32_t *) (var_156 - 4) = 3087890314; *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) = *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8); var_425 = *(generic8_t *) ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + 898035287) - ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8))); *(generic8_t *) ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + 898035287) = (number8_t) var_425; helper_check_iol_wrapper(NULL, 223, ((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C, 3087890314, var_151, var_152, var_153, var_154, var_155, var_156 - 4, (pointer_or_number32_t) &segment_0 + 9106, var_158, var_159, var_161, var_162, var_163, var_166, var_167, var_169, var_170, var_171, var_173, var_174, var_175, var_178, var_182, var_186, var_187, 0, 65535, 35584, 1073741824, 71, 2147549185, 0, var_188, var_190, var_191, &var_101, &var_102, &var_103, &var_104, &var_105, &var_106, &var_107, &var_108, &var_109, &var_110, &var_111, &var_112, &var_113, &var_114, &var_115, &var_116, &var_117, &var_118, &var_119, &var_120, &var_121, &var_122, &var_123, &var_124, &var_125, &var_126, &var_127, &var_128, &var_129, &var_130, &var_131, &var_132, &var_133, &var_134, &var_135, &var_136, &var_137, &var_138, &var_139, &var_140, &var_141, &var_142, &var_143, &var_144, &var_145, &var_146); helper_outl(NULL, 223, var_103); switch ((number32_t) var_101) { case 1: case 2: case 3: case 4: case 5: case 6: case 7: case 8: case 10: case 11: case 12: case 14: case 15: case 16: case 18: case 19: case 20: case 26: case 27: case 28: case 29: case 30: case 31: case 32: case 33: case 34: case 35: case 36: case 38: case 39: case 40: case 41: case 42: case 43: case 44: case 46: case 47: case 48: { switch ((number32_t) var_101) { case 44: { var_425 = !var_102; } break; case 43: { var_425 = !(var_102 & 0xFFFF); } break; case 42: { var_425 = !(var_102 & 0xFF); } break; case 36: { var_425 = (uint32_t) var_102 >> 31; } break; case 35: { var_425 = ((uint32_t) var_102 >> 15) & 0x1; } break; case 34: { var_425 = ((uint32_t) var_102 >> 7) & 0x1; } break; case 20: { generic8_t var_426; var_426 = (((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8) ? *(generic8_t *) ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + 898035287) - ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8))) + var_102 + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8)) <= var_102 : *(generic8_t *) ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + 898035287) - ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8))) + var_102 + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8)) < var_102; var_425 = var_426; } break; case 19: { generic8_t var_427; var_427 = (((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8) ? ((*(generic8_t *) ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + 898035287) - ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8))) + var_102 + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8))) & 0xFFFF) <= (var_102 & 0xFFFF) : ((*(generic8_t *) ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + 898035287) - ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8))) + var_102 + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8))) & 0xFFFF) < (var_102 & 0xFFFF); var_425 = var_427; } break; case 18: { generic8_t var_428; var_428 = (((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8) ? ((*(generic8_t *) ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + 898035287) - ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8))) + var_102 + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8))) & 0xFF) <= (var_102 & 0xFF) : ((*(generic8_t *) ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + 898035287) - ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8))) + var_102 + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8))) & 0xFF) < (var_102 & 0xFF); var_425 = var_428; } break; case 16: { var_425 = *(generic8_t *) ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + 898035287) - ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8))) > ~var_102; } break; case 15: { var_425 = ((*(generic8_t *) ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + 898035287) - ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8))) + var_102) & 0xFFFF) < (var_102 & 0xFFFF); } break; case 14: { var_425 = ((*(generic8_t *) ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + 898035287) - ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8))) + var_102) & 0xFF) < (var_102 & 0xFF); } break; case 12: { generic8_t var_429; var_429 = (((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8) ? *(generic8_t *) ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + 898035287) - ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8))) <= var_102 : *(generic8_t *) ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + 898035287) - ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8))) < var_102; var_425 = var_429; } break; case 11: { generic8_t var_430; var_430 = (((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8) ? ((*(generic8_t *) ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + 898035287) - ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8)))) & 0xFFFF) <= (var_102 & 0xFFFF) : ((*(generic8_t *) ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + 898035287) - ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8)))) & 0xFFFF) < (var_102 & 0xFFFF); var_425 = var_430; } break; case 10: { generic8_t var_431; var_431 = (((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8) ? ((*(generic8_t *) ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + 898035287) - ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8)))) & 0xFF) <= (var_102 & 0xFF) : ((*(generic8_t *) ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + 898035287) - ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8)))) & 0xFF) < (var_102 & 0xFF); var_425 = var_431; } break; case 8: { var_425 = *(generic8_t *) ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + 898035287) - ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8))) < var_102; } break; case 7: { var_425 = ((*(generic8_t *) ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + 898035287) - ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8)))) & 0xFFFF) < (var_102 & 0xFFFF); } break; case 6: { var_425 = ((*(generic8_t *) ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + 898035287) - ((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) + ((((uint32_t) var_152 >> 8) & 0xFF) > *(generic8_t *) (((((int32_t) ((number32_t) var_149 << 16) >> 16) | 0x74E6C42C) << 1) + var_151 + 20) + (number8_t) ((uint32_t) var_152 >> 8)))) & 0xFF) < (var_102 & 0xFF); } break; case 2: case 3: case 4: case 5: { var_425 = var_102 != 0; } break; case 26: case 27: case 28: case 29: case 30: case 31: case 32: case 33: { var_425 = var_102; } break; case 1: case 38: case 39: case 40: case 41: case 47: { var_425 = var_102 & 0x1; } break; } var_424 = var_103 + 262832031 + var_425; } break; default: { var_424 = var_103 + 262832031; } break; } generic32_t var_432; generic32_t var_433; generic32_t var_434; var_433 = lshift(var_424, 4294967272); var_432 = lshift((var_103 ^ 0xF0558060) & (var_424 ^ 0xFAA7F9F), 4294967276); if (!(llvm_ctpop_i32(var_424 & 0xFF) & 0x1)) { generic32_t var_435; *(generic8_t *) (var_105 - 2088373671) = *(generic8_t *) (var_105 - 2088373671) ^ (number8_t) var_108; *(generic8_t *) var_108 = (number8_t) ((((uint32_t) var_106 >> 8) & 0xFF) ^ *(generic8_t *) var_108); var_435 = lshift((((uint32_t) var_106 >> 8) & 0xFF) ^ *(generic8_t *) var_108, 0); if ((var_435 & 0x80)) { *(generic32_t *) ((var_107 << 2) + (var_110 + 4) - 803032264) = *(generic32_t *) ((var_107 << 2) + (var_110 + 4) - 803032264) | (*(generic32_t *) var_110 + var_105 + 1); helper_load_seg_wrapper(NULL, 0, (uint32_t) *(generic16_t *) (var_105 + 996052463), var_106, *(generic32_t *) var_110 + var_105 + 1, var_105, var_424, var_107, var_108, var_109, var_110 + 4, (pointer_or_number32_t) &segment_0 + 9137, var_112, var_113, var_115, var_116, var_117, var_120, var_121, var_123, var_124, var_125, var_127, var_128, var_129, var_132, var_136, var_140, var_141, 1073741824, 71, 2147549185, 0, var_142, var_144, var_145, &var_55, &var_56, &var_57, &var_58, &var_59, &var_60, &var_61, &var_62, &var_63, &var_64, &var_65, &var_66, &var_67, &var_68, &var_69, &var_70, &var_71, &var_72, &var_73, &var_74, &var_75, &var_76, &var_77, &var_78, &var_79, &var_80, &var_81, &var_82, &var_83, &var_84, &var_85, &var_86, &var_87, &var_88, &var_89, &var_90, &var_91, &var_92, &var_93, &var_94, &var_95, &var_96, &var_97, &var_98, &var_99, &var_100); helper_lcall_protected_wrapper(NULL, 23364, 3636851351, 1, 7, *(generic32_t *) ((var_107 << 2) + (var_110 + 4) - 803032264) | (*(generic32_t *) var_110 + var_105 + 1), var_55, var_56, 0, var_57, *(generic32_t *) (var_105 + 996052459), var_59, var_60, var_61, var_62, var_63, var_64, (pointer_or_number32_t) &segment_0 + 9143, var_66, var_67, var_68, var_69, var_70, var_71, var_74, var_75, var_76, var_77, var_78, var_79, var_81, var_82, var_83, var_86, var_90, var_94, var_95, 0, 0, 65535, 35584, 1073741824, 71, 2147549185, 0, var_96, var_98, var_99, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45, &var_46, &var_47, &var_48, &var_49, &var_50, &var_51, &var_52, &var_53, &var_54); revng_abort("A longjmp was taken"); } var_434 = var_104 - 8; *(generic32_t *) var_434 = 1; } else { *(generic32_t *) var_424 = *(generic32_t *) var_424 + var_424; *(generic8_t *) var_424 = (number8_t) (*(generic32_t *) var_424 + var_424) + (number8_t) var_424; var_434 = var_104 - 8; } if (!*(generic32_t *) var_434) { *(generic32_t *) (var_104 - 64) = *(generic32_t *) (var_104 - 24) - *(generic32_t *) (var_104 - 32); *(generic32_t *) (var_104 - 68) = *(generic32_t *) (var_104 - 32); *(generic32_t *) (var_104 - 56) = 0; *(generic32_t *) (var_104 - 60) = 0; if (*(generic32_t *) (var_104 - 64) > 3) { do { *(generic32_t *) *(generic32_t *) (var_104 - 68) = *(generic32_t *) *(generic32_t *) (var_104 - 68) ^ *(generic32_t *) (var_104 - 60); *(generic32_t *) *(generic32_t *) (var_104 - 68) = *(generic32_t *) *(generic32_t *) (var_104 - 68) ^ 0x2BCA6179; *(generic32_t *) (var_104 - 60) = *(generic32_t *) *(generic32_t *) (var_104 - 68); *(generic32_t *) (var_104 - 56) = *(generic32_t *) (var_104 - 56) ^ *(generic32_t *) *(generic32_t *) (var_104 - 68); *(generic32_t *) (var_104 - 68) = *(generic32_t *) (var_104 - 68) + 4; *(generic32_t *) (var_104 - 64) = *(generic32_t *) (var_104 - 64) - 4; } while (*(generic32_t *) (var_104 - 64) > 7 || *(generic32_t *) (var_104 - 64) < 4); } segment_2.offset_8 = *(generic32_t *) (var_104 - 56); *(cabifunction_115 **) (var_110 - 4) = function_0x4034e5_Code_x86; revng_abort("A longjmp was taken"); } else { *(generic32_t *) (var_104 - 48) = *(generic32_t *) (var_104 - 24) - *(generic32_t *) (var_104 - 32); *(generic32_t *) (var_104 - 52) = *(generic32_t *) (var_104 - 32); *(generic32_t *) (var_104 - 36) = 0; *(generic32_t *) (var_104 - 40) = 0; if (*(generic32_t *) (var_104 - 48) > 3) { do { *(generic32_t *) (var_104 - 44) = *(generic32_t *) *(generic32_t *) (var_104 - 52); *(generic32_t *) *(generic32_t *) (var_104 - 52) = *(generic32_t *) *(generic32_t *) (var_104 - 52) ^ 0x2BCA6179; *(generic32_t *) *(generic32_t *) (var_104 - 52) = *(generic32_t *) *(generic32_t *) (var_104 - 52) ^ *(generic32_t *) (var_104 - 40); *(generic32_t *) (var_104 - 40) = *(generic32_t *) (var_104 - 44); *(generic32_t *) (var_104 - 36) = *(generic32_t *) (var_104 - 36) ^ *(generic32_t *) (var_104 - 44); *(generic32_t *) (var_104 - 52) = *(generic32_t *) (var_104 - 52) + 4; *(generic32_t *) (var_104 - 48) = *(generic32_t *) (var_104 - 48) - 4; } while (*(generic32_t *) (var_104 - 48) > 7 || *(generic32_t *) (var_104 - 48) < 4); *(cabifunction_115 **) (var_110 - 4) = function_0x4034e5_Code_x86; revng_abort("A longjmp was taken"); } else { *(cabifunction_115 **) (var_110 - 4) = function_0x4034e5_Code_x86; revng_abort("A longjmp was taken"); } } } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x4033d1_Code_x86(void) { *(cabifunction_113 **) (revng_undefined_local_sp() - 36) = function_0x4034dd_Code_x86; *(cabifunction_118 **) (revng_undefined_local_sp() - 576) = function_0x4041fd_Code_x86; *(cabifunction_118 **) (revng_undefined_local_sp() - 28) = function_0x4041fd_Code_x86; segment_0.offset_9430 = function_0x4034e5_Code_x86; *(generic32_t *) (revng_undefined_local_sp() - 12) = 1; *(generic32_t *) (revng_undefined_local_sp() - 52) = *(generic32_t *) (revng_undefined_local_sp() - 28) - *(generic32_t *) (revng_undefined_local_sp() - 36); *(generic32_t *) (revng_undefined_local_sp() - 56) = *(generic32_t *) (revng_undefined_local_sp() - 36); *(generic32_t *) (revng_undefined_local_sp() - 40) = 0; *(generic32_t *) (revng_undefined_local_sp() - 44) = 0; if (*(generic32_t *) (revng_undefined_local_sp() - 52) > 3) { do { *(generic32_t *) (revng_undefined_local_sp() - 48) = *(generic32_t *) *(generic32_t *) (revng_undefined_local_sp() - 56); *(generic32_t *) *(generic32_t *) (revng_undefined_local_sp() - 56) = *(generic32_t *) *(generic32_t *) (revng_undefined_local_sp() - 56) ^ 0x2BCA6179; *(generic32_t *) *(generic32_t *) (revng_undefined_local_sp() - 56) = *(generic32_t *) *(generic32_t *) (revng_undefined_local_sp() - 56) ^ *(generic32_t *) (revng_undefined_local_sp() - 44); *(generic32_t *) (revng_undefined_local_sp() - 44) = *(generic32_t *) (revng_undefined_local_sp() - 48); *(generic32_t *) (revng_undefined_local_sp() - 40) = *(generic32_t *) (revng_undefined_local_sp() - 40) ^ *(generic32_t *) (revng_undefined_local_sp() - 48); *(generic32_t *) (revng_undefined_local_sp() - 56) = *(generic32_t *) (revng_undefined_local_sp() - 56) + 4; *(generic32_t *) (revng_undefined_local_sp() - 52) = *(generic32_t *) (revng_undefined_local_sp() - 52) - 4; } while (*(generic32_t *) (revng_undefined_local_sp() - 52) > 7 || *(generic32_t *) (revng_undefined_local_sp() - 52) < 4); *(cabifunction_115 **) (revng_undefined_local_sp() - 576) = function_0x4034e5_Code_x86; revng_abort("A longjmp was taken"); } else { *(cabifunction_115 **) (revng_undefined_local_sp() - 576) = function_0x4034e5_Code_x86; revng_abort("A longjmp was taken"); } } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x4034dd_Code_x86(void) { generic64_t var_0; generic32_t var_1; generic32_t var_2; generic32_t var_3; generic32_t var_4; generic32_t var_5; generic32_t var_6; generic32_t var_7; generic32_t var_8; generic32_t var_9; generic32_t var_10; generic32_t var_11; generic32_t var_12; generic32_t var_13; generic32_t var_14; generic32_t var_15; generic32_t var_16; generic32_t var_17; generic32_t var_18; generic32_t var_19; generic32_t var_20; generic32_t var_21; generic32_t var_22; generic32_t var_23; generic32_t var_24; generic32_t var_25; generic32_t var_26; generic32_t var_27; generic32_t var_28; generic32_t var_29; generic32_t var_30; generic32_t var_31; generic32_t var_32; generic32_t var_33; generic32_t var_34; generic32_t var_35; generic32_t var_36; generic32_t var_37; generic32_t var_38; generic32_t var_39; generic32_t var_40; generic32_t var_41; generic32_t var_42; generic32_t var_43; generic32_t var_44; generic32_t var_45; generic8_t var_46; generic32_t var_47; generic8_t var_48; generic8_t var_49; generic8_t var_50; generic8_t var_51; generic8_t var_52; generic8_t var_53; generic8_t var_54; generic8_t var_55; generic8_t var_56; var_0 = helper_fisttll_ST0_wrapper(NULL, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, '\000', &var_56); *(generic64_t *) NULL = var_0; helper_fpop_wrapper(NULL, 0, &var_47, &var_48, &var_49, &var_50, &var_51, &var_52, &var_53, &var_54, &var_55); helper_check_iob_wrapper(NULL, 139, undef(generic32_t), *(generic32_t *) NULL * (number32_t) -8, undef(generic32_t), 4173415048, undef(generic32_t), undef(generic32_t), undef(generic32_t), revng_undefined_local_sp(), (pointer_or_number32_t) &segment_0 + 9452, 4294967295, 514, 4194483, 43, 0, 35, 0, 13630208, 43, 0, 13628160, 43, 0, 0, 43, 0, 65535, 0, 65535, 35584, 1073741824, 71, 2147549185, 0, 0, 0, 4294967295, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45, &var_46); helper_outb(NULL, 139, var_3); } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x4034de_Code_x86(void) { generic64_t var_0; generic32_t var_1; generic32_t var_2; generic32_t var_3; generic32_t var_4; generic32_t var_5; generic32_t var_6; generic32_t var_7; generic32_t var_8; generic32_t var_9; generic32_t var_10; generic32_t var_11; generic32_t var_12; generic32_t var_13; generic32_t var_14; generic32_t var_15; generic32_t var_16; generic32_t var_17; generic32_t var_18; generic32_t var_19; generic32_t var_20; generic32_t var_21; generic32_t var_22; generic32_t var_23; generic32_t var_24; generic32_t var_25; generic32_t var_26; generic32_t var_27; generic32_t var_28; generic32_t var_29; generic32_t var_30; generic32_t var_31; generic32_t var_32; generic32_t var_33; generic32_t var_34; generic32_t var_35; generic32_t var_36; generic32_t var_37; generic32_t var_38; generic32_t var_39; generic32_t var_40; generic32_t var_41; generic32_t var_42; generic32_t var_43; generic32_t var_44; generic32_t var_45; generic8_t var_46; generic32_t var_47; generic8_t var_48; generic8_t var_49; generic8_t var_50; generic8_t var_51; generic8_t var_52; generic8_t var_53; generic8_t var_54; generic8_t var_55; generic8_t var_56; var_0 = helper_fisttll_ST0_wrapper(NULL, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, '\000', &var_56); *(generic64_t *) NULL = var_0; helper_fpop_wrapper(NULL, 0, &var_47, &var_48, &var_49, &var_50, &var_51, &var_52, &var_53, &var_54, &var_55); helper_check_iob_wrapper(NULL, 139, 0, undef(generic32_t), undef(generic32_t), 4173415048, undef(generic32_t), undef(generic32_t), undef(generic32_t), revng_undefined_local_sp(), (pointer_or_number32_t) &segment_0 + 9452, 4294967295, 514, 4194483, 43, 0, 35, 0, 13630208, 43, 0, 13628160, 43, 0, 0, 43, 0, 65535, 0, 65535, 35584, 1073741824, 71, 2147549185, 0, 0, 0, 4294967295, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45, &var_46); helper_outb(NULL, 139, var_3); } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x4034e5_Code_x86(void) { generic32_t var_0; generic32_t var_1; generic32_t var_2; generic32_t var_3; generic32_t var_4; generic32_t var_5; generic32_t var_6; generic32_t var_7; generic32_t var_8; generic32_t var_9; generic32_t var_10; generic32_t var_11; generic32_t var_12; generic32_t var_13; generic32_t var_14; generic32_t var_15; generic32_t var_16; generic32_t var_17; generic32_t var_18; generic32_t var_19; generic32_t var_20; generic32_t var_21; generic32_t var_22; generic32_t var_23; generic32_t var_24; generic32_t var_25; generic32_t var_26; generic32_t var_27; generic32_t var_28; generic32_t var_29; generic32_t var_30; generic32_t var_31; generic32_t var_32; generic32_t var_33; generic32_t var_34; generic32_t var_35; generic32_t var_36; generic32_t var_37; generic32_t var_38; generic32_t var_39; generic32_t var_40; generic32_t var_41; generic32_t var_42; generic32_t var_43; generic32_t var_44; generic8_t var_45; helper_check_iob_wrapper(NULL, 139, undef(generic32_t), undef(generic32_t), undef(generic32_t), 4173415048, undef(generic32_t), undef(generic32_t), undef(generic32_t), revng_undefined_local_sp(), (pointer_or_number32_t) &segment_0 + 9452, 4294967295, 514, 4194483, 43, 0, 35, 0, 13630208, 43, 0, 13628160, 43, 0, 0, 43, 0, 65535, 0, 65535, 35584, 1073741824, 71, 2147549185, 0, 0, 0, 4294967295, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45); helper_outb(NULL, 139, var_2); } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x403527_Code_x86(void) { generic32_t var_0; generic32_t var_1; generic32_t var_2; generic32_t var_3; generic32_t var_4; generic32_t var_5; generic32_t var_6; generic32_t var_7; generic32_t var_8; generic32_t var_9; generic32_t var_10; generic32_t var_11; generic32_t var_12; generic32_t var_13; generic32_t var_14; generic32_t var_15; generic32_t var_16; generic32_t var_17; generic32_t var_18; generic32_t var_19; generic32_t var_20; generic32_t var_21; generic32_t var_22; generic32_t var_23; generic32_t var_24; generic32_t var_25; generic32_t var_26; generic32_t var_27; generic32_t var_28; generic32_t var_29; generic32_t var_30; generic32_t var_31; generic32_t var_32; generic32_t var_33; generic32_t var_34; generic32_t var_35; generic32_t var_36; generic32_t var_37; generic32_t var_38; generic32_t var_39; generic32_t var_40; generic32_t var_41; generic32_t var_42; generic32_t var_43; generic32_t var_44; generic32_t var_45; generic32_t var_46; generic32_t var_47; generic32_t var_48; generic32_t var_49; generic8_t var_50; generic32_t var_51; generic32_t var_52; generic32_t var_53; generic32_t var_54; generic32_t var_55; generic32_t var_56; generic32_t var_57; generic32_t var_58; generic32_t var_59; generic32_t var_60; generic32_t var_61; generic32_t var_62; generic32_t var_63; generic32_t var_64; generic32_t var_65; generic32_t var_66; generic32_t var_67; generic32_t var_68; generic32_t var_69; generic32_t var_70; generic32_t var_71; generic32_t var_72; generic32_t var_73; generic32_t var_74; generic32_t var_75; generic32_t var_76; generic32_t var_77; generic32_t var_78; generic32_t var_79; generic32_t var_80; generic32_t var_81; generic32_t var_82; generic32_t var_83; generic32_t var_84; generic32_t var_85; generic32_t var_86; generic32_t var_87; generic32_t var_88; generic32_t var_89; generic32_t var_90; generic32_t var_91; generic32_t var_92; generic32_t var_93; generic32_t var_94; generic32_t var_95; generic32_t var_96; generic32_t var_97; generic32_t var_98; generic32_t var_99; generic32_t var_100; generic32_t var_101; generic32_t var_102; generic32_t var_103; generic32_t var_104; generic8_t var_105; generic32_t var_106; generic8_t var_107; generic8_t var_108; generic8_t var_109; generic8_t var_110; generic8_t var_111; generic8_t var_112; generic8_t var_113; generic8_t var_114; generic64_t var_115; generic16_t var_116; generic64_t var_117; generic16_t var_118; generic64_t var_119; generic16_t var_120; generic64_t var_121; generic16_t var_122; generic64_t var_123; generic16_t var_124; generic64_t var_125; generic16_t var_126; generic64_t var_127; generic16_t var_128; generic64_t var_129; generic16_t var_130; generic32_t var_131; generic32_t var_132; generic32_t var_133; generic32_t var_134; generic32_t var_135; generic32_t var_136; generic32_t var_137; generic32_t var_138; generic32_t var_139; generic32_t var_140; generic32_t var_141; generic32_t var_142; generic32_t var_143; generic32_t var_144; generic32_t var_145; generic32_t var_146; generic32_t var_147; generic32_t var_148; generic32_t var_149; generic32_t var_150; generic32_t var_151; generic32_t var_152; generic32_t var_153; generic32_t var_154; generic32_t var_155; generic32_t var_156; generic32_t var_157; generic32_t var_158; generic32_t var_159; generic32_t var_160; generic32_t var_161; generic32_t var_162; generic32_t var_163; generic32_t var_164; generic32_t var_165; generic32_t var_166; generic32_t var_167; generic32_t var_168; generic32_t var_169; generic32_t var_170; generic32_t var_171; generic32_t var_172; generic32_t var_173; generic32_t var_174; generic32_t var_175; generic32_t var_176; generic32_t var_177; generic32_t var_178; generic32_t var_179; generic32_t var_180; generic32_t var_181; generic32_t var_182; generic32_t var_183; generic8_t var_184; generic32_t var_185; generic32_t var_186; generic32_t var_187; generic32_t var_188; generic32_t var_189; generic32_t var_190; generic32_t var_191; generic32_t var_192; generic32_t var_193; generic32_t var_194; generic32_t var_195; generic32_t var_196; generic32_t var_197; generic32_t var_198; generic32_t var_199; generic32_t var_200; generic32_t var_201; generic32_t var_202; generic32_t var_203; generic32_t var_204; generic32_t var_205; generic32_t var_206; generic32_t var_207; generic32_t var_208; generic32_t var_209; generic32_t var_210; generic32_t var_211; generic32_t var_212; generic32_t var_213; generic32_t var_214; generic32_t var_215; generic32_t var_216; generic32_t var_217; generic32_t var_218; generic32_t var_219; generic32_t var_220; generic32_t var_221; generic32_t var_222; generic32_t var_223; generic32_t var_224; generic32_t var_225; generic32_t var_226; generic32_t var_227; generic32_t var_228; generic32_t var_229; generic8_t var_230; generic32_t var_231; generic32_t var_232; generic32_t var_233; generic32_t var_234; *(generic32_t *) (revng_undefined_local_sp() - 4) = 35; *(generic32_t *) NULL = *(generic32_t *) NULL ^ 0xEB10C077; helper_check_iob_wrapper(NULL, 174, *(generic8_t *) 2175667345 + 811785406, 3605760766, undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), revng_undefined_local_sp() - 4, (pointer_or_number32_t) &segment_0 + 9537, 4294967295, 514, 4194483, 43, 0, 35, 0, 13630208, 43, 0, 13628160, 43, 0, 0, 43, 0, 65535, 0, 65535, 35584, 1073741824, 71, 2147549185, 0, 0, 0, 4294967295, &var_185, &var_186, &var_187, &var_188, &var_189, &var_190, &var_191, &var_192, &var_193, &var_194, &var_195, &var_196, &var_197, &var_198, &var_199, &var_200, &var_201, &var_202, &var_203, &var_204, &var_205, &var_206, &var_207, &var_208, &var_209, &var_210, &var_211, &var_212, &var_213, &var_214, &var_215, &var_216, &var_217, &var_218, &var_219, &var_220, &var_221, &var_222, &var_223, &var_224, &var_225, &var_226, &var_227, &var_228, &var_229, &var_230); var_234 = var_186; var_233 = var_192; var_4 = helper_inb(NULL, 174); var_232 = 68; switch ((number32_t) var_185) { case 49: { var_3 = !(var_232 & 0x1) ? 0 : 255; *(generic32_t *) (((var_187 & 0xFFFFFF00) | var_3) - 12) = (int32_t) *(generic32_t *) (((var_187 & 0xFFFFFF00) | var_3) - 12) >> (var_190 & 0x1F); var_2 = !(var_190 & 0x1F) ? var_231 : (int32_t) *(generic32_t *) (((var_187 & 0xFFFFFF00) | var_3) - 12) >> (var_190 & 0x1F); var_1 = !(var_190 & 0x1F) ? var_232 : (int32_t) *(generic32_t *) (((var_187 & 0xFFFFFF00) | var_3) - 12) >> ((var_190 & 0x1F) - 1); var_0 = !(var_190 & 0x1F) ? 1 : 40; helper_ljmp_protected_wrapper(NULL, 31234, 194132266, 7, var_2, var_0, var_1, 0, (var_187 & 0xFFFFFF00) | var_3, var_188, var_189, var_190, var_191, var_233, var_193, var_194, (pointer_or_number32_t) &segment_0 + 9637, var_196, var_197, var_198, var_199, var_200, var_201, var_204, var_205, var_206, var_207, var_208, var_209, var_211, var_212, var_213, var_216, var_220, var_224, var_225, 0, 0, 35584, 1073741824, 71, 2147549185, 0, var_226, var_228, var_229, &var_131, &var_132, &var_133, &var_134, &var_135, &var_136, &var_137, &var_138, &var_139, &var_140, &var_141, &var_142, &var_143, &var_144, &var_145, &var_146, &var_147, &var_148, &var_149, &var_150, &var_151, &var_152, &var_153, &var_154, &var_155, &var_156, &var_157, &var_158, &var_159, &var_160, &var_161, &var_162, &var_163, &var_164, &var_165, &var_166, &var_167, &var_168, &var_169, &var_170, &var_171, &var_172, &var_173, &var_174, &var_175, &var_176, &var_177, &var_178, &var_179, &var_180, &var_181, &var_182, &var_183, &var_184); revng_abort("A longjmp was taken"); } break; case 1: case 2: case 3: case 4: case 6: case 7: case 8: case 10: case 11: case 12: case 14: case 15: case 16: case 18: case 19: case 20: case 22: case 23: case 24: case 26: case 27: case 28: case 30: case 31: case 32: case 34: case 35: case 36: case 38: case 39: case 40: case 42: case 43: case 44: case 46: case 47: case 48: { switch ((number32_t) var_185) { case 23: { generic32_t var_235; var_235 = lshift(0, 4294967288); var_234 = (var_235 & 0x80) | 0x44; } break; case 22: { generic32_t var_236; var_236 = lshift(0, 0); var_234 = (var_236 & 0x80) | 0x44; } break; case 20: { generic32_t var_237; generic32_t var_238; var_238 = lshift(undef(generic32_t), 4294967272); var_237 = lshift(0, 4294967276); var_234 = (var_186 & 0x10) | (var_238 & 0x80) | (var_237 & 0x800) | 0x4; } break; case 19: { generic32_t var_239; generic32_t var_240; var_240 = lshift(0, 4294967288); var_239 = lshift(0, 4294967292); var_234 = (var_186 & 0x10) | ((var_186 & 0xFFFF) != 0) | (var_240 & 0x80) | (var_239 & 0x800) | 0x44; } break; case 18: { generic32_t var_241; generic32_t var_242; var_242 = lshift(0, 0); var_241 = lshift(0, 4); var_234 = (var_186 & 0x10) | ((var_186 & 0xFF) != 0) | (var_242 & 0x80) | (var_241 & 0x800) | 0x44; } break; case 16: { generic32_t var_243; generic32_t var_244; var_244 = lshift(undef(generic32_t), 4294967272); var_243 = lshift(0, 4294967276); var_234 = (var_186 & 0x10) | (var_244 & 0x80) | (var_243 & 0x800) | 0x4; } break; case 15: { generic32_t var_245; generic32_t var_246; var_246 = lshift(0, 4294967288); var_245 = lshift(0, 4294967292); var_234 = (var_186 & 0x10) | ((var_186 & 0xFFFF) != 0) | (var_246 & 0x80) | (var_245 & 0x800) | 0x44; } break; case 14: { generic32_t var_247; generic32_t var_248; var_248 = lshift(0, 0); var_247 = lshift(0, 4); var_234 = (var_186 & 0x10) | ((var_186 & 0xFF) != 0) | (var_248 & 0x80) | (var_247 & 0x800) | 0x44; } break; case 12: { generic32_t var_249; generic32_t var_250; var_250 = lshift(undef(generic32_t), 4294967272); var_249 = lshift(undef(generic32_t), 4294967276); var_234 = (var_250 & 0x80) | (var_249 & 0x800) | 0x4; } break; case 11: { generic32_t var_251; generic32_t var_252; var_252 = lshift(0, 4294967288); var_251 = lshift(0, 4294967292); var_234 = (var_252 & 0x80) | ((var_186 & 0xFFFF) != 0) | (var_251 & 0x800) | 0x44; } break; case 10: { generic32_t var_253; generic32_t var_254; var_254 = lshift(0, 0); var_253 = lshift(0, 4); var_234 = (var_254 & 0x80) | ((var_186 & 0xFF) != 0) | (var_253 & 0x800) | 0x44; } break; case 8: { generic32_t var_255; generic32_t var_256; var_256 = lshift(undef(generic32_t), 4294967272); var_255 = lshift(undef(generic32_t), 4294967276); var_234 = (var_256 & 0x80) | (var_255 & 0x800) | 0x4; } break; case 7: { generic32_t var_257; generic32_t var_258; var_258 = lshift(0, 4294967288); var_257 = lshift(0, 4294967292); var_234 = (var_258 & 0x80) | ((var_186 & 0xFFFF) != 0) | (var_257 & 0x800) | 0x44; } break; case 6: { generic32_t var_259; generic32_t var_260; var_260 = lshift(0, 0); var_259 = lshift(0, 4); var_234 = (var_260 & 0x80) | ((var_186 & 0xFF) != 0) | (var_259 & 0x800) | 0x44; } break; case 4: { generic32_t var_261; generic32_t var_262; var_262 = lshift(undef(generic32_t), 4294967272); var_261 = var_186 != 0 ? 2048 : 0; var_234 = (var_262 & 0x80) | (var_186 != 0) | var_261 | 0x4; } break; case 3: { generic32_t var_263; generic32_t var_264; var_264 = lshift(0, 4294967288); var_263 = var_186 != 0 ? 2048 : 0; var_234 = (var_264 & 0x80) | (var_186 != 0) | var_263 | 0x44; } break; case 2: { generic32_t var_265; generic32_t var_266; var_266 = lshift(0, 0); var_265 = var_186 != 0 ? 2048 : 0; var_234 = (var_266 & 0x80) | (var_186 != 0) | var_265 | 0x44; } break; case 48: { var_234 = 4294967295; } break; case 46: { var_234 = 4294967295; } break; case 47: { var_234 = var_186 & 0xFFFFF7FF; } break; case 43: { generic32_t var_267; var_267 = lshift(0, 4294967288); var_234 = (var_267 & 0x80) | !(var_186 & 0xFFFF) | 0x40; } break; case 44: { generic32_t var_268; var_268 = lshift(undef(generic32_t), 4294967272); var_234 = (var_268 & 0x80) | !var_186; } break; case 42: { generic32_t var_269; var_269 = lshift(0, 0); var_234 = (var_269 & 0x80) | !(var_186 & 0xFF) | 0x40; } break; case 40: { generic32_t var_270; generic32_t var_271; var_271 = lshift(undef(generic32_t), 4294967272); var_270 = lshift(undef(generic32_t), 4294967276); var_234 = (var_186 & 0x1) | (var_271 & 0x80) | (var_270 & 0x800) | 0x4; } break; case 39: { generic32_t var_272; generic32_t var_273; var_273 = lshift(0, 4294967288); var_272 = lshift(0, 4294967292); var_234 = (var_186 & 0x1) | (var_273 & 0x80) | (var_272 & 0x800) | 0x44; } break; case 38: { generic32_t var_274; generic32_t var_275; var_275 = lshift(0, 0); var_274 = lshift(0, 4); var_234 = (var_186 & 0x1) | (var_275 & 0x80) | (var_274 & 0x800) | 0x44; } break; case 36: { generic32_t var_276; generic32_t var_277; var_277 = lshift(undef(generic32_t), 4294967272); var_276 = lshift(undef(generic32_t), 4294967276); var_234 = ((uint32_t) var_186 >> 31) | (var_277 & 0x80) | (var_276 & 0x800) | 0x4; } break; case 35: { generic32_t var_278; generic32_t var_279; var_279 = lshift(0, 4294967288); var_278 = lshift(0, 4294967292); var_234 = (((uint32_t) var_186 >> 15) & 0x1) | (var_279 & 0x80) | (var_278 & 0x800) | 0x44; } break; case 34: { generic32_t var_280; generic32_t var_281; var_281 = lshift(0, 0); var_280 = lshift(0, 4); var_234 = (((uint32_t) var_186 >> 7) & 0x1) | (var_281 & 0x80) | (var_280 & 0x800) | 0x44; } break; case 32: { generic32_t var_282; var_282 = lshift(undef(generic32_t), 4294967272); var_234 = (var_282 & 0x80) | var_186 | 0x4; } break; case 31: { generic32_t var_283; var_283 = lshift(0, 4294967288); var_234 = (var_186 & 0xFFBB) | (var_283 & 0x80) | 0x44; } break; case 30: { generic32_t var_284; var_284 = lshift(0, 0); var_234 = (var_186 & 0xBB) | (var_284 & 0x80) | 0x44; } break; case 28: { generic32_t var_285; var_285 = lshift(undef(generic32_t), 4294967272); var_234 = (var_285 & 0x80) | var_186 | 0x4; } break; case 27: { generic32_t var_286; var_286 = lshift(0, 4294967288); var_234 = (var_186 & 0xFFBB) | (var_286 & 0x80) | 0x44; } break; case 26: { generic32_t var_287; var_287 = lshift(0, 0); var_234 = (var_186 & 0xBB) | (var_287 & 0x80) | 0x44; } break; case 24: { generic32_t var_288; var_288 = lshift(undef(generic32_t), 4294967272); var_234 = (var_288 & 0x80) | 0x4; } break; } var_232 = var_234; var_233 = var_192; if ((var_232 & 0x4)) { var_3 = !(var_232 & 0x1) ? 0 : 255; *(generic32_t *) (((var_187 & 0xFFFFFF00) | var_3) - 12) = (int32_t) *(generic32_t *) (((var_187 & 0xFFFFFF00) | var_3) - 12) >> (var_190 & 0x1F); var_2 = !(var_190 & 0x1F) ? var_231 : (int32_t) *(generic32_t *) (((var_187 & 0xFFFFFF00) | var_3) - 12) >> (var_190 & 0x1F); var_1 = !(var_190 & 0x1F) ? var_232 : (int32_t) *(generic32_t *) (((var_187 & 0xFFFFFF00) | var_3) - 12) >> ((var_190 & 0x1F) - 1); var_0 = !(var_190 & 0x1F) ? 1 : 40; helper_ljmp_protected_wrapper(NULL, 31234, 194132266, 7, var_2, var_0, var_1, 0, (var_187 & 0xFFFFFF00) | var_3, var_188, var_189, var_190, var_191, var_233, var_193, var_194, (pointer_or_number32_t) &segment_0 + 9637, var_196, var_197, var_198, var_199, var_200, var_201, var_204, var_205, var_206, var_207, var_208, var_209, var_211, var_212, var_213, var_216, var_220, var_224, var_225, 0, 0, 35584, 1073741824, 71, 2147549185, 0, var_226, var_228, var_229, &var_131, &var_132, &var_133, &var_134, &var_135, &var_136, &var_137, &var_138, &var_139, &var_140, &var_141, &var_142, &var_143, &var_144, &var_145, &var_146, &var_147, &var_148, &var_149, &var_150, &var_151, &var_152, &var_153, &var_154, &var_155, &var_156, &var_157, &var_158, &var_159, &var_160, &var_161, &var_162, &var_163, &var_164, &var_165, &var_166, &var_167, &var_168, &var_169, &var_170, &var_171, &var_172, &var_173, &var_174, &var_175, &var_176, &var_177, &var_178, &var_179, &var_180, &var_181, &var_182, &var_183, &var_184); revng_abort("A longjmp was taken"); } } break; } generic32_t var_289; generic32_t var_290; var_290 = lshift(((var_187 & 0xFFFFFF00) | (var_4 & 0xFF)) + 805700284, 4294967272); var_289 = lshift((((var_187 & 0xFFFFFF00) | (var_4 & 0xFF)) ^ 0xCFF9FD44) & (((var_187 & 0xFFFFFF00) | (var_4 & 0xFF)) ^ (((var_187 & 0xFFFFFF00) | (var_4 & 0xFF)) + 805700284)), 4294967276); if (!(var_289 & 0x800)) { generic32_t var_291; generic32_t var_292; generic32_t var_293; *(generic32_t *) (var_192 + 1202701456) = *(generic32_t *) (var_192 + 1202701456) << 1; var_293 = !(*(generic32_t *) (var_192 + 1202701456) << 1) ? 64 : 0; var_292 = lshift(*(generic32_t *) (var_192 + 1202701456) << 1, 4294967272); var_291 = lshift(*(generic32_t *) (var_192 + 1202701456) ^ (*(generic32_t *) (var_192 + 1202701456) << 1), 4294967276); if (!(((((llvm_ctpop_i32((*(generic32_t *) (var_192 + 1202701456) << 1) & 0xFE) << 2) & 0x4) | var_293 | (var_292 & 0x80) | (var_291 & 0x800) | ((uint32_t) *(generic32_t *) (var_192 + 1202701456) >> 31)) ^ 0x4) & 0x4)) { generic32_t var_294; generic32_t var_295; generic32_t var_296; generic32_t var_297; *(generic8_t *) (var_191 + 835551646) = *(generic8_t *) (var_191 + 835551646) - ((number8_t) ((uint32_t) var_192 >> 8) + (number8_t) ((uint32_t) *(generic32_t *) (var_192 + 1202701456) >> 31)); var_297 = (var_190 & 0x3) > (*(generic16_t *) (((var_187 & 0xFFFFFF00) | ((number8_t) var_4 << '\001')) - 97) & 0x3) ? (var_190 & 0x3) | (*(generic16_t *) (((var_187 & 0xFFFFFF00) | ((number8_t) var_4 << '\001')) - 97) & 0xFFFC) : *(generic16_t *) (((var_187 & 0xFFFFFF00) | ((number8_t) var_4 << '\001')) - 97); *(generic16_t *) (((var_187 & 0xFFFFFF00) | ((number8_t) var_4 << '\001')) - 97) = (number16_t) var_297; var_296 = lshift((number8_t) var_4 << '\001', 0); var_295 = lshift((uint32_t) (((number8_t) var_4 << '\001') ^ (number8_t) var_4), 4); var_294 = lshift(((var_187 & 0xFFFFFF00) | ((number8_t) var_4 << '\001')) & *(generic32_t *) var_191, 4294967272); if (!(var_294 & 0x80)) { helper_check_iob_wrapper(NULL, 139, ((var_187 & 0xFFFFFF00) | ((number8_t) var_4 << '\001')) & *(generic32_t *) var_191, var_188, (var_189 & 0xFFFF00FF) | 0x7100, var_190, var_191, var_192, var_193, 993762278, (pointer_or_number32_t) &segment_0 + 9452, var_196, var_197, var_199, var_200, var_201, var_204, var_205, var_207, var_208, var_209, var_211, var_212, var_213, var_216, var_220, var_224, var_225, 0, 65535, 35584, 1073741824, 71, 2147549185, 0, var_226, var_228, var_229, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45, &var_46, &var_47, &var_48, &var_49, &var_50); helper_outb(NULL, 139, var_7); } else { generic32_t var_298; var_298 = !(((var_187 & 0xFFFFFF00) | ((number8_t) var_4 << '\001')) & *(generic32_t *) var_191) ? 64 : 0; helper_fmov_STN_ST0_wrapper(NULL, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, &var_115, &var_116, &var_117, &var_118, &var_119, &var_120, &var_121, &var_122, &var_123, &var_124, &var_125, &var_126, &var_127, &var_128, &var_129, &var_130); helper_fpop_wrapper(NULL, 0, &var_106, &var_107, &var_108, &var_109, &var_110, &var_111, &var_112, &var_113, &var_114); helper_iret_protected_wrapper(NULL, 1, function_0x403527_Code_x86, (((uint32_t) var_190 >> 8) & 0xFF) | var_190, 22, (((llvm_ctpop_i32(((var_187 & 0xFFFFFF00) | ((number8_t) var_4 << '\001')) & *(generic32_t *) var_191 & 0xFE) << 2) & 0x4) | var_298 | (var_294 & 0x80)) ^ 0x4, (uint32_t) *(generic32_t *) (var_192 + 1202701456) >> 31, ((var_187 & 0xFFFFFF00) | ((number8_t) var_4 << '\001')) & *(generic32_t *) var_191, var_188, (var_189 & 0xFFFF00FF) | 0x7100, (var_190 & 0xFFFF00FF) | (((number32_t) ((((uint32_t) var_190 >> 8) & 0xFF) | var_190) << 8) & 0xFF00), var_191, var_192, var_193, var_194, (pointer_or_number32_t) &segment_0 + 9510, var_196, var_197, var_198, var_199, 1, var_200, var_201, var_203, var_204, var_205, var_206, var_207, var_208, var_209, var_211, var_212, var_213, var_215, var_216, var_219, var_220, var_223, var_224, var_225, 0, 0, 35584, 1073741824, 71, 2147549185, 0, var_226, var_228, var_229, &var_51, &var_52, &var_53, &var_54, &var_55, &var_56, &var_57, &var_58, &var_59, &var_60, &var_61, &var_62, &var_63, &var_64, &var_65, &var_66, &var_67, &var_68, &var_69, &var_70, &var_71, &var_72, &var_73, &var_74, &var_75, &var_76, &var_77, &var_78, &var_79, &var_80, &var_81, &var_82, &var_83, &var_84, &var_85, &var_86, &var_87, &var_88, &var_89, &var_90, &var_91, &var_92, &var_93, &var_94, &var_95, &var_96, &var_97, &var_98, &var_99, &var_100, &var_101, &var_102, &var_103, &var_104, &var_105); revng_abort("A longjmp was taken"); } } else { var_233 = (var_192 & 0xFFFFFF00) | 0x54; var_231 = *(generic32_t *) (var_192 + 1202701456) << 1; var_232 = (((llvm_ctpop_i32((*(generic32_t *) (var_192 + 1202701456) << 1) & 0xFE) << 2) & 0x4) | var_293 | (var_292 & 0x80) | (var_291 & 0x800) | ((uint32_t) *(generic32_t *) (var_192 + 1202701456) >> 31)) ^ 0x4; var_3 = !(var_232 & 0x1) ? 0 : 255; *(generic32_t *) (((var_187 & 0xFFFFFF00) | var_3) - 12) = (int32_t) *(generic32_t *) (((var_187 & 0xFFFFFF00) | var_3) - 12) >> (var_190 & 0x1F); var_2 = !(var_190 & 0x1F) ? var_231 : (int32_t) *(generic32_t *) (((var_187 & 0xFFFFFF00) | var_3) - 12) >> (var_190 & 0x1F); var_1 = !(var_190 & 0x1F) ? var_232 : (int32_t) *(generic32_t *) (((var_187 & 0xFFFFFF00) | var_3) - 12) >> ((var_190 & 0x1F) - 1); var_0 = !(var_190 & 0x1F) ? 1 : 40; helper_ljmp_protected_wrapper(NULL, 31234, 194132266, 7, var_2, var_0, var_1, 0, (var_187 & 0xFFFFFF00) | var_3, var_188, var_189, var_190, var_191, var_233, var_193, var_194, (pointer_or_number32_t) &segment_0 + 9637, var_196, var_197, var_198, var_199, var_200, var_201, var_204, var_205, var_206, var_207, var_208, var_209, var_211, var_212, var_213, var_216, var_220, var_224, var_225, 0, 0, 35584, 1073741824, 71, 2147549185, 0, var_226, var_228, var_229, &var_131, &var_132, &var_133, &var_134, &var_135, &var_136, &var_137, &var_138, &var_139, &var_140, &var_141, &var_142, &var_143, &var_144, &var_145, &var_146, &var_147, &var_148, &var_149, &var_150, &var_151, &var_152, &var_153, &var_154, &var_155, &var_156, &var_157, &var_158, &var_159, &var_160, &var_161, &var_162, &var_163, &var_164, &var_165, &var_166, &var_167, &var_168, &var_169, &var_170, &var_171, &var_172, &var_173, &var_174, &var_175, &var_176, &var_177, &var_178, &var_179, &var_180, &var_181, &var_182, &var_183, &var_184); revng_abort("A longjmp was taken"); } } else { *(generic8_t *) (((var_187 & 0xFFFFFF00) | (var_4 & 0xFF)) - 26) = *(generic8_t *) (((var_187 & 0xFFFFFF00) | (var_4 & 0xFF)) - 26) + (number8_t) ((uint32_t) var_190 >> 8); revng_abort(""); } } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x40354a_Code_x86(void) { generic32_t var_0; generic32_t var_1; generic32_t var_2; generic32_t var_3; generic32_t var_4; generic32_t var_5; generic32_t var_6; generic32_t var_7; generic32_t var_8; generic32_t var_9; generic32_t var_10; generic32_t var_11; generic32_t var_12; generic32_t var_13; generic32_t var_14; generic32_t var_15; generic32_t var_16; generic32_t var_17; generic32_t var_18; generic32_t var_19; generic32_t var_20; generic32_t var_21; generic32_t var_22; generic32_t var_23; generic32_t var_24; generic32_t var_25; generic32_t var_26; generic32_t var_27; generic32_t var_28; generic32_t var_29; generic32_t var_30; generic32_t var_31; generic32_t var_32; generic32_t var_33; generic32_t var_34; generic32_t var_35; generic32_t var_36; generic32_t var_37; generic32_t var_38; generic32_t var_39; generic32_t var_40; generic32_t var_41; generic32_t var_42; generic32_t var_43; generic32_t var_44; generic32_t var_45; generic32_t var_46; generic32_t var_47; generic32_t var_48; generic32_t var_49; generic32_t var_50; generic32_t var_51; generic32_t var_52; generic32_t var_53; generic32_t var_54; generic32_t var_55; generic8_t var_56; *(generic32_t *) NULL = *(generic32_t *) NULL << 1; var_2 = !(*(generic32_t *) NULL << 1) ? 64 : 0; var_1 = lshift(*(generic32_t *) NULL << 1, 4294967272); var_0 = lshift(*(generic32_t *) NULL ^ (*(generic32_t *) NULL << 1), 4294967276); if (!(((((llvm_ctpop_i32((*(generic32_t *) NULL << 1) & 0xFE) << 2) & 0x4) | var_2 | (var_1 & 0x80) | (var_0 & 0x800) | ((uint32_t) *(generic32_t *) NULL >> 31)) ^ 0x4) & 0x4)) { generic32_t var_57; generic32_t var_58; *(generic8_t *) NULL = *(generic8_t *) NULL - (number8_t) ((uint32_t) *(generic32_t *) NULL >> 31); var_58 = lshift(0, 0); var_57 = lshift(0, 4); } else { generic32_t var_59; var_59 = (int32_t) *(generic32_t *) NULL < (int32_t) 0 ? 255 : 0; helper_ljmp_protected_wrapper(NULL, 31234, 194132266, 7, *(generic32_t *) NULL << 1, 1, (((llvm_ctpop_i32((*(generic32_t *) NULL << 1) & 0xFE) << 2) & 0x4) | var_2 | (var_1 & 0x80) | (var_0 & 0x800) | ((uint32_t) *(generic32_t *) NULL >> 31)) ^ 0x4, 0, var_59, undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), 84, undef(generic32_t), revng_undefined_local_sp(), (pointer_or_number32_t) &segment_0 + 9637, 4294967295, 514, 1, 4194483, 43, 0, 35, 0, 4294967295, 13630208, 43, 0, 13628160, 43, 0, 0, 43, 0, 65535, 0, 0, 35584, 1073741824, 71, 2147549185, 0, 0, 0, 4294967295, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45, &var_46, &var_47, &var_48, &var_49, &var_50, &var_51, &var_52, &var_53, &var_54, &var_55, &var_56); revng_abort("A longjmp was taken"); } } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x4041fd_Code_x86(void) { revng_abort("A longjmp was taken"); } _ABI(Microsoft_x86_cdecl) void function_0x404202_Code_x86(void) { struct_59 stack; generic32_t var_0; var_0 = segment_2.offset_4; generic32_t var_1; while (true) { bool var_2 = false; switch ((number32_t) *(generic32_t *) var_0) { case 0: case 1723395003: { switch ((number32_t) *(generic32_t *) var_0) { case 0: { var_1 = NULL; } break; case 1723395003: { var_1 = *(generic32_t *) (var_0 + 4) + segment_2.offset_20; } break; } var_2 = true; break; } break; default: { var_0 = var_0 + 8; } break; } if (var_2){ break;} } *(cabifunction_108 **) &stack = function_0x40322e_Code_x86; ((cabifunction_85 *) var_1)(); } _ABI(Microsoft_x86_cdecl) _Noreturn void function_0x404232_Code_x86(void) { struct_60 stack; generic32_t var_0; var_0 = function_0x402ea8_Code_x86(); stack.offset_0 = var_0; function_0x4033d1_Code_x86(); }