#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 */

/* Variables and functions */
int /*<<< orphan*/ PutPixel(int, int, unsigned short);
void Glib_Line(int x1, int y1, int x2, int y2, unsigned short color) {
  int dx, dy, e;
  dx = x2 - x1;
  dy = y2 - y1;
  if (dx >= 0) {
    if (dy >= 0) {
      if (dx >= dy) {
        e = dy - dx / 2;
        while (x1 <= x2) {
          PutPixel(x1, y1, color);
          if (e > 0) {
            y1 += 1;
            e -= dx;
          }
          x1 += 1;
          e += dy;
        }
      } else {
        e = dx - dy / 2;
        while (y1 <= y2) {
          PutPixel(x1, y1, color);
          if (e > 0) {
            x1 += 1;
            e -= dy;
          }
          y1 += 1;
          e += dx;
        }
      }
    } else {
      dy = -dy;
      if (dx >= dy) {
        e = dy - dx / 2;
        while (x1 <= x2) {
          PutPixel(x1, y1, color);
          if (e > 0) {
            y1 -= 1;
            e -= dx;
          }
          x1 += 1;
          e += dy;
        }
      } else {
        e = dx - dy / 2;
        while (y1 >= y2) {
          PutPixel(x1, y1, color);
          if (e > 0) {
            x1 += 1;
            e -= dy;
          }
          y1 -= 1;
          e += dx;
        }
      }
    }
  } else {
    dx = -dx;
    if (dy >= 0) {
      if (dx >= dy) {
        e = dy - dx / 2;
        while (x1 >= x2) {
          PutPixel(x1, y1, color);
          if (e > 0) {
            y1 += 1;
            e -= dx;
          }
          x1 -= 1;
          e += dy;
        }
      } else {
        e = dx - dy / 2;
        while (y1 <= y2) {
          PutPixel(x1, y1, color);
          if (e > 0) {
            x1 -= 1;
            e -= dy;
          }
          y1 += 1;
          e += dx;
        }
      }
    } else {
      dy = -dy;
      if (dx >= dy) {
        e = dy - dx / 2;
        while (x1 >= x2) {
          PutPixel(x1, y1, color);
          if (e > 0) {
            y1 -= 1;
            e -= dx;
          }
          x1 -= 1;
          e += dy;
        }
      } else {
        e = dx - dy / 2;
        while (y1 >= y2) {
          PutPixel(x1, y1, color);
          if (e > 0) {
            x1 -= 1;
            e -= dy;
          }
          y1 -= 1;
          e += dx;
        }
      }
    }
  }
}


