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;
  for (p = 0; p < m - k; p++) {
    if (i > 0) {
      v = a[x + p];
    } else {
      if (p == 0) {
        v = 1;
      } else {
        v = 0;
      }
    }
    for (q = p + k; q < m; q++) {
      w = v + a[y + q];
      if (w > 500000000) {
        w = 500000001;
      }
      a[y + q] = 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,-0x48(%rbp)
mov    -0x48(%rbp),%rax
mov    -0x20(%rbp),%rcx
sub    -0x18(%rbp),%rcx
cmp    %rcx,%rax
jge    121f <arrayadd+0x11f>
cmpq   $0x0,-0x8(%rbp)
jle    1177 <arrayadd+0x77>
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%rcx
add    -0x48(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x58(%rbp)
jmp    119c <arrayadd+0x9c>
cmpq   $0x0,-0x48(%rbp)
jne    118f <arrayadd+0x8f>
movq   $0x1,-0x58(%rbp)
jmp    1197 <arrayadd+0x97>
movq   $0x0,-0x58(%rbp)
jmp    119c <arrayadd+0x9c>
mov    -0x48(%rbp),%rax
add    -0x18(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
cmp    -0x20(%rbp),%rax
jge    1209 <arrayadd+0x109>
mov    -0x58(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    -0x40(%rbp),%rdx
add    -0x50(%rbp),%rdx
add    (%rcx,%rdx,8),%rax
mov    %rax,-0x60(%rbp)
cmpq   $0x1dcd6500,-0x60(%rbp)
1d
jle    11e4 <arrayadd+0xe4>
movq   $0x1dcd6501,-0x60(%rbp)
1d
mov    -0x60(%rbp),%rdx
mov    -0x30(%rbp),%rax
mov    -0x40(%rbp),%rcx
add    -0x50(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
jmp    11a8 <arrayadd+0xa8>
jmp    120e <arrayadd+0x10e>
mov    -0x48(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x48(%rbp)
jmp    113e <arrayadd+0x3e>
pop    %rbp
ret

x86 assembly (clang, -O2):
<arrayadd>:
push   %r15
push   %r14
push   %rbx
mov    %rcx,%r10
sub    %rdx,%r10
test   %r10,%r10
jle    1199 <arrayadd+0x99>
mov    %rcx,%r8
imul   %rdi,%r8
imul   %rcx,%rsi
lea    (%r9,%rsi,8),%rsi
xor    %r14d,%r14d
mov    $0x1dcd6501,%r11d
jmp    113d <arrayadd+0x3d>
xchg   %ax,%ax
add    $0x1,%r14
add    $0x8,%rsi
cmp    %r10,%r14
je     1199 <arrayadd+0x99>
test   %rdi,%rdi
jle    1150 <arrayadd+0x50>
lea    (%r14,%r8,1),%rax
mov    (%r9,%rax,8),%r15
jmp    115a <arrayadd+0x5a>
nopl   0x0(%rax)
xor    %r15d,%r15d
test   %r14,%r14
sete   %r15b
lea    (%r14,%rdx,1),%rax
cmp    %rcx,%rax
jge    1130 <arrayadd+0x30>
mov    %rdx,%rax
cs nopw 0x0(%rax,%rax,1)
mov    (%rsi,%rax,8),%rbx
add    %r15,%rbx
cmp    $0x1dcd6501,%rbx
cmovge %r11,%rbx
mov    %rbx,(%rsi,%rax,8)
lea    (%r14,%rax,1),%rbx
add    $0x1,%rbx
add    $0x1,%rax
cmp    %rcx,%rbx
jl     1170 <arrayadd+0x70>
jmp    1130 <arrayadd+0x30>
pop    %rbx
pop    %r14
pop    %r15
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
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
%19 = load i64, i64* %10
%20 = load i64, i64* %7
%21 = mul nsw i64 %19, %20
store i64 %21, i64* %13
%22 = load i64, i64* %10
%23 = load i64, i64* %8
%24 = mul nsw i64 %22, %23
store i64 %24, i64* %14
store i64 0, i64* %15
br label %25
25: ; preds = %78, %6
%26 = load i64, i64* %15
%27 = load i64, i64* %10
%28 = load i64, i64* %9
%29 = sub nsw i64 %27, %28
%30 = icmp slt i64 %26, %29
br i1 %30, label %31, label %81
31: ; preds = %25
%32 = load i64, i64* %7
%33 = icmp sgt i64 %32, 0
br i1 %33, label %34, label %41
34: ; preds = %31
%35 = load i64*, i64** %12
%36 = load i64, i64* %13
%37 = load i64, i64* %15
%38 = add nsw i64 %36, %37
%39 = getelementptr inbounds i64, i64* %35, i64 %38
%40 = load i64, i64* %39
store i64 %40, i64* %17
br label %47
41: ; preds = %31
%42 = load i64, i64* %15
%43 = icmp eq i64 %42, 0
br i1 %43, label %44, label %45
44: ; preds = %41
store i64 1, i64* %17
br label %46
45: ; preds = %41
store i64 0, i64* %17
br label %46
46: ; preds = %45, %44
br label %47
47: ; preds = %46, %34
%48 = load i64, i64* %15
%49 = load i64, i64* %9
%50 = add nsw i64 %48, %49
store i64 %50, i64* %16
br label %51
51: ; preds = %74, %47
%52 = load i64, i64* %16
%53 = load i64, i64* %10
%54 = icmp slt i64 %52, %53
br i1 %54, label %55, label %77
55: ; preds = %51
%56 = load i64, i64* %17
%57 = load i64*, i64** %12
%58 = load i64, i64* %14
%59 = load i64, i64* %16
%60 = add nsw i64 %58, %59
%61 = getelementptr inbounds i64, i64* %57, i64 %60
%62 = load i64, i64* %61
%63 = add nsw i64 %56, %62
store i64 %63, i64* %18
%64 = load i64, i64* %18
%65 = icmp sgt i64 %64, 500000000
br i1 %65, label %66, label %67
66: ; preds = %55
store i64 500000001, i64* %18
br label %67
67: ; preds = %66, %55
%68 = load i64, i64* %18
%69 = load i64*, i64** %12
%70 = load i64, i64* %14
%71 = load i64, i64* %16
%72 = add nsw i64 %70, %71
%73 = getelementptr inbounds i64, i64* %69, i64 %72
store i64 %68, i64* %73
br label %74
74: ; preds = %67
%75 = load i64, i64* %16
%76 = add nsw i64 %75, 1
store i64 %76, i64* %16
br label %51
77: ; preds = %51
br label %78
78: ; preds = %77
%79 = load i64, i64* %15
%80 = add nsw i64 %79, 1
store i64 %80, i64* %15
br label %25
81: ; preds = %25
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 = mul nsw i64 %3, %1
%9 = sub i64 %3, %2
%10 = icmp sgt i64 %9, 0
br i1 %10, label %11, label %39
11: ; preds = %6
%12 = icmp sgt i64 %0, 0
br label %13
13: ; preds = %11, %36
%14 = phi i64 [ 0, %11 ], [ %37, %36 ]
br i1 %12, label %15, label %19
15: ; preds = %13
%16 = add nsw i64 %14, %7
%17 = getelementptr inbounds i64, i64* %5, i64 %16
%18 = load i64, i64* %17
br label %22
19: ; preds = %13
%20 = icmp eq i64 %14, 0
%21 = zext i1 %20 to i64
br label %22
22: ; preds = %19, %15
%23 = phi i64 [ %18, %15 ], [ %21, %19 ]
%24 = add nsw i64 %14, %2
%25 = icmp slt i64 %24, %3
br i1 %25, label %26, label %36
26: ; preds = %22, %26
%27 = phi i64 [ %34, %26 ], [ %24, %22 ]
%28 = add nsw i64 %27, %8
%29 = getelementptr inbounds i64, i64* %5, i64 %28
%30 = load i64, i64* %29
%31 = add nsw i64 %30, %23
%32 = icmp slt i64 %31, 500000001
%33 = select i1 %32, i64 %31, i64 500000001
store i64 %33, i64* %29
%34 = add nsw i64 %27, 1
%35 = icmp slt i64 %34, %3
br i1 %35, label %26, label %36
36: ; preds = %26, %22
%37 = add nuw nsw i64 %14, 1
%38 = icmp eq i64 %37, %9
br i1 %38, label %39, label %13
39: ; preds = %36, %6
ret void
}