void light(int (*array)[7], int x, int y) {
  int Lx, Ly;
  for (Lx = x - 1, Ly = y;
       ((Lx >= 0 && array[Lx][Ly] == 0) || array[Lx][Ly] == 3); Lx--)
    array[Lx][Ly] = 3;
  for (Lx = x, Ly = y - 1;
       ((Ly >= 0 && array[Lx][Ly] == 0) || array[Lx][Ly] == 3); Ly--)
    array[Lx][Ly] = 3;
  for (Lx = x + 1, Ly = y;
       ((Lx < 7 && array[Lx][Ly] == 0) || array[Lx][Ly] == 3); Lx++)
    array[Lx][Ly] = 3;
  for (Lx = x, Ly = y + 1;
       ((Ly < 7 && array[Lx][Ly] == 0) || array[Lx][Ly] == 3); Ly++)
    array[Lx][Ly] = 3;
}


x86 assembly (clang, -O0):
<light>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x18(%rbp)
cmpl   $0x0,-0x14(%rbp)
jl     1149 <light+0x49>
mov    -0x8(%rbp),%rcx
movslq -0x14(%rbp),%rax
imul   $0x1c,%rax,%rax
add    %rax,%rcx
movslq -0x18(%rbp),%rdx
mov    $0x1,%al
cmpl   $0x0,(%rcx,%rdx,4)
mov    %al,-0x19(%rbp)
je     1166 <light+0x66>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
cmpl   $0x3,(%rax,%rcx,4)
sete   %al
mov    %al,-0x19(%rbp)
mov    -0x19(%rbp),%al
test   $0x1,%al
jne    1176 <light+0x76>
jmp    119e <light+0x9e>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
movl   $0x3,(%rax,%rcx,4)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    111d <light+0x1d>
mov    -0xc(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x18(%rbp)
cmpl   $0x0,-0x18(%rbp)
jl     11d9 <light+0xd9>
mov    -0x8(%rbp),%rcx
movslq -0x14(%rbp),%rax
imul   $0x1c,%rax,%rax
add    %rax,%rcx
movslq -0x18(%rbp),%rdx
mov    $0x1,%al
cmpl   $0x0,(%rcx,%rdx,4)
mov    %al,-0x1a(%rbp)
je     11f6 <light+0xf6>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
cmpl   $0x3,(%rax,%rcx,4)
sete   %al
mov    %al,-0x1a(%rbp)
mov    -0x1a(%rbp),%al
test   $0x1,%al
jne    1206 <light+0x106>
jmp    122e <light+0x12e>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
movl   $0x3,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
jmp    11ad <light+0xad>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x18(%rbp)
cmpl   $0x7,-0x14(%rbp)
jge    1269 <light+0x169>
mov    -0x8(%rbp),%rcx
movslq -0x14(%rbp),%rax
imul   $0x1c,%rax,%rax
add    %rax,%rcx
movslq -0x18(%rbp),%rdx
mov    $0x1,%al
cmpl   $0x0,(%rcx,%rdx,4)
mov    %al,-0x1b(%rbp)
je     1286 <light+0x186>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
cmpl   $0x3,(%rax,%rcx,4)
sete   %al
mov    %al,-0x1b(%rbp)
mov    -0x1b(%rbp),%al
test   $0x1,%al
jne    1296 <light+0x196>
jmp    12be <light+0x1be>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
movl   $0x3,(%rax,%rcx,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    123d <light+0x13d>
mov    -0xc(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
cmpl   $0x7,-0x18(%rbp)
jge    12f9 <light+0x1f9>
mov    -0x8(%rbp),%rcx
movslq -0x14(%rbp),%rax
imul   $0x1c,%rax,%rax
add    %rax,%rcx
movslq -0x18(%rbp),%rdx
mov    $0x1,%al
cmpl   $0x0,(%rcx,%rdx,4)
mov    %al,-0x1c(%rbp)
je     1316 <light+0x216>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
cmpl   $0x3,(%rax,%rcx,4)
sete   %al
mov    %al,-0x1c(%rbp)
mov    -0x1c(%rbp),%al
test   $0x1,%al
jne    1326 <light+0x226>
jmp    134e <light+0x24e>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
movl   $0x3,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    12cd <light+0x1cd>
pop    %rbp
ret

x86 assembly (clang, -O2):
<light>:
movslq %edx,%r11
movslq %esi,%r9
lea    (%r9,%r9,8),%rcx
lea    (%rcx,%rcx,2),%r8
add    %r9,%r8
lea    (%r8,%rdi,1),%r10
lea    (%r10,%r11,4),%rcx
add    $0xffffffffffffffe4,%rcx
mov    %r9,%rsi
jmp    113f <light+0x3f>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
cmpl   $0x3,(%rcx)
jne    1164 <light+0x64>
movl   $0x3,(%rcx)
add    $0xffffffffffffffe4,%rcx
mov    %rsi,%rdx
add    $0xffffffffffffffff,%rsi
test   %rdx,%rdx
jle    1130 <light+0x30>
mov    %esi,%edx
lea    (%rdx,%rdx,8),%rax
lea    (%rax,%rax,2),%rax
add    %rdx,%rax
add    %rdi,%rax
cmpl   $0x0,(%rax,%r11,4)
jne    1130 <light+0x30>
jmp    1135 <light+0x35>
lea    (%rdi,%r8,1),%rcx
add    $0xfffffffffffffffc,%rcx
mov    %r11,%rsi
jmp    1190 <light+0x90>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmpl   $0x3,(%rcx,%rsi,4)
jne    11a4 <light+0xa4>
movl   $0x3,(%rcx,%rsi,4)
mov    %rdx,%rsi
lea    -0x1(%rsi),%rdx
test   %rsi,%rsi
jle    1180 <light+0x80>
mov    %edx,%eax
cmpl   $0x0,(%r10,%rax,4)
jne    1180 <light+0x80>
jmp    1186 <light+0x86>
lea    0x1(%r9),%rcx
cmp    $0x6,%r9d
setl   %sil
lea    (%rcx,%rcx,8),%rdx
lea    (%rdx,%rdx,2),%rdx
add    %r9,%rdx
add    $0x1,%rdx
add    %rdi,%rdx
mov    (%rdx,%r11,4),%edx
test   %edx,%edx
sete   %al
test   %al,%sil
jne    11d5 <light+0xd5>
cmp    $0x3,%edx
jne    1208 <light+0x108>
lea    (%r10,%r11,4),%rsi
add    $0x38,%rsi
nopl   (%rax)
movl   $0x3,-0x1c(%rsi)
cmp    $0x6,%rcx
lea    0x1(%rcx),%rcx
setl   %r9b
mov    (%rsi),%edx
test   %edx,%edx
sete   %al
add    $0x1c,%rsi
test   %al,%r9b
jne    11e0 <light+0xe0>
cmp    $0x3,%edx
je     11e0 <light+0xe0>
cmp    $0x6,%r11d
setl   %al
mov    0x4(%r10,%r11,4),%ecx
test   %ecx,%ecx
sete   %dl
test   %dl,%al
jne    1222 <light+0x122>
cmp    $0x3,%ecx
jne    1256 <light+0x156>
add    $0x1,%r11
lea    (%rdi,%r8,1),%rsi
add    $0x4,%rsi
xchg   %ax,%ax
movl   $0x3,-0x4(%rsi,%r11,4)
cmp    $0x6,%r11
mov    (%rsi,%r11,4),%edx
lea    0x1(%r11),%r11
setl   %al
test   %edx,%edx
sete   %cl
test   %cl,%al
jne    1230 <light+0x130>
cmp    $0x3,%edx
je     1230 <light+0x130>
ret

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

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