int has_won(int board[4][4]) {
  int row, col, prev_piece = board[0][0];
  for (row = 0; row < 4; row++) {
    for (col = 0; col < 4; col++) {
      if (board[row][col] == 0) {
        return (row == (4 - 1) && col == (4 - 1));
      } else if (board[row][col] < prev_piece) {
        return 0;
      } else {
        prev_piece = board[row][col];
      }
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<has_won>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x4,-0x14(%rbp)
jge    11e8 <has_won+0xe8>
movl   $0x0,-0x18(%rbp)
cmpl   $0x4,-0x18(%rbp)
jge    11d5 <has_won+0xd5>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    1179 <has_won+0x79>
xor    %eax,%eax
cmpl   $0x3,-0x14(%rbp)
mov    %al,-0x1d(%rbp)
jne    1169 <has_won+0x69>
cmpl   $0x3,-0x18(%rbp)
sete   %al
mov    %al,-0x1d(%rbp)
mov    -0x1d(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    11ef <has_won+0xef>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jge    11a4 <has_won+0xa4>
movl   $0x0,-0x4(%rbp)
jmp    11ef <has_won+0xef>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
jmp    11c2 <has_won+0xc2>
jmp    11c7 <has_won+0xc7>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1129 <has_won+0x29>
jmp    11da <has_won+0xda>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1118 <has_won+0x18>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<has_won>:
mov    (%rdi),%eax
xor    %ecx,%ecx
test   %eax,%eax
je     11de <has_won+0xde>
mov    0x4(%rdi),%edx
test   %edx,%edx
je     11de <has_won+0xde>
cmp    %eax,%edx
jl     11db <has_won+0xdb>
mov    0x8(%rdi),%eax
test   %eax,%eax
je     11de <has_won+0xde>
cmp    %edx,%eax
jl     11db <has_won+0xdb>
mov    0xc(%rdi),%edx
test   %edx,%edx
je     11e3 <has_won+0xe3>
cmp    %eax,%edx
jl     11db <has_won+0xdb>
mov    0x10(%rdi),%eax
test   %eax,%eax
je     11de <has_won+0xde>
cmp    %edx,%eax
jl     11db <has_won+0xdb>
mov    0x14(%rdi),%edx
test   %edx,%edx
je     11de <has_won+0xde>
cmp    %eax,%edx
jl     11db <has_won+0xdb>
mov    0x18(%rdi),%eax
test   %eax,%eax
je     11de <has_won+0xde>
cmp    %edx,%eax
jl     11db <has_won+0xdb>
mov    0x1c(%rdi),%edx
test   %edx,%edx
je     11e3 <has_won+0xe3>
cmp    %eax,%edx
jl     11db <has_won+0xdb>
mov    0x20(%rdi),%eax
test   %eax,%eax
je     11de <has_won+0xde>
cmp    %edx,%eax
jl     11db <has_won+0xdb>
mov    0x24(%rdi),%edx
test   %edx,%edx
je     11de <has_won+0xde>
cmp    %eax,%edx
jl     11db <has_won+0xdb>
mov    0x28(%rdi),%eax
test   %eax,%eax
je     11de <has_won+0xde>
cmp    %edx,%eax
jl     11db <has_won+0xdb>
mov    0x2c(%rdi),%edx
test   %edx,%edx
je     11e3 <has_won+0xe3>
cmp    %eax,%edx
jl     11db <has_won+0xdb>
mov    0x30(%rdi),%esi
mov    $0x1,%eax
test   %esi,%esi
je     11e0 <has_won+0xe0>
cmp    %edx,%esi
jl     11db <has_won+0xdb>
mov    0x34(%rdi),%edx
test   %edx,%edx
je     11e0 <has_won+0xe0>
cmp    %esi,%edx
jl     11db <has_won+0xdb>
mov    0x38(%rdi),%esi
test   %esi,%esi
je     11e0 <has_won+0xe0>
cmp    %edx,%esi
jl     11db <has_won+0xdb>
mov    0x3c(%rdi),%ecx
mov    $0x1,%eax
test   %ecx,%ecx
je     11e5 <has_won+0xe5>
cmp    %esi,%ecx
jge    11dd <has_won+0xdd>
xor    %eax,%eax
ret
xor    %eax,%eax
and    %ecx,%eax
ret
xor    %eax,%eax
mov    $0x1,%ecx
and    %ecx,%eax
ret

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

LLVM IR (-O2):
define i32 @has_won([4 x i32]* nocapture %0) {
%2 = getelementptr inbounds [4 x i32], [4 x i32]* %0, i64 0, i64 0
%3 = load i32, i32* %2
%4 = icmp eq i32 %3, 0
br i1 %4, label %5, label %9
5: ; preds = %93, %87, %81, %75, %69, %63, %57, %51, %45, %39, %33, %27, %21, %15, %9, %1
%6 = phi i32 [ 1, %93 ], [ 1, %87 ], [ 1, %81 ], [ 1, %75 ], [ 0, %69 ], [ 0, %63 ], [ 0, %57 ], [ 0, %51 ], [ 0, %45 ], [ 0, %39 ], [ 0, %33 ], [ 0, %27 ], [ 0, %21 ], [ 0, %15 ], [ 0, %9 ], [ 0, %1 ]
%7 = phi i32 [ 1, %93 ], [ 0, %87 ], [ 0, %81 ], [ 0, %75 ], [ 1, %69 ], [ 0, %63 ], [ 0, %57 ], [ 0, %51 ], [ 1, %45 ], [ 0, %39 ], [ 0, %33 ], [ 0, %27 ], [ 1, %21 ], [ 0, %15 ], [ 0, %9 ], [ 0, %1 ]
%8 = and i32 %6, %7
br label %100
9: ; preds = %1
%10 = getelementptr inbounds [4 x i32], [4 x i32]* %0, i64 0, i64 1
%11 = load i32, i32* %10
%12 = icmp eq i32 %11, 0
br i1 %12, label %5, label %13
13: ; preds = %9
%14 = icmp slt i32 %11, %3
br i1 %14, label %99, label %15
15: ; preds = %13
%16 = getelementptr inbounds [4 x i32], [4 x i32]* %0, i64 0, i64 2
%17 = load i32, i32* %16
%18 = icmp eq i32 %17, 0
br i1 %18, label %5, label %19
19: ; preds = %15
%20 = icmp slt i32 %17, %11
br i1 %20, label %99, label %21
21: ; preds = %19
%22 = getelementptr inbounds [4 x i32], [4 x i32]* %0, i64 0, i64 3
%23 = load i32, i32* %22
%24 = icmp eq i32 %23, 0
br i1 %24, label %5, label %25
25: ; preds = %21
%26 = icmp slt i32 %23, %17
br i1 %26, label %99, label %27
27: ; preds = %25
%28 = getelementptr inbounds [4 x i32], [4 x i32]* %0, i64 1, i64 0
%29 = load i32, i32* %28
%30 = icmp eq i32 %29, 0
br i1 %30, label %5, label %31
31: ; preds = %27
%32 = icmp slt i32 %29, %23
br i1 %32, label %99, label %33
33: ; preds = %31
%34 = getelementptr inbounds [4 x i32], [4 x i32]* %0, i64 1, i64 1
%35 = load i32, i32* %34
%36 = icmp eq i32 %35, 0
br i1 %36, label %5, label %37
37: ; preds = %33
%38 = icmp slt i32 %35, %29
br i1 %38, label %99, label %39
39: ; preds = %37
%40 = getelementptr inbounds [4 x i32], [4 x i32]* %0, i64 1, i64 2
%41 = load i32, i32* %40
%42 = icmp eq i32 %41, 0
br i1 %42, label %5, label %43
43: ; preds = %39
%44 = icmp slt i32 %41, %35
br i1 %44, label %99, label %45
45: ; preds = %43
%46 = getelementptr inbounds [4 x i32], [4 x i32]* %0, i64 1, i64 3
%47 = load i32, i32* %46
%48 = icmp eq i32 %47, 0
br i1 %48, label %5, label %49
49: ; preds = %45
%50 = icmp slt i32 %47, %41
br i1 %50, label %99, label %51
51: ; preds = %49
%52 = getelementptr inbounds [4 x i32], [4 x i32]* %0, i64 2, i64 0
%53 = load i32, i32* %52
%54 = icmp eq i32 %53, 0
br i1 %54, label %5, label %55
55: ; preds = %51
%56 = icmp slt i32 %53, %47
br i1 %56, label %99, label %57
57: ; preds = %55
%58 = getelementptr inbounds [4 x i32], [4 x i32]* %0, i64 2, i64 1
%59 = load i32, i32* %58
%60 = icmp eq i32 %59, 0
br i1 %60, label %5, label %61
61: ; preds = %57
%62 = icmp slt i32 %59, %53
br i1 %62, label %99, label %63
63: ; preds = %61
%64 = getelementptr inbounds [4 x i32], [4 x i32]* %0, i64 2, i64 2
%65 = load i32, i32* %64
%66 = icmp eq i32 %65, 0
br i1 %66, label %5, label %67
67: ; preds = %63
%68 = icmp slt i32 %65, %59
br i1 %68, label %99, label %69
69: ; preds = %67
%70 = getelementptr inbounds [4 x i32], [4 x i32]* %0, i64 2, i64 3
%71 = load i32, i32* %70
%72 = icmp eq i32 %71, 0
br i1 %72, label %5, label %73
73: ; preds = %69
%74 = icmp slt i32 %71, %65
br i1 %74, label %99, label %75
75: ; preds = %73
%76 = getelementptr inbounds [4 x i32], [4 x i32]* %0, i64 3, i64 0
%77 = load i32, i32* %76
%78 = icmp eq i32 %77, 0
br i1 %78, label %5, label %79
79: ; preds = %75
%80 = icmp slt i32 %77, %71
br i1 %80, label %99, label %81
81: ; preds = %79
%82 = getelementptr inbounds [4 x i32], [4 x i32]* %0, i64 3, i64 1
%83 = load i32, i32* %82
%84 = icmp eq i32 %83, 0
br i1 %84, label %5, label %85
85: ; preds = %81
%86 = icmp slt i32 %83, %77
br i1 %86, label %99, label %87
87: ; preds = %85
%88 = getelementptr inbounds [4 x i32], [4 x i32]* %0, i64 3, i64 2
%89 = load i32, i32* %88
%90 = icmp eq i32 %89, 0
br i1 %90, label %5, label %91
91: ; preds = %87
%92 = icmp slt i32 %89, %83
br i1 %92, label %99, label %93
93: ; preds = %91
%94 = getelementptr inbounds [4 x i32], [4 x i32]* %0, i64 3, i64 3
%95 = load i32, i32* %94
%96 = icmp eq i32 %95, 0
br i1 %96, label %5, label %97
97: ; preds = %93
%98 = icmp slt i32 %95, %89
br i1 %98, label %99, label %100
99: ; preds = %97, %91, %85, %79, %73, %67, %61, %55, %49, %43, %37, %31, %25, %19, %13
br label %100
100: ; preds = %97, %99, %5
%101 = phi i32 [ %8, %5 ], [ 0, %99 ], [ 1, %97 ]
ret i32 %101
}