void arrayadd(long i, long j, long k, long m, long n, long a[]) {
  long x = m * i;
  long y = m * j;
  long p;
  long q;
  long v;
  long w;
  long u;
  u = 0;
  for (p = 0; p < m - k; p++) {
    if (i > 0) {
      v = a[x + p];
    } else {
      if (p == 0) {
        v = 1;
      } else {
        v = 0;
      }
    }
    u = u + v;
    if (u > 500000000) {
      u = 500000001;
    }
    w = u + a[y + p + k];
    if (w > 500000000) {
      w = 500000001;
    }
    a[y + p + k] = w;
  }
}


x86 assembly (clang, -O0):
<arrayadd>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    -0x20(%rbp),%rax
imul   -0x8(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x20(%rbp),%rax
imul   -0x10(%rbp),%rax
mov    %rax,-0x40(%rbp)
movq   $0x0,-0x68(%rbp)
movq   $0x0,-0x48(%rbp)
mov    -0x48(%rbp),%rax
mov    -0x20(%rbp),%rcx
sub    -0x18(%rbp),%rcx
cmp    %rcx,%rax
jge    1221 <arrayadd+0x121>
cmpq   $0x0,-0x8(%rbp)
jle    117f <arrayadd+0x7f>
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%rcx
add    -0x48(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x58(%rbp)
jmp    11a4 <arrayadd+0xa4>
cmpq   $0x0,-0x48(%rbp)
jne    1197 <arrayadd+0x97>
movq   $0x1,-0x58(%rbp)
jmp    119f <arrayadd+0x9f>
movq   $0x0,-0x58(%rbp)
jmp    11a4 <arrayadd+0xa4>
mov    -0x68(%rbp),%rax
add    -0x58(%rbp),%rax
mov    %rax,-0x68(%rbp)
cmpq   $0x1dcd6500,-0x68(%rbp)
1d
jle    11c6 <arrayadd+0xc6>
movq   $0x1dcd6501,-0x68(%rbp)
1d
mov    -0x68(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    -0x40(%rbp),%rdx
add    -0x48(%rbp),%rdx
add    -0x18(%rbp),%rdx
add    (%rcx,%rdx,8),%rax
mov    %rax,-0x60(%rbp)
cmpq   $0x1dcd6500,-0x60(%rbp)
1d
jle    11f8 <arrayadd+0xf8>
movq   $0x1dcd6501,-0x60(%rbp)
1d
mov    -0x60(%rbp),%rdx
mov    -0x30(%rbp),%rax
mov    -0x40(%rbp),%rcx
add    -0x48(%rbp),%rcx
add    -0x18(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x48(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x48(%rbp)
jmp    1146 <arrayadd+0x46>
pop    %rbp
ret

x86 assembly (clang, -O2):
<arrayadd>:
mov    %rcx,%r10
sub    %rdx,%r10
test   %r10,%r10
jle    1181 <arrayadd+0x81>
mov    %rcx,%rax
imul   %rdi,%rax
imul   %rcx,%rsi
lea    (%r9,%rax,8),%r8
add    %rsi,%rdx
lea    (%r9,%rdx,8),%rdx
xor    %esi,%esi
xor    %ecx,%ecx
jmp    113d <arrayadd+0x3d>
nopw   0x0(%rax,%rax,1)
mov    %rax,(%rdx,%rcx,8)
add    $0x1,%rcx
cmp    %rcx,%r10
je     1181 <arrayadd+0x81>
test   %rdi,%rdi
jle    1150 <arrayadd+0x50>
mov    (%r8,%rcx,8),%rax
jmp    1158 <arrayadd+0x58>
nopl   0x0(%rax,%rax,1)
xor    %eax,%eax
test   %rcx,%rcx
sete   %al
add    %rax,%rsi
cmp    $0x1dcd6501,%rsi
mov    $0x1dcd6501,%eax
cmovge %rax,%rsi
mov    (%rdx,%rcx,8),%rax
add    %rsi,%rax
cmp    $0x1dcd6501,%rax
jl     1130 <arrayadd+0x30>
mov    $0x1dcd6501,%eax
jmp    1130 <arrayadd+0x30>
ret

LLVM IR (-O0):
define void @arrayadd(i64 %0, i64 %1, i64 %2, i64 %3, i64 %4, i64* %5) {
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64*
%13 = alloca i64
%14 = alloca i64
%15 = alloca i64
%16 = alloca i64
%17 = alloca i64
%18 = alloca i64
%19 = alloca i64
store i64 %0, i64* %7
store i64 %1, i64* %8
store i64 %2, i64* %9
store i64 %3, i64* %10
store i64 %4, i64* %11
store i64* %5, i64** %12
%20 = load i64, i64* %10
%21 = load i64, i64* %7
%22 = mul nsw i64 %20, %21
store i64 %22, i64* %13
%23 = load i64, i64* %10
%24 = load i64, i64* %8
%25 = mul nsw i64 %23, %24
store i64 %25, i64* %14
store i64 0, i64* %19
store i64 0, i64* %15
br label %26
26: ; preds = %78, %6
%27 = load i64, i64* %15
%28 = load i64, i64* %10
%29 = load i64, i64* %9
%30 = sub nsw i64 %28, %29
%31 = icmp slt i64 %27, %30
br i1 %31, label %32, label %81
32: ; preds = %26
%33 = load i64, i64* %7
%34 = icmp sgt i64 %33, 0
br i1 %34, label %35, label %42
35: ; preds = %32
%36 = load i64*, i64** %12
%37 = load i64, i64* %13
%38 = load i64, i64* %15
%39 = add nsw i64 %37, %38
%40 = getelementptr inbounds i64, i64* %36, i64 %39
%41 = load i64, i64* %40
store i64 %41, i64* %17
br label %48
42: ; preds = %32
%43 = load i64, i64* %15
%44 = icmp eq i64 %43, 0
br i1 %44, label %45, label %46
45: ; preds = %42
store i64 1, i64* %17
br label %47
46: ; preds = %42
store i64 0, i64* %17
br label %47
47: ; preds = %46, %45
br label %48
48: ; preds = %47, %35
%49 = load i64, i64* %19
%50 = load i64, i64* %17
%51 = add nsw i64 %49, %50
store i64 %51, i64* %19
%52 = load i64, i64* %19
%53 = icmp sgt i64 %52, 500000000
br i1 %53, label %54, label %55
54: ; preds = %48
store i64 500000001, i64* %19
br label %55
55: ; preds = %54, %48
%56 = load i64, i64* %19
%57 = load i64*, i64** %12
%58 = load i64, i64* %14
%59 = load i64, i64* %15
%60 = add nsw i64 %58, %59
%61 = load i64, i64* %9
%62 = add nsw i64 %60, %61
%63 = getelementptr inbounds i64, i64* %57, i64 %62
%64 = load i64, i64* %63
%65 = add nsw i64 %56, %64
store i64 %65, i64* %18
%66 = load i64, i64* %18
%67 = icmp sgt i64 %66, 500000000
br i1 %67, label %68, label %69
68: ; preds = %55
store i64 500000001, i64* %18
br label %69
69: ; preds = %68, %55
%70 = load i64, i64* %18
%71 = load i64*, i64** %12
%72 = load i64, i64* %14
%73 = load i64, i64* %15
%74 = add nsw i64 %72, %73
%75 = load i64, i64* %9
%76 = add nsw i64 %74, %75
%77 = getelementptr inbounds i64, i64* %71, i64 %76
store i64 %70, i64* %77
br label %78
78: ; preds = %69
%79 = load i64, i64* %15
%80 = add nsw i64 %79, 1
store i64 %80, i64* %15
br label %26
81: ; preds = %26
ret void
}

LLVM IR (-O2):
define void @arrayadd(i64 %0, i64 %1, i64 %2, i64 %3, i64 %4, i64* nocapture %5) {
%7 = mul nsw i64 %3, %0
%8 = sub i64 %3, %2
%9 = icmp sgt i64 %8, 0
br i1 %9, label %10, label %37
10: ; preds = %6
%11 = mul nsw i64 %3, %1
%12 = icmp sgt i64 %0, 0
%13 = add i64 %11, %2
br label %14
14: ; preds = %10, %24
%15 = phi i64 [ 0, %10 ], [ %28, %24 ]
%16 = phi i64 [ 0, %10 ], [ %35, %24 ]
br i1 %12, label %17, label %21
17: ; preds = %14
%18 = add nsw i64 %16, %7
%19 = getelementptr inbounds i64, i64* %5, i64 %18
%20 = load i64, i64* %19
br label %24
21: ; preds = %14
%22 = icmp eq i64 %16, 0
%23 = zext i1 %22 to i64
br label %24
24: ; preds = %21, %17
%25 = phi i64 [ %20, %17 ], [ %23, %21 ]
%26 = add nsw i64 %25, %15
%27 = icmp slt i64 %26, 500000001
%28 = select i1 %27, i64 %26, i64 500000001
%29 = add i64 %13, %16
%30 = getelementptr inbounds i64, i64* %5, i64 %29
%31 = load i64, i64* %30
%32 = add nsw i64 %28, %31
%33 = icmp slt i64 %32, 500000001
%34 = select i1 %33, i64 %32, i64 500000001
store i64 %34, i64* %30
%35 = add nuw nsw i64 %16, 1
%36 = icmp eq i64 %35, %8
br i1 %36, label %37, label %14
37: ; preds = %24, %6
ret void
}