void drawRect(float *img, int w, int h, int bands, int x1, int y1, int x2,
              int y2, float *rgb) {
  int i, j, k;
  int offset1, offset2;
  if (x1 < 0)
    x1 = 0;
  if (x2 >= w)
    x2 = w - 1;
  if (y1 < 0)
    y1 = 0;
  if (y2 >= h)
    y2 = h - 1;
  offset1 = y1 * w * bands;
  offset2 = y2 * w * bands;
  for (i = x1; i <= x2; i++) {
    for (k = 0; k < bands; k++) {
      img[offset1 + bands * i + k] = rgb[k];
      img[offset2 + bands * i + k] = rgb[k];
    }
  }
  for (j = y1; j <= y2; j++) {
    offset1 = j * bands * w;
    for (k = 0; k < bands; k++) {
      img[offset1 + bands * x1 + k] = rgb[k];
      img[offset1 + bands * x2 + k] = rgb[k];
    }
  }
  return;
}


x86 assembly (clang, -O0):
<drawRect>:
push   %rbp
mov    %rsp,%rbp
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%eax
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8d,-0x18(%rbp)
mov    %r9d,-0x1c(%rbp)
cmpl   $0x0,-0x18(%rbp)
jge    1134 <drawRect+0x34>
movl   $0x0,-0x18(%rbp)
mov    0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jl     1149 <drawRect+0x49>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,0x10(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jge    115a <drawRect+0x5a>
movl   $0x0,-0x1c(%rbp)
mov    0x18(%rbp),%eax
cmp    -0x10(%rbp),%eax
jl     116f <drawRect+0x6f>
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,0x18(%rbp)
mov    -0x1c(%rbp),%eax
imul   -0xc(%rbp),%eax
imul   -0x14(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    0x18(%rbp),%eax
imul   -0xc(%rbp),%eax
imul   -0x14(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    0x10(%rbp),%eax
jg     1221 <drawRect+0x121>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    120e <drawRect+0x10e>
mov    0x20(%rbp),%rax
movslq -0x28(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    -0x14(%rbp),%edx
imul   -0x20(%rbp),%edx
add    %edx,%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    0x20(%rbp),%rax
movslq -0x28(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    -0x14(%rbp),%edx
imul   -0x20(%rbp),%edx
add    %edx,%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11a4 <drawRect+0xa4>
jmp    1213 <drawRect+0x113>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1191 <drawRect+0x91>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    0x18(%rbp),%eax
jg     12c5 <drawRect+0x1c5>
mov    -0x24(%rbp),%eax
imul   -0x14(%rbp),%eax
imul   -0xc(%rbp),%eax
mov    %eax,-0x2c(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    12b2 <drawRect+0x1b2>
mov    0x20(%rbp),%rax
movslq -0x28(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    -0x14(%rbp),%edx
imul   -0x18(%rbp),%edx
add    %edx,%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    0x20(%rbp),%rax
movslq -0x28(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    -0x14(%rbp),%edx
imul   0x10(%rbp),%edx
add    %edx,%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1248 <drawRect+0x148>
jmp    12b7 <drawRect+0x1b7>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1227 <drawRect+0x127>
pop    %rbp
ret

x86 assembly (clang, -O2):
<drawRect>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x20,%rsp
mov    %ecx,%ebx
mov    0x68(%rsp),%rax
mov    0x58(%rsp),%ecx
xor    %r14d,%r14d
test   %r8d,%r8d
cmovs  %r14d,%r8d
lea    -0x1(%rsi),%r11d
cmp    %esi,%ecx
cmovl  %ecx,%r11d
mov    0x60(%rsp),%ecx
test   %r9d,%r9d
cmovs  %r14d,%r9d
lea    -0x1(%rdx),%ebp
cmp    %edx,%ecx
cmovl  %ecx,%ebp
mov    %ebp,-0x6c(%rsp)
movabs $0x7ffffffffffffffe,%rcx
ff ff 7f
mov    %rcx,-0x8(%rsp)
mov    %ebx,%ecx
mov    %rsi,-0x58(%rsp)
imul   %esi,%ecx
mov    %rcx,-0x78(%rsp)
mov    %ebx,%r13d
mov    %r8,-0x50(%rsp)
cmp    %r11d,%r8d
mov    %ebx,-0x80(%rsp)
jle    118d <drawRect+0x8d>
cmp    -0x6c(%rsp),%r9d
jle    14c5 <drawRect+0x3c5>
add    $0x20,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    -0x78(%rsp),%rcx
mov    %ecx,%edx
imul   %r9d,%edx
mov    %rdx,-0x60(%rsp)
mov    -0x6c(%rsp),%edx
imul   %edx,%ecx
mov    %ecx,-0x7c(%rsp)
lea    -0x1(%r13),%rcx
mov    %rcx,-0x18(%rsp)
mov    %r9d,%r10d
mov    -0x58(%rsp),%rcx
imul   %ecx,%r10d
mov    -0x50(%rsp),%r15
add    %r15d,%r10d
imul   %ebx,%r10d
mov    %edx,%r12d
imul   %ecx,%r12d
add    %r15d,%r12d
imul   %ebx,%r12d
lea    (%rdi,%r13,4),%rcx
mov    %rcx,-0x40(%rsp)
lea    (%rax,%r13,4),%rcx
mov    %rcx,-0x48(%rsp)
mov    %r13d,%ecx
and    $0xfffffffc,%ecx
mov    %rcx,0x18(%rsp)
add    $0xfffffffffffffffc,%rcx
mov    %rcx,0x10(%rsp)
mov    %rcx,%rdx
shr    $0x2,%rdx
add    $0x1,%rdx
mov    %rdx,%rcx
mov    %rdx,0x8(%rsp)
movabs $0x7ffffffffffffffe,%rcx
ff ff 7f
and    %rcx,%rdx
mov    %rdx,(%rsp)
mov    %r13,%rcx
neg    %rcx
mov    %rcx,-0x10(%rsp)
mov    %r10,-0x20(%rsp)
mov    %r12,-0x38(%rsp)
mov    %r11d,-0x68(%rsp)
mov    %r9,-0x30(%rsp)
jmp    126a <drawRect+0x16a>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    0x1(%r15),%ecx
add    $0x1,%r14d
add    %r13,%r12
add    %r13,%r10
cmp    %r11d,%r15d
mov    %ecx,%r15d
je     1173 <drawRect+0x73>
test   %ebx,%ebx
jle    1250 <drawRect+0x150>
mov    %r15d,%r8d
imul   %ebx,%r8d
cmp    $0x4,%ebx
jae    1330 <drawRect+0x230>
xor    %esi,%esi
mov    %rsi,%rdx
test   $0x1,%r13b
je     12ba <drawRect+0x1ba>
movss  (%rax,%rsi,4),%xmm0
add    %esi,%r8d
mov    -0x60(%rsp),%rcx
add    %r8d,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rdi,%rcx,4)
movss  (%rax,%rsi,4),%xmm0
add    -0x7c(%rsp),%r8d
movslq %r8d,%rcx
movss  %xmm0,(%rdi,%rcx,4)
mov    %rsi,%rdx
or     $0x1,%rdx
not    %rsi
cmp    -0x10(%rsp),%rsi
je     1250 <drawRect+0x150>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movss  (%rax,%rdx,4),%xmm0
lea    (%r10,%rdx,1),%rcx
movslq %ecx,%rcx
movss  %xmm0,(%rdi,%rcx,4)
movss  (%rax,%rdx,4),%xmm0
lea    (%r12,%rdx,1),%rsi
movslq %esi,%rsi
movss  %xmm0,(%rdi,%rsi,4)
movss  0x4(%rax,%rdx,4),%xmm0
add    $0x1,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rdi,%rcx,4)
movss  0x4(%rax,%rdx,4),%xmm0
add    $0x1,%esi
movslq %esi,%rcx
movss  %xmm0,(%rdi,%rcx,4)
add    $0x2,%rdx
cmp    %rdx,%r13
jne    12d0 <drawRect+0x1d0>
jmp    1250 <drawRect+0x150>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %r14d,%edx
imul   %ebx,%edx
mov    -0x20(%rsp),%rcx
add    %edx,%ecx
mov    -0x18(%rsp),%rbp
lea    (%rcx,%rbp,1),%esi
cmp    %ecx,%esi
jl     127e <drawRect+0x17e>
mov    %r11d,%r9d
mov    %rbp,%r11
shr    $0x20,%r11
jne    1459 <drawRect+0x359>
add    -0x38(%rsp),%edx
lea    (%rdx,%rbp,1),%esi
cmp    %edx,%esi
jl     1459 <drawRect+0x359>
mov    $0x0,%esi
test   %r11,%r11
mov    %r9d,%r11d
mov    -0x30(%rsp),%r9
jne    1280 <drawRect+0x180>
movslq %ecx,%rsi
lea    (%rdi,%rsi,4),%rbp
mov    -0x40(%rsp),%rcx
lea    (%rcx,%rsi,4),%rsi
movslq %edx,%rdx
lea    (%rdi,%rdx,4),%rbx
lea    (%rcx,%rdx,4),%rdx
cmp    %rdx,%rbp
setb   -0x28(%rsp)
cmp    %rsi,%rbx
setb   %r11b
mov    -0x48(%rsp),%rcx
cmp    %rcx,%rbp
setb   %bpl
cmp    %rax,%rsi
seta   %sil
cmp    %rcx,%rbx
setb   %bl
cmp    %rax,%rdx
seta   %dl
test   %r11b,-0x28(%rsp)
jne    1468 <drawRect+0x368>
and    %sil,%bpl
jne    1468 <drawRect+0x368>
mov    $0x0,%esi
and    %dl,%bl
mov    -0x80(%rsp),%ebx
mov    -0x68(%rsp),%r11d
jne    1280 <drawRect+0x180>
cmpq   $0x0,0x10(%rsp)
je     1478 <drawRect+0x378>
mov    (%rsp),%rsi
mov    %r10d,%r11d
mov    %r12d,%ebx
xor    %edx,%edx
nopl   0x0(%rax)
movups (%rax,%rdx,4),%xmm0
movslq %r11d,%r11
movups %xmm0,(%rdi,%r11,4)
movups (%rax,%rdx,4),%xmm0
movslq %ebx,%rbx
movups %xmm0,(%rdi,%rbx,4)
movups 0x10(%rax,%rdx,4),%xmm0
lea    0x4(%r11),%ecx
movslq %ecx,%rcx
movups %xmm0,(%rdi,%rcx,4)
movups 0x10(%rax,%rdx,4),%xmm0
lea    0x4(%rbx),%ecx
movslq %ecx,%rcx
movups %xmm0,(%rdi,%rcx,4)
add    $0x8,%rdx
add    $0x8,%ebx
add    $0x8,%r11d
add    $0xfffffffffffffffe,%rsi
jne    1410 <drawRect+0x310>
jmp    147a <drawRect+0x37a>
xor    %esi,%esi
mov    %r9d,%r11d
mov    -0x30(%rsp),%r9
jmp    1280 <drawRect+0x180>
xor    %esi,%esi
mov    -0x80(%rsp),%ebx
mov    -0x68(%rsp),%r11d
jmp    1280 <drawRect+0x180>
xor    %edx,%edx
testb  $0x1,0x8(%rsp)
mov    -0x80(%rsp),%ebx
mov    -0x68(%rsp),%r11d
je     14af <drawRect+0x3af>
movups (%rax,%rdx,4),%xmm0
lea    (%r8,%rdx,1),%ecx
mov    -0x60(%rsp),%rsi
add    %ecx,%esi
movslq %esi,%rsi
movups %xmm0,(%rdi,%rsi,4)
movups (%rax,%rdx,4),%xmm0
add    -0x7c(%rsp),%ecx
movslq %ecx,%rcx
movups %xmm0,(%rdi,%rcx,4)
mov    0x18(%rsp),%rcx
mov    %rcx,%rsi
cmp    %r13,%rcx
je     1250 <drawRect+0x150>
jmp    1280 <drawRect+0x180>
mov    -0x50(%rsp),%r8
mov    %r8d,%ecx
imul   %ebx,%ecx
mov    %rcx,-0x60(%rsp)
mov    %r11d,%ecx
imul   %ebx,%ecx
mov    %ecx,-0x7c(%rsp)
lea    -0x1(%r13),%rcx
mov    %rcx,-0x18(%rsp)
mov    -0x58(%rsp),%r12
imul   %r9d,%r12d
add    %r12d,%r8d
imul   %ebx,%r8d
add    %r11d,%r12d
imul   %ebx,%r12d
lea    (%rdi,%r13,4),%rcx
mov    %rcx,-0x28(%rsp)
lea    (%rax,%r13,4),%rcx
mov    %rcx,-0x68(%rsp)
mov    %r13d,%ecx
and    $0xfffffffc,%ecx
mov    %rcx,-0x38(%rsp)
add    $0xfffffffffffffffc,%rcx
mov    %rcx,-0x40(%rsp)
shr    $0x2,%rcx
add    $0x1,%rcx
mov    %rcx,%rdx
mov    %rcx,-0x48(%rsp)
and    %rcx,-0x8(%rsp)
mov    %r13,%rcx
neg    %rcx
mov    %rcx,-0x10(%rsp)
xor    %r14d,%r14d
mov    %r8,-0x50(%rsp)
mov    %r12,-0x58(%rsp)
jmp    1580 <drawRect+0x480>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
lea    0x1(%r9),%ecx
add    $0x1,%r14d
add    %r10,%r12
add    %r10,%r8
cmp    -0x6c(%rsp),%r9d
mov    %ecx,%r9d
mov    -0x80(%rsp),%ebx
je     117e <drawRect+0x7e>
test   %ebx,%ebx
mov    -0x78(%rsp),%r10
jle    1560 <drawRect+0x460>
mov    %r10d,%r15d
imul   %r9d,%r15d
cmpl   $0x4,-0x80(%rsp)
jae    15a0 <drawRect+0x4a0>
xor    %r11d,%r11d
jmp    1710 <drawRect+0x610>
nop
mov    %r10d,%edx
imul   %r14d,%edx
mov    -0x50(%rsp),%rcx
lea    (%rcx,%rdx,1),%esi
mov    -0x18(%rsp),%rbx
lea    (%rsi,%rbx,1),%ecx
cmp    %esi,%ecx
jl     1597 <drawRect+0x497>
mov    %rbx,%rbp
shr    $0x20,%rbp
jne    16b6 <drawRect+0x5b6>
add    -0x58(%rsp),%edx
lea    (%rdx,%rbx,1),%ecx
cmp    %edx,%ecx
jl     16b6 <drawRect+0x5b6>
mov    $0x0,%r11d
test   %rbp,%rbp
mov    -0x78(%rsp),%r10
jne    1710 <drawRect+0x610>
movslq %esi,%rcx
lea    (%rdi,%rcx,4),%rsi
mov    -0x28(%rsp),%rbx
lea    (%rbx,%rcx,4),%rcx
movslq %edx,%rdx
lea    (%rdi,%rdx,4),%rbp
lea    (%rbx,%rdx,4),%rdx
cmp    %rdx,%rsi
setb   -0x20(%rsp)
cmp    %rcx,%rbp
setb   %r11b
mov    -0x68(%rsp),%r10
cmp    %r10,%rsi
setb   %bl
cmp    %rax,%rcx
seta   %sil
cmp    %r10,%rbp
setb   %cl
cmp    %rax,%rdx
seta   %dl
test   %r11b,-0x20(%rsp)
jne    16b6 <drawRect+0x5b6>
and    %sil,%bl
jne    16b6 <drawRect+0x5b6>
mov    $0x0,%r11d
and    %dl,%cl
mov    -0x78(%rsp),%r10
jne    1710 <drawRect+0x610>
cmpq   $0x0,-0x40(%rsp)
je     16c0 <drawRect+0x5c0>
mov    -0x8(%rsp),%rdx
mov    %r8d,%ebx
mov    %r12d,%esi
xor    %ebp,%ebp
nopw   0x0(%rax,%rax,1)
movups (%rax,%rbp,4),%xmm0
movslq %ebx,%rbx
movups %xmm0,(%rdi,%rbx,4)
movups (%rax,%rbp,4),%xmm0
movslq %esi,%rsi
movups %xmm0,(%rdi,%rsi,4)
movups 0x10(%rax,%rbp,4),%xmm0
lea    0x4(%rbx),%ecx
movslq %ecx,%rcx
movups %xmm0,(%rdi,%rcx,4)
movups 0x10(%rax,%rbp,4),%xmm0
lea    0x4(%rsi),%ecx
movslq %ecx,%rcx
movups %xmm0,(%rdi,%rcx,4)
add    $0x8,%rbp
add    $0x8,%esi
add    $0x8,%ebx
add    $0xfffffffffffffffe,%rdx
jne    1670 <drawRect+0x570>
jmp    16c2 <drawRect+0x5c2>
xor    %r11d,%r11d
mov    -0x78(%rsp),%r10
jmp    1710 <drawRect+0x610>
xor    %ebp,%ebp
testb  $0x1,-0x48(%rsp)
mov    -0x78(%rsp),%r10
je     16f3 <drawRect+0x5f3>
movups (%rax,%rbp,4),%xmm0
lea    (%r15,%rbp,1),%ecx
mov    -0x60(%rsp),%rdx
add    %ecx,%edx
movslq %edx,%rdx
movups %xmm0,(%rdi,%rdx,4)
movups (%rax,%rbp,4),%xmm0
add    -0x7c(%rsp),%ecx
movslq %ecx,%rcx
movups %xmm0,(%rdi,%rcx,4)
mov    -0x38(%rsp),%rcx
mov    %rcx,%r11
cmp    %r13,%rcx
je     1560 <drawRect+0x460>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %r11,%rbp
test   $0x1,%r13b
je     174c <drawRect+0x64c>
movss  (%rax,%r11,4),%xmm0
add    %r11d,%r15d
mov    -0x60(%rsp),%rcx
add    %r15d,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rdi,%rcx,4)
movss  (%rax,%r11,4),%xmm0
add    -0x7c(%rsp),%r15d
movslq %r15d,%rcx
movss  %xmm0,(%rdi,%rcx,4)
mov    %r11,%rbp
or     $0x1,%rbp
not    %r11
cmp    -0x10(%rsp),%r11
je     1560 <drawRect+0x460>
nopw   0x0(%rax,%rax,1)
movss  (%rax,%rbp,4),%xmm0
lea    (%r8,%rbp,1),%rcx
movslq %ecx,%rcx
movss  %xmm0,(%rdi,%rcx,4)
movss  (%rax,%rbp,4),%xmm0
lea    (%r12,%rbp,1),%rdx
movslq %edx,%rdx
movss  %xmm0,(%rdi,%rdx,4)
movss  0x4(%rax,%rbp,4),%xmm0
add    $0x1,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rdi,%rcx,4)
movss  0x4(%rax,%rbp,4),%xmm0
add    $0x1,%edx
movslq %edx,%rcx
movss  %xmm0,(%rdi,%rcx,4)
add    $0x2,%rbp
cmp    %rbp,%r13
jne    1760 <drawRect+0x660>
jmp    1560 <drawRect+0x460>

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

LLVM IR (-O2):
define void @drawRect(float* nocapture writeonly %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7, float* nocapture %8) {
%10 = icmp sgt i32 %4, 0
%11 = select i1 %10, i32 %4, i32 0
%12 = icmp slt i32 %6, %1
%13 = add nsw i32 %1, -1
%14 = select i1 %12, i32 %6, i32 %13
%15 = icmp sgt i32 %5, 0
%16 = select i1 %15, i32 %5, i32 0
%17 = icmp slt i32 %7, %2
%18 = add nsw i32 %2, -1
%19 = select i1 %17, i32 %7, i32 %18
%20 = mul i32 %3, %1
%21 = mul i32 %20, %16
%22 = mul i32 %20, %19
%23 = icmp sgt i32 %11, %14
br i1 %23, label %168, label %24
24: ; preds = %9
%25 = icmp sgt i32 %3, 0
%26 = zext i32 %3 to i64
%27 = add nsw i64 %26, -1
%28 = mul i32 %16, %1
%29 = add i32 %11, %28
%30 = mul i32 %29, %3
%31 = mul i32 %19, %1
%32 = add i32 %11, %31
%33 = mul i32 %32, %3
%34 = getelementptr float, float* %0, i64 %26
%35 = getelementptr float, float* %0, i64 %26
%36 = getelementptr float, float* %8, i64 %26
%37 = and i64 %26, 4294967292
%38 = add nsw i64 %37, -4
%39 = lshr exact i64 %38, 2
%40 = add nuw nsw i64 %39, 1
%41 = icmp ult i32 %3, 4
%42 = trunc i64 %27 to i32
%43 = icmp ugt i64 %27, 4294967295
%44 = trunc i64 %27 to i32
%45 = icmp ugt i64 %27, 4294967295
%46 = and i64 %26, 4294967292
%47 = and i64 %40, 1
%48 = icmp eq i64 %38, 0
%49 = and i64 %40, 9223372036854775806
%50 = icmp eq i64 %47, 0
%51 = icmp eq i64 %46, %26
%52 = and i64 %26, 1
%53 = icmp eq i64 %52, 0
%54 = sub nsw i64 0, %26
br label %55
55: ; preds = %24, %231
%56 = phi i32 [ 0, %24 ], [ %234, %231 ]
%57 = phi i32 [ %11, %24 ], [ %232, %231 ]
%58 = mul i32 %56, %3
%59 = add i32 %30, %58
%60 = sext i32 %59 to i64
%61 = getelementptr float, float* %0, i64 %60
%62 = getelementptr float, float* %34, i64 %60
%63 = add i32 %33, %58
%64 = sext i32 %63 to i64
%65 = getelementptr float, float* %0, i64 %64
%66 = getelementptr float, float* %35, i64 %64
%67 = mul i32 %56, %3
%68 = add i32 %30, %67
%69 = add i32 %33, %67
br i1 %25, label %70, label %231
70: ; preds = %55
%71 = mul nsw i32 %57, %3
br i1 %41, label %149, label %72
72: ; preds = %70
%73 = add i32 %68, %42
%74 = icmp slt i32 %73, %68
%75 = or i1 %74, %43
%76 = add i32 %69, %44
%77 = icmp slt i32 %76, %69
%78 = or i1 %77, %45
%79 = or i1 %75, %78
br i1 %79, label %149, label %80
80: ; preds = %72
%81 = icmp ult float* %61, %66
%82 = icmp ult float* %65, %62
%83 = and i1 %81, %82
%84 = icmp ult float* %61, %36
%85 = icmp ugt float* %62, %8
%86 = and i1 %84, %85
%87 = or i1 %83, %86
%88 = icmp ult float* %65, %36
%89 = icmp ugt float* %66, %8
%90 = and i1 %88, %89
%91 = or i1 %87, %90
br i1 %91, label %149, label %92
92: ; preds = %80
br i1 %48, label %130, label %93
93: ; preds = %92, %93
%94 = phi i64 [ %127, %93 ], [ 0, %92 ]
%95 = phi i64 [ %128, %93 ], [ 0, %92 ]
%96 = trunc i64 %94 to i32
%97 = getelementptr inbounds float, float* %8, i64 %94
%98 = bitcast float* %97 to <4 x float>*
%99 = load <4 x float>, <4 x float>* %98
%100 = add i32 %71, %96
%101 = add i32 %100, %21
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds float, float* %0, i64 %102
%104 = bitcast float* %103 to <4 x float>*
store <4 x float> %99, <4 x float>* %104
%105 = bitcast float* %97 to <4 x float>*
%106 = load <4 x float>, <4 x float>* %105
%107 = add i32 %100, %22
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds float, float* %0, i64 %108
%110 = bitcast float* %109 to <4 x float>*
store <4 x float> %106, <4 x float>* %110
%111 = or i64 %94, 4
%112 = trunc i64 %111 to i32
%113 = getelementptr inbounds float, float* %8, i64 %111
%114 = bitcast float* %113 to <4 x float>*
%115 = load <4 x float>, <4 x float>* %114
%116 = add i32 %71, %112
%117 = add i32 %116, %21
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds float, float* %0, i64 %118
%120 = bitcast float* %119 to <4 x float>*
store <4 x float> %115, <4 x float>* %120
%121 = bitcast float* %113 to <4 x float>*
%122 = load <4 x float>, <4 x float>* %121
%123 = add i32 %116, %22
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds float, float* %0, i64 %124
%126 = bitcast float* %125 to <4 x float>*
store <4 x float> %122, <4 x float>* %126
%127 = add nuw i64 %94, 8
%128 = add i64 %95, 2
%129 = icmp eq i64 %128, %49
br i1 %129, label %130, label %93
130: ; preds = %93, %92
%131 = phi i64 [ 0, %92 ], [ %127, %93 ]
br i1 %50, label %148, label %132
132: ; preds = %130
%133 = trunc i64 %131 to i32
%134 = getelementptr inbounds float, float* %8, i64 %131
%135 = bitcast float* %134 to <4 x float>*
%136 = load <4 x float>, <4 x float>* %135
%137 = add i32 %71, %133
%138 = add i32 %137, %21
%139 = sext i32 %138 to i64
%140 = getelementptr inbounds float, float* %0, i64 %139
%141 = bitcast float* %140 to <4 x float>*
store <4 x float> %136, <4 x float>* %141
%142 = bitcast float* %134 to <4 x float>*
%143 = load <4 x float>, <4 x float>* %142
%144 = add i32 %137, %22
%145 = sext i32 %144 to i64
%146 = getelementptr inbounds float, float* %0, i64 %145
%147 = bitcast float* %146 to <4 x float>*
store <4 x float> %143, <4 x float>* %147
br label %148
148: ; preds = %130, %132
br i1 %51, label %231, label %149
149: ; preds = %80, %72, %70, %148
%150 = phi i64 [ 0, %80 ], [ 0, %72 ], [ 0, %70 ], [ %46, %148 ]
%151 = xor i64 %150, -1
br i1 %53, label %165, label %152
152: ; preds = %149
%153 = getelementptr inbounds float, float* %8, i64 %150
%154 = load float, float* %153
%155 = trunc i64 %150 to i32
%156 = add i32 %71, %155
%157 = add i32 %156, %21
%158 = sext i32 %157 to i64
%159 = getelementptr inbounds float, float* %0, i64 %158
store float %154, float* %159
%160 = load float, float* %153
%161 = add i32 %156, %22
%162 = sext i32 %161 to i64
%163 = getelementptr inbounds float, float* %0, i64 %162
store float %160, float* %163
%164 = or i64 %150, 1
br label %165
165: ; preds = %152, %149
%166 = phi i64 [ %150, %149 ], [ %164, %152 ]
%167 = icmp eq i64 %151, %54
br i1 %167, label %231, label %204
168: ; preds = %231, %9
%169 = icmp sgt i32 %16, %19
br i1 %169, label %379, label %170
170: ; preds = %168
%171 = icmp sgt i32 %3, 0
%172 = mul nsw i32 %11, %3
%173 = mul nsw i32 %14, %3
%174 = zext i32 %3 to i64
%175 = add nsw i64 %174, -1
%176 = mul i32 %16, %1
%177 = add i32 %11, %176
%178 = mul i32 %177, %3
%179 = mul i32 %3, %1
%180 = add i32 %14, %176
%181 = mul i32 %180, %3
%182 = mul i32 %3, %1
%183 = getelementptr float, float* %0, i64 %174
%184 = getelementptr float, float* %0, i64 %174
%185 = getelementptr float, float* %8, i64 %174
%186 = and i64 %174, 4294967292
%187 = add nsw i64 %186, -4
%188 = lshr exact i64 %187, 2
%189 = add nuw nsw i64 %188, 1
%190 = icmp ult i32 %3, 4
%191 = trunc i64 %175 to i32
%192 = icmp ugt i64 %175, 4294967295
%193 = trunc i64 %175 to i32
%194 = icmp ugt i64 %175, 4294967295
%195 = and i64 %174, 4294967292
%196 = and i64 %189, 1
%197 = icmp eq i64 %187, 0
%198 = and i64 %189, 9223372036854775806
%199 = icmp eq i64 %196, 0
%200 = icmp eq i64 %195, %174
%201 = and i64 %174, 1
%202 = icmp eq i64 %201, 0
%203 = sub nsw i64 0, %174
br label %235
204: ; preds = %165, %204
%205 = phi i64 [ %229, %204 ], [ %166, %165 ]
%206 = getelementptr inbounds float, float* %8, i64 %205
%207 = load float, float* %206
%208 = trunc i64 %205 to i32
%209 = add i32 %71, %208
%210 = add i32 %209, %21
%211 = sext i32 %210 to i64
%212 = getelementptr inbounds float, float* %0, i64 %211
store float %207, float* %212
%213 = load float, float* %206
%214 = add i32 %209, %22
%215 = sext i32 %214 to i64
%216 = getelementptr inbounds float, float* %0, i64 %215
store float %213, float* %216
%217 = add nuw nsw i64 %205, 1
%218 = getelementptr inbounds float, float* %8, i64 %217
%219 = load float, float* %218
%220 = trunc i64 %217 to i32
%221 = add i32 %71, %220
%222 = add i32 %221, %21
%223 = sext i32 %222 to i64
%224 = getelementptr inbounds float, float* %0, i64 %223
store float %219, float* %224
%225 = load float, float* %218
%226 = add i32 %221, %22
%227 = sext i32 %226 to i64
%228 = getelementptr inbounds float, float* %0, i64 %227
store float %225, float* %228
%229 = add nuw nsw i64 %205, 2
%230 = icmp eq i64 %229, %26
br i1 %230, label %231, label %204
231: ; preds = %165, %204, %148, %55
%232 = add nuw i32 %57, 1
%233 = icmp eq i32 %57, %14
%234 = add i32 %56, 1
br i1 %233, label %168, label %55
235: ; preds = %170, %375
%236 = phi i32 [ 0, %170 ], [ %378, %375 ]
%237 = phi i32 [ %16, %170 ], [ %376, %375 ]
%238 = mul i32 %182, %236
%239 = add i32 %178, %238
%240 = sext i32 %239 to i64
%241 = getelementptr float, float* %0, i64 %240
%242 = getelementptr float, float* %183, i64 %240
%243 = add i32 %181, %238
%244 = sext i32 %243 to i64
%245 = getelementptr float, float* %0, i64 %244
%246 = getelementptr float, float* %184, i64 %244
%247 = mul i32 %179, %236
%248 = add i32 %178, %247
%249 = add i32 %181, %247
%250 = mul i32 %20, %237
br i1 %171, label %251, label %375
251: ; preds = %235
br i1 %190, label %329, label %252
252: ; preds = %251
%253 = add i32 %248, %191
%254 = icmp slt i32 %253, %248
%255 = or i1 %254, %192
%256 = add i32 %249, %193
%257 = icmp slt i32 %256, %249
%258 = or i1 %257, %194
%259 = or i1 %255, %258
br i1 %259, label %329, label %260
260: ; preds = %252
%261 = icmp ult float* %241, %246
%262 = icmp ult float* %245, %242
%263 = and i1 %261, %262
%264 = icmp ult float* %241, %185
%265 = icmp ugt float* %242, %8
%266 = and i1 %264, %265
%267 = or i1 %263, %266
%268 = icmp ult float* %245, %185
%269 = icmp ugt float* %246, %8
%270 = and i1 %268, %269
%271 = or i1 %267, %270
br i1 %271, label %329, label %272
272: ; preds = %260
br i1 %197, label %310, label %273
273: ; preds = %272, %273
%274 = phi i64 [ %307, %273 ], [ 0, %272 ]
%275 = phi i64 [ %308, %273 ], [ 0, %272 ]
%276 = trunc i64 %274 to i32
%277 = getelementptr inbounds float, float* %8, i64 %274
%278 = bitcast float* %277 to <4 x float>*
%279 = load <4 x float>, <4 x float>* %278
%280 = add i32 %250, %276
%281 = add i32 %280, %172
%282 = sext i32 %281 to i64
%283 = getelementptr inbounds float, float* %0, i64 %282
%284 = bitcast float* %283 to <4 x float>*
store <4 x float> %279, <4 x float>* %284
%285 = bitcast float* %277 to <4 x float>*
%286 = load <4 x float>, <4 x float>* %285
%287 = add i32 %280, %173
%288 = sext i32 %287 to i64
%289 = getelementptr inbounds float, float* %0, i64 %288
%290 = bitcast float* %289 to <4 x float>*
store <4 x float> %286, <4 x float>* %290
%291 = or i64 %274, 4
%292 = trunc i64 %291 to i32
%293 = getelementptr inbounds float, float* %8, i64 %291
%294 = bitcast float* %293 to <4 x float>*
%295 = load <4 x float>, <4 x float>* %294
%296 = add i32 %250, %292
%297 = add i32 %296, %172
%298 = sext i32 %297 to i64
%299 = getelementptr inbounds float, float* %0, i64 %298
%300 = bitcast float* %299 to <4 x float>*
store <4 x float> %295, <4 x float>* %300
%301 = bitcast float* %293 to <4 x float>*
%302 = load <4 x float>, <4 x float>* %301
%303 = add i32 %296, %173
%304 = sext i32 %303 to i64
%305 = getelementptr inbounds float, float* %0, i64 %304
%306 = bitcast float* %305 to <4 x float>*
store <4 x float> %302, <4 x float>* %306
%307 = add nuw i64 %274, 8
%308 = add i64 %275, 2
%309 = icmp eq i64 %308, %198
br i1 %309, label %310, label %273
310: ; preds = %273, %272
%311 = phi i64 [ 0, %272 ], [ %307, %273 ]
br i1 %199, label %328, label %312
312: ; preds = %310
%313 = trunc i64 %311 to i32
%314 = getelementptr inbounds float, float* %8, i64 %311
%315 = bitcast float* %314 to <4 x float>*
%316 = load <4 x float>, <4 x float>* %315
%317 = add i32 %250, %313
%318 = add i32 %317, %172
%319 = sext i32 %318 to i64
%320 = getelementptr inbounds float, float* %0, i64 %319
%321 = bitcast float* %320 to <4 x float>*
store <4 x float> %316, <4 x float>* %321
%322 = bitcast float* %314 to <4 x float>*
%323 = load <4 x float>, <4 x float>* %322
%324 = add i32 %317, %173
%325 = sext i32 %324 to i64
%326 = getelementptr inbounds float, float* %0, i64 %325
%327 = bitcast float* %326 to <4 x float>*
store <4 x float> %323, <4 x float>* %327
br label %328
328: ; preds = %310, %312
br i1 %200, label %375, label %329
329: ; preds = %260, %252, %251, %328
%330 = phi i64 [ 0, %260 ], [ 0, %252 ], [ 0, %251 ], [ %195, %328 ]
%331 = xor i64 %330, -1
br i1 %202, label %345, label %332
332: ; preds = %329
%333 = getelementptr inbounds float, float* %8, i64 %330
%334 = load float, float* %333
%335 = trunc i64 %330 to i32
%336 = add i32 %250, %335
%337 = add i32 %336, %172
%338 = sext i32 %337 to i64
%339 = getelementptr inbounds float, float* %0, i64 %338
store float %334, float* %339
%340 = load float, float* %333
%341 = add i32 %336, %173
%342 = sext i32 %341 to i64
%343 = getelementptr inbounds float, float* %0, i64 %342
store float %340, float* %343
%344 = or i64 %330, 1
br label %345
345: ; preds = %332, %329
%346 = phi i64 [ %330, %329 ], [ %344, %332 ]
%347 = icmp eq i64 %331, %203
br i1 %347, label %375, label %348
348: ; preds = %345, %348
%349 = phi i64 [ %373, %348 ], [ %346, %345 ]
%350 = getelementptr inbounds float, float* %8, i64 %349
%351 = load float, float* %350
%352 = trunc i64 %349 to i32
%353 = add i32 %250, %352
%354 = add i32 %353, %172
%355 = sext i32 %354 to i64
%356 = getelementptr inbounds float, float* %0, i64 %355
store float %351, float* %356
%357 = load float, float* %350
%358 = add i32 %353, %173
%359 = sext i32 %358 to i64
%360 = getelementptr inbounds float, float* %0, i64 %359
store float %357, float* %360
%361 = add nuw nsw i64 %349, 1
%362 = getelementptr inbounds float, float* %8, i64 %361
%363 = load float, float* %362
%364 = trunc i64 %361 to i32
%365 = add i32 %250, %364
%366 = add i32 %365, %172
%367 = sext i32 %366 to i64
%368 = getelementptr inbounds float, float* %0, i64 %367
store float %363, float* %368
%369 = load float, float* %362
%370 = add i32 %365, %173
%371 = sext i32 %370 to i64
%372 = getelementptr inbounds float, float* %0, i64 %371
store float %369, float* %372
%373 = add nuw nsw i64 %349, 2
%374 = icmp eq i64 %373, %174
br i1 %374, label %375, label %348
375: ; preds = %345, %348, %328, %235
%376 = add nuw i32 %237, 1
%377 = icmp eq i32 %237, %19
%378 = add i32 %236, 1
br i1 %377, label %379, label %235
379: ; preds = %375, %168
ret void
}