int CHECK_SCORE(int iw, const unsigned char *B, int M, int N, int *S, int **w,
                int g, int h, int *NC, int *sw_score) {
  register int i, j, op, nc;
  int itmp;
  int score;
  int l_score, mx_l_score;
  score = i = j = nc = l_score = mx_l_score = 0;
  while (i < M || j < N) {
    op = *S++;
    if (op == 0) {
      itmp = w[iw + i][B[++j]];
      score += itmp;
      i++;
      nc++;
      l_score += itmp;
      if (l_score < 0)
        l_score = 0;
      if (l_score > mx_l_score)
        mx_l_score = l_score;
    } else if (op > 0) {
      score = score - (g + op * h);
      j += op;
      nc += op;
      l_score -= (g + op * h);
      if (l_score < 0)
        l_score = 0;
    } else {
      score = score - (g - op * h);
      i -= op;
      nc -= op;
      l_score -= (g - op * h);
      if (l_score < 0)
        l_score = 0;
    }
  }
  *NC = nc;
  *sw_score = mx_l_score;
  return score;
}


x86 assembly (clang, -O0):
<CHECK_SCORE>:
push   %rbp
mov    %rsp,%rbp
mov    0x28(%rbp),%rax
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%eax
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
movl   $0x0,-0x48(%rbp)
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x38(%rbp)
movl   $0x0,-0x30(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x40(%rbp)
mov    -0x2c(%rbp),%ecx
mov    $0x1,%al
cmp    -0x14(%rbp),%ecx
mov    %al,-0x49(%rbp)
jl     116e <CHECK_SCORE+0x6e>
mov    -0x30(%rbp),%eax
cmp    -0x18(%rbp),%eax
setl   %al
mov    %al,-0x49(%rbp)
mov    -0x49(%rbp),%al
test   $0x1,%al
jne    117e <CHECK_SCORE+0x7e>
jmp    12cb <CHECK_SCORE+0x1cb>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x20(%rbp)
mov    (%rax),%eax
mov    %eax,-0x34(%rbp)
cmpl   $0x0,-0x34(%rbp)
jne    1213 <CHECK_SCORE+0x113>
mov    -0x28(%rbp),%rax
mov    -0x4(%rbp),%ecx
add    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x10(%rbp),%rcx
mov    -0x30(%rbp),%edx
add    $0x1,%edx
mov    %edx,-0x30(%rbp)
movslq %edx,%rdx
movzbl (%rcx,%rdx,1),%ecx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
add    -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
mov    -0x3c(%rbp),%eax
add    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
cmpl   $0x0,-0x44(%rbp)
jge    11fc <CHECK_SCORE+0xfc>
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x48(%rbp),%eax
jle    120e <CHECK_SCORE+0x10e>
mov    -0x44(%rbp),%eax
mov    %eax,-0x48(%rbp)
jmp    12c6 <CHECK_SCORE+0x1c6>
cmpl   $0x0,-0x34(%rbp)
jle    126d <CHECK_SCORE+0x16d>
mov    -0x40(%rbp),%eax
mov    0x10(%rbp),%ecx
mov    -0x34(%rbp),%edx
imul   0x18(%rbp),%edx
add    %edx,%ecx
sub    %ecx,%eax
mov    %eax,-0x40(%rbp)
mov    -0x34(%rbp),%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x34(%rbp),%eax
add    -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    0x10(%rbp),%ecx
mov    -0x34(%rbp),%eax
imul   0x18(%rbp),%eax
add    %eax,%ecx
mov    -0x44(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x44(%rbp)
cmpl   $0x0,-0x44(%rbp)
jge    1268 <CHECK_SCORE+0x168>
movl   $0x0,-0x44(%rbp)
jmp    12c1 <CHECK_SCORE+0x1c1>
mov    -0x40(%rbp),%eax
mov    0x10(%rbp),%ecx
mov    -0x34(%rbp),%edx
imul   0x18(%rbp),%edx
sub    %edx,%ecx
sub    %ecx,%eax
mov    %eax,-0x40(%rbp)
mov    -0x34(%rbp),%ecx
mov    -0x2c(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x34(%rbp),%ecx
mov    -0x38(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x38(%rbp)
mov    0x10(%rbp),%ecx
mov    -0x34(%rbp),%eax
imul   0x18(%rbp),%eax
sub    %eax,%ecx
mov    -0x44(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x44(%rbp)
cmpl   $0x0,-0x44(%rbp)
jge    12bc <CHECK_SCORE+0x1bc>
movl   $0x0,-0x44(%rbp)
jmp    12c1 <CHECK_SCORE+0x1c1>
jmp    12c6 <CHECK_SCORE+0x1c6>
jmp    1151 <CHECK_SCORE+0x51>
mov    -0x38(%rbp),%ecx
mov    0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x48(%rbp),%ecx
mov    0x28(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x40(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<CHECK_SCORE>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %r9,-0x8(%rsp)
test   %edx,%edx
jg     1129 <CHECK_SCORE+0x29>
xor    %r13d,%r13d
mov    $0x0,%eax
mov    $0x0,%r9d
test   %ecx,%ecx
jle    11dd <CHECK_SCORE+0xdd>
xor    %r9d,%r9d
xor    %r12d,%r12d
xor    %eax,%eax
xor    %r13d,%r13d
xor    %r15d,%r15d
xor    %r10d,%r10d
nopw   0x0(%rax,%rax,1)
mov    (%r8),%r14d
test   %r14d,%r14d
je     1170 <CHECK_SCORE+0x70>
mov    %r14d,%r11d
imul   0x40(%rsp),%r11d
test   %r14d,%r14d
jle    11b0 <CHECK_SCORE+0xb0>
add    0x38(%rsp),%r11d
sub    %r11d,%r12d
jns    1163 <CHECK_SCORE+0x63>
xor    %r12d,%r12d
sub    %r11d,%eax
add    %r14d,%r10d
add    %r14d,%r13d
jmp    11c7 <CHECK_SCORE+0xc7>
xchg   %ax,%ax
lea    (%r15,%rdi,1),%ebp
movslq %ebp,%rbp
mov    -0x8(%rsp),%rbx
mov    (%rbx,%rbp,8),%rbp
movslq %r10d,%r10
movzbl 0x1(%rsi,%r10,1),%ebx
add    $0x1,%r10
mov    0x0(%rbp,%rbx,4),%ebp
add    %ebp,%r12d
jns    1199 <CHECK_SCORE+0x99>
xor    %r12d,%r12d
add    %ebp,%eax
add    $0x1,%r15d
add    $0x1,%r13d
cmp    %r9d,%r12d
cmovg  %r12d,%r9d
jmp    11c7 <CHECK_SCORE+0xc7>
nopl   0x0(%rax)
mov    0x38(%rsp),%ebp
sub    %r11d,%ebp
sub    %ebp,%r12d
jns    11bf <CHECK_SCORE+0xbf>
xor    %r12d,%r12d
sub    %ebp,%eax
sub    %r14d,%r15d
sub    %r14d,%r13d
add    $0x4,%r8
cmp    %edx,%r15d
jl     1140 <CHECK_SCORE+0x40>
cmp    %ecx,%r10d
jl     1140 <CHECK_SCORE+0x40>
mov    0x48(%rsp),%rcx
mov    %r13d,(%rcx)
mov    0x50(%rsp),%rcx
mov    %r9d,(%rcx)
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @CHECK_SCORE(i32 %0, i8* %1, i32 %2, i32 %3, i32* %4, i32** %5, i32 %6, i32 %7, i32* %8, i32* %9) {
%11 = alloca i32
%12 = alloca i8*
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32*
%16 = alloca i32**
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32*
%20 = alloca i32*
%21 = alloca i32
%22 = alloca i32
%23 = alloca i32
%24 = alloca i32
%25 = alloca i32
%26 = alloca i32
%27 = alloca i32
%28 = alloca i32
store i32 %0, i32* %11
store i8* %1, i8** %12
store i32 %2, i32* %13
store i32 %3, i32* %14
store i32* %4, i32** %15
store i32** %5, i32*** %16
store i32 %6, i32* %17
store i32 %7, i32* %18
store i32* %8, i32** %19
store i32* %9, i32** %20
store i32 0, i32* %28
store i32 0, i32* %27
store i32 0, i32* %24
store i32 0, i32* %22
store i32 0, i32* %21
store i32 0, i32* %26
br label %29
29: ; preds = %136, %10
%30 = load i32, i32* %21
%31 = load i32, i32* %13
%32 = icmp slt i32 %30, %31
br i1 %32, label %37, label %33
33: ; preds = %29
%34 = load i32, i32* %22
%35 = load i32, i32* %14
%36 = icmp slt i32 %34, %35
br label %37
37: ; preds = %33, %29
%38 = phi i1 [ true, %29 ], [ %36, %33 ]
br i1 %38, label %39, label %137
39: ; preds = %37
%40 = load i32*, i32** %15
%41 = getelementptr inbounds i32, i32* %40, i32 1
store i32* %41, i32** %15
%42 = load i32, i32* %40
store i32 %42, i32* %23
%43 = load i32, i32* %23
%44 = icmp eq i32 %43, 0
br i1 %44, label %45, label %82
45: ; preds = %39
%46 = load i32**, i32*** %16
%47 = load i32, i32* %11
%48 = load i32, i32* %21
%49 = add nsw i32 %47, %48
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds i32*, i32** %46, i64 %50
%52 = load i32*, i32** %51
%53 = load i8*, i8** %12
%54 = load i32, i32* %22
%55 = add nsw i32 %54, 1
store i32 %55, i32* %22
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds i8, i8* %53, i64 %56
%58 = load i8, i8* %57
%59 = zext i8 %58 to i64
%60 = getelementptr inbounds i32, i32* %52, i64 %59
%61 = load i32, i32* %60
store i32 %61, i32* %25
%62 = load i32, i32* %25
%63 = load i32, i32* %26
%64 = add nsw i32 %63, %62
store i32 %64, i32* %26
%65 = load i32, i32* %21
%66 = add nsw i32 %65, 1
store i32 %66, i32* %21
%67 = load i32, i32* %24
%68 = add nsw i32 %67, 1
store i32 %68, i32* %24
%69 = load i32, i32* %25
%70 = load i32, i32* %27
%71 = add nsw i32 %70, %69
store i32 %71, i32* %27
%72 = load i32, i32* %27
%73 = icmp slt i32 %72, 0
br i1 %73, label %74, label %75
74: ; preds = %45
store i32 0, i32* %27
br label %75
75: ; preds = %74, %45
%76 = load i32, i32* %27
%77 = load i32, i32* %28
%78 = icmp sgt i32 %76, %77
br i1 %78, label %79, label %81
79: ; preds = %75
%80 = load i32, i32* %27
store i32 %80, i32* %28
br label %81
81: ; preds = %79, %75
br label %136
82: ; preds = %39
%83 = load i32, i32* %23
%84 = icmp sgt i32 %83, 0
br i1 %84, label %85, label %110
85: ; preds = %82
%86 = load i32, i32* %26
%87 = load i32, i32* %17
%88 = load i32, i32* %23
%89 = load i32, i32* %18
%90 = mul nsw i32 %88, %89
%91 = add nsw i32 %87, %90
%92 = sub nsw i32 %86, %91
store i32 %92, i32* %26
%93 = load i32, i32* %23
%94 = load i32, i32* %22
%95 = add nsw i32 %94, %93
store i32 %95, i32* %22
%96 = load i32, i32* %23
%97 = load i32, i32* %24
%98 = add nsw i32 %97, %96
store i32 %98, i32* %24
%99 = load i32, i32* %17
%100 = load i32, i32* %23
%101 = load i32, i32* %18
%102 = mul nsw i32 %100, %101
%103 = add nsw i32 %99, %102
%104 = load i32, i32* %27
%105 = sub nsw i32 %104, %103
store i32 %105, i32* %27
%106 = load i32, i32* %27
%107 = icmp slt i32 %106, 0
br i1 %107, label %108, label %109
108: ; preds = %85
store i32 0, i32* %27
br label %109
109: ; preds = %108, %85
br label %135
110: ; preds = %82
%111 = load i32, i32* %26
%112 = load i32, i32* %17
%113 = load i32, i32* %23
%114 = load i32, i32* %18
%115 = mul nsw i32 %113, %114
%116 = sub nsw i32 %112, %115
%117 = sub nsw i32 %111, %116
store i32 %117, i32* %26
%118 = load i32, i32* %23
%119 = load i32, i32* %21
%120 = sub nsw i32 %119, %118
store i32 %120, i32* %21
%121 = load i32, i32* %23
%122 = load i32, i32* %24
%123 = sub nsw i32 %122, %121
store i32 %123, i32* %24
%124 = load i32, i32* %17
%125 = load i32, i32* %23
%126 = load i32, i32* %18
%127 = mul nsw i32 %125, %126
%128 = sub nsw i32 %124, %127
%129 = load i32, i32* %27
%130 = sub nsw i32 %129, %128
store i32 %130, i32* %27
%131 = load i32, i32* %27
%132 = icmp slt i32 %131, 0
br i1 %132, label %133, label %134
133: ; preds = %110
store i32 0, i32* %27
br label %134
134: ; preds = %133, %110
br label %135
135: ; preds = %134, %109
br label %136
136: ; preds = %135, %81
br label %29
137: ; preds = %37
%138 = load i32, i32* %24
%139 = load i32*, i32** %19
store i32 %138, i32* %139
%140 = load i32, i32* %28
%141 = load i32*, i32** %20
store i32 %140, i32* %141
%142 = load i32, i32* %26
ret i32 %142
}

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