int move_brick_gravity(int play_brick_pos[2], char play_brick[4][4],
                       char stack[][10]) {
  int h = 0;
  int sx, sy;
  for (int y = 0; y < 4; y++) {
    for (int x = 0; x < 4; x++) {
      if (play_brick[y][x] > 0) {
        if (y > h)
          h = y;
        sx = ((play_brick_pos[1] + 1) / 2) + x - 1;
        sy = (20 - play_brick_pos[0]) - y;
        if (stack[sy - 1][sx] > 0)
          return -1;
      }
    }
  }
  if (play_brick_pos[0] + h < 22 - 2) {
    play_brick_pos[0]++;
    return 1;
  }
  return -1;
}


x86 assembly (clang, -O0):
<move_brick_gravity>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x30(%rbp)
cmpl   $0x4,-0x30(%rbp)
jge    11f3 <move_brick_gravity+0xf3>
movl   $0x0,-0x34(%rbp)
cmpl   $0x4,-0x34(%rbp)
jge    11e0 <move_brick_gravity+0xe0>
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x34(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jle    11cd <move_brick_gravity+0xcd>
mov    -0x30(%rbp),%eax
cmp    -0x24(%rbp),%eax
jle    116b <move_brick_gravity+0x6b>
mov    -0x30(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
add    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
add    -0x34(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rcx
mov    $0x14,%eax
sub    (%rcx),%eax
sub    -0x30(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
imul   $0xa,%rcx,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jle    11c8 <move_brick_gravity+0xc8>
movl   $0xffffffff,-0x4(%rbp)
jmp    1223 <move_brick_gravity+0x123>
jmp    11cd <move_brick_gravity+0xcd>
jmp    11d2 <move_brick_gravity+0xd2>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    112f <move_brick_gravity+0x2f>
jmp    11e5 <move_brick_gravity+0xe5>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    111e <move_brick_gravity+0x1e>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
add    -0x24(%rbp),%eax
cmp    $0x14,%eax
jge    121c <move_brick_gravity+0x11c>
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
movl   $0x1,-0x4(%rbp)
jmp    1223 <move_brick_gravity+0x123>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<move_brick_gravity>:
xor    %r11d,%r11d
mov    $0x4,%r8d
xor    %ecx,%ecx
jmp    1157 <move_brick_gravity+0x57>
nopl   (%rax)
mov    0x4(%rdi),%eax
mov    %eax,%ecx
add    $0x1,%ecx
shr    $0x1f,%ecx
add    %ecx,%eax
add    $0x1,%eax
sar    %eax
mov    (%rdi),%r10d
mov    %r8d,%ecx
sub    %r10d,%ecx
add    $0xf,%ecx
movslq %ecx,%rcx
cltq
lea    (%rcx,%rcx,4),%rcx
lea    (%rdx,%rcx,2),%rcx
cmpb   $0x0,0x2(%rax,%rcx,1)
mov    %r9d,%ecx
jg     1260 <move_brick_gravity+0x160>
add    $0x1,%r11
add    $0xffffffffffffffff,%r8
je     1266 <move_brick_gravity+0x166>
cmpb   $0x0,(%rsi,%r11,4)
jle    11a8 <move_brick_gravity+0xa8>
movslq %ecx,%r10
mov    %r11d,%r9d
cmp    %r10,%r11
jg     116c <move_brick_gravity+0x6c>
mov    %ecx,%r9d
mov    0x4(%rdi),%r10d
mov    %r10d,%ecx
add    $0x1,%ecx
shr    $0x1f,%ecx
add    %r10d,%ecx
add    $0x1,%ecx
sar    %ecx
mov    (%rdi),%r10d
mov    %r8d,%eax
sub    %r10d,%eax
add    $0xf,%eax
cltq
movslq %ecx,%rcx
lea    (%rax,%rax,4),%rax
lea    (%rdx,%rax,2),%rax
cmpb   $0x0,-0x1(%rcx,%rax,1)
mov    %r9d,%ecx
jg     1260 <move_brick_gravity+0x160>
cmpb   $0x0,0x1(%rsi,%r11,4)
jle    11f2 <move_brick_gravity+0xf2>
movslq %ecx,%rax
mov    %r11d,%r9d
cmp    %rax,%r11
jg     11be <move_brick_gravity+0xbe>
mov    %ecx,%r9d
mov    0x4(%rdi),%eax
mov    %eax,%ecx
add    $0x1,%ecx
shr    $0x1f,%ecx
add    %ecx,%eax
add    $0x1,%eax
sar    %eax
mov    (%rdi),%r10d
mov    %r8d,%ecx
sub    %r10d,%ecx
add    $0xf,%ecx
movslq %ecx,%rcx
cltq
lea    (%rcx,%rcx,4),%rcx
lea    (%rdx,%rcx,2),%rcx
cmpb   $0x0,(%rax,%rcx,1)
mov    %r9d,%ecx
jg     1260 <move_brick_gravity+0x160>
cmpb   $0x0,0x2(%rsi,%r11,4)
jle    123d <move_brick_gravity+0x13d>
movslq %ecx,%rax
mov    %r11d,%r9d
cmp    %rax,%r11
jg     1208 <move_brick_gravity+0x108>
mov    %ecx,%r9d
mov    0x4(%rdi),%eax
mov    %eax,%ecx
add    $0x1,%ecx
shr    $0x1f,%ecx
add    %ecx,%eax
add    $0x1,%eax
sar    %eax
mov    (%rdi),%r10d
mov    %r8d,%ecx
sub    %r10d,%ecx
add    $0xf,%ecx
movslq %ecx,%rcx
cltq
lea    (%rcx,%rcx,4),%rcx
lea    (%rdx,%rcx,2),%rcx
cmpb   $0x0,0x1(%rax,%rcx,1)
mov    %r9d,%ecx
jg     1260 <move_brick_gravity+0x160>
cmpb   $0x0,0x3(%rsi,%r11,4)
jle    1149 <move_brick_gravity+0x49>
movslq %ecx,%rax
mov    %r11d,%r9d
cmp    %rax,%r11
jg     1110 <move_brick_gravity+0x10>
mov    %ecx,%r9d
jmp    1110 <move_brick_gravity+0x10>
mov    $0xffffffff,%eax
ret
mov    (%rdi),%edx
add    %edx,%ecx
mov    $0xffffffff,%eax
cmp    $0x13,%ecx
jg     127e <move_brick_gravity+0x17e>
add    $0x1,%edx
mov    %edx,(%rdi)
mov    $0x1,%eax
ret

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

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