Problem 551
Sum of Digits Sequence — memoized block jumps (PE forum / TheAlgorithms).
View problem on Project Euler
Performance comparison
| Metric | Our solution | Best known |
|---|
| Time complexity | O(n log n) | O(n) |
|---|
| Space complexity | O(n^2) | O(n) |
|---|
| Approach | Flow solution | Big-integer arithmetic |
|---|
| Verdict | Suboptimal |
|---|
Flow source
# Project Euler 551
# Sum of Digits Sequence — memoized block jumps (PE forum / TheAlgorithms).
extern {
function calloc(n: i64, size: i64) -> ptr<void>
function free(p: ptr<void>) -> void
function realloc(p: ptr<void>, size: i64) -> ptr<void>
}
const KMAX: i64 = 20
const MCAP: i64 = 8000009
const JMAX: i64 = 32
let mut D: ptr<i64> = null
let mut DLEN: i64 = 0
let mut DCAP: i64 = 0
let mut BASE: ptr<i128> = null
let mut MU: ptr<i8> = null
let mut MDS: ptr<i64> = null
let mut MC: ptr<i128> = null
let mut MNJ: ptr<i32> = null
let mut MDIFF: ptr<i128> = null
let mut MDN: ptr<i64> = null
let mut MK: ptr<i32> = null
let mut LAST_DIFF: ptr<i128> = null
function set_last_diff(d: i128) -> void {
LAST_DIFF[0] = d
}
function get_last_diff() -> i128 {
return LAST_DIFF[0]
}
function ensure(n: i64) -> void {
if n <= DCAP { return }
let mut cap: i64 = DCAP
if cap < 64 { cap = 64 }
while cap < n { cap = cap * 2 }
D = realloc(D, cap * 8)
let mut i: i64 = DCAP
while i < cap {
D[i] = 0
i = i + 1
}
DCAP = cap
}
function add_digits(k: i64, addend0: i128) -> void {
let mut addend: i128 = addend0
let mut j: i64 = k
while addend > 0 {
ensure(j + 1)
if j >= DLEN { DLEN = j + 1 }
let s: i128 = (D[j] as i128) + addend
D[j] = (s % 10) as i64
addend = s / 10
j = j + 1
}
}
function hash_kc(ds: i64, c: i128) -> i64 {
let mut x: i64 = ds * 1315423911
x = x ^ (c as i64)
x = x ^ ((c >> 32) as i64) * 2654435761
x = x ^ ((c >> 64) as i64)
if x < 0 { x = -x }
return x % MCAP
}
function memo_slot(ds: i64, c: i128) -> i64 {
let mut idx: i64 = hash_kc(ds, c)
let mut p: i64 = 0
while p < 10000 {
if MU[idx] == 0 {
MU[idx] = 1
MDS[idx] = ds
MC[idx] = c
MNJ[idx] = 0
return idx
}
if MDS[idx] == ds && MC[idx] == c {
return idx
}
idx = idx + 1
if idx >= MCAP { idx = 0 }
p = p + 1
}
return idx
}
function compute(k: i64, i0: i64, n: i64) -> i64 {
if i0 >= n {
set_last_diff(0)
return 0
}
ensure(k)
if DLEN < k { DLEN = k }
let mut i: i64 = i0
let mut ds_b: i64 = 0
let mut ds_c: i64 = 0
let mut j: i64 = 0
while j < DLEN {
if j >= k { ds_b = ds_b + D[j] } else { ds_c = ds_c + D[j] }
j = j + 1
}
let mut diff: i128 = 0
while i < n {
i = i + 1
let add0: i64 = ds_c + ds_b
diff = diff + (add0 as i128)
ds_c = 0
let mut addend: i64 = add0
j = 0
while j < k {
let s: i64 = D[j] + addend
D[j] = s % 10
addend = s / 10
ds_c = ds_c + D[j]
j = j + 1
}
if addend > 0 {
add_digits(k, addend as i128)
set_last_diff(diff)
return i - i0
}
}
set_last_diff(diff)
return i - i0
}
function next_term(k: i64, i0: i64, n: i64) -> i64 {
let mut ds_b: i64 = 0
let mut j: i64 = k
while j < DLEN {
ds_b = ds_b + D[j]
j = j + 1
}
let mut c: i128 = 0
j = 0
let lim: i64 = k
if lim > DLEN { lim = DLEN }
while j < lim {
c = c + (D[j] as i128) * BASE[j]
j = j + 1
}
let mut diff: i128 = 0
let mut dn: i64 = 0
let max_dn: i64 = n - i0
let slot: i64 = memo_slot(ds_b, c)
let nj0: i64 = MNJ[slot] as i64
let mut mj: i64 = -1
let mut t: i64 = nj0 - 1
while t >= 0 {
let bi: i64 = slot * JMAX + t
if (MK[bi] as i64) <= k && MDN[bi] <= max_dn {
mj = t
break
}
t = t - 1
}
if mj >= 0 {
let bi: i64 = slot * JMAX + mj
diff = MDIFF[bi]
dn = MDN[bi]
let mut new_c: i128 = diff + c
j = 0
while j < k {
ensure(j + 1)
if j >= DLEN { DLEN = j + 1 }
D[j] = (new_c % 10) as i64
new_c = new_c / 10
j = j + 1
}
if new_c > 0 {
add_digits(k, new_c)
}
}
if dn >= max_dn || c + diff >= BASE[k] {
set_last_diff(diff)
return dn
}
if k > 2 {
while true {
let terms: i64 = next_term(k - 1, i0 + dn, n)
diff = diff + get_last_diff()
dn = dn + terms
if dn >= max_dn || c + diff >= BASE[k] { break }
}
} else {
let terms: i64 = compute(k, i0 + dn, n)
diff = diff + get_last_diff()
dn = dn + terms
}
let mut nj: i64 = MNJ[slot] as i64
if nj < JMAX {
let mut jpos: i64 = 0
while jpos < nj {
if MDN[slot * JMAX + jpos] > dn { break }
jpos = jpos + 1
}
let mut u: i64 = nj
while u > jpos {
MDIFF[slot * JMAX + u] = MDIFF[slot * JMAX + u - 1]
MDN[slot * JMAX + u] = MDN[slot * JMAX + u - 1]
MK[slot * JMAX + u] = MK[slot * JMAX + u - 1]
u = u - 1
}
MDIFF[slot * JMAX + jpos] = diff
MDN[slot * JMAX + jpos] = dn
MK[slot * JMAX + jpos] = k as i32
MNJ[slot] = (nj + 1) as i32
}
set_last_diff(diff)
return dn
}
function solve(n: i64) -> i64 {
LAST_DIFF = calloc(1, 16)
BASE = calloc(KMAX + 2, 16)
BASE[0] = 1
let mut b: i64 = 1
while b <= KMAX {
BASE[b] = BASE[b - 1] * 10
b = b + 1
}
MU = calloc(MCAP, 1)
MDS = calloc(MCAP, 8)
MC = calloc(MCAP, 16)
MNJ = calloc(MCAP, 4)
MDIFF = calloc(MCAP * JMAX, 16)
MDN = calloc(MCAP * JMAX, 8)
MK = calloc(MCAP * JMAX, 4)
DCAP = 64
D = calloc(DCAP, 8)
D[0] = 1
DLEN = 1
let i0: i64 = 1
let mut dn: i64 = 0
while true {
let terms: i64 = next_term(KMAX, i0 + dn, n)
dn = dn + terms
if dn == n - i0 { break }
}
let mut ans: i64 = 0
let mut p: i64 = 1
let mut j: i64 = 0
while j < DLEN {
ans = ans + D[j] * p
p = p * 10
j = j + 1
}
return ans
}
function main() -> i32 {
printf("%lld\n", solve(1000000000000000))
return 0
}
Generated C
#include <stdint.h>
#include <stdbool.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
/* Flow runtime helpers */
typedef struct flow_temp_node { struct flow_temp_node* next; } flow_temp_node;
static flow_temp_node* flow_temp_head = NULL;
static int flow_temp_atexit_set = 0;
__attribute__((unused)) static void flow_temp_free_all(void) {
while (flow_temp_head) {
flow_temp_node* n = flow_temp_head;
flow_temp_head = n->next;
free(n);
}
}
__attribute__((unused)) static void* flow_temp_alloc(size_t nbytes) {
flow_temp_node* node = (flow_temp_node*)malloc(sizeof(flow_temp_node) + nbytes);
if (!node) return NULL;
node->next = flow_temp_head;
flow_temp_head = node;
if (!flow_temp_atexit_set) {
flow_temp_atexit_set = 1;
atexit(flow_temp_free_all);
}
return (void*)(node + 1);
}
#ifndef FLOW_DIAG
#define FLOW_DIAG(msg) fprintf(stderr, "%s", (msg))
#endif
#ifndef FLOW_LOG
#define FLOW_LOG(fmt, ...) printf(fmt, __VA_ARGS__)
#endif
#ifndef FLOW_LOG_EMPTY
#define FLOW_LOG_EMPTY(fmt) printf(fmt)
#endif
static char* flow_strcat(const char* a, const char* b) {
size_t la = strlen(a ? a : ""), lb = strlen(b ? b : "");
char* r = (char*)flow_temp_alloc(la + lb + 1);
if (!r) return NULL;
if (la) memcpy(r, a, la);
if (lb) memcpy(r + la, b, lb);
r[la + lb] = '\0';
return r;
}
#define __flow_in_arr(arr, val) __extension__ ({ \
int _found = 0; \
size_t _n = sizeof(arr)/sizeof((arr)[0]); \
for (size_t _i = 0; _i < _n; _i++) { \
if ((arr)[_i] == (val)) { _found = 1; break; } \
} _found; })
/* Unified fault handler (MISRA #279) — override with -DFLOW_FAULT_HANDLER=fn */
#ifndef FLOW_FAULT_HANDLER
__attribute__((unused)) static inline void flow_fault_handler(const char* msg) {
fprintf(stderr, "flow: %s\n", msg ? msg : "fault");
abort();
#if defined(__GNUC__) || defined(__clang__)
__builtin_unreachable();
#endif
}
#else
#define flow_fault_handler FLOW_FAULT_HANDLER
#endif
#define flow_div_by_zero_handler() flow_fault_handler("division by zero")
#define flow_shift_ub_handler() flow_fault_handler("invalid shift (amount out of range or left-shift of negative)")
#ifndef FLOW_CHECKED_DIV
#define FLOW_CHECKED_DIV(L, R) (((R) != 0) ? ((L) / (R)) : (flow_div_by_zero_handler(), (L) * 0))
#endif
#ifndef FLOW_CHECKED_MOD
#define FLOW_CHECKED_MOD(L, R) (((R) != 0) ? ((L) % (R)) : (flow_div_by_zero_handler(), (L) * 0))
#endif
#ifndef FLOW_CHECKED_SHL
#define FLOW_CHECKED_SHL(L, R) ((((R) >= 0) && ((unsigned long long)(R) < (sizeof(L) * 8ull)) && ((L) >= 0)) ? ((L) << (R)) : (flow_shift_ub_handler(), (L) * 0))
#endif
#ifndef FLOW_CHECKED_SHR
#define FLOW_CHECKED_SHR(L, R) ((((R) >= 0) && ((unsigned long long)(R) < (sizeof(L) * 8ull))) ? ((L) >> (R)) : (flow_shift_ub_handler(), (L) * 0))
#endif
#include <math.h>
void* _ui_state = NULL;
static inline float i32_to_f32(int32_t v) { return (float)v; }
/* Host stub for @gpu kernels (device codegen replaces this). */
static inline int32_t gpu_thread_id(void) { return 0; }
void set_last_diff_i128(__int128 d);
__int128 get_last_diff(void);
void ensure_i64(int64_t n);
void add_digits_i64_i128(int64_t k, __int128 addend0);
int64_t hash_kc_i64_i128(int64_t ds, __int128 c);
int64_t memo_slot_i64_i128(int64_t ds, __int128 c);
int64_t compute_i64_i64_i64(int64_t k, int64_t i0, int64_t n);
int64_t next_term_i64_i64_i64(int64_t k, int64_t i0, int64_t n);
int64_t solve_i64(int64_t n);
int32_t main(void);
static const int64_t KMAX = 20;
static const int64_t MCAP = 8000009;
static const int64_t JMAX = 32;
/* Module statics */
static int64_t* D = NULL;
static int64_t DLEN = 0;
static int64_t DCAP = 0;
static __int128* BASE = NULL;
static int8_t* MU = NULL;
static int64_t* MDS = NULL;
static __int128* MC = NULL;
static int32_t* MNJ = NULL;
static __int128* MDIFF = NULL;
static int64_t* MDN = NULL;
static int32_t* MK = NULL;
static __int128* LAST_DIFF = NULL;
void set_last_diff_i128(__int128 d) {
LAST_DIFF[0] = d;
}
__int128 get_last_diff(void) {
return LAST_DIFF[0];
}
void ensure_i64(int64_t n) {
if (n <= DCAP) {
return;
}
int64_t cap = DCAP;
if (cap < 64) {
cap = 64;
}
while (cap < n) {
cap = (cap * 2);
}
D = realloc(D, (cap * 8));
int64_t i = DCAP;
while (i < cap) {
D[i] = 0;
i = (i + 1);
}
DCAP = cap;
}
void add_digits_i64_i128(int64_t k, __int128 addend0) {
__int128 addend = addend0;
int64_t j = k;
while (addend > 0) {
ensure_i64((j + 1));
if (j >= DLEN) {
DLEN = (j + 1);
}
__int128 s = (((__int128)(D[j])) + addend);
D[j] = ((int64_t)(FLOW_CHECKED_MOD((s), (10))));
addend = FLOW_CHECKED_DIV((s), (10));
j = (j + 1);
}
}
int64_t hash_kc_i64_i128(int64_t ds, __int128 c) {
int64_t x = (ds * 1315423911);
x = (x ^ ((int64_t)(c)));
x = (x ^ (((int64_t)(FLOW_CHECKED_SHR((c), (32)))) * 2654435761));
x = (x ^ ((int64_t)(FLOW_CHECKED_SHR((c), (64)))));
if (x < 0) {
x = (-x);
}
return FLOW_CHECKED_MOD((x), (MCAP));
}
int64_t memo_slot_i64_i128(int64_t ds, __int128 c) {
int64_t idx = hash_kc_i64_i128(ds, c);
int64_t p = 0;
while (p < 10000) {
if (MU[idx] == 0) {
MU[idx] = 1;
MDS[idx] = ds;
MC[idx] = c;
MNJ[idx] = 0;
return idx;
}
if ((MDS[idx] == ds && MC[idx] == c)) {
return idx;
}
idx = (idx + 1);
if (idx >= MCAP) {
idx = 0;
}
p = (p + 1);
}
return idx;
}
int64_t compute_i64_i64_i64(int64_t k, int64_t i0, int64_t n) {
if (i0 >= n) {
set_last_diff_i128(0);
return 0;
}
ensure_i64(k);
if (DLEN < k) {
DLEN = k;
}
int64_t i = i0;
int64_t ds_b = 0;
int64_t ds_c = 0;
int64_t j = 0;
while (j < DLEN) {
if (j >= k) {
ds_b = (ds_b + D[j]);
} else {
ds_c = (ds_c + D[j]);
}
j = (j + 1);
}
__int128 diff = 0;
while (i < n) {
i = (i + 1);
int64_t add0 = (ds_c + ds_b);
diff = (diff + ((__int128)(add0)));
ds_c = 0;
int64_t addend = add0;
j = 0;
while (j < k) {
int64_t s = (D[j] + addend);
D[j] = FLOW_CHECKED_MOD((s), (10));
addend = FLOW_CHECKED_DIV((s), (10));
ds_c = (ds_c + D[j]);
j = (j + 1);
}
if (addend > 0) {
add_digits_i64_i128(k, ((__int128)(addend)));
set_last_diff_i128(diff);
return (i - i0);
}
}
set_last_diff_i128(diff);
return (i - i0);
}
int64_t next_term_i64_i64_i64(int64_t k, int64_t i0, int64_t n) {
int64_t ds_b = 0;
int64_t j = k;
while (j < DLEN) {
ds_b = (ds_b + D[j]);
j = (j + 1);
}
__int128 c = 0;
j = 0;
int64_t lim = k;
if (lim > DLEN) {
lim = DLEN;
}
while (j < lim) {
c = (c + (((__int128)(D[j])) * BASE[j]));
j = (j + 1);
}
__int128 diff = 0;
int64_t dn = 0;
int64_t max_dn = (n - i0);
int64_t slot = memo_slot_i64_i128(ds_b, c);
int64_t nj0 = ((int64_t)(MNJ[slot]));
int64_t mj = (-1);
int64_t t = (nj0 - 1);
while (t >= 0) {
int64_t bi = ((slot * JMAX) + t);
if ((((int64_t)(MK[bi])) <= k && MDN[bi] <= max_dn)) {
mj = t;
break;
}
t = (t - 1);
}
if (mj >= 0) {
int64_t bi = ((slot * JMAX) + mj);
diff = MDIFF[bi];
dn = MDN[bi];
__int128 new_c = (diff + c);
j = 0;
while (j < k) {
ensure_i64((j + 1));
if (j >= DLEN) {
DLEN = (j + 1);
}
D[j] = ((int64_t)(FLOW_CHECKED_MOD((new_c), (10))));
new_c = FLOW_CHECKED_DIV((new_c), (10));
j = (j + 1);
}
if (new_c > 0) {
add_digits_i64_i128(k, new_c);
}
}
if ((dn >= max_dn || (c + diff) >= BASE[k])) {
set_last_diff_i128(diff);
return dn;
}
if (k > 2) {
while (1) {
int64_t terms = next_term_i64_i64_i64((k - 1), (i0 + dn), n);
diff = (diff + get_last_diff());
dn = (dn + terms);
if ((dn >= max_dn || (c + diff) >= BASE[k])) {
break;
}
}
} else {
int64_t terms = compute_i64_i64_i64(k, (i0 + dn), n);
diff = (diff + get_last_diff());
dn = (dn + terms);
}
int64_t nj = ((int64_t)(MNJ[slot]));
if (nj < JMAX) {
int64_t jpos = 0;
while (jpos < nj) {
if (MDN[((slot * JMAX) + jpos)] > dn) {
break;
}
jpos = (jpos + 1);
}
int64_t u = nj;
while (u > jpos) {
MDIFF[((slot * JMAX) + u)] = MDIFF[(((slot * JMAX) + u) - 1)];
MDN[((slot * JMAX) + u)] = MDN[(((slot * JMAX) + u) - 1)];
MK[((slot * JMAX) + u)] = MK[(((slot * JMAX) + u) - 1)];
u = (u - 1);
}
MDIFF[((slot * JMAX) + jpos)] = diff;
MDN[((slot * JMAX) + jpos)] = dn;
MK[((slot * JMAX) + jpos)] = ((int32_t)(k));
MNJ[slot] = ((int32_t)((nj + 1)));
}
set_last_diff_i128(diff);
return dn;
}
int64_t solve_i64(int64_t n) {
LAST_DIFF = calloc(1, 16);
BASE = calloc((KMAX + 2), 16);
BASE[0] = 1;
int64_t b = 1;
while (b <= KMAX) {
BASE[b] = (BASE[(b - 1)] * 10);
b = (b + 1);
}
MU = calloc(MCAP, 1);
MDS = calloc(MCAP, 8);
MC = calloc(MCAP, 16);
MNJ = calloc(MCAP, 4);
MDIFF = calloc((MCAP * JMAX), 16);
MDN = calloc((MCAP * JMAX), 8);
MK = calloc((MCAP * JMAX), 4);
DCAP = 64;
D = calloc(DCAP, 8);
D[0] = 1;
DLEN = 1;
int64_t i0 = 1;
int64_t dn = 0;
while (1) {
int64_t terms = next_term_i64_i64_i64(KMAX, (i0 + dn), n);
dn = (dn + terms);
if (dn == (n - i0)) {
break;
}
}
int64_t ans = 0;
int64_t p = 1;
int64_t j = 0;
while (j < DLEN) {
ans = (ans + (D[j] * p));
p = (p * 10);
j = (j + 1);
}
return ans;
}
int32_t main(void) {
printf("%lld\n", solve_i64(1000000000000000));
return 0;
}
Generated MLIR
module {
llvm.func @printf(!llvm.ptr, ...) -> i32
llvm.mlir.global internal constant @str_0("%lld\n\00") {addr_space = 0 : i32} : !llvm.array<6 x i8>
func.func private @calloc(i64, i64) -> !llvm.ptr
func.func private @free(!llvm.ptr) -> ()
func.func private @realloc(!llvm.ptr, i64) -> !llvm.ptr
// Constant: KMAX
llvm.mlir.global internal constant @KMAX(20 : i64) : i64
// Constant: MCAP
llvm.mlir.global internal constant @MCAP(8000009 : i64) : i64
// Constant: JMAX
llvm.mlir.global internal constant @JMAX(32 : i64) : i64
// Module static: D
llvm.mlir.global internal @D() {addr_space = 0 : i32} : !llvm.ptr {
%0 = llvm.mlir.zero : !llvm.ptr
llvm.return %0 : !llvm.ptr
}
// Module static: DLEN
llvm.mlir.global internal @DLEN(0 : i64) : i64
// Module static: DCAP
llvm.mlir.global internal @DCAP(0 : i64) : i64
// Module static: BASE
llvm.mlir.global internal @BASE() {addr_space = 0 : i32} : !llvm.ptr {
%1 = llvm.mlir.zero : !llvm.ptr
llvm.return %1 : !llvm.ptr
}
// Module static: MU
llvm.mlir.global internal @MU() {addr_space = 0 : i32} : !llvm.ptr {
%2 = llvm.mlir.zero : !llvm.ptr
llvm.return %2 : !llvm.ptr
}
// Module static: MDS
llvm.mlir.global internal @MDS() {addr_space = 0 : i32} : !llvm.ptr {
%3 = llvm.mlir.zero : !llvm.ptr
llvm.return %3 : !llvm.ptr
}
// Module static: MC
llvm.mlir.global internal @MC() {addr_space = 0 : i32} : !llvm.ptr {
%4 = llvm.mlir.zero : !llvm.ptr
llvm.return %4 : !llvm.ptr
}
// Module static: MNJ
llvm.mlir.global internal @MNJ() {addr_space = 0 : i32} : !llvm.ptr {
%5 = llvm.mlir.zero : !llvm.ptr
llvm.return %5 : !llvm.ptr
}
// Module static: MDIFF
llvm.mlir.global internal @MDIFF() {addr_space = 0 : i32} : !llvm.ptr {
%6 = llvm.mlir.zero : !llvm.ptr
llvm.return %6 : !llvm.ptr
}
// Module static: MDN
llvm.mlir.global internal @MDN() {addr_space = 0 : i32} : !llvm.ptr {
%7 = llvm.mlir.zero : !llvm.ptr
llvm.return %7 : !llvm.ptr
}
// Module static: MK
llvm.mlir.global internal @MK() {addr_space = 0 : i32} : !llvm.ptr {
%8 = llvm.mlir.zero : !llvm.ptr
llvm.return %8 : !llvm.ptr
}
// Module static: LAST_DIFF
llvm.mlir.global internal @LAST_DIFF() {addr_space = 0 : i32} : !llvm.ptr {
%9 = llvm.mlir.zero : !llvm.ptr
llvm.return %9 : !llvm.ptr
}
func.func @set_last_diff(%arg0: i128) -> () {
%10 = llvm.mlir.addressof @LAST_DIFF : !llvm.ptr
%11 = llvm.load %10 : !llvm.ptr -> !llvm.ptr
%12 = arith.constant 0 : i32
%13 = arith.extsi %12 : i32 to i64
%14 = llvm.getelementptr %11[%13] : (!llvm.ptr, i64) -> !llvm.ptr, i128
llvm.store %arg0, %14 : i128, !llvm.ptr
func.return
}
func.func @get_last_diff() -> i128 {
%16 = llvm.mlir.addressof @LAST_DIFF : !llvm.ptr
%17 = llvm.load %16 : !llvm.ptr -> !llvm.ptr
%18 = arith.constant 0 : i32
%19 = arith.extsi %18 : i32 to i64
%20 = llvm.getelementptr %17[%19] : (!llvm.ptr, i64) -> !llvm.ptr, i128
%15 = llvm.load %20 : !llvm.ptr -> i128
func.return %15 : i128
}
func.func @ensure(%arg0: i64) -> () {
%21 = llvm.mlir.addressof @DCAP : !llvm.ptr
%22 = llvm.load %21 : !llvm.ptr -> i64
%23 = arith.cmpi sle, %arg0, %22 : i64
cf.cond_br %23, ^bb0, ^bb1
^bb0:
func.return
^bb1:
cf.br ^bb2
^bb2:
%24 = llvm.mlir.addressof @DCAP : !llvm.ptr
%25 = llvm.load %24 : !llvm.ptr -> i64
%26 = llvm.mlir.constant(1 : i64) : i64
%27 = llvm.alloca %26 x i64 : (i64) -> !llvm.ptr
llvm.store %25, %27 : i64, !llvm.ptr
%28 = llvm.load %27 : !llvm.ptr -> i64
%29 = arith.constant 64 : i32
%31 = arith.extsi %29 : i32 to i64
%30 = arith.cmpi slt, %28, %31 : i64
cf.cond_br %30, ^bb3, ^bb4
^bb3:
%32 = arith.constant 64 : i32
%33 = arith.extsi %32 : i32 to i64
llvm.store %33, %27 : i64, !llvm.ptr
cf.br ^bb5
^bb4:
cf.br ^bb5
^bb5:
cf.br ^bb6
^bb6:
%34 = llvm.load %27 : !llvm.ptr -> i64
%35 = arith.cmpi slt, %34, %arg0 : i64
cf.cond_br %35, ^bb7, ^bb8
^bb7:
%36 = llvm.load %27 : !llvm.ptr -> i64
%37 = arith.constant 2 : i32
%39 = arith.extsi %37 : i32 to i64
%38 = arith.muli %36, %39 : i64
llvm.store %38, %27 : i64, !llvm.ptr
cf.br ^bb6
^bb8:
%41 = llvm.mlir.addressof @D : !llvm.ptr
%42 = llvm.load %41 : !llvm.ptr -> !llvm.ptr
%43 = llvm.load %27 : !llvm.ptr -> i64
%44 = arith.constant 8 : i32
%46 = arith.extsi %44 : i32 to i64
%45 = arith.muli %43, %46 : i64
%40 = func.call @realloc(%42, %45) : (!llvm.ptr, i64) -> !llvm.ptr
%47 = llvm.mlir.addressof @D : !llvm.ptr
llvm.store %40, %47 : !llvm.ptr, !llvm.ptr
%48 = llvm.mlir.addressof @DCAP : !llvm.ptr
%49 = llvm.load %48 : !llvm.ptr -> i64
%50 = llvm.mlir.constant(1 : i64) : i64
%51 = llvm.alloca %50 x i64 : (i64) -> !llvm.ptr
llvm.store %49, %51 : i64, !llvm.ptr
cf.br ^bb9
^bb9:
%52 = llvm.load %51 : !llvm.ptr -> i64
%53 = llvm.load %27 : !llvm.ptr -> i64
%54 = arith.cmpi slt, %52, %53 : i64
cf.cond_br %54, ^bb10, ^bb11
^bb10:
%55 = arith.constant 0 : i32
%56 = llvm.mlir.addressof @D : !llvm.ptr
%57 = llvm.load %56 : !llvm.ptr -> !llvm.ptr
%58 = llvm.load %51 : !llvm.ptr -> i64
%59 = arith.extsi %55 : i32 to i64
%60 = llvm.getelementptr %57[%58] : (!llvm.ptr, i64) -> !llvm.ptr, i64
llvm.store %59, %60 : i64, !llvm.ptr
%61 = llvm.load %51 : !llvm.ptr -> i64
%62 = arith.constant 1 : i32
%64 = arith.extsi %62 : i32 to i64
%63 = arith.addi %61, %64 : i64
llvm.store %63, %51 : i64, !llvm.ptr
cf.br ^bb9
^bb11:
%65 = llvm.load %27 : !llvm.ptr -> i64
%66 = llvm.mlir.addressof @DCAP : !llvm.ptr
llvm.store %65, %66 : i64, !llvm.ptr
func.return
}
func.func @add_digits(%arg0: i64, %arg1: i128) -> () {
%67 = llvm.mlir.constant(1 : i64) : i64
%68 = llvm.alloca %67 x i128 : (i64) -> !llvm.ptr
llvm.store %arg1, %68 : i128, !llvm.ptr
%69 = llvm.mlir.constant(1 : i64) : i64
%70 = llvm.alloca %69 x i64 : (i64) -> !llvm.ptr
llvm.store %arg0, %70 : i64, !llvm.ptr
cf.br ^bb12
^bb12:
%71 = llvm.load %68 : !llvm.ptr -> i128
%72 = arith.constant 0 : i32
%74 = arith.trunci %71 : i128 to i64
%75 = arith.extsi %72 : i32 to i64
%73 = arith.cmpi sgt, %74, %75 : i64
cf.cond_br %73, ^bb13, ^bb14
^bb13:
%77 = llvm.load %70 : !llvm.ptr -> i64
%78 = arith.constant 1 : i32
%80 = arith.extsi %78 : i32 to i64
%79 = arith.addi %77, %80 : i64
func.call @ensure(%79) : (i64) -> ()
%81 = llvm.load %70 : !llvm.ptr -> i64
%82 = llvm.mlir.addressof @DLEN : !llvm.ptr
%83 = llvm.load %82 : !llvm.ptr -> i64
%84 = arith.cmpi sge, %81, %83 : i64
cf.cond_br %84, ^bb15, ^bb16
^bb15:
%85 = llvm.load %70 : !llvm.ptr -> i64
%86 = arith.constant 1 : i32
%88 = arith.extsi %86 : i32 to i64
%87 = arith.addi %85, %88 : i64
%89 = llvm.mlir.addressof @DLEN : !llvm.ptr
llvm.store %87, %89 : i64, !llvm.ptr
cf.br ^bb17
^bb16:
cf.br ^bb17
^bb17:
%91 = llvm.mlir.addressof @D : !llvm.ptr
%92 = llvm.load %91 : !llvm.ptr -> !llvm.ptr
%93 = llvm.load %70 : !llvm.ptr -> i64
%94 = llvm.getelementptr %92[%93] : (!llvm.ptr, i64) -> !llvm.ptr, i64
%90 = llvm.load %94 : !llvm.ptr -> i64
%95 = arith.extsi %90 : i64 to i128
%96 = llvm.load %68 : !llvm.ptr -> i128
%98 = arith.trunci %95 : i128 to i64
%99 = arith.trunci %96 : i128 to i64
%97 = arith.addi %98, %99 : i64
%100 = arith.extsi %97 : i64 to i128
%101 = arith.constant 10 : i32
%103 = arith.trunci %100 : i128 to i64
%104 = arith.extsi %101 : i32 to i64
%102 = arith.remsi %103, %104 : i64
%105 = llvm.mlir.addressof @D : !llvm.ptr
%106 = llvm.load %105 : !llvm.ptr -> !llvm.ptr
%107 = llvm.load %70 : !llvm.ptr -> i64
%108 = llvm.getelementptr %106[%107] : (!llvm.ptr, i64) -> !llvm.ptr, i64
llvm.store %102, %108 : i64, !llvm.ptr
%109 = arith.constant 10 : i32
%111 = arith.trunci %100 : i128 to i64
%112 = arith.extsi %109 : i32 to i64
%110 = arith.divsi %111, %112 : i64
%113 = arith.extsi %110 : i64 to i128
llvm.store %113, %68 : i128, !llvm.ptr
%114 = llvm.load %70 : !llvm.ptr -> i64
%115 = arith.constant 1 : i32
%117 = arith.extsi %115 : i32 to i64
%116 = arith.addi %114, %117 : i64
llvm.store %116, %70 : i64, !llvm.ptr
cf.br ^bb12
^bb14:
func.return
}
func.func @hash_kc(%arg0: i64, %arg1: i128) -> i64 {
%118 = arith.constant 1315423911 : i32
%120 = arith.extsi %118 : i32 to i64
%119 = arith.muli %arg0, %120 : i64
%121 = llvm.mlir.constant(1 : i64) : i64
%122 = llvm.alloca %121 x i64 : (i64) -> !llvm.ptr
llvm.store %119, %122 : i64, !llvm.ptr
%123 = llvm.load %122 : !llvm.ptr -> i64
%124 = arith.trunci %arg1 : i128 to i64
%125 = arith.xori %123, %124 : i64
llvm.store %125, %122 : i64, !llvm.ptr
%126 = llvm.load %122 : !llvm.ptr -> i64
%127 = arith.constant 32 : i32
%129 = arith.trunci %arg1 : i128 to i64
%130 = arith.extsi %127 : i32 to i64
%128 = arith.shrsi %129, %130 : i64
%131 = arith.constant -1640531535 : i32
%133 = arith.extsi %131 : i32 to i64
%132 = arith.muli %128, %133 : i64
%134 = arith.xori %126, %132 : i64
llvm.store %134, %122 : i64, !llvm.ptr
%135 = llvm.load %122 : !llvm.ptr -> i64
%136 = arith.constant 64 : i32
%138 = arith.trunci %arg1 : i128 to i64
%139 = arith.extsi %136 : i32 to i64
%137 = arith.shrsi %138, %139 : i64
%140 = arith.xori %135, %137 : i64
llvm.store %140, %122 : i64, !llvm.ptr
%141 = llvm.load %122 : !llvm.ptr -> i64
%142 = arith.constant 0 : i32
%144 = arith.extsi %142 : i32 to i64
%143 = arith.cmpi slt, %141, %144 : i64
cf.cond_br %143, ^bb18, ^bb19
^bb18:
%145 = llvm.load %122 : !llvm.ptr -> i64
%147 = arith.constant 0 : i64
%146 = arith.subi %147, %145 : i64
llvm.store %146, %122 : i64, !llvm.ptr
cf.br ^bb20
^bb19:
cf.br ^bb20
^bb20:
%148 = llvm.load %122 : !llvm.ptr -> i64
%149 = llvm.mlir.addressof @MCAP : !llvm.ptr
%150 = llvm.load %149 : !llvm.ptr -> i64
%151 = arith.remsi %148, %150 : i64
func.return %151 : i64
}
func.func @memo_slot(%arg0: i64, %arg1: i128) -> i64 {
%152 = func.call @hash_kc(%arg0, %arg1) : (i64, i128) -> i64
%153 = llvm.mlir.constant(1 : i64) : i64
%154 = llvm.alloca %153 x i64 : (i64) -> !llvm.ptr
llvm.store %152, %154 : i64, !llvm.ptr
%155 = arith.constant 0 : i32
%156 = arith.extsi %155 : i32 to i64
%157 = llvm.mlir.constant(1 : i64) : i64
%158 = llvm.alloca %157 x i64 : (i64) -> !llvm.ptr
llvm.store %156, %158 : i64, !llvm.ptr
cf.br ^bb21
^bb21:
%159 = llvm.load %158 : !llvm.ptr -> i64
%160 = arith.constant 10000 : i32
%162 = arith.extsi %160 : i32 to i64
%161 = arith.cmpi slt, %159, %162 : i64
cf.cond_br %161, ^bb22, ^bb23
^bb22:
%164 = llvm.mlir.addressof @MU : !llvm.ptr
%165 = llvm.load %164 : !llvm.ptr -> !llvm.ptr
%166 = llvm.load %154 : !llvm.ptr -> i64
%167 = llvm.getelementptr %165[%166] : (!llvm.ptr, i64) -> !llvm.ptr, i8
%163 = llvm.load %167 : !llvm.ptr -> i8
%168 = arith.constant 0 : i32
%170 = arith.extsi %163 : i8 to i32
%169 = arith.cmpi eq, %170, %168 : i32
cf.cond_br %169, ^bb24, ^bb25
^bb24:
%171 = arith.constant 1 : i32
%172 = llvm.mlir.addressof @MU : !llvm.ptr
%173 = llvm.load %172 : !llvm.ptr -> !llvm.ptr
%174 = llvm.load %154 : !llvm.ptr -> i64
%175 = arith.trunci %171 : i32 to i8
%176 = llvm.getelementptr %173[%174] : (!llvm.ptr, i64) -> !llvm.ptr, i8
llvm.store %175, %176 : i8, !llvm.ptr
%177 = llvm.mlir.addressof @MDS : !llvm.ptr
%178 = llvm.load %177 : !llvm.ptr -> !llvm.ptr
%179 = llvm.load %154 : !llvm.ptr -> i64
%180 = llvm.getelementptr %178[%179] : (!llvm.ptr, i64) -> !llvm.ptr, i64
llvm.store %arg0, %180 : i64, !llvm.ptr
%181 = llvm.mlir.addressof @MC : !llvm.ptr
%182 = llvm.load %181 : !llvm.ptr -> !llvm.ptr
%183 = llvm.load %154 : !llvm.ptr -> i64
%184 = llvm.getelementptr %182[%183] : (!llvm.ptr, i64) -> !llvm.ptr, i128
llvm.store %arg1, %184 : i128, !llvm.ptr
%185 = arith.constant 0 : i32
%186 = llvm.mlir.addressof @MNJ : !llvm.ptr
%187 = llvm.load %186 : !llvm.ptr -> !llvm.ptr
%188 = llvm.load %154 : !llvm.ptr -> i64
%189 = llvm.getelementptr %187[%188] : (!llvm.ptr, i64) -> !llvm.ptr, i32
llvm.store %185, %189 : i32, !llvm.ptr
%190 = llvm.load %154 : !llvm.ptr -> i64
func.return %190 : i64
^bb25:
cf.br ^bb26
^bb26:
%192 = llvm.mlir.addressof @MDS : !llvm.ptr
%193 = llvm.load %192 : !llvm.ptr -> !llvm.ptr
%194 = llvm.load %154 : !llvm.ptr -> i64
%195 = llvm.getelementptr %193[%194] : (!llvm.ptr, i64) -> !llvm.ptr, i64
%191 = llvm.load %195 : !llvm.ptr -> i64
%196 = arith.cmpi eq, %191, %arg0 : i64
%197 = scf.if %196 -> (i1) {
%199 = llvm.mlir.addressof @MC : !llvm.ptr
%200 = llvm.load %199 : !llvm.ptr -> !llvm.ptr
%201 = llvm.load %154 : !llvm.ptr -> i64
%202 = llvm.getelementptr %200[%201] : (!llvm.ptr, i64) -> !llvm.ptr, i128
%198 = llvm.load %202 : !llvm.ptr -> i128
%204 = arith.trunci %198 : i128 to i64
%205 = arith.trunci %arg1 : i128 to i64
%203 = arith.cmpi eq, %204, %205 : i64
scf.yield %203 : i1
} else {
%206 = arith.constant false
scf.yield %206 : i1
}
cf.cond_br %197, ^bb27, ^bb28
^bb27:
%207 = llvm.load %154 : !llvm.ptr -> i64
func.return %207 : i64
^bb28:
cf.br ^bb29
^bb29:
%208 = llvm.load %154 : !llvm.ptr -> i64
%209 = arith.constant 1 : i32
%211 = arith.extsi %209 : i32 to i64
%210 = arith.addi %208, %211 : i64
llvm.store %210, %154 : i64, !llvm.ptr
%212 = llvm.load %154 : !llvm.ptr -> i64
%213 = llvm.mlir.addressof @MCAP : !llvm.ptr
%214 = llvm.load %213 : !llvm.ptr -> i64
%215 = arith.cmpi sge, %212, %214 : i64
cf.cond_br %215, ^bb30, ^bb31
^bb30:
%216 = arith.constant 0 : i32
%217 = arith.extsi %216 : i32 to i64
llvm.store %217, %154 : i64, !llvm.ptr
cf.br ^bb32
^bb31:
cf.br ^bb32
^bb32:
%218 = llvm.load %158 : !llvm.ptr -> i64
%219 = arith.constant 1 : i32
%221 = arith.extsi %219 : i32 to i64
%220 = arith.addi %218, %221 : i64
llvm.store %220, %158 : i64, !llvm.ptr
cf.br ^bb21
^bb23:
%222 = llvm.load %154 : !llvm.ptr -> i64
func.return %222 : i64
}
func.func @compute(%arg0: i64, %arg1: i64, %arg2: i64) -> i64 {
%223 = arith.cmpi sge, %arg1, %arg2 : i64
cf.cond_br %223, ^bb33, ^bb34
^bb33:
%225 = arith.constant 0 : i32
%226 = arith.extsi %225 : i32 to i128
func.call @set_last_diff(%226) : (i128) -> ()
%227 = arith.constant 0 : i32
%228 = arith.extsi %227 : i32 to i64
func.return %228 : i64
^bb34:
cf.br ^bb35
^bb35:
func.call @ensure(%arg0) : (i64) -> ()
%230 = llvm.mlir.addressof @DLEN : !llvm.ptr
%231 = llvm.load %230 : !llvm.ptr -> i64
%232 = arith.cmpi slt, %231, %arg0 : i64
cf.cond_br %232, ^bb36, ^bb37
^bb36:
%233 = llvm.mlir.addressof @DLEN : !llvm.ptr
llvm.store %arg0, %233 : i64, !llvm.ptr
cf.br ^bb38
^bb37:
cf.br ^bb38
^bb38:
%234 = llvm.mlir.constant(1 : i64) : i64
%235 = llvm.alloca %234 x i64 : (i64) -> !llvm.ptr
llvm.store %arg1, %235 : i64, !llvm.ptr
%236 = arith.constant 0 : i32
%237 = arith.extsi %236 : i32 to i64
%238 = llvm.mlir.constant(1 : i64) : i64
%239 = llvm.alloca %238 x i64 : (i64) -> !llvm.ptr
llvm.store %237, %239 : i64, !llvm.ptr
%240 = arith.constant 0 : i32
%241 = arith.extsi %240 : i32 to i64
%242 = llvm.mlir.constant(1 : i64) : i64
%243 = llvm.alloca %242 x i64 : (i64) -> !llvm.ptr
llvm.store %241, %243 : i64, !llvm.ptr
%244 = arith.constant 0 : i32
%245 = arith.extsi %244 : i32 to i64
%246 = llvm.mlir.constant(1 : i64) : i64
%247 = llvm.alloca %246 x i64 : (i64) -> !llvm.ptr
llvm.store %245, %247 : i64, !llvm.ptr
cf.br ^bb39
^bb39:
%248 = llvm.load %247 : !llvm.ptr -> i64
%249 = llvm.mlir.addressof @DLEN : !llvm.ptr
%250 = llvm.load %249 : !llvm.ptr -> i64
%251 = arith.cmpi slt, %248, %250 : i64
cf.cond_br %251, ^bb40, ^bb41
^bb40:
%252 = llvm.load %247 : !llvm.ptr -> i64
%253 = arith.cmpi sge, %252, %arg0 : i64
cf.cond_br %253, ^bb42, ^bb43
^bb42:
%254 = llvm.load %239 : !llvm.ptr -> i64
%256 = llvm.mlir.addressof @D : !llvm.ptr
%257 = llvm.load %256 : !llvm.ptr -> !llvm.ptr
%258 = llvm.load %247 : !llvm.ptr -> i64
%259 = llvm.getelementptr %257[%258] : (!llvm.ptr, i64) -> !llvm.ptr, i64
%255 = llvm.load %259 : !llvm.ptr -> i64
%260 = arith.addi %254, %255 : i64
llvm.store %260, %239 : i64, !llvm.ptr
cf.br ^bb44
^bb43:
%261 = llvm.load %243 : !llvm.ptr -> i64
%263 = llvm.mlir.addressof @D : !llvm.ptr
%264 = llvm.load %263 : !llvm.ptr -> !llvm.ptr
%265 = llvm.load %247 : !llvm.ptr -> i64
%266 = llvm.getelementptr %264[%265] : (!llvm.ptr, i64) -> !llvm.ptr, i64
%262 = llvm.load %266 : !llvm.ptr -> i64
%267 = arith.addi %261, %262 : i64
llvm.store %267, %243 : i64, !llvm.ptr
cf.br ^bb44
^bb44:
%268 = llvm.load %247 : !llvm.ptr -> i64
%269 = arith.constant 1 : i32
%271 = arith.extsi %269 : i32 to i64
%270 = arith.addi %268, %271 : i64
llvm.store %270, %247 : i64, !llvm.ptr
cf.br ^bb39
^bb41:
%272 = arith.constant 0 : i32
%273 = arith.extsi %272 : i32 to i128
%274 = llvm.mlir.constant(1 : i64) : i64
%275 = llvm.alloca %274 x i128 : (i64) -> !llvm.ptr
llvm.store %273, %275 : i128, !llvm.ptr
cf.br ^bb45
^bb45:
%276 = llvm.load %235 : !llvm.ptr -> i64
%277 = arith.cmpi slt, %276, %arg2 : i64
cf.cond_br %277, ^bb46, ^bb47
^bb46:
%278 = llvm.load %235 : !llvm.ptr -> i64
%279 = arith.constant 1 : i32
%281 = arith.extsi %279 : i32 to i64
%280 = arith.addi %278, %281 : i64
llvm.store %280, %235 : i64, !llvm.ptr
%282 = llvm.load %243 : !llvm.ptr -> i64
%283 = llvm.load %239 : !llvm.ptr -> i64
%284 = arith.addi %282, %283 : i64
%285 = llvm.load %275 : !llvm.ptr -> i128
%286 = arith.extsi %284 : i64 to i128
%288 = arith.trunci %285 : i128 to i64
%289 = arith.trunci %286 : i128 to i64
%287 = arith.addi %288, %289 : i64
%290 = arith.extsi %287 : i64 to i128
llvm.store %290, %275 : i128, !llvm.ptr
%291 = arith.constant 0 : i32
%292 = arith.extsi %291 : i32 to i64
llvm.store %292, %243 : i64, !llvm.ptr
%293 = llvm.mlir.constant(1 : i64) : i64
%294 = llvm.alloca %293 x i64 : (i64) -> !llvm.ptr
llvm.store %284, %294 : i64, !llvm.ptr
%295 = arith.constant 0 : i32
%296 = arith.extsi %295 : i32 to i64
llvm.store %296, %247 : i64, !llvm.ptr
cf.br ^bb48
^bb48:
%297 = llvm.load %247 : !llvm.ptr -> i64
%298 = arith.cmpi slt, %297, %arg0 : i64
cf.cond_br %298, ^bb49, ^bb50
^bb49:
%300 = llvm.mlir.addressof @D : !llvm.ptr
%301 = llvm.load %300 : !llvm.ptr -> !llvm.ptr
%302 = llvm.load %247 : !llvm.ptr -> i64
%303 = llvm.getelementptr %301[%302] : (!llvm.ptr, i64) -> !llvm.ptr, i64
%299 = llvm.load %303 : !llvm.ptr -> i64
%304 = llvm.load %294 : !llvm.ptr -> i64
%305 = arith.addi %299, %304 : i64
%306 = arith.constant 10 : i32
%308 = arith.extsi %306 : i32 to i64
%307 = arith.remsi %305, %308 : i64
%309 = llvm.mlir.addressof @D : !llvm.ptr
%310 = llvm.load %309 : !llvm.ptr -> !llvm.ptr
%311 = llvm.load %247 : !llvm.ptr -> i64
%312 = llvm.getelementptr %310[%311] : (!llvm.ptr, i64) -> !llvm.ptr, i64
llvm.store %307, %312 : i64, !llvm.ptr
%313 = arith.constant 10 : i32
%315 = arith.extsi %313 : i32 to i64
%314 = arith.divsi %305, %315 : i64
llvm.store %314, %294 : i64, !llvm.ptr
%316 = llvm.load %243 : !llvm.ptr -> i64
%318 = llvm.mlir.addressof @D : !llvm.ptr
%319 = llvm.load %318 : !llvm.ptr -> !llvm.ptr
%320 = llvm.load %247 : !llvm.ptr -> i64
%321 = llvm.getelementptr %319[%320] : (!llvm.ptr, i64) -> !llvm.ptr, i64
%317 = llvm.load %321 : !llvm.ptr -> i64
%322 = arith.addi %316, %317 : i64
llvm.store %322, %243 : i64, !llvm.ptr
%323 = llvm.load %247 : !llvm.ptr -> i64
%324 = arith.constant 1 : i32
%326 = arith.extsi %324 : i32 to i64
%325 = arith.addi %323, %326 : i64
llvm.store %325, %247 : i64, !llvm.ptr
cf.br ^bb48
^bb50:
%327 = llvm.load %294 : !llvm.ptr -> i64
%328 = arith.constant 0 : i32
%330 = arith.extsi %328 : i32 to i64
%329 = arith.cmpi sgt, %327, %330 : i64
cf.cond_br %329, ^bb51, ^bb52
^bb51:
%332 = llvm.load %294 : !llvm.ptr -> i64
%333 = arith.extsi %332 : i64 to i128
func.call @add_digits(%arg0, %333) : (i64, i128) -> ()
%335 = llvm.load %275 : !llvm.ptr -> i128
func.call @set_last_diff(%335) : (i128) -> ()
%336 = llvm.load %235 : !llvm.ptr -> i64
%337 = arith.subi %336, %arg1 : i64
func.return %337 : i64
^bb52:
cf.br ^bb53
^bb53:
cf.br ^bb45
^bb47:
%339 = llvm.load %275 : !llvm.ptr -> i128
func.call @set_last_diff(%339) : (i128) -> ()
%340 = llvm.load %235 : !llvm.ptr -> i64
%341 = arith.subi %340, %arg1 : i64
func.return %341 : i64
}
func.func @next_term(%arg0: i64, %arg1: i64, %arg2: i64) -> i64 {
%342 = arith.constant 0 : i32
%343 = arith.extsi %342 : i32 to i64
%344 = llvm.mlir.constant(1 : i64) : i64
%345 = llvm.alloca %344 x i64 : (i64) -> !llvm.ptr
llvm.store %343, %345 : i64, !llvm.ptr
%346 = llvm.mlir.constant(1 : i64) : i64
%347 = llvm.alloca %346 x i64 : (i64) -> !llvm.ptr
llvm.store %arg0, %347 : i64, !llvm.ptr
cf.br ^bb54
^bb54:
%348 = llvm.load %347 : !llvm.ptr -> i64
%349 = llvm.mlir.addressof @DLEN : !llvm.ptr
%350 = llvm.load %349 : !llvm.ptr -> i64
%351 = arith.cmpi slt, %348, %350 : i64
cf.cond_br %351, ^bb55, ^bb56
^bb55:
%352 = llvm.load %345 : !llvm.ptr -> i64
%354 = llvm.mlir.addressof @D : !llvm.ptr
%355 = llvm.load %354 : !llvm.ptr -> !llvm.ptr
%356 = llvm.load %347 : !llvm.ptr -> i64
%357 = llvm.getelementptr %355[%356] : (!llvm.ptr, i64) -> !llvm.ptr, i64
%353 = llvm.load %357 : !llvm.ptr -> i64
%358 = arith.addi %352, %353 : i64
llvm.store %358, %345 : i64, !llvm.ptr
%359 = llvm.load %347 : !llvm.ptr -> i64
%360 = arith.constant 1 : i32
%362 = arith.extsi %360 : i32 to i64
%361 = arith.addi %359, %362 : i64
llvm.store %361, %347 : i64, !llvm.ptr
cf.br ^bb54
^bb56:
%363 = arith.constant 0 : i32
%364 = arith.extsi %363 : i32 to i128
%365 = llvm.mlir.constant(1 : i64) : i64
%366 = llvm.alloca %365 x i128 : (i64) -> !llvm.ptr
llvm.store %364, %366 : i128, !llvm.ptr
%367 = arith.constant 0 : i32
%368 = arith.extsi %367 : i32 to i64
llvm.store %368, %347 : i64, !llvm.ptr
%369 = llvm.mlir.addressof @DLEN : !llvm.ptr
%370 = llvm.load %369 : !llvm.ptr -> i64
%371 = arith.cmpi sgt, %arg0, %370 : i64
%372 = scf.if %371 -> (i64) {
%373 = llvm.mlir.addressof @DLEN : !llvm.ptr
%374 = llvm.load %373 : !llvm.ptr -> i64
scf.yield %374 : i64
} else {
scf.yield %arg0 : i64
}
cf.br ^bb57
^bb57:
%375 = llvm.load %347 : !llvm.ptr -> i64
%376 = arith.cmpi slt, %375, %372 : i64
cf.cond_br %376, ^bb58, ^bb59
^bb58:
%377 = llvm.load %366 : !llvm.ptr -> i128
%379 = llvm.mlir.addressof @D : !llvm.ptr
%380 = llvm.load %379 : !llvm.ptr -> !llvm.ptr
%381 = llvm.load %347 : !llvm.ptr -> i64
%382 = llvm.getelementptr %380[%381] : (!llvm.ptr, i64) -> !llvm.ptr, i64
%378 = llvm.load %382 : !llvm.ptr -> i64
%383 = arith.extsi %378 : i64 to i128
%385 = llvm.mlir.addressof @BASE : !llvm.ptr
%386 = llvm.load %385 : !llvm.ptr -> !llvm.ptr
%387 = llvm.load %347 : !llvm.ptr -> i64
%388 = llvm.getelementptr %386[%387] : (!llvm.ptr, i64) -> !llvm.ptr, i128
%384 = llvm.load %388 : !llvm.ptr -> i128
%390 = arith.trunci %383 : i128 to i64
%391 = arith.trunci %384 : i128 to i64
%389 = arith.muli %390, %391 : i64
%393 = arith.trunci %377 : i128 to i64
%392 = arith.addi %393, %389 : i64
%394 = arith.extsi %392 : i64 to i128
llvm.store %394, %366 : i128, !llvm.ptr
%395 = llvm.load %347 : !llvm.ptr -> i64
%396 = arith.constant 1 : i32
%398 = arith.extsi %396 : i32 to i64
%397 = arith.addi %395, %398 : i64
llvm.store %397, %347 : i64, !llvm.ptr
cf.br ^bb57
^bb59:
%399 = arith.constant 0 : i32
%400 = arith.extsi %399 : i32 to i128
%401 = llvm.mlir.constant(1 : i64) : i64
%402 = llvm.alloca %401 x i128 : (i64) -> !llvm.ptr
llvm.store %400, %402 : i128, !llvm.ptr
%403 = arith.constant 0 : i32
%404 = arith.extsi %403 : i32 to i64
%405 = llvm.mlir.constant(1 : i64) : i64
%406 = llvm.alloca %405 x i64 : (i64) -> !llvm.ptr
llvm.store %404, %406 : i64, !llvm.ptr
%407 = arith.subi %arg2, %arg1 : i64
%409 = llvm.load %345 : !llvm.ptr -> i64
%410 = llvm.load %366 : !llvm.ptr -> i128
%408 = func.call @memo_slot(%409, %410) : (i64, i128) -> i64
%412 = llvm.mlir.addressof @MNJ : !llvm.ptr
%413 = llvm.load %412 : !llvm.ptr -> !llvm.ptr
%414 = llvm.getelementptr %413[%408] : (!llvm.ptr, i64) -> !llvm.ptr, i32
%411 = llvm.load %414 : !llvm.ptr -> i32
%415 = arith.extsi %411 : i32 to i64
%416 = arith.constant 1 : i32
%418 = arith.constant 0 : i32
%417 = arith.subi %418, %416 : i32
%419 = arith.extsi %417 : i32 to i64
%420 = llvm.mlir.constant(1 : i64) : i64
%421 = llvm.alloca %420 x i64 : (i64) -> !llvm.ptr
llvm.store %419, %421 : i64, !llvm.ptr
%422 = arith.constant 1 : i32
%424 = arith.extsi %422 : i32 to i64
%423 = arith.subi %415, %424 : i64
%425 = llvm.mlir.constant(1 : i64) : i64
%426 = llvm.alloca %425 x i64 : (i64) -> !llvm.ptr
llvm.store %423, %426 : i64, !llvm.ptr
cf.br ^bb60
^bb60:
%427 = llvm.load %426 : !llvm.ptr -> i64
%428 = arith.constant 0 : i32
%430 = arith.extsi %428 : i32 to i64
%429 = arith.cmpi sge, %427, %430 : i64
cf.cond_br %429, ^bb61, ^bb62
^bb61:
%431 = llvm.mlir.addressof @JMAX : !llvm.ptr
%432 = llvm.load %431 : !llvm.ptr -> i64
%433 = arith.muli %408, %432 : i64
%434 = llvm.load %426 : !llvm.ptr -> i64
%435 = arith.addi %433, %434 : i64
%437 = llvm.mlir.addressof @MK : !llvm.ptr
%438 = llvm.load %437 : !llvm.ptr -> !llvm.ptr
%439 = llvm.getelementptr %438[%435] : (!llvm.ptr, i64) -> !llvm.ptr, i32
%436 = llvm.load %439 : !llvm.ptr -> i32
%440 = arith.extsi %436 : i32 to i64
%441 = arith.cmpi sle, %440, %arg0 : i64
%442 = scf.if %441 -> (i1) {
%444 = llvm.mlir.addressof @MDN : !llvm.ptr
%445 = llvm.load %444 : !llvm.ptr -> !llvm.ptr
%446 = llvm.getelementptr %445[%435] : (!llvm.ptr, i64) -> !llvm.ptr, i64
%443 = llvm.load %446 : !llvm.ptr -> i64
%447 = arith.cmpi sle, %443, %407 : i64
scf.yield %447 : i1
} else {
%448 = arith.constant false
scf.yield %448 : i1
}
cf.cond_br %442, ^bb63, ^bb64
^bb63:
%449 = llvm.load %426 : !llvm.ptr -> i64
llvm.store %449, %421 : i64, !llvm.ptr
cf.br ^bb62
^bb64:
cf.br ^bb65
^bb65:
%450 = llvm.load %426 : !llvm.ptr -> i64
%451 = arith.constant 1 : i32
%453 = arith.extsi %451 : i32 to i64
%452 = arith.subi %450, %453 : i64
llvm.store %452, %426 : i64, !llvm.ptr
cf.br ^bb60
^bb62:
%454 = llvm.load %421 : !llvm.ptr -> i64
%455 = arith.constant 0 : i32
%457 = arith.extsi %455 : i32 to i64
%456 = arith.cmpi sge, %454, %457 : i64
cf.cond_br %456, ^bb66, ^bb67
^bb66:
%458 = llvm.mlir.addressof @JMAX : !llvm.ptr
%459 = llvm.load %458 : !llvm.ptr -> i64
%460 = arith.muli %408, %459 : i64
%461 = llvm.load %421 : !llvm.ptr -> i64
%462 = arith.addi %460, %461 : i64
%464 = llvm.mlir.addressof @MDIFF : !llvm.ptr
%465 = llvm.load %464 : !llvm.ptr -> !llvm.ptr
%466 = llvm.getelementptr %465[%462] : (!llvm.ptr, i64) -> !llvm.ptr, i128
%463 = llvm.load %466 : !llvm.ptr -> i128
llvm.store %463, %402 : i128, !llvm.ptr
%468 = llvm.mlir.addressof @MDN : !llvm.ptr
%469 = llvm.load %468 : !llvm.ptr -> !llvm.ptr
%470 = llvm.getelementptr %469[%462] : (!llvm.ptr, i64) -> !llvm.ptr, i64
%467 = llvm.load %470 : !llvm.ptr -> i64
llvm.store %467, %406 : i64, !llvm.ptr
%471 = llvm.load %402 : !llvm.ptr -> i128
%472 = llvm.load %366 : !llvm.ptr -> i128
%474 = arith.trunci %471 : i128 to i64
%475 = arith.trunci %472 : i128 to i64
%473 = arith.addi %474, %475 : i64
%476 = arith.extsi %473 : i64 to i128
%477 = llvm.mlir.constant(1 : i64) : i64
%478 = llvm.alloca %477 x i128 : (i64) -> !llvm.ptr
llvm.store %476, %478 : i128, !llvm.ptr
%479 = arith.constant 0 : i32
%480 = arith.extsi %479 : i32 to i64
llvm.store %480, %347 : i64, !llvm.ptr
cf.br ^bb69
^bb69:
%481 = llvm.load %347 : !llvm.ptr -> i64
%482 = arith.cmpi slt, %481, %arg0 : i64
cf.cond_br %482, ^bb70, ^bb71
^bb70:
%484 = llvm.load %347 : !llvm.ptr -> i64
%485 = arith.constant 1 : i32
%487 = arith.extsi %485 : i32 to i64
%486 = arith.addi %484, %487 : i64
func.call @ensure(%486) : (i64) -> ()
%488 = llvm.load %347 : !llvm.ptr -> i64
%489 = llvm.mlir.addressof @DLEN : !llvm.ptr
%490 = llvm.load %489 : !llvm.ptr -> i64
%491 = arith.cmpi sge, %488, %490 : i64
cf.cond_br %491, ^bb72, ^bb73
^bb72:
%492 = llvm.load %347 : !llvm.ptr -> i64
%493 = arith.constant 1 : i32
%495 = arith.extsi %493 : i32 to i64
%494 = arith.addi %492, %495 : i64
%496 = llvm.mlir.addressof @DLEN : !llvm.ptr
llvm.store %494, %496 : i64, !llvm.ptr
cf.br ^bb74
^bb73:
cf.br ^bb74
^bb74:
%497 = llvm.load %478 : !llvm.ptr -> i128
%498 = arith.constant 10 : i32
%500 = arith.trunci %497 : i128 to i64
%501 = arith.extsi %498 : i32 to i64
%499 = arith.remsi %500, %501 : i64
%502 = llvm.mlir.addressof @D : !llvm.ptr
%503 = llvm.load %502 : !llvm.ptr -> !llvm.ptr
%504 = llvm.load %347 : !llvm.ptr -> i64
%505 = llvm.getelementptr %503[%504] : (!llvm.ptr, i64) -> !llvm.ptr, i64
llvm.store %499, %505 : i64, !llvm.ptr
%506 = llvm.load %478 : !llvm.ptr -> i128
%507 = arith.constant 10 : i32
%509 = arith.trunci %506 : i128 to i64
%510 = arith.extsi %507 : i32 to i64
%508 = arith.divsi %509, %510 : i64
%511 = arith.extsi %508 : i64 to i128
llvm.store %511, %478 : i128, !llvm.ptr
%512 = llvm.load %347 : !llvm.ptr -> i64
%513 = arith.constant 1 : i32
%515 = arith.extsi %513 : i32 to i64
%514 = arith.addi %512, %515 : i64
llvm.store %514, %347 : i64, !llvm.ptr
cf.br ^bb69
^bb71:
%516 = llvm.load %478 : !llvm.ptr -> i128
%517 = arith.constant 0 : i32
%519 = arith.trunci %516 : i128 to i64
%520 = arith.extsi %517 : i32 to i64
%518 = arith.cmpi sgt, %519, %520 : i64
cf.cond_br %518, ^bb75, ^bb76
^bb75:
%522 = llvm.load %478 : !llvm.ptr -> i128
func.call @add_digits(%arg0, %522) : (i64, i128) -> ()
cf.br ^bb77
^bb76:
cf.br ^bb77
^bb77:
cf.br ^bb68
^bb67:
cf.br ^bb68
^bb68:
%523 = llvm.load %406 : !llvm.ptr -> i64
%524 = arith.cmpi sge, %523, %407 : i64
%525 = scf.if %524 -> (i1) {
%526 = arith.constant true
scf.yield %526 : i1
} else {
%527 = llvm.load %366 : !llvm.ptr -> i128
%528 = llvm.load %402 : !llvm.ptr -> i128
%530 = arith.trunci %527 : i128 to i64
%531 = arith.trunci %528 : i128 to i64
%529 = arith.addi %530, %531 : i64
%533 = llvm.mlir.addressof @BASE : !llvm.ptr
%534 = llvm.load %533 : !llvm.ptr -> !llvm.ptr
%535 = llvm.getelementptr %534[%arg0] : (!llvm.ptr, i64) -> !llvm.ptr, i128
%532 = llvm.load %535 : !llvm.ptr -> i128
%537 = arith.trunci %532 : i128 to i64
%536 = arith.cmpi sge, %529, %537 : i64
scf.yield %536 : i1
}
cf.cond_br %525, ^bb78, ^bb79
^bb78:
%539 = llvm.load %402 : !llvm.ptr -> i128
func.call @set_last_diff(%539) : (i128) -> ()
%540 = llvm.load %406 : !llvm.ptr -> i64
func.return %540 : i64
^bb79:
cf.br ^bb80
^bb80:
%541 = arith.constant 2 : i32
%543 = arith.extsi %541 : i32 to i64
%542 = arith.cmpi sgt, %arg0, %543 : i64
cf.cond_br %542, ^bb81, ^bb82
^bb81:
cf.br ^bb84
^bb84:
%544 = arith.constant 1 : i1
cf.cond_br %544, ^bb85, ^bb86
^bb85:
%546 = arith.constant 1 : i32
%548 = arith.extsi %546 : i32 to i64
%547 = arith.subi %arg0, %548 : i64
%549 = llvm.load %406 : !llvm.ptr -> i64
%550 = arith.addi %arg1, %549 : i64
%545 = func.call @next_term(%547, %550, %arg2) : (i64, i64, i64) -> i64
%551 = llvm.load %402 : !llvm.ptr -> i128
%552 = func.call @get_last_diff() : () -> i128
%554 = arith.trunci %551 : i128 to i64
%555 = arith.trunci %552 : i128 to i64
%553 = arith.addi %554, %555 : i64
%556 = arith.extsi %553 : i64 to i128
llvm.store %556, %402 : i128, !llvm.ptr
%557 = llvm.load %406 : !llvm.ptr -> i64
%558 = arith.addi %557, %545 : i64
llvm.store %558, %406 : i64, !llvm.ptr
%559 = llvm.load %406 : !llvm.ptr -> i64
%560 = arith.cmpi sge, %559, %407 : i64
%561 = scf.if %560 -> (i1) {
%562 = arith.constant true
scf.yield %562 : i1
} else {
%563 = llvm.load %366 : !llvm.ptr -> i128
%564 = llvm.load %402 : !llvm.ptr -> i128
%566 = arith.trunci %563 : i128 to i64
%567 = arith.trunci %564 : i128 to i64
%565 = arith.addi %566, %567 : i64
%569 = llvm.mlir.addressof @BASE : !llvm.ptr
%570 = llvm.load %569 : !llvm.ptr -> !llvm.ptr
%571 = llvm.getelementptr %570[%arg0] : (!llvm.ptr, i64) -> !llvm.ptr, i128
%568 = llvm.load %571 : !llvm.ptr -> i128
%573 = arith.trunci %568 : i128 to i64
%572 = arith.cmpi sge, %565, %573 : i64
scf.yield %572 : i1
}
cf.cond_br %561, ^bb87, ^bb88
^bb87:
cf.br ^bb86
^bb88:
cf.br ^bb89
^bb89:
cf.br ^bb84
^bb86:
cf.br ^bb83
^bb82:
%575 = llvm.load %406 : !llvm.ptr -> i64
%576 = arith.addi %arg1, %575 : i64
%574 = func.call @compute(%arg0, %576, %arg2) : (i64, i64, i64) -> i64
%577 = llvm.load %402 : !llvm.ptr -> i128
%578 = func.call @get_last_diff() : () -> i128
%580 = arith.trunci %577 : i128 to i64
%581 = arith.trunci %578 : i128 to i64
%579 = arith.addi %580, %581 : i64
%582 = arith.extsi %579 : i64 to i128
llvm.store %582, %402 : i128, !llvm.ptr
%583 = llvm.load %406 : !llvm.ptr -> i64
%584 = arith.addi %583, %574 : i64
llvm.store %584, %406 : i64, !llvm.ptr
cf.br ^bb83
^bb83:
%586 = llvm.mlir.addressof @MNJ : !llvm.ptr
%587 = llvm.load %586 : !llvm.ptr -> !llvm.ptr
%588 = llvm.getelementptr %587[%408] : (!llvm.ptr, i64) -> !llvm.ptr, i32
%585 = llvm.load %588 : !llvm.ptr -> i32
%589 = arith.extsi %585 : i32 to i64
%590 = llvm.mlir.constant(1 : i64) : i64
%591 = llvm.alloca %590 x i64 : (i64) -> !llvm.ptr
llvm.store %589, %591 : i64, !llvm.ptr
%592 = llvm.load %591 : !llvm.ptr -> i64
%593 = llvm.mlir.addressof @JMAX : !llvm.ptr
%594 = llvm.load %593 : !llvm.ptr -> i64
%595 = arith.cmpi slt, %592, %594 : i64
cf.cond_br %595, ^bb90, ^bb91
^bb90:
%596 = arith.constant 0 : i32
%597 = arith.extsi %596 : i32 to i64
%598 = llvm.mlir.constant(1 : i64) : i64
%599 = llvm.alloca %598 x i64 : (i64) -> !llvm.ptr
llvm.store %597, %599 : i64, !llvm.ptr
cf.br ^bb93
^bb93:
%600 = llvm.load %599 : !llvm.ptr -> i64
%601 = llvm.load %591 : !llvm.ptr -> i64
%602 = arith.cmpi slt, %600, %601 : i64
cf.cond_br %602, ^bb94, ^bb95
^bb94:
%604 = llvm.mlir.addressof @MDN : !llvm.ptr
%605 = llvm.load %604 : !llvm.ptr -> !llvm.ptr
%606 = llvm.mlir.addressof @JMAX : !llvm.ptr
%607 = llvm.load %606 : !llvm.ptr -> i64
%608 = arith.muli %408, %607 : i64
%609 = llvm.load %599 : !llvm.ptr -> i64
%610 = arith.addi %608, %609 : i64
%611 = llvm.getelementptr %605[%610] : (!llvm.ptr, i64) -> !llvm.ptr, i64
%603 = llvm.load %611 : !llvm.ptr -> i64
%612 = llvm.load %406 : !llvm.ptr -> i64
%613 = arith.cmpi sgt, %603, %612 : i64
cf.cond_br %613, ^bb96, ^bb97
^bb96:
cf.br ^bb95
^bb97:
cf.br ^bb98
^bb98:
%614 = llvm.load %599 : !llvm.ptr -> i64
%615 = arith.constant 1 : i32
%617 = arith.extsi %615 : i32 to i64
%616 = arith.addi %614, %617 : i64
llvm.store %616, %599 : i64, !llvm.ptr
cf.br ^bb93
^bb95:
%618 = llvm.load %591 : !llvm.ptr -> i64
%619 = llvm.mlir.constant(1 : i64) : i64
%620 = llvm.alloca %619 x i64 : (i64) -> !llvm.ptr
llvm.store %618, %620 : i64, !llvm.ptr
cf.br ^bb99
^bb99:
%621 = llvm.load %620 : !llvm.ptr -> i64
%622 = llvm.load %599 : !llvm.ptr -> i64
%623 = arith.cmpi sgt, %621, %622 : i64
cf.cond_br %623, ^bb100, ^bb101
^bb100:
%625 = llvm.mlir.addressof @MDIFF : !llvm.ptr
%626 = llvm.load %625 : !llvm.ptr -> !llvm.ptr
%627 = llvm.mlir.addressof @JMAX : !llvm.ptr
%628 = llvm.load %627 : !llvm.ptr -> i64
%629 = arith.muli %408, %628 : i64
%630 = llvm.load %620 : !llvm.ptr -> i64
%631 = arith.addi %629, %630 : i64
%632 = arith.constant 1 : i32
%634 = arith.extsi %632 : i32 to i64
%633 = arith.subi %631, %634 : i64
%635 = llvm.getelementptr %626[%633] : (!llvm.ptr, i64) -> !llvm.ptr, i128
%624 = llvm.load %635 : !llvm.ptr -> i128
%636 = llvm.mlir.addressof @MDIFF : !llvm.ptr
%637 = llvm.load %636 : !llvm.ptr -> !llvm.ptr
%638 = llvm.mlir.addressof @JMAX : !llvm.ptr
%639 = llvm.load %638 : !llvm.ptr -> i64
%640 = arith.muli %408, %639 : i64
%641 = llvm.load %620 : !llvm.ptr -> i64
%642 = arith.addi %640, %641 : i64
%643 = llvm.getelementptr %637[%642] : (!llvm.ptr, i64) -> !llvm.ptr, i128
llvm.store %624, %643 : i128, !llvm.ptr
%645 = llvm.mlir.addressof @MDN : !llvm.ptr
%646 = llvm.load %645 : !llvm.ptr -> !llvm.ptr
%647 = llvm.mlir.addressof @JMAX : !llvm.ptr
%648 = llvm.load %647 : !llvm.ptr -> i64
%649 = arith.muli %408, %648 : i64
%650 = llvm.load %620 : !llvm.ptr -> i64
%651 = arith.addi %649, %650 : i64
%652 = arith.constant 1 : i32
%654 = arith.extsi %652 : i32 to i64
%653 = arith.subi %651, %654 : i64
%655 = llvm.getelementptr %646[%653] : (!llvm.ptr, i64) -> !llvm.ptr, i64
%644 = llvm.load %655 : !llvm.ptr -> i64
%656 = llvm.mlir.addressof @MDN : !llvm.ptr
%657 = llvm.load %656 : !llvm.ptr -> !llvm.ptr
%658 = llvm.mlir.addressof @JMAX : !llvm.ptr
%659 = llvm.load %658 : !llvm.ptr -> i64
%660 = arith.muli %408, %659 : i64
%661 = llvm.load %620 : !llvm.ptr -> i64
%662 = arith.addi %660, %661 : i64
%663 = llvm.getelementptr %657[%662] : (!llvm.ptr, i64) -> !llvm.ptr, i64
llvm.store %644, %663 : i64, !llvm.ptr
%665 = llvm.mlir.addressof @MK : !llvm.ptr
%666 = llvm.load %665 : !llvm.ptr -> !llvm.ptr
%667 = llvm.mlir.addressof @JMAX : !llvm.ptr
%668 = llvm.load %667 : !llvm.ptr -> i64
%669 = arith.muli %408, %668 : i64
%670 = llvm.load %620 : !llvm.ptr -> i64
%671 = arith.addi %669, %670 : i64
%672 = arith.constant 1 : i32
%674 = arith.extsi %672 : i32 to i64
%673 = arith.subi %671, %674 : i64
%675 = llvm.getelementptr %666[%673] : (!llvm.ptr, i64) -> !llvm.ptr, i32
%664 = llvm.load %675 : !llvm.ptr -> i32
%676 = llvm.mlir.addressof @MK : !llvm.ptr
%677 = llvm.load %676 : !llvm.ptr -> !llvm.ptr
%678 = llvm.mlir.addressof @JMAX : !llvm.ptr
%679 = llvm.load %678 : !llvm.ptr -> i64
%680 = arith.muli %408, %679 : i64
%681 = llvm.load %620 : !llvm.ptr -> i64
%682 = arith.addi %680, %681 : i64
%683 = llvm.getelementptr %677[%682] : (!llvm.ptr, i64) -> !llvm.ptr, i32
llvm.store %664, %683 : i32, !llvm.ptr
%684 = llvm.load %620 : !llvm.ptr -> i64
%685 = arith.constant 1 : i32
%687 = arith.extsi %685 : i32 to i64
%686 = arith.subi %684, %687 : i64
llvm.store %686, %620 : i64, !llvm.ptr
cf.br ^bb99
^bb101:
%688 = llvm.load %402 : !llvm.ptr -> i128
%689 = llvm.mlir.addressof @MDIFF : !llvm.ptr
%690 = llvm.load %689 : !llvm.ptr -> !llvm.ptr
%691 = llvm.mlir.addressof @JMAX : !llvm.ptr
%692 = llvm.load %691 : !llvm.ptr -> i64
%693 = arith.muli %408, %692 : i64
%694 = llvm.load %599 : !llvm.ptr -> i64
%695 = arith.addi %693, %694 : i64
%696 = llvm.getelementptr %690[%695] : (!llvm.ptr, i64) -> !llvm.ptr, i128
llvm.store %688, %696 : i128, !llvm.ptr
%697 = llvm.load %406 : !llvm.ptr -> i64
%698 = llvm.mlir.addressof @MDN : !llvm.ptr
%699 = llvm.load %698 : !llvm.ptr -> !llvm.ptr
%700 = llvm.mlir.addressof @JMAX : !llvm.ptr
%701 = llvm.load %700 : !llvm.ptr -> i64
%702 = arith.muli %408, %701 : i64
%703 = llvm.load %599 : !llvm.ptr -> i64
%704 = arith.addi %702, %703 : i64
%705 = llvm.getelementptr %699[%704] : (!llvm.ptr, i64) -> !llvm.ptr, i64
llvm.store %697, %705 : i64, !llvm.ptr
%706 = arith.trunci %arg0 : i64 to i32
%707 = llvm.mlir.addressof @MK : !llvm.ptr
%708 = llvm.load %707 : !llvm.ptr -> !llvm.ptr
%709 = llvm.mlir.addressof @JMAX : !llvm.ptr
%710 = llvm.load %709 : !llvm.ptr -> i64
%711 = arith.muli %408, %710 : i64
%712 = llvm.load %599 : !llvm.ptr -> i64
%713 = arith.addi %711, %712 : i64
%714 = llvm.getelementptr %708[%713] : (!llvm.ptr, i64) -> !llvm.ptr, i32
llvm.store %706, %714 : i32, !llvm.ptr
%715 = llvm.load %591 : !llvm.ptr -> i64
%716 = arith.constant 1 : i32
%718 = arith.extsi %716 : i32 to i64
%717 = arith.addi %715, %718 : i64
%719 = arith.trunci %717 : i64 to i32
%720 = llvm.mlir.addressof @MNJ : !llvm.ptr
%721 = llvm.load %720 : !llvm.ptr -> !llvm.ptr
%722 = llvm.getelementptr %721[%408] : (!llvm.ptr, i64) -> !llvm.ptr, i32
llvm.store %719, %722 : i32, !llvm.ptr
cf.br ^bb92
^bb91:
cf.br ^bb92
^bb92:
%724 = llvm.load %402 : !llvm.ptr -> i128
func.call @set_last_diff(%724) : (i128) -> ()
%725 = llvm.load %406 : !llvm.ptr -> i64
func.return %725 : i64
}
func.func @solve(%arg0: i64) -> i64 {
%727 = arith.constant 1 : i32
%728 = arith.constant 16 : i32
%729 = arith.extsi %727 : i32 to i64
%730 = arith.extsi %728 : i32 to i64
%726 = func.call @calloc(%729, %730) : (i64, i64) -> !llvm.ptr
%731 = llvm.mlir.addressof @LAST_DIFF : !llvm.ptr
llvm.store %726, %731 : !llvm.ptr, !llvm.ptr
%733 = llvm.mlir.addressof @KMAX : !llvm.ptr
%734 = llvm.load %733 : !llvm.ptr -> i64
%735 = arith.constant 2 : i32
%737 = arith.extsi %735 : i32 to i64
%736 = arith.addi %734, %737 : i64
%738 = arith.constant 16 : i32
%739 = arith.extsi %738 : i32 to i64
%732 = func.call @calloc(%736, %739) : (i64, i64) -> !llvm.ptr
%740 = llvm.mlir.addressof @BASE : !llvm.ptr
llvm.store %732, %740 : !llvm.ptr, !llvm.ptr
%741 = arith.constant 1 : i32
%742 = llvm.mlir.addressof @BASE : !llvm.ptr
%743 = llvm.load %742 : !llvm.ptr -> !llvm.ptr
%744 = arith.constant 0 : i32
%745 = arith.extsi %741 : i32 to i128
%746 = arith.extsi %744 : i32 to i64
%747 = llvm.getelementptr %743[%746] : (!llvm.ptr, i64) -> !llvm.ptr, i128
llvm.store %745, %747 : i128, !llvm.ptr
%748 = arith.constant 1 : i32
%749 = arith.extsi %748 : i32 to i64
%750 = llvm.mlir.constant(1 : i64) : i64
%751 = llvm.alloca %750 x i64 : (i64) -> !llvm.ptr
llvm.store %749, %751 : i64, !llvm.ptr
cf.br ^bb102
^bb102:
%752 = llvm.load %751 : !llvm.ptr -> i64
%753 = llvm.mlir.addressof @KMAX : !llvm.ptr
%754 = llvm.load %753 : !llvm.ptr -> i64
%755 = arith.cmpi sle, %752, %754 : i64
cf.cond_br %755, ^bb103, ^bb104
^bb103:
%757 = llvm.mlir.addressof @BASE : !llvm.ptr
%758 = llvm.load %757 : !llvm.ptr -> !llvm.ptr
%759 = llvm.load %751 : !llvm.ptr -> i64
%760 = arith.constant 1 : i32
%762 = arith.extsi %760 : i32 to i64
%761 = arith.subi %759, %762 : i64
%763 = llvm.getelementptr %758[%761] : (!llvm.ptr, i64) -> !llvm.ptr, i128
%756 = llvm.load %763 : !llvm.ptr -> i128
%764 = arith.constant 10 : i32
%766 = arith.trunci %756 : i128 to i64
%767 = arith.extsi %764 : i32 to i64
%765 = arith.muli %766, %767 : i64
%768 = llvm.mlir.addressof @BASE : !llvm.ptr
%769 = llvm.load %768 : !llvm.ptr -> !llvm.ptr
%770 = llvm.load %751 : !llvm.ptr -> i64
%771 = arith.extsi %765 : i64 to i128
%772 = llvm.getelementptr %769[%770] : (!llvm.ptr, i64) -> !llvm.ptr, i128
llvm.store %771, %772 : i128, !llvm.ptr
%773 = llvm.load %751 : !llvm.ptr -> i64
%774 = arith.constant 1 : i32
%776 = arith.extsi %774 : i32 to i64
%775 = arith.addi %773, %776 : i64
llvm.store %775, %751 : i64, !llvm.ptr
cf.br ^bb102
^bb104:
%778 = llvm.mlir.addressof @MCAP : !llvm.ptr
%779 = llvm.load %778 : !llvm.ptr -> i64
%780 = arith.constant 1 : i32
%781 = arith.extsi %780 : i32 to i64
%777 = func.call @calloc(%779, %781) : (i64, i64) -> !llvm.ptr
%782 = llvm.mlir.addressof @MU : !llvm.ptr
llvm.store %777, %782 : !llvm.ptr, !llvm.ptr
%784 = llvm.mlir.addressof @MCAP : !llvm.ptr
%785 = llvm.load %784 : !llvm.ptr -> i64
%786 = arith.constant 8 : i32
%787 = arith.extsi %786 : i32 to i64
%783 = func.call @calloc(%785, %787) : (i64, i64) -> !llvm.ptr
%788 = llvm.mlir.addressof @MDS : !llvm.ptr
llvm.store %783, %788 : !llvm.ptr, !llvm.ptr
%790 = llvm.mlir.addressof @MCAP : !llvm.ptr
%791 = llvm.load %790 : !llvm.ptr -> i64
%792 = arith.constant 16 : i32
%793 = arith.extsi %792 : i32 to i64
%789 = func.call @calloc(%791, %793) : (i64, i64) -> !llvm.ptr
%794 = llvm.mlir.addressof @MC : !llvm.ptr
llvm.store %789, %794 : !llvm.ptr, !llvm.ptr
%796 = llvm.mlir.addressof @MCAP : !llvm.ptr
%797 = llvm.load %796 : !llvm.ptr -> i64
%798 = arith.constant 4 : i32
%799 = arith.extsi %798 : i32 to i64
%795 = func.call @calloc(%797, %799) : (i64, i64) -> !llvm.ptr
%800 = llvm.mlir.addressof @MNJ : !llvm.ptr
llvm.store %795, %800 : !llvm.ptr, !llvm.ptr
%802 = llvm.mlir.addressof @MCAP : !llvm.ptr
%803 = llvm.load %802 : !llvm.ptr -> i64
%804 = llvm.mlir.addressof @JMAX : !llvm.ptr
%805 = llvm.load %804 : !llvm.ptr -> i64
%806 = arith.muli %803, %805 : i64
%807 = arith.constant 16 : i32
%808 = arith.extsi %807 : i32 to i64
%801 = func.call @calloc(%806, %808) : (i64, i64) -> !llvm.ptr
%809 = llvm.mlir.addressof @MDIFF : !llvm.ptr
llvm.store %801, %809 : !llvm.ptr, !llvm.ptr
%811 = llvm.mlir.addressof @MCAP : !llvm.ptr
%812 = llvm.load %811 : !llvm.ptr -> i64
%813 = llvm.mlir.addressof @JMAX : !llvm.ptr
%814 = llvm.load %813 : !llvm.ptr -> i64
%815 = arith.muli %812, %814 : i64
%816 = arith.constant 8 : i32
%817 = arith.extsi %816 : i32 to i64
%810 = func.call @calloc(%815, %817) : (i64, i64) -> !llvm.ptr
%818 = llvm.mlir.addressof @MDN : !llvm.ptr
llvm.store %810, %818 : !llvm.ptr, !llvm.ptr
%820 = llvm.mlir.addressof @MCAP : !llvm.ptr
%821 = llvm.load %820 : !llvm.ptr -> i64
%822 = llvm.mlir.addressof @JMAX : !llvm.ptr
%823 = llvm.load %822 : !llvm.ptr -> i64
%824 = arith.muli %821, %823 : i64
%825 = arith.constant 4 : i32
%826 = arith.extsi %825 : i32 to i64
%819 = func.call @calloc(%824, %826) : (i64, i64) -> !llvm.ptr
%827 = llvm.mlir.addressof @MK : !llvm.ptr
llvm.store %819, %827 : !llvm.ptr, !llvm.ptr
%828 = arith.constant 64 : i32
%829 = arith.extsi %828 : i32 to i64
%830 = llvm.mlir.addressof @DCAP : !llvm.ptr
llvm.store %829, %830 : i64, !llvm.ptr
%832 = llvm.mlir.addressof @DCAP : !llvm.ptr
%833 = llvm.load %832 : !llvm.ptr -> i64
%834 = arith.constant 8 : i32
%835 = arith.extsi %834 : i32 to i64
%831 = func.call @calloc(%833, %835) : (i64, i64) -> !llvm.ptr
%836 = llvm.mlir.addressof @D : !llvm.ptr
llvm.store %831, %836 : !llvm.ptr, !llvm.ptr
%837 = arith.constant 1 : i32
%838 = llvm.mlir.addressof @D : !llvm.ptr
%839 = llvm.load %838 : !llvm.ptr -> !llvm.ptr
%840 = arith.constant 0 : i32
%841 = arith.extsi %837 : i32 to i64
%842 = arith.extsi %840 : i32 to i64
%843 = llvm.getelementptr %839[%842] : (!llvm.ptr, i64) -> !llvm.ptr, i64
llvm.store %841, %843 : i64, !llvm.ptr
%844 = arith.constant 1 : i32
%845 = arith.extsi %844 : i32 to i64
%846 = llvm.mlir.addressof @DLEN : !llvm.ptr
llvm.store %845, %846 : i64, !llvm.ptr
%847 = arith.constant 1 : i32
%848 = arith.extsi %847 : i32 to i64
%849 = arith.constant 0 : i32
%850 = arith.extsi %849 : i32 to i64
%851 = llvm.mlir.constant(1 : i64) : i64
%852 = llvm.alloca %851 x i64 : (i64) -> !llvm.ptr
llvm.store %850, %852 : i64, !llvm.ptr
cf.br ^bb105
^bb105:
%853 = arith.constant 1 : i1
cf.cond_br %853, ^bb106, ^bb107
^bb106:
%855 = llvm.mlir.addressof @KMAX : !llvm.ptr
%856 = llvm.load %855 : !llvm.ptr -> i64
%857 = llvm.load %852 : !llvm.ptr -> i64
%858 = arith.addi %848, %857 : i64
%854 = func.call @next_term(%856, %858, %arg0) : (i64, i64, i64) -> i64
%859 = llvm.load %852 : !llvm.ptr -> i64
%860 = arith.addi %859, %854 : i64
llvm.store %860, %852 : i64, !llvm.ptr
%861 = llvm.load %852 : !llvm.ptr -> i64
%862 = arith.subi %arg0, %848 : i64
%863 = arith.cmpi eq, %861, %862 : i64
cf.cond_br %863, ^bb108, ^bb109
^bb108:
cf.br ^bb107
^bb109:
cf.br ^bb110
^bb110:
cf.br ^bb105
^bb107:
%864 = arith.constant 0 : i32
%865 = arith.extsi %864 : i32 to i64
%866 = llvm.mlir.constant(1 : i64) : i64
%867 = llvm.alloca %866 x i64 : (i64) -> !llvm.ptr
llvm.store %865, %867 : i64, !llvm.ptr
%868 = arith.constant 1 : i32
%869 = arith.extsi %868 : i32 to i64
%870 = llvm.mlir.constant(1 : i64) : i64
%871 = llvm.alloca %870 x i64 : (i64) -> !llvm.ptr
llvm.store %869, %871 : i64, !llvm.ptr
%872 = arith.constant 0 : i32
%873 = arith.extsi %872 : i32 to i64
%874 = llvm.mlir.constant(1 : i64) : i64
%875 = llvm.alloca %874 x i64 : (i64) -> !llvm.ptr
llvm.store %873, %875 : i64, !llvm.ptr
cf.br ^bb111
^bb111:
%876 = llvm.load %875 : !llvm.ptr -> i64
%877 = llvm.mlir.addressof @DLEN : !llvm.ptr
%878 = llvm.load %877 : !llvm.ptr -> i64
%879 = arith.cmpi slt, %876, %878 : i64
cf.cond_br %879, ^bb112, ^bb113
^bb112:
%880 = llvm.load %867 : !llvm.ptr -> i64
%882 = llvm.mlir.addressof @D : !llvm.ptr
%883 = llvm.load %882 : !llvm.ptr -> !llvm.ptr
%884 = llvm.load %875 : !llvm.ptr -> i64
%885 = llvm.getelementptr %883[%884] : (!llvm.ptr, i64) -> !llvm.ptr, i64
%881 = llvm.load %885 : !llvm.ptr -> i64
%886 = llvm.load %871 : !llvm.ptr -> i64
%887 = arith.muli %881, %886 : i64
%888 = arith.addi %880, %887 : i64
llvm.store %888, %867 : i64, !llvm.ptr
%889 = llvm.load %871 : !llvm.ptr -> i64
%890 = arith.constant 10 : i32
%892 = arith.extsi %890 : i32 to i64
%891 = arith.muli %889, %892 : i64
llvm.store %891, %871 : i64, !llvm.ptr
%893 = llvm.load %875 : !llvm.ptr -> i64
%894 = arith.constant 1 : i32
%896 = arith.extsi %894 : i32 to i64
%895 = arith.addi %893, %896 : i64
llvm.store %895, %875 : i64, !llvm.ptr
cf.br ^bb111
^bb113:
%897 = llvm.load %867 : !llvm.ptr -> i64
func.return %897 : i64
}
func.func @main() -> i32 {
%898 = llvm.mlir.addressof @str_0 : !llvm.ptr
%900 = arith.constant 999995705032704 : i32
%901 = arith.extsi %900 : i32 to i64
%899 = func.call @solve(%901) : (i64) -> i64
%902 = llvm.call @printf(%898, %899) vararg(!llvm.func<i32 (ptr, ...)>) : (!llvm.ptr, i64) -> i32
%903 = arith.constant 0 : i32
func.return %903 : i32
}
}