/* cint-core-1, cint-rt-3, emitted by cintc */ #include #include #include #include "cint_rt.h" CINT_RT_INTERNAL const cint_site_info cg_6_orbits_sites[395] = { {0u, 0u, ""}, {35u, 17u, "abs.checked.i64"}, {35u, 26u, "abs.checked.i64"}, {37u, 25u, "mul.checked.i64"}, {37u, 35u, "mul.checked.i64"}, {37u, 30u, "add.checked.i64"}, {37u, 16u, "isqrt.checked.i64"}, {39u, 15u, "div.checked.i64"}, {39u, 21u, "add.checked.i64"}, {40u, 17u, "div.checked.i64"}, {41u, 17u, "div.checked.i64"}, {42u, 21u, "mul.checked.i64"}, {42u, 31u, "mul.checked.i64"}, {42u, 26u, "add.checked.i64"}, {42u, 12u, "isqrt.checked.i64"}, {42u, 37u, "mul.checked.i64"}, {47u, 17u, "abs.checked.i64"}, {47u, 26u, "abs.checked.i64"}, {49u, 25u, "mul.checked.i64"}, {49u, 35u, "mul.checked.i64"}, {49u, 30u, "add.checked.i64"}, {49u, 40u, "add.checked.i64"}, {49u, 16u, "isqrt.checked.i64"}, {51u, 15u, "div.checked.i64"}, {51u, 21u, "add.checked.i64"}, {52u, 17u, "div.checked.i64"}, {53u, 17u, "div.checked.i64"}, {54u, 21u, "mul.checked.i64"}, {54u, 31u, "mul.checked.i64"}, {54u, 26u, "add.checked.i64"}, {54u, 12u, "isqrt.checked.i64"}, {54u, 37u, "mul.checked.i64"}, {60u, 5u, "fuel.charge"}, {61u, 11u, "index.checked.i64"}, {62u, 11u, "index.checked.i64"}, {64u, 5u, "fuel.charge"}, {65u, 20u, "add.checked.i64"}, {65u, 9u, "fuel.charge"}, {66u, 28u, "mul.checked.i64"}, {66u, 32u, "add.checked.i64"}, {66u, 25u, "index.checked.i64"}, {66u, 44u, "mul.checked.i64"}, {66u, 48u, "add.checked.i64"}, {66u, 41u, "index.checked.i64"}, {66u, 37u, "sub.checked.i64"}, {66u, 54u, "div.checked.i64"}, {67u, 28u, "mul.checked.i64"}, {67u, 32u, "add.checked.i64"}, {67u, 25u, "index.checked.i64"}, {67u, 44u, "mul.checked.i64"}, {67u, 48u, "add.checked.i64"}, {67u, 41u, "index.checked.i64"}, {67u, 37u, "sub.checked.i64"}, {67u, 54u, "div.checked.i64"}, {68u, 21u, "call.enter"}, {69u, 46u, "muldiv.checked.i64.i64.half_even"}, {69u, 34u, "muldiv.checked.i64.i64.half_even"}, {69u, 22u, "muldiv.checked.i64.i64.half_even"}, {70u, 46u, "muldiv.checked.i64.i64.half_even"}, {70u, 34u, "muldiv.checked.i64.i64.half_even"}, {70u, 22u, "muldiv.checked.i64.i64.half_even"}, {71u, 15u, "index.checked.i64"}, {71u, 23u, "index.checked.i64"}, {71u, 33u, "index.checked.i64"}, {71u, 37u, "mul.checked.i64"}, {71u, 27u, "add.checked.i64"}, {72u, 15u, "index.checked.i64"}, {72u, 23u, "index.checked.i64"}, {72u, 33u, "index.checked.i64"}, {72u, 37u, "mul.checked.i64"}, {72u, 27u, "add.checked.i64"}, {73u, 15u, "index.checked.i64"}, {73u, 23u, "index.checked.i64"}, {73u, 33u, "index.checked.i64"}, {73u, 37u, "mul.checked.i64"}, {73u, 27u, "sub.checked.i64"}, {74u, 15u, "index.checked.i64"}, {74u, 23u, "index.checked.i64"}, {74u, 33u, "index.checked.i64"}, {74u, 37u, "mul.checked.i64"}, {74u, 27u, "sub.checked.i64"}, {80u, 5u, "fuel.charge"}, {81u, 14u, "mul.checked.i64"}, {81u, 18u, "add.checked.i64"}, {81u, 11u, "index.checked.i64"}, {81u, 30u, "mul.checked.i64"}, {81u, 34u, "add.checked.i64"}, {81u, 27u, "index.checked.i64"}, {81u, 47u, "mul.checked.i64"}, {81u, 51u, "add.checked.i64"}, {81u, 44u, "index.checked.i64"}, {81u, 39u, "add.checked.i64"}, {82u, 14u, "mul.checked.i64"}, {82u, 18u, "add.checked.i64"}, {82u, 11u, "index.checked.i64"}, {82u, 30u, "mul.checked.i64"}, {82u, 34u, "add.checked.i64"}, {82u, 27u, "index.checked.i64"}, {82u, 47u, "mul.checked.i64"}, {82u, 51u, "add.checked.i64"}, {82u, 44u, "index.checked.i64"}, {82u, 39u, "add.checked.i64"}, {87u, 5u, "call.enter"}, {88u, 5u, "fuel.charge"}, {89u, 15u, "mul.checked.i64"}, {89u, 19u, "add.checked.i64"}, {89u, 12u, "index.checked.i64"}, {89u, 28u, "index.checked.i64"}, {90u, 15u, "mul.checked.i64"}, {90u, 19u, "add.checked.i64"}, {90u, 12u, "index.checked.i64"}, {90u, 28u, "index.checked.i64"}, {105u, 5u, "fuel.charge"}, {106u, 9u, "fuel.charge"}, {108u, 23u, "mul.checked.i64"}, {108u, 27u, "add.checked.i64"}, {110u, 19u, "index.checked.i64"}, {110u, 27u, "index.checked.i64"}, {110u, 47u, "index.checked.i64"}, {110u, 55u, "index.checked.i64"}, {110u, 51u, "sub.checked.i64"}, {110u, 62u, "mul.checked.i64"}, {110u, 66u, "mul.checked.i64"}, {110u, 70u, "mul.checked.i64"}, {110u, 33u, "muldiv.checked.i64.i64.half_even"}, {110u, 31u, "add.checked.i64"}, {110u, 119u, "index.checked.i64"}, {110u, 127u, "index.checked.i64"}, {110u, 123u, "sub.checked.i64"}, {110u, 134u, "mul.checked.i64"}, {110u, 138u, "mul.checked.i64"}, {110u, 105u, "muldiv.checked.i64.i64.half_even"}, {110u, 103u, "add.checked.i64"}, {111u, 19u, "index.checked.i64"}, {111u, 27u, "index.checked.i64"}, {111u, 47u, "index.checked.i64"}, {111u, 55u, "index.checked.i64"}, {111u, 51u, "sub.checked.i64"}, {111u, 62u, "mul.checked.i64"}, {111u, 66u, "mul.checked.i64"}, {111u, 70u, "mul.checked.i64"}, {111u, 33u, "muldiv.checked.i64.i64.half_even"}, {111u, 31u, "add.checked.i64"}, {111u, 119u, "index.checked.i64"}, {111u, 127u, "index.checked.i64"}, {111u, 123u, "sub.checked.i64"}, {111u, 134u, "mul.checked.i64"}, {111u, 138u, "mul.checked.i64"}, {111u, 105u, "muldiv.checked.i64.i64.half_even"}, {111u, 103u, "add.checked.i64"}, {112u, 33u, "index.checked.i64"}, {112u, 41u, "index.checked.i64"}, {112u, 37u, "sub.checked.i64"}, {112u, 46u, "div.checked.i64"}, {112u, 59u, "index.checked.i64"}, {112u, 67u, "index.checked.i64"}, {112u, 63u, "sub.checked.i64"}, {112u, 72u, "div.checked.i64"}, {112u, 24u, "call.enter"}, {113u, 19u, "index.checked.i64"}, {113u, 27u, "index.checked.i64"}, {113u, 47u, "index.checked.i64"}, {113u, 55u, "index.checked.i64"}, {113u, 51u, "sub.checked.i64"}, {113u, 62u, "mul.checked.i64"}, {113u, 33u, "muldiv.checked.i64.i64.half_even"}, {113u, 31u, "sub.checked.i64"}, {114u, 19u, "index.checked.i64"}, {114u, 27u, "index.checked.i64"}, {114u, 47u, "index.checked.i64"}, {114u, 55u, "index.checked.i64"}, {114u, 51u, "sub.checked.i64"}, {114u, 62u, "mul.checked.i64"}, {114u, 33u, "muldiv.checked.i64.i64.half_even"}, {114u, 31u, "sub.checked.i64"}, {123u, 9u, "fuel.charge"}, {124u, 13u, "call.enter"}, {128u, 5u, "fuel.charge"}, {129u, 9u, "call.enter"}, {130u, 9u, "fuel.charge"}, {131u, 18u, "mul.checked.i64"}, {131u, 22u, "add.checked.i64"}, {131u, 15u, "index.checked.i64"}, {131u, 34u, "mul.checked.i64"}, {131u, 38u, "add.checked.i64"}, {131u, 31u, "index.checked.i64"}, {131u, 50u, "mul.checked.i64"}, {131u, 54u, "add.checked.i64"}, {131u, 47u, "index.checked.i64"}, {131u, 43u, "add.checked.i64"}, {132u, 18u, "mul.checked.i64"}, {132u, 22u, "add.checked.i64"}, {132u, 15u, "index.checked.i64"}, {132u, 34u, "mul.checked.i64"}, {132u, 38u, "add.checked.i64"}, {132u, 31u, "index.checked.i64"}, {132u, 50u, "mul.checked.i64"}, {132u, 54u, "add.checked.i64"}, {132u, 47u, "index.checked.i64"}, {132u, 43u, "add.checked.i64"}, {134u, 9u, "call.enter"}, {135u, 9u, "call.enter"}, {136u, 19u, "mul.checked.i64"}, {137u, 15u, "index.checked.u64"}, {137u, 28u, "index.checked.u64"}, {137u, 59u, "index.checked.i64"}, {137u, 78u, "index.checked.i64"}, {137u, 91u, "shl.wrap.u64"}, {137u, 108u, "add.checked.i64"}, {137u, 105u, "index.checked.i64"}, {137u, 122u, "shl.wrap.u64"}, {137u, 139u, "add.checked.i64"}, {137u, 136u, "index.checked.i64"}, {137u, 153u, "shl.wrap.u64"}, {137u, 170u, "add.checked.i64"}, {137u, 167u, "index.checked.i64"}, {137u, 184u, "shl.wrap.u64"}, {137u, 201u, "add.checked.i64"}, {137u, 198u, "index.checked.i64"}, {137u, 215u, "shl.wrap.u64"}, {139u, 5u, "call.enter"}, {143u, 9u, "index.checked.i64"}, {144u, 5u, "fuel.charge"}, {145u, 14u, "mul.checked.i64"}, {145u, 18u, "add.checked.i64"}, {145u, 11u, "index.checked.i64"}, {146u, 14u, "mul.checked.i64"}, {146u, 18u, "add.checked.i64"}, {146u, 11u, "index.checked.i64"}, {147u, 14u, "mul.checked.i64"}, {147u, 18u, "add.checked.i64"}, {147u, 11u, "index.checked.i64"}, {148u, 14u, "mul.checked.i64"}, {148u, 18u, "add.checked.i64"}, {148u, 11u, "index.checked.i64"}, {155u, 12u, "fuel.charge"}, {157u, 9u, "call.enter"}, {158u, 9u, "call.enter"}, {159u, 9u, "call.enter"}, {161u, 9u, "call.enter"}, {162u, 9u, "call.enter"}, {163u, 9u, "call.enter"}, {165u, 7u, "index.checked.i64"}, {165u, 15u, "index.checked.i64"}, {165u, 19u, "add.checked.i64"}, {166u, 7u, "index.checked.i64"}, {166u, 15u, "index.checked.i64"}, {166u, 19u, "add.checked.i64"}, {167u, 5u, "fuel.charge"}, {168u, 15u, "index.checked.u64"}, {176u, 12u, "fuel.charge"}, {177u, 18u, "rem.checked.i64"}, {178u, 18u, "div.checked.i64"}, {180u, 21u, "index.checked.i64"}, {181u, 21u, "index.checked.i64"}, {182u, 21u, "index.checked.i64"}, {183u, 21u, "index.checked.i64"}, {187u, 12u, "fuel.charge"}, {188u, 18u, "rem.checked.i64"}, {189u, 18u, "div.checked.i64"}, {190u, 28u, "index.checked.i64"}, {191u, 28u, "index.checked.i64"}, {192u, 28u, "index.checked.i64"}, {193u, 14u, "index.checked.i64"}, {196u, 12u, "fuel.charge"}, {197u, 11u, "index.checked.u64"}, {201u, 12u, "fuel.charge"}, {202u, 18u, "index.checked.u64"}, {205u, 12u, "fuel.charge"}, {210u, 12u, "fuel.charge"}, {211u, 5u, "fuel.charge"}, {212u, 9u, "call.enter"}, {218u, 12u, "fuel.charge"}, {219u, 5u, "fuel.charge"}, {220u, 11u, "index.checked.i64"}, {220u, 20u, "index.checked.i64"}, {220u, 17u, "neg.checked.i64"}, {221u, 11u, "index.checked.i64"}, {221u, 20u, "index.checked.i64"}, {221u, 17u, "neg.checked.i64"}, {227u, 12u, "fuel.charge"}, {229u, 5u, "fuel.charge"}, {230u, 38u, "mul.checked.i64"}, {230u, 42u, "add.checked.i64"}, {230u, 35u, "index.checked.i64"}, {230u, 51u, "index.checked.i64"}, {230u, 47u, "sub.checked.i64"}, {230u, 56u, "div.checked.i64"}, {230u, 72u, "mul.checked.i64"}, {230u, 76u, "add.checked.i64"}, {230u, 69u, "index.checked.i64"}, {230u, 85u, "index.checked.i64"}, {230u, 81u, "sub.checked.i64"}, {230u, 90u, "div.checked.i64"}, {230u, 26u, "call.enter"}, {236u, 12u, "fuel.charge"}, {238u, 5u, "fuel.charge"}, {240u, 33u, "index.checked.i64"}, {240u, 44u, "mul.checked.i64"}, {240u, 48u, "add.checked.i64"}, {240u, 41u, "index.checked.i64"}, {240u, 37u, "mul.checked.i64"}, {240u, 27u, "add.checked.i64"}, {242u, 33u, "index.checked.i64"}, {242u, 44u, "mul.checked.i64"}, {242u, 48u, "add.checked.i64"}, {242u, 41u, "index.checked.i64"}, {242u, 37u, "mul.checked.i64"}, {242u, 27u, "add.checked.i64"}, {251u, 5u, "fuel.charge"}, {252u, 32u, "index.checked.i64"}, {252u, 40u, "index.checked.i64"}, {252u, 36u, "sub.checked.i64"}, {252u, 26u, "abs.checked.i64"}, {253u, 32u, "index.checked.i64"}, {253u, 43u, "add.checked.i64"}, {253u, 40u, "index.checked.i64"}, {253u, 36u, "sub.checked.i64"}, {253u, 26u, "abs.checked.i64"}, {254u, 32u, "index.checked.i64"}, {254u, 43u, "add.checked.i64"}, {254u, 40u, "index.checked.i64"}, {254u, 36u, "add.checked.i64"}, {254u, 26u, "abs.checked.i64"}, {255u, 32u, "index.checked.i64"}, {255u, 43u, "add.checked.i64"}, {255u, 40u, "index.checked.i64"}, {255u, 36u, "add.checked.i64"}, {255u, 26u, "abs.checked.i64"}, {261u, 9u, "call.enter"}, {263u, 5u, "fuel.charge"}, {264u, 11u, "index.checked.i64"}, {264u, 19u, "index.checked.i64"}, {265u, 14u, "add.checked.i64"}, {265u, 11u, "index.checked.i64"}, {265u, 23u, "index.checked.i64"}, {266u, 14u, "add.checked.i64"}, {266u, 11u, "index.checked.i64"}, {266u, 23u, "index.checked.i64"}, {267u, 14u, "add.checked.i64"}, {267u, 11u, "index.checked.i64"}, {267u, 23u, "index.checked.i64"}, {269u, 9u, "call.enter"}, {270u, 9u, "call.enter"}, {271u, 9u, "call.enter"}, {272u, 12u, "call.enter"}, {275u, 6u, "fuel.charge"}, {276u, 9u, "call.enter"}, {277u, 9u, "call.enter"}, {278u, 5u, "print"}, {279u, 27u, "index.checked.u64"}, {279u, 5u, "print"}, {280u, 27u, "index.checked.u64"}, {280u, 5u, "print"}, {281u, 27u, "index.checked.u64"}, {281u, 5u, "print"}, {282u, 21u, "call.enter"}, {282u, 43u, "call.enter"}, {282u, 5u, "print"}, {283u, 18u, "call.enter"}, {283u, 38u, "call.enter"}, {283u, 5u, "print"}, {284u, 53u, "call.enter"}, {284u, 5u, "print"}, {287u, 1u, "fuel.charge"}, {288u, 12u, "call.enter"}, {288u, 12u, "assert.checked.bool"}, {289u, 12u, "call.enter"}, {289u, 12u, "assert.checked.bool"}, {292u, 1u, "fuel.charge"}, {293u, 9u, "call.enter"}, {294u, 14u, "call.enter"}, {295u, 14u, "call.enter"}, {296u, 9u, "call.enter"}, {297u, 12u, "call.enter"}, {297u, 36u, "call.enter"}, {297u, 12u, "assert.checked.bool"}, {300u, 1u, "fuel.charge"}, {301u, 9u, "call.enter"}, {302u, 9u, "call.enter"}, {303u, 16u, "call.enter"}, {304u, 9u, "call.enter"}, {305u, 9u, "call.enter"}, {306u, 33u, "call.enter"}, {306u, 43u, "mul.checked.i64"}, {306u, 12u, "assert.checked.bool"}, {309u, 1u, "fuel.charge"}, {310u, 9u, "call.enter"}, {311u, 9u, "call.enter"}, {312u, 18u, "index.checked.u64"}, {312u, 12u, "assert.checked.bool"}, {313u, 18u, "index.checked.u64"}, {313u, 12u, "assert.checked.bool"}, {314u, 18u, "index.checked.u64"}, {314u, 12u, "assert.checked.bool"}, }; CINT_RT_INTERNAL const cint_module cg_6_orbits_module = {"orbits.ci", 9u, 395u, cg_6_orbits_sites}; CINT_RT_INTERNAL extern const cint_program cg_program; CINT_RT_EXPORT const cint_module_info cm_6_orbits = {CINT_ABI_VERSION, 0u, &cg_program, NULL}; typedef struct cg_6_orbits_state { int64_t g_px[9]; int64_t g_py[9]; int64_t g_vx[9]; int64_t g_vy[9]; int64_t g_mass[3]; uint64_t g_digest[3]; int64_t g_tether; int64_t g_hx[3]; int64_t g_hy[3]; int64_t g_kx9[9]; int64_t g_ky9[9]; bool g_kept; } cg_6_orbits_state; static const cg_6_orbits_state cg_6_orbits_state_init = {{0}, {0}, {0}, {0}, {0}, {0}, INT64_C(0), {0}, {0}, {0}, {0}, false}; static const int64_t cg_6_orbits_state_ext[] = {INT64_C(9), INT64_C(9), INT64_C(9), INT64_C(9), INT64_C(3), INT64_C(3), INT64_C(3), INT64_C(3), INT64_C(9), INT64_C(9)}; static const cint_state_var cg_6_orbits_state_vars[12] = { {"px", 2u, 0x14u, (uint32_t)offsetof(cg_6_orbits_state, g_px), 1u, &cg_6_orbits_state_ext[0], NULL}, {"py", 2u, 0x14u, (uint32_t)offsetof(cg_6_orbits_state, g_py), 1u, &cg_6_orbits_state_ext[1], NULL}, {"vx", 2u, 0x14u, (uint32_t)offsetof(cg_6_orbits_state, g_vx), 1u, &cg_6_orbits_state_ext[2], NULL}, {"vy", 2u, 0x14u, (uint32_t)offsetof(cg_6_orbits_state, g_vy), 1u, &cg_6_orbits_state_ext[3], NULL}, {"mass", 4u, 0x14u, (uint32_t)offsetof(cg_6_orbits_state, g_mass), 1u, &cg_6_orbits_state_ext[4], NULL}, {"digest", 6u, 0x24u, (uint32_t)offsetof(cg_6_orbits_state, g_digest), 1u, &cg_6_orbits_state_ext[5], NULL}, {"tether", 6u, 0x14u, (uint32_t)offsetof(cg_6_orbits_state, g_tether), 0u, NULL, NULL}, {"hx", 2u, 0x14u, (uint32_t)offsetof(cg_6_orbits_state, g_hx), 1u, &cg_6_orbits_state_ext[6], NULL}, {"hy", 2u, 0x14u, (uint32_t)offsetof(cg_6_orbits_state, g_hy), 1u, &cg_6_orbits_state_ext[7], NULL}, {"kx9", 3u, 0x14u, (uint32_t)offsetof(cg_6_orbits_state, g_kx9), 1u, &cg_6_orbits_state_ext[8], NULL}, {"ky9", 3u, 0x14u, (uint32_t)offsetof(cg_6_orbits_state, g_ky9), 1u, &cg_6_orbits_state_ext[9], NULL}, {"kept", 4u, 0x01u, (uint32_t)offsetof(cg_6_orbits_state, g_kept), 0u, NULL, NULL}, }; CINT_RT_INTERNAL const cint_state cg_6_orbits_state_desc = {0u, 12u, (uint32_t)sizeof(cg_6_orbits_state), 0u, &cg_6_orbits_state_init, cg_6_orbits_state_vars}; static bool ci_6_orbits_5_apart(cint_ctx *ctx, int64_t v_dx, int64_t v_dy, int64_t *result); static bool ci_6_orbits_4_dist(cint_ctx *ctx, int64_t v_dx, int64_t v_dy, int64_t *result); static bool ci_6_orbits_5_kicks(cint_ctx *ctx, int64_t v_c); static bool ci_6_orbits_4_kick(cint_ctx *ctx, int64_t v_c); static bool ci_6_orbits_4_keep(cint_ctx *ctx, int64_t v_c); static bool ci_6_orbits_13_pull_x5Ftwins(cint_ctx *ctx); static bool ci_6_orbits_4_step(cint_ctx *ctx); static bool ci_6_orbits_3_put(cint_ctx *ctx, int64_t v_b, int64_t v_m, int64_t v_x, int64_t v_y, int64_t v_u, int64_t v_v); static bool ci_6_orbits_5_start(cint_ctx *ctx, int64_t v_preset, int64_t *result); static bool ci_6_orbits_4_load(cint_ctx *ctx, int64_t v_slot, int64_t v_value, int64_t *result); static bool ci_6_orbits_4_read(cint_ctx *ctx, int64_t v_slot, int64_t *result); static bool ci_6_orbits_4_seed(cint_ctx *ctx, int64_t v_c, uint64_t v_value, uint64_t *result); static bool ci_6_orbits_12_digest_x5Fof(cint_ctx *ctx, int64_t v_c, uint64_t *result); static bool ci_6_orbits_4_pull(cint_ctx *ctx, int64_t v_k, int64_t *result); static bool ci_6_orbits_7_advance(cint_ctx *ctx, int64_t v_ticks, int64_t *result); static bool ci_6_orbits_4_flip(cint_ctx *ctx, int64_t *result); static bool ci_6_orbits_6_spread(cint_ctx *ctx, int64_t v_c, int64_t *result); static bool ci_6_orbits_8_momentum(cint_ctx *ctx, int64_t v_c, int64_t v_axis, int64_t *result); static bool ci_6_orbits_6_offset(cint_ctx *ctx, int64_t *v_s0, int64_t o_s0, int64_t n_s0, int64_t s_s0, int64_t *result); static bool ci_6_orbits_20_there_x5Fand_x5Fback(cint_ctx *ctx, int64_t v_preset, int64_t v_ticks, int64_t *result); static bool ci_6_orbits_4_main(cint_ctx *ctx); static bool cg_6_orbits_tb0(cint_ctx *ctx); static bool cg_6_orbits_tb1(cint_ctx *ctx); static bool cg_6_orbits_tb2(cint_ctx *ctx); static bool cg_6_orbits_tb3(cint_ctx *ctx); static bool ci_6_orbits_5_apart(cint_ctx *ctx, int64_t v_dx, int64_t v_dy, int64_t *result) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t t3 = 0; int64_t t4 = 0; bool t5 = false; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; int64_t t11 = 0; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; int64_t t18 = 0; int64_t t19 = 0; int64_t t20 = 0; int64_t t21 = 0; int64_t t22 = 0; int64_t t23 = 0; int64_t t24 = 0; int64_t t25 = 0; int64_t t26 = 0; int64_t t27 = 0; int64_t t28 = 0; int64_t l0_m = 0; int64_t l1_s = 0; int64_t l2_ex = 0; int64_t l3_ey = 0; (void)ctx; (void)v_dx; (void)v_dy; (void)l0_m; (void)l1_s; (void)l2_ex; (void)l3_ey; (void)result; static const cint_site cs1 = {0u, 1u}; (void)cs1; static const cint_site cs2 = {0u, 2u}; (void)cs2; static const cint_site cs3 = {0u, 3u}; (void)cs3; static const cint_site cs4 = {0u, 4u}; (void)cs4; static const cint_site cs5 = {0u, 5u}; (void)cs5; static const cint_site cs6 = {0u, 6u}; (void)cs6; static const cint_site cs7 = {0u, 7u}; (void)cs7; static const cint_site cs8 = {0u, 8u}; (void)cs8; static const cint_site cs9 = {0u, 9u}; (void)cs9; static const cint_site cs10 = {0u, 10u}; (void)cs10; static const cint_site cs11 = {0u, 11u}; (void)cs11; static const cint_site cs12 = {0u, 12u}; (void)cs12; static const cint_site cs13 = {0u, 13u}; (void)cs13; static const cint_site cs14 = {0u, 14u}; (void)cs14; static const cint_site cs15 = {0u, 15u}; (void)cs15; if (!cint_builtin_i64(ctx, cs1, 1u, CINT_TAG_I64, 0u, 0u, (uint64_t)v_dx, 0u, 0u, &t0)) goto fault; if (!cint_builtin_i64(ctx, cs2, 1u, CINT_TAG_I64, 0u, 0u, (uint64_t)v_dy, 0u, 0u, &t1)) goto fault; t2 = cint_max_i64(t0, t1); l0_m = t2; t3 = l0_m; t4 = INT64_C(2000000000); t5 = t3 < t4; if (!t5) goto L10_f; if (!cint_mul_i64(ctx, cs3, v_dx, v_dx, &t6)) goto fault; if (!cint_mul_i64(ctx, cs4, v_dy, v_dy, &t7)) goto fault; if (!cint_add_i64(ctx, cs5, t6, t7, &t8)) goto fault; if (!cint_builtin_i64(ctx, cs6, 13u, CINT_TAG_I64, 0u, 0u, (uint64_t)t8, 0u, 0u, &t9)) goto fault; *result = t9; return true; L10_f:; t10 = l0_m; t11 = INT64_C(2000000000); if (!cint_div_i64(ctx, cs7, t10, t11, &t12)) goto fault; t13 = INT64_C(1); if (!cint_add_i64(ctx, cs8, t12, t13, &t14)) goto fault; l1_s = t14; t15 = l1_s; if (!cint_div_i64(ctx, cs9, v_dx, t15, &t16)) goto fault; l2_ex = t16; t17 = l1_s; if (!cint_div_i64(ctx, cs10, v_dy, t17, &t18)) goto fault; l3_ey = t18; t19 = l2_ex; t20 = l2_ex; if (!cint_mul_i64(ctx, cs11, t19, t20, &t21)) goto fault; t22 = l3_ey; t23 = l3_ey; if (!cint_mul_i64(ctx, cs12, t22, t23, &t24)) goto fault; if (!cint_add_i64(ctx, cs13, t21, t24, &t25)) goto fault; if (!cint_builtin_i64(ctx, cs14, 13u, CINT_TAG_I64, 0u, 0u, (uint64_t)t25, 0u, 0u, &t26)) goto fault; t27 = l1_s; if (!cint_mul_i64(ctx, cs15, t26, t27, &t28)) goto fault; *result = t28; return true; fault: return false; } static bool ci_6_orbits_4_dist(cint_ctx *ctx, int64_t v_dx, int64_t v_dy, int64_t *result) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t t3 = 0; int64_t t4 = 0; bool t5 = false; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; int64_t t11 = 0; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; int64_t t18 = 0; int64_t t19 = 0; int64_t t20 = 0; int64_t t21 = 0; int64_t t22 = 0; int64_t t23 = 0; int64_t t24 = 0; int64_t t25 = 0; int64_t t26 = 0; int64_t t27 = 0; int64_t t28 = 0; int64_t t29 = 0; int64_t t30 = 0; int64_t l0_m = 0; int64_t l1_s = 0; int64_t l2_ex = 0; int64_t l3_ey = 0; (void)ctx; (void)v_dx; (void)v_dy; (void)l0_m; (void)l1_s; (void)l2_ex; (void)l3_ey; (void)result; static const cint_site cs16 = {0u, 16u}; (void)cs16; static const cint_site cs17 = {0u, 17u}; (void)cs17; static const cint_site cs18 = {0u, 18u}; (void)cs18; static const cint_site cs19 = {0u, 19u}; (void)cs19; static const cint_site cs20 = {0u, 20u}; (void)cs20; static const cint_site cs21 = {0u, 21u}; (void)cs21; static const cint_site cs22 = {0u, 22u}; (void)cs22; static const cint_site cs23 = {0u, 23u}; (void)cs23; static const cint_site cs24 = {0u, 24u}; (void)cs24; static const cint_site cs25 = {0u, 25u}; (void)cs25; static const cint_site cs26 = {0u, 26u}; (void)cs26; static const cint_site cs27 = {0u, 27u}; (void)cs27; static const cint_site cs28 = {0u, 28u}; (void)cs28; static const cint_site cs29 = {0u, 29u}; (void)cs29; static const cint_site cs30 = {0u, 30u}; (void)cs30; static const cint_site cs31 = {0u, 31u}; (void)cs31; if (!cint_builtin_i64(ctx, cs16, 1u, CINT_TAG_I64, 0u, 0u, (uint64_t)v_dx, 0u, 0u, &t0)) goto fault; if (!cint_builtin_i64(ctx, cs17, 1u, CINT_TAG_I64, 0u, 0u, (uint64_t)v_dy, 0u, 0u, &t1)) goto fault; t2 = cint_max_i64(t0, t1); l0_m = t2; t3 = l0_m; t4 = INT64_C(2000000000); t5 = t3 < t4; if (!t5) goto L10_f; if (!cint_mul_i64(ctx, cs18, v_dx, v_dx, &t6)) goto fault; if (!cint_mul_i64(ctx, cs19, v_dy, v_dy, &t7)) goto fault; if (!cint_add_i64(ctx, cs20, t6, t7, &t8)) goto fault; t9 = INT64_C(1000000000000); if (!cint_add_i64(ctx, cs21, t8, t9, &t10)) goto fault; if (!cint_builtin_i64(ctx, cs22, 13u, CINT_TAG_I64, 0u, 0u, (uint64_t)t10, 0u, 0u, &t11)) goto fault; *result = t11; return true; L10_f:; t12 = l0_m; t13 = INT64_C(2000000000); if (!cint_div_i64(ctx, cs23, t12, t13, &t14)) goto fault; t15 = INT64_C(1); if (!cint_add_i64(ctx, cs24, t14, t15, &t16)) goto fault; l1_s = t16; t17 = l1_s; if (!cint_div_i64(ctx, cs25, v_dx, t17, &t18)) goto fault; l2_ex = t18; t19 = l1_s; if (!cint_div_i64(ctx, cs26, v_dy, t19, &t20)) goto fault; l3_ey = t20; t21 = l2_ex; t22 = l2_ex; if (!cint_mul_i64(ctx, cs27, t21, t22, &t23)) goto fault; t24 = l3_ey; t25 = l3_ey; if (!cint_mul_i64(ctx, cs28, t24, t25, &t26)) goto fault; if (!cint_add_i64(ctx, cs29, t23, t26, &t27)) goto fault; if (!cint_builtin_i64(ctx, cs30, 13u, CINT_TAG_I64, 0u, 0u, (uint64_t)t27, 0u, 0u, &t28)) goto fault; t29 = l1_s; if (!cint_mul_i64(ctx, cs31, t28, t29, &t30)) goto fault; *result = t30; return true; fault: return false; } static bool ci_6_orbits_5_kicks(cint_ctx *ctx, int64_t v_c) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; bool t3 = false; int64_t t4 = 0; int64_t t5 = 0; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; int64_t t11 = 0; int64_t t12 = 0; int64_t t13 = 0; bool t14 = false; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; int64_t t18 = 0; int64_t t19 = 0; bool t20 = false; int64_t t21 = 0; int64_t t22 = 0; int64_t t23 = 0; int64_t t24 = 0; int64_t t25 = 0; int64_t t26 = 0; int64_t t27 = 0; int64_t t28 = 0; int64_t t29 = 0; int64_t t30 = 0; int64_t t31 = 0; int64_t t32 = 0; int64_t t33 = 0; int64_t t34 = 0; int64_t t35 = 0; int64_t t36 = 0; int64_t t37 = 0; int64_t t38 = 0; int64_t t39 = 0; int64_t t40 = 0; int64_t t41 = 0; int64_t t42 = 0; int64_t t43 = 0; int64_t t44 = 0; int64_t t45 = 0; int64_t t46 = 0; int64_t t47 = 0; int64_t t48 = 0; int64_t t49 = 0; int64_t t50 = 0; int64_t t51 = 0; int64_t t52 = 0; int64_t t53 = 0; int64_t t54 = 0; int64_t t55 = 0; int64_t t56 = 0; int64_t t57 = 0; int64_t t58 = 0; int64_t t59 = 0; int64_t t60 = 0; int64_t t61 = 0; int64_t t62 = 0; int64_t t63 = 0; int64_t t64 = 0; int64_t t65 = 0; int64_t t66 = 0; int64_t t67 = 0; int64_t t68 = 0; int64_t t69 = 0; int64_t t70 = 0; int64_t t71 = 0; int64_t t72 = 0; int64_t t73 = 0; int64_t t74 = 0; int64_t t75 = 0; int64_t t76 = 0; int64_t t77 = 0; int64_t t78 = 0; int64_t t79 = 0; int64_t t80 = 0; int64_t t81 = 0; int64_t t82 = 0; int64_t t83 = 0; int64_t t84 = 0; int64_t t85 = 0; int64_t t86 = 0; int64_t t87 = 0; int64_t t88 = 0; int64_t t89 = 0; int64_t t90 = 0; int64_t t91 = 0; int64_t t92 = 0; int64_t t93 = 0; int64_t t94 = 0; int64_t t95 = 0; int64_t t96 = 0; int64_t t97 = 0; int64_t t98 = 0; int64_t t99 = 0; int64_t t100 = 0; int64_t t101 = 0; int64_t t102 = 0; int64_t t103 = 0; int64_t t104 = 0; int64_t t105 = 0; int64_t t106 = 0; int64_t t107 = 0; int64_t l0_b = 0; int64_t l1_i = 0; int64_t l2_j = 0; int64_t l3_dx = 0; int64_t l4_dy = 0; int64_t l5_d = 0; int64_t l6_kx = 0; int64_t l7_ky = 0; cg_6_orbits_state *const cg_st = (cg_6_orbits_state *)cint_rt_state(ctx, &cg_6_orbits_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_c; (void)l0_b; (void)l1_i; (void)l2_j; (void)l3_dx; (void)l4_dy; (void)l5_d; (void)l6_kx; (void)l7_ky; static const cint_site cs32 = {0u, 32u}; (void)cs32; static const cint_site cs33 = {0u, 33u}; (void)cs33; static const cint_site cs34 = {0u, 34u}; (void)cs34; static const cint_site cs35 = {0u, 35u}; (void)cs35; static const cint_site cs36 = {0u, 36u}; (void)cs36; static const cint_site cs37 = {0u, 37u}; (void)cs37; static const cint_site cs38 = {0u, 38u}; (void)cs38; static const cint_site cs39 = {0u, 39u}; (void)cs39; static const cint_site cs40 = {0u, 40u}; (void)cs40; static const cint_site cs41 = {0u, 41u}; (void)cs41; static const cint_site cs42 = {0u, 42u}; (void)cs42; static const cint_site cs43 = {0u, 43u}; (void)cs43; static const cint_site cs44 = {0u, 44u}; (void)cs44; static const cint_site cs45 = {0u, 45u}; (void)cs45; static const cint_site cs46 = {0u, 46u}; (void)cs46; static const cint_site cs47 = {0u, 47u}; (void)cs47; static const cint_site cs48 = {0u, 48u}; (void)cs48; static const cint_site cs49 = {0u, 49u}; (void)cs49; static const cint_site cs50 = {0u, 50u}; (void)cs50; static const cint_site cs51 = {0u, 51u}; (void)cs51; static const cint_site cs52 = {0u, 52u}; (void)cs52; static const cint_site cs53 = {0u, 53u}; (void)cs53; static const cint_site cs54 = {0u, 54u}; (void)cs54; static const cint_site cs55 = {0u, 55u}; (void)cs55; static const cint_site cs56 = {0u, 56u}; (void)cs56; static const cint_site cs57 = {0u, 57u}; (void)cs57; static const cint_site cs58 = {0u, 58u}; (void)cs58; static const cint_site cs59 = {0u, 59u}; (void)cs59; static const cint_site cs60 = {0u, 60u}; (void)cs60; static const cint_site cs61 = {0u, 61u}; (void)cs61; static const cint_site cs62 = {0u, 62u}; (void)cs62; static const cint_site cs63 = {0u, 63u}; (void)cs63; static const cint_site cs64 = {0u, 64u}; (void)cs64; static const cint_site cs65 = {0u, 65u}; (void)cs65; static const cint_site cs66 = {0u, 66u}; (void)cs66; static const cint_site cs67 = {0u, 67u}; (void)cs67; static const cint_site cs68 = {0u, 68u}; (void)cs68; static const cint_site cs69 = {0u, 69u}; (void)cs69; static const cint_site cs70 = {0u, 70u}; (void)cs70; static const cint_site cs71 = {0u, 71u}; (void)cs71; static const cint_site cs72 = {0u, 72u}; (void)cs72; static const cint_site cs73 = {0u, 73u}; (void)cs73; static const cint_site cs74 = {0u, 74u}; (void)cs74; static const cint_site cs75 = {0u, 75u}; (void)cs75; static const cint_site cs76 = {0u, 76u}; (void)cs76; static const cint_site cs77 = {0u, 77u}; (void)cs77; static const cint_site cs78 = {0u, 78u}; (void)cs78; static const cint_site cs79 = {0u, 79u}; (void)cs79; static const cint_site cs80 = {0u, 80u}; (void)cs80; t0 = INT64_C(0); t1 = INT64_C(3); l0_b = t0; L4_h:; t2 = l0_b; t3 = t2 < t1; if (!t3) goto L4_e; if (!cint_fuel_charge(ctx, cs32, 1u)) goto fault; t4 = l0_b; if (!(t4 >= 0 && t4 < INT64_C(3))) { (void)cint_index_check(ctx, cs33, "index.checked.i64", t4, INT64_C(3)); goto fault; } t5 = INT64_C(0); cg_st->g_hx[t4] = t5; t6 = l0_b; if (!(t6 >= 0 && t6 < INT64_C(3))) { (void)cint_index_check(ctx, cs34, "index.checked.i64", t6, INT64_C(3)); goto fault; } t7 = INT64_C(0); cg_st->g_hy[t6] = t7; t8 = l0_b; t9 = INT64_C(1); t10 = cint_add_wrap_i64(t8, t9); l0_b = t10; goto L4_h; L4_e:; t11 = INT64_C(0); t12 = INT64_C(3); l1_i = t11; L27_h:; t13 = l1_i; t14 = t13 < t12; if (!t14) goto L27_e; if (!cint_fuel_charge(ctx, cs35, 1u)) goto fault; t15 = l1_i; t16 = INT64_C(1); if (!cint_add_i64(ctx, cs36, t15, t16, &t17)) goto fault; t18 = INT64_C(3); l2_j = t17; L38_h:; t19 = l2_j; t20 = t19 < t18; if (!t20) goto L38_e; if (!cint_fuel_charge(ctx, cs37, 1u)) goto fault; t21 = INT64_C(3); if (!cint_mul_i64(ctx, cs38, v_c, t21, &t22)) goto fault; t23 = l2_j; if (!cint_add_i64(ctx, cs39, t22, t23, &t24)) goto fault; if (!(t24 >= 0 && t24 < INT64_C(9))) { (void)cint_index_check(ctx, cs40, "index.checked.i64", t24, INT64_C(9)); goto fault; } t25 = cg_st->g_px[t24]; t26 = INT64_C(3); if (!cint_mul_i64(ctx, cs41, v_c, t26, &t27)) goto fault; t28 = l1_i; if (!cint_add_i64(ctx, cs42, t27, t28, &t29)) goto fault; if (!(t29 >= 0 && t29 < INT64_C(9))) { (void)cint_index_check(ctx, cs43, "index.checked.i64", t29, INT64_C(9)); goto fault; } t30 = cg_st->g_px[t29]; if (!cint_sub_i64(ctx, cs44, t25, t30, &t31)) goto fault; t32 = INT64_C(10000); if (!cint_div_i64(ctx, cs45, t31, t32, &t33)) goto fault; l3_dx = t33; t34 = INT64_C(3); if (!cint_mul_i64(ctx, cs46, v_c, t34, &t35)) goto fault; t36 = l2_j; if (!cint_add_i64(ctx, cs47, t35, t36, &t37)) goto fault; if (!(t37 >= 0 && t37 < INT64_C(9))) { (void)cint_index_check(ctx, cs48, "index.checked.i64", t37, INT64_C(9)); goto fault; } t38 = cg_st->g_py[t37]; t39 = INT64_C(3); if (!cint_mul_i64(ctx, cs49, v_c, t39, &t40)) goto fault; t41 = l1_i; if (!cint_add_i64(ctx, cs50, t40, t41, &t42)) goto fault; if (!(t42 >= 0 && t42 < INT64_C(9))) { (void)cint_index_check(ctx, cs51, "index.checked.i64", t42, INT64_C(9)); goto fault; } t43 = cg_st->g_py[t42]; if (!cint_sub_i64(ctx, cs52, t38, t43, &t44)) goto fault; t45 = INT64_C(10000); if (!cint_div_i64(ctx, cs53, t44, t45, &t46)) goto fault; l4_dy = t46; t47 = l3_dx; t48 = l4_dy; if (!cint_rt_call_enter(ctx, cs54)) goto fault; if (!ci_6_orbits_4_dist(ctx, t47, t48, &t49)) goto fault; cint_rt_call_leave(ctx); l5_d = t49; t50 = INT64_C(5000000000); t51 = l3_dx; t52 = l5_d; if (!cint_builtin_i64(ctx, cs55, 11u, CINT_TAG_I64, 5u, CINT_TAG_I64, (uint64_t)t50, (uint64_t)t51, (uint64_t)t52, &t53)) goto fault; t54 = INT64_C(10000000000); t55 = l5_d; if (!cint_builtin_i64(ctx, cs56, 11u, CINT_TAG_I64, 5u, CINT_TAG_I64, (uint64_t)t53, (uint64_t)t54, (uint64_t)t55, &t56)) goto fault; t57 = INT64_C(1); t58 = l5_d; if (!cint_builtin_i64(ctx, cs57, 11u, CINT_TAG_I64, 5u, CINT_TAG_I64, (uint64_t)t56, (uint64_t)t57, (uint64_t)t58, &t59)) goto fault; l6_kx = t59; t60 = INT64_C(5000000000); t61 = l4_dy; t62 = l5_d; if (!cint_builtin_i64(ctx, cs58, 11u, CINT_TAG_I64, 5u, CINT_TAG_I64, (uint64_t)t60, (uint64_t)t61, (uint64_t)t62, &t63)) goto fault; t64 = INT64_C(10000000000); t65 = l5_d; if (!cint_builtin_i64(ctx, cs59, 11u, CINT_TAG_I64, 5u, CINT_TAG_I64, (uint64_t)t63, (uint64_t)t64, (uint64_t)t65, &t66)) goto fault; t67 = INT64_C(1); t68 = l5_d; if (!cint_builtin_i64(ctx, cs60, 11u, CINT_TAG_I64, 5u, CINT_TAG_I64, (uint64_t)t66, (uint64_t)t67, (uint64_t)t68, &t69)) goto fault; l7_ky = t69; t70 = l1_i; if (!(t70 >= 0 && t70 < INT64_C(3))) { (void)cint_index_check(ctx, cs61, "index.checked.i64", t70, INT64_C(3)); goto fault; } t71 = l1_i; if (!(t71 >= 0 && t71 < INT64_C(3))) { (void)cint_index_check(ctx, cs62, "index.checked.i64", t71, INT64_C(3)); goto fault; } t72 = cg_st->g_hx[t71]; t73 = l2_j; if (!(t73 >= 0 && t73 < INT64_C(3))) { (void)cint_index_check(ctx, cs63, "index.checked.i64", t73, INT64_C(3)); goto fault; } t74 = cg_st->g_mass[t73]; t75 = l6_kx; if (!cint_mul_i64(ctx, cs64, t74, t75, &t76)) goto fault; if (!cint_add_i64(ctx, cs65, t72, t76, &t77)) goto fault; cg_st->g_hx[t70] = t77; t78 = l1_i; if (!(t78 >= 0 && t78 < INT64_C(3))) { (void)cint_index_check(ctx, cs66, "index.checked.i64", t78, INT64_C(3)); goto fault; } t79 = l1_i; if (!(t79 >= 0 && t79 < INT64_C(3))) { (void)cint_index_check(ctx, cs67, "index.checked.i64", t79, INT64_C(3)); goto fault; } t80 = cg_st->g_hy[t79]; t81 = l2_j; if (!(t81 >= 0 && t81 < INT64_C(3))) { (void)cint_index_check(ctx, cs68, "index.checked.i64", t81, INT64_C(3)); goto fault; } t82 = cg_st->g_mass[t81]; t83 = l7_ky; if (!cint_mul_i64(ctx, cs69, t82, t83, &t84)) goto fault; if (!cint_add_i64(ctx, cs70, t80, t84, &t85)) goto fault; cg_st->g_hy[t78] = t85; t86 = l2_j; if (!(t86 >= 0 && t86 < INT64_C(3))) { (void)cint_index_check(ctx, cs71, "index.checked.i64", t86, INT64_C(3)); goto fault; } t87 = l2_j; if (!(t87 >= 0 && t87 < INT64_C(3))) { (void)cint_index_check(ctx, cs72, "index.checked.i64", t87, INT64_C(3)); goto fault; } t88 = cg_st->g_hx[t87]; t89 = l1_i; if (!(t89 >= 0 && t89 < INT64_C(3))) { (void)cint_index_check(ctx, cs73, "index.checked.i64", t89, INT64_C(3)); goto fault; } t90 = cg_st->g_mass[t89]; t91 = l6_kx; if (!cint_mul_i64(ctx, cs74, t90, t91, &t92)) goto fault; if (!cint_sub_i64(ctx, cs75, t88, t92, &t93)) goto fault; cg_st->g_hx[t86] = t93; t94 = l2_j; if (!(t94 >= 0 && t94 < INT64_C(3))) { (void)cint_index_check(ctx, cs76, "index.checked.i64", t94, INT64_C(3)); goto fault; } t95 = l2_j; if (!(t95 >= 0 && t95 < INT64_C(3))) { (void)cint_index_check(ctx, cs77, "index.checked.i64", t95, INT64_C(3)); goto fault; } t96 = cg_st->g_hy[t95]; t97 = l1_i; if (!(t97 >= 0 && t97 < INT64_C(3))) { (void)cint_index_check(ctx, cs78, "index.checked.i64", t97, INT64_C(3)); goto fault; } t98 = cg_st->g_mass[t97]; t99 = l7_ky; if (!cint_mul_i64(ctx, cs79, t98, t99, &t100)) goto fault; if (!cint_sub_i64(ctx, cs80, t96, t100, &t101)) goto fault; cg_st->g_hy[t94] = t101; t102 = l2_j; t103 = INT64_C(1); t104 = cint_add_wrap_i64(t102, t103); l2_j = t104; goto L38_h; L38_e:; t105 = l1_i; t106 = INT64_C(1); t107 = cint_add_wrap_i64(t105, t106); l1_i = t107; goto L27_h; L27_e:; return true; fault: return false; } static bool ci_6_orbits_4_kick(cint_ctx *ctx, int64_t v_c) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; bool t3 = false; int64_t t4 = 0; int64_t t5 = 0; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; int64_t t11 = 0; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; int64_t t18 = 0; int64_t t19 = 0; int64_t t20 = 0; int64_t t21 = 0; int64_t t22 = 0; int64_t t23 = 0; int64_t t24 = 0; int64_t t25 = 0; int64_t t26 = 0; int64_t t27 = 0; int64_t t28 = 0; int64_t t29 = 0; int64_t t30 = 0; int64_t t31 = 0; int64_t t32 = 0; int64_t t33 = 0; int64_t t34 = 0; int64_t t35 = 0; int64_t t36 = 0; int64_t l0_b = 0; cg_6_orbits_state *const cg_st = (cg_6_orbits_state *)cint_rt_state(ctx, &cg_6_orbits_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_c; (void)l0_b; cint_rt_head *fh = cint_rt_head_of(ctx); int64_t fu = fh->fuel_used; int64_t fcap = fh->fuel_limit >= 0 ? fh->fuel_limit : INT64_MAX; static const cint_site cs81 = {0u, 81u}; (void)cs81; static const cint_site cs82 = {0u, 82u}; (void)cs82; static const cint_site cs83 = {0u, 83u}; (void)cs83; static const cint_site cs84 = {0u, 84u}; (void)cs84; static const cint_site cs85 = {0u, 85u}; (void)cs85; static const cint_site cs86 = {0u, 86u}; (void)cs86; static const cint_site cs87 = {0u, 87u}; (void)cs87; static const cint_site cs88 = {0u, 88u}; (void)cs88; static const cint_site cs89 = {0u, 89u}; (void)cs89; static const cint_site cs90 = {0u, 90u}; (void)cs90; static const cint_site cs91 = {0u, 91u}; (void)cs91; static const cint_site cs92 = {0u, 92u}; (void)cs92; static const cint_site cs93 = {0u, 93u}; (void)cs93; static const cint_site cs94 = {0u, 94u}; (void)cs94; static const cint_site cs95 = {0u, 95u}; (void)cs95; static const cint_site cs96 = {0u, 96u}; (void)cs96; static const cint_site cs97 = {0u, 97u}; (void)cs97; static const cint_site cs98 = {0u, 98u}; (void)cs98; static const cint_site cs99 = {0u, 99u}; (void)cs99; static const cint_site cs100 = {0u, 100u}; (void)cs100; static const cint_site cs101 = {0u, 101u}; (void)cs101; t0 = INT64_C(0); t1 = INT64_C(3); l0_b = t0; L4_h:; t2 = l0_b; t3 = t2 < t1; if (!t3) goto L4_e; if (fh->faulted != 0u || fcap - fu < 1) { fh->fuel_used = fu; (void)cint_fuel_charge(ctx, cs81, 1u); goto fault; } fu += 1; t4 = INT64_C(3); if (!cint_mul_i64(ctx, cs82, v_c, t4, &t5)) goto fault; t6 = l0_b; if (!cint_add_i64(ctx, cs83, t5, t6, &t7)) goto fault; if (!(t7 >= 0 && t7 < INT64_C(9))) { (void)cint_index_check(ctx, cs84, "index.checked.i64", t7, INT64_C(9)); goto fault; } t8 = INT64_C(3); if (!cint_mul_i64(ctx, cs85, v_c, t8, &t9)) goto fault; t10 = l0_b; if (!cint_add_i64(ctx, cs86, t9, t10, &t11)) goto fault; if (!(t11 >= 0 && t11 < INT64_C(9))) { (void)cint_index_check(ctx, cs87, "index.checked.i64", t11, INT64_C(9)); goto fault; } t12 = cg_st->g_vx[t11]; t13 = INT64_C(3); if (!cint_mul_i64(ctx, cs88, v_c, t13, &t14)) goto fault; t15 = l0_b; if (!cint_add_i64(ctx, cs89, t14, t15, &t16)) goto fault; if (!(t16 >= 0 && t16 < INT64_C(9))) { (void)cint_index_check(ctx, cs90, "index.checked.i64", t16, INT64_C(9)); goto fault; } t17 = cg_st->g_kx9[t16]; if (!cint_add_i64(ctx, cs91, t12, t17, &t18)) goto fault; cg_st->g_vx[t7] = t18; t19 = INT64_C(3); if (!cint_mul_i64(ctx, cs92, v_c, t19, &t20)) goto fault; t21 = l0_b; if (!cint_add_i64(ctx, cs93, t20, t21, &t22)) goto fault; if (!(t22 >= 0 && t22 < INT64_C(9))) { (void)cint_index_check(ctx, cs94, "index.checked.i64", t22, INT64_C(9)); goto fault; } t23 = INT64_C(3); if (!cint_mul_i64(ctx, cs95, v_c, t23, &t24)) goto fault; t25 = l0_b; if (!cint_add_i64(ctx, cs96, t24, t25, &t26)) goto fault; if (!(t26 >= 0 && t26 < INT64_C(9))) { (void)cint_index_check(ctx, cs97, "index.checked.i64", t26, INT64_C(9)); goto fault; } t27 = cg_st->g_vy[t26]; t28 = INT64_C(3); if (!cint_mul_i64(ctx, cs98, v_c, t28, &t29)) goto fault; t30 = l0_b; if (!cint_add_i64(ctx, cs99, t29, t30, &t31)) goto fault; if (!(t31 >= 0 && t31 < INT64_C(9))) { (void)cint_index_check(ctx, cs100, "index.checked.i64", t31, INT64_C(9)); goto fault; } t32 = cg_st->g_ky9[t31]; if (!cint_add_i64(ctx, cs101, t27, t32, &t33)) goto fault; cg_st->g_vy[t22] = t33; t34 = l0_b; t35 = INT64_C(1); t36 = cint_add_wrap_i64(t34, t35); l0_b = t36; goto L4_h; L4_e:; fh->fuel_used = fu; return true; fault: fh->fuel_used = fu; return false; } static bool ci_6_orbits_4_keep(cint_ctx *ctx, int64_t v_c) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; bool t3 = false; int64_t t4 = 0; int64_t t5 = 0; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; int64_t t11 = 0; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; int64_t t18 = 0; int64_t l0_b = 0; cg_6_orbits_state *const cg_st = (cg_6_orbits_state *)cint_rt_state(ctx, &cg_6_orbits_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_c; (void)l0_b; static const cint_site cs102 = {0u, 102u}; (void)cs102; static const cint_site cs103 = {0u, 103u}; (void)cs103; static const cint_site cs104 = {0u, 104u}; (void)cs104; static const cint_site cs105 = {0u, 105u}; (void)cs105; static const cint_site cs106 = {0u, 106u}; (void)cs106; static const cint_site cs107 = {0u, 107u}; (void)cs107; static const cint_site cs108 = {0u, 108u}; (void)cs108; static const cint_site cs109 = {0u, 109u}; (void)cs109; static const cint_site cs110 = {0u, 110u}; (void)cs110; static const cint_site cs111 = {0u, 111u}; (void)cs111; if (!cint_rt_call_enter(ctx, cs102)) goto fault; if (!ci_6_orbits_5_kicks(ctx, v_c)) goto fault; cint_rt_call_leave(ctx); t0 = INT64_C(0); t1 = INT64_C(3); l0_b = t0; L6_h:; t2 = l0_b; t3 = t2 < t1; if (!t3) goto L6_e; if (!cint_fuel_charge(ctx, cs103, 1u)) goto fault; t4 = INT64_C(3); if (!cint_mul_i64(ctx, cs104, v_c, t4, &t5)) goto fault; t6 = l0_b; if (!cint_add_i64(ctx, cs105, t5, t6, &t7)) goto fault; if (!(t7 >= 0 && t7 < INT64_C(9))) { (void)cint_index_check(ctx, cs106, "index.checked.i64", t7, INT64_C(9)); goto fault; } t8 = l0_b; if (!(t8 >= 0 && t8 < INT64_C(3))) { (void)cint_index_check(ctx, cs107, "index.checked.i64", t8, INT64_C(3)); goto fault; } t9 = cg_st->g_hx[t8]; cg_st->g_kx9[t7] = t9; t10 = INT64_C(3); if (!cint_mul_i64(ctx, cs108, v_c, t10, &t11)) goto fault; t12 = l0_b; if (!cint_add_i64(ctx, cs109, t11, t12, &t13)) goto fault; if (!(t13 >= 0 && t13 < INT64_C(9))) { (void)cint_index_check(ctx, cs110, "index.checked.i64", t13, INT64_C(9)); goto fault; } t14 = l0_b; if (!(t14 >= 0 && t14 < INT64_C(3))) { (void)cint_index_check(ctx, cs111, "index.checked.i64", t14, INT64_C(3)); goto fault; } t15 = cg_st->g_hy[t14]; cg_st->g_ky9[t13] = t15; t16 = l0_b; t17 = INT64_C(1); t18 = cint_add_wrap_i64(t16, t17); l0_b = t18; goto L6_h; L6_e:; return true; fault: return false; } static bool ci_6_orbits_13_pull_x5Ftwins(cint_ctx *ctx) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; bool t3 = false; int64_t t4 = 0; int64_t t5 = 0; int64_t t6 = 0; bool t7 = false; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; bool t11 = false; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; int64_t t18 = 0; int64_t t19 = 0; bool t20 = false; int64_t t21 = 0; int64_t t22 = 0; int64_t t23 = 0; int64_t t24 = 0; int64_t t25 = 0; int64_t t26 = 0; int64_t t27 = 0; int64_t t28 = 0; int64_t t29 = 0; int64_t t30 = 0; int64_t t31 = 0; int64_t t32 = 0; int64_t t33 = 0; int64_t t34 = 0; int64_t t35 = 0; int64_t t36 = 0; int64_t t37 = 0; int64_t t38 = 0; int64_t t39 = 0; int64_t t40 = 0; int64_t t41 = 0; int64_t t42 = 0; int64_t t43 = 0; int64_t t44 = 0; int64_t t45 = 0; int64_t t46 = 0; int64_t t47 = 0; int64_t t48 = 0; int64_t t49 = 0; int64_t t50 = 0; int64_t t51 = 0; int64_t t52 = 0; int64_t t53 = 0; int64_t t54 = 0; int64_t t55 = 0; int64_t t56 = 0; int64_t t57 = 0; int64_t t58 = 0; int64_t t59 = 0; int64_t t60 = 0; int64_t t61 = 0; int64_t t62 = 0; int64_t t63 = 0; int64_t t64 = 0; int64_t t65 = 0; int64_t t66 = 0; int64_t t67 = 0; int64_t t68 = 0; int64_t t69 = 0; int64_t t70 = 0; int64_t t71 = 0; int64_t t72 = 0; int64_t t73 = 0; int64_t t74 = 0; int64_t t75 = 0; int64_t t76 = 0; int64_t t77 = 0; int64_t t78 = 0; int64_t t79 = 0; int64_t t80 = 0; int64_t t81 = 0; int64_t t82 = 0; int64_t t83 = 0; int64_t t84 = 0; int64_t t85 = 0; int64_t t86 = 0; int64_t t87 = 0; int64_t t88 = 0; int64_t t89 = 0; int64_t t90 = 0; int64_t t91 = 0; int64_t t92 = 0; int64_t t93 = 0; int64_t t94 = 0; int64_t t95 = 0; int64_t t96 = 0; int64_t t97 = 0; int64_t t98 = 0; bool t99 = false; int64_t t100 = 0; int64_t t101 = 0; int64_t t102 = 0; int64_t t103 = 0; int64_t t104 = 0; int64_t t105 = 0; int64_t t106 = 0; int64_t t107 = 0; int64_t t108 = 0; int64_t t109 = 0; int64_t t110 = 0; int64_t t111 = 0; int64_t t112 = 0; int64_t t113 = 0; int64_t t114 = 0; int64_t t115 = 0; int64_t t116 = 0; int64_t t117 = 0; int64_t t118 = 0; int64_t t119 = 0; int64_t t120 = 0; int64_t t121 = 0; int64_t t122 = 0; int64_t t123 = 0; int64_t t124 = 0; int64_t t125 = 0; int64_t t126 = 0; int64_t t127 = 0; int64_t t128 = 0; int64_t t129 = 0; int64_t t130 = 0; int64_t t131 = 0; int64_t t132 = 0; int64_t t133 = 0; int64_t l0_k = 0; int64_t l1_c = 0; int64_t l2_b = 0; int64_t l3_l = 0; int64_t l4_t = 0; cg_6_orbits_state *const cg_st = (cg_6_orbits_state *)cint_rt_state(ctx, &cg_6_orbits_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)l0_k; (void)l1_c; (void)l2_b; (void)l3_l; (void)l4_t; static const cint_site cs112 = {0u, 112u}; (void)cs112; static const cint_site cs113 = {0u, 113u}; (void)cs113; static const cint_site cs114 = {0u, 114u}; (void)cs114; static const cint_site cs115 = {0u, 115u}; (void)cs115; static const cint_site cs116 = {0u, 116u}; (void)cs116; static const cint_site cs117 = {0u, 117u}; (void)cs117; static const cint_site cs118 = {0u, 118u}; (void)cs118; static const cint_site cs119 = {0u, 119u}; (void)cs119; static const cint_site cs120 = {0u, 120u}; (void)cs120; static const cint_site cs121 = {0u, 121u}; (void)cs121; static const cint_site cs122 = {0u, 122u}; (void)cs122; static const cint_site cs123 = {0u, 123u}; (void)cs123; static const cint_site cs124 = {0u, 124u}; (void)cs124; static const cint_site cs125 = {0u, 125u}; (void)cs125; static const cint_site cs126 = {0u, 126u}; (void)cs126; static const cint_site cs127 = {0u, 127u}; (void)cs127; static const cint_site cs128 = {0u, 128u}; (void)cs128; static const cint_site cs129 = {0u, 129u}; (void)cs129; static const cint_site cs130 = {0u, 130u}; (void)cs130; static const cint_site cs131 = {0u, 131u}; (void)cs131; static const cint_site cs132 = {0u, 132u}; (void)cs132; static const cint_site cs133 = {0u, 133u}; (void)cs133; static const cint_site cs134 = {0u, 134u}; (void)cs134; static const cint_site cs135 = {0u, 135u}; (void)cs135; static const cint_site cs136 = {0u, 136u}; (void)cs136; static const cint_site cs137 = {0u, 137u}; (void)cs137; static const cint_site cs138 = {0u, 138u}; (void)cs138; static const cint_site cs139 = {0u, 139u}; (void)cs139; static const cint_site cs140 = {0u, 140u}; (void)cs140; static const cint_site cs141 = {0u, 141u}; (void)cs141; static const cint_site cs142 = {0u, 142u}; (void)cs142; static const cint_site cs143 = {0u, 143u}; (void)cs143; static const cint_site cs144 = {0u, 144u}; (void)cs144; static const cint_site cs145 = {0u, 145u}; (void)cs145; static const cint_site cs146 = {0u, 146u}; (void)cs146; static const cint_site cs147 = {0u, 147u}; (void)cs147; static const cint_site cs148 = {0u, 148u}; (void)cs148; static const cint_site cs149 = {0u, 149u}; (void)cs149; static const cint_site cs150 = {0u, 150u}; (void)cs150; static const cint_site cs151 = {0u, 151u}; (void)cs151; static const cint_site cs152 = {0u, 152u}; (void)cs152; static const cint_site cs153 = {0u, 153u}; (void)cs153; static const cint_site cs154 = {0u, 154u}; (void)cs154; static const cint_site cs155 = {0u, 155u}; (void)cs155; static const cint_site cs156 = {0u, 156u}; (void)cs156; static const cint_site cs157 = {0u, 157u}; (void)cs157; static const cint_site cs158 = {0u, 158u}; (void)cs158; static const cint_site cs159 = {0u, 159u}; (void)cs159; static const cint_site cs160 = {0u, 160u}; (void)cs160; static const cint_site cs161 = {0u, 161u}; (void)cs161; static const cint_site cs162 = {0u, 162u}; (void)cs162; static const cint_site cs163 = {0u, 163u}; (void)cs163; static const cint_site cs164 = {0u, 164u}; (void)cs164; static const cint_site cs165 = {0u, 165u}; (void)cs165; static const cint_site cs166 = {0u, 166u}; (void)cs166; static const cint_site cs167 = {0u, 167u}; (void)cs167; static const cint_site cs168 = {0u, 168u}; (void)cs168; static const cint_site cs169 = {0u, 169u}; (void)cs169; static const cint_site cs170 = {0u, 170u}; (void)cs170; static const cint_site cs171 = {0u, 171u}; (void)cs171; static const cint_site cs172 = {0u, 172u}; (void)cs172; static const cint_site cs173 = {0u, 173u}; (void)cs173; static const cint_site cs174 = {0u, 174u}; (void)cs174; t0 = cg_st->g_tether; l0_k = t0; t1 = l0_k; t2 = INT64_C(0); t3 = t1 == t2; if (!t3) goto L8_f; return true; L8_f:; t4 = INT64_C(1); t5 = INT64_C(3); l1_c = t4; L16_h:; t6 = l1_c; t7 = t6 < t5; if (!t7) goto L16_e; if (!cint_fuel_charge(ctx, cs112, 1u)) goto fault; t8 = INT64_C(0); t9 = INT64_C(3); l2_b = t8; L25_h:; t10 = l2_b; t11 = t10 < t9; if (!t11) goto L25_e; if (!cint_fuel_charge(ctx, cs113, 1u)) goto fault; t12 = l2_b; l3_l = t12; t13 = l1_c; t14 = INT64_C(3); if (!cint_mul_i64(ctx, cs114, t13, t14, &t15)) goto fault; t16 = l2_b; if (!cint_add_i64(ctx, cs115, t15, t16, &t17)) goto fault; l4_t = t17; t18 = l0_k; t19 = INT64_C(0); t20 = t18 > t19; if (!t20) goto L45_f; t21 = l4_t; if (!(t21 >= 0 && t21 < INT64_C(9))) { (void)cint_index_check(ctx, cs116, "index.checked.i64", t21, INT64_C(9)); goto fault; } t22 = l4_t; if (!(t22 >= 0 && t22 < INT64_C(9))) { (void)cint_index_check(ctx, cs117, "index.checked.i64", t22, INT64_C(9)); goto fault; } t23 = cg_st->g_vx[t22]; t24 = l3_l; if (!(t24 >= 0 && t24 < INT64_C(9))) { (void)cint_index_check(ctx, cs118, "index.checked.i64", t24, INT64_C(9)); goto fault; } t25 = cg_st->g_px[t24]; t26 = l4_t; if (!(t26 >= 0 && t26 < INT64_C(9))) { (void)cint_index_check(ctx, cs119, "index.checked.i64", t26, INT64_C(9)); goto fault; } t27 = cg_st->g_px[t26]; if (!cint_sub_i64(ctx, cs120, t25, t27, &t28)) goto fault; t29 = l0_k; t30 = l0_k; if (!cint_mul_i64(ctx, cs121, t29, t30, &t31)) goto fault; t32 = l0_k; if (!cint_mul_i64(ctx, cs122, t31, t32, &t33)) goto fault; t34 = l0_k; if (!cint_mul_i64(ctx, cs123, t33, t34, &t35)) goto fault; t36 = INT64_C(100000000000); if (!cint_builtin_i64(ctx, cs124, 11u, CINT_TAG_I64, 5u, CINT_TAG_I64, (uint64_t)t28, (uint64_t)t35, (uint64_t)t36, &t37)) goto fault; if (!cint_add_i64(ctx, cs125, t23, t37, &t38)) goto fault; t39 = l3_l; if (!(t39 >= 0 && t39 < INT64_C(9))) { (void)cint_index_check(ctx, cs126, "index.checked.i64", t39, INT64_C(9)); goto fault; } t40 = cg_st->g_vx[t39]; t41 = l4_t; if (!(t41 >= 0 && t41 < INT64_C(9))) { (void)cint_index_check(ctx, cs127, "index.checked.i64", t41, INT64_C(9)); goto fault; } t42 = cg_st->g_vx[t41]; if (!cint_sub_i64(ctx, cs128, t40, t42, &t43)) goto fault; t44 = INT64_C(2); t45 = l0_k; if (!cint_mul_i64(ctx, cs129, t44, t45, &t46)) goto fault; t47 = l0_k; if (!cint_mul_i64(ctx, cs130, t46, t47, &t48)) goto fault; t49 = INT64_C(316228); if (!cint_builtin_i64(ctx, cs131, 11u, CINT_TAG_I64, 5u, CINT_TAG_I64, (uint64_t)t43, (uint64_t)t48, (uint64_t)t49, &t50)) goto fault; if (!cint_add_i64(ctx, cs132, t38, t50, &t51)) goto fault; cg_st->g_vx[t21] = t51; t52 = l4_t; if (!(t52 >= 0 && t52 < INT64_C(9))) { (void)cint_index_check(ctx, cs133, "index.checked.i64", t52, INT64_C(9)); goto fault; } t53 = l4_t; if (!(t53 >= 0 && t53 < INT64_C(9))) { (void)cint_index_check(ctx, cs134, "index.checked.i64", t53, INT64_C(9)); goto fault; } t54 = cg_st->g_vy[t53]; t55 = l3_l; if (!(t55 >= 0 && t55 < INT64_C(9))) { (void)cint_index_check(ctx, cs135, "index.checked.i64", t55, INT64_C(9)); goto fault; } t56 = cg_st->g_py[t55]; t57 = l4_t; if (!(t57 >= 0 && t57 < INT64_C(9))) { (void)cint_index_check(ctx, cs136, "index.checked.i64", t57, INT64_C(9)); goto fault; } t58 = cg_st->g_py[t57]; if (!cint_sub_i64(ctx, cs137, t56, t58, &t59)) goto fault; t60 = l0_k; t61 = l0_k; if (!cint_mul_i64(ctx, cs138, t60, t61, &t62)) goto fault; t63 = l0_k; if (!cint_mul_i64(ctx, cs139, t62, t63, &t64)) goto fault; t65 = l0_k; if (!cint_mul_i64(ctx, cs140, t64, t65, &t66)) goto fault; t67 = INT64_C(100000000000); if (!cint_builtin_i64(ctx, cs141, 11u, CINT_TAG_I64, 5u, CINT_TAG_I64, (uint64_t)t59, (uint64_t)t66, (uint64_t)t67, &t68)) goto fault; if (!cint_add_i64(ctx, cs142, t54, t68, &t69)) goto fault; t70 = l3_l; if (!(t70 >= 0 && t70 < INT64_C(9))) { (void)cint_index_check(ctx, cs143, "index.checked.i64", t70, INT64_C(9)); goto fault; } t71 = cg_st->g_vy[t70]; t72 = l4_t; if (!(t72 >= 0 && t72 < INT64_C(9))) { (void)cint_index_check(ctx, cs144, "index.checked.i64", t72, INT64_C(9)); goto fault; } t73 = cg_st->g_vy[t72]; if (!cint_sub_i64(ctx, cs145, t71, t73, &t74)) goto fault; t75 = INT64_C(2); t76 = l0_k; if (!cint_mul_i64(ctx, cs146, t75, t76, &t77)) goto fault; t78 = l0_k; if (!cint_mul_i64(ctx, cs147, t77, t78, &t79)) goto fault; t80 = INT64_C(316228); if (!cint_builtin_i64(ctx, cs148, 11u, CINT_TAG_I64, 5u, CINT_TAG_I64, (uint64_t)t74, (uint64_t)t79, (uint64_t)t80, &t81)) goto fault; if (!cint_add_i64(ctx, cs149, t69, t81, &t82)) goto fault; cg_st->g_vy[t52] = t82; goto L40_e; L45_f:; t83 = l3_l; if (!(t83 >= 0 && t83 < INT64_C(9))) { (void)cint_index_check(ctx, cs150, "index.checked.i64", t83, INT64_C(9)); goto fault; } t84 = cg_st->g_px[t83]; t85 = l4_t; if (!(t85 >= 0 && t85 < INT64_C(9))) { (void)cint_index_check(ctx, cs151, "index.checked.i64", t85, INT64_C(9)); goto fault; } t86 = cg_st->g_px[t85]; if (!cint_sub_i64(ctx, cs152, t84, t86, &t87)) goto fault; t88 = INT64_C(10000); if (!cint_div_i64(ctx, cs153, t87, t88, &t89)) goto fault; t90 = l3_l; if (!(t90 >= 0 && t90 < INT64_C(9))) { (void)cint_index_check(ctx, cs154, "index.checked.i64", t90, INT64_C(9)); goto fault; } t91 = cg_st->g_py[t90]; t92 = l4_t; if (!(t92 >= 0 && t92 < INT64_C(9))) { (void)cint_index_check(ctx, cs155, "index.checked.i64", t92, INT64_C(9)); goto fault; } t93 = cg_st->g_py[t92]; if (!cint_sub_i64(ctx, cs156, t91, t93, &t94)) goto fault; t95 = INT64_C(10000); if (!cint_div_i64(ctx, cs157, t94, t95, &t96)) goto fault; if (!cint_rt_call_enter(ctx, cs158)) goto fault; if (!ci_6_orbits_5_apart(ctx, t89, t96, &t97)) goto fault; cint_rt_call_leave(ctx); t98 = INT64_C(100000000); t99 = t97 < t98; if (!t99) goto L147_f; t100 = l4_t; if (!(t100 >= 0 && t100 < INT64_C(9))) { (void)cint_index_check(ctx, cs159, "index.checked.i64", t100, INT64_C(9)); goto fault; } t101 = l4_t; if (!(t101 >= 0 && t101 < INT64_C(9))) { (void)cint_index_check(ctx, cs160, "index.checked.i64", t101, INT64_C(9)); goto fault; } t102 = cg_st->g_vx[t101]; t103 = l3_l; if (!(t103 >= 0 && t103 < INT64_C(9))) { (void)cint_index_check(ctx, cs161, "index.checked.i64", t103, INT64_C(9)); goto fault; } t104 = cg_st->g_px[t103]; t105 = l4_t; if (!(t105 >= 0 && t105 < INT64_C(9))) { (void)cint_index_check(ctx, cs162, "index.checked.i64", t105, INT64_C(9)); goto fault; } t106 = cg_st->g_px[t105]; if (!cint_sub_i64(ctx, cs163, t104, t106, &t107)) goto fault; t108 = l0_k; t109 = l0_k; if (!cint_mul_i64(ctx, cs164, t108, t109, &t110)) goto fault; t111 = INT64_C(250000000000); if (!cint_builtin_i64(ctx, cs165, 11u, CINT_TAG_I64, 5u, CINT_TAG_I64, (uint64_t)t107, (uint64_t)t110, (uint64_t)t111, &t112)) goto fault; if (!cint_sub_i64(ctx, cs166, t102, t112, &t113)) goto fault; cg_st->g_vx[t100] = t113; t114 = l4_t; if (!(t114 >= 0 && t114 < INT64_C(9))) { (void)cint_index_check(ctx, cs167, "index.checked.i64", t114, INT64_C(9)); goto fault; } t115 = l4_t; if (!(t115 >= 0 && t115 < INT64_C(9))) { (void)cint_index_check(ctx, cs168, "index.checked.i64", t115, INT64_C(9)); goto fault; } t116 = cg_st->g_vy[t115]; t117 = l3_l; if (!(t117 >= 0 && t117 < INT64_C(9))) { (void)cint_index_check(ctx, cs169, "index.checked.i64", t117, INT64_C(9)); goto fault; } t118 = cg_st->g_py[t117]; t119 = l4_t; if (!(t119 >= 0 && t119 < INT64_C(9))) { (void)cint_index_check(ctx, cs170, "index.checked.i64", t119, INT64_C(9)); goto fault; } t120 = cg_st->g_py[t119]; if (!cint_sub_i64(ctx, cs171, t118, t120, &t121)) goto fault; t122 = l0_k; t123 = l0_k; if (!cint_mul_i64(ctx, cs172, t122, t123, &t124)) goto fault; t125 = INT64_C(250000000000); if (!cint_builtin_i64(ctx, cs173, 11u, CINT_TAG_I64, 5u, CINT_TAG_I64, (uint64_t)t121, (uint64_t)t124, (uint64_t)t125, &t126)) goto fault; if (!cint_sub_i64(ctx, cs174, t116, t126, &t127)) goto fault; cg_st->g_vy[t114] = t127; goto L40_e; L147_f:; L40_e:; t128 = l2_b; t129 = INT64_C(1); t130 = cint_add_wrap_i64(t128, t129); l2_b = t130; goto L25_h; L25_e:; t131 = l1_c; t132 = INT64_C(1); t133 = cint_add_wrap_i64(t131, t132); l1_c = t133; goto L16_h; L16_e:; return true; fault: return false; } static bool ci_6_orbits_4_step(cint_ctx *ctx) { bool t0 = false; bool t1 = false; int64_t t2 = 0; int64_t t3 = 0; int64_t t4 = 0; bool t5 = false; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; bool t10 = false; int64_t t11 = 0; int64_t t12 = 0; int64_t t13 = 0; bool t14 = false; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; int64_t t18 = 0; bool t19 = false; int64_t t20 = 0; int64_t t21 = 0; int64_t t22 = 0; int64_t t23 = 0; int64_t t24 = 0; int64_t t25 = 0; int64_t t26 = 0; int64_t t27 = 0; int64_t t28 = 0; int64_t t29 = 0; int64_t t30 = 0; int64_t t31 = 0; int64_t t32 = 0; int64_t t33 = 0; int64_t t34 = 0; int64_t t35 = 0; int64_t t36 = 0; int64_t t37 = 0; int64_t t38 = 0; int64_t t39 = 0; int64_t t40 = 0; int64_t t41 = 0; int64_t t42 = 0; int64_t t43 = 0; int64_t t44 = 0; int64_t t45 = 0; int64_t t46 = 0; int64_t t47 = 0; int64_t t48 = 0; int64_t t49 = 0; int64_t t50 = 0; int64_t t51 = 0; int64_t t52 = 0; int64_t t53 = 0; int64_t t54 = 0; int64_t t55 = 0; int64_t t56 = 0; int64_t t57 = 0; int64_t t58 = 0; int64_t t59 = 0; int64_t t60 = 0; int64_t t61 = 0; int64_t t62 = 0; int64_t t63 = 0; int64_t t64 = 0; int64_t t65 = 0; uint64_t t66 = 0; uint64_t t67 = 0; uint64_t t68 = 0; int64_t t69 = 0; int64_t t70 = 0; uint64_t t71 = 0; uint64_t t72 = 0; int64_t t73 = 0; int64_t t74 = 0; uint64_t t75 = 0; int64_t t76 = 0; uint64_t t77 = 0; uint64_t t78 = 0; int64_t t79 = 0; int64_t t80 = 0; int64_t t81 = 0; int64_t t82 = 0; uint64_t t83 = 0; int64_t t84 = 0; uint64_t t85 = 0; uint64_t t86 = 0; int64_t t87 = 0; int64_t t88 = 0; int64_t t89 = 0; int64_t t90 = 0; uint64_t t91 = 0; int64_t t92 = 0; uint64_t t93 = 0; uint64_t t94 = 0; int64_t t95 = 0; int64_t t96 = 0; int64_t t97 = 0; int64_t t98 = 0; uint64_t t99 = 0; int64_t t100 = 0; uint64_t t101 = 0; uint64_t t102 = 0; int64_t t103 = 0; int64_t t104 = 0; int64_t t105 = 0; int64_t t106 = 0; uint64_t t107 = 0; int64_t t108 = 0; uint64_t t109 = 0; uint64_t t110 = 0; int64_t t111 = 0; int64_t t112 = 0; int64_t t113 = 0; int64_t l0_c = 0; int64_t l1_c = 0; int64_t l2_b = 0; int64_t l3_o = 0; cg_6_orbits_state *const cg_st = (cg_6_orbits_state *)cint_rt_state(ctx, &cg_6_orbits_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)l0_c; (void)l1_c; (void)l2_b; (void)l3_o; static const cint_site cs175 = {0u, 175u}; (void)cs175; static const cint_site cs176 = {0u, 176u}; (void)cs176; static const cint_site cs177 = {0u, 177u}; (void)cs177; static const cint_site cs178 = {0u, 178u}; (void)cs178; static const cint_site cs179 = {0u, 179u}; (void)cs179; static const cint_site cs180 = {0u, 180u}; (void)cs180; static const cint_site cs181 = {0u, 181u}; (void)cs181; static const cint_site cs182 = {0u, 182u}; (void)cs182; static const cint_site cs183 = {0u, 183u}; (void)cs183; static const cint_site cs184 = {0u, 184u}; (void)cs184; static const cint_site cs185 = {0u, 185u}; (void)cs185; static const cint_site cs186 = {0u, 186u}; (void)cs186; static const cint_site cs187 = {0u, 187u}; (void)cs187; static const cint_site cs188 = {0u, 188u}; (void)cs188; static const cint_site cs189 = {0u, 189u}; (void)cs189; static const cint_site cs190 = {0u, 190u}; (void)cs190; static const cint_site cs191 = {0u, 191u}; (void)cs191; static const cint_site cs192 = {0u, 192u}; (void)cs192; static const cint_site cs193 = {0u, 193u}; (void)cs193; static const cint_site cs194 = {0u, 194u}; (void)cs194; static const cint_site cs195 = {0u, 195u}; (void)cs195; static const cint_site cs196 = {0u, 196u}; (void)cs196; static const cint_site cs197 = {0u, 197u}; (void)cs197; static const cint_site cs198 = {0u, 198u}; (void)cs198; static const cint_site cs199 = {0u, 199u}; (void)cs199; static const cint_site cs200 = {0u, 200u}; (void)cs200; static const cint_site cs201 = {0u, 201u}; (void)cs201; static const cint_site cs202 = {0u, 202u}; (void)cs202; static const cint_site cs203 = {0u, 203u}; (void)cs203; static const cint_site cs204 = {0u, 204u}; (void)cs204; static const cint_site cs205 = {0u, 205u}; (void)cs205; static const cint_site cs206 = {0u, 206u}; (void)cs206; static const cint_site cs207 = {0u, 207u}; (void)cs207; static const cint_site cs208 = {0u, 208u}; (void)cs208; static const cint_site cs209 = {0u, 209u}; (void)cs209; static const cint_site cs210 = {0u, 210u}; (void)cs210; static const cint_site cs211 = {0u, 211u}; (void)cs211; static const cint_site cs212 = {0u, 212u}; (void)cs212; static const cint_site cs213 = {0u, 213u}; (void)cs213; static const cint_site cs214 = {0u, 214u}; (void)cs214; static const cint_site cs215 = {0u, 215u}; (void)cs215; static const cint_site cs216 = {0u, 216u}; (void)cs216; static const cint_site cs217 = {0u, 217u}; (void)cs217; static const cint_site cs218 = {0u, 218u}; (void)cs218; static const cint_site cs219 = {0u, 219u}; (void)cs219; static const cint_site cs220 = {0u, 220u}; (void)cs220; t0 = cg_st->g_kept; t1 = !t0; if (!t1) goto L4_f; t2 = INT64_C(0); t3 = INT64_C(3); l0_c = t2; L9_h:; t4 = l0_c; t5 = t4 < t3; if (!t5) goto L9_e; if (!cint_fuel_charge(ctx, cs175, 1u)) goto fault; t6 = l0_c; if (!cint_rt_call_enter(ctx, cs176)) goto fault; if (!ci_6_orbits_4_keep(ctx, t6)) goto fault; cint_rt_call_leave(ctx); t7 = l0_c; t8 = INT64_C(1); t9 = cint_add_wrap_i64(t7, t8); l0_c = t9; goto L9_h; L9_e:; t10 = true; cg_st->g_kept = t10; goto L0_e; L4_f:; L0_e:; t11 = INT64_C(0); t12 = INT64_C(3); l1_c = t11; L31_h:; t13 = l1_c; t14 = t13 < t12; if (!t14) goto L31_e; if (!cint_fuel_charge(ctx, cs177, 1u)) goto fault; t15 = l1_c; if (!cint_rt_call_enter(ctx, cs178)) goto fault; if (!ci_6_orbits_4_kick(ctx, t15)) goto fault; cint_rt_call_leave(ctx); t16 = INT64_C(0); t17 = INT64_C(3); l2_b = t16; L43_h:; t18 = l2_b; t19 = t18 < t17; if (!t19) goto L43_e; if (!cint_fuel_charge(ctx, cs179, 1u)) goto fault; t20 = l1_c; t21 = INT64_C(3); if (!cint_mul_i64(ctx, cs180, t20, t21, &t22)) goto fault; t23 = l2_b; if (!cint_add_i64(ctx, cs181, t22, t23, &t24)) goto fault; if (!(t24 >= 0 && t24 < INT64_C(9))) { (void)cint_index_check(ctx, cs182, "index.checked.i64", t24, INT64_C(9)); goto fault; } t25 = l1_c; t26 = INT64_C(3); if (!cint_mul_i64(ctx, cs183, t25, t26, &t27)) goto fault; t28 = l2_b; if (!cint_add_i64(ctx, cs184, t27, t28, &t29)) goto fault; if (!(t29 >= 0 && t29 < INT64_C(9))) { (void)cint_index_check(ctx, cs185, "index.checked.i64", t29, INT64_C(9)); goto fault; } t30 = cg_st->g_px[t29]; t31 = l1_c; t32 = INT64_C(3); if (!cint_mul_i64(ctx, cs186, t31, t32, &t33)) goto fault; t34 = l2_b; if (!cint_add_i64(ctx, cs187, t33, t34, &t35)) goto fault; if (!(t35 >= 0 && t35 < INT64_C(9))) { (void)cint_index_check(ctx, cs188, "index.checked.i64", t35, INT64_C(9)); goto fault; } t36 = cg_st->g_vx[t35]; if (!cint_add_i64(ctx, cs189, t30, t36, &t37)) goto fault; cg_st->g_px[t24] = t37; t38 = l1_c; t39 = INT64_C(3); if (!cint_mul_i64(ctx, cs190, t38, t39, &t40)) goto fault; t41 = l2_b; if (!cint_add_i64(ctx, cs191, t40, t41, &t42)) goto fault; if (!(t42 >= 0 && t42 < INT64_C(9))) { (void)cint_index_check(ctx, cs192, "index.checked.i64", t42, INT64_C(9)); goto fault; } t43 = l1_c; t44 = INT64_C(3); if (!cint_mul_i64(ctx, cs193, t43, t44, &t45)) goto fault; t46 = l2_b; if (!cint_add_i64(ctx, cs194, t45, t46, &t47)) goto fault; if (!(t47 >= 0 && t47 < INT64_C(9))) { (void)cint_index_check(ctx, cs195, "index.checked.i64", t47, INT64_C(9)); goto fault; } t48 = cg_st->g_py[t47]; t49 = l1_c; t50 = INT64_C(3); if (!cint_mul_i64(ctx, cs196, t49, t50, &t51)) goto fault; t52 = l2_b; if (!cint_add_i64(ctx, cs197, t51, t52, &t53)) goto fault; if (!(t53 >= 0 && t53 < INT64_C(9))) { (void)cint_index_check(ctx, cs198, "index.checked.i64", t53, INT64_C(9)); goto fault; } t54 = cg_st->g_vy[t53]; if (!cint_add_i64(ctx, cs199, t48, t54, &t55)) goto fault; cg_st->g_py[t42] = t55; t56 = l2_b; t57 = INT64_C(1); t58 = cint_add_wrap_i64(t56, t57); l2_b = t58; goto L43_h; L43_e:; t59 = l1_c; if (!cint_rt_call_enter(ctx, cs200)) goto fault; if (!ci_6_orbits_4_keep(ctx, t59)) goto fault; cint_rt_call_leave(ctx); t60 = l1_c; if (!cint_rt_call_enter(ctx, cs201)) goto fault; if (!ci_6_orbits_4_kick(ctx, t60)) goto fault; cint_rt_call_leave(ctx); t61 = l1_c; t62 = INT64_C(3); if (!cint_mul_i64(ctx, cs202, t61, t62, &t63)) goto fault; l3_o = t63; t64 = l1_c; if (!(t64 >= 0 && t64 < INT64_C(3))) { (void)cint_index_check(ctx, cs203, "index.checked.u64", t64, INT64_C(3)); goto fault; } t65 = l1_c; if (!(t65 >= 0 && t65 < INT64_C(3))) { (void)cint_index_check(ctx, cs204, "index.checked.u64", t65, INT64_C(3)); goto fault; } t66 = cg_st->g_digest[t65]; t67 = UINT64_C(1099511628211); t68 = cint_mul_wrap_u64(t66, t67); t69 = l3_o; if (!(t69 >= 0 && t69 < INT64_C(9))) { (void)cint_index_check(ctx, cs205, "index.checked.i64", t69, INT64_C(9)); goto fault; } t70 = cg_st->g_px[t69]; t71 = cint_as_wrap_u64_from_i64(t70); t72 = (uint64_t)(t68 ^ t71); t73 = l3_o; if (!(t73 >= 0 && t73 < INT64_C(9))) { (void)cint_index_check(ctx, cs206, "index.checked.i64", t73, INT64_C(9)); goto fault; } t74 = cg_st->g_py[t73]; t75 = cint_as_wrap_u64_from_i64(t74); t76 = INT64_C(13); if (!cint_shl_wrap_u64(ctx, cs207, t75, cint_count_i64(t76), &t77)) goto fault; t78 = (uint64_t)(t72 ^ t77); t79 = l3_o; t80 = INT64_C(1); if (!cint_add_i64(ctx, cs208, t79, t80, &t81)) goto fault; if (!(t81 >= 0 && t81 < INT64_C(9))) { (void)cint_index_check(ctx, cs209, "index.checked.i64", t81, INT64_C(9)); goto fault; } t82 = cg_st->g_px[t81]; t83 = cint_as_wrap_u64_from_i64(t82); t84 = INT64_C(26); if (!cint_shl_wrap_u64(ctx, cs210, t83, cint_count_i64(t84), &t85)) goto fault; t86 = (uint64_t)(t78 ^ t85); t87 = l3_o; t88 = INT64_C(1); if (!cint_add_i64(ctx, cs211, t87, t88, &t89)) goto fault; if (!(t89 >= 0 && t89 < INT64_C(9))) { (void)cint_index_check(ctx, cs212, "index.checked.i64", t89, INT64_C(9)); goto fault; } t90 = cg_st->g_py[t89]; t91 = cint_as_wrap_u64_from_i64(t90); t92 = INT64_C(39); if (!cint_shl_wrap_u64(ctx, cs213, t91, cint_count_i64(t92), &t93)) goto fault; t94 = (uint64_t)(t86 ^ t93); t95 = l3_o; t96 = INT64_C(2); if (!cint_add_i64(ctx, cs214, t95, t96, &t97)) goto fault; if (!(t97 >= 0 && t97 < INT64_C(9))) { (void)cint_index_check(ctx, cs215, "index.checked.i64", t97, INT64_C(9)); goto fault; } t98 = cg_st->g_px[t97]; t99 = cint_as_wrap_u64_from_i64(t98); t100 = INT64_C(52); if (!cint_shl_wrap_u64(ctx, cs216, t99, cint_count_i64(t100), &t101)) goto fault; t102 = (uint64_t)(t94 ^ t101); t103 = l3_o; t104 = INT64_C(2); if (!cint_add_i64(ctx, cs217, t103, t104, &t105)) goto fault; if (!(t105 >= 0 && t105 < INT64_C(9))) { (void)cint_index_check(ctx, cs218, "index.checked.i64", t105, INT64_C(9)); goto fault; } t106 = cg_st->g_py[t105]; t107 = cint_as_wrap_u64_from_i64(t106); t108 = INT64_C(7); if (!cint_shl_wrap_u64(ctx, cs219, t107, cint_count_i64(t108), &t109)) goto fault; t110 = (uint64_t)(t102 ^ t109); cg_st->g_digest[t64] = t110; t111 = l1_c; t112 = INT64_C(1); t113 = cint_add_wrap_i64(t111, t112); l1_c = t113; goto L31_h; L31_e:; if (!cint_rt_call_enter(ctx, cs220)) goto fault; if (!ci_6_orbits_13_pull_x5Ftwins(ctx)) goto fault; cint_rt_call_leave(ctx); return true; fault: return false; } static bool ci_6_orbits_3_put(cint_ctx *ctx, int64_t v_b, int64_t v_m, int64_t v_x, int64_t v_y, int64_t v_u, int64_t v_v) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; bool t3 = false; int64_t t4 = 0; int64_t t5 = 0; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; int64_t t11 = 0; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; int64_t t18 = 0; int64_t t19 = 0; int64_t t20 = 0; int64_t t21 = 0; int64_t t22 = 0; int64_t l0_c = 0; cg_6_orbits_state *const cg_st = (cg_6_orbits_state *)cint_rt_state(ctx, &cg_6_orbits_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_b; (void)v_m; (void)v_x; (void)v_y; (void)v_u; (void)v_v; (void)l0_c; cint_rt_head *fh = cint_rt_head_of(ctx); int64_t fu = fh->fuel_used; int64_t fcap = fh->fuel_limit >= 0 ? fh->fuel_limit : INT64_MAX; static const cint_site cs221 = {0u, 221u}; (void)cs221; static const cint_site cs222 = {0u, 222u}; (void)cs222; static const cint_site cs223 = {0u, 223u}; (void)cs223; static const cint_site cs224 = {0u, 224u}; (void)cs224; static const cint_site cs225 = {0u, 225u}; (void)cs225; static const cint_site cs226 = {0u, 226u}; (void)cs226; static const cint_site cs227 = {0u, 227u}; (void)cs227; static const cint_site cs228 = {0u, 228u}; (void)cs228; static const cint_site cs229 = {0u, 229u}; (void)cs229; static const cint_site cs230 = {0u, 230u}; (void)cs230; static const cint_site cs231 = {0u, 231u}; (void)cs231; static const cint_site cs232 = {0u, 232u}; (void)cs232; static const cint_site cs233 = {0u, 233u}; (void)cs233; static const cint_site cs234 = {0u, 234u}; (void)cs234; if (!(v_b >= 0 && v_b < INT64_C(3))) { (void)cint_index_check(ctx, cs221, "index.checked.i64", v_b, INT64_C(3)); goto fault; } cg_st->g_mass[v_b] = v_m; t0 = INT64_C(0); t1 = INT64_C(3); l0_c = t0; L6_h:; t2 = l0_c; t3 = t2 < t1; if (!t3) goto L6_e; if (fh->faulted != 0u || fcap - fu < 1) { fh->fuel_used = fu; (void)cint_fuel_charge(ctx, cs222, 1u); goto fault; } fu += 1; t4 = l0_c; t5 = INT64_C(3); if (!cint_mul_i64(ctx, cs223, t4, t5, &t6)) goto fault; if (!cint_add_i64(ctx, cs224, t6, v_b, &t7)) goto fault; if (!(t7 >= 0 && t7 < INT64_C(9))) { (void)cint_index_check(ctx, cs225, "index.checked.i64", t7, INT64_C(9)); goto fault; } cg_st->g_px[t7] = v_x; t8 = l0_c; t9 = INT64_C(3); if (!cint_mul_i64(ctx, cs226, t8, t9, &t10)) goto fault; if (!cint_add_i64(ctx, cs227, t10, v_b, &t11)) goto fault; if (!(t11 >= 0 && t11 < INT64_C(9))) { (void)cint_index_check(ctx, cs228, "index.checked.i64", t11, INT64_C(9)); goto fault; } cg_st->g_py[t11] = v_y; t12 = l0_c; t13 = INT64_C(3); if (!cint_mul_i64(ctx, cs229, t12, t13, &t14)) goto fault; if (!cint_add_i64(ctx, cs230, t14, v_b, &t15)) goto fault; if (!(t15 >= 0 && t15 < INT64_C(9))) { (void)cint_index_check(ctx, cs231, "index.checked.i64", t15, INT64_C(9)); goto fault; } cg_st->g_vx[t15] = v_u; t16 = l0_c; t17 = INT64_C(3); if (!cint_mul_i64(ctx, cs232, t16, t17, &t18)) goto fault; if (!cint_add_i64(ctx, cs233, t18, v_b, &t19)) goto fault; if (!(t19 >= 0 && t19 < INT64_C(9))) { (void)cint_index_check(ctx, cs234, "index.checked.i64", t19, INT64_C(9)); goto fault; } cg_st->g_vy[t19] = v_v; t20 = l0_c; t21 = INT64_C(1); t22 = cint_add_wrap_i64(t20, t21); l0_c = t22; goto L6_h; L6_e:; fh->fuel_used = fu; return true; fault: fh->fuel_used = fu; return false; } static bool ci_6_orbits_5_start(cint_ctx *ctx, int64_t v_preset, int64_t *result) { int64_t t0 = 0; bool t1 = false; int64_t t2 = 0; int64_t t3 = 0; int64_t t4 = 0; int64_t t5 = 0; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; int64_t t11 = 0; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; int64_t t18 = 0; int64_t t19 = 0; int64_t t20 = 0; int64_t t21 = 0; int64_t t22 = 0; int64_t t23 = 0; int64_t t24 = 0; int64_t t25 = 0; int64_t t26 = 0; int64_t t27 = 0; int64_t t28 = 0; int64_t t29 = 0; int64_t t30 = 0; int64_t t31 = 0; int64_t t32 = 0; int64_t t33 = 0; int64_t t34 = 0; int64_t t35 = 0; int64_t t36 = 0; int64_t t37 = 0; int64_t t38 = 0; int64_t t39 = 0; int64_t t40 = 0; int64_t t41 = 0; int64_t t42 = 0; int64_t t43 = 0; int64_t t44 = 0; int64_t t45 = 0; int64_t t46 = 0; int64_t t47 = 0; int64_t t48 = 0; int64_t t49 = 0; int64_t t50 = 0; bool t51 = false; int64_t t52 = 0; uint64_t t53 = 0; int64_t t54 = 0; int64_t t55 = 0; int64_t t56 = 0; bool t57 = false; int64_t l0_c = 0; cg_6_orbits_state *const cg_st = (cg_6_orbits_state *)cint_rt_state(ctx, &cg_6_orbits_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_preset; (void)l0_c; (void)result; static const cint_site cs236 = {0u, 236u}; (void)cs236; static const cint_site cs237 = {0u, 237u}; (void)cs237; static const cint_site cs238 = {0u, 238u}; (void)cs238; static const cint_site cs239 = {0u, 239u}; (void)cs239; static const cint_site cs240 = {0u, 240u}; (void)cs240; static const cint_site cs241 = {0u, 241u}; (void)cs241; static const cint_site cs242 = {0u, 242u}; (void)cs242; static const cint_site cs243 = {0u, 243u}; (void)cs243; static const cint_site cs244 = {0u, 244u}; (void)cs244; static const cint_site cs245 = {0u, 245u}; (void)cs245; static const cint_site cs246 = {0u, 246u}; (void)cs246; static const cint_site cs247 = {0u, 247u}; (void)cs247; static const cint_site cs248 = {0u, 248u}; (void)cs248; static const cint_site cs249 = {0u, 249u}; (void)cs249; t0 = INT64_C(1); t1 = v_preset == t0; if (!t1) goto L5_f; t2 = INT64_C(0); t3 = INT64_C(1); t4 = INT64_C(970004360000); t5 = INT64_C(-243087530000); t6 = INT64_C(46620368); t7 = INT64_C(43236573); if (!cint_rt_call_enter(ctx, cs236)) goto fault; if (!ci_6_orbits_3_put(ctx, t2, t3, t4, t5, t6, t7)) goto fault; cint_rt_call_leave(ctx); t8 = INT64_C(1); t9 = INT64_C(1); t10 = INT64_C(-970004360000); t11 = INT64_C(243087530000); t12 = INT64_C(46620369); t13 = INT64_C(43236573); if (!cint_rt_call_enter(ctx, cs237)) goto fault; if (!ci_6_orbits_3_put(ctx, t8, t9, t10, t11, t12, t13)) goto fault; cint_rt_call_leave(ctx); t14 = INT64_C(2); t15 = INT64_C(1); t16 = INT64_C(0); t17 = INT64_C(0); t18 = INT64_C(-93240737); t19 = INT64_C(-86473146); if (!cint_rt_call_enter(ctx, cs238)) goto fault; if (!ci_6_orbits_3_put(ctx, t14, t15, t16, t17, t18, t19)) goto fault; cint_rt_call_leave(ctx); goto L1_e; L5_f:; t20 = INT64_C(0); t21 = INT64_C(3); t22 = INT64_C(1000000000000); t23 = INT64_C(3000000000000); t24 = INT64_C(0); t25 = INT64_C(0); if (!cint_rt_call_enter(ctx, cs239)) goto fault; if (!ci_6_orbits_3_put(ctx, t20, t21, t22, t23, t24, t25)) goto fault; cint_rt_call_leave(ctx); t26 = INT64_C(1); t27 = INT64_C(4); t28 = INT64_C(-2000000000000); t29 = INT64_C(-1000000000000); t30 = INT64_C(0); t31 = INT64_C(0); if (!cint_rt_call_enter(ctx, cs240)) goto fault; if (!ci_6_orbits_3_put(ctx, t26, t27, t28, t29, t30, t31)) goto fault; cint_rt_call_leave(ctx); t32 = INT64_C(2); t33 = INT64_C(5); t34 = INT64_C(1000000000000); t35 = INT64_C(-1000000000000); t36 = INT64_C(0); t37 = INT64_C(0); if (!cint_rt_call_enter(ctx, cs241)) goto fault; if (!ci_6_orbits_3_put(ctx, t32, t33, t34, t35, t36, t37)) goto fault; cint_rt_call_leave(ctx); L1_e:; t38 = INT64_C(3); if (!(t38 >= 0 && t38 < INT64_C(9))) { (void)cint_index_check(ctx, cs242, "index.checked.i64", t38, INT64_C(9)); goto fault; } t39 = INT64_C(3); if (!(t39 >= 0 && t39 < INT64_C(9))) { (void)cint_index_check(ctx, cs243, "index.checked.i64", t39, INT64_C(9)); goto fault; } t40 = cg_st->g_px[t39]; t41 = INT64_C(1000000); if (!cint_add_i64(ctx, cs244, t40, t41, &t42)) goto fault; cg_st->g_px[t38] = t42; t43 = INT64_C(6); if (!(t43 >= 0 && t43 < INT64_C(9))) { (void)cint_index_check(ctx, cs245, "index.checked.i64", t43, INT64_C(9)); goto fault; } t44 = INT64_C(6); if (!(t44 >= 0 && t44 < INT64_C(9))) { (void)cint_index_check(ctx, cs246, "index.checked.i64", t44, INT64_C(9)); goto fault; } t45 = cg_st->g_px[t44]; t46 = INT64_C(2000000); if (!cint_add_i64(ctx, cs247, t45, t46, &t47)) goto fault; cg_st->g_px[t43] = t47; t48 = INT64_C(0); t49 = INT64_C(3); l0_c = t48; L107_h:; t50 = l0_c; t51 = t50 < t49; if (!t51) goto L107_e; if (!cint_fuel_charge(ctx, cs248, 1u)) goto fault; t52 = l0_c; if (!(t52 >= 0 && t52 < INT64_C(3))) { (void)cint_index_check(ctx, cs249, "index.checked.u64", t52, INT64_C(3)); goto fault; } t53 = UINT64_C(14695981039346656037); cg_st->g_digest[t52] = t53; t54 = l0_c; t55 = INT64_C(1); t56 = cint_add_wrap_i64(t54, t55); l0_c = t56; goto L107_h; L107_e:; t57 = false; cg_st->g_kept = t57; *result = v_preset; return true; fault: return false; } static bool ci_6_orbits_4_load(cint_ctx *ctx, int64_t v_slot, int64_t v_value, int64_t *result) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t t3 = 0; bool t4 = false; int64_t t5 = 0; int64_t t6 = 0; bool t7 = false; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; bool t11 = false; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; bool t15 = false; int64_t t16 = 0; int64_t t17 = 0; int64_t t18 = 0; bool t19 = false; int64_t t20 = 0; int64_t l0_s = 0; int64_t l1_f = 0; cg_6_orbits_state *const cg_st = (cg_6_orbits_state *)cint_rt_state(ctx, &cg_6_orbits_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_slot; (void)v_value; (void)l0_s; (void)l1_f; (void)result; static const cint_site cs251 = {0u, 251u}; (void)cs251; static const cint_site cs252 = {0u, 252u}; (void)cs252; static const cint_site cs253 = {0u, 253u}; (void)cs253; static const cint_site cs254 = {0u, 254u}; (void)cs254; static const cint_site cs255 = {0u, 255u}; (void)cs255; static const cint_site cs256 = {0u, 256u}; (void)cs256; t0 = INT64_C(9); if (!cint_rem_i64(ctx, cs251, v_slot, t0, &t1)) goto fault; l0_s = t1; t2 = INT64_C(9); if (!cint_div_i64(ctx, cs252, v_slot, t2, &t3)) goto fault; l1_f = t3; t4 = false; cg_st->g_kept = t4; t5 = l1_f; t6 = INT64_C(0); t7 = t5 == t6; if (!t7) goto L16_f; t8 = l0_s; if (!(t8 >= 0 && t8 < INT64_C(9))) { (void)cint_index_check(ctx, cs253, "index.checked.i64", t8, INT64_C(9)); goto fault; } cg_st->g_px[t8] = v_value; goto L11_e; L16_f:; L11_e:; t9 = l1_f; t10 = INT64_C(1); t11 = t9 == t10; if (!t11) goto L27_f; t12 = l0_s; if (!(t12 >= 0 && t12 < INT64_C(9))) { (void)cint_index_check(ctx, cs254, "index.checked.i64", t12, INT64_C(9)); goto fault; } cg_st->g_py[t12] = v_value; goto L22_e; L27_f:; L22_e:; t13 = l1_f; t14 = INT64_C(2); t15 = t13 == t14; if (!t15) goto L38_f; t16 = l0_s; if (!(t16 >= 0 && t16 < INT64_C(9))) { (void)cint_index_check(ctx, cs255, "index.checked.i64", t16, INT64_C(9)); goto fault; } cg_st->g_vx[t16] = v_value; goto L33_e; L38_f:; L33_e:; t17 = l1_f; t18 = INT64_C(3); t19 = t17 == t18; if (!t19) goto L49_f; t20 = l0_s; if (!(t20 >= 0 && t20 < INT64_C(9))) { (void)cint_index_check(ctx, cs256, "index.checked.i64", t20, INT64_C(9)); goto fault; } cg_st->g_vy[t20] = v_value; goto L44_e; L49_f:; L44_e:; *result = v_value; return true; fault: return false; } static bool ci_6_orbits_4_read(cint_ctx *ctx, int64_t v_slot, int64_t *result) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t t3 = 0; int64_t t4 = 0; int64_t t5 = 0; bool t6 = false; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; bool t11 = false; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; bool t16 = false; int64_t t17 = 0; int64_t t18 = 0; int64_t t19 = 0; int64_t t20 = 0; int64_t l0_s = 0; int64_t l1_f = 0; cg_6_orbits_state *const cg_st = (cg_6_orbits_state *)cint_rt_state(ctx, &cg_6_orbits_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_slot; (void)l0_s; (void)l1_f; (void)result; static const cint_site cs258 = {0u, 258u}; (void)cs258; static const cint_site cs259 = {0u, 259u}; (void)cs259; static const cint_site cs260 = {0u, 260u}; (void)cs260; static const cint_site cs261 = {0u, 261u}; (void)cs261; static const cint_site cs262 = {0u, 262u}; (void)cs262; static const cint_site cs263 = {0u, 263u}; (void)cs263; t0 = INT64_C(9); if (!cint_rem_i64(ctx, cs258, v_slot, t0, &t1)) goto fault; l0_s = t1; t2 = INT64_C(9); if (!cint_div_i64(ctx, cs259, v_slot, t2, &t3)) goto fault; l1_f = t3; t4 = l1_f; t5 = INT64_C(0); t6 = t4 == t5; if (!t6) goto L14_f; t7 = l0_s; if (!(t7 >= 0 && t7 < INT64_C(9))) { (void)cint_index_check(ctx, cs260, "index.checked.i64", t7, INT64_C(9)); goto fault; } t8 = cg_st->g_px[t7]; *result = t8; return true; L14_f:; t9 = l1_f; t10 = INT64_C(1); t11 = t9 == t10; if (!t11) goto L26_f; t12 = l0_s; if (!(t12 >= 0 && t12 < INT64_C(9))) { (void)cint_index_check(ctx, cs261, "index.checked.i64", t12, INT64_C(9)); goto fault; } t13 = cg_st->g_py[t12]; *result = t13; return true; L26_f:; t14 = l1_f; t15 = INT64_C(2); t16 = t14 == t15; if (!t16) goto L38_f; t17 = l0_s; if (!(t17 >= 0 && t17 < INT64_C(9))) { (void)cint_index_check(ctx, cs262, "index.checked.i64", t17, INT64_C(9)); goto fault; } t18 = cg_st->g_vx[t17]; *result = t18; return true; L38_f:; t19 = l0_s; if (!(t19 >= 0 && t19 < INT64_C(9))) { (void)cint_index_check(ctx, cs263, "index.checked.i64", t19, INT64_C(9)); goto fault; } t20 = cg_st->g_vy[t19]; *result = t20; return true; fault: return false; } static bool ci_6_orbits_4_seed(cint_ctx *ctx, int64_t v_c, uint64_t v_value, uint64_t *result) { cg_6_orbits_state *const cg_st = (cg_6_orbits_state *)cint_rt_state(ctx, &cg_6_orbits_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_c; (void)v_value; (void)result; static const cint_site cs265 = {0u, 265u}; (void)cs265; if (!(v_c >= 0 && v_c < INT64_C(3))) { (void)cint_index_check(ctx, cs265, "index.checked.u64", v_c, INT64_C(3)); goto fault; } cg_st->g_digest[v_c] = v_value; *result = v_value; return true; fault: return false; } static bool ci_6_orbits_12_digest_x5Fof(cint_ctx *ctx, int64_t v_c, uint64_t *result) { uint64_t t0 = 0; cg_6_orbits_state *const cg_st = (cg_6_orbits_state *)cint_rt_state(ctx, &cg_6_orbits_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_c; (void)result; static const cint_site cs267 = {0u, 267u}; (void)cs267; if (!(v_c >= 0 && v_c < INT64_C(3))) { (void)cint_index_check(ctx, cs267, "index.checked.u64", v_c, INT64_C(3)); goto fault; } t0 = cg_st->g_digest[v_c]; *result = t0; return true; fault: return false; } static bool ci_6_orbits_4_pull(cint_ctx *ctx, int64_t v_k, int64_t *result) { cg_6_orbits_state *const cg_st = (cg_6_orbits_state *)cint_rt_state(ctx, &cg_6_orbits_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_k; (void)result; cg_st->g_tether = v_k; *result = v_k; return true; } static bool ci_6_orbits_7_advance(cint_ctx *ctx, int64_t v_ticks, int64_t *result) { int64_t t0 = 0; int64_t t1 = 0; bool t2 = false; int64_t t3 = 0; int64_t t4 = 0; int64_t t5 = 0; int64_t l0_i = 0; (void)ctx; (void)v_ticks; (void)l0_i; (void)result; static const cint_site cs270 = {0u, 270u}; (void)cs270; static const cint_site cs271 = {0u, 271u}; (void)cs271; t0 = INT64_C(0); l0_i = t0; L4_h:; t1 = l0_i; t2 = t1 < v_ticks; if (!t2) goto L4_e; if (!cint_fuel_charge(ctx, cs270, 1u)) goto fault; if (!cint_rt_call_enter(ctx, cs271)) goto fault; if (!ci_6_orbits_4_step(ctx)) goto fault; cint_rt_call_leave(ctx); t3 = l0_i; t4 = INT64_C(1); t5 = cint_add_wrap_i64(t3, t4); l0_i = t5; goto L4_h; L4_e:; *result = v_ticks; return true; fault: return false; } static bool ci_6_orbits_4_flip(cint_ctx *ctx, int64_t *result) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; bool t3 = false; int64_t t4 = 0; int64_t t5 = 0; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; int64_t t11 = 0; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; int64_t l0_s = 0; cg_6_orbits_state *const cg_st = (cg_6_orbits_state *)cint_rt_state(ctx, &cg_6_orbits_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)l0_s; (void)result; cint_rt_head *fh = cint_rt_head_of(ctx); int64_t fu = fh->fuel_used; int64_t fcap = fh->fuel_limit >= 0 ? fh->fuel_limit : INT64_MAX; static const cint_site cs273 = {0u, 273u}; (void)cs273; static const cint_site cs274 = {0u, 274u}; (void)cs274; static const cint_site cs275 = {0u, 275u}; (void)cs275; static const cint_site cs276 = {0u, 276u}; (void)cs276; static const cint_site cs277 = {0u, 277u}; (void)cs277; static const cint_site cs278 = {0u, 278u}; (void)cs278; static const cint_site cs279 = {0u, 279u}; (void)cs279; t0 = INT64_C(0); t1 = INT64_C(9); l0_s = t0; L5_h:; t2 = l0_s; t3 = t2 < t1; if (!t3) goto L5_e; if (fh->faulted != 0u || fcap - fu < 1) { fh->fuel_used = fu; (void)cint_fuel_charge(ctx, cs273, 1u); goto fault; } fu += 1; t4 = l0_s; if (!(t4 >= 0 && t4 < INT64_C(9))) { (void)cint_index_check(ctx, cs274, "index.checked.i64", t4, INT64_C(9)); goto fault; } t5 = l0_s; if (!(t5 >= 0 && t5 < INT64_C(9))) { (void)cint_index_check(ctx, cs275, "index.checked.i64", t5, INT64_C(9)); goto fault; } t6 = cg_st->g_vx[t5]; if (!cint_neg_i64(ctx, cs276, t6, &t7)) goto fault; cg_st->g_vx[t4] = t7; t8 = l0_s; if (!(t8 >= 0 && t8 < INT64_C(9))) { (void)cint_index_check(ctx, cs277, "index.checked.i64", t8, INT64_C(9)); goto fault; } t9 = l0_s; if (!(t9 >= 0 && t9 < INT64_C(9))) { (void)cint_index_check(ctx, cs278, "index.checked.i64", t9, INT64_C(9)); goto fault; } t10 = cg_st->g_vy[t9]; if (!cint_neg_i64(ctx, cs279, t10, &t11)) goto fault; cg_st->g_vy[t8] = t11; t12 = l0_s; t13 = INT64_C(1); t14 = cint_add_wrap_i64(t12, t13); l0_s = t14; goto L5_h; L5_e:; t15 = INT64_C(0); *result = t15; fh->fuel_used = fu; return true; fault: fh->fuel_used = fu; return false; } static bool ci_6_orbits_6_spread(cint_ctx *ctx, int64_t v_c, int64_t *result) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t t3 = 0; bool t4 = false; int64_t t5 = 0; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; int64_t t11 = 0; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; int64_t t18 = 0; int64_t t19 = 0; int64_t t20 = 0; int64_t t21 = 0; int64_t t22 = 0; int64_t t23 = 0; int64_t t24 = 0; int64_t t25 = 0; int64_t t26 = 0; int64_t t27 = 0; int64_t t28 = 0; int64_t t29 = 0; int64_t t30 = 0; int64_t t31 = 0; int64_t l0_most = 0; int64_t l1_b = 0; cg_6_orbits_state *const cg_st = (cg_6_orbits_state *)cint_rt_state(ctx, &cg_6_orbits_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_c; (void)l0_most; (void)l1_b; (void)result; static const cint_site cs281 = {0u, 281u}; (void)cs281; static const cint_site cs282 = {0u, 282u}; (void)cs282; static const cint_site cs283 = {0u, 283u}; (void)cs283; static const cint_site cs284 = {0u, 284u}; (void)cs284; static const cint_site cs285 = {0u, 285u}; (void)cs285; static const cint_site cs286 = {0u, 286u}; (void)cs286; static const cint_site cs287 = {0u, 287u}; (void)cs287; static const cint_site cs288 = {0u, 288u}; (void)cs288; static const cint_site cs289 = {0u, 289u}; (void)cs289; static const cint_site cs290 = {0u, 290u}; (void)cs290; static const cint_site cs291 = {0u, 291u}; (void)cs291; static const cint_site cs292 = {0u, 292u}; (void)cs292; static const cint_site cs293 = {0u, 293u}; (void)cs293; static const cint_site cs294 = {0u, 294u}; (void)cs294; t0 = INT64_C(0); l0_most = t0; t1 = INT64_C(0); t2 = INT64_C(3); l1_b = t1; L8_h:; t3 = l1_b; t4 = t3 < t2; if (!t4) goto L8_e; if (!cint_fuel_charge(ctx, cs281, 1u)) goto fault; t5 = l0_most; t6 = INT64_C(3); if (!cint_mul_i64(ctx, cs282, v_c, t6, &t7)) goto fault; t8 = l1_b; if (!cint_add_i64(ctx, cs283, t7, t8, &t9)) goto fault; if (!(t9 >= 0 && t9 < INT64_C(9))) { (void)cint_index_check(ctx, cs284, "index.checked.i64", t9, INT64_C(9)); goto fault; } t10 = cg_st->g_px[t9]; t11 = l1_b; if (!(t11 >= 0 && t11 < INT64_C(9))) { (void)cint_index_check(ctx, cs285, "index.checked.i64", t11, INT64_C(9)); goto fault; } t12 = cg_st->g_px[t11]; if (!cint_sub_i64(ctx, cs286, t10, t12, &t13)) goto fault; t14 = INT64_C(10000); if (!cint_div_i64(ctx, cs287, t13, t14, &t15)) goto fault; t16 = INT64_C(3); if (!cint_mul_i64(ctx, cs288, v_c, t16, &t17)) goto fault; t18 = l1_b; if (!cint_add_i64(ctx, cs289, t17, t18, &t19)) goto fault; if (!(t19 >= 0 && t19 < INT64_C(9))) { (void)cint_index_check(ctx, cs290, "index.checked.i64", t19, INT64_C(9)); goto fault; } t20 = cg_st->g_py[t19]; t21 = l1_b; if (!(t21 >= 0 && t21 < INT64_C(9))) { (void)cint_index_check(ctx, cs291, "index.checked.i64", t21, INT64_C(9)); goto fault; } t22 = cg_st->g_py[t21]; if (!cint_sub_i64(ctx, cs292, t20, t22, &t23)) goto fault; t24 = INT64_C(10000); if (!cint_div_i64(ctx, cs293, t23, t24, &t25)) goto fault; if (!cint_rt_call_enter(ctx, cs294)) goto fault; if (!ci_6_orbits_5_apart(ctx, t15, t25, &t26)) goto fault; cint_rt_call_leave(ctx); t27 = cint_max_i64(t5, t26); l0_most = t27; t28 = l1_b; t29 = INT64_C(1); t30 = cint_add_wrap_i64(t28, t29); l1_b = t30; goto L8_h; L8_e:; t31 = l0_most; *result = t31; return true; fault: return false; } static bool ci_6_orbits_8_momentum(cint_ctx *ctx, int64_t v_c, int64_t v_axis, int64_t *result) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t t3 = 0; bool t4 = false; int64_t t5 = 0; bool t6 = false; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; int64_t t11 = 0; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; int64_t t18 = 0; int64_t t19 = 0; int64_t t20 = 0; int64_t t21 = 0; int64_t t22 = 0; int64_t t23 = 0; int64_t t24 = 0; int64_t t25 = 0; int64_t t26 = 0; int64_t t27 = 0; int64_t t28 = 0; int64_t t29 = 0; int64_t t30 = 0; int64_t l0_total = 0; int64_t l1_b = 0; cg_6_orbits_state *const cg_st = (cg_6_orbits_state *)cint_rt_state(ctx, &cg_6_orbits_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_c; (void)v_axis; (void)l0_total; (void)l1_b; (void)result; cint_rt_head *fh = cint_rt_head_of(ctx); int64_t fu = fh->fuel_used; int64_t fcap = fh->fuel_limit >= 0 ? fh->fuel_limit : INT64_MAX; static const cint_site cs296 = {0u, 296u}; (void)cs296; static const cint_site cs297 = {0u, 297u}; (void)cs297; static const cint_site cs298 = {0u, 298u}; (void)cs298; static const cint_site cs299 = {0u, 299u}; (void)cs299; static const cint_site cs300 = {0u, 300u}; (void)cs300; static const cint_site cs301 = {0u, 301u}; (void)cs301; static const cint_site cs302 = {0u, 302u}; (void)cs302; static const cint_site cs303 = {0u, 303u}; (void)cs303; static const cint_site cs304 = {0u, 304u}; (void)cs304; static const cint_site cs305 = {0u, 305u}; (void)cs305; static const cint_site cs306 = {0u, 306u}; (void)cs306; static const cint_site cs307 = {0u, 307u}; (void)cs307; static const cint_site cs308 = {0u, 308u}; (void)cs308; t0 = INT64_C(0); l0_total = t0; t1 = INT64_C(0); t2 = INT64_C(3); l1_b = t1; L8_h:; t3 = l1_b; t4 = t3 < t2; if (!t4) goto L8_e; if (fh->faulted != 0u || fcap - fu < 1) { fh->fuel_used = fu; (void)cint_fuel_charge(ctx, cs296, 1u); goto fault; } fu += 1; t5 = INT64_C(0); t6 = v_axis == t5; if (!t6) goto L17_f; t7 = l0_total; t8 = l1_b; if (!(t8 >= 0 && t8 < INT64_C(3))) { (void)cint_index_check(ctx, cs297, "index.checked.i64", t8, INT64_C(3)); goto fault; } t9 = cg_st->g_mass[t8]; t10 = INT64_C(3); if (!cint_mul_i64(ctx, cs298, v_c, t10, &t11)) goto fault; t12 = l1_b; if (!cint_add_i64(ctx, cs299, t11, t12, &t13)) goto fault; if (!(t13 >= 0 && t13 < INT64_C(9))) { (void)cint_index_check(ctx, cs300, "index.checked.i64", t13, INT64_C(9)); goto fault; } t14 = cg_st->g_vx[t13]; if (!cint_mul_i64(ctx, cs301, t9, t14, &t15)) goto fault; if (!cint_add_i64(ctx, cs302, t7, t15, &t16)) goto fault; l0_total = t16; goto L13_e; L17_f:; t17 = l0_total; t18 = l1_b; if (!(t18 >= 0 && t18 < INT64_C(3))) { (void)cint_index_check(ctx, cs303, "index.checked.i64", t18, INT64_C(3)); goto fault; } t19 = cg_st->g_mass[t18]; t20 = INT64_C(3); if (!cint_mul_i64(ctx, cs304, v_c, t20, &t21)) goto fault; t22 = l1_b; if (!cint_add_i64(ctx, cs305, t21, t22, &t23)) goto fault; if (!(t23 >= 0 && t23 < INT64_C(9))) { (void)cint_index_check(ctx, cs306, "index.checked.i64", t23, INT64_C(9)); goto fault; } t24 = cg_st->g_vy[t23]; if (!cint_mul_i64(ctx, cs307, t19, t24, &t25)) goto fault; if (!cint_add_i64(ctx, cs308, t17, t25, &t26)) goto fault; l0_total = t26; L13_e:; t27 = l1_b; t28 = INT64_C(1); t29 = cint_add_wrap_i64(t27, t28); l1_b = t29; goto L8_h; L8_e:; t30 = l0_total; *result = t30; fh->fuel_used = fu; return true; fault: fh->fuel_used = fu; return false; } static bool ci_6_orbits_6_offset(cint_ctx *ctx, int64_t *v_s0, int64_t o_s0, int64_t n_s0, int64_t s_s0, int64_t *result) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t t3 = 0; bool t4 = false; int64_t t5 = 0; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; int64_t t11 = 0; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; int64_t t18 = 0; int64_t t19 = 0; int64_t t20 = 0; int64_t t21 = 0; int64_t t22 = 0; int64_t t23 = 0; int64_t t24 = 0; int64_t t25 = 0; int64_t t26 = 0; int64_t t27 = 0; int64_t t28 = 0; int64_t t29 = 0; int64_t t30 = 0; int64_t t31 = 0; int64_t t32 = 0; int64_t t33 = 0; int64_t t34 = 0; int64_t t35 = 0; int64_t t36 = 0; int64_t t37 = 0; int64_t t38 = 0; int64_t t39 = 0; int64_t t40 = 0; int64_t t41 = 0; int64_t t42 = 0; int64_t t43 = 0; int64_t t44 = 0; int64_t t45 = 0; int64_t t46 = 0; int64_t l0_most = 0; int64_t l1_b = 0; cg_6_orbits_state *const cg_st = (cg_6_orbits_state *)cint_rt_state(ctx, &cg_6_orbits_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_s0; (void)o_s0; (void)n_s0; (void)s_s0; (void)l0_most; (void)l1_b; (void)result; cint_rt_head *fh = cint_rt_head_of(ctx); int64_t fu = fh->fuel_used; int64_t fcap = fh->fuel_limit >= 0 ? fh->fuel_limit : INT64_MAX; static const cint_site cs309 = {0u, 309u}; (void)cs309; static const cint_site cs310 = {0u, 310u}; (void)cs310; static const cint_site cs311 = {0u, 311u}; (void)cs311; static const cint_site cs312 = {0u, 312u}; (void)cs312; static const cint_site cs313 = {0u, 313u}; (void)cs313; static const cint_site cs314 = {0u, 314u}; (void)cs314; static const cint_site cs315 = {0u, 315u}; (void)cs315; static const cint_site cs316 = {0u, 316u}; (void)cs316; static const cint_site cs317 = {0u, 317u}; (void)cs317; static const cint_site cs318 = {0u, 318u}; (void)cs318; static const cint_site cs319 = {0u, 319u}; (void)cs319; static const cint_site cs320 = {0u, 320u}; (void)cs320; static const cint_site cs321 = {0u, 321u}; (void)cs321; static const cint_site cs322 = {0u, 322u}; (void)cs322; static const cint_site cs323 = {0u, 323u}; (void)cs323; static const cint_site cs324 = {0u, 324u}; (void)cs324; static const cint_site cs325 = {0u, 325u}; (void)cs325; static const cint_site cs326 = {0u, 326u}; (void)cs326; static const cint_site cs327 = {0u, 327u}; (void)cs327; static const cint_site cs328 = {0u, 328u}; (void)cs328; t0 = INT64_C(0); l0_most = t0; t1 = INT64_C(0); t2 = INT64_C(3); l1_b = t1; L7_h:; t3 = l1_b; t4 = t3 < t2; if (!t4) goto L7_e; if (fh->faulted != 0u || fcap - fu < 1) { fh->fuel_used = fu; (void)cint_fuel_charge(ctx, cs309, 1u); goto fault; } fu += 1; t5 = l0_most; t6 = l1_b; if (!(t6 >= 0 && t6 < INT64_C(9))) { (void)cint_index_check(ctx, cs310, "index.checked.i64", t6, INT64_C(9)); goto fault; } t7 = cg_st->g_px[t6]; t8 = l1_b; if (!(t8 >= 0 && t8 < n_s0)) { (void)cint_index_check(ctx, cs311, "index.checked.i64", t8, n_s0); goto fault; } t9 = v_s0[o_s0 + t8 * s_s0]; if (!cint_sub_i64(ctx, cs312, t7, t9, &t10)) goto fault; if (!cint_builtin_i64(ctx, cs313, 1u, CINT_TAG_I64, 0u, 0u, (uint64_t)t10, 0u, 0u, &t11)) goto fault; t12 = cint_max_i64(t5, t11); l0_most = t12; t13 = l0_most; t14 = l1_b; if (!(t14 >= 0 && t14 < INT64_C(9))) { (void)cint_index_check(ctx, cs314, "index.checked.i64", t14, INT64_C(9)); goto fault; } t15 = cg_st->g_py[t14]; t16 = INT64_C(3); t17 = l1_b; if (!cint_add_i64(ctx, cs315, t16, t17, &t18)) goto fault; if (!(t18 >= 0 && t18 < n_s0)) { (void)cint_index_check(ctx, cs316, "index.checked.i64", t18, n_s0); goto fault; } t19 = v_s0[o_s0 + t18 * s_s0]; if (!cint_sub_i64(ctx, cs317, t15, t19, &t20)) goto fault; if (!cint_builtin_i64(ctx, cs318, 1u, CINT_TAG_I64, 0u, 0u, (uint64_t)t20, 0u, 0u, &t21)) goto fault; t22 = cint_max_i64(t13, t21); l0_most = t22; t23 = l0_most; t24 = l1_b; if (!(t24 >= 0 && t24 < INT64_C(9))) { (void)cint_index_check(ctx, cs319, "index.checked.i64", t24, INT64_C(9)); goto fault; } t25 = cg_st->g_vx[t24]; t26 = INT64_C(6); t27 = l1_b; if (!cint_add_i64(ctx, cs320, t26, t27, &t28)) goto fault; if (!(t28 >= 0 && t28 < n_s0)) { (void)cint_index_check(ctx, cs321, "index.checked.i64", t28, n_s0); goto fault; } t29 = v_s0[o_s0 + t28 * s_s0]; if (!cint_add_i64(ctx, cs322, t25, t29, &t30)) goto fault; if (!cint_builtin_i64(ctx, cs323, 1u, CINT_TAG_I64, 0u, 0u, (uint64_t)t30, 0u, 0u, &t31)) goto fault; t32 = cint_max_i64(t23, t31); l0_most = t32; t33 = l0_most; t34 = l1_b; if (!(t34 >= 0 && t34 < INT64_C(9))) { (void)cint_index_check(ctx, cs324, "index.checked.i64", t34, INT64_C(9)); goto fault; } t35 = cg_st->g_vy[t34]; t36 = INT64_C(9); t37 = l1_b; if (!cint_add_i64(ctx, cs325, t36, t37, &t38)) goto fault; if (!(t38 >= 0 && t38 < n_s0)) { (void)cint_index_check(ctx, cs326, "index.checked.i64", t38, n_s0); goto fault; } t39 = v_s0[o_s0 + t38 * s_s0]; if (!cint_add_i64(ctx, cs327, t35, t39, &t40)) goto fault; if (!cint_builtin_i64(ctx, cs328, 1u, CINT_TAG_I64, 0u, 0u, (uint64_t)t40, 0u, 0u, &t41)) goto fault; t42 = cint_max_i64(t33, t41); l0_most = t42; t43 = l1_b; t44 = INT64_C(1); t45 = cint_add_wrap_i64(t43, t44); l1_b = t45; goto L7_h; L7_e:; t46 = l0_most; *result = t46; fh->fuel_used = fu; return true; fault: fh->fuel_used = fu; return false; } static bool ci_6_orbits_20_there_x5Fand_x5Fback(cint_ctx *ctx, int64_t v_preset, int64_t v_ticks, int64_t *result) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t t3 = 0; bool t4 = false; int64_t t5 = 0; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; int64_t t11 = 0; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; int64_t t18 = 0; int64_t t19 = 0; int64_t t20 = 0; int64_t t21 = 0; int64_t t22 = 0; int64_t t23 = 0; int64_t t24 = 0; int64_t t25 = 0; int64_t t26 = 0; int64_t t27 = 0; int64_t t28 = 0; int64_t t29 = 0; int64_t l0_s0[12] = {0}; int64_t l1_b = 0; cg_6_orbits_state *const cg_st = (cg_6_orbits_state *)cint_rt_state(ctx, &cg_6_orbits_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_preset; (void)v_ticks; (void)l0_s0; (void)l1_b; (void)result; static const cint_site cs329 = {0u, 329u}; (void)cs329; static const cint_site cs330 = {0u, 330u}; (void)cs330; static const cint_site cs331 = {0u, 331u}; (void)cs331; static const cint_site cs332 = {0u, 332u}; (void)cs332; static const cint_site cs333 = {0u, 333u}; (void)cs333; static const cint_site cs334 = {0u, 334u}; (void)cs334; static const cint_site cs335 = {0u, 335u}; (void)cs335; static const cint_site cs336 = {0u, 336u}; (void)cs336; static const cint_site cs337 = {0u, 337u}; (void)cs337; static const cint_site cs338 = {0u, 338u}; (void)cs338; static const cint_site cs339 = {0u, 339u}; (void)cs339; static const cint_site cs340 = {0u, 340u}; (void)cs340; static const cint_site cs341 = {0u, 341u}; (void)cs341; static const cint_site cs342 = {0u, 342u}; (void)cs342; static const cint_site cs343 = {0u, 343u}; (void)cs343; static const cint_site cs344 = {0u, 344u}; (void)cs344; static const cint_site cs345 = {0u, 345u}; (void)cs345; if (!cint_rt_call_enter(ctx, cs329)) goto fault; if (!ci_6_orbits_5_start(ctx, v_preset, &t0)) goto fault; cint_rt_call_leave(ctx); (void)t0; for (int64_t z = 0; z < INT64_C(12); z++) { l0_s0[z] = 0; } t1 = INT64_C(0); t2 = INT64_C(3); l1_b = t1; L10_h:; t3 = l1_b; t4 = t3 < t2; if (!t4) goto L10_e; if (!cint_fuel_charge(ctx, cs330, 1u)) goto fault; t5 = l1_b; if (!(t5 >= 0 && t5 < INT64_C(12))) { (void)cint_index_check(ctx, cs331, "index.checked.i64", t5, INT64_C(12)); goto fault; } t6 = l1_b; if (!(t6 >= 0 && t6 < INT64_C(9))) { (void)cint_index_check(ctx, cs332, "index.checked.i64", t6, INT64_C(9)); goto fault; } t7 = cg_st->g_px[t6]; l0_s0[t5] = t7; t8 = INT64_C(3); t9 = l1_b; if (!cint_add_i64(ctx, cs333, t8, t9, &t10)) goto fault; if (!(t10 >= 0 && t10 < INT64_C(12))) { (void)cint_index_check(ctx, cs334, "index.checked.i64", t10, INT64_C(12)); goto fault; } t11 = l1_b; if (!(t11 >= 0 && t11 < INT64_C(9))) { (void)cint_index_check(ctx, cs335, "index.checked.i64", t11, INT64_C(9)); goto fault; } t12 = cg_st->g_py[t11]; l0_s0[t10] = t12; t13 = INT64_C(6); t14 = l1_b; if (!cint_add_i64(ctx, cs336, t13, t14, &t15)) goto fault; if (!(t15 >= 0 && t15 < INT64_C(12))) { (void)cint_index_check(ctx, cs337, "index.checked.i64", t15, INT64_C(12)); goto fault; } t16 = l1_b; if (!(t16 >= 0 && t16 < INT64_C(9))) { (void)cint_index_check(ctx, cs338, "index.checked.i64", t16, INT64_C(9)); goto fault; } t17 = cg_st->g_vx[t16]; l0_s0[t15] = t17; t18 = INT64_C(9); t19 = l1_b; if (!cint_add_i64(ctx, cs339, t18, t19, &t20)) goto fault; if (!(t20 >= 0 && t20 < INT64_C(12))) { (void)cint_index_check(ctx, cs340, "index.checked.i64", t20, INT64_C(12)); goto fault; } t21 = l1_b; if (!(t21 >= 0 && t21 < INT64_C(9))) { (void)cint_index_check(ctx, cs341, "index.checked.i64", t21, INT64_C(9)); goto fault; } t22 = cg_st->g_vy[t21]; l0_s0[t20] = t22; t23 = l1_b; t24 = INT64_C(1); t25 = cint_add_wrap_i64(t23, t24); l1_b = t25; goto L10_h; L10_e:; if (!cint_rt_call_enter(ctx, cs342)) goto fault; if (!ci_6_orbits_7_advance(ctx, v_ticks, &t26)) goto fault; cint_rt_call_leave(ctx); (void)t26; if (!cint_rt_call_enter(ctx, cs343)) goto fault; if (!ci_6_orbits_4_flip(ctx, &t27)) goto fault; cint_rt_call_leave(ctx); (void)t27; if (!cint_rt_call_enter(ctx, cs344)) goto fault; if (!ci_6_orbits_7_advance(ctx, v_ticks, &t28)) goto fault; cint_rt_call_leave(ctx); (void)t28; if (!cint_rt_call_enter(ctx, cs345)) goto fault; if (!ci_6_orbits_6_offset(ctx, l0_s0, INT64_C(0), INT64_C(12), INT64_C(1), &t29)) goto fault; cint_rt_call_leave(ctx); *result = t29; return true; fault: return false; } static bool ci_6_orbits_4_main(cint_ctx *ctx) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t t3 = 0; int64_t t4 = 0; uint64_t t5 = 0; int64_t t6 = 0; uint64_t t7 = 0; int64_t t8 = 0; uint64_t t9 = 0; int64_t t10 = 0; int64_t t11 = 0; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; int64_t t18 = 0; int64_t t19 = 0; int64_t t20 = 0; int64_t t21 = 0; int64_t t22 = 0; cg_6_orbits_state *const cg_st = (cg_6_orbits_state *)cint_rt_state(ctx, &cg_6_orbits_state_desc); (void)ctx; if (cg_st == NULL) { return false; } static const cint_site cs347 = {0u, 347u}; (void)cs347; static const cint_site cs348 = {0u, 348u}; (void)cs348; static const cint_site cs349 = {0u, 349u}; (void)cs349; static const cint_site cs350 = {0u, 350u}; (void)cs350; static const cint_site cs351 = {0u, 351u}; (void)cs351; static const cint_site cs352 = {0u, 352u}; (void)cs352; static const cint_site cs353 = {0u, 353u}; (void)cs353; static const cint_site cs354 = {0u, 354u}; (void)cs354; static const cint_site cs355 = {0u, 355u}; (void)cs355; static const cint_site cs356 = {0u, 356u}; (void)cs356; static const cint_site cs357 = {0u, 357u}; (void)cs357; static const cint_site cs358 = {0u, 358u}; (void)cs358; static const cint_site cs359 = {0u, 359u}; (void)cs359; static const cint_site cs360 = {0u, 360u}; (void)cs360; static const cint_site cs361 = {0u, 361u}; (void)cs361; static const cint_site cs362 = {0u, 362u}; (void)cs362; static const cint_site cs363 = {0u, 363u}; (void)cs363; t0 = INT64_C(0); if (!cint_rt_call_enter(ctx, cs347)) goto fault; if (!ci_6_orbits_5_start(ctx, t0, &t1)) goto fault; cint_rt_call_leave(ctx); (void)t1; t2 = INT64_C(20000); if (!cint_rt_call_enter(ctx, cs348)) goto fault; if (!ci_6_orbits_7_advance(ctx, t2, &t3)) goto fault; cint_rt_call_leave(ctx); (void)t3; if (!cint_rt_print_begin(ctx, cs349)) goto fault; if (!cint_rt_print_bytes(ctx, "after 20000 ticks (2.0 time units), Pythagorean problem:\n", 57u)) goto fault; if (!cint_rt_print_end(ctx)) goto fault; t4 = INT64_C(0); if (!(t4 >= 0 && t4 < INT64_C(3))) { (void)cint_index_check(ctx, cs350, "index.checked.u64", t4, INT64_C(3)); goto fault; } t5 = cg_st->g_digest[t4]; if (!cint_rt_print_begin(ctx, cs351)) goto fault; if (!cint_rt_print_bytes(ctx, "leader digest=", 14u)) goto fault; if (!cint_rt_print_value(ctx, CINT_TAG_U64, (uint64_t)t5)) goto fault; if (!cint_rt_print_bytes(ctx, "\n", 1u)) goto fault; if (!cint_rt_print_end(ctx)) goto fault; t6 = INT64_C(1); if (!(t6 >= 0 && t6 < INT64_C(3))) { (void)cint_index_check(ctx, cs352, "index.checked.u64", t6, INT64_C(3)); goto fault; } t7 = cg_st->g_digest[t6]; if (!cint_rt_print_begin(ctx, cs353)) goto fault; if (!cint_rt_print_bytes(ctx, "twin 1 digest=", 14u)) goto fault; if (!cint_rt_print_value(ctx, CINT_TAG_U64, (uint64_t)t7)) goto fault; if (!cint_rt_print_bytes(ctx, "\n", 1u)) goto fault; if (!cint_rt_print_end(ctx)) goto fault; t8 = INT64_C(2); if (!(t8 >= 0 && t8 < INT64_C(3))) { (void)cint_index_check(ctx, cs354, "index.checked.u64", t8, INT64_C(3)); goto fault; } t9 = cg_st->g_digest[t8]; if (!cint_rt_print_begin(ctx, cs355)) goto fault; if (!cint_rt_print_bytes(ctx, "twin 2 digest=", 14u)) goto fault; if (!cint_rt_print_value(ctx, CINT_TAG_U64, (uint64_t)t9)) goto fault; if (!cint_rt_print_bytes(ctx, "\n", 1u)) goto fault; if (!cint_rt_print_end(ctx)) goto fault; t10 = INT64_C(1); if (!cint_rt_call_enter(ctx, cs356)) goto fault; if (!ci_6_orbits_6_spread(ctx, t10, &t11)) goto fault; cint_rt_call_leave(ctx); t12 = INT64_C(2); if (!cint_rt_call_enter(ctx, cs357)) goto fault; if (!ci_6_orbits_6_spread(ctx, t12, &t13)) goto fault; cint_rt_call_leave(ctx); if (!cint_rt_print_begin(ctx, cs358)) goto fault; if (!cint_rt_print_bytes(ctx, "spread twin 1=", 14u)) goto fault; if (!cint_rt_print_value(ctx, CINT_TAG_I64, (uint64_t)t11)) goto fault; if (!cint_rt_print_bytes(ctx, " u, twin 2=", 11u)) goto fault; if (!cint_rt_print_value(ctx, CINT_TAG_I64, (uint64_t)t13)) goto fault; if (!cint_rt_print_bytes(ctx, " u\n", 3u)) goto fault; if (!cint_rt_print_end(ctx)) goto fault; t14 = INT64_C(0); t15 = INT64_C(0); if (!cint_rt_call_enter(ctx, cs359)) goto fault; if (!ci_6_orbits_8_momentum(ctx, t14, t15, &t16)) goto fault; cint_rt_call_leave(ctx); t17 = INT64_C(0); t18 = INT64_C(1); if (!cint_rt_call_enter(ctx, cs360)) goto fault; if (!ci_6_orbits_8_momentum(ctx, t17, t18, &t19)) goto fault; cint_rt_call_leave(ctx); if (!cint_rt_print_begin(ctx, cs361)) goto fault; if (!cint_rt_print_bytes(ctx, "momentum x=", 11u)) goto fault; if (!cint_rt_print_value(ctx, CINT_TAG_I64, (uint64_t)t16)) goto fault; if (!cint_rt_print_bytes(ctx, ", y=", 4u)) goto fault; if (!cint_rt_print_value(ctx, CINT_TAG_I64, (uint64_t)t19)) goto fault; if (!cint_rt_print_bytes(ctx, "\n", 1u)) goto fault; if (!cint_rt_print_end(ctx)) goto fault; t20 = INT64_C(0); t21 = INT64_C(20000); if (!cint_rt_call_enter(ctx, cs362)) goto fault; if (!ci_6_orbits_20_there_x5Fand_x5Fback(ctx, t20, t21, &t22)) goto fault; cint_rt_call_leave(ctx); if (!cint_rt_print_begin(ctx, cs363)) goto fault; if (!cint_rt_print_bytes(ctx, "20000 ticks out and 20000 back, largest miss: ", 46u)) goto fault; if (!cint_rt_print_value(ctx, CINT_TAG_I64, (uint64_t)t22)) goto fault; if (!cint_rt_print_bytes(ctx, " P\n", 3u)) goto fault; if (!cint_rt_print_end(ctx)) goto fault; return true; fault: return false; } static bool cg_6_orbits_tb0(cint_ctx *ctx) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t t3 = 0; bool t4 = false; int64_t t5 = 0; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; bool t9 = false; (void)ctx; static const cint_site cs365 = {0u, 365u}; (void)cs365; static const cint_site cs366 = {0u, 366u}; (void)cs366; static const cint_site cs367 = {0u, 367u}; (void)cs367; static const cint_site cs368 = {0u, 368u}; (void)cs368; t0 = INT64_C(0); t1 = INT64_C(3000); if (!cint_rt_call_enter(ctx, cs365)) goto fault; if (!ci_6_orbits_20_there_x5Fand_x5Fback(ctx, t0, t1, &t2)) goto fault; cint_rt_call_leave(ctx); t3 = INT64_C(0); t4 = t2 == t3; if (!t4 && !cint_rt_fault_assert(ctx, cs366, CINT_TAG_I64, (uint64_t)t2, (uint64_t)t3)) goto fault; t5 = INT64_C(1); t6 = INT64_C(3000); if (!cint_rt_call_enter(ctx, cs367)) goto fault; if (!ci_6_orbits_20_there_x5Fand_x5Fback(ctx, t5, t6, &t7)) goto fault; cint_rt_call_leave(ctx); t8 = INT64_C(0); t9 = t7 == t8; if (!t9 && !cint_rt_fault_assert(ctx, cs368, CINT_TAG_I64, (uint64_t)t7, (uint64_t)t8)) goto fault; return true; fault: return false; } static bool cg_6_orbits_tb1(cint_ctx *ctx) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t t3 = 0; int64_t t4 = 0; int64_t t5 = 0; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; int64_t t11 = 0; int64_t t12 = 0; int64_t t13 = 0; bool t14 = false; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; int64_t t18 = 0; bool t19 = false; bool t20 = false; int64_t l0_mx = 0; int64_t l1_my = 0; bool l2 = false; (void)ctx; (void)l0_mx; (void)l1_my; (void)l2; static const cint_site cs370 = {0u, 370u}; (void)cs370; static const cint_site cs371 = {0u, 371u}; (void)cs371; static const cint_site cs372 = {0u, 372u}; (void)cs372; static const cint_site cs373 = {0u, 373u}; (void)cs373; static const cint_site cs374 = {0u, 374u}; (void)cs374; static const cint_site cs375 = {0u, 375u}; (void)cs375; static const cint_site cs376 = {0u, 376u}; (void)cs376; t0 = INT64_C(1); if (!cint_rt_call_enter(ctx, cs370)) goto fault; if (!ci_6_orbits_5_start(ctx, t0, &t1)) goto fault; cint_rt_call_leave(ctx); (void)t1; t2 = INT64_C(0); t3 = INT64_C(0); if (!cint_rt_call_enter(ctx, cs371)) goto fault; if (!ci_6_orbits_8_momentum(ctx, t2, t3, &t4)) goto fault; cint_rt_call_leave(ctx); l0_mx = t4; t5 = INT64_C(0); t6 = INT64_C(1); if (!cint_rt_call_enter(ctx, cs372)) goto fault; if (!ci_6_orbits_8_momentum(ctx, t5, t6, &t7)) goto fault; cint_rt_call_leave(ctx); l1_my = t7; t8 = INT64_C(2000); if (!cint_rt_call_enter(ctx, cs373)) goto fault; if (!ci_6_orbits_7_advance(ctx, t8, &t9)) goto fault; cint_rt_call_leave(ctx); (void)t9; t10 = INT64_C(0); t11 = INT64_C(0); if (!cint_rt_call_enter(ctx, cs374)) goto fault; if (!ci_6_orbits_8_momentum(ctx, t10, t11, &t12)) goto fault; cint_rt_call_leave(ctx); t13 = l0_mx; t14 = t12 == t13; l2 = t14; if (!t14) goto L34_f; t15 = INT64_C(0); t16 = INT64_C(1); if (!cint_rt_call_enter(ctx, cs375)) goto fault; if (!ci_6_orbits_8_momentum(ctx, t15, t16, &t17)) goto fault; cint_rt_call_leave(ctx); t18 = l1_my; t19 = t17 == t18; l2 = t19; goto L32_e; L34_f:; L32_e:; t20 = l2; if (!t20 && !cint_rt_fault_assert(ctx, cs376, 0u, 0u, 0u)) goto fault; return true; fault: return false; } static bool cg_6_orbits_tb2(cint_ctx *ctx) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t t3 = 0; int64_t t4 = 0; int64_t t5 = 0; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; int64_t t11 = 0; bool t12 = false; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; bool t18 = false; bool t19 = false; int64_t l0_wide = 0; bool l1 = false; (void)ctx; (void)l0_wide; (void)l1; static const cint_site cs378 = {0u, 378u}; (void)cs378; static const cint_site cs379 = {0u, 379u}; (void)cs379; static const cint_site cs380 = {0u, 380u}; (void)cs380; static const cint_site cs381 = {0u, 381u}; (void)cs381; static const cint_site cs382 = {0u, 382u}; (void)cs382; static const cint_site cs383 = {0u, 383u}; (void)cs383; static const cint_site cs384 = {0u, 384u}; (void)cs384; static const cint_site cs385 = {0u, 385u}; (void)cs385; t0 = INT64_C(0); if (!cint_rt_call_enter(ctx, cs378)) goto fault; if (!ci_6_orbits_5_start(ctx, t0, &t1)) goto fault; cint_rt_call_leave(ctx); (void)t1; t2 = INT64_C(300000); if (!cint_rt_call_enter(ctx, cs379)) goto fault; if (!ci_6_orbits_7_advance(ctx, t2, &t3)) goto fault; cint_rt_call_leave(ctx); (void)t3; t4 = INT64_C(1); if (!cint_rt_call_enter(ctx, cs380)) goto fault; if (!ci_6_orbits_6_spread(ctx, t4, &t5)) goto fault; cint_rt_call_leave(ctx); l0_wide = t5; t6 = INT64_C(100); if (!cint_rt_call_enter(ctx, cs381)) goto fault; if (!ci_6_orbits_4_pull(ctx, t6, &t7)) goto fault; cint_rt_call_leave(ctx); (void)t7; t8 = INT64_C(20000); if (!cint_rt_call_enter(ctx, cs382)) goto fault; if (!ci_6_orbits_7_advance(ctx, t8, &t9)) goto fault; cint_rt_call_leave(ctx); (void)t9; t10 = l0_wide; t11 = INT64_C(10000000); t12 = t10 > t11; l1 = t12; if (!t12) goto L29_f; t13 = INT64_C(1); if (!cint_rt_call_enter(ctx, cs383)) goto fault; if (!ci_6_orbits_6_spread(ctx, t13, &t14)) goto fault; cint_rt_call_leave(ctx); t15 = INT64_C(100); if (!cint_mul_i64(ctx, cs384, t14, t15, &t16)) goto fault; t17 = l0_wide; t18 = t16 < t17; l1 = t18; goto L27_e; L29_f:; L27_e:; t19 = l1; if (!t19 && !cint_rt_fault_assert(ctx, cs385, 0u, 0u, 0u)) goto fault; return true; fault: return false; } static bool cg_6_orbits_tb3(cint_ctx *ctx) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t t3 = 0; int64_t t4 = 0; uint64_t t5 = 0; uint64_t t6 = 0; bool t7 = false; int64_t t8 = 0; uint64_t t9 = 0; uint64_t t10 = 0; bool t11 = false; int64_t t12 = 0; uint64_t t13 = 0; uint64_t t14 = 0; bool t15 = false; cg_6_orbits_state *const cg_st = (cg_6_orbits_state *)cint_rt_state(ctx, &cg_6_orbits_state_desc); (void)ctx; if (cg_st == NULL) { return false; } static const cint_site cs387 = {0u, 387u}; (void)cs387; static const cint_site cs388 = {0u, 388u}; (void)cs388; static const cint_site cs389 = {0u, 389u}; (void)cs389; static const cint_site cs390 = {0u, 390u}; (void)cs390; static const cint_site cs391 = {0u, 391u}; (void)cs391; static const cint_site cs392 = {0u, 392u}; (void)cs392; static const cint_site cs393 = {0u, 393u}; (void)cs393; static const cint_site cs394 = {0u, 394u}; (void)cs394; t0 = INT64_C(0); if (!cint_rt_call_enter(ctx, cs387)) goto fault; if (!ci_6_orbits_5_start(ctx, t0, &t1)) goto fault; cint_rt_call_leave(ctx); (void)t1; t2 = INT64_C(20000); if (!cint_rt_call_enter(ctx, cs388)) goto fault; if (!ci_6_orbits_7_advance(ctx, t2, &t3)) goto fault; cint_rt_call_leave(ctx); (void)t3; t4 = INT64_C(0); if (!(t4 >= 0 && t4 < INT64_C(3))) { (void)cint_index_check(ctx, cs389, "index.checked.u64", t4, INT64_C(3)); goto fault; } t5 = cg_st->g_digest[t4]; t6 = UINT64_C(15110298595637020077); t7 = t5 == t6; if (!t7 && !cint_rt_fault_assert(ctx, cs390, CINT_TAG_U64, (uint64_t)t5, (uint64_t)t6)) goto fault; t8 = INT64_C(1); if (!(t8 >= 0 && t8 < INT64_C(3))) { (void)cint_index_check(ctx, cs391, "index.checked.u64", t8, INT64_C(3)); goto fault; } t9 = cg_st->g_digest[t8]; t10 = UINT64_C(9072904302982474941); t11 = t9 == t10; if (!t11 && !cint_rt_fault_assert(ctx, cs392, CINT_TAG_U64, (uint64_t)t9, (uint64_t)t10)) goto fault; t12 = INT64_C(2); if (!(t12 >= 0 && t12 < INT64_C(3))) { (void)cint_index_check(ctx, cs393, "index.checked.u64", t12, INT64_C(3)); goto fault; } t13 = cg_st->g_digest[t12]; t14 = UINT64_C(13663343393609666067); t15 = t13 == t14; if (!t15 && !cint_rt_fault_assert(ctx, cs394, CINT_TAG_U64, (uint64_t)t13, (uint64_t)t14)) goto fault; return true; fault: return false; } static const uint32_t cg_6_orbits_t0[3] = {CINT_TAG_I64, 1u, CINT_TAG_I64}; static cint_status cg_6_orbits_o0(cint_ctx *ctx, int64_t fuel, int64_t depth, const uint64_t *args, uint64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_begin(ctx, (cint_site){0u, 235u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_6_orbits_5_start(ctx, (int64_t)cint_rt_sext(args[0], 64u), &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = (uint64_t)r; } return st; } static const uint32_t cg_6_orbits_t1[4] = {CINT_TAG_I64, 2u, CINT_TAG_I64, CINT_TAG_I64}; static cint_status cg_6_orbits_o1(cint_ctx *ctx, int64_t fuel, int64_t depth, const uint64_t *args, uint64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_begin(ctx, (cint_site){0u, 250u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_6_orbits_4_load(ctx, (int64_t)cint_rt_sext(args[0], 64u), (int64_t)cint_rt_sext(args[1], 64u), &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = (uint64_t)r; } return st; } static const uint32_t cg_6_orbits_t2[3] = {CINT_TAG_I64, 1u, CINT_TAG_I64}; static cint_status cg_6_orbits_o2(cint_ctx *ctx, int64_t fuel, int64_t depth, const uint64_t *args, uint64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_begin(ctx, (cint_site){0u, 257u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_6_orbits_4_read(ctx, (int64_t)cint_rt_sext(args[0], 64u), &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = (uint64_t)r; } return st; } static const uint32_t cg_6_orbits_t3[4] = {CINT_TAG_U64, 2u, CINT_TAG_I64, CINT_TAG_U64}; static cint_status cg_6_orbits_o3(cint_ctx *ctx, int64_t fuel, int64_t depth, const uint64_t *args, uint64_t *result) { cint_status st; bool ok; uint64_t r = 0; st = cint_rt_entry_begin(ctx, (cint_site){0u, 264u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_6_orbits_4_seed(ctx, (int64_t)cint_rt_sext(args[0], 64u), args[1], &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = (uint64_t)r; } return st; } static const uint32_t cg_6_orbits_t4[3] = {CINT_TAG_U64, 1u, CINT_TAG_I64}; static cint_status cg_6_orbits_o4(cint_ctx *ctx, int64_t fuel, int64_t depth, const uint64_t *args, uint64_t *result) { cint_status st; bool ok; uint64_t r = 0; st = cint_rt_entry_begin(ctx, (cint_site){0u, 266u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_6_orbits_12_digest_x5Fof(ctx, (int64_t)cint_rt_sext(args[0], 64u), &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = (uint64_t)r; } return st; } static const uint32_t cg_6_orbits_t5[3] = {CINT_TAG_I64, 1u, CINT_TAG_I64}; static cint_status cg_6_orbits_o5(cint_ctx *ctx, int64_t fuel, int64_t depth, const uint64_t *args, uint64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_begin(ctx, (cint_site){0u, 268u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_6_orbits_4_pull(ctx, (int64_t)cint_rt_sext(args[0], 64u), &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = (uint64_t)r; } return st; } static const uint32_t cg_6_orbits_t6[3] = {CINT_TAG_I64, 1u, CINT_TAG_I64}; static cint_status cg_6_orbits_o6(cint_ctx *ctx, int64_t fuel, int64_t depth, const uint64_t *args, uint64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_begin(ctx, (cint_site){0u, 269u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_6_orbits_7_advance(ctx, (int64_t)cint_rt_sext(args[0], 64u), &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = (uint64_t)r; } return st; } static const uint32_t cg_6_orbits_t7[2] = {CINT_TAG_I64, 0u}; static cint_status cg_6_orbits_o7(cint_ctx *ctx, int64_t fuel, int64_t depth, const uint64_t *args, uint64_t *result) { cint_status st; bool ok; int64_t r = 0; (void)args; st = cint_rt_entry_begin(ctx, (cint_site){0u, 272u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_6_orbits_4_flip(ctx, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = (uint64_t)r; } return st; } static const uint32_t cg_6_orbits_t8[3] = {CINT_TAG_I64, 1u, CINT_TAG_I64}; static cint_status cg_6_orbits_o8(cint_ctx *ctx, int64_t fuel, int64_t depth, const uint64_t *args, uint64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_begin(ctx, (cint_site){0u, 280u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_6_orbits_6_spread(ctx, (int64_t)cint_rt_sext(args[0], 64u), &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = (uint64_t)r; } return st; } static const uint32_t cg_6_orbits_t9[4] = {CINT_TAG_I64, 2u, CINT_TAG_I64, CINT_TAG_I64}; static cint_status cg_6_orbits_o9(cint_ctx *ctx, int64_t fuel, int64_t depth, const uint64_t *args, uint64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_begin(ctx, (cint_site){0u, 295u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_6_orbits_8_momentum(ctx, (int64_t)cint_rt_sext(args[0], 64u), (int64_t)cint_rt_sext(args[1], 64u), &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = (uint64_t)r; } return st; } CINT_RT_EXPORT cint_status cx_6_orbits_5_start(cint_ctx *ctx, int64_t fuel, int64_t p_preset, int64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_open(ctx, (cint_site){0u, 235u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } if (result == NULL) { (void)cint_rt_refuse(ctx, CINT_REFUSAL_RESULT); return cint_rt_entry_end(ctx); } if (!cint_fuel_charge(ctx, (cint_site){0u, 235u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_6_orbits_5_start(ctx, p_preset, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = r; } return st; } CINT_RT_EXPORT cint_status cx_6_orbits_4_load(cint_ctx *ctx, int64_t fuel, int64_t p_slot, int64_t p_value, int64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_open(ctx, (cint_site){0u, 250u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } if (result == NULL) { (void)cint_rt_refuse(ctx, CINT_REFUSAL_RESULT); return cint_rt_entry_end(ctx); } if (!cint_fuel_charge(ctx, (cint_site){0u, 250u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_6_orbits_4_load(ctx, p_slot, p_value, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = r; } return st; } CINT_RT_EXPORT cint_status cx_6_orbits_4_read(cint_ctx *ctx, int64_t fuel, int64_t p_slot, int64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_open(ctx, (cint_site){0u, 257u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } if (result == NULL) { (void)cint_rt_refuse(ctx, CINT_REFUSAL_RESULT); return cint_rt_entry_end(ctx); } if (!cint_fuel_charge(ctx, (cint_site){0u, 257u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_6_orbits_4_read(ctx, p_slot, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = r; } return st; } CINT_RT_EXPORT cint_status cx_6_orbits_4_seed(cint_ctx *ctx, int64_t fuel, int64_t p_c, uint64_t p_value, uint64_t *result) { cint_status st; bool ok; uint64_t r = 0; st = cint_rt_entry_open(ctx, (cint_site){0u, 264u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } if (result == NULL) { (void)cint_rt_refuse(ctx, CINT_REFUSAL_RESULT); return cint_rt_entry_end(ctx); } if (!cint_fuel_charge(ctx, (cint_site){0u, 264u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_6_orbits_4_seed(ctx, p_c, p_value, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = r; } return st; } CINT_RT_EXPORT cint_status cx_6_orbits_12_digest_x5Fof(cint_ctx *ctx, int64_t fuel, int64_t p_c, uint64_t *result) { cint_status st; bool ok; uint64_t r = 0; st = cint_rt_entry_open(ctx, (cint_site){0u, 266u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } if (result == NULL) { (void)cint_rt_refuse(ctx, CINT_REFUSAL_RESULT); return cint_rt_entry_end(ctx); } if (!cint_fuel_charge(ctx, (cint_site){0u, 266u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_6_orbits_12_digest_x5Fof(ctx, p_c, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = r; } return st; } CINT_RT_EXPORT cint_status cx_6_orbits_4_pull(cint_ctx *ctx, int64_t fuel, int64_t p_k, int64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_open(ctx, (cint_site){0u, 268u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } if (result == NULL) { (void)cint_rt_refuse(ctx, CINT_REFUSAL_RESULT); return cint_rt_entry_end(ctx); } if (!cint_fuel_charge(ctx, (cint_site){0u, 268u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_6_orbits_4_pull(ctx, p_k, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = r; } return st; } CINT_RT_EXPORT cint_status cx_6_orbits_7_advance(cint_ctx *ctx, int64_t fuel, int64_t p_ticks, int64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_open(ctx, (cint_site){0u, 269u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } if (result == NULL) { (void)cint_rt_refuse(ctx, CINT_REFUSAL_RESULT); return cint_rt_entry_end(ctx); } if (!cint_fuel_charge(ctx, (cint_site){0u, 269u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_6_orbits_7_advance(ctx, p_ticks, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = r; } return st; } CINT_RT_EXPORT cint_status cx_6_orbits_4_flip(cint_ctx *ctx, int64_t fuel, int64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_open(ctx, (cint_site){0u, 272u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } if (result == NULL) { (void)cint_rt_refuse(ctx, CINT_REFUSAL_RESULT); return cint_rt_entry_end(ctx); } if (!cint_fuel_charge(ctx, (cint_site){0u, 272u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_6_orbits_4_flip(ctx, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = r; } return st; } CINT_RT_EXPORT cint_status cx_6_orbits_6_spread(cint_ctx *ctx, int64_t fuel, int64_t p_c, int64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_open(ctx, (cint_site){0u, 280u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } if (result == NULL) { (void)cint_rt_refuse(ctx, CINT_REFUSAL_RESULT); return cint_rt_entry_end(ctx); } if (!cint_fuel_charge(ctx, (cint_site){0u, 280u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_6_orbits_6_spread(ctx, p_c, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = r; } return st; } CINT_RT_EXPORT cint_status cx_6_orbits_8_momentum(cint_ctx *ctx, int64_t fuel, int64_t p_c, int64_t p_axis, int64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_open(ctx, (cint_site){0u, 295u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } if (result == NULL) { (void)cint_rt_refuse(ctx, CINT_REFUSAL_RESULT); return cint_rt_entry_end(ctx); } if (!cint_fuel_charge(ctx, (cint_site){0u, 295u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_6_orbits_8_momentum(ctx, p_c, p_axis, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = r; } return st; } CINT_RT_INTERNAL const cint_observer_entry cg_6_orbits_obs[10] = { {0u, 5u, "start", cg_6_orbits_t0, cg_6_orbits_o0}, {0u, 4u, "load", cg_6_orbits_t1, cg_6_orbits_o1}, {0u, 4u, "read", cg_6_orbits_t2, cg_6_orbits_o2}, {0u, 4u, "seed", cg_6_orbits_t3, cg_6_orbits_o3}, {0u, 9u, "digest_of", cg_6_orbits_t4, cg_6_orbits_o4}, {0u, 4u, "pull", cg_6_orbits_t5, cg_6_orbits_o5}, {0u, 7u, "advance", cg_6_orbits_t6, cg_6_orbits_o6}, {0u, 4u, "flip", cg_6_orbits_t7, cg_6_orbits_o7}, {0u, 6u, "spread", cg_6_orbits_t8, cg_6_orbits_o8}, {0u, 8u, "momentum", cg_6_orbits_t9, cg_6_orbits_o9}, }; static const cint_name cg_6_orbits_xn0[1] = { {"preset", 6u, 0u}, }; static const uint8_t cg_6_orbits_xs0[] = { 0x1d, 0x00, 0x00, 0x00, 0x63, 0x69, 0x6e, 0x74, 0x2d, 0x63, 0x6f, 0x72, 0x65, 0x2d, 0x31, 0x2f, 0x74, 0x79, 0x70, 0x65, 0x2d, 0x73, 0x69, 0x67, 0x6e, 0x61, 0x74, 0x75, 0x72, 0x65, 0x2f, 0x76, 0x31, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x14, 0x14, }; static const cint_name cg_6_orbits_xn1[2] = { {"slot", 4u, 0u}, {"value", 5u, 0u}, }; static const uint8_t cg_6_orbits_xs1[] = { 0x1d, 0x00, 0x00, 0x00, 0x63, 0x69, 0x6e, 0x74, 0x2d, 0x63, 0x6f, 0x72, 0x65, 0x2d, 0x31, 0x2f, 0x74, 0x79, 0x70, 0x65, 0x2d, 0x73, 0x69, 0x67, 0x6e, 0x61, 0x74, 0x75, 0x72, 0x65, 0x2f, 0x76, 0x31, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x00, 0x14, 0x00, 0x14, 0x14, }; static const cint_name cg_6_orbits_xn2[1] = { {"slot", 4u, 0u}, }; static const uint8_t cg_6_orbits_xs2[] = { 0x1d, 0x00, 0x00, 0x00, 0x63, 0x69, 0x6e, 0x74, 0x2d, 0x63, 0x6f, 0x72, 0x65, 0x2d, 0x31, 0x2f, 0x74, 0x79, 0x70, 0x65, 0x2d, 0x73, 0x69, 0x67, 0x6e, 0x61, 0x74, 0x75, 0x72, 0x65, 0x2f, 0x76, 0x31, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x14, 0x14, }; static const cint_name cg_6_orbits_xn3[2] = { {"c", 1u, 0u}, {"value", 5u, 0u}, }; static const uint8_t cg_6_orbits_xs3[] = { 0x1d, 0x00, 0x00, 0x00, 0x63, 0x69, 0x6e, 0x74, 0x2d, 0x63, 0x6f, 0x72, 0x65, 0x2d, 0x31, 0x2f, 0x74, 0x79, 0x70, 0x65, 0x2d, 0x73, 0x69, 0x67, 0x6e, 0x61, 0x74, 0x75, 0x72, 0x65, 0x2f, 0x76, 0x31, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x00, 0x14, 0x00, 0x24, 0x24, }; static const cint_name cg_6_orbits_xn4[1] = { {"c", 1u, 0u}, }; static const uint8_t cg_6_orbits_xs4[] = { 0x1d, 0x00, 0x00, 0x00, 0x63, 0x69, 0x6e, 0x74, 0x2d, 0x63, 0x6f, 0x72, 0x65, 0x2d, 0x31, 0x2f, 0x74, 0x79, 0x70, 0x65, 0x2d, 0x73, 0x69, 0x67, 0x6e, 0x61, 0x74, 0x75, 0x72, 0x65, 0x2f, 0x76, 0x31, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x14, 0x24, }; static const cint_name cg_6_orbits_xn5[1] = { {"k", 1u, 0u}, }; static const uint8_t cg_6_orbits_xs5[] = { 0x1d, 0x00, 0x00, 0x00, 0x63, 0x69, 0x6e, 0x74, 0x2d, 0x63, 0x6f, 0x72, 0x65, 0x2d, 0x31, 0x2f, 0x74, 0x79, 0x70, 0x65, 0x2d, 0x73, 0x69, 0x67, 0x6e, 0x61, 0x74, 0x75, 0x72, 0x65, 0x2f, 0x76, 0x31, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x14, 0x14, }; static const cint_name cg_6_orbits_xn6[1] = { {"ticks", 5u, 0u}, }; static const uint8_t cg_6_orbits_xs6[] = { 0x1d, 0x00, 0x00, 0x00, 0x63, 0x69, 0x6e, 0x74, 0x2d, 0x63, 0x6f, 0x72, 0x65, 0x2d, 0x31, 0x2f, 0x74, 0x79, 0x70, 0x65, 0x2d, 0x73, 0x69, 0x67, 0x6e, 0x61, 0x74, 0x75, 0x72, 0x65, 0x2f, 0x76, 0x31, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x14, 0x14, }; static const uint8_t cg_6_orbits_xs7[] = { 0x1d, 0x00, 0x00, 0x00, 0x63, 0x69, 0x6e, 0x74, 0x2d, 0x63, 0x6f, 0x72, 0x65, 0x2d, 0x31, 0x2f, 0x74, 0x79, 0x70, 0x65, 0x2d, 0x73, 0x69, 0x67, 0x6e, 0x61, 0x74, 0x75, 0x72, 0x65, 0x2f, 0x76, 0x31, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x14, }; static const cint_name cg_6_orbits_xn8[1] = { {"c", 1u, 0u}, }; static const uint8_t cg_6_orbits_xs8[] = { 0x1d, 0x00, 0x00, 0x00, 0x63, 0x69, 0x6e, 0x74, 0x2d, 0x63, 0x6f, 0x72, 0x65, 0x2d, 0x31, 0x2f, 0x74, 0x79, 0x70, 0x65, 0x2d, 0x73, 0x69, 0x67, 0x6e, 0x61, 0x74, 0x75, 0x72, 0x65, 0x2f, 0x76, 0x31, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x14, 0x14, }; static const cint_name cg_6_orbits_xn9[2] = { {"c", 1u, 0u}, {"axis", 4u, 0u}, }; static const uint8_t cg_6_orbits_xs9[] = { 0x1d, 0x00, 0x00, 0x00, 0x63, 0x69, 0x6e, 0x74, 0x2d, 0x63, 0x6f, 0x72, 0x65, 0x2d, 0x31, 0x2f, 0x74, 0x79, 0x70, 0x65, 0x2d, 0x73, 0x69, 0x67, 0x6e, 0x61, 0x74, 0x75, 0x72, 0x65, 0x2f, 0x76, 0x31, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x00, 0x14, 0x00, 0x14, 0x14, }; static const cint_export cg_6_orbits_exports[10] = { {{"start", 5u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 1u, NULL, &cg_6_orbits_xn0[0], cg_6_orbits_xs0, (uint64_t)sizeof(cg_6_orbits_xs0), (cint_entry_fn)cx_6_orbits_5_start}, {{"load", 4u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 2u, NULL, &cg_6_orbits_xn1[0], cg_6_orbits_xs1, (uint64_t)sizeof(cg_6_orbits_xs1), (cint_entry_fn)cx_6_orbits_4_load}, {{"read", 4u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 1u, NULL, &cg_6_orbits_xn2[0], cg_6_orbits_xs2, (uint64_t)sizeof(cg_6_orbits_xs2), (cint_entry_fn)cx_6_orbits_4_read}, {{"seed", 4u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 2u, NULL, &cg_6_orbits_xn3[0], cg_6_orbits_xs3, (uint64_t)sizeof(cg_6_orbits_xs3), (cint_entry_fn)cx_6_orbits_4_seed}, {{"digest_of", 9u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 1u, NULL, &cg_6_orbits_xn4[0], cg_6_orbits_xs4, (uint64_t)sizeof(cg_6_orbits_xs4), (cint_entry_fn)cx_6_orbits_12_digest_x5Fof}, {{"pull", 4u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 1u, NULL, &cg_6_orbits_xn5[0], cg_6_orbits_xs5, (uint64_t)sizeof(cg_6_orbits_xs5), (cint_entry_fn)cx_6_orbits_4_pull}, {{"advance", 7u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 1u, NULL, &cg_6_orbits_xn6[0], cg_6_orbits_xs6, (uint64_t)sizeof(cg_6_orbits_xs6), (cint_entry_fn)cx_6_orbits_7_advance}, {{"flip", 4u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 0u, NULL, NULL, cg_6_orbits_xs7, (uint64_t)sizeof(cg_6_orbits_xs7), (cint_entry_fn)cx_6_orbits_4_flip}, {{"spread", 6u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 1u, NULL, &cg_6_orbits_xn8[0], cg_6_orbits_xs8, (uint64_t)sizeof(cg_6_orbits_xs8), (cint_entry_fn)cx_6_orbits_6_spread}, {{"momentum", 8u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 2u, NULL, &cg_6_orbits_xn9[0], cg_6_orbits_xs9, (uint64_t)sizeof(cg_6_orbits_xs9), (cint_entry_fn)cx_6_orbits_8_momentum}, }; CINT_RT_INTERNAL const cint_module_table cg_6_orbits_table = {&cm_6_orbits, 0u, 10u, cg_6_orbits_exports, NULL}; CINT_RT_INTERNAL cint_status cg_6_orbits_run(cint_ctx *ctx, int64_t fuel) { cint_status st = cint_rt_entry_begin(ctx, (cint_site){0u, 346u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } (void)ci_6_orbits_4_main(ctx); return cint_rt_entry_end(ctx); } CINT_RT_INTERNAL cint_status cg_6_orbits_test0(cint_ctx *ctx, int64_t fuel) { cint_status st = cint_rt_entry_begin(ctx, (cint_site){0u, 364u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } (void)cg_6_orbits_tb0(ctx); return cint_rt_entry_end(ctx); } CINT_RT_INTERNAL cint_status cg_6_orbits_test1(cint_ctx *ctx, int64_t fuel) { cint_status st = cint_rt_entry_begin(ctx, (cint_site){0u, 369u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } (void)cg_6_orbits_tb1(ctx); return cint_rt_entry_end(ctx); } CINT_RT_INTERNAL cint_status cg_6_orbits_test2(cint_ctx *ctx, int64_t fuel) { cint_status st = cint_rt_entry_begin(ctx, (cint_site){0u, 377u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } (void)cg_6_orbits_tb2(ctx); return cint_rt_entry_end(ctx); } CINT_RT_INTERNAL cint_status cg_6_orbits_test3(cint_ctx *ctx, int64_t fuel) { cint_status st = cint_rt_entry_begin(ctx, (cint_site){0u, 386u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } (void)cg_6_orbits_tb3(ctx); return cint_rt_entry_end(ctx); }