x86 assembly (clang, -O0):
<Glib_Line>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %r8w,%ax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
mov    %ax,-0x12(%rbp)
mov    -0xc(%rbp),%eax
sub    -0x4(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%eax
sub    -0x8(%rbp),%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x18(%rbp)
jl     1341 <Glib_Line+0x231>
cmpl   $0x0,-0x1c(%rbp)
jl     1243 <Glib_Line+0x133>
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jl     11ce <Glib_Line+0xbe>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x24(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x4(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     11c9 <Glib_Line+0xb9>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
movzwl -0x12(%rbp),%edx
call   1030 <PutPixel@plt>
cmpl   $0x0,-0x20(%rbp)
jle    11b2 <Glib_Line+0xa2>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
mov    -0x18(%rbp),%ecx
mov    -0x20(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
mov    -0x1c(%rbp),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    1179 <Glib_Line+0x69>
jmp    123e <Glib_Line+0x12e>
mov    -0x18(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x1c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x28(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x10(%rbp),%eax
jg     1239 <Glib_Line+0x129>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
movzwl -0x12(%rbp),%edx
call   1030 <PutPixel@plt>
cmpl   $0x0,-0x20(%rbp)
jle    1222 <Glib_Line+0x112>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
mov    -0x1c(%rbp),%ecx
mov    -0x20(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
mov    -0x18(%rbp),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    11e9 <Glib_Line+0xd9>
jmp    123e <Glib_Line+0x12e>
jmp    133c <Glib_Line+0x22c>
xor    %eax,%eax
sub    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jl     12c7 <Glib_Line+0x1b7>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x18(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x2c(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x4(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     12c2 <Glib_Line+0x1b2>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
movzwl -0x12(%rbp),%edx
call   1030 <PutPixel@plt>
cmpl   $0x0,-0x20(%rbp)
jle    12ab <Glib_Line+0x19b>
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x8(%rbp)
mov    -0x18(%rbp),%ecx
mov    -0x20(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
mov    -0x1c(%rbp),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    1272 <Glib_Line+0x162>
jmp    1337 <Glib_Line+0x227>
mov    -0x18(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x1c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x30(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x10(%rbp),%eax
jl     1332 <Glib_Line+0x222>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
movzwl -0x12(%rbp),%edx
call   1030 <PutPixel@plt>
cmpl   $0x0,-0x20(%rbp)
jle    131b <Glib_Line+0x20b>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
mov    -0x1c(%rbp),%ecx
mov    -0x20(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x8(%rbp)
mov    -0x18(%rbp),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    12e2 <Glib_Line+0x1d2>
jmp    1337 <Glib_Line+0x227>
jmp    133c <Glib_Line+0x22c>
jmp    1542 <Glib_Line+0x432>
xor    %eax,%eax
sub    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jl     1444 <Glib_Line+0x334>
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jl     13cf <Glib_Line+0x2bf>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x18(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x34(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x4(%rbp),%eax
cmp    -0xc(%rbp),%eax
jl     13ca <Glib_Line+0x2ba>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
movzwl -0x12(%rbp),%edx
call   1030 <PutPixel@plt>
cmpl   $0x0,-0x20(%rbp)
jle    13b3 <Glib_Line+0x2a3>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
mov    -0x18(%rbp),%ecx
mov    -0x20(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x4(%rbp)
mov    -0x1c(%rbp),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    137a <Glib_Line+0x26a>
jmp    143f <Glib_Line+0x32f>
mov    -0x18(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x1c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x38(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x10(%rbp),%eax
jg     143a <Glib_Line+0x32a>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
movzwl -0x12(%rbp),%edx
call   1030 <PutPixel@plt>
cmpl   $0x0,-0x20(%rbp)
jle    1423 <Glib_Line+0x313>
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x4(%rbp)
mov    -0x1c(%rbp),%ecx
mov    -0x20(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
mov    -0x18(%rbp),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    13ea <Glib_Line+0x2da>
jmp    143f <Glib_Line+0x32f>
jmp    153d <Glib_Line+0x42d>
xor    %eax,%eax
sub    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jl     14c8 <Glib_Line+0x3b8>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x18(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x3c(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x4(%rbp),%eax
cmp    -0xc(%rbp),%eax
jl     14c3 <Glib_Line+0x3b3>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
movzwl -0x12(%rbp),%edx
call   1030 <PutPixel@plt>
cmpl   $0x0,-0x20(%rbp)
jle    14ac <Glib_Line+0x39c>
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x8(%rbp)
mov    -0x18(%rbp),%ecx
mov    -0x20(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x4(%rbp)
mov    -0x1c(%rbp),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    1473 <Glib_Line+0x363>
jmp    1538 <Glib_Line+0x428>
mov    -0x18(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x1c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x40(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x10(%rbp),%eax
jl     1533 <Glib_Line+0x423>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
movzwl -0x12(%rbp),%edx
call   1030 <PutPixel@plt>
cmpl   $0x0,-0x20(%rbp)
jle    151c <Glib_Line+0x40c>
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x4(%rbp)
mov    -0x1c(%rbp),%ecx
mov    -0x20(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x8(%rbp)
mov    -0x18(%rbp),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    14e3 <Glib_Line+0x3d3>
jmp    1538 <Glib_Line+0x428>
jmp    153d <Glib_Line+0x42d>
jmp    1542 <Glib_Line+0x432>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Glib_Line>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %esi,%ebx
mov    %edi,%r14d
mov    %ecx,%r13d
sub    %esi,%r13d
mov    %edx,%r15d
sub    %edi,%r15d
mov    %ecx,(%rsp)
js     119d <Glib_Line+0x8d>
test   %r13d,%r13d
js     1218 <Glib_Line+0x108>
cmp    %r13d,%r15d
jae    1276 <Glib_Line+0x166>
cmp    %ebx,%ecx
jl     1434 <Glib_Line+0x324>
mov    %r13d,%eax
shr    %eax
mov    %r15d,%ebp
sub    %eax,%ebp
add    $0x1,%ecx
movzwl %r8w,%eax
mov    %eax,(%rsp)
nop
mov    %r14d,%edi
mov    %ebx,%esi
mov    (%rsp),%edx
mov    %r15d,%r12d
mov    %ecx,%r15d
call   1030 <PutPixel@plt>
xor    %eax,%eax
test   %ebp,%ebp
setg   %al
mov    $0x0,%ecx
cmovg  %r13d,%ecx
add    %eax,%r14d
sub    %ecx,%ebp
mov    %r15d,%ecx
mov    %r12d,%r15d
add    $0x1,%ebx
add    %r12d,%ebp
cmp    %ebx,%ecx
jne    1160 <Glib_Line+0x50>
jmp    1434 <Glib_Line+0x324>
test   %r13d,%r13d
mov    %edx,0x4(%rsp)
js     12d8 <Glib_Line+0x1c8>
mov    %r15d,%eax
neg    %eax
cmp    %eax,%r13d
jbe    1336 <Glib_Line+0x226>
cmp    %ebx,%ecx
jl     1434 <Glib_Line+0x324>
mov    %r13d,%ebp
shr    %ebp
add    %r15d,%ebp
neg    %ebp
add    $0x1,%ecx
movzwl %r8w,%eax
mov    %eax,(%rsp)
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %r14d,%edi
mov    %ebx,%esi
mov    (%rsp),%edx
mov    %ecx,%r12d
call   1030 <PutPixel@plt>
xor    %eax,%eax
test   %ebp,%ebp
setg   %al
mov    $0x0,%ecx
cmovg  %r13d,%ecx
sub    %eax,%r14d
add    $0x1,%ebx
add    %r15d,%ecx
sub    %ecx,%ebp
mov    %r12d,%ecx
cmp    %ebx,%r12d
jne    11e0 <Glib_Line+0xd0>
jmp    1434 <Glib_Line+0x324>
mov    %r13d,%eax
neg    %eax
cmp    %eax,%r15d
jae    1389 <Glib_Line+0x279>
cmp    %ebx,%ecx
jg     1434 <Glib_Line+0x324>
shr    %eax
mov    %r15d,%ebp
sub    %eax,%ebp
movzwl %r8w,%r12d
nopl   0x0(%rax)
mov    %r14d,%edi
mov    %ebx,%esi
mov    %r12d,%edx
call   1030 <PutPixel@plt>
xor    %eax,%eax
test   %ebp,%ebp
setg   %al
mov    $0x0,%ecx
cmovg  %r13d,%ecx
add    %eax,%r14d
add    %ebp,%ecx
lea    -0x1(%rbx),%eax
add    %r15d,%ecx
mov    %ecx,%ebp
cmp    (%rsp),%ebx
mov    %eax,%ebx
jg     1240 <Glib_Line+0x130>
jmp    1434 <Glib_Line+0x324>
cmp    %r14d,%edx
jl     1434 <Glib_Line+0x324>
mov    %r15d,%eax
shr    %eax
mov    %r13d,%ebp
sub    %eax,%ebp
add    $0x1,%edx
movzwl %r8w,%eax
mov    %eax,(%rsp)
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %r14d,%edi
mov    %ebx,%esi
mov    %edx,%r12d
mov    (%rsp),%edx
call   1030 <PutPixel@plt>
mov    %r12d,%edx
xor    %eax,%eax
test   %ebp,%ebp
setg   %al
mov    $0x0,%ecx
cmovg  %r15d,%ecx
add    %eax,%ebx
sub    %ecx,%ebp
add    $0x1,%r14d
add    %r13d,%ebp
cmp    %r14d,%r12d
jne    12a0 <Glib_Line+0x190>
jmp    1434 <Glib_Line+0x324>
cmp    %r15d,%r13d
jae    13e5 <Glib_Line+0x2d5>
cmp    %ebx,%ecx
jg     1434 <Glib_Line+0x324>
mov    %r13d,%ebp
neg    %ebp
shr    %ebp
add    %r15d,%ebp
neg    %ebp
movzwl %r8w,%r12d
nopl   0x0(%rax)
mov    %r14d,%edi
mov    %ebx,%esi
mov    %r12d,%edx
call   1030 <PutPixel@plt>
xor    %eax,%eax
test   %ebp,%ebp
setg   %al
mov    $0x0,%ecx
cmovg  %r13d,%ecx
sub    %eax,%r14d
add    %ebp,%ecx
lea    -0x1(%rbx),%eax
sub    %r15d,%ecx
mov    %ecx,%ebp
cmp    (%rsp),%ebx
mov    %eax,%ebx
jg     1300 <Glib_Line+0x1f0>
jmp    1434 <Glib_Line+0x324>
cmp    %r14d,%edx
jg     1434 <Glib_Line+0x324>
shr    %eax
mov    %r13d,%ebp
sub    %eax,%ebp
movzwl %r8w,%r12d
nopw   0x0(%rax,%rax,1)
mov    %r14d,%edi
mov    %ebx,%esi
mov    %r12d,%edx
call   1030 <PutPixel@plt>
xor    %eax,%eax
test   %ebp,%ebp
setg   %al
mov    $0x0,%ecx
cmovg  %r15d,%ecx
add    %eax,%ebx
add    %ebp,%ecx
lea    -0x1(%r14),%eax
add    %r13d,%ecx
mov    %ecx,%ebp
cmp    0x4(%rsp),%r14d
mov    %eax,%r14d
jg     1350 <Glib_Line+0x240>
jmp    1434 <Glib_Line+0x324>
cmp    %r14d,%edx
jl     1434 <Glib_Line+0x324>
mov    %r15d,%r12d
shr    %r12d
add    %r13d,%r12d
neg    %r12d
add    $0x1,%edx
movzwl %r8w,%eax
mov    %eax,(%rsp)
nopl   0x0(%rax,%rax,1)
mov    %r14d,%edi
mov    %ebx,%esi
mov    %edx,%ebp
mov    (%rsp),%edx
call   1030 <PutPixel@plt>
mov    %ebp,%edx
xor    %eax,%eax
test   %r12d,%r12d
setg   %al
mov    $0x0,%ecx
cmovg  %r15d,%ecx
sub    %eax,%ebx
add    $0x1,%r14d
add    %r13d,%ecx
sub    %ecx,%r12d
cmp    %r14d,%ebp
jne    13b0 <Glib_Line+0x2a0>
jmp    1434 <Glib_Line+0x324>
cmp    %r14d,%edx
jg     1434 <Glib_Line+0x324>
mov    %r15d,%ebp
neg    %ebp
shr    %ebp
add    %r13d,%ebp
neg    %ebp
movzwl %r8w,%r12d
nopw   0x0(%rax,%rax,1)
mov    %r14d,%edi
mov    %ebx,%esi
mov    %r12d,%edx
call   1030 <PutPixel@plt>
xor    %eax,%eax
test   %ebp,%ebp
setg   %al
mov    $0x0,%ecx
cmovg  %r15d,%ecx
sub    %eax,%ebx
add    %ebp,%ecx
lea    -0x1(%r14),%eax
sub    %r13d,%ecx
mov    %ecx,%ebp
cmp    0x4(%rsp),%r14d
mov    %eax,%r14d
jg     1400 <Glib_Line+0x2f0>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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