/* cint-core-1, cint-rt-3, emitted by cintc */ #include #include #include #include "cint_rt.h" #include "cint_wide.h" CINT_RT_INTERNAL const cint_site_info cg_5_chirp_sites[320] = { {0u, 0u, ""}, {61u, 12u, "muldiv.checked.i1024.i1024.half_even"}, {65u, 12u, "muldiv.checked.i1024.i1024.half_even"}, {69u, 20u, "mul.checked.i1024"}, {69u, 12u, "isqrt.checked.i1024"}, {77u, 5u, "fuel.charge"}, {78u, 15u, "mul.checked.i1024"}, {79u, 15u, "sub.checked.i1024"}, {81u, 5u, "fuel.charge"}, {82u, 15u, "div.checked.i1024"}, {83u, 15u, "add.checked.i1024"}, {86u, 22u, "sub.checked.i1024"}, {86u, 29u, "add.checked.i1024"}, {86u, 15u, "call.enter"}, {87u, 16u, "call.enter"}, {91u, 5u, "fuel.charge"}, {92u, 27u, "mul.checked.i64"}, {92u, 31u, "add.checked.i64"}, {92u, 36u, "as.checked.i64.i1024"}, {92u, 46u, "mul.checked.i1024"}, {93u, 25u, "call.enter"}, {93u, 23u, "add.checked.i1024"}, {94u, 16u, "call.enter"}, {97u, 14u, "mul.checked.i1024"}, {97u, 26u, "mul.checked.i1024"}, {97u, 22u, "add.checked.i1024"}, {102u, 17u, "rem.checked.i1024"}, {104u, 15u, "sub.checked.i1024"}, {105u, 20u, "neg.checked.i1024"}, {106u, 15u, "add.checked.i1024"}, {109u, 18u, "sub.checked.i1024"}, {110u, 20u, "neg.checked.i1024"}, {111u, 13u, "neg.checked.i1024"}, {111u, 19u, "sub.checked.i1024"}, {114u, 16u, "call.enter"}, {119u, 5u, "fuel.charge"}, {122u, 27u, "add.checked.i1024"}, {124u, 27u, "sub.checked.i1024"}, {126u, 15u, "neg.checked.i1024"}, {127u, 28u, "mul.checked.i64"}, {127u, 32u, "add.checked.i64"}, {127u, 42u, "mul.checked.i64"}, {127u, 46u, "add.checked.i64"}, {127u, 37u, "mul.checked.i64"}, {127u, 52u, "as.checked.i64.i1024"}, {127u, 62u, "mul.checked.i1024"}, {128u, 21u, "call.enter"}, {128u, 16u, "call.enter"}, {134u, 19u, "add.checked.i1024"}, {134u, 12u, "call.enter"}, {139u, 16u, "call.enter"}, {140u, 16u, "call.enter"}, {141u, 16u, "call.enter"}, {142u, 16u, "call.enter"}, {143u, 16u, "call.enter"}, {144u, 16u, "call.enter"}, {145u, 16u, "call.enter"}, {147u, 25u, "mul.checked.i1024"}, {147u, 19u, "call.enter"}, {148u, 34u, "call.enter"}, {148u, 32u, "add.checked.i1024"}, {150u, 19u, "call.enter"}, {150u, 17u, "add.checked.i1024"}, {150u, 36u, "call.enter"}, {150u, 34u, "add.checked.i1024"}, {150u, 53u, "call.enter"}, {150u, 51u, "add.checked.i1024"}, {150u, 70u, "call.enter"}, {150u, 68u, "add.checked.i1024"}, {150u, 87u, "call.enter"}, {150u, 85u, "add.checked.i1024"}, {150u, 107u, "call.enter"}, {150u, 105u, "add.checked.i1024"}, {151u, 18u, "call.enter"}, {152u, 30u, "mul.checked.i1024"}, {152u, 34u, "div.checked.i1024"}, {152u, 23u, "call.enter"}, {153u, 12u, "call.enter"}, {157u, 33u, "index.checked.i1024"}, {158u, 5u, "fuel.charge"}, {159u, 26u, "index.checked.i1024"}, {160u, 30u, "index.checked.i1024"}, {161u, 26u, "index.checked.i1024"}, {162u, 30u, "index.checked.i1024"}, {163u, 30u, "index.checked.i64"}, {167u, 29u, "call.enter"}, {167u, 24u, "call.enter"}, {168u, 30u, "add.checked.i1024"}, {172u, 27u, "index.checked.i64"}, {173u, 23u, "call.enter"}, {177u, 37u, "call.enter"}, {177u, 24u, "call.enter"}, {178u, 27u, "call.enter"}, {182u, 34u, "sub.checked.i1024"}, {183u, 60u, "as.checked.i64.i1024"}, {183u, 70u, "mul.checked.i1024"}, {183u, 81u, "mul.checked.i1024"}, {183u, 32u, "muldiv.checked.i1024.i1024.half_even"}, {184u, 31u, "sub.checked.i1024"}, {187u, 36u, "call.enter"}, {187u, 34u, "add.checked.i1024"}, {188u, 31u, "call.enter"}, {188u, 23u, "call.enter"}, {189u, 19u, "call.enter"}, {191u, 20u, "index.checked.i1024"}, {192u, 22u, "index.checked.i1024"}, {193u, 20u, "index.checked.i1024"}, {194u, 22u, "index.checked.i1024"}, {195u, 21u, "index.checked.i1024"}, {195u, 44u, "mul.checked.i1024"}, {195u, 37u, "call.enter"}, {195u, 27u, "call.enter"}, {196u, 21u, "index.checked.i1024"}, {196u, 44u, "mul.checked.i1024"}, {196u, 37u, "call.enter"}, {196u, 27u, "call.enter"}, {197u, 20u, "index.checked.i1024"}, {197u, 26u, "call.enter"}, {200u, 30u, "call.enter"}, {201u, 36u, "call.enter"}, {201u, 34u, "add.checked.i1024"}, {202u, 35u, "index.checked.i1024"}, {202u, 44u, "mul.checked.i1024"}, {202u, 48u, "div.checked.i1024"}, {202u, 39u, "add.checked.i1024"}, {202u, 56u, "mul.checked.i1024"}, {202u, 23u, "call.enter"}, {204u, 22u, "index.checked.i1024"}, {205u, 22u, "index.checked.i1024"}, {206u, 20u, "index.checked.i1024"}, {207u, 21u, "index.checked.i1024"}, {207u, 49u, "mul.checked.i1024"}, {207u, 42u, "call.enter"}, {207u, 27u, "call.enter"}, {208u, 21u, "index.checked.i1024"}, {208u, 49u, "mul.checked.i1024"}, {208u, 42u, "call.enter"}, {208u, 27u, "call.enter"}, {209u, 20u, "index.checked.i1024"}, {209u, 26u, "call.enter"}, {213u, 28u, "index.checked.i1024"}, {214u, 38u, "index.checked.i1024"}, {215u, 28u, "div.checked.i1024"}, {216u, 38u, "call.enter"}, {216u, 25u, "call.enter"}, {217u, 38u, "call.enter"}, {217u, 25u, "call.enter"}, {219u, 27u, "div.checked.i1024"}, {219u, 38u, "as.checked.i1024.i64"}, {220u, 27u, "div.checked.i1024"}, {220u, 38u, "as.checked.i1024.i64"}, {222u, 18u, "mul.checked.i64"}, {222u, 15u, "index.checked.i64"}, {223u, 18u, "mul.checked.i64"}, {223u, 15u, "index.checked.i64"}, {224u, 18u, "mul.checked.i64"}, {224u, 22u, "add.checked.i64"}, {224u, 15u, "index.checked.i64"}, {224u, 29u, "neg.checked.i64"}, {225u, 18u, "mul.checked.i64"}, {225u, 22u, "add.checked.i64"}, {225u, 15u, "index.checked.i64"}, {225u, 29u, "neg.checked.i64"}, {228u, 32u, "index.checked.i1024"}, {228u, 36u, "div.checked.i1024"}, {228u, 47u, "as.checked.i1024.i64"}, {229u, 36u, "index.checked.i1024"}, {229u, 40u, "div.checked.i1024"}, {229u, 51u, "as.checked.i1024.i64"}, {230u, 34u, "index.checked.i1024"}, {230u, 38u, "div.checked.i1024"}, {230u, 49u, "as.checked.i1024.i64"}, {231u, 34u, "index.checked.i1024"}, {231u, 38u, "div.checked.i1024"}, {231u, 49u, "as.checked.i1024.i64"}, {232u, 35u, "index.checked.i1024"}, {232u, 39u, "shr.checked.i1024"}, {233u, 35u, "index.checked.i1024"}, {233u, 39u, "shr.checked.i1024"}, {235u, 29u, "index.checked.u64"}, {242u, 21u, "index.checked.u64"}, {246u, 12u, "fuel.charge"}, {247u, 18u, "mul.checked.i1024"}, {247u, 22u, "div.checked.i1024"}, {249u, 17u, "mul.checked.i1024"}, {249u, 21u, "div.checked.i1024"}, {251u, 17u, "mul.checked.i1024"}, {251u, 21u, "div.checked.i1024"}, {254u, 5u, "fuel.charge"}, {255u, 16u, "index.checked.i1024"}, {256u, 18u, "index.checked.i1024"}, {257u, 16u, "index.checked.i1024"}, {258u, 18u, "index.checked.i1024"}, {258u, 24u, "call.enter"}, {259u, 19u, "index.checked.i64"}, {260u, 21u, "index.checked.u64"}, {264u, 12u, "index.checked.i1024"}, {264u, 20u, "add.checked.i1024"}, {265u, 12u, "index.checked.i1024"}, {265u, 20u, "add.checked.i1024"}, {267u, 5u, "fuel.charge"}, {268u, 31u, "index.checked.i1024"}, {268u, 36u, "call.enter"}, {268u, 19u, "call.enter"}, {269u, 16u, "index.checked.i1024"}, {270u, 17u, "index.checked.i1024"}, {270u, 32u, "index.checked.i1024"}, {271u, 17u, "index.checked.i1024"}, {272u, 16u, "index.checked.i1024"}, {272u, 36u, "call.enter"}, {272u, 27u, "call.enter"}, {272u, 22u, "call.enter"}, {274u, 26u, "div.checked.i1024"}, {275u, 26u, "div.checked.i1024"}, {275u, 37u, "as.checked.i1024.i64"}, {276u, 18u, "mul.checked.i64"}, {276u, 15u, "index.checked.i64"}, {277u, 18u, "mul.checked.i64"}, {277u, 15u, "index.checked.i64"}, {278u, 18u, "mul.checked.i64"}, {278u, 22u, "add.checked.i64"}, {278u, 15u, "index.checked.i64"}, {278u, 29u, "neg.checked.i64"}, {279u, 18u, "mul.checked.i64"}, {279u, 22u, "add.checked.i64"}, {279u, 15u, "index.checked.i64"}, {286u, 12u, "fuel.charge"}, {287u, 5u, "fuel.charge"}, {288u, 9u, "call.enter"}, {293u, 12u, "fuel.charge"}, {298u, 12u, "fuel.charge"}, {299u, 38u, "mul.checked.i64"}, {299u, 35u, "index.checked.i64"}, {300u, 38u, "mul.checked.i64"}, {300u, 35u, "index.checked.i64"}, {301u, 38u, "mul.checked.i64"}, {301u, 42u, "add.checked.i64"}, {301u, 35u, "index.checked.i64"}, {302u, 38u, "mul.checked.i64"}, {302u, 42u, "add.checked.i64"}, {302u, 35u, "index.checked.i64"}, {303u, 37u, "index.checked.i1024"}, {303u, 41u, "div.checked.i1024"}, {303u, 52u, "as.checked.i1024.i64"}, {304u, 37u, "index.checked.i1024"}, {304u, 41u, "div.checked.i1024"}, {304u, 52u, "as.checked.i1024.i64"}, {305u, 39u, "index.checked.i1024"}, {305u, 43u, "div.checked.i1024"}, {305u, 54u, "as.checked.i1024.i64"}, {306u, 37u, "index.checked.i1024"}, {306u, 41u, "div.checked.i1024"}, {306u, 52u, "as.checked.i1024.i64"}, {307u, 38u, "index.checked.i1024"}, {307u, 42u, "div.checked.i1024"}, {307u, 53u, "as.checked.i1024.i64"}, {308u, 38u, "index.checked.i1024"}, {308u, 42u, "div.checked.i1024"}, {308u, 53u, "as.checked.i1024.i64"}, {309u, 40u, "index.checked.i64"}, {310u, 40u, "index.checked.i1024"}, {310u, 44u, "div.checked.i1024"}, {310u, 55u, "as.checked.i1024.i64"}, {311u, 41u, "index.checked.i1024"}, {311u, 56u, "index.checked.i1024"}, {311u, 45u, "sub.checked.i1024"}, {311u, 61u, "div.checked.i1024"}, {311u, 72u, "as.checked.i1024.i64"}, {315u, 12u, "fuel.charge"}, {316u, 24u, "index.checked.u64"}, {374u, 6u, "fuel.charge"}, {375u, 9u, "call.enter"}, {376u, 9u, "call.enter"}, {377u, 14u, "call.enter"}, {378u, 14u, "call.enter"}, {379u, 14u, "call.enter"}, {380u, 5u, "print"}, {323u, 1u, "fuel.charge"}, {324u, 20u, "mul.checked.i1024"}, {324u, 24u, "div.checked.i1024"}, {325u, 16u, "call.enter"}, {328u, 21u, "sub.checked.i1024"}, {329u, 28u, "neg.checked.i1024"}, {331u, 12u, "assert.checked.bool"}, {334u, 1u, "fuel.charge"}, {335u, 18u, "div.checked.i1024"}, {336u, 18u, "mul.checked.i1024"}, {336u, 22u, "div.checked.i1024"}, {337u, 18u, "call.enter"}, {338u, 18u, "call.enter"}, {340u, 22u, "mul.checked.i1024"}, {340u, 12u, "assert.checked.bool"}, {343u, 1u, "fuel.charge"}, {344u, 9u, "call.enter"}, {346u, 22u, "index.checked.i64"}, {346u, 12u, "assert.checked.bool"}, {348u, 9u, "call.enter"}, {350u, 22u, "index.checked.i64"}, {350u, 12u, "assert.checked.bool"}, {352u, 22u, "mul.checked.i1024"}, {353u, 19u, "index.checked.i1024"}, {353u, 12u, "assert.checked.bool"}, {356u, 1u, "fuel.charge"}, {357u, 9u, "call.enter"}, {358u, 9u, "call.enter"}, {359u, 9u, "call.enter"}, {361u, 29u, "index.checked.i1024"}, {361u, 44u, "index.checked.i1024"}, {361u, 33u, "sub.checked.i1024"}, {362u, 32u, "neg.checked.i1024"}, {363u, 12u, "assert.checked.bool"}, {366u, 1u, "fuel.charge"}, {367u, 9u, "call.enter"}, {368u, 9u, "call.enter"}, {369u, 12u, "call.enter"}, {369u, 12u, "assert.checked.bool"}, {370u, 12u, "call.enter"}, {370u, 12u, "assert.checked.bool"}, {371u, 12u, "call.enter"}, {371u, 12u, "assert.checked.bool"}, }; CINT_RT_INTERNAL const cint_module cg_5_chirp_module = {"chirp.ci", 8u, 320u, cg_5_chirp_sites}; CINT_RT_INTERNAL extern const cint_program cg_program; CINT_RT_EXPORT const cint_module_info cm_5_chirp = {CINT_ABI_VERSION, 0u, &cg_program, NULL}; typedef struct cg_5_chirp_state { cint_i1024 g_v_state[3]; cint_i1024 g_phi_state[3]; cint_i1024 g_r_state[3]; cint_i1024 g_hp_state[3]; cint_i1024 g_hx_state[3]; cint_i1024 g_f_state[3]; cint_i1024 g_m_state[3]; cint_i1024 g_amp_state[3]; int64_t g_mode_state[3]; uint64_t g_digest_state[3]; int64_t g_body_x[6]; int64_t g_body_y[6]; int64_t g_tether; } cg_5_chirp_state; static const cg_5_chirp_state cg_5_chirp_state_init = {{{{0}}}, {{{0}}}, {{{0}}}, {{{0}}}, {{{0}}}, {{{0}}}, {{{0}}}, {{{0}}}, {0}, {0}, {0}, {0}, INT64_C(0)}; static const int64_t cg_5_chirp_state_ext[] = {INT64_C(3), INT64_C(3), INT64_C(3), INT64_C(3), INT64_C(3), INT64_C(3), INT64_C(3), INT64_C(3), INT64_C(3), INT64_C(3), INT64_C(6), INT64_C(6)}; static const cint_state_var cg_5_chirp_state_vars[13] = { {"v_state", 7u, 0x18u, (uint32_t)offsetof(cg_5_chirp_state, g_v_state), 1u, &cg_5_chirp_state_ext[0], NULL}, {"phi_state", 9u, 0x18u, (uint32_t)offsetof(cg_5_chirp_state, g_phi_state), 1u, &cg_5_chirp_state_ext[1], NULL}, {"r_state", 7u, 0x18u, (uint32_t)offsetof(cg_5_chirp_state, g_r_state), 1u, &cg_5_chirp_state_ext[2], NULL}, {"hp_state", 8u, 0x18u, (uint32_t)offsetof(cg_5_chirp_state, g_hp_state), 1u, &cg_5_chirp_state_ext[3], NULL}, {"hx_state", 8u, 0x18u, (uint32_t)offsetof(cg_5_chirp_state, g_hx_state), 1u, &cg_5_chirp_state_ext[4], NULL}, {"f_state", 7u, 0x18u, (uint32_t)offsetof(cg_5_chirp_state, g_f_state), 1u, &cg_5_chirp_state_ext[5], NULL}, {"m_state", 7u, 0x18u, (uint32_t)offsetof(cg_5_chirp_state, g_m_state), 1u, &cg_5_chirp_state_ext[6], NULL}, {"amp_state", 9u, 0x18u, (uint32_t)offsetof(cg_5_chirp_state, g_amp_state), 1u, &cg_5_chirp_state_ext[7], NULL}, {"mode_state", 10u, 0x14u, (uint32_t)offsetof(cg_5_chirp_state, g_mode_state), 1u, &cg_5_chirp_state_ext[8], NULL}, {"digest_state", 12u, 0x24u, (uint32_t)offsetof(cg_5_chirp_state, g_digest_state), 1u, &cg_5_chirp_state_ext[9], NULL}, {"body_x", 6u, 0x14u, (uint32_t)offsetof(cg_5_chirp_state, g_body_x), 1u, &cg_5_chirp_state_ext[10], NULL}, {"body_y", 6u, 0x14u, (uint32_t)offsetof(cg_5_chirp_state, g_body_y), 1u, &cg_5_chirp_state_ext[11], NULL}, {"tether", 6u, 0x14u, (uint32_t)offsetof(cg_5_chirp_state, g_tether), 0u, NULL, NULL}, }; CINT_RT_INTERNAL const cint_state cg_5_chirp_state_desc = {0u, 13u, (uint32_t)sizeof(cg_5_chirp_state), 0u, &cg_5_chirp_state_init, cg_5_chirp_state_vars}; static bool ci_5_chirp_4_qmul(cint_ctx *ctx, cint_i1024 v_a, cint_i1024 v_b, cint_i1024 *result); static bool ci_5_chirp_4_qdiv(cint_ctx *ctx, cint_i1024 v_a, cint_i1024 v_b, cint_i1024 *result); static bool ci_5_chirp_3_qln(cint_ctx *ctx, cint_i1024 v_u_in, cint_i1024 *result); static bool ci_5_chirp_4_qsin(cint_ctx *ctx, cint_i1024 v_x, cint_i1024 *result); static bool ci_5_chirp_4_qcos(cint_ctx *ctx, cint_i1024 v_x, cint_i1024 *result); static bool ci_5_chirp_20_taylor_x5Ft4_x5Fdvdt(cint_ctx *ctx, cint_i1024 v_v, cint_i1024 v_m, cint_i1024 *result); static bool ci_5_chirp_4_step(cint_ctx *ctx); static bool ci_5_chirp_5_start(cint_ctx *ctx, int64_t v_preset, int64_t *result); static bool ci_5_chirp_7_advance(cint_ctx *ctx, int64_t v_ticks, int64_t *result); static bool ci_5_chirp_4_pull(cint_ctx *ctx, int64_t v_k, int64_t *result); static bool ci_5_chirp_12_read_x5Fslot(cint_ctx *ctx, int64_t v_c, int64_t v_slot, int64_t *result); static bool ci_5_chirp_12_digest_x5Fof(cint_ctx *ctx, int64_t v_c, uint64_t *result); static bool ci_5_chirp_4_main(cint_ctx *ctx); static bool cg_5_chirp_tb0(cint_ctx *ctx); static bool cg_5_chirp_tb1(cint_ctx *ctx); static bool cg_5_chirp_tb2(cint_ctx *ctx); static bool cg_5_chirp_tb3(cint_ctx *ctx); static bool cg_5_chirp_tb4(cint_ctx *ctx); static bool ci_5_chirp_4_qmul(cint_ctx *ctx, cint_i1024 v_a, cint_i1024 v_b, cint_i1024 *result) { cint_i1024 t0 = {0}; cint_i1024 t1 = {0}; (void)ctx; (void)v_a; (void)v_b; (void)result; static const cint_site cs1 = {0u, 1u}; (void)cs1; t0 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_muldiv_i1024(ctx, cs1, CINT_TAG_I1024, 5u, &v_a, &v_b, &t0, &t1)) goto fault; *result = t1; return true; fault: return false; } static bool ci_5_chirp_4_qdiv(cint_ctx *ctx, cint_i1024 v_a, cint_i1024 v_b, cint_i1024 *result) { cint_i1024 t0 = {0}; cint_i1024 t1 = {0}; (void)ctx; (void)v_a; (void)v_b; (void)result; static const cint_site cs2 = {0u, 2u}; (void)cs2; t0 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_muldiv_i1024(ctx, cs2, CINT_TAG_I1024, 5u, &v_a, &t0, &v_b, &t1)) goto fault; *result = t1; return true; fault: return false; } static bool ci_5_chirp_3_qln(cint_ctx *ctx, cint_i1024 v_u_in, cint_i1024 *result) { cint_i1024 t0 = {0}; cint_i1024 t1 = {0}; cint_i1024 t2 = {0}; bool t3 = false; cint_i1024 t4 = {0}; cint_i1024 t5 = {0}; cint_i1024 t6 = {0}; cint_i1024 t7 = {0}; cint_i1024 t8 = {0}; cint_i1024 t9 = {0}; cint_i1024 t10 = {0}; cint_i1024 t11 = {0}; bool t12 = false; cint_i1024 t13 = {0}; cint_i1024 t14 = {0}; cint_i1024 t15 = {0}; cint_i1024 t16 = {0}; cint_i1024 t17 = {0}; cint_i1024 t18 = {0}; cint_i1024 t19 = {0}; cint_i1024 t20 = {0}; cint_i1024 t21 = {0}; cint_i1024 t22 = {0}; cint_i1024 t23 = {0}; cint_i1024 t24 = {0}; cint_i1024 t25 = {0}; cint_i1024 t26 = {0}; cint_i1024 t27 = {0}; cint_i1024 t28 = {0}; cint_i1024 t29 = {0}; cint_i1024 t30 = {0}; int64_t t31 = 0; int64_t t32 = 0; int64_t t33 = 0; bool t34 = false; int64_t t35 = 0; int64_t t36 = 0; int64_t t37 = 0; int64_t t38 = 0; int64_t t39 = 0; cint_i1024 t40 = {0}; cint_i1024 t41 = {0}; cint_i1024 t42 = {0}; cint_i1024 t43 = {0}; cint_i1024 t44 = {0}; cint_i1024 t45 = {0}; cint_i1024 t46 = {0}; cint_i1024 t47 = {0}; cint_i1024 t48 = {0}; cint_i1024 t49 = {0}; cint_i1024 t50 = {0}; int64_t t51 = 0; int64_t t52 = 0; int64_t t53 = 0; cint_i1024 t54 = {0}; cint_i1024 t55 = {0}; cint_i1024 t56 = {0}; cint_i1024 t57 = {0}; cint_i1024 t58 = {0}; cint_i1024 t59 = {0}; cint_i1024 t60 = {0}; cint_i1024 l0_u = {0}; cint_i1024 l1_p = {0}; cint_i1024 l2_z = {0}; cint_i1024 l3_z2 = {0}; cint_i1024 l4_term = {0}; cint_i1024 l5_total = {0}; int64_t l6_k = 0; cint_i1024 l7_denom = {0}; (void)ctx; (void)v_u_in; (void)l0_u; (void)l1_p; (void)l2_z; (void)l3_z2; (void)l4_term; (void)l5_total; (void)l6_k; (void)l7_denom; (void)result; 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; 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; l0_u = v_u_in; t0 = (cint_i1024){{0}}; l1_p = t0; L5_h:; t1 = l0_u; t2 = (cint_i1024){{UINT64_C(0xabbe106fd899cf34), UINT64_C(0x66bc23bf51481d99), UINT64_C(0xa60b4305b4afe69d), UINT64_C(0x0000000000000070), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t3 = cint_lt_i1024(&t1, &t2); if (!t3) goto L5_e; if (!cint_fuel_charge(ctx, cs5, 1u)) goto fault; t4 = l0_u; t5 = (cint_i1024){{UINT64_C(0x0000000000000002), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_mul_i1024(ctx, cs6, &t4, &t5, &t6)) goto fault; l0_u = t6; t7 = l1_p; t8 = (cint_i1024){{UINT64_C(0x0000000000000001), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_sub_i1024(ctx, cs7, &t7, &t8, &t9)) goto fault; l1_p = t9; goto L5_h; L5_e:; L21_h:; t10 = l0_u; t11 = (cint_i1024){{UINT64_C(0x577c20dfb1339e68), UINT64_C(0xcd78477ea2903b33), UINT64_C(0x4c16860b695fcd3a), UINT64_C(0x00000000000000e1), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t12 = cint_gt_i1024(&t10, &t11); if (!t12) goto L21_e; if (!cint_fuel_charge(ctx, cs8, 1u)) goto fault; t13 = l0_u; t14 = (cint_i1024){{UINT64_C(0x0000000000000002), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs9, &t13, &t14, &t15)) goto fault; l0_u = t15; t16 = l1_p; t17 = (cint_i1024){{UINT64_C(0x0000000000000001), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_add_i1024(ctx, cs10, &t16, &t17, &t18)) goto fault; l1_p = t18; goto L21_h; L21_e:; t19 = l0_u; t20 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_sub_i1024(ctx, cs11, &t19, &t20, &t21)) goto fault; t22 = l0_u; t23 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_add_i1024(ctx, cs12, &t22, &t23, &t24)) goto fault; if (!cint_rt_call_enter(ctx, cs13)) goto fault; if (!ci_5_chirp_4_qdiv(ctx, t21, t24, &t25)) goto fault; cint_rt_call_leave(ctx); l2_z = t25; t26 = l2_z; t27 = l2_z; if (!cint_rt_call_enter(ctx, cs14)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t26, t27, &t28)) goto fault; cint_rt_call_leave(ctx); l3_z2 = t28; t29 = l2_z; l4_term = t29; t30 = (cint_i1024){{0}}; l5_total = t30; t31 = INT64_C(0); t32 = INT64_C(45); l6_k = t31; L65_h:; t33 = l6_k; t34 = t33 < t32; if (!t34) goto L65_e; if (!cint_fuel_charge(ctx, cs15, 1u)) goto fault; t35 = INT64_C(2); t36 = l6_k; if (!cint_mul_i64(ctx, cs16, t35, t36, &t37)) goto fault; t38 = INT64_C(1); if (!cint_add_i64(ctx, cs17, t37, t38, &t39)) goto fault; if (!cint_as_i1024_from_i64(ctx, cs18, t39, &t40)) goto fault; t41 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_mul_i1024(ctx, cs19, &t40, &t41, &t42)) goto fault; l7_denom = t42; t43 = l5_total; t44 = l4_term; t45 = l7_denom; if (!cint_rt_call_enter(ctx, cs20)) goto fault; if (!ci_5_chirp_4_qdiv(ctx, t44, t45, &t46)) goto fault; cint_rt_call_leave(ctx); if (!cint_add_i1024(ctx, cs21, &t43, &t46, &t47)) goto fault; l5_total = t47; t48 = l4_term; t49 = l3_z2; if (!cint_rt_call_enter(ctx, cs22)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t48, t49, &t50)) goto fault; cint_rt_call_leave(ctx); l4_term = t50; t51 = l6_k; t52 = INT64_C(1); t53 = cint_add_wrap_i64(t51, t52); l6_k = t53; goto L65_h; L65_e:; t54 = (cint_i1024){{UINT64_C(0x0000000000000002), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t55 = l5_total; if (!cint_mul_i1024(ctx, cs23, &t54, &t55, &t56)) goto fault; t57 = l1_p; t58 = (cint_i1024){{UINT64_C(0xa5d67eb9168a48e8), UINT64_C(0xe0ec7dde85fdff29), UINT64_C(0x6cba3b19bc01e2a9), UINT64_C(0x000000000000006e), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_mul_i1024(ctx, cs24, &t57, &t58, &t59)) goto fault; if (!cint_add_i1024(ctx, cs25, &t56, &t59, &t60)) goto fault; *result = t60; return true; fault: return false; } static bool ci_5_chirp_4_qsin(cint_ctx *ctx, cint_i1024 v_x, cint_i1024 *result) { cint_i1024 t0 = {0}; cint_i1024 t1 = {0}; cint_i1024 t2 = {0}; cint_i1024 t3 = {0}; bool t4 = false; cint_i1024 t5 = {0}; cint_i1024 t6 = {0}; cint_i1024 t7 = {0}; cint_i1024 t8 = {0}; cint_i1024 t9 = {0}; cint_i1024 t10 = {0}; bool t11 = false; cint_i1024 t12 = {0}; cint_i1024 t13 = {0}; cint_i1024 t14 = {0}; cint_i1024 t15 = {0}; cint_i1024 t16 = {0}; bool t17 = false; cint_i1024 t18 = {0}; cint_i1024 t19 = {0}; cint_i1024 t20 = {0}; cint_i1024 t21 = {0}; cint_i1024 t22 = {0}; cint_i1024 t23 = {0}; bool t24 = false; cint_i1024 t25 = {0}; cint_i1024 t26 = {0}; cint_i1024 t27 = {0}; cint_i1024 t28 = {0}; cint_i1024 t29 = {0}; cint_i1024 t30 = {0}; cint_i1024 t31 = {0}; cint_i1024 t32 = {0}; cint_i1024 t33 = {0}; cint_i1024 t34 = {0}; int64_t t35 = 0; int64_t t36 = 0; int64_t t37 = 0; bool t38 = false; cint_i1024 t39 = {0}; cint_i1024 t40 = {0}; cint_i1024 t41 = {0}; bool t42 = false; cint_i1024 t43 = {0}; cint_i1024 t44 = {0}; cint_i1024 t45 = {0}; cint_i1024 t46 = {0}; cint_i1024 t47 = {0}; cint_i1024 t48 = {0}; cint_i1024 t49 = {0}; cint_i1024 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; cint_i1024 t62 = {0}; cint_i1024 t63 = {0}; cint_i1024 t64 = {0}; cint_i1024 t65 = {0}; cint_i1024 t66 = {0}; cint_i1024 t67 = {0}; cint_i1024 t68 = {0}; cint_i1024 t69 = {0}; int64_t t70 = 0; int64_t t71 = 0; int64_t t72 = 0; cint_i1024 t73 = {0}; cint_i1024 l0_v = {0}; cint_i1024 l1_v2 = {0}; cint_i1024 l2_term = {0}; cint_i1024 l3_total = {0}; cint_i1024 l4_sgn = {0}; int64_t l5_k = 0; cint_i1024 l6_term_val = {0}; cint_i1024 l7_denom = {0}; (void)ctx; (void)v_x; (void)l0_v; (void)l1_v2; (void)l2_term; (void)l3_total; (void)l4_sgn; (void)l5_k; (void)l6_term_val; (void)l7_denom; (void)result; 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; 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; t0 = (cint_i1024){{UINT64_C(0xa17e0bb2d177bec1), UINT64_C(0x68017220b0a46fbd), UINT64_C(0xf81b73ffd811981f), UINT64_C(0x00000000000003e8), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_rem_i1024(ctx, cs26, &v_x, &t0, &t1)) goto fault; l0_v = t1; t2 = l0_v; t3 = (cint_i1024){{UINT64_C(0xd0bf05d968bbdf61), UINT64_C(0xb400b910585237de), UINT64_C(0x7c0db9ffec08cc0f), UINT64_C(0x00000000000001f4), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t4 = cint_gt_i1024(&t2, &t3); if (!t4) goto L9_f; t5 = l0_v; t6 = (cint_i1024){{UINT64_C(0xa17e0bb2d177bec1), UINT64_C(0x68017220b0a46fbd), UINT64_C(0xf81b73ffd811981f), UINT64_C(0x00000000000003e8), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_sub_i1024(ctx, cs27, &t5, &t6, &t7)) goto fault; l0_v = t7; goto L4_e; L9_f:; t8 = l0_v; t9 = (cint_i1024){{UINT64_C(0xd0bf05d968bbdf61), UINT64_C(0xb400b910585237de), UINT64_C(0x7c0db9ffec08cc0f), UINT64_C(0x00000000000001f4), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_neg_i1024(ctx, cs28, &t9, &t10)) goto fault; t11 = cint_lt_i1024(&t8, &t10); if (!t11) goto L20_f; t12 = l0_v; t13 = (cint_i1024){{UINT64_C(0xa17e0bb2d177bec1), UINT64_C(0x68017220b0a46fbd), UINT64_C(0xf81b73ffd811981f), UINT64_C(0x00000000000003e8), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_add_i1024(ctx, cs29, &t12, &t13, &t14)) goto fault; l0_v = t14; goto L4_e; L20_f:; L4_e:; t15 = l0_v; t16 = (cint_i1024){{UINT64_C(0x685f82ecb45defb0), UINT64_C(0xda005c882c291bef), UINT64_C(0x3e06dcfff6046607), UINT64_C(0x00000000000000fa), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t17 = cint_gt_i1024(&t15, &t16); if (!t17) goto L32_f; t18 = (cint_i1024){{UINT64_C(0xd0bf05d968bbdf61), UINT64_C(0xb400b910585237de), UINT64_C(0x7c0db9ffec08cc0f), UINT64_C(0x00000000000001f4), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t19 = l0_v; if (!cint_sub_i1024(ctx, cs30, &t18, &t19, &t20)) goto fault; l0_v = t20; goto L27_e; L32_f:; t21 = l0_v; t22 = (cint_i1024){{UINT64_C(0x685f82ecb45defb0), UINT64_C(0xda005c882c291bef), UINT64_C(0x3e06dcfff6046607), UINT64_C(0x00000000000000fa), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_neg_i1024(ctx, cs31, &t22, &t23)) goto fault; t24 = cint_lt_i1024(&t21, &t23); if (!t24) goto L43_f; t25 = (cint_i1024){{UINT64_C(0xd0bf05d968bbdf61), UINT64_C(0xb400b910585237de), UINT64_C(0x7c0db9ffec08cc0f), UINT64_C(0x00000000000001f4), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_neg_i1024(ctx, cs32, &t25, &t26)) goto fault; t27 = l0_v; if (!cint_sub_i1024(ctx, cs33, &t26, &t27, &t28)) goto fault; l0_v = t28; goto L27_e; L43_f:; L27_e:; t29 = l0_v; t30 = l0_v; if (!cint_rt_call_enter(ctx, cs34)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t29, t30, &t31)) goto fault; cint_rt_call_leave(ctx); l1_v2 = t31; t32 = l0_v; l2_term = t32; t33 = (cint_i1024){{0}}; l3_total = t33; t34 = (cint_i1024){{UINT64_C(0x0000000000000001), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; l4_sgn = t34; t35 = INT64_C(0); t36 = INT64_C(16); l5_k = t35; L71_h:; t37 = l5_k; t38 = t37 < t36; if (!t38) goto L71_e; if (!cint_fuel_charge(ctx, cs35, 1u)) goto fault; t39 = l2_term; l6_term_val = t39; t40 = l4_sgn; t41 = (cint_i1024){{0}}; t42 = cint_gt_i1024(&t40, &t41); if (!t42) goto L84_f; t43 = l3_total; t44 = l6_term_val; if (!cint_add_i1024(ctx, cs36, &t43, &t44, &t45)) goto fault; l3_total = t45; goto L79_e; L84_f:; t46 = l3_total; t47 = l6_term_val; if (!cint_sub_i1024(ctx, cs37, &t46, &t47, &t48)) goto fault; l3_total = t48; L79_e:; t49 = l4_sgn; if (!cint_neg_i1024(ctx, cs38, &t49, &t50)) goto fault; l4_sgn = t50; t51 = INT64_C(2); t52 = l5_k; if (!cint_mul_i64(ctx, cs39, t51, t52, &t53)) goto fault; t54 = INT64_C(2); if (!cint_add_i64(ctx, cs40, t53, t54, &t55)) goto fault; t56 = INT64_C(2); t57 = l5_k; if (!cint_mul_i64(ctx, cs41, t56, t57, &t58)) goto fault; t59 = INT64_C(3); if (!cint_add_i64(ctx, cs42, t58, t59, &t60)) goto fault; if (!cint_mul_i64(ctx, cs43, t55, t60, &t61)) goto fault; if (!cint_as_i1024_from_i64(ctx, cs44, t61, &t62)) goto fault; t63 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_mul_i1024(ctx, cs45, &t62, &t63, &t64)) goto fault; l7_denom = t64; t65 = l2_term; t66 = l1_v2; if (!cint_rt_call_enter(ctx, cs46)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t65, t66, &t67)) goto fault; cint_rt_call_leave(ctx); t68 = l7_denom; if (!cint_rt_call_enter(ctx, cs47)) goto fault; if (!ci_5_chirp_4_qdiv(ctx, t67, t68, &t69)) goto fault; cint_rt_call_leave(ctx); l2_term = t69; t70 = l5_k; t71 = INT64_C(1); t72 = cint_add_wrap_i64(t70, t71); l5_k = t72; goto L71_h; L71_e:; t73 = l3_total; *result = t73; return true; fault: return false; } static bool ci_5_chirp_4_qcos(cint_ctx *ctx, cint_i1024 v_x, cint_i1024 *result) { cint_i1024 t0 = {0}; cint_i1024 t1 = {0}; cint_i1024 t2 = {0}; (void)ctx; (void)v_x; (void)result; static const cint_site cs48 = {0u, 48u}; (void)cs48; static const cint_site cs49 = {0u, 49u}; (void)cs49; t0 = (cint_i1024){{UINT64_C(0x685f82ecb45defb0), UINT64_C(0xda005c882c291bef), UINT64_C(0x3e06dcfff6046607), UINT64_C(0x00000000000000fa), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_add_i1024(ctx, cs48, &v_x, &t0, &t1)) goto fault; if (!cint_rt_call_enter(ctx, cs49)) goto fault; if (!ci_5_chirp_4_qsin(ctx, t1, &t2)) goto fault; cint_rt_call_leave(ctx); *result = t2; return true; fault: return false; } static bool ci_5_chirp_20_taylor_x5Ft4_x5Fdvdt(cint_ctx *ctx, cint_i1024 v_v, cint_i1024 v_m, cint_i1024 *result) { cint_i1024 t0 = {0}; cint_i1024 t1 = {0}; cint_i1024 t2 = {0}; cint_i1024 t3 = {0}; cint_i1024 t4 = {0}; cint_i1024 t5 = {0}; cint_i1024 t6 = {0}; cint_i1024 t7 = {0}; cint_i1024 t8 = {0}; cint_i1024 t9 = {0}; cint_i1024 t10 = {0}; cint_i1024 t11 = {0}; cint_i1024 t12 = {0}; cint_i1024 t13 = {0}; cint_i1024 t14 = {0}; cint_i1024 t15 = {0}; cint_i1024 t16 = {0}; cint_i1024 t17 = {0}; cint_i1024 t18 = {0}; cint_i1024 t19 = {0}; cint_i1024 t20 = {0}; cint_i1024 t21 = {0}; cint_i1024 t22 = {0}; cint_i1024 t23 = {0}; cint_i1024 t24 = {0}; cint_i1024 t25 = {0}; cint_i1024 t26 = {0}; cint_i1024 t27 = {0}; cint_i1024 t28 = {0}; cint_i1024 t29 = {0}; cint_i1024 t30 = {0}; cint_i1024 t31 = {0}; cint_i1024 t32 = {0}; cint_i1024 t33 = {0}; cint_i1024 t34 = {0}; cint_i1024 t35 = {0}; cint_i1024 t36 = {0}; cint_i1024 t37 = {0}; cint_i1024 t38 = {0}; cint_i1024 t39 = {0}; cint_i1024 t40 = {0}; cint_i1024 t41 = {0}; cint_i1024 t42 = {0}; cint_i1024 t43 = {0}; cint_i1024 t44 = {0}; cint_i1024 t45 = {0}; cint_i1024 t46 = {0}; cint_i1024 t47 = {0}; cint_i1024 t48 = {0}; cint_i1024 t49 = {0}; cint_i1024 t50 = {0}; cint_i1024 t51 = {0}; cint_i1024 t52 = {0}; cint_i1024 t53 = {0}; cint_i1024 t54 = {0}; cint_i1024 t55 = {0}; cint_i1024 t56 = {0}; cint_i1024 t57 = {0}; cint_i1024 t58 = {0}; cint_i1024 t59 = {0}; cint_i1024 t60 = {0}; cint_i1024 t61 = {0}; cint_i1024 l0_v2 = {0}; cint_i1024 l1_v3 = {0}; cint_i1024 l2_v4 = {0}; cint_i1024 l3_v5 = {0}; cint_i1024 l4_v6 = {0}; cint_i1024 l5_v7 = {0}; cint_i1024 l6_v9 = {0}; cint_i1024 l7_ln_4v = {0}; cint_i1024 l8_c6_term = {0}; cint_i1024 l9_a = {0}; cint_i1024 l10_v9_a = {0}; cint_i1024 l11_prefactor = {0}; (void)ctx; (void)v_v; (void)v_m; (void)l0_v2; (void)l1_v3; (void)l2_v4; (void)l3_v5; (void)l4_v6; (void)l5_v7; (void)l6_v9; (void)l7_ln_4v; (void)l8_c6_term; (void)l9_a; (void)l10_v9_a; (void)l11_prefactor; (void)result; 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; if (!cint_rt_call_enter(ctx, cs50)) goto fault; if (!ci_5_chirp_4_qmul(ctx, v_v, v_v, &t0)) goto fault; cint_rt_call_leave(ctx); l0_v2 = t0; t1 = l0_v2; if (!cint_rt_call_enter(ctx, cs51)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t1, v_v, &t2)) goto fault; cint_rt_call_leave(ctx); l1_v3 = t2; t3 = l0_v2; t4 = l0_v2; if (!cint_rt_call_enter(ctx, cs52)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t3, t4, &t5)) goto fault; cint_rt_call_leave(ctx); l2_v4 = t5; t6 = l2_v4; if (!cint_rt_call_enter(ctx, cs53)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t6, v_v, &t7)) goto fault; cint_rt_call_leave(ctx); l3_v5 = t7; t8 = l1_v3; t9 = l1_v3; if (!cint_rt_call_enter(ctx, cs54)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t8, t9, &t10)) goto fault; cint_rt_call_leave(ctx); l4_v6 = t10; t11 = l2_v4; t12 = l1_v3; if (!cint_rt_call_enter(ctx, cs55)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t11, t12, &t13)) goto fault; cint_rt_call_leave(ctx); l5_v7 = t13; t14 = l3_v5; t15 = l2_v4; if (!cint_rt_call_enter(ctx, cs56)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t14, t15, &t16)) goto fault; cint_rt_call_leave(ctx); l6_v9 = t16; t17 = (cint_i1024){{UINT64_C(0x0000000000000004), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_mul_i1024(ctx, cs57, &t17, &v_v, &t18)) goto fault; if (!cint_rt_call_enter(ctx, cs58)) goto fault; if (!ci_5_chirp_3_qln(ctx, t18, &t19)) goto fault; cint_rt_call_leave(ctx); l7_ln_4v = t19; t20 = (cint_i1024){{UINT64_C(0x33ffebbb53fea9be), UINT64_C(0xae07dc3d345de789), UINT64_C(0xd0524be7d6586b22), UINT64_C(0x0000000000003c01), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t21 = (cint_i1024){{UINT64_C(0x6186186186186186), UINT64_C(0x804b5404914d7ab5), UINT64_C(0x8066de7f2c722843), UINT64_C(0xfffffffffffff5da), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff)}}; t22 = l7_ln_4v; if (!cint_rt_call_enter(ctx, cs59)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t21, t22, &t23)) goto fault; cint_rt_call_leave(ctx); if (!cint_add_i1024(ctx, cs60, &t20, &t23, &t24)) goto fault; l8_c6_term = t24; t25 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t26 = (cint_i1024){{UINT64_C(0x719e79e79e79e79e), UINT64_C(0x48063707ea350235), UINT64_C(0x31686b7b95013b02), UINT64_C(0xfffffffffffffe32), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff)}}; t27 = l0_v2; if (!cint_rt_call_enter(ctx, cs61)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t26, t27, &t28)) goto fault; cint_rt_call_leave(ctx); if (!cint_add_i1024(ctx, cs62, &t25, &t28, &t29)) goto fault; t30 = (cint_i1024){{UINT64_C(0x42fc1765a2ef7d82), UINT64_C(0xd002e4416148df7b), UINT64_C(0xf036e7ffb023303e), UINT64_C(0x00000000000007d1), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t31 = l1_v3; if (!cint_rt_call_enter(ctx, cs63)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t30, t31, &t32)) goto fault; cint_rt_call_leave(ctx); if (!cint_add_i1024(ctx, cs64, &t29, &t32, &t33)) goto fault; t34 = (cint_i1024){{UINT64_C(0x1602fdbe14c4da87), UINT64_C(0xa199a894467d2f6b), UINT64_C(0xf378b41e5da8a993), UINT64_C(0x0000000000000259), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t35 = l2_v4; if (!cint_rt_call_enter(ctx, cs65)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t34, t35, &t36)) goto fault; cint_rt_call_leave(ctx); if (!cint_add_i1024(ctx, cs66, &t33, &t36, &t37)) goto fault; t38 = (cint_i1024){{UINT64_C(0x53ed57ba628d59d1), UINT64_C(0x41dee015bb5a80ce), UINT64_C(0x8510d4c3fdadfa4e), UINT64_C(0xffffffffffffe85a), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff), UINT64_C(0xffffffffffffffff)}}; t39 = l3_v5; if (!cint_rt_call_enter(ctx, cs67)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t38, t39, &t40)) goto fault; cint_rt_call_leave(ctx); if (!cint_add_i1024(ctx, cs68, &t37, &t40, &t41)) goto fault; t42 = l8_c6_term; t43 = l4_v6; if (!cint_rt_call_enter(ctx, cs69)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t42, t43, &t44)) goto fault; cint_rt_call_leave(ctx); if (!cint_add_i1024(ctx, cs70, &t41, &t44, &t45)) goto fault; t46 = (cint_i1024){{UINT64_C(0xebb6acdf890b0455), UINT64_C(0xa71e44d51c65a9d5), UINT64_C(0x19b371aaa7c158a6), UINT64_C(0x000000000000223d), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t47 = l5_v7; if (!cint_rt_call_enter(ctx, cs71)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t46, t47, &t48)) goto fault; cint_rt_call_leave(ctx); if (!cint_add_i1024(ctx, cs72, &t45, &t48, &t49)) goto fault; l9_a = t49; t50 = l6_v9; t51 = l9_a; if (!cint_rt_call_enter(ctx, cs73)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t50, t51, &t52)) goto fault; cint_rt_call_leave(ctx); l10_v9_a = t52; t53 = (cint_i1024){{UINT64_C(0x0000000000000008), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t54 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_mul_i1024(ctx, cs74, &t53, &t54, &t55)) goto fault; t56 = (cint_i1024){{UINT64_C(0x0000000000000005), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs75, &t55, &t56, &t57)) goto fault; if (!cint_rt_call_enter(ctx, cs76)) goto fault; if (!ci_5_chirp_4_qdiv(ctx, t57, v_m, &t58)) goto fault; cint_rt_call_leave(ctx); l11_prefactor = t58; t59 = l11_prefactor; t60 = l10_v9_a; if (!cint_rt_call_enter(ctx, cs77)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t59, t60, &t61)) goto fault; cint_rt_call_leave(ctx); *result = t61; return true; fault: return false; } static bool ci_5_chirp_4_step(cint_ctx *ctx) { int64_t t0 = 0; cint_i1024 t1 = {0}; int64_t t2 = 0; int64_t t3 = 0; int64_t t4 = 0; bool t5 = false; int64_t t6 = 0; cint_i1024 t7 = {0}; int64_t t8 = 0; cint_i1024 t9 = {0}; int64_t t10 = 0; cint_i1024 t11 = {0}; int64_t t12 = 0; cint_i1024 t13 = {0}; int64_t t14 = 0; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; bool t18 = false; cint_i1024 t19 = {0}; cint_i1024 t20 = {0}; cint_i1024 t21 = {0}; cint_i1024 t22 = {0}; cint_i1024 t23 = {0}; cint_i1024 t24 = {0}; cint_i1024 t25 = {0}; cint_i1024 t26 = {0}; cint_i1024 t27 = {0}; cint_i1024 t28 = {0}; bool t29 = false; cint_i1024 t30 = {0}; int64_t t31 = 0; int64_t t32 = 0; cint_i1024 t33 = {0}; cint_i1024 t34 = {0}; cint_i1024 t35 = {0}; cint_i1024 t36 = {0}; cint_i1024 t37 = {0}; cint_i1024 t38 = {0}; cint_i1024 t39 = {0}; cint_i1024 t40 = {0}; cint_i1024 t41 = {0}; cint_i1024 t42 = {0}; cint_i1024 t43 = {0}; int64_t t44 = 0; int64_t t45 = 0; bool t46 = false; int64_t t47 = 0; int64_t t48 = 0; bool t49 = false; bool t50 = false; cint_i1024 t51 = {0}; cint_i1024 t52 = {0}; cint_i1024 t53 = {0}; cint_i1024 t54 = {0}; int64_t t55 = 0; cint_i1024 t56 = {0}; cint_i1024 t57 = {0}; cint_i1024 t58 = {0}; cint_i1024 t59 = {0}; cint_i1024 t60 = {0}; cint_i1024 t61 = {0}; cint_i1024 t62 = {0}; cint_i1024 t63 = {0}; cint_i1024 t64 = {0}; cint_i1024 t65 = {0}; cint_i1024 t66 = {0}; cint_i1024 t67 = {0}; cint_i1024 t68 = {0}; cint_i1024 t69 = {0}; cint_i1024 t70 = {0}; cint_i1024 t71 = {0}; cint_i1024 t72 = {0}; cint_i1024 t73 = {0}; cint_i1024 t74 = {0}; cint_i1024 t75 = {0}; cint_i1024 t76 = {0}; cint_i1024 t77 = {0}; cint_i1024 t78 = {0}; int64_t t79 = 0; cint_i1024 t80 = {0}; int64_t t81 = 0; cint_i1024 t82 = {0}; int64_t t83 = 0; cint_i1024 t84 = {0}; int64_t t85 = 0; cint_i1024 t86 = {0}; int64_t t87 = 0; cint_i1024 t88 = {0}; cint_i1024 t89 = {0}; cint_i1024 t90 = {0}; cint_i1024 t91 = {0}; cint_i1024 t92 = {0}; cint_i1024 t93 = {0}; int64_t t94 = 0; cint_i1024 t95 = {0}; cint_i1024 t96 = {0}; cint_i1024 t97 = {0}; cint_i1024 t98 = {0}; cint_i1024 t99 = {0}; cint_i1024 t100 = {0}; int64_t t101 = 0; cint_i1024 t102 = {0}; cint_i1024 t103 = {0}; cint_i1024 t104 = {0}; cint_i1024 t105 = {0}; cint_i1024 t106 = {0}; cint_i1024 t107 = {0}; cint_i1024 t108 = {0}; cint_i1024 t109 = {0}; cint_i1024 t110 = {0}; cint_i1024 t111 = {0}; cint_i1024 t112 = {0}; int64_t t113 = 0; cint_i1024 t114 = {0}; cint_i1024 t115 = {0}; cint_i1024 t116 = {0}; cint_i1024 t117 = {0}; cint_i1024 t118 = {0}; cint_i1024 t119 = {0}; cint_i1024 t120 = {0}; cint_i1024 t121 = {0}; cint_i1024 t122 = {0}; cint_i1024 t123 = {0}; cint_i1024 t124 = {0}; int64_t t125 = 0; cint_i1024 t126 = {0}; int64_t t127 = 0; cint_i1024 t128 = {0}; int64_t t129 = 0; cint_i1024 t130 = {0}; int64_t t131 = 0; cint_i1024 t132 = {0}; cint_i1024 t133 = {0}; cint_i1024 t134 = {0}; cint_i1024 t135 = {0}; cint_i1024 t136 = {0}; cint_i1024 t137 = {0}; int64_t t138 = 0; cint_i1024 t139 = {0}; cint_i1024 t140 = {0}; cint_i1024 t141 = {0}; cint_i1024 t142 = {0}; cint_i1024 t143 = {0}; cint_i1024 t144 = {0}; int64_t t145 = 0; cint_i1024 t146 = {0}; cint_i1024 t147 = {0}; cint_i1024 t148 = {0}; int64_t t149 = 0; cint_i1024 t150 = {0}; int64_t t151 = 0; cint_i1024 t152 = {0}; cint_i1024 t153 = {0}; cint_i1024 t154 = {0}; cint_i1024 t155 = {0}; cint_i1024 t156 = {0}; cint_i1024 t157 = {0}; cint_i1024 t158 = {0}; cint_i1024 t159 = {0}; cint_i1024 t160 = {0}; cint_i1024 t161 = {0}; cint_i1024 t162 = {0}; cint_i1024 t163 = {0}; cint_i1024 t164 = {0}; cint_i1024 t165 = {0}; cint_i1024 t166 = {0}; int64_t t167 = 0; cint_i1024 t168 = {0}; cint_i1024 t169 = {0}; cint_i1024 t170 = {0}; int64_t t171 = 0; int64_t t172 = 0; int64_t t173 = 0; int64_t t174 = 0; int64_t t175 = 0; int64_t t176 = 0; int64_t t177 = 0; int64_t t178 = 0; int64_t t179 = 0; int64_t t180 = 0; int64_t t181 = 0; int64_t t182 = 0; int64_t t183 = 0; int64_t t184 = 0; int64_t t185 = 0; int64_t t186 = 0; int64_t t187 = 0; int64_t t188 = 0; int64_t t189 = 0; int64_t t190 = 0; int64_t t191 = 0; int64_t t192 = 0; int64_t t193 = 0; int64_t t194 = 0; cint_i1024 t195 = {0}; cint_i1024 t196 = {0}; cint_i1024 t197 = {0}; int64_t t198 = 0; int64_t t199 = 0; cint_i1024 t200 = {0}; cint_i1024 t201 = {0}; cint_i1024 t202 = {0}; int64_t t203 = 0; int64_t t204 = 0; cint_i1024 t205 = {0}; cint_i1024 t206 = {0}; cint_i1024 t207 = {0}; int64_t t208 = 0; int64_t t209 = 0; cint_i1024 t210 = {0}; cint_i1024 t211 = {0}; cint_i1024 t212 = {0}; int64_t t213 = 0; int64_t t214 = 0; cint_i1024 t215 = {0}; int64_t t216 = 0; cint_i1024 t217 = {0}; uint64_t t218 = 0; int64_t t219 = 0; cint_i1024 t220 = {0}; int64_t t221 = 0; cint_i1024 t222 = {0}; uint64_t t223 = 0; int64_t t224 = 0; uint64_t t225 = 0; uint64_t t226 = 0; int64_t t227 = 0; uint64_t t228 = 0; uint64_t t229 = 0; uint64_t t230 = 0; uint64_t t231 = 0; uint64_t t232 = 0; int64_t t233 = 0; uint64_t t234 = 0; uint64_t t235 = 0; uint64_t t236 = 0; uint64_t t237 = 0; uint64_t t238 = 0; uint64_t t239 = 0; uint64_t t240 = 0; uint64_t t241 = 0; uint64_t t242 = 0; uint64_t t243 = 0; uint64_t t244 = 0; uint64_t t245 = 0; uint64_t t246 = 0; uint64_t t247 = 0; uint64_t t248 = 0; int64_t t249 = 0; uint64_t t250 = 0; uint64_t t251 = 0; uint64_t t252 = 0; uint64_t t253 = 0; uint64_t t254 = 0; int64_t t255 = 0; uint64_t t256 = 0; uint64_t t257 = 0; uint64_t t258 = 0; uint64_t t259 = 0; int64_t t260 = 0; uint64_t t261 = 0; int64_t t262 = 0; int64_t t263 = 0; int64_t t264 = 0; cint_i1024 l0_leader_phi = {0}; int64_t l1_c = 0; cint_i1024 l2_v = {0}; cint_i1024 l3_phi = {0}; cint_i1024 l4_m = {0}; cint_i1024 l5_amp = {0}; int64_t l6_mode = 0; cint_i1024 l7_dv = {0}; cint_i1024 l8_v_next = {0}; cint_i1024 l9_v3 = {0}; cint_i1024 l10_omega = {0}; bool l11 = false; cint_i1024 l12_dphi = {0}; cint_i1024 l13_torque = {0}; cint_i1024 l14_phi_next = {0}; cint_i1024 l15_r = {0}; cint_i1024 l16_amp_next = {0}; cint_i1024 l17_phi_next = {0}; cint_i1024 l18_r = {0}; cint_i1024 l19_sep = {0}; cint_i1024 l20_current_phi = {0}; cint_i1024 l21_half_r = {0}; cint_i1024 l22_x1_wide = {0}; cint_i1024 l23_y1_wide = {0}; int64_t l24_x1 = 0; int64_t l25_y1 = 0; int64_t l26_v_scaled = 0; int64_t l27_phi_scaled = 0; int64_t l28_hp_scaled = 0; int64_t l29_hx_scaled = 0; uint64_t l30_phi_limb1 = 0; uint64_t l31_phi_limb2 = 0; uint64_t l32_d = 0; cg_5_chirp_state *const cg_st = (cg_5_chirp_state *)cint_rt_state(ctx, &cg_5_chirp_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)l0_leader_phi; (void)l1_c; (void)l2_v; (void)l3_phi; (void)l4_m; (void)l5_amp; (void)l6_mode; (void)l7_dv; (void)l8_v_next; (void)l9_v3; (void)l10_omega; (void)l11; (void)l12_dphi; (void)l13_torque; (void)l14_phi_next; (void)l15_r; (void)l16_amp_next; (void)l17_phi_next; (void)l18_r; (void)l19_sep; (void)l20_current_phi; (void)l21_half_r; (void)l22_x1_wide; (void)l23_y1_wide; (void)l24_x1; (void)l25_y1; (void)l26_v_scaled; (void)l27_phi_scaled; (void)l28_hp_scaled; (void)l29_hx_scaled; (void)l30_phi_limb1; (void)l31_phi_limb2; (void)l32_d; 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; 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; 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; 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; 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; t0 = INT64_C(0); if (!(t0 >= 0 && t0 < INT64_C(3))) { (void)cint_index_check(ctx, cs78, "index.checked.i1024", t0, INT64_C(3)); goto fault; } t1 = cg_st->g_phi_state[t0]; l0_leader_phi = t1; t2 = INT64_C(0); t3 = INT64_C(3); l1_c = t2; L9_h:; t4 = l1_c; t5 = t4 < t3; if (!t5) goto L9_e; if (!cint_fuel_charge(ctx, cs79, 1u)) goto fault; t6 = l1_c; if (!(t6 >= 0 && t6 < INT64_C(3))) { (void)cint_index_check(ctx, cs80, "index.checked.i1024", t6, INT64_C(3)); goto fault; } t7 = cg_st->g_v_state[t6]; l2_v = t7; t8 = l1_c; if (!(t8 >= 0 && t8 < INT64_C(3))) { (void)cint_index_check(ctx, cs81, "index.checked.i1024", t8, INT64_C(3)); goto fault; } t9 = cg_st->g_phi_state[t8]; l3_phi = t9; t10 = l1_c; if (!(t10 >= 0 && t10 < INT64_C(3))) { (void)cint_index_check(ctx, cs82, "index.checked.i1024", t10, INT64_C(3)); goto fault; } t11 = cg_st->g_m_state[t10]; l4_m = t11; t12 = l1_c; if (!(t12 >= 0 && t12 < INT64_C(3))) { (void)cint_index_check(ctx, cs83, "index.checked.i1024", t12, INT64_C(3)); goto fault; } t13 = cg_st->g_amp_state[t12]; l5_amp = t13; t14 = l1_c; if (!(t14 >= 0 && t14 < INT64_C(3))) { (void)cint_index_check(ctx, cs84, "index.checked.i64", t14, INT64_C(3)); goto fault; } t15 = cg_st->g_mode_state[t14]; l6_mode = t15; t16 = l6_mode; t17 = INT64_C(0); t18 = t16 == t17; if (!t18) goto L44_f; t19 = l2_v; t20 = l4_m; if (!cint_rt_call_enter(ctx, cs85)) goto fault; if (!ci_5_chirp_20_taylor_x5Ft4_x5Fdvdt(ctx, t19, t20, &t21)) goto fault; cint_rt_call_leave(ctx); t22 = (cint_i1024){{UINT64_C(0x9000000000000000), UINT64_C(0x0898765a7deb2532), UINT64_C(0xbad2b84e0d58bd2e), UINT64_C(0x0000000000000f8e), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_rt_call_enter(ctx, cs86)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t21, t22, &t23)) goto fault; cint_rt_call_leave(ctx); l7_dv = t23; t24 = l2_v; t25 = l7_dv; if (!cint_add_i1024(ctx, cs87, &t24, &t25, &t26)) goto fault; l8_v_next = t26; t27 = l8_v_next; t28 = (cint_i1024){{UINT64_C(0x8113fcb826d43bb3), UINT64_C(0x2c1daad70db6267e), UINT64_C(0x09a707b510636678), UINT64_C(0x0000000000000041), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t29 = cint_ge_i1024(&t27, &t28); if (!t29) goto L66_f; t30 = (cint_i1024){{UINT64_C(0x8113fcb826d43bb3), UINT64_C(0x2c1daad70db6267e), UINT64_C(0x09a707b510636678), UINT64_C(0x0000000000000041), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; l8_v_next = t30; t31 = l1_c; if (!(t31 >= 0 && t31 < INT64_C(3))) { (void)cint_index_check(ctx, cs88, "index.checked.i64", t31, INT64_C(3)); goto fault; } t32 = INT64_C(1); cg_st->g_mode_state[t31] = t32; t33 = l8_v_next; t34 = l8_v_next; if (!cint_rt_call_enter(ctx, cs89)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t33, t34, &t35)) goto fault; cint_rt_call_leave(ctx); l5_amp = t35; goto L61_e; L66_f:; L61_e:; t36 = l8_v_next; t37 = l8_v_next; t38 = l8_v_next; if (!cint_rt_call_enter(ctx, cs90)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t37, t38, &t39)) goto fault; cint_rt_call_leave(ctx); if (!cint_rt_call_enter(ctx, cs91)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t36, t39, &t40)) goto fault; cint_rt_call_leave(ctx); l9_v3 = t40; t41 = l9_v3; t42 = l4_m; if (!cint_rt_call_enter(ctx, cs92)) goto fault; if (!ci_5_chirp_4_qdiv(ctx, t41, t42, &t43)) goto fault; cint_rt_call_leave(ctx); l10_omega = t43; t44 = l1_c; t45 = INT64_C(0); t46 = t44 > t45; l11 = t46; if (!t46) goto L108_f; t47 = cg_st->g_tether; t48 = INT64_C(0); t49 = t47 != t48; l11 = t49; goto L106_e; L108_f:; L106_e:; t50 = l11; if (!t50) goto L116_f; t51 = l3_phi; t52 = l0_leader_phi; if (!cint_sub_i1024(ctx, cs93, &t51, &t52, &t53)) goto fault; l12_dphi = t53; t54 = l12_dphi; t55 = cg_st->g_tether; if (!cint_as_i1024_from_i64(ctx, cs94, t55, &t56)) goto fault; t57 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_mul_i1024(ctx, cs95, &t56, &t57, &t58)) goto fault; t59 = (cint_i1024){{UINT64_C(0x00000000000061a8), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t60 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_mul_i1024(ctx, cs96, &t59, &t60, &t61)) goto fault; if (!cint_muldiv_i1024(ctx, cs97, CINT_TAG_I1024, 5u, &t54, &t58, &t61, &t62)) goto fault; l13_torque = t62; t63 = l10_omega; t64 = l13_torque; if (!cint_sub_i1024(ctx, cs98, &t63, &t64, &t65)) goto fault; l10_omega = t65; goto L99_e; L116_f:; L99_e:; t66 = l3_phi; t67 = l10_omega; t68 = (cint_i1024){{UINT64_C(0x9000000000000000), UINT64_C(0x0898765a7deb2532), UINT64_C(0xbad2b84e0d58bd2e), UINT64_C(0x0000000000000f8e), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_rt_call_enter(ctx, cs99)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t67, t68, &t69)) goto fault; cint_rt_call_leave(ctx); if (!cint_add_i1024(ctx, cs100, &t66, &t69, &t70)) goto fault; l14_phi_next = t70; t71 = l4_m; t72 = l8_v_next; t73 = l8_v_next; if (!cint_rt_call_enter(ctx, cs101)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t72, t73, &t74)) goto fault; cint_rt_call_leave(ctx); if (!cint_rt_call_enter(ctx, cs102)) goto fault; if (!ci_5_chirp_4_qdiv(ctx, t71, t74, &t75)) goto fault; cint_rt_call_leave(ctx); l15_r = t75; t76 = l8_v_next; t77 = l8_v_next; if (!cint_rt_call_enter(ctx, cs103)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t76, t77, &t78)) goto fault; cint_rt_call_leave(ctx); l5_amp = t78; t79 = l1_c; if (!(t79 >= 0 && t79 < INT64_C(3))) { (void)cint_index_check(ctx, cs104, "index.checked.i1024", t79, INT64_C(3)); goto fault; } t80 = l8_v_next; cg_st->g_v_state[t79] = t80; t81 = l1_c; if (!(t81 >= 0 && t81 < INT64_C(3))) { (void)cint_index_check(ctx, cs105, "index.checked.i1024", t81, INT64_C(3)); goto fault; } t82 = l14_phi_next; cg_st->g_phi_state[t81] = t82; t83 = l1_c; if (!(t83 >= 0 && t83 < INT64_C(3))) { (void)cint_index_check(ctx, cs106, "index.checked.i1024", t83, INT64_C(3)); goto fault; } t84 = l15_r; cg_st->g_r_state[t83] = t84; t85 = l1_c; if (!(t85 >= 0 && t85 < INT64_C(3))) { (void)cint_index_check(ctx, cs107, "index.checked.i1024", t85, INT64_C(3)); goto fault; } t86 = l5_amp; cg_st->g_amp_state[t85] = t86; t87 = l1_c; if (!(t87 >= 0 && t87 < INT64_C(3))) { (void)cint_index_check(ctx, cs108, "index.checked.i1024", t87, INT64_C(3)); goto fault; } t88 = l5_amp; t89 = (cint_i1024){{UINT64_C(0x0000000000000002), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t90 = l14_phi_next; if (!cint_mul_i1024(ctx, cs109, &t89, &t90, &t91)) goto fault; if (!cint_rt_call_enter(ctx, cs110)) goto fault; if (!ci_5_chirp_4_qcos(ctx, t91, &t92)) goto fault; cint_rt_call_leave(ctx); if (!cint_rt_call_enter(ctx, cs111)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t88, t92, &t93)) goto fault; cint_rt_call_leave(ctx); cg_st->g_hp_state[t87] = t93; t94 = l1_c; if (!(t94 >= 0 && t94 < INT64_C(3))) { (void)cint_index_check(ctx, cs112, "index.checked.i1024", t94, INT64_C(3)); goto fault; } t95 = l5_amp; t96 = (cint_i1024){{UINT64_C(0x0000000000000002), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t97 = l14_phi_next; if (!cint_mul_i1024(ctx, cs113, &t96, &t97, &t98)) goto fault; if (!cint_rt_call_enter(ctx, cs114)) goto fault; if (!ci_5_chirp_4_qsin(ctx, t98, &t99)) goto fault; cint_rt_call_leave(ctx); if (!cint_rt_call_enter(ctx, cs115)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t95, t99, &t100)) goto fault; cint_rt_call_leave(ctx); cg_st->g_hx_state[t94] = t100; t101 = l1_c; if (!(t101 >= 0 && t101 < INT64_C(3))) { (void)cint_index_check(ctx, cs116, "index.checked.i1024", t101, INT64_C(3)); goto fault; } t102 = l10_omega; t103 = (cint_i1024){{UINT64_C(0xd0bf05d968bbdf61), UINT64_C(0xb400b910585237de), UINT64_C(0x7c0db9ffec08cc0f), UINT64_C(0x00000000000001f4), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_rt_call_enter(ctx, cs117)) goto fault; if (!ci_5_chirp_4_qdiv(ctx, t102, t103, &t104)) goto fault; cint_rt_call_leave(ctx); cg_st->g_f_state[t101] = t104; goto L39_e; L44_f:; t105 = l5_amp; t106 = (cint_i1024){{UINT64_C(0x8000000000000000), UINT64_C(0xf7ba7cf798b36c55), UINT64_C(0xefd3a9b0420c6b34), UINT64_C(0x0000000000000098), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_rt_call_enter(ctx, cs118)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t105, t106, &t107)) goto fault; cint_rt_call_leave(ctx); l16_amp_next = t107; t108 = l3_phi; t109 = (cint_i1024){{UINT64_C(0xfc00000000000000), UINT64_C(0x0342d79884d17610), UINT64_C(0x9ebbee8cfb2c72c1), UINT64_C(0x0000000000000057), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t110 = (cint_i1024){{UINT64_C(0x9000000000000000), UINT64_C(0x0898765a7deb2532), UINT64_C(0xbad2b84e0d58bd2e), UINT64_C(0x0000000000000f8e), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_rt_call_enter(ctx, cs119)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t109, t110, &t111)) goto fault; cint_rt_call_leave(ctx); if (!cint_add_i1024(ctx, cs120, &t108, &t111, &t112)) goto fault; l17_phi_next = t112; t113 = l1_c; if (!(t113 >= 0 && t113 < INT64_C(3))) { (void)cint_index_check(ctx, cs121, "index.checked.i1024", t113, INT64_C(3)); goto fault; } t114 = cg_st->g_r_state[t113]; t115 = (cint_i1024){{UINT64_C(0x0000000000000011), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t116 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_mul_i1024(ctx, cs122, &t115, &t116, &t117)) goto fault; t118 = (cint_i1024){{UINT64_C(0x000000000000000a), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs123, &t117, &t118, &t119)) goto fault; if (!cint_add_i1024(ctx, cs124, &t114, &t119, &t120)) goto fault; t121 = (cint_i1024){{UINT64_C(0x0000000000000002), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t122 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_mul_i1024(ctx, cs125, &t121, &t122, &t123)) goto fault; if (!cint_rt_call_enter(ctx, cs126)) goto fault; if (!ci_5_chirp_4_qdiv(ctx, t120, t123, &t124)) goto fault; cint_rt_call_leave(ctx); l18_r = t124; t125 = l1_c; if (!(t125 >= 0 && t125 < INT64_C(3))) { (void)cint_index_check(ctx, cs127, "index.checked.i1024", t125, INT64_C(3)); goto fault; } t126 = l16_amp_next; cg_st->g_amp_state[t125] = t126; t127 = l1_c; if (!(t127 >= 0 && t127 < INT64_C(3))) { (void)cint_index_check(ctx, cs128, "index.checked.i1024", t127, INT64_C(3)); goto fault; } t128 = l17_phi_next; cg_st->g_phi_state[t127] = t128; t129 = l1_c; if (!(t129 >= 0 && t129 < INT64_C(3))) { (void)cint_index_check(ctx, cs129, "index.checked.i1024", t129, INT64_C(3)); goto fault; } t130 = l18_r; cg_st->g_r_state[t129] = t130; t131 = l1_c; if (!(t131 >= 0 && t131 < INT64_C(3))) { (void)cint_index_check(ctx, cs130, "index.checked.i1024", t131, INT64_C(3)); goto fault; } t132 = l16_amp_next; t133 = (cint_i1024){{UINT64_C(0x0000000000000002), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t134 = l17_phi_next; if (!cint_mul_i1024(ctx, cs131, &t133, &t134, &t135)) goto fault; if (!cint_rt_call_enter(ctx, cs132)) goto fault; if (!ci_5_chirp_4_qcos(ctx, t135, &t136)) goto fault; cint_rt_call_leave(ctx); if (!cint_rt_call_enter(ctx, cs133)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t132, t136, &t137)) goto fault; cint_rt_call_leave(ctx); cg_st->g_hp_state[t131] = t137; t138 = l1_c; if (!(t138 >= 0 && t138 < INT64_C(3))) { (void)cint_index_check(ctx, cs134, "index.checked.i1024", t138, INT64_C(3)); goto fault; } t139 = l16_amp_next; t140 = (cint_i1024){{UINT64_C(0x0000000000000002), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t141 = l17_phi_next; if (!cint_mul_i1024(ctx, cs135, &t140, &t141, &t142)) goto fault; if (!cint_rt_call_enter(ctx, cs136)) goto fault; if (!ci_5_chirp_4_qsin(ctx, t142, &t143)) goto fault; cint_rt_call_leave(ctx); if (!cint_rt_call_enter(ctx, cs137)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t139, t143, &t144)) goto fault; cint_rt_call_leave(ctx); cg_st->g_hx_state[t138] = t144; t145 = l1_c; if (!(t145 >= 0 && t145 < INT64_C(3))) { (void)cint_index_check(ctx, cs138, "index.checked.i1024", t145, INT64_C(3)); goto fault; } t146 = (cint_i1024){{UINT64_C(0xfc00000000000000), UINT64_C(0x0342d79884d17610), UINT64_C(0x9ebbee8cfb2c72c1), UINT64_C(0x0000000000000057), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t147 = (cint_i1024){{UINT64_C(0xd0bf05d968bbdf61), UINT64_C(0xb400b910585237de), UINT64_C(0x7c0db9ffec08cc0f), UINT64_C(0x00000000000001f4), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_rt_call_enter(ctx, cs139)) goto fault; if (!ci_5_chirp_4_qdiv(ctx, t146, t147, &t148)) goto fault; cint_rt_call_leave(ctx); cg_st->g_f_state[t145] = t148; L39_e:; t149 = l1_c; if (!(t149 >= 0 && t149 < INT64_C(3))) { (void)cint_index_check(ctx, cs140, "index.checked.i1024", t149, INT64_C(3)); goto fault; } t150 = cg_st->g_r_state[t149]; l19_sep = t150; t151 = l1_c; if (!(t151 >= 0 && t151 < INT64_C(3))) { (void)cint_index_check(ctx, cs141, "index.checked.i1024", t151, INT64_C(3)); goto fault; } t152 = cg_st->g_phi_state[t151]; l20_current_phi = t152; t153 = l19_sep; t154 = (cint_i1024){{UINT64_C(0x0000000000000002), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs142, &t153, &t154, &t155)) goto fault; l21_half_r = t155; t156 = l21_half_r; t157 = l20_current_phi; if (!cint_rt_call_enter(ctx, cs143)) goto fault; if (!ci_5_chirp_4_qcos(ctx, t157, &t158)) goto fault; cint_rt_call_leave(ctx); if (!cint_rt_call_enter(ctx, cs144)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t156, t158, &t159)) goto fault; cint_rt_call_leave(ctx); l22_x1_wide = t159; t160 = l21_half_r; t161 = l20_current_phi; if (!cint_rt_call_enter(ctx, cs145)) goto fault; if (!ci_5_chirp_4_qsin(ctx, t161, &t162)) goto fault; cint_rt_call_leave(ctx); if (!cint_rt_call_enter(ctx, cs146)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t160, t162, &t163)) goto fault; cint_rt_call_leave(ctx); l23_y1_wide = t163; t164 = l22_x1_wide; t165 = (cint_i1024){{UINT64_C(0x9240000000000000), UINT64_C(0xc51999090b65f67d), UINT64_C(0x000a70c3c40a64e6), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs147, &t164, &t165, &t166)) goto fault; if (!cint_as_i64_from_i1024(ctx, cs148, &t166, &t167)) goto fault; l24_x1 = t167; t168 = l23_y1_wide; t169 = (cint_i1024){{UINT64_C(0x9240000000000000), UINT64_C(0xc51999090b65f67d), UINT64_C(0x000a70c3c40a64e6), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs149, &t168, &t169, &t170)) goto fault; if (!cint_as_i64_from_i1024(ctx, cs150, &t170, &t171)) goto fault; l25_y1 = t171; t172 = l1_c; t173 = INT64_C(2); if (!cint_mul_i64(ctx, cs151, t172, t173, &t174)) goto fault; if (!(t174 >= 0 && t174 < INT64_C(6))) { (void)cint_index_check(ctx, cs152, "index.checked.i64", t174, INT64_C(6)); goto fault; } t175 = l24_x1; cg_st->g_body_x[t174] = t175; t176 = l1_c; t177 = INT64_C(2); if (!cint_mul_i64(ctx, cs153, t176, t177, &t178)) goto fault; if (!(t178 >= 0 && t178 < INT64_C(6))) { (void)cint_index_check(ctx, cs154, "index.checked.i64", t178, INT64_C(6)); goto fault; } t179 = l25_y1; cg_st->g_body_y[t178] = t179; t180 = l1_c; t181 = INT64_C(2); if (!cint_mul_i64(ctx, cs155, t180, t181, &t182)) goto fault; t183 = INT64_C(1); if (!cint_add_i64(ctx, cs156, t182, t183, &t184)) goto fault; if (!(t184 >= 0 && t184 < INT64_C(6))) { (void)cint_index_check(ctx, cs157, "index.checked.i64", t184, INT64_C(6)); goto fault; } t185 = l24_x1; if (!cint_neg_i64(ctx, cs158, t185, &t186)) goto fault; cg_st->g_body_x[t184] = t186; t187 = l1_c; t188 = INT64_C(2); if (!cint_mul_i64(ctx, cs159, t187, t188, &t189)) goto fault; t190 = INT64_C(1); if (!cint_add_i64(ctx, cs160, t189, t190, &t191)) goto fault; if (!(t191 >= 0 && t191 < INT64_C(6))) { (void)cint_index_check(ctx, cs161, "index.checked.i64", t191, INT64_C(6)); goto fault; } t192 = l25_y1; if (!cint_neg_i64(ctx, cs162, t192, &t193)) goto fault; cg_st->g_body_y[t191] = t193; t194 = l1_c; if (!(t194 >= 0 && t194 < INT64_C(3))) { (void)cint_index_check(ctx, cs163, "index.checked.i1024", t194, INT64_C(3)); goto fault; } t195 = cg_st->g_v_state[t194]; t196 = (cint_i1024){{UINT64_C(0x9240000000000000), UINT64_C(0xc51999090b65f67d), UINT64_C(0x000a70c3c40a64e6), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs164, &t195, &t196, &t197)) goto fault; if (!cint_as_i64_from_i1024(ctx, cs165, &t197, &t198)) goto fault; l26_v_scaled = t198; t199 = l1_c; if (!(t199 >= 0 && t199 < INT64_C(3))) { (void)cint_index_check(ctx, cs166, "index.checked.i1024", t199, INT64_C(3)); goto fault; } t200 = cg_st->g_phi_state[t199]; t201 = (cint_i1024){{UINT64_C(0x9240000000000000), UINT64_C(0xc51999090b65f67d), UINT64_C(0x000a70c3c40a64e6), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs167, &t200, &t201, &t202)) goto fault; if (!cint_as_i64_from_i1024(ctx, cs168, &t202, &t203)) goto fault; l27_phi_scaled = t203; t204 = l1_c; if (!(t204 >= 0 && t204 < INT64_C(3))) { (void)cint_index_check(ctx, cs169, "index.checked.i1024", t204, INT64_C(3)); goto fault; } t205 = cg_st->g_hp_state[t204]; t206 = (cint_i1024){{UINT64_C(0x9240000000000000), UINT64_C(0xc51999090b65f67d), UINT64_C(0x000a70c3c40a64e6), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs170, &t205, &t206, &t207)) goto fault; if (!cint_as_i64_from_i1024(ctx, cs171, &t207, &t208)) goto fault; l28_hp_scaled = t208; t209 = l1_c; if (!(t209 >= 0 && t209 < INT64_C(3))) { (void)cint_index_check(ctx, cs172, "index.checked.i1024", t209, INT64_C(3)); goto fault; } t210 = cg_st->g_hx_state[t209]; t211 = (cint_i1024){{UINT64_C(0x9240000000000000), UINT64_C(0xc51999090b65f67d), UINT64_C(0x000a70c3c40a64e6), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs173, &t210, &t211, &t212)) goto fault; if (!cint_as_i64_from_i1024(ctx, cs174, &t212, &t213)) goto fault; l29_hx_scaled = t213; t214 = l1_c; if (!(t214 >= 0 && t214 < INT64_C(3))) { (void)cint_index_check(ctx, cs175, "index.checked.i1024", t214, INT64_C(3)); goto fault; } t215 = cg_st->g_phi_state[t214]; t216 = INT64_C(64); if (!cint_shr_i1024(ctx, cs176, &t215, cint_count_i64(t216), &t217)) goto fault; t218 = cint_as_wrap_u64_from_i1024(&t217); l30_phi_limb1 = t218; t219 = l1_c; if (!(t219 >= 0 && t219 < INT64_C(3))) { (void)cint_index_check(ctx, cs177, "index.checked.i1024", t219, INT64_C(3)); goto fault; } t220 = cg_st->g_phi_state[t219]; t221 = INT64_C(128); if (!cint_shr_i1024(ctx, cs178, &t220, cint_count_i64(t221), &t222)) goto fault; t223 = cint_as_wrap_u64_from_i1024(&t222); l31_phi_limb2 = t223; t224 = l1_c; if (!(t224 >= 0 && t224 < INT64_C(3))) { (void)cint_index_check(ctx, cs179, "index.checked.u64", t224, INT64_C(3)); goto fault; } t225 = cg_st->g_digest_state[t224]; l32_d = t225; t226 = l32_d; t227 = l26_v_scaled; t228 = cint_as_wrap_u64_from_i64(t227); t229 = (uint64_t)(t226 ^ t228); t230 = UINT64_C(1099511628211); t231 = cint_mul_wrap_u64(t229, t230); l32_d = t231; t232 = l32_d; t233 = l27_phi_scaled; t234 = cint_as_wrap_u64_from_i64(t233); t235 = (uint64_t)(t232 ^ t234); t236 = UINT64_C(1099511628211); t237 = cint_mul_wrap_u64(t235, t236); l32_d = t237; t238 = l32_d; t239 = l30_phi_limb1; t240 = (uint64_t)(t238 ^ t239); t241 = UINT64_C(1099511628211); t242 = cint_mul_wrap_u64(t240, t241); l32_d = t242; t243 = l32_d; t244 = l31_phi_limb2; t245 = (uint64_t)(t243 ^ t244); t246 = UINT64_C(1099511628211); t247 = cint_mul_wrap_u64(t245, t246); l32_d = t247; t248 = l32_d; t249 = l28_hp_scaled; t250 = cint_as_wrap_u64_from_i64(t249); t251 = (uint64_t)(t248 ^ t250); t252 = UINT64_C(1099511628211); t253 = cint_mul_wrap_u64(t251, t252); l32_d = t253; t254 = l32_d; t255 = l29_hx_scaled; t256 = cint_as_wrap_u64_from_i64(t255); t257 = (uint64_t)(t254 ^ t256); t258 = UINT64_C(1099511628211); t259 = cint_mul_wrap_u64(t257, t258); l32_d = t259; t260 = l1_c; if (!(t260 >= 0 && t260 < INT64_C(3))) { (void)cint_index_check(ctx, cs180, "index.checked.u64", t260, INT64_C(3)); goto fault; } t261 = l32_d; cg_st->g_digest_state[t260] = t261; t262 = l1_c; t263 = INT64_C(1); t264 = cint_add_wrap_i64(t262, t263); l1_c = t264; goto L9_h; L9_e:; return true; fault: return false; } static bool ci_5_chirp_5_start(cint_ctx *ctx, int64_t v_preset, int64_t *result) { cint_i1024 t0 = {0}; cint_i1024 t1 = {0}; cint_i1024 t2 = {0}; cint_i1024 t3 = {0}; cint_i1024 t4 = {0}; int64_t t5 = 0; bool t6 = false; cint_i1024 t7 = {0}; cint_i1024 t8 = {0}; cint_i1024 t9 = {0}; cint_i1024 t10 = {0}; cint_i1024 t11 = {0}; int64_t t12 = 0; bool t13 = false; cint_i1024 t14 = {0}; cint_i1024 t15 = {0}; cint_i1024 t16 = {0}; cint_i1024 t17 = {0}; cint_i1024 t18 = {0}; int64_t t19 = 0; int64_t t20 = 0; int64_t t21 = 0; bool t22 = false; int64_t t23 = 0; cint_i1024 t24 = {0}; int64_t t25 = 0; cint_i1024 t26 = {0}; int64_t t27 = 0; cint_i1024 t28 = {0}; int64_t t29 = 0; cint_i1024 t30 = {0}; cint_i1024 t31 = {0}; cint_i1024 t32 = {0}; int64_t t33 = 0; int64_t t34 = 0; int64_t t35 = 0; uint64_t t36 = 0; int64_t t37 = 0; int64_t t38 = 0; int64_t t39 = 0; int64_t t40 = 0; cint_i1024 t41 = {0}; cint_i1024 t42 = {0}; cint_i1024 t43 = {0}; int64_t t44 = 0; cint_i1024 t45 = {0}; cint_i1024 t46 = {0}; cint_i1024 t47 = {0}; int64_t t48 = 0; int64_t t49 = 0; int64_t t50 = 0; bool t51 = false; int64_t t52 = 0; cint_i1024 t53 = {0}; cint_i1024 t54 = {0}; cint_i1024 t55 = {0}; cint_i1024 t56 = {0}; cint_i1024 t57 = {0}; int64_t t58 = 0; cint_i1024 t59 = {0}; int64_t t60 = 0; int64_t t61 = 0; cint_i1024 t62 = {0}; int64_t t63 = 0; cint_i1024 t64 = {0}; int64_t t65 = 0; cint_i1024 t66 = {0}; cint_i1024 t67 = {0}; cint_i1024 t68 = {0}; cint_i1024 t69 = {0}; cint_i1024 t70 = {0}; cint_i1024 t71 = {0}; cint_i1024 t72 = {0}; cint_i1024 t73 = {0}; cint_i1024 t74 = {0}; cint_i1024 t75 = {0}; cint_i1024 t76 = {0}; cint_i1024 t77 = {0}; cint_i1024 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; cint_i1024 l0_v0 = {0}; int64_t l1_c = 0; int64_t l2_c = 0; cint_i1024 l3_r = {0}; cint_i1024 l4_half_r = {0}; int64_t l5_x1 = 0; cg_5_chirp_state *const cg_st = (cg_5_chirp_state *)cint_rt_state(ctx, &cg_5_chirp_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_preset; (void)l0_v0; (void)l1_c; (void)l2_c; (void)l3_r; (void)l4_half_r; (void)l5_x1; (void)result; 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; 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; t0 = (cint_i1024){{UINT64_C(0x0000000000000002), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t1 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_mul_i1024(ctx, cs182, &t0, &t1, &t2)) goto fault; t3 = (cint_i1024){{UINT64_C(0x000000000000000a), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs183, &t2, &t3, &t4)) goto fault; l0_v0 = t4; t5 = INT64_C(1); t6 = v_preset == t5; if (!t6) goto L12_f; t7 = (cint_i1024){{UINT64_C(0x0000000000000019), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t8 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_mul_i1024(ctx, cs184, &t7, &t8, &t9)) goto fault; t10 = (cint_i1024){{UINT64_C(0x0000000000000064), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs185, &t9, &t10, &t11)) goto fault; l0_v0 = t11; goto L8_e; L12_f:; t12 = INT64_C(2); t13 = v_preset == t12; if (!t13) goto L23_f; t14 = (cint_i1024){{UINT64_C(0x0000000000000020), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t15 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_mul_i1024(ctx, cs186, &t14, &t15, &t16)) goto fault; t17 = (cint_i1024){{UINT64_C(0x0000000000000064), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs187, &t16, &t17, &t18)) goto fault; l0_v0 = t18; goto L8_e; L23_f:; L8_e:; t19 = INT64_C(0); t20 = INT64_C(3); l1_c = t19; L36_h:; t21 = l1_c; t22 = t21 < t20; if (!t22) goto L36_e; if (!cint_fuel_charge(ctx, cs188, 1u)) goto fault; t23 = l1_c; if (!(t23 >= 0 && t23 < INT64_C(3))) { (void)cint_index_check(ctx, cs189, "index.checked.i1024", t23, INT64_C(3)); goto fault; } t24 = l0_v0; cg_st->g_v_state[t23] = t24; t25 = l1_c; if (!(t25 >= 0 && t25 < INT64_C(3))) { (void)cint_index_check(ctx, cs190, "index.checked.i1024", t25, INT64_C(3)); goto fault; } t26 = (cint_i1024){{0}}; cg_st->g_phi_state[t25] = t26; t27 = l1_c; if (!(t27 >= 0 && t27 < INT64_C(3))) { (void)cint_index_check(ctx, cs191, "index.checked.i1024", t27, INT64_C(3)); goto fault; } t28 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; cg_st->g_m_state[t27] = t28; t29 = l1_c; if (!(t29 >= 0 && t29 < INT64_C(3))) { (void)cint_index_check(ctx, cs192, "index.checked.i1024", t29, INT64_C(3)); goto fault; } t30 = l0_v0; t31 = l0_v0; if (!cint_rt_call_enter(ctx, cs193)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t30, t31, &t32)) goto fault; cint_rt_call_leave(ctx); cg_st->g_amp_state[t29] = t32; t33 = l1_c; if (!(t33 >= 0 && t33 < INT64_C(3))) { (void)cint_index_check(ctx, cs194, "index.checked.i64", t33, INT64_C(3)); goto fault; } t34 = INT64_C(0); cg_st->g_mode_state[t33] = t34; t35 = l1_c; if (!(t35 >= 0 && t35 < INT64_C(3))) { (void)cint_index_check(ctx, cs195, "index.checked.u64", t35, INT64_C(3)); goto fault; } t36 = UINT64_C(14695981039346656037); cg_st->g_digest_state[t35] = t36; t37 = l1_c; t38 = INT64_C(1); t39 = cint_add_wrap_i64(t37, t38); l1_c = t39; goto L36_h; L36_e:; t40 = INT64_C(1); if (!(t40 >= 0 && t40 < INT64_C(3))) { (void)cint_index_check(ctx, cs196, "index.checked.i1024", t40, INT64_C(3)); goto fault; } t41 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t42 = (cint_i1024){{UINT64_C(0xa3d9e40000000000), UINT64_C(0xbc627050305adf14), UINT64_C(0x0000000000000b7a), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_add_i1024(ctx, cs197, &t41, &t42, &t43)) goto fault; cg_st->g_m_state[t40] = t43; t44 = INT64_C(2); if (!(t44 >= 0 && t44 < INT64_C(3))) { (void)cint_index_check(ctx, cs198, "index.checked.i1024", t44, INT64_C(3)); goto fault; } t45 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t46 = (cint_i1024){{UINT64_C(0x47b3c80000000000), UINT64_C(0x78c4e0a060b5be29), UINT64_C(0x00000000000016f5), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_add_i1024(ctx, cs199, &t45, &t46, &t47)) goto fault; cg_st->g_m_state[t44] = t47; t48 = INT64_C(0); t49 = INT64_C(3); l2_c = t48; L91_h:; t50 = l2_c; t51 = t50 < t49; if (!t51) goto L91_e; if (!cint_fuel_charge(ctx, cs200, 1u)) goto fault; t52 = l2_c; if (!(t52 >= 0 && t52 < INT64_C(3))) { (void)cint_index_check(ctx, cs201, "index.checked.i1024", t52, INT64_C(3)); goto fault; } t53 = cg_st->g_m_state[t52]; t54 = l0_v0; t55 = l0_v0; if (!cint_rt_call_enter(ctx, cs202)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t54, t55, &t56)) goto fault; cint_rt_call_leave(ctx); if (!cint_rt_call_enter(ctx, cs203)) goto fault; if (!ci_5_chirp_4_qdiv(ctx, t53, t56, &t57)) goto fault; cint_rt_call_leave(ctx); l3_r = t57; t58 = l2_c; if (!(t58 >= 0 && t58 < INT64_C(3))) { (void)cint_index_check(ctx, cs204, "index.checked.i1024", t58, INT64_C(3)); goto fault; } t59 = l3_r; cg_st->g_r_state[t58] = t59; t60 = l2_c; if (!(t60 >= 0 && t60 < INT64_C(3))) { (void)cint_index_check(ctx, cs205, "index.checked.i1024", t60, INT64_C(3)); goto fault; } t61 = l2_c; if (!(t61 >= 0 && t61 < INT64_C(3))) { (void)cint_index_check(ctx, cs206, "index.checked.i1024", t61, INT64_C(3)); goto fault; } t62 = cg_st->g_amp_state[t61]; cg_st->g_hp_state[t60] = t62; t63 = l2_c; if (!(t63 >= 0 && t63 < INT64_C(3))) { (void)cint_index_check(ctx, cs207, "index.checked.i1024", t63, INT64_C(3)); goto fault; } t64 = (cint_i1024){{0}}; cg_st->g_hx_state[t63] = t64; t65 = l2_c; if (!(t65 >= 0 && t65 < INT64_C(3))) { (void)cint_index_check(ctx, cs208, "index.checked.i1024", t65, INT64_C(3)); goto fault; } t66 = l0_v0; t67 = l0_v0; t68 = l0_v0; if (!cint_rt_call_enter(ctx, cs209)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t67, t68, &t69)) goto fault; cint_rt_call_leave(ctx); if (!cint_rt_call_enter(ctx, cs210)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t66, t69, &t70)) goto fault; cint_rt_call_leave(ctx); t71 = (cint_i1024){{UINT64_C(0xd0bf05d968bbdf61), UINT64_C(0xb400b910585237de), UINT64_C(0x7c0db9ffec08cc0f), UINT64_C(0x00000000000001f4), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_rt_call_enter(ctx, cs211)) goto fault; if (!ci_5_chirp_4_qdiv(ctx, t70, t71, &t72)) goto fault; cint_rt_call_leave(ctx); cg_st->g_f_state[t65] = t72; t73 = l3_r; t74 = (cint_i1024){{UINT64_C(0x0000000000000002), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs212, &t73, &t74, &t75)) goto fault; l4_half_r = t75; t76 = l4_half_r; t77 = (cint_i1024){{UINT64_C(0x9240000000000000), UINT64_C(0xc51999090b65f67d), UINT64_C(0x000a70c3c40a64e6), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs213, &t76, &t77, &t78)) goto fault; if (!cint_as_i64_from_i1024(ctx, cs214, &t78, &t79)) goto fault; l5_x1 = t79; t80 = l2_c; t81 = INT64_C(2); if (!cint_mul_i64(ctx, cs215, t80, t81, &t82)) goto fault; if (!(t82 >= 0 && t82 < INT64_C(6))) { (void)cint_index_check(ctx, cs216, "index.checked.i64", t82, INT64_C(6)); goto fault; } t83 = l5_x1; cg_st->g_body_x[t82] = t83; t84 = l2_c; t85 = INT64_C(2); if (!cint_mul_i64(ctx, cs217, t84, t85, &t86)) goto fault; if (!(t86 >= 0 && t86 < INT64_C(6))) { (void)cint_index_check(ctx, cs218, "index.checked.i64", t86, INT64_C(6)); goto fault; } t87 = INT64_C(0); cg_st->g_body_y[t86] = t87; t88 = l2_c; t89 = INT64_C(2); if (!cint_mul_i64(ctx, cs219, t88, t89, &t90)) goto fault; t91 = INT64_C(1); if (!cint_add_i64(ctx, cs220, t90, t91, &t92)) goto fault; if (!(t92 >= 0 && t92 < INT64_C(6))) { (void)cint_index_check(ctx, cs221, "index.checked.i64", t92, INT64_C(6)); goto fault; } t93 = l5_x1; if (!cint_neg_i64(ctx, cs222, t93, &t94)) goto fault; cg_st->g_body_x[t92] = t94; t95 = l2_c; t96 = INT64_C(2); if (!cint_mul_i64(ctx, cs223, t95, t96, &t97)) goto fault; t98 = INT64_C(1); if (!cint_add_i64(ctx, cs224, t97, t98, &t99)) goto fault; if (!(t99 >= 0 && t99 < INT64_C(6))) { (void)cint_index_check(ctx, cs225, "index.checked.i64", t99, INT64_C(6)); goto fault; } t100 = INT64_C(0); cg_st->g_body_y[t99] = t100; t101 = l2_c; t102 = INT64_C(1); t103 = cint_add_wrap_i64(t101, t102); l2_c = t103; goto L91_h; L91_e:; t104 = INT64_C(0); cg_st->g_tether = t104; *result = v_preset; return true; fault: return false; } static bool ci_5_chirp_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 cs227 = {0u, 227u}; (void)cs227; static const cint_site cs228 = {0u, 228u}; (void)cs228; 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, cs227, 1u)) goto fault; if (!cint_rt_call_enter(ctx, cs228)) goto fault; if (!ci_5_chirp_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_5_chirp_4_pull(cint_ctx *ctx, int64_t v_k, int64_t *result) { cg_5_chirp_state *const cg_st = (cg_5_chirp_state *)cint_rt_state(ctx, &cg_5_chirp_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_5_chirp_12_read_x5Fslot(cint_ctx *ctx, int64_t v_c, int64_t v_slot, 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; 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; int64_t t16 = 0; int64_t t17 = 0; bool t18 = false; int64_t t19 = 0; int64_t t20 = 0; int64_t t21 = 0; int64_t t22 = 0; int64_t t23 = 0; int64_t t24 = 0; bool t25 = false; cint_i1024 t26 = {0}; cint_i1024 t27 = {0}; cint_i1024 t28 = {0}; int64_t t29 = 0; int64_t t30 = 0; bool t31 = false; cint_i1024 t32 = {0}; cint_i1024 t33 = {0}; cint_i1024 t34 = {0}; int64_t t35 = 0; int64_t t36 = 0; bool t37 = false; cint_i1024 t38 = {0}; cint_i1024 t39 = {0}; cint_i1024 t40 = {0}; int64_t t41 = 0; int64_t t42 = 0; bool t43 = false; cint_i1024 t44 = {0}; cint_i1024 t45 = {0}; cint_i1024 t46 = {0}; int64_t t47 = 0; int64_t t48 = 0; bool t49 = false; cint_i1024 t50 = {0}; cint_i1024 t51 = {0}; cint_i1024 t52 = {0}; int64_t t53 = 0; int64_t t54 = 0; bool t55 = false; cint_i1024 t56 = {0}; cint_i1024 t57 = {0}; cint_i1024 t58 = {0}; int64_t t59 = 0; int64_t t60 = 0; bool t61 = false; int64_t t62 = 0; int64_t t63 = 0; bool t64 = false; cint_i1024 t65 = {0}; cint_i1024 t66 = {0}; cint_i1024 t67 = {0}; int64_t t68 = 0; int64_t t69 = 0; bool t70 = false; cint_i1024 t71 = {0}; int64_t t72 = 0; cint_i1024 t73 = {0}; cint_i1024 t74 = {0}; cint_i1024 t75 = {0}; cint_i1024 t76 = {0}; int64_t t77 = 0; int64_t t78 = 0; cg_5_chirp_state *const cg_st = (cg_5_chirp_state *)cint_rt_state(ctx, &cg_5_chirp_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_c; (void)v_slot; (void)result; 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; static const cint_site cs235 = {0u, 235u}; (void)cs235; 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; static const cint_site cs250 = {0u, 250u}; (void)cs250; 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; static const cint_site cs257 = {0u, 257u}; (void)cs257; 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; static const cint_site cs264 = {0u, 264u}; (void)cs264; static const cint_site cs265 = {0u, 265u}; (void)cs265; static const cint_site cs266 = {0u, 266u}; (void)cs266; static const cint_site cs267 = {0u, 267u}; (void)cs267; t0 = INT64_C(0); t1 = v_slot == t0; if (!t1) goto L5_f; t2 = INT64_C(2); if (!cint_mul_i64(ctx, cs231, v_c, t2, &t3)) goto fault; if (!(t3 >= 0 && t3 < INT64_C(6))) { (void)cint_index_check(ctx, cs232, "index.checked.i64", t3, INT64_C(6)); goto fault; } t4 = cg_st->g_body_x[t3]; *result = t4; return true; L5_f:; t5 = INT64_C(1); t6 = v_slot == t5; if (!t6) goto L17_f; t7 = INT64_C(2); if (!cint_mul_i64(ctx, cs233, v_c, t7, &t8)) goto fault; if (!(t8 >= 0 && t8 < INT64_C(6))) { (void)cint_index_check(ctx, cs234, "index.checked.i64", t8, INT64_C(6)); goto fault; } t9 = cg_st->g_body_y[t8]; *result = t9; return true; L17_f:; t10 = INT64_C(2); t11 = v_slot == t10; if (!t11) goto L29_f; t12 = INT64_C(2); if (!cint_mul_i64(ctx, cs235, v_c, t12, &t13)) goto fault; t14 = INT64_C(1); if (!cint_add_i64(ctx, cs236, t13, t14, &t15)) goto fault; if (!(t15 >= 0 && t15 < INT64_C(6))) { (void)cint_index_check(ctx, cs237, "index.checked.i64", t15, INT64_C(6)); goto fault; } t16 = cg_st->g_body_x[t15]; *result = t16; return true; L29_f:; t17 = INT64_C(3); t18 = v_slot == t17; if (!t18) goto L43_f; t19 = INT64_C(2); if (!cint_mul_i64(ctx, cs238, v_c, t19, &t20)) goto fault; t21 = INT64_C(1); if (!cint_add_i64(ctx, cs239, t20, t21, &t22)) goto fault; if (!(t22 >= 0 && t22 < INT64_C(6))) { (void)cint_index_check(ctx, cs240, "index.checked.i64", t22, INT64_C(6)); goto fault; } t23 = cg_st->g_body_y[t22]; *result = t23; return true; L43_f:; t24 = INT64_C(4); t25 = v_slot == t24; if (!t25) goto L57_f; if (!(v_c >= 0 && v_c < INT64_C(3))) { (void)cint_index_check(ctx, cs241, "index.checked.i1024", v_c, INT64_C(3)); goto fault; } t26 = cg_st->g_r_state[v_c]; t27 = (cint_i1024){{UINT64_C(0x9240000000000000), UINT64_C(0xc51999090b65f67d), UINT64_C(0x000a70c3c40a64e6), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs242, &t26, &t27, &t28)) goto fault; if (!cint_as_i64_from_i1024(ctx, cs243, &t28, &t29)) goto fault; *result = t29; return true; L57_f:; t30 = INT64_C(5); t31 = v_slot == t30; if (!t31) goto L70_f; if (!(v_c >= 0 && v_c < INT64_C(3))) { (void)cint_index_check(ctx, cs244, "index.checked.i1024", v_c, INT64_C(3)); goto fault; } t32 = cg_st->g_v_state[v_c]; t33 = (cint_i1024){{UINT64_C(0x9240000000000000), UINT64_C(0xc51999090b65f67d), UINT64_C(0x000a70c3c40a64e6), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs245, &t32, &t33, &t34)) goto fault; if (!cint_as_i64_from_i1024(ctx, cs246, &t34, &t35)) goto fault; *result = t35; return true; L70_f:; t36 = INT64_C(6); t37 = v_slot == t36; if (!t37) goto L83_f; if (!(v_c >= 0 && v_c < INT64_C(3))) { (void)cint_index_check(ctx, cs247, "index.checked.i1024", v_c, INT64_C(3)); goto fault; } t38 = cg_st->g_phi_state[v_c]; t39 = (cint_i1024){{UINT64_C(0x9240000000000000), UINT64_C(0xc51999090b65f67d), UINT64_C(0x000a70c3c40a64e6), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs248, &t38, &t39, &t40)) goto fault; if (!cint_as_i64_from_i1024(ctx, cs249, &t40, &t41)) goto fault; *result = t41; return true; L83_f:; t42 = INT64_C(7); t43 = v_slot == t42; if (!t43) goto L96_f; if (!(v_c >= 0 && v_c < INT64_C(3))) { (void)cint_index_check(ctx, cs250, "index.checked.i1024", v_c, INT64_C(3)); goto fault; } t44 = cg_st->g_f_state[v_c]; t45 = (cint_i1024){{UINT64_C(0x9240000000000000), UINT64_C(0xc51999090b65f67d), UINT64_C(0x000a70c3c40a64e6), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs251, &t44, &t45, &t46)) goto fault; if (!cint_as_i64_from_i1024(ctx, cs252, &t46, &t47)) goto fault; *result = t47; return true; L96_f:; t48 = INT64_C(8); t49 = v_slot == t48; if (!t49) goto L109_f; if (!(v_c >= 0 && v_c < INT64_C(3))) { (void)cint_index_check(ctx, cs253, "index.checked.i1024", v_c, INT64_C(3)); goto fault; } t50 = cg_st->g_hp_state[v_c]; t51 = (cint_i1024){{UINT64_C(0x9240000000000000), UINT64_C(0xc51999090b65f67d), UINT64_C(0x000a70c3c40a64e6), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs254, &t50, &t51, &t52)) goto fault; if (!cint_as_i64_from_i1024(ctx, cs255, &t52, &t53)) goto fault; *result = t53; return true; L109_f:; t54 = INT64_C(9); t55 = v_slot == t54; if (!t55) goto L122_f; if (!(v_c >= 0 && v_c < INT64_C(3))) { (void)cint_index_check(ctx, cs256, "index.checked.i1024", v_c, INT64_C(3)); goto fault; } t56 = cg_st->g_hx_state[v_c]; t57 = (cint_i1024){{UINT64_C(0x9240000000000000), UINT64_C(0xc51999090b65f67d), UINT64_C(0x000a70c3c40a64e6), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs257, &t56, &t57, &t58)) goto fault; if (!cint_as_i64_from_i1024(ctx, cs258, &t58, &t59)) goto fault; *result = t59; return true; L122_f:; t60 = INT64_C(10); t61 = v_slot == t60; if (!t61) goto L135_f; if (!(v_c >= 0 && v_c < INT64_C(3))) { (void)cint_index_check(ctx, cs259, "index.checked.i64", v_c, INT64_C(3)); goto fault; } t62 = cg_st->g_mode_state[v_c]; *result = t62; return true; L135_f:; t63 = INT64_C(11); t64 = v_slot == t63; if (!t64) goto L145_f; if (!(v_c >= 0 && v_c < INT64_C(3))) { (void)cint_index_check(ctx, cs260, "index.checked.i1024", v_c, INT64_C(3)); goto fault; } t65 = cg_st->g_amp_state[v_c]; t66 = (cint_i1024){{UINT64_C(0x9240000000000000), UINT64_C(0xc51999090b65f67d), UINT64_C(0x000a70c3c40a64e6), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs261, &t65, &t66, &t67)) goto fault; if (!cint_as_i64_from_i1024(ctx, cs262, &t67, &t68)) goto fault; *result = t68; return true; L145_f:; t69 = INT64_C(12); t70 = v_slot == t69; if (!t70) goto L158_f; if (!(v_c >= 0 && v_c < INT64_C(3))) { (void)cint_index_check(ctx, cs263, "index.checked.i1024", v_c, INT64_C(3)); goto fault; } t71 = cg_st->g_phi_state[v_c]; t72 = INT64_C(0); if (!(t72 >= 0 && t72 < INT64_C(3))) { (void)cint_index_check(ctx, cs264, "index.checked.i1024", t72, INT64_C(3)); goto fault; } t73 = cg_st->g_phi_state[t72]; if (!cint_sub_i1024(ctx, cs265, &t71, &t73, &t74)) goto fault; t75 = (cint_i1024){{UINT64_C(0x9240000000000000), UINT64_C(0xc51999090b65f67d), UINT64_C(0x000a70c3c40a64e6), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs266, &t74, &t75, &t76)) goto fault; if (!cint_as_i64_from_i1024(ctx, cs267, &t76, &t77)) goto fault; *result = t77; return true; L158_f:; t78 = INT64_C(0); *result = t78; return true; fault: return false; } static bool ci_5_chirp_12_digest_x5Fof(cint_ctx *ctx, int64_t v_c, uint64_t *result) { uint64_t t0 = 0; cg_5_chirp_state *const cg_st = (cg_5_chirp_state *)cint_rt_state(ctx, &cg_5_chirp_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_c; (void)result; static const cint_site cs269 = {0u, 269u}; (void)cs269; if (!(v_c >= 0 && v_c < INT64_C(3))) { (void)cint_index_check(ctx, cs269, "index.checked.u64", v_c, INT64_C(3)); goto fault; } t0 = cg_st->g_digest_state[v_c]; *result = t0; return true; fault: return false; } static bool ci_5_chirp_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; uint64_t t10 = 0; uint64_t t11 = 0; uint64_t t12 = 0; uint64_t l0_d0 = 0; uint64_t l1_d1 = 0; uint64_t l2_d2 = 0; (void)ctx; (void)l0_d0; (void)l1_d1; (void)l2_d2; static const cint_site cs271 = {0u, 271u}; (void)cs271; static const cint_site cs272 = {0u, 272u}; (void)cs272; 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; t0 = INT64_C(0); if (!cint_rt_call_enter(ctx, cs271)) goto fault; if (!ci_5_chirp_5_start(ctx, t0, &t1)) goto fault; cint_rt_call_leave(ctx); (void)t1; t2 = INT64_C(1000); if (!cint_rt_call_enter(ctx, cs272)) goto fault; if (!ci_5_chirp_7_advance(ctx, t2, &t3)) goto fault; cint_rt_call_leave(ctx); (void)t3; t4 = INT64_C(0); if (!cint_rt_call_enter(ctx, cs273)) goto fault; if (!ci_5_chirp_12_digest_x5Fof(ctx, t4, &t5)) goto fault; cint_rt_call_leave(ctx); l0_d0 = t5; t6 = INT64_C(1); if (!cint_rt_call_enter(ctx, cs274)) goto fault; if (!ci_5_chirp_12_digest_x5Fof(ctx, t6, &t7)) goto fault; cint_rt_call_leave(ctx); l1_d1 = t7; t8 = INT64_C(2); if (!cint_rt_call_enter(ctx, cs275)) goto fault; if (!ci_5_chirp_12_digest_x5Fof(ctx, t8, &t9)) goto fault; cint_rt_call_leave(ctx); l2_d2 = t9; t10 = l0_d0; t11 = l1_d1; t12 = l2_d2; if (!cint_rt_print_begin(ctx, cs276)) goto fault; if (!cint_rt_print_bytes(ctx, "chirp receipt: tick=1000 d0=", 28u)) goto fault; if (!cint_rt_print_value(ctx, CINT_TAG_U64, (uint64_t)t10)) goto fault; if (!cint_rt_print_bytes(ctx, " d1=", 4u)) goto fault; if (!cint_rt_print_value(ctx, CINT_TAG_U64, (uint64_t)t11)) goto fault; if (!cint_rt_print_bytes(ctx, " d2=", 4u)) goto fault; if (!cint_rt_print_value(ctx, CINT_TAG_U64, (uint64_t)t12)) goto fault; if (!cint_rt_print_bytes(ctx, "\n", 1u)) goto fault; if (!cint_rt_print_end(ctx)) goto fault; return true; fault: return false; } static bool cg_5_chirp_tb0(cint_ctx *ctx) { cint_i1024 t0 = {0}; cint_i1024 t1 = {0}; cint_i1024 t2 = {0}; cint_i1024 t3 = {0}; cint_i1024 t4 = {0}; cint_i1024 t5 = {0}; cint_i1024 t6 = {0}; cint_i1024 t7 = {0}; cint_i1024 t8 = {0}; cint_i1024 t9 = {0}; cint_i1024 t10 = {0}; cint_i1024 t11 = {0}; cint_i1024 t12 = {0}; cint_i1024 t13 = {0}; bool t14 = false; cint_i1024 t15 = {0}; cint_i1024 t16 = {0}; cint_i1024 t17 = {0}; cint_i1024 t18 = {0}; bool t19 = false; cint_i1024 l0_v_02 = {0}; cint_i1024 l1_dv = {0}; cint_i1024 l2_expected = {0}; cint_i1024 l3_diff = {0}; (void)ctx; (void)l0_v_02; (void)l1_dv; (void)l2_expected; (void)l3_diff; static const cint_site cs278 = {0u, 278u}; (void)cs278; static const cint_site cs279 = {0u, 279u}; (void)cs279; static const cint_site cs280 = {0u, 280u}; (void)cs280; 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; t0 = (cint_i1024){{UINT64_C(0x0000000000000002), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t1 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_mul_i1024(ctx, cs278, &t0, &t1, &t2)) goto fault; t3 = (cint_i1024){{UINT64_C(0x000000000000000a), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs279, &t2, &t3, &t4)) goto fault; l0_v_02 = t4; t5 = l0_v_02; t6 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_rt_call_enter(ctx, cs280)) goto fault; if (!ci_5_chirp_20_taylor_x5Ft4_x5Fdvdt(ctx, t5, t6, &t7)) goto fault; cint_rt_call_leave(ctx); l1_dv = t7; t8 = (cint_i1024){{UINT64_C(0xb51181f9ffdb64ea), UINT64_C(0x28ff9e5089cd65ec), UINT64_C(0x00086df0e39fddd2), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; l2_expected = t8; t9 = l1_dv; t10 = l2_expected; if (!cint_sub_i1024(ctx, cs281, &t9, &t10, &t11)) goto fault; l3_diff = t11; t12 = l3_diff; t13 = (cint_i1024){{0}}; t14 = cint_lt_i1024(&t12, &t13); if (!t14) goto L28_f; t15 = l3_diff; if (!cint_neg_i1024(ctx, cs282, &t15, &t16)) goto fault; l3_diff = t16; goto L23_e; L28_f:; L23_e:; t17 = l3_diff; t18 = (cint_i1024){{UINT64_C(0x4674edea40000000), UINT64_C(0x0000000c9f2c9cd0), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t19 = cint_lt_i1024(&t17, &t18); if (!t19 && !cint_rt_fault_assert_wide(ctx, cs283, CINT_TAG_I1024, t17.limb, t18.limb)) goto fault; return true; fault: return false; } static bool cg_5_chirp_tb1(cint_ctx *ctx) { cint_i1024 t0 = {0}; cint_i1024 t1 = {0}; cint_i1024 t2 = {0}; cint_i1024 t3 = {0}; cint_i1024 t4 = {0}; cint_i1024 t5 = {0}; cint_i1024 t6 = {0}; cint_i1024 t7 = {0}; cint_i1024 t8 = {0}; cint_i1024 t9 = {0}; cint_i1024 t10 = {0}; cint_i1024 t11 = {0}; cint_i1024 t12 = {0}; cint_i1024 t13 = {0}; cint_i1024 t14 = {0}; cint_i1024 t15 = {0}; cint_i1024 t16 = {0}; cint_i1024 t17 = {0}; bool t18 = false; cint_i1024 l0_v1 = {0}; cint_i1024 l1_v2 = {0}; cint_i1024 l2_amp1 = {0}; cint_i1024 l3_amp2 = {0}; (void)ctx; (void)l0_v1; (void)l1_v2; (void)l2_amp1; (void)l3_amp2; 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; t0 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t1 = (cint_i1024){{UINT64_C(0x000000000000000a), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs285, &t0, &t1, &t2)) goto fault; l0_v1 = t2; t3 = (cint_i1024){{UINT64_C(0x0000000000000002), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t4 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_mul_i1024(ctx, cs286, &t3, &t4, &t5)) goto fault; t6 = (cint_i1024){{UINT64_C(0x000000000000000a), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_div_i1024(ctx, cs287, &t5, &t6, &t7)) goto fault; l1_v2 = t7; t8 = l0_v1; t9 = l0_v1; if (!cint_rt_call_enter(ctx, cs288)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t8, t9, &t10)) goto fault; cint_rt_call_leave(ctx); l2_amp1 = t10; t11 = l1_v2; t12 = l1_v2; if (!cint_rt_call_enter(ctx, cs289)) goto fault; if (!ci_5_chirp_4_qmul(ctx, t11, t12, &t13)) goto fault; cint_rt_call_leave(ctx); l3_amp2 = t13; t14 = l3_amp2; t15 = (cint_i1024){{UINT64_C(0x0000000000000004), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t16 = l2_amp1; if (!cint_mul_i1024(ctx, cs290, &t15, &t16, &t17)) goto fault; t18 = cint_eq_i1024(&t14, &t17); if (!t18 && !cint_rt_fault_assert_wide(ctx, cs291, CINT_TAG_I1024, t14.limb, t17.limb)) goto fault; return true; fault: return false; } static bool cg_5_chirp_tb2(cint_ctx *ctx) { 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; bool t11 = false; cint_i1024 t12 = {0}; cint_i1024 t13 = {0}; cint_i1024 t14 = {0}; int64_t t15 = 0; cint_i1024 t16 = {0}; cint_i1024 t17 = {0}; bool t18 = false; cint_i1024 l0_r_isco = {0}; cg_5_chirp_state *const cg_st = (cg_5_chirp_state *)cint_rt_state(ctx, &cg_5_chirp_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)l0_r_isco; static const cint_site cs293 = {0u, 293u}; (void)cs293; static const cint_site cs294 = {0u, 294u}; (void)cs294; static const cint_site cs295 = {0u, 295u}; (void)cs295; 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; t0 = INT64_C(0); if (!cint_rt_call_enter(ctx, cs293)) goto fault; if (!ci_5_chirp_5_start(ctx, t0, &t1)) goto fault; cint_rt_call_leave(ctx); (void)t1; t2 = INT64_C(0); if (!(t2 >= 0 && t2 < INT64_C(3))) { (void)cint_index_check(ctx, cs294, "index.checked.i64", t2, INT64_C(3)); goto fault; } t3 = cg_st->g_mode_state[t2]; t4 = INT64_C(0); t5 = t3 == t4; if (!t5 && !cint_rt_fault_assert(ctx, cs295, CINT_TAG_I64, (uint64_t)t3, (uint64_t)t4)) goto fault; t6 = INT64_C(1300); if (!cint_rt_call_enter(ctx, cs296)) goto fault; if (!ci_5_chirp_7_advance(ctx, t6, &t7)) goto fault; cint_rt_call_leave(ctx); (void)t7; t8 = INT64_C(0); 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_mode_state[t8]; t10 = INT64_C(1); t11 = t9 == t10; if (!t11 && !cint_rt_fault_assert(ctx, cs298, CINT_TAG_I64, (uint64_t)t9, (uint64_t)t10)) goto fault; t12 = (cint_i1024){{UINT64_C(0x0000000000000006), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t13 = (cint_i1024){{UINT64_C(0x1000000000000000), UINT64_C(0xd762422c946590d9), UINT64_C(0x4f2726179a224501), UINT64_C(0x000000000000009f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; if (!cint_mul_i1024(ctx, cs299, &t12, &t13, &t14)) goto fault; l0_r_isco = t14; t15 = INT64_C(0); if (!(t15 >= 0 && t15 < INT64_C(3))) { (void)cint_index_check(ctx, cs300, "index.checked.i1024", t15, INT64_C(3)); goto fault; } t16 = cg_st->g_r_state[t15]; t17 = l0_r_isco; t18 = cint_lt_i1024(&t16, &t17); if (!t18 && !cint_rt_fault_assert_wide(ctx, cs301, CINT_TAG_I1024, t16.limb, t17.limb)) goto fault; return true; fault: return false; } static bool cg_5_chirp_tb3(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; cint_i1024 t7 = {0}; int64_t t8 = 0; cint_i1024 t9 = {0}; cint_i1024 t10 = {0}; cint_i1024 t11 = {0}; cint_i1024 t12 = {0}; bool t13 = false; cint_i1024 t14 = {0}; cint_i1024 t15 = {0}; cint_i1024 t16 = {0}; cint_i1024 t17 = {0}; bool t18 = false; cint_i1024 l0_dphi_b = {0}; cg_5_chirp_state *const cg_st = (cg_5_chirp_state *)cint_rt_state(ctx, &cg_5_chirp_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)l0_dphi_b; 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; static const cint_site cs309 = {0u, 309u}; (void)cs309; static const cint_site cs310 = {0u, 310u}; (void)cs310; t0 = INT64_C(0); if (!cint_rt_call_enter(ctx, cs303)) goto fault; if (!ci_5_chirp_5_start(ctx, t0, &t1)) goto fault; cint_rt_call_leave(ctx); (void)t1; t2 = INT64_C(100); if (!cint_rt_call_enter(ctx, cs304)) goto fault; if (!ci_5_chirp_4_pull(ctx, t2, &t3)) goto fault; cint_rt_call_leave(ctx); (void)t3; t4 = INT64_C(800); if (!cint_rt_call_enter(ctx, cs305)) goto fault; if (!ci_5_chirp_7_advance(ctx, t4, &t5)) goto fault; cint_rt_call_leave(ctx); (void)t5; t6 = INT64_C(1); if (!(t6 >= 0 && t6 < INT64_C(3))) { (void)cint_index_check(ctx, cs306, "index.checked.i1024", t6, INT64_C(3)); goto fault; } t7 = cg_st->g_phi_state[t6]; t8 = INT64_C(0); if (!(t8 >= 0 && t8 < INT64_C(3))) { (void)cint_index_check(ctx, cs307, "index.checked.i1024", t8, INT64_C(3)); goto fault; } t9 = cg_st->g_phi_state[t8]; if (!cint_sub_i1024(ctx, cs308, &t7, &t9, &t10)) goto fault; l0_dphi_b = t10; t11 = l0_dphi_b; t12 = (cint_i1024){{0}}; t13 = cint_lt_i1024(&t11, &t12); if (!t13) goto L27_f; t14 = l0_dphi_b; if (!cint_neg_i1024(ctx, cs309, &t14, &t15)) goto fault; l0_dphi_b = t15; goto L22_e; L27_f:; L22_e:; t16 = l0_dphi_b; t17 = (cint_i1024){{UINT64_C(0x0b22a00000000000), UINT64_C(0xe086b93ce2f768a0), UINT64_C(0x00000000002cd76f), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000)}}; t18 = cint_lt_i1024(&t16, &t17); if (!t18 && !cint_rt_fault_assert_wide(ctx, cs310, CINT_TAG_I1024, t16.limb, t17.limb)) goto fault; return true; fault: return false; } static bool cg_5_chirp_tb4(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; (void)ctx; 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; t0 = INT64_C(0); if (!cint_rt_call_enter(ctx, cs312)) goto fault; if (!ci_5_chirp_5_start(ctx, t0, &t1)) goto fault; cint_rt_call_leave(ctx); (void)t1; t2 = INT64_C(1000); if (!cint_rt_call_enter(ctx, cs313)) goto fault; if (!ci_5_chirp_7_advance(ctx, t2, &t3)) goto fault; cint_rt_call_leave(ctx); (void)t3; t4 = INT64_C(0); if (!cint_rt_call_enter(ctx, cs314)) goto fault; if (!ci_5_chirp_12_digest_x5Fof(ctx, t4, &t5)) goto fault; cint_rt_call_leave(ctx); t6 = UINT64_C(14576398344542445859); t7 = t5 == t6; if (!t7 && !cint_rt_fault_assert(ctx, cs315, CINT_TAG_U64, (uint64_t)t5, (uint64_t)t6)) goto fault; t8 = INT64_C(1); if (!cint_rt_call_enter(ctx, cs316)) goto fault; if (!ci_5_chirp_12_digest_x5Fof(ctx, t8, &t9)) goto fault; cint_rt_call_leave(ctx); t10 = UINT64_C(16148053973575091900); t11 = t9 == t10; if (!t11 && !cint_rt_fault_assert(ctx, cs317, CINT_TAG_U64, (uint64_t)t9, (uint64_t)t10)) goto fault; t12 = INT64_C(2); if (!cint_rt_call_enter(ctx, cs318)) goto fault; if (!ci_5_chirp_12_digest_x5Fof(ctx, t12, &t13)) goto fault; cint_rt_call_leave(ctx); t14 = UINT64_C(6304118998254214534); t15 = t13 == t14; if (!t15 && !cint_rt_fault_assert(ctx, cs319, CINT_TAG_U64, (uint64_t)t13, (uint64_t)t14)) goto fault; return true; fault: return false; } static const uint32_t cg_5_chirp_t0[3] = {CINT_TAG_I64, 1u, CINT_TAG_I64}; static cint_status cg_5_chirp_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, 181u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_5_chirp_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_5_chirp_t1[3] = {CINT_TAG_I64, 1u, CINT_TAG_I64}; static cint_status cg_5_chirp_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, 226u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_5_chirp_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_5_chirp_t2[3] = {CINT_TAG_I64, 1u, CINT_TAG_I64}; static cint_status cg_5_chirp_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, 229u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_5_chirp_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_5_chirp_t3[4] = {CINT_TAG_I64, 2u, CINT_TAG_I64, CINT_TAG_I64}; static cint_status cg_5_chirp_o3(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, 230u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_5_chirp_12_read_x5Fslot(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_5_chirp_t4[3] = {CINT_TAG_U64, 1u, CINT_TAG_I64}; static cint_status cg_5_chirp_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, 268u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_5_chirp_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; } CINT_RT_EXPORT cint_status cx_5_chirp_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, 181u}, 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, 181u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_5_chirp_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_5_chirp_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, 226u}, 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, 226u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_5_chirp_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_5_chirp_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, 229u}, 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, 229u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_5_chirp_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_5_chirp_12_read_x5Fslot(cint_ctx *ctx, int64_t fuel, int64_t p_c, 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, 230u}, 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, 230u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_5_chirp_12_read_x5Fslot(ctx, p_c, p_slot, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = r; } return st; } CINT_RT_EXPORT cint_status cx_5_chirp_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, 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_5_chirp_12_digest_x5Fof(ctx, p_c, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = r; } return st; } CINT_RT_INTERNAL const cint_observer_entry cg_5_chirp_obs[5] = { {0u, 5u, "start", cg_5_chirp_t0, cg_5_chirp_o0}, {0u, 7u, "advance", cg_5_chirp_t1, cg_5_chirp_o1}, {0u, 4u, "pull", cg_5_chirp_t2, cg_5_chirp_o2}, {0u, 9u, "read_slot", cg_5_chirp_t3, cg_5_chirp_o3}, {0u, 9u, "digest_of", cg_5_chirp_t4, cg_5_chirp_o4}, }; static const cint_name cg_5_chirp_xn0[1] = { {"preset", 6u, 0u}, }; static const uint8_t cg_5_chirp_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_5_chirp_xn1[1] = { {"ticks", 5u, 0u}, }; static const uint8_t cg_5_chirp_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, 0x01, 0x00, 0x00, 0x00, 0x00, 0x14, 0x14, }; static const cint_name cg_5_chirp_xn2[1] = { {"k", 1u, 0u}, }; static const uint8_t cg_5_chirp_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_5_chirp_xn3[2] = { {"c", 1u, 0u}, {"slot", 4u, 0u}, }; static const uint8_t cg_5_chirp_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, 0x14, 0x14, }; static const cint_name cg_5_chirp_xn4[1] = { {"c", 1u, 0u}, }; static const uint8_t cg_5_chirp_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_export cg_5_chirp_exports[5] = { {{"start", 5u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 1u, NULL, &cg_5_chirp_xn0[0], cg_5_chirp_xs0, (uint64_t)sizeof(cg_5_chirp_xs0), (cint_entry_fn)cx_5_chirp_5_start}, {{"advance", 7u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 1u, NULL, &cg_5_chirp_xn1[0], cg_5_chirp_xs1, (uint64_t)sizeof(cg_5_chirp_xs1), (cint_entry_fn)cx_5_chirp_7_advance}, {{"pull", 4u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 1u, NULL, &cg_5_chirp_xn2[0], cg_5_chirp_xs2, (uint64_t)sizeof(cg_5_chirp_xs2), (cint_entry_fn)cx_5_chirp_4_pull}, {{"read_slot", 9u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 2u, NULL, &cg_5_chirp_xn3[0], cg_5_chirp_xs3, (uint64_t)sizeof(cg_5_chirp_xs3), (cint_entry_fn)cx_5_chirp_12_read_x5Fslot}, {{"digest_of", 9u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 1u, NULL, &cg_5_chirp_xn4[0], cg_5_chirp_xs4, (uint64_t)sizeof(cg_5_chirp_xs4), (cint_entry_fn)cx_5_chirp_12_digest_x5Fof}, }; CINT_RT_INTERNAL const cint_module_table cg_5_chirp_table = {&cm_5_chirp, 0u, 5u, cg_5_chirp_exports, NULL}; CINT_RT_INTERNAL cint_status cg_5_chirp_run(cint_ctx *ctx, int64_t fuel) { cint_status st = cint_rt_entry_begin(ctx, (cint_site){0u, 270u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } (void)ci_5_chirp_4_main(ctx); return cint_rt_entry_end(ctx); } CINT_RT_INTERNAL cint_status cg_5_chirp_test0(cint_ctx *ctx, int64_t fuel) { cint_status st = cint_rt_entry_begin(ctx, (cint_site){0u, 277u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } (void)cg_5_chirp_tb0(ctx); return cint_rt_entry_end(ctx); } CINT_RT_INTERNAL cint_status cg_5_chirp_test1(cint_ctx *ctx, int64_t fuel) { cint_status st = cint_rt_entry_begin(ctx, (cint_site){0u, 284u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } (void)cg_5_chirp_tb1(ctx); return cint_rt_entry_end(ctx); } CINT_RT_INTERNAL cint_status cg_5_chirp_test2(cint_ctx *ctx, int64_t fuel) { cint_status st = cint_rt_entry_begin(ctx, (cint_site){0u, 292u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } (void)cg_5_chirp_tb2(ctx); return cint_rt_entry_end(ctx); } CINT_RT_INTERNAL cint_status cg_5_chirp_test3(cint_ctx *ctx, int64_t fuel) { cint_status st = cint_rt_entry_begin(ctx, (cint_site){0u, 302u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } (void)cg_5_chirp_tb3(ctx); return cint_rt_entry_end(ctx); } CINT_RT_INTERNAL cint_status cg_5_chirp_test4(cint_ctx *ctx, int64_t fuel) { cint_status st = cint_rt_entry_begin(ctx, (cint_site){0u, 311u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } (void)cg_5_chirp_tb4(ctx); return cint_rt_entry_end(ctx); }