void COM_RasterizeLine32(int p1x, int p1y, int p2x, int p2y, int color,
                         int destWidth, int destHeight, int *dest) {
  int F, x, y, t;
  int size = destWidth * destHeight;
  if (p1x > p2x) {
    t = p1x, p1x = p2x, p2x = t;
    t = p1y, p1y = p2y, p2y = t;
  }
  if (p1x == p2x) {
    if (p1y > p2y) {
      t = p1y, p1y = p2y, p2y = t;
    }
    x = p1x;
    y = p1y;
    while (y <= p2y) {
      dest[((int)(x + y * destWidth)) % size] = color;
      ;
      y++;
    }
    return;
  } else if (p1y == p2y) {
    x = p1x;
    y = p1y;
    while (x <= p2x) {
      dest[((int)(x + y * destWidth)) % size] = color;
      ;
      x++;
    }
    return;
  }
  int dy = p2y - p1y;
  int dx = p2x - p1x;
  int dy2 = (dy << 1);
  int dx2 = (dx << 1);
  int dy2_minus_dx2 = dy2 - dx2;
  int dy2_plus_dx2 = dy2 + dx2;
  if (dy >= 0) {
    if (dy <= dx) {
      F = dy2 - dx;
      x = p1x;
      y = p1y;
      while (x <= p2x) {
        dest[((int)(x + y * destWidth)) % size] = color;
        ;
        if (F <= 0) {
          F += dy2;
        } else {
          y++;
          F += dy2_minus_dx2;
        }
        x++;
      }
    } else {
      F = dx2 - dy;
      y = p1y;
      x = p1x;
      while (y <= p2y) {
        dest[((int)(x + y * destWidth)) % size] = color;
        ;
        if (F <= 0) {
          F += dx2;
        } else {
          x++;
          F -= dy2_minus_dx2;
        }
        y++;
      }
    }
  } else {
    if (dx >= -dy) {
      F = -dy2 - dx;
      x = p1x;
      y = p1y;
      while (x <= p2x) {
        dest[((int)(x + y * destWidth)) % size] = color;
        ;
        if (F <= 0) {
          F -= dy2;
        } else {
          y--;
          F -= dy2_plus_dx2;
        }
        x++;
      }
    } else {
      F = dx2 + dy;
      y = p1y;
      x = p1x;
      while (y >= p2y) {
        dest[((int)(x + y * destWidth)) % size] = color;
        ;
        if (F <= 0) {
          F += dx2;
        } else {
          x++;
          F += dy2_plus_dx2;
        }
        y--;
      }
    }
  }
}


x86 assembly (clang, -O0):
<COM_RasterizeLine32>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%eax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
mov    %r8d,-0x14(%rbp)
mov    %r9d,-0x18(%rbp)
mov    -0x18(%rbp),%eax
imul   0x10(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x4(%rbp),%eax
cmp    -0xc(%rbp),%eax
jle    115d <COM_RasterizeLine32+0x5d>
mov    -0x4(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x8(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x4(%rbp),%eax
cmp    -0xc(%rbp),%eax
jne    11df <COM_RasterizeLine32+0xdf>
mov    -0x8(%rbp),%eax
cmp    -0x10(%rbp),%eax
jle    1187 <COM_RasterizeLine32+0x87>
mov    -0x8(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x8(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x4(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x10(%rbp),%eax
jg     11da <COM_RasterizeLine32+0xda>
mov    -0x14(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    0x18(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x20(%rbp),%eax
mov    -0x24(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    %ecx,%eax
cltd
idivl  -0x2c(%rbp)
mov    -0x50(%rbp),%rax
mov    %edx,%ecx
mov    -0x48(%rbp),%edx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1193 <COM_RasterizeLine32+0x93>
jmp    14fa <COM_RasterizeLine32+0x3fa>
mov    -0x8(%rbp),%eax
cmp    -0x10(%rbp),%eax
jne    1243 <COM_RasterizeLine32+0x143>
mov    -0x4(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     123e <COM_RasterizeLine32+0x13e>
mov    -0x14(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    0x18(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x20(%rbp),%eax
mov    -0x24(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    %ecx,%eax
cltd
idivl  -0x2c(%rbp)
mov    -0x60(%rbp),%rax
mov    %edx,%ecx
mov    -0x54(%rbp),%edx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11f7 <COM_RasterizeLine32+0xf7>
jmp    14fa <COM_RasterizeLine32+0x3fa>
jmp    1248 <COM_RasterizeLine32+0x148>
mov    -0x10(%rbp),%eax
sub    -0x8(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0xc(%rbp),%eax
sub    -0x4(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x38(%rbp)
mov    -0x34(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x38(%rbp),%eax
sub    -0x3c(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x38(%rbp),%eax
add    -0x3c(%rbp),%eax
mov    %eax,-0x44(%rbp)
cmpl   $0x0,-0x30(%rbp)
jl     13b1 <COM_RasterizeLine32+0x2b1>
mov    -0x30(%rbp),%eax
cmp    -0x34(%rbp),%eax
jg     131f <COM_RasterizeLine32+0x21f>
mov    -0x38(%rbp),%eax
sub    -0x34(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x4(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     131a <COM_RasterizeLine32+0x21a>
mov    -0x14(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    0x18(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x20(%rbp),%eax
mov    -0x24(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    %ecx,%eax
cltd
idivl  -0x2c(%rbp)
mov    -0x70(%rbp),%rax
mov    %edx,%ecx
mov    -0x64(%rbp),%edx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
cmpl   $0x0,-0x1c(%rbp)
jg     12fa <COM_RasterizeLine32+0x1fa>
mov    -0x38(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    130c <COM_RasterizeLine32+0x20c>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x40(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    12a9 <COM_RasterizeLine32+0x1a9>
jmp    13ac <COM_RasterizeLine32+0x2ac>
mov    -0x3c(%rbp),%eax
sub    -0x30(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x4(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x10(%rbp),%eax
jg     13a7 <COM_RasterizeLine32+0x2a7>
mov    -0x14(%rbp),%eax
mov    %eax,-0x74(%rbp)
mov    0x18(%rbp),%rax
mov    %rax,-0x80(%rbp)
mov    -0x20(%rbp),%eax
mov    -0x24(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    %ecx,%eax
cltd
idivl  -0x2c(%rbp)
mov    -0x80(%rbp),%rax
mov    %edx,%ecx
mov    -0x74(%rbp),%edx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
cmpl   $0x0,-0x1c(%rbp)
jg     1385 <COM_RasterizeLine32+0x285>
mov    -0x3c(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    1399 <COM_RasterizeLine32+0x299>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x40(%rbp),%ecx
mov    -0x1c(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1334 <COM_RasterizeLine32+0x234>
jmp    13ac <COM_RasterizeLine32+0x2ac>
jmp    14fa <COM_RasterizeLine32+0x3fa>
mov    -0x34(%rbp),%eax
xor    %ecx,%ecx
sub    -0x30(%rbp),%ecx
cmp    %ecx,%eax
jl     145e <COM_RasterizeLine32+0x35e>
xor    %eax,%eax
sub    -0x38(%rbp),%eax
sub    -0x34(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x4(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     1459 <COM_RasterizeLine32+0x359>
mov    -0x14(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    0x18(%rbp),%rax
mov    %rax,-0x90(%rbp)
mov    -0x20(%rbp),%eax
mov    -0x24(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    %ecx,%eax
cltd
idivl  -0x2c(%rbp)
mov    -0x90(%rbp),%rax
mov    %edx,%ecx
mov    -0x84(%rbp),%edx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
cmpl   $0x0,-0x1c(%rbp)
jg     1437 <COM_RasterizeLine32+0x337>
mov    -0x38(%rbp),%ecx
mov    -0x1c(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x1c(%rbp)
jmp    144b <COM_RasterizeLine32+0x34b>
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
mov    -0x44(%rbp),%ecx
mov    -0x1c(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    13d8 <COM_RasterizeLine32+0x2d8>
jmp    14f5 <COM_RasterizeLine32+0x3f5>
mov    -0x3c(%rbp),%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x4(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x10(%rbp),%eax
jl     14f0 <COM_RasterizeLine32+0x3f0>
mov    -0x14(%rbp),%eax
mov    %eax,-0x94(%rbp)
mov    0x18(%rbp),%rax
mov    %rax,-0xa0(%rbp)
mov    -0x20(%rbp),%eax
mov    -0x24(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    %ecx,%eax
cltd
idivl  -0x2c(%rbp)
mov    -0xa0(%rbp),%rax
mov    %edx,%ecx
mov    -0x94(%rbp),%edx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
cmpl   $0x0,-0x1c(%rbp)
jg     14d0 <COM_RasterizeLine32+0x3d0>
mov    -0x3c(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    14e2 <COM_RasterizeLine32+0x3e2>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x44(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    1473 <COM_RasterizeLine32+0x373>
jmp    14f5 <COM_RasterizeLine32+0x3f5>
jmp    14fa <COM_RasterizeLine32+0x3fa>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<COM_RasterizeLine32>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %edx,%r10d
cmp    %edx,%edi
jle    1118 <COM_RasterizeLine32+0x18>
mov    %esi,%r11d
mov    %edi,%ebp
jmp    1123 <COM_RasterizeLine32+0x23>
mov    %ecx,%r11d
mov    %r10d,%ebp
mov    %esi,%ecx
mov    %edi,%r10d
mov    0x40(%rsp),%r13
mov    0x38(%rsp),%ebx
imul   %r9d,%ebx
mov    %ebp,%esi
sub    %r10d,%esi
jne    11ba <COM_RasterizeLine32+0xba>
cmp    %ecx,%r11d
mov    %r11d,%edi
cmovl  %ecx,%edi
cmovl  %r11d,%ecx
mov    %edi,%eax
sub    %ecx,%eax
add    $0x1,%eax
mov    %ecx,%esi
test   $0x1,%al
je     116b <COM_RasterizeLine32+0x6b>
mov    %ecx,%eax
imul   %r9d,%eax
add    %ebp,%eax
cltd
idiv   %ebx
movslq %edx,%rax
mov    %r8d,0x0(%r13,%rax,4)
lea    0x1(%rcx),%esi
cmp    %ecx,%edi
je     136f <COM_RasterizeLine32+0x26f>
sub    %esi,%edi
add    $0x1,%edi
lea    0x1(%rsi),%ecx
imul   %r9d,%ecx
add    %ebp,%ecx
imul   %r9d,%esi
add    %r9d,%r9d
add    %ebp,%esi
nopw   0x0(%rax,%rax,1)
mov    %esi,%eax
cltd
idiv   %ebx
movslq %edx,%rax
mov    %r8d,0x0(%r13,%rax,4)
mov    %ecx,%eax
cltd
idiv   %ebx
movslq %edx,%rax
mov    %r8d,0x0(%r13,%rax,4)
add    %r9d,%ecx
add    %r9d,%esi
add    $0xfffffffe,%edi
jne    1190 <COM_RasterizeLine32+0x90>
jmp    136f <COM_RasterizeLine32+0x26f>
mov    %r11d,%edi
sub    %ecx,%edi
jne    122b <COM_RasterizeLine32+0x12b>
mov    %ebp,%ecx
sub    %r10d,%ecx
jl     136f <COM_RasterizeLine32+0x26f>
imul   %r9d,%r11d
add    $0x1,%ecx
mov    %r10d,%eax
test   $0x1,%cl
je     11ee <COM_RasterizeLine32+0xee>
lea    (%r10,%r11,1),%eax
cltd
idiv   %ebx
movslq %edx,%rax
mov    %r8d,0x0(%r13,%rax,4)
lea    0x1(%r10),%eax
cmp    %r10d,%ebp
je     136f <COM_RasterizeLine32+0x26f>
sub    %eax,%ebp
add    $0x1,%ebp
add    %eax,%r11d
nop
mov    %r11d,%eax
cltd
idiv   %ebx
movslq %edx,%rax
mov    %r8d,0x0(%r13,%rax,4)
lea    0x1(%r11),%eax
cltd
idiv   %ebx
movslq %edx,%rax
mov    %r8d,0x0(%r13,%rax,4)
add    $0x2,%r11d
add    $0xfffffffe,%ebp
jne    1200 <COM_RasterizeLine32+0x100>
jmp    136f <COM_RasterizeLine32+0x26f>
lea    (%rdi,%rdi,1),%r12d
lea    (%rsi,%rsi,1),%r14d
test   %edi,%edi
js     1293 <COM_RasterizeLine32+0x193>
mov    %r12d,%r15d
sub    %r14d,%r15d
cmp    %esi,%edi
jle    12f2 <COM_RasterizeLine32+0x1f2>
sub    %ecx,%r11d
jl     136f <COM_RasterizeLine32+0x26f>
mov    %r14d,%esi
sub    %edi,%esi
neg    %r15d
add    $0x1,%r11d
imul   %r9d,%ecx
xchg   %ax,%ax
lea    (%r10,%rcx,1),%eax
cltd
idiv   %ebx
movslq %edx,%rax
mov    %r8d,0x0(%r13,%rax,4)
xor    %eax,%eax
test   %esi,%esi
setg   %al
mov    %r15d,%edx
cmovle %r14d,%edx
add    %r10d,%eax
add    %edx,%esi
add    %r9d,%ecx
mov    %eax,%r10d
add    $0xffffffff,%r11d
jne    1260 <COM_RasterizeLine32+0x160>
jmp    136f <COM_RasterizeLine32+0x26f>
lea    (%r12,%rsi,2),%r15d
mov    %edi,%eax
neg    %eax
cmp    %eax,%esi
jge    1331 <COM_RasterizeLine32+0x231>
cmp    %ecx,%r11d
jg     136f <COM_RasterizeLine32+0x26f>
add    %r14d,%edi
lea    0x1(%rcx),%esi
imul   %r9d,%ecx
cs nopw 0x0(%rax,%rax,1)
lea    (%rcx,%r10,1),%eax
cltd
idiv   %ebx
movslq %edx,%rax
mov    %r8d,0x0(%r13,%rax,4)
xor    %eax,%eax
test   %edi,%edi
setg   %al
mov    %r15d,%edx
cmovle %r14d,%edx
add    %r10d,%eax
add    %edx,%edi
add    $0xffffffff,%esi
sub    %r9d,%ecx
mov    %eax,%r10d
cmp    %r11d,%esi
jg     12c0 <COM_RasterizeLine32+0x1c0>
jmp    136f <COM_RasterizeLine32+0x26f>
cmp    %r10d,%ebp
jl     136f <COM_RasterizeLine32+0x26f>
mov    %r12d,%edi
sub    %esi,%edi
add    $0x1,%ebp
nop
mov    %ecx,%eax
imul   %r9d,%eax
add    %r10d,%eax
cltd
idiv   %ebx
movslq %edx,%rax
mov    %r8d,0x0(%r13,%rax,4)
xor    %eax,%eax
test   %edi,%edi
setg   %al
mov    %r15d,%edx
cmovle %r12d,%edx
add    %eax,%ecx
add    %edx,%edi
add    $0x1,%r10d
cmp    %r10d,%ebp
jne    1300 <COM_RasterizeLine32+0x200>
jmp    136f <COM_RasterizeLine32+0x26f>
cmp    %r10d,%ebp
jl     136f <COM_RasterizeLine32+0x26f>
add    %r12d,%esi
neg    %esi
add    $0x1,%ebp
xchg   %ax,%ax
mov    %ecx,%eax
imul   %r9d,%eax
add    %r10d,%eax
cltd
idiv   %ebx
movslq %edx,%rax
mov    %r8d,0x0(%r13,%rax,4)
xor    %eax,%eax
test   %esi,%esi
setg   %al
mov    %r15d,%edx
cmovle %r12d,%edx
sub    %eax,%ecx
sub    %edx,%esi
add    $0x1,%r10d
cmp    %r10d,%ebp
jne    1340 <COM_RasterizeLine32+0x240>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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