#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef scalar_t__ uint8_t;
typedef int uint32_t;
typedef int int32_t;

/* Variables and functions */
int GoRgbaFindPuddle(void *rgbaBytes, void *puddleBytes, int width, int height,
                     int startY, int maxPuddleSize, uint8_t minR, uint8_t minG,
                     uint8_t minB, uint8_t maxR, uint8_t maxG, uint8_t maxB) {
  uint32_t *rgbaPixels = (uint32_t *)rgbaBytes;
  uint32_t *rgbaPixel0 = rgbaPixels + width * startY;
  for (int y0 = startY; y0 < height; ++y0) {
    for (int x0 = 0; x0 < width; ++x0, ++rgbaPixel0) {
      uint32_t rgba = *rgbaPixel0;
      uint8_t r = rgba & 0xff;
      uint8_t g = (rgba >> 8) & 0xff;
      uint8_t b = (rgba >> 16) & 0xff;
      if (r < minR || g < minG || b < minB || r > maxR || g > maxG ||
          b > maxB) {
        continue;
      }
      uint8_t a = (rgba >> 24) & 0xff;
      if (a == 0) {
        continue;
      }
      int32_t *puddleIn = (int32_t *)puddleBytes;
      int32_t *puddleOut = puddleIn;
      puddleOut[0] = x0;
      puddleOut[1] = y0;
      puddleOut += 2;
      *rgbaPixel0 &= 0x00ffffff;
      int puddleSize = 1;
      if (puddleSize == maxPuddleSize) {
        return puddleSize;
      }
      while (puddleOut != puddleIn) {
        x0 = puddleIn[0];
        y0 = puddleIn[1];
        puddleIn += 2;
        for (int dx = -1; dx <= 1; ++dx) {
          for (int dy = -1; dy <= 1; ++dy) {
            int x = dx + x0;
            int y = dy + y0;
            uint32_t *rgbaPixel = rgbaPixels + y * width + x;
            uint32_t rgba = *rgbaPixel;
            uint8_t r = rgba & 0xff;
            uint8_t g = (rgba >> 8) & 0xff;
            uint8_t b = (rgba >> 16) & 0xff;
            if (r < minR || g < minG || b < minB || r > maxR || g > maxG ||
                b > maxB) {
              continue;
            }
            uint8_t a = (rgba >> 24) & 0xff;
            if (a == 0) {
              continue;
            }
            puddleOut[0] = x;
            puddleOut[1] = y;
            puddleOut += 2;
            *rgbaPixel = rgba & 0x00ffffff;
            ++puddleSize;
            if (puddleSize == maxPuddleSize) {
              return puddleSize;
            }
          }
        }
      }
      return puddleSize;
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<GoRgbaFindPuddle>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    0x38(%rbp),%rax
mov    0x30(%rbp),%rax
mov    0x28(%rbp),%rax
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    %ecx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    %r9d,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
mov    -0x1c(%rbp),%ecx
imul   -0x24(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    14d5 <GoRgbaFindPuddle+0x3d5>
movl   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    14c2 <GoRgbaFindPuddle+0x3c2>
mov    -0x38(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
and    $0xff,%eax
cltq
mov    %rax,-0x50(%rbp)
mov    -0x44(%rbp),%eax
sar    $0x8,%eax
and    $0xff,%eax
cltq
mov    %rax,-0x58(%rbp)
mov    -0x44(%rbp),%eax
sar    $0x10,%eax
and    $0xff,%eax
cltq
mov    %rax,-0x60(%rbp)
mov    -0x50(%rbp),%rax
cmp    0x10(%rbp),%rax
jl     1209 <GoRgbaFindPuddle+0x109>
mov    -0x58(%rbp),%rax
cmp    0x18(%rbp),%rax
jl     1209 <GoRgbaFindPuddle+0x109>
mov    -0x60(%rbp),%rax
cmp    0x20(%rbp),%rax
jl     1209 <GoRgbaFindPuddle+0x109>
mov    -0x50(%rbp),%rax
cmp    0x28(%rbp),%rax
jg     1209 <GoRgbaFindPuddle+0x109>
mov    -0x58(%rbp),%rax
cmp    0x30(%rbp),%rax
jg     1209 <GoRgbaFindPuddle+0x109>
mov    -0x60(%rbp),%rax
cmp    0x38(%rbp),%rax
jle    120e <GoRgbaFindPuddle+0x10e>
jmp    14a8 <GoRgbaFindPuddle+0x3a8>
mov    -0x44(%rbp),%eax
sar    $0x18,%eax
and    $0xff,%eax
cltq
mov    %rax,-0x68(%rbp)
cmpq   $0x0,-0x68(%rbp)
jne    122f <GoRgbaFindPuddle+0x12f>
jmp    14a8 <GoRgbaFindPuddle+0x3a8>
mov    -0x18(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x70(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x40(%rbp),%ecx
mov    -0x78(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x3c(%rbp),%ecx
mov    -0x78(%rbp),%rax
mov    %ecx,0x4(%rax)
mov    -0x78(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x78(%rbp)
mov    -0x38(%rbp),%rax
mov    (%rax),%ecx
and    $0xffffff,%ecx
mov    %ecx,(%rax)
movl   $0x1,-0x7c(%rbp)
mov    -0x7c(%rbp),%eax
cmp    -0x28(%rbp),%eax
jne    128a <GoRgbaFindPuddle+0x18a>
mov    -0x7c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    14dc <GoRgbaFindPuddle+0x3dc>
jmp    128f <GoRgbaFindPuddle+0x18f>
mov    -0x78(%rbp),%rax
cmp    -0x70(%rbp),%rax
je     149d <GoRgbaFindPuddle+0x39d>
mov    -0x70(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x40(%rbp)
mov    -0x70(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x70(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x70(%rbp)
movl   $0xffffffff,-0x80(%rbp)
cmpl   $0x1,-0x80(%rbp)
jg     1498 <GoRgbaFindPuddle+0x398>
movl   $0xffffffff,-0x84(%rbp)
ff ff ff
cmpl   $0x1,-0x84(%rbp)
jg     1485 <GoRgbaFindPuddle+0x385>
mov    -0x80(%rbp),%eax
add    -0x40(%rbp),%eax
mov    %eax,-0x88(%rbp)
mov    -0x84(%rbp),%eax
add    -0x3c(%rbp),%eax
mov    %eax,-0x8c(%rbp)
mov    -0x30(%rbp),%rax
mov    -0x8c(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x88(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x98(%rbp)
mov    -0x98(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x9c(%rbp)
mov    -0x9c(%rbp),%eax
and    $0xff,%eax
cltq
mov    %rax,-0xa8(%rbp)
mov    -0x9c(%rbp),%eax
sar    $0x8,%eax
and    $0xff,%eax
cltq
mov    %rax,-0xb0(%rbp)
mov    -0x9c(%rbp),%eax
sar    $0x10,%eax
and    $0xff,%eax
cltq
mov    %rax,-0xb8(%rbp)
mov    -0xa8(%rbp),%rax
cmp    0x10(%rbp),%rax
jl     13e3 <GoRgbaFindPuddle+0x2e3>
mov    -0xb0(%rbp),%rax
cmp    0x18(%rbp),%rax
jl     13e3 <GoRgbaFindPuddle+0x2e3>
mov    -0xb8(%rbp),%rax
cmp    0x20(%rbp),%rax
jl     13e3 <GoRgbaFindPuddle+0x2e3>
mov    -0xa8(%rbp),%rax
cmp    0x28(%rbp),%rax
jg     13e3 <GoRgbaFindPuddle+0x2e3>
mov    -0xb0(%rbp),%rax
cmp    0x30(%rbp),%rax
jg     13e3 <GoRgbaFindPuddle+0x2e3>
mov    -0xb8(%rbp),%rax
cmp    0x38(%rbp),%rax
jle    13e8 <GoRgbaFindPuddle+0x2e8>
jmp    1471 <GoRgbaFindPuddle+0x371>
mov    -0x9c(%rbp),%eax
sar    $0x18,%eax
and    $0xff,%eax
cltq
mov    %rax,-0xc0(%rbp)
cmpq   $0x0,-0xc0(%rbp)
jne    1412 <GoRgbaFindPuddle+0x312>
jmp    1471 <GoRgbaFindPuddle+0x371>
mov    -0x88(%rbp),%ecx
mov    -0x78(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x8c(%rbp),%ecx
mov    -0x78(%rbp),%rax
mov    %ecx,0x4(%rax)
mov    -0x78(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x78(%rbp)
mov    -0x9c(%rbp),%ecx
and    $0xffffff,%ecx
mov    -0x98(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x7c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x7c(%rbp)
mov    -0x7c(%rbp),%eax
cmp    -0x28(%rbp),%eax
jne    146c <GoRgbaFindPuddle+0x36c>
mov    -0x7c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    14dc <GoRgbaFindPuddle+0x3dc>
jmp    1471 <GoRgbaFindPuddle+0x371>
mov    -0x84(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x84(%rbp)
jmp    12d7 <GoRgbaFindPuddle+0x1d7>
jmp    148a <GoRgbaFindPuddle+0x38a>
mov    -0x80(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x80(%rbp)
jmp    12c3 <GoRgbaFindPuddle+0x1c3>
jmp    128f <GoRgbaFindPuddle+0x18f>
mov    -0x7c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    14dc <GoRgbaFindPuddle+0x3dc>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
mov    -0x38(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x38(%rbp)
jmp    1170 <GoRgbaFindPuddle+0x70>
jmp    14c7 <GoRgbaFindPuddle+0x3c7>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    115d <GoRgbaFindPuddle+0x5d>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<GoRgbaFindPuddle>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %r9d,-0x3c(%rsp)
xor    %eax,%eax
mov    %ecx,-0x38(%rsp)
cmp    %ecx,%r8d
jge    13dc <GoRgbaFindPuddle+0x2dc>
mov    %rsi,-0x30(%rsp)
mov    0x58(%rsp),%r11
mov    0x50(%rsp),%r14
mov    0x48(%rsp),%r15
mov    0x40(%rsp),%r12
mov    0x38(%rsp),%r10
mov    %r8d,%esi
imul   %edx,%esi
movslq %esi,%rsi
mov    %rdi,-0x28(%rsp)
lea    (%rdi,%rsi,4),%rsi
jmp    115f <GoRgbaFindPuddle+0x5f>
add    $0x1,%r8d
cmp    -0x38(%rsp),%r8d
je     13dc <GoRgbaFindPuddle+0x2dc>
test   %edx,%edx
jle    1150 <GoRgbaFindPuddle+0x50>
xor    %edi,%edi
jmp    117b <GoRgbaFindPuddle+0x7b>
nopw   0x0(%rax,%rax,1)
add    $0x1,%edi
add    $0x4,%rsi
cmp    %edi,%edx
je     1150 <GoRgbaFindPuddle+0x50>
mov    (%rsi),%ebx
movzbl %bl,%r13d
cmp    %r10,%r13
jl     1170 <GoRgbaFindPuddle+0x70>
movzbl %bh,%ecx
cmp    %r12,%rcx
jl     1170 <GoRgbaFindPuddle+0x70>
mov    %ebx,%ebp
shr    $0x10,%ebp
movzbl %bpl,%r9d
cmp    %r15,%r9
jl     1170 <GoRgbaFindPuddle+0x70>
cmp    %r14,%r13
jg     1170 <GoRgbaFindPuddle+0x70>
cmp    %r11,%rcx
jg     1170 <GoRgbaFindPuddle+0x70>
cmp    0x60(%rsp),%r9
jg     1170 <GoRgbaFindPuddle+0x70>
cmp    $0x1000000,%ebx
jb     1170 <GoRgbaFindPuddle+0x70>
mov    -0x30(%rsp),%rbp
mov    %edi,0x0(%rbp)
mov    %r8d,0x4(%rbp)
movb   $0x0,0x3(%rsi)
mov    $0x1,%eax
cmpl   $0x1,-0x3c(%rsp)
je     13dc <GoRgbaFindPuddle+0x2dc>
mov    %rbp,%rcx
add    $0x8,%rcx
movslq %edx,%rbx
addq   $0xfffffffffffffffc,-0x28(%rsp)
shl    $0x2,%rbx
mov    $0x1,%eax
mov    %rbx,-0x20(%rsp)
movslq 0x0(%rbp),%r13
movslq 0x4(%rbp),%rdx
add    $0x8,%rbp
mov    %rbp,-0x30(%rsp)
lea    -0x1(%rdx),%rsi
lea    -0x1(%r13),%edi
mov    %rdi,-0x38(%rsp)
mov    %rsi,%rdi
mov    %rsi,-0x8(%rsp)
imul   %rbx,%rsi
lea    (%rsi,%r13,4),%r8
mov    -0x28(%rsp),%rdi
add    %rdi,%r8
mov    %rbx,%rsi
imul   %rdx,%rsi
mov    %rdx,%rbp
mov    %rdx,-0x10(%rsp)
add    $0x1,%rdx
lea    (%rsi,%r13,4),%r9
add    %rdi,%r9
mov    %rdx,%rsi
mov    %rdx,-0x18(%rsp)
imul   %rbx,%rsi
lea    (%rsi,%r13,4),%rsi
add    %rdi,%rsi
xor    %r13d,%r13d
jmp    126e <GoRgbaFindPuddle+0x16e>
nopl   0x0(%rax,%rax,1)
add    $0x1,%r13
cmp    $0x3,%r13
je     13c3 <GoRgbaFindPuddle+0x2c3>
mov    (%r8,%r13,4),%edx
movzbl %dl,%ebp
cmp    %r10,%rbp
jl     12d6 <GoRgbaFindPuddle+0x1d6>
movzbl %dh,%ebx
cmp    %r12,%rbx
jl     12d6 <GoRgbaFindPuddle+0x1d6>
mov    %edx,%edi
shr    $0x10,%edi
movzbl %dil,%edi
cmp    %r15,%rdi
jl     12d6 <GoRgbaFindPuddle+0x1d6>
cmp    %r14,%rbp
jg     12d6 <GoRgbaFindPuddle+0x1d6>
cmp    %r11,%rbx
jg     12d6 <GoRgbaFindPuddle+0x1d6>
cmp    0x60(%rsp),%rdi
jg     12d6 <GoRgbaFindPuddle+0x1d6>
cmp    $0x1000000,%edx
jb     12d6 <GoRgbaFindPuddle+0x1d6>
mov    -0x38(%rsp),%rdi
add    %r13d,%edi
mov    %edi,(%rcx)
mov    -0x8(%rsp),%rdi
mov    %edi,0x4(%rcx)
and    $0xffffff,%edx
mov    %edx,(%r8,%r13,4)
add    $0x1,%eax
cmp    -0x3c(%rsp),%eax
je     13d8 <GoRgbaFindPuddle+0x2d8>
add    $0x8,%rcx
mov    (%r9,%r13,4),%edx
movzbl %dl,%ebp
cmp    %r10,%rbp
jl     133e <GoRgbaFindPuddle+0x23e>
movzbl %dh,%ebx
cmp    %r12,%rbx
jl     133e <GoRgbaFindPuddle+0x23e>
mov    %edx,%edi
shr    $0x10,%edi
movzbl %dil,%edi
cmp    %r15,%rdi
jl     133e <GoRgbaFindPuddle+0x23e>
cmp    %r14,%rbp
jg     133e <GoRgbaFindPuddle+0x23e>
cmp    %r11,%rbx
jg     133e <GoRgbaFindPuddle+0x23e>
cmp    0x60(%rsp),%rdi
jg     133e <GoRgbaFindPuddle+0x23e>
cmp    $0x1000000,%edx
jb     133e <GoRgbaFindPuddle+0x23e>
mov    -0x38(%rsp),%rdi
add    %r13d,%edi
mov    %edi,(%rcx)
mov    -0x10(%rsp),%rdi
mov    %edi,0x4(%rcx)
and    $0xffffff,%edx
mov    %edx,(%r9,%r13,4)
add    $0x1,%eax
cmp    -0x3c(%rsp),%eax
je     13d8 <GoRgbaFindPuddle+0x2d8>
add    $0x8,%rcx
mov    (%rsi,%r13,4),%edx
movzbl %dl,%ebp
cmp    %r10,%rbp
jl     1260 <GoRgbaFindPuddle+0x160>
movzbl %dh,%ebx
cmp    %r12,%rbx
jl     1260 <GoRgbaFindPuddle+0x160>
mov    %edx,%edi
shr    $0x10,%edi
movzbl %dil,%edi
cmp    %r15,%rdi
jl     1260 <GoRgbaFindPuddle+0x160>
cmp    %r14,%rbp
jg     1260 <GoRgbaFindPuddle+0x160>
cmp    %r11,%rbx
jg     1260 <GoRgbaFindPuddle+0x160>
cmp    0x60(%rsp),%rdi
jg     1260 <GoRgbaFindPuddle+0x160>
cmp    $0x1000000,%edx
jb     1260 <GoRgbaFindPuddle+0x160>
mov    -0x38(%rsp),%rdi
add    %r13d,%edi
mov    %edi,(%rcx)
mov    -0x18(%rsp),%rdi
mov    %edi,0x4(%rcx)
and    $0xffffff,%edx
mov    %edx,(%rsi,%r13,4)
add    $0x1,%eax
cmp    -0x3c(%rsp),%eax
je     13d8 <GoRgbaFindPuddle+0x2d8>
add    $0x8,%rcx
jmp    1260 <GoRgbaFindPuddle+0x160>
mov    -0x30(%rsp),%rbp
cmp    %rbp,%rcx
mov    -0x20(%rsp),%rbx
jne    11f3 <GoRgbaFindPuddle+0xf3>
jmp    13dc <GoRgbaFindPuddle+0x2dc>
mov    -0x3c(%rsp),%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @GoRgbaFindPuddle(i8* %0, i8* %1, i32 %2, i32 %3, i32 %4, i32 %5, i64 %6, i64 %7, i64 %8, i64 %9, i64 %10, i64 %11) {
%13 = alloca i32
%14 = alloca i8*
%15 = alloca i8*
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i64
%21 = alloca i64
%22 = alloca i64
%23 = alloca i64
%24 = alloca i64
%25 = alloca i64
%26 = alloca i32*
%27 = alloca i32*
%28 = alloca i32
%29 = alloca i32
%30 = alloca i32
%31 = alloca i64
%32 = alloca i64
%33 = alloca i64
%34 = alloca i64
%35 = alloca i32*
%36 = alloca i32*
%37 = alloca i32
%38 = alloca i32
%39 = alloca i32
%40 = alloca i32
%41 = alloca i32
%42 = alloca i32*
%43 = alloca i32
%44 = alloca i64
%45 = alloca i64
%46 = alloca i64
%47 = alloca i64
store i8* %0, i8** %14
store i8* %1, i8** %15
store i32 %2, i32* %16
store i32 %3, i32* %17
store i32 %4, i32* %18
store i32 %5, i32* %19
store i64 %6, i64* %20
store i64 %7, i64* %21
store i64 %8, i64* %22
store i64 %9, i64* %23
store i64 %10, i64* %24
store i64 %11, i64* %25
%48 = load i8*, i8** %14
%49 = bitcast i8* %48 to i32*
store i32* %49, i32** %26
%50 = load i32*, i32** %26
%51 = load i32, i32* %16
%52 = load i32, i32* %18
%53 = mul nsw i32 %51, %52
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds i32, i32* %50, i64 %54
store i32* %55, i32** %27
%56 = load i32, i32* %18
store i32 %56, i32* %28
br label %57
57: ; preds = %250, %12
%58 = load i32, i32* %28
%59 = load i32, i32* %17
%60 = icmp slt i32 %58, %59
br i1 %60, label %61, label %253
61: ; preds = %57
store i32 0, i32* %29
br label %62
62: ; preds = %244, %61
%63 = load i32, i32* %29
%64 = load i32, i32* %16
%65 = icmp slt i32 %63, %64
br i1 %65, label %66, label %249
66: ; preds = %62
%67 = load i32*, i32** %27
%68 = load i32, i32* %67
store i32 %68, i32* %30
%69 = load i32, i32* %30
%70 = and i32 %69, 255
%71 = sext i32 %70 to i64
store i64 %71, i64* %31
%72 = load i32, i32* %30
%73 = ashr i32 %72, 8
%74 = and i32 %73, 255
%75 = sext i32 %74 to i64
store i64 %75, i64* %32
%76 = load i32, i32* %30
%77 = ashr i32 %76, 16
%78 = and i32 %77, 255
%79 = sext i32 %78 to i64
store i64 %79, i64* %33
%80 = load i64, i64* %31
%81 = load i64, i64* %20
%82 = icmp slt i64 %80, %81
br i1 %82, label %103, label %83
83: ; preds = %66
%84 = load i64, i64* %32
%85 = load i64, i64* %21
%86 = icmp slt i64 %84, %85
br i1 %86, label %103, label %87
87: ; preds = %83
%88 = load i64, i64* %33
%89 = load i64, i64* %22
%90 = icmp slt i64 %88, %89
br i1 %90, label %103, label %91
91: ; preds = %87
%92 = load i64, i64* %31
%93 = load i64, i64* %23
%94 = icmp sgt i64 %92, %93
br i1 %94, label %103, label %95
95: ; preds = %91
%96 = load i64, i64* %32
%97 = load i64, i64* %24
%98 = icmp sgt i64 %96, %97
br i1 %98, label %103, label %99
99: ; preds = %95
%100 = load i64, i64* %33
%101 = load i64, i64* %25
%102 = icmp sgt i64 %100, %101
br i1 %102, label %103, label %104
103: ; preds = %99, %95, %91, %87, %83, %66
br label %244
104: ; preds = %99
%105 = load i32, i32* %30
%106 = ashr i32 %105, 24
%107 = and i32 %106, 255
%108 = sext i32 %107 to i64
store i64 %108, i64* %34
%109 = load i64, i64* %34
%110 = icmp eq i64 %109, 0
br i1 %110, label %111, label %112
111: ; preds = %104
br label %244
112: ; preds = %104
%113 = load i8*, i8** %15
%114 = bitcast i8* %113 to i32*
store i32* %114, i32** %35
%115 = load i32*, i32** %35
store i32* %115, i32** %36
%116 = load i32, i32* %29
%117 = load i32*, i32** %36
%118 = getelementptr inbounds i32, i32* %117, i64 0
store i32 %116, i32* %118
%119 = load i32, i32* %28
%120 = load i32*, i32** %36
%121 = getelementptr inbounds i32, i32* %120, i64 1
store i32 %119, i32* %121
%122 = load i32*, i32** %36
%123 = getelementptr inbounds i32, i32* %122, i64 2
store i32* %123, i32** %36
%124 = load i32*, i32** %27
%125 = load i32, i32* %124
%126 = and i32 %125, 16777215
store i32 %126, i32* %124
store i32 1, i32* %37
%127 = load i32, i32* %37
%128 = load i32, i32* %19
%129 = icmp eq i32 %127, %128
br i1 %129, label %130, label %132
130: ; preds = %112
%131 = load i32, i32* %37
store i32 %131, i32* %13
br label %254
132: ; preds = %112
br label %133
133: ; preds = %241, %132
%134 = load i32*, i32** %36
%135 = load i32*, i32** %35
%136 = icmp ne i32* %134, %135
br i1 %136, label %137, label %242
137: ; preds = %133
%138 = load i32*, i32** %35
%139 = getelementptr inbounds i32, i32* %138, i64 0
%140 = load i32, i32* %139
store i32 %140, i32* %29
%141 = load i32*, i32** %35
%142 = getelementptr inbounds i32, i32* %141, i64 1
%143 = load i32, i32* %142
store i32 %143, i32* %28
%144 = load i32*, i32** %35
%145 = getelementptr inbounds i32, i32* %144, i64 2
store i32* %145, i32** %35
store i32 -1, i32* %38
br label %146
146: ; preds = %238, %137
%147 = load i32, i32* %38
%148 = icmp sle i32 %147, 1
br i1 %148, label %149, label %241
149: ; preds = %146
store i32 -1, i32* %39
br label %150
150: ; preds = %234, %149
%151 = load i32, i32* %39
%152 = icmp sle i32 %151, 1
br i1 %152, label %153, label %237
153: ; preds = %150
%154 = load i32, i32* %38
%155 = load i32, i32* %29
%156 = add nsw i32 %154, %155
store i32 %156, i32* %40
%157 = load i32, i32* %39
%158 = load i32, i32* %28
%159 = add nsw i32 %157, %158
store i32 %159, i32* %41
%160 = load i32*, i32** %26
%161 = load i32, i32* %41
%162 = load i32, i32* %16
%163 = mul nsw i32 %161, %162
%164 = sext i32 %163 to i64
%165 = getelementptr inbounds i32, i32* %160, i64 %164
%166 = load i32, i32* %40
%167 = sext i32 %166 to i64
%168 = getelementptr inbounds i32, i32* %165, i64 %167
store i32* %168, i32** %42
%169 = load i32*, i32** %42
%170 = load i32, i32* %169
store i32 %170, i32* %43
%171 = load i32, i32* %43
%172 = and i32 %171, 255
%173 = sext i32 %172 to i64
store i64 %173, i64* %44
%174 = load i32, i32* %43
%175 = ashr i32 %174, 8
%176 = and i32 %175, 255
%177 = sext i32 %176 to i64
store i64 %177, i64* %45
%178 = load i32, i32* %43
%179 = ashr i32 %178, 16
%180 = and i32 %179, 255
%181 = sext i32 %180 to i64
store i64 %181, i64* %46
%182 = load i64, i64* %44
%183 = load i64, i64* %20
%184 = icmp slt i64 %182, %183
br i1 %184, label %205, label %185
185: ; preds = %153
%186 = load i64, i64* %45
%187 = load i64, i64* %21
%188 = icmp slt i64 %186, %187
br i1 %188, label %205, label %189
189: ; preds = %185
%190 = load i64, i64* %46
%191 = load i64, i64* %22
%192 = icmp slt i64 %190, %191
br i1 %192, label %205, label %193
193: ; preds = %189
%194 = load i64, i64* %44
%195 = load i64, i64* %23
%196 = icmp sgt i64 %194, %195
br i1 %196, label %205, label %197
197: ; preds = %193
%198 = load i64, i64* %45
%199 = load i64, i64* %24
%200 = icmp sgt i64 %198, %199
br i1 %200, label %205, label %201
201: ; preds = %197
%202 = load i64, i64* %46
%203 = load i64, i64* %25
%204 = icmp sgt i64 %202, %203
br i1 %204, label %205, label %206
205: ; preds = %201, %197, %193, %189, %185, %153
br label %234
206: ; preds = %201
%207 = load i32, i32* %43
%208 = ashr i32 %207, 24
%209 = and i32 %208, 255
%210 = sext i32 %209 to i64
store i64 %210, i64* %47
%211 = load i64, i64* %47
%212 = icmp eq i64 %211, 0
br i1 %212, label %213, label %214
213: ; preds = %206
br label %234
214: ; preds = %206
%215 = load i32, i32* %40
%216 = load i32*, i32** %36
%217 = getelementptr inbounds i32, i32* %216, i64 0
store i32 %215, i32* %217
%218 = load i32, i32* %41
%219 = load i32*, i32** %36
%220 = getelementptr inbounds i32, i32* %219, i64 1
store i32 %218, i32* %220
%221 = load i32*, i32** %36
%222 = getelementptr inbounds i32, i32* %221, i64 2
store i32* %222, i32** %36
%223 = load i32, i32* %43
%224 = and i32 %223, 16777215
%225 = load i32*, i32** %42
store i32 %224, i32* %225
%226 = load i32, i32* %37
%227 = add nsw i32 %226, 1
store i32 %227, i32* %37
%228 = load i32, i32* %37
%229 = load i32, i32* %19
%230 = icmp eq i32 %228, %229
br i1 %230, label %231, label %233
231: ; preds = %214
%232 = load i32, i32* %37
store i32 %232, i32* %13
br label %254
233: ; preds = %214
br label %234
234: ; preds = %233, %213, %205
%235 = load i32, i32* %39
%236 = add nsw i32 %235, 1
store i32 %236, i32* %39
br label %150
237: ; preds = %150
br label %238
238: ; preds = %237
%239 = load i32, i32* %38
%240 = add nsw i32 %239, 1
store i32 %240, i32* %38
br label %146
241: ; preds = %146
br label %133
242: ; preds = %133
%243 = load i32, i32* %37
store i32 %243, i32* %13
br label %254
244: ; preds = %111, %103
%245 = load i32, i32* %29
%246 = add nsw i32 %245, 1
store i32 %246, i32* %29
%247 = load i32*, i32** %27
%248 = getelementptr inbounds i32, i32* %247, i32 1
store i32* %248, i32** %27
br label %62
249: ; preds = %62
br label %250
250: ; preds = %249
%251 = load i32, i32* %28
%252 = add nsw i32 %251, 1
store i32 %252, i32* %28
br label %57
253: ; preds = %57
store i32 0, i32* %13
br label %254
254: ; preds = %253, %242, %231, %130
%255 = load i32, i32* %13
ret i32 %255
}

LLVM IR (-O2):
define i32 @GoRgbaFindPuddle(i8* nocapture %0, i8* %1, i32 %2, i32 %3, i32 %4, i32 %5, i64 %6, i64 %7, i64 %8, i64 %9, i64 %10, i64 %11) {
%13 = bitcast i8* %0 to i32*
%14 = icmp slt i32 %4, %3
br i1 %14, label %15, label %195
15: ; preds = %12
%16 = mul nsw i32 %4, %2
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i32, i32* %13, i64 %17
%19 = icmp sgt i32 %2, 0
br label %20
20: ; preds = %15, %191
%21 = phi i32* [ %18, %15 ], [ %192, %191 ]
%22 = phi i32 [ %4, %15 ], [ %193, %191 ]
br i1 %19, label %23, label %191
23: ; preds = %20, %187
%24 = phi i32* [ %189, %187 ], [ %21, %20 ]
%25 = phi i32 [ %188, %187 ], [ 0, %20 ]
%26 = load i32, i32* %24
%27 = and i32 %26, 255
%28 = zext i32 %27 to i64
%29 = lshr i32 %26, 8
%30 = and i32 %29, 255
%31 = zext i32 %30 to i64
%32 = lshr i32 %26, 16
%33 = and i32 %32, 255
%34 = zext i32 %33 to i64
%35 = icmp slt i64 %28, %6
%36 = icmp slt i64 %31, %7
%37 = select i1 %35, i1 true, i1 %36
%38 = icmp slt i64 %34, %8
%39 = select i1 %37, i1 true, i1 %38
%40 = icmp sgt i64 %28, %9
%41 = select i1 %39, i1 true, i1 %40
%42 = icmp sgt i64 %31, %10
%43 = select i1 %41, i1 true, i1 %42
%44 = icmp sgt i64 %34, %11
%45 = select i1 %43, i1 true, i1 %44
%46 = icmp ult i32 %26, 16777216
%47 = select i1 %45, i1 true, i1 %46
br i1 %47, label %187, label %48
48: ; preds = %23
%49 = bitcast i8* %1 to i32*
store i32 %25, i32* %49
%50 = getelementptr inbounds i8, i8* %1, i64 4
%51 = bitcast i8* %50 to i32*
store i32 %22, i32* %51
%52 = load i32, i32* %24
%53 = and i32 %52, 16777215
store i32 %53, i32* %24
%54 = icmp eq i32 %5, 1
br i1 %54, label %195, label %55
55: ; preds = %48
%56 = getelementptr inbounds i8, i8* %1, i64 8
%57 = bitcast i8* %56 to i32*
%58 = sext i32 %2 to i64
br label %61
59: ; preds = %182
%60 = icmp eq i32* %184, %68
br i1 %60, label %195, label %61
61: ; preds = %55, %59
%62 = phi i32* [ %68, %59 ], [ %49, %55 ]
%63 = phi i32* [ %184, %59 ], [ %57, %55 ]
%64 = phi i32 [ %183, %59 ], [ 1, %55 ]
%65 = load i32, i32* %62
%66 = getelementptr inbounds i32, i32* %62, i64 1
%67 = load i32, i32* %66
%68 = getelementptr inbounds i32, i32* %62, i64 2
%69 = sext i32 %67 to i64
%70 = sext i32 %65 to i64
%71 = add nsw i64 %69, -1
%72 = mul nsw i64 %71, %58
%73 = getelementptr inbounds i32, i32* %13, i64 %72
%74 = trunc i64 %71 to i32
%75 = mul nsw i64 %69, %58
%76 = getelementptr inbounds i32, i32* %13, i64 %75
%77 = add nsw i64 %69, 1
%78 = mul nsw i64 %77, %58
%79 = getelementptr inbounds i32, i32* %13, i64 %78
%80 = trunc i64 %77 to i32
br label %81
81: ; preds = %61, %182
%82 = phi i64 [ -1, %61 ], [ %185, %182 ]
%83 = phi i32* [ %63, %61 ], [ %184, %182 ]
%84 = phi i32 [ %64, %61 ], [ %183, %182 ]
%85 = add nsw i64 %82, %70
%86 = getelementptr inbounds i32, i32* %73, i64 %85
%87 = load i32, i32* %86
%88 = and i32 %87, 255
%89 = zext i32 %88 to i64
%90 = lshr i32 %87, 8
%91 = and i32 %90, 255
%92 = zext i32 %91 to i64
%93 = lshr i32 %87, 16
%94 = and i32 %93, 255
%95 = zext i32 %94 to i64
%96 = icmp slt i64 %89, %6
%97 = icmp slt i64 %92, %7
%98 = select i1 %96, i1 true, i1 %97
%99 = icmp slt i64 %95, %8
%100 = select i1 %98, i1 true, i1 %99
%101 = icmp sgt i64 %89, %9
%102 = select i1 %100, i1 true, i1 %101
%103 = icmp sgt i64 %92, %10
%104 = select i1 %102, i1 true, i1 %103
%105 = icmp sgt i64 %95, %11
%106 = select i1 %104, i1 true, i1 %105
%107 = icmp ult i32 %87, 16777216
%108 = select i1 %106, i1 true, i1 %107
br i1 %108, label %116, label %109
109: ; preds = %81
%110 = trunc i64 %85 to i32
store i32 %110, i32* %83
%111 = getelementptr inbounds i32, i32* %83, i64 1
store i32 %74, i32* %111
%112 = getelementptr inbounds i32, i32* %83, i64 2
%113 = and i32 %87, 16777215
store i32 %113, i32* %86
%114 = add nsw i32 %84, 1
%115 = icmp eq i32 %114, %5
br i1 %115, label %195, label %116
116: ; preds = %81, %109
%117 = phi i32 [ %114, %109 ], [ %84, %81 ]
%118 = phi i32* [ %112, %109 ], [ %83, %81 ]
%119 = getelementptr inbounds i32, i32* %76, i64 %85
%120 = load i32, i32* %119
%121 = and i32 %120, 255
%122 = zext i32 %121 to i64
%123 = lshr i32 %120, 8
%124 = and i32 %123, 255
%125 = zext i32 %124 to i64
%126 = lshr i32 %120, 16
%127 = and i32 %126, 255
%128 = zext i32 %127 to i64
%129 = icmp slt i64 %122, %6
%130 = icmp slt i64 %125, %7
%131 = select i1 %129, i1 true, i1 %130
%132 = icmp slt i64 %128, %8
%133 = select i1 %131, i1 true, i1 %132
%134 = icmp sgt i64 %122, %9
%135 = select i1 %133, i1 true, i1 %134
%136 = icmp sgt i64 %125, %10
%137 = select i1 %135, i1 true, i1 %136
%138 = icmp sgt i64 %128, %11
%139 = select i1 %137, i1 true, i1 %138
%140 = icmp ult i32 %120, 16777216
%141 = select i1 %139, i1 true, i1 %140
br i1 %141, label %149, label %142
142: ; preds = %116
%143 = trunc i64 %85 to i32
store i32 %143, i32* %118
%144 = getelementptr inbounds i32, i32* %118, i64 1
store i32 %67, i32* %144
%145 = getelementptr inbounds i32, i32* %118, i64 2
%146 = and i32 %120, 16777215
store i32 %146, i32* %119
%147 = add nsw i32 %117, 1
%148 = icmp eq i32 %147, %5
br i1 %148, label %195, label %149
149: ; preds = %142, %116
%150 = phi i32 [ %147, %142 ], [ %117, %116 ]
%151 = phi i32* [ %145, %142 ], [ %118, %116 ]
%152 = getelementptr inbounds i32, i32* %79, i64 %85
%153 = load i32, i32* %152
%154 = and i32 %153, 255
%155 = zext i32 %154 to i64
%156 = lshr i32 %153, 8
%157 = and i32 %156, 255
%158 = zext i32 %157 to i64
%159 = lshr i32 %153, 16
%160 = and i32 %159, 255
%161 = zext i32 %160 to i64
%162 = icmp slt i64 %155, %6
%163 = icmp slt i64 %158, %7
%164 = select i1 %162, i1 true, i1 %163
%165 = icmp slt i64 %161, %8
%166 = select i1 %164, i1 true, i1 %165
%167 = icmp sgt i64 %155, %9
%168 = select i1 %166, i1 true, i1 %167
%169 = icmp sgt i64 %158, %10
%170 = select i1 %168, i1 true, i1 %169
%171 = icmp sgt i64 %161, %11
%172 = select i1 %170, i1 true, i1 %171
%173 = icmp ult i32 %153, 16777216
%174 = select i1 %172, i1 true, i1 %173
br i1 %174, label %182, label %175
175: ; preds = %149
%176 = trunc i64 %85 to i32
store i32 %176, i32* %151
%177 = getelementptr inbounds i32, i32* %151, i64 1
store i32 %80, i32* %177
%178 = getelementptr inbounds i32, i32* %151, i64 2
%179 = and i32 %153, 16777215
store i32 %179, i32* %152
%180 = add nsw i32 %150, 1
%181 = icmp eq i32 %180, %5
br i1 %181, label %195, label %182
182: ; preds = %175, %149
%183 = phi i32 [ %180, %175 ], [ %150, %149 ]
%184 = phi i32* [ %178, %175 ], [ %151, %149 ]
%185 = add nsw i64 %82, 1
%186 = icmp eq i64 %185, 2
br i1 %186, label %59, label %81
187: ; preds = %23
%188 = add nuw nsw i32 %25, 1
%189 = getelementptr inbounds i32, i32* %24, i64 1
%190 = icmp eq i32 %188, %2
br i1 %190, label %191, label %23
191: ; preds = %187, %20
%192 = phi i32* [ %21, %20 ], [ %189, %187 ]
%193 = add i32 %22, 1
%194 = icmp eq i32 %193, %3
br i1 %194, label %195, label %20
195: ; preds = %191, %59, %109, %142, %175, %12, %48
%196 = phi i32 [ 1, %48 ], [ 0, %12 ], [ %5, %175 ], [ %5, %142 ], [ %5, %109 ], [ %183, %59 ], [ 0, %191 ]
ret i32 %196
}