void DrawDigit(int x, int y, int d) {
  switch (d) {
  case 0:
    WritePixel(x, y, 0xFF3F00);
    WritePixel(x + 1, y, 0xFF3F00);
    WritePixel(x + 2, y, 0xFF3F00);
    WritePixel(x, y + 1, 0xFF3F00);
    WritePixel(x + 2, y + 1, 0xFF3F00);
    WritePixel(x, y + 2, 0xFF3F00);
    WritePixel(x + 2, y + 2, 0xFF3F00);
    WritePixel(x, y + 3, 0xFF3F00);
    WritePixel(x + 2, y + 3, 0xFF3F00);
    WritePixel(x, y + 4, 0xFF3F00);
    WritePixel(x + 1, y + 4, 0xFF3F00);
    WritePixel(x + 2, y + 4, 0xFF3F00);
    break;
  case 1:
    WritePixel(x + 2, y, 0xFF3F00);
    WritePixel(x + 1, y + 1, 0xFF3F00);
    WritePixel(x + 2, y + 1, 0xFF3F00);
    WritePixel(x + 2, y + 2, 0xFF3F00);
    WritePixel(x + 2, y + 3, 0xFF3F00);
    WritePixel(x + 2, y + 4, 0xFF3F00);
    break;
  case 2:
    WritePixel(x, y, 0xFF3F00);
    WritePixel(x + 1, y, 0xFF3F00);
    WritePixel(x + 2, y, 0xFF3F00);
    WritePixel(x + 2, y + 1, 0xFF3F00);
    WritePixel(x, y + 2, 0xFF3F00);
    WritePixel(x + 1, y + 2, 0xFF3F00);
    WritePixel(x + 2, y + 2, 0xFF3F00);
    WritePixel(x, y + 3, 0xFF3F00);
    WritePixel(x, y + 4, 0xFF3F00);
    WritePixel(x + 1, y + 4, 0xFF3F00);
    WritePixel(x + 2, y + 4, 0xFF3F00);
    break;
  case 3:
    WritePixel(x, y, 0xFF3F00);
    WritePixel(x + 1, y, 0xFF3F00);
    WritePixel(x + 2, y, 0xFF3F00);
    WritePixel(x + 2, y + 1, 0xFF3F00);
    WritePixel(x, y + 2, 0xFF3F00);
    WritePixel(x + 1, y + 2, 0xFF3F00);
    WritePixel(x + 2, y + 2, 0xFF3F00);
    WritePixel(x + 2, y + 3, 0xFF3F00);
    WritePixel(x, y + 4, 0xFF3F00);
    WritePixel(x + 1, y + 4, 0xFF3F00);
    WritePixel(x + 2, y + 4, 0xFF3F00);
    break;
  case 4:
    WritePixel(x, y, 0xFF3F00);
    WritePixel(x + 2, y, 0xFF3F00);
    WritePixel(x, y + 1, 0xFF3F00);
    WritePixel(x + 2, y + 1, 0xFF3F00);
    WritePixel(x, y + 2, 0xFF3F00);
    WritePixel(x + 1, y + 2, 0xFF3F00);
    WritePixel(x + 2, y + 2, 0xFF3F00);
    WritePixel(x + 2, y + 3, 0xFF3F00);
    WritePixel(x + 2, y + 4, 0xFF3F00);
    break;
  case 5:
    WritePixel(x, y, 0xFF3F00);
    WritePixel(x + 1, y, 0xFF3F00);
    WritePixel(x + 2, y, 0xFF3F00);
    WritePixel(x, y + 1, 0xFF3F00);
    WritePixel(x, y + 2, 0xFF3F00);
    WritePixel(x + 1, y + 2, 0xFF3F00);
    WritePixel(x + 2, y + 2, 0xFF3F00);
    WritePixel(x + 2, y + 3, 0xFF3F00);
    WritePixel(x, y + 4, 0xFF3F00);
    WritePixel(x + 1, y + 4, 0xFF3F00);
    WritePixel(x + 2, y + 4, 0xFF3F00);
    break;
  case 6:
    WritePixel(x, y, 0xFF3F00);
    WritePixel(x + 1, y, 0xFF3F00);
    WritePixel(x + 2, y, 0xFF3F00);
    WritePixel(x, y + 1, 0xFF3F00);
    WritePixel(x, y + 2, 0xFF3F00);
    WritePixel(x + 1, y + 2, 0xFF3F00);
    WritePixel(x + 2, y + 2, 0xFF3F00);
    WritePixel(x, y + 3, 0xFF3F00);
    WritePixel(x + 2, y + 3, 0xFF3F00);
    WritePixel(x, y + 4, 0xFF3F00);
    WritePixel(x + 1, y + 4, 0xFF3F00);
    WritePixel(x + 2, y + 4, 0xFF3F00);
    break;
  case 7:
    WritePixel(x, y, 0xFF3F00);
    WritePixel(x + 1, y, 0xFF3F00);
    WritePixel(x + 2, y, 0xFF3F00);
    WritePixel(x + 2, y + 1, 0xFF3F00);
    WritePixel(x + 2, y + 2, 0xFF3F00);
    WritePixel(x + 2, y + 3, 0xFF3F00);
    WritePixel(x + 2, y + 4, 0xFF3F00);
    break;
  case 8:
    WritePixel(x, y, 0xFF3F00);
    WritePixel(x + 1, y, 0xFF3F00);
    WritePixel(x + 2, y, 0xFF3F00);
    WritePixel(x, y + 1, 0xFF3F00);
    WritePixel(x + 2, y + 1, 0xFF3F00);
    WritePixel(x, y + 2, 0xFF3F00);
    WritePixel(x + 1, y + 2, 0xFF3F00);
    WritePixel(x + 2, y + 2, 0xFF3F00);
    WritePixel(x, y + 3, 0xFF3F00);
    WritePixel(x + 2, y + 3, 0xFF3F00);
    WritePixel(x, y + 4, 0xFF3F00);
    WritePixel(x + 1, y + 4, 0xFF3F00);
    WritePixel(x + 2, y + 4, 0xFF3F00);
    break;
  case 9:
    WritePixel(x, y, 0xFF3F00);
    WritePixel(x + 1, y, 0xFF3F00);
    WritePixel(x + 2, y, 0xFF3F00);
    WritePixel(x, y + 1, 0xFF3F00);
    WritePixel(x + 2, y + 1, 0xFF3F00);
    WritePixel(x, y + 2, 0xFF3F00);
    WritePixel(x + 1, y + 2, 0xFF3F00);
    WritePixel(x + 2, y + 2, 0xFF3F00);
    WritePixel(x + 2, y + 3, 0xFF3F00);
    WritePixel(x, y + 4, 0xFF3F00);
    WritePixel(x + 1, y + 4, 0xFF3F00);
    WritePixel(x + 2, y + 4, 0xFF3F00);
    break;
  }
}


x86 assembly (clang, -O0):
<DrawDigit>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    %rax,-0x18(%rbp)
sub    $0x9,%rax
ja     1a7c <DrawDigit+0x96c>
mov    -0x18(%rbp),%rax
lea    0xec3(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x1,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x1,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x3,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x3,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
jmp    1a7c <DrawDigit+0x96c>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
add    $0x1,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x1,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x3,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
jmp    1a7c <DrawDigit+0x96c>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x1,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x3,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
jmp    1a7c <DrawDigit+0x96c>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x1,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x3,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
jmp    1a7c <DrawDigit+0x96c>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x1,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x1,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x3,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
jmp    1a7c <DrawDigit+0x96c>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x1,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x3,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
jmp    1a7c <DrawDigit+0x96c>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x1,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x3,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x3,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
jmp    1a7c <DrawDigit+0x96c>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x1,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x3,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
jmp    1a7c <DrawDigit+0x96c>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x1,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x1,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x3,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x3,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
jmp    1a7c <DrawDigit+0x96c>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x1,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x1,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x2,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x3,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x1,%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
mov    -0x4(%rbp),%edi
add    $0x2,%edi
mov    -0x8(%rbp),%esi
add    $0x4,%esi
mov    $0xff3f00,%edx
mov    $0x0,%al
call   1030 <WritePixel@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<DrawDigit>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
cmp    $0x9,%edx
ja     11a3 <DrawDigit+0x93>
mov    %esi,%ebx
mov    %edi,%r14d
mov    %edx,%eax
lea    0xed1(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    %r14d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x1(%r14),%r15d
mov    %r15d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x2(%r14),%r12d
mov    %r12d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x1(%rbx),%ebp
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
mov    %r12d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x2(%rbx),%ebp
mov    %r14d,%edi
jmp    1588 <DrawDigit+0x478>
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
lea    0x2(%r14),%r15d
mov    %r15d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
add    $0x1,%r14d
lea    0x1(%rbx),%ebp
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
mov    %r15d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x2(%rbx),%esi
mov    %r15d,%edi
jmp    1342 <DrawDigit+0x232>
mov    %r14d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x1(%r14),%r15d
mov    %r15d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x2(%r14),%r12d
mov    %r12d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x1(%rbx),%esi
mov    %r12d,%edi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x2(%rbx),%ebp
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
mov    %r15d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
mov    %r12d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x3(%rbx),%esi
mov    %r14d,%edi
jmp    15c0 <DrawDigit+0x4b0>
mov    %r14d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x1(%r14),%r15d
mov    %r15d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x2(%r14),%r12d
mov    %r12d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x1(%rbx),%esi
mov    %r12d,%edi
jmp    14c4 <DrawDigit+0x3b4>
mov    %r14d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x2(%r14),%r15d
mov    %r15d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x1(%rbx),%ebp
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
mov    %r15d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x2(%rbx),%ebp
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
add    $0x1,%r14d
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
mov    %r15d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x3(%rbx),%esi
mov    %r15d,%edi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
add    $0x4,%ebx
mov    %r15d,%edi
jmp    15f4 <DrawDigit+0x4e4>
mov    %r14d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x1(%r14),%r15d
mov    %r15d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x2(%r14),%r12d
mov    %r12d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x1(%rbx),%esi
mov    %r14d,%edi
jmp    14c4 <DrawDigit+0x3b4>
mov    %r14d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x1(%r14),%r15d
mov    %r15d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x2(%r14),%r12d
mov    %r12d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x1(%rbx),%esi
mov    %r14d,%edi
jmp    1565 <DrawDigit+0x455>
mov    %r14d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x1(%r14),%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
add    $0x2,%r14d
mov    %r14d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x1(%rbx),%esi
mov    %r14d,%edi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x2(%rbx),%esi
mov    %r14d,%edi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x3(%rbx),%esi
mov    %r14d,%edi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
add    $0x4,%ebx
mov    %r14d,%edi
jmp    15f4 <DrawDigit+0x4e4>
mov    %r14d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x1(%r14),%r15d
mov    %r15d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x2(%r14),%r12d
mov    %r12d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x1(%rbx),%ebp
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
mov    %r12d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x2(%rbx),%ebp
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
mov    %r15d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
mov    %r12d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x3(%rbx),%esi
mov    %r12d,%edi
jmp    15c0 <DrawDigit+0x4b0>
mov    %r14d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x1(%r14),%r15d
mov    %r15d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x2(%r14),%r12d
mov    %r12d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x1(%rbx),%ebp
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
mov    %r12d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x2(%rbx),%ebp
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
mov    %r15d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
mov    %r12d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
lea    0x3(%rbx),%ebp
mov    %r14d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
mov    %r12d,%edi
mov    %ebp,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
add    $0x4,%ebx
mov    %r14d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
mov    %r15d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
call   1030 <WritePixel@plt>
mov    %r12d,%edi
mov    %ebx,%esi
mov    $0xff3f00,%edx
xor    %eax,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <WritePixel@plt>

LLVM IR (-O0):
define void @DrawDigit(i32 %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
store i32 %0, i32* %4
store i32 %1, i32* %5
store i32 %2, i32* %6
%7 = load i32, i32* %6
switch i32 %7, label %477 [
i32 0, label %8
i32 1, label %61
i32 2, label %91
i32 3, label %140
i32 4, label %190
i32 5, label %231
i32 6, label %280
i32 7, label %333
i32 8, label %365
i32 9, label %423
]
8: ; preds = %3
%9 = load i32, i32* %4
%10 = load i32, i32* %5
%11 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %9, i32 %10, i32 16727808)
%12 = load i32, i32* %4
%13 = add nsw i32 %12, 1
%14 = load i32, i32* %5
%15 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %13, i32 %14, i32 16727808)
%16 = load i32, i32* %4
%17 = add nsw i32 %16, 2
%18 = load i32, i32* %5
%19 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %17, i32 %18, i32 16727808)
%20 = load i32, i32* %4
%21 = load i32, i32* %5
%22 = add nsw i32 %21, 1
%23 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %20, i32 %22, i32 16727808)
%24 = load i32, i32* %4
%25 = add nsw i32 %24, 2
%26 = load i32, i32* %5
%27 = add nsw i32 %26, 1
%28 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %25, i32 %27, i32 16727808)
%29 = load i32, i32* %4
%30 = load i32, i32* %5
%31 = add nsw i32 %30, 2
%32 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %29, i32 %31, i32 16727808)
%33 = load i32, i32* %4
%34 = add nsw i32 %33, 2
%35 = load i32, i32* %5
%36 = add nsw i32 %35, 2
%37 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %34, i32 %36, i32 16727808)
%38 = load i32, i32* %4
%39 = load i32, i32* %5
%40 = add nsw i32 %39, 3
%41 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %38, i32 %40, i32 16727808)
%42 = load i32, i32* %4
%43 = add nsw i32 %42, 2
%44 = load i32, i32* %5
%45 = add nsw i32 %44, 3
%46 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %43, i32 %45, i32 16727808)
%47 = load i32, i32* %4
%48 = load i32, i32* %5
%49 = add nsw i32 %48, 4
%50 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %47, i32 %49, i32 16727808)
%51 = load i32, i32* %4
%52 = add nsw i32 %51, 1
%53 = load i32, i32* %5
%54 = add nsw i32 %53, 4
%55 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %52, i32 %54, i32 16727808)
%56 = load i32, i32* %4
%57 = add nsw i32 %56, 2
%58 = load i32, i32* %5
%59 = add nsw i32 %58, 4
%60 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %57, i32 %59, i32 16727808)
br label %477
61: ; preds = %3
%62 = load i32, i32* %4
%63 = add nsw i32 %62, 2
%64 = load i32, i32* %5
%65 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %63, i32 %64, i32 16727808)
%66 = load i32, i32* %4
%67 = add nsw i32 %66, 1
%68 = load i32, i32* %5
%69 = add nsw i32 %68, 1
%70 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %67, i32 %69, i32 16727808)
%71 = load i32, i32* %4
%72 = add nsw i32 %71, 2
%73 = load i32, i32* %5
%74 = add nsw i32 %73, 1
%75 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %72, i32 %74, i32 16727808)
%76 = load i32, i32* %4
%77 = add nsw i32 %76, 2
%78 = load i32, i32* %5
%79 = add nsw i32 %78, 2
%80 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %77, i32 %79, i32 16727808)
%81 = load i32, i32* %4
%82 = add nsw i32 %81, 2
%83 = load i32, i32* %5
%84 = add nsw i32 %83, 3
%85 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %82, i32 %84, i32 16727808)
%86 = load i32, i32* %4
%87 = add nsw i32 %86, 2
%88 = load i32, i32* %5
%89 = add nsw i32 %88, 4
%90 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %87, i32 %89, i32 16727808)
br label %477
91: ; preds = %3
%92 = load i32, i32* %4
%93 = load i32, i32* %5
%94 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %92, i32 %93, i32 16727808)
%95 = load i32, i32* %4
%96 = add nsw i32 %95, 1
%97 = load i32, i32* %5
%98 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %96, i32 %97, i32 16727808)
%99 = load i32, i32* %4
%100 = add nsw i32 %99, 2
%101 = load i32, i32* %5
%102 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %100, i32 %101, i32 16727808)
%103 = load i32, i32* %4
%104 = add nsw i32 %103, 2
%105 = load i32, i32* %5
%106 = add nsw i32 %105, 1
%107 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %104, i32 %106, i32 16727808)
%108 = load i32, i32* %4
%109 = load i32, i32* %5
%110 = add nsw i32 %109, 2
%111 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %108, i32 %110, i32 16727808)
%112 = load i32, i32* %4
%113 = add nsw i32 %112, 1
%114 = load i32, i32* %5
%115 = add nsw i32 %114, 2
%116 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %113, i32 %115, i32 16727808)
%117 = load i32, i32* %4
%118 = add nsw i32 %117, 2
%119 = load i32, i32* %5
%120 = add nsw i32 %119, 2
%121 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %118, i32 %120, i32 16727808)
%122 = load i32, i32* %4
%123 = load i32, i32* %5
%124 = add nsw i32 %123, 3
%125 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %122, i32 %124, i32 16727808)
%126 = load i32, i32* %4
%127 = load i32, i32* %5
%128 = add nsw i32 %127, 4
%129 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %126, i32 %128, i32 16727808)
%130 = load i32, i32* %4
%131 = add nsw i32 %130, 1
%132 = load i32, i32* %5
%133 = add nsw i32 %132, 4
%134 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %131, i32 %133, i32 16727808)
%135 = load i32, i32* %4
%136 = add nsw i32 %135, 2
%137 = load i32, i32* %5
%138 = add nsw i32 %137, 4
%139 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %136, i32 %138, i32 16727808)
br label %477
140: ; preds = %3
%141 = load i32, i32* %4
%142 = load i32, i32* %5
%143 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %141, i32 %142, i32 16727808)
%144 = load i32, i32* %4
%145 = add nsw i32 %144, 1
%146 = load i32, i32* %5
%147 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %145, i32 %146, i32 16727808)
%148 = load i32, i32* %4
%149 = add nsw i32 %148, 2
%150 = load i32, i32* %5
%151 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %149, i32 %150, i32 16727808)
%152 = load i32, i32* %4
%153 = add nsw i32 %152, 2
%154 = load i32, i32* %5
%155 = add nsw i32 %154, 1
%156 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %153, i32 %155, i32 16727808)
%157 = load i32, i32* %4
%158 = load i32, i32* %5
%159 = add nsw i32 %158, 2
%160 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %157, i32 %159, i32 16727808)
%161 = load i32, i32* %4
%162 = add nsw i32 %161, 1
%163 = load i32, i32* %5
%164 = add nsw i32 %163, 2
%165 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %162, i32 %164, i32 16727808)
%166 = load i32, i32* %4
%167 = add nsw i32 %166, 2
%168 = load i32, i32* %5
%169 = add nsw i32 %168, 2
%170 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %167, i32 %169, i32 16727808)
%171 = load i32, i32* %4
%172 = add nsw i32 %171, 2
%173 = load i32, i32* %5
%174 = add nsw i32 %173, 3
%175 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %172, i32 %174, i32 16727808)
%176 = load i32, i32* %4
%177 = load i32, i32* %5
%178 = add nsw i32 %177, 4
%179 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %176, i32 %178, i32 16727808)
%180 = load i32, i32* %4
%181 = add nsw i32 %180, 1
%182 = load i32, i32* %5
%183 = add nsw i32 %182, 4
%184 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %181, i32 %183, i32 16727808)
%185 = load i32, i32* %4
%186 = add nsw i32 %185, 2
%187 = load i32, i32* %5
%188 = add nsw i32 %187, 4
%189 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %186, i32 %188, i32 16727808)
br label %477
190: ; preds = %3
%191 = load i32, i32* %4
%192 = load i32, i32* %5
%193 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %191, i32 %192, i32 16727808)
%194 = load i32, i32* %4
%195 = add nsw i32 %194, 2
%196 = load i32, i32* %5
%197 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %195, i32 %196, i32 16727808)
%198 = load i32, i32* %4
%199 = load i32, i32* %5
%200 = add nsw i32 %199, 1
%201 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %198, i32 %200, i32 16727808)
%202 = load i32, i32* %4
%203 = add nsw i32 %202, 2
%204 = load i32, i32* %5
%205 = add nsw i32 %204, 1
%206 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %203, i32 %205, i32 16727808)
%207 = load i32, i32* %4
%208 = load i32, i32* %5
%209 = add nsw i32 %208, 2
%210 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %207, i32 %209, i32 16727808)
%211 = load i32, i32* %4
%212 = add nsw i32 %211, 1
%213 = load i32, i32* %5
%214 = add nsw i32 %213, 2
%215 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %212, i32 %214, i32 16727808)
%216 = load i32, i32* %4
%217 = add nsw i32 %216, 2
%218 = load i32, i32* %5
%219 = add nsw i32 %218, 2
%220 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %217, i32 %219, i32 16727808)
%221 = load i32, i32* %4
%222 = add nsw i32 %221, 2
%223 = load i32, i32* %5
%224 = add nsw i32 %223, 3
%225 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %222, i32 %224, i32 16727808)
%226 = load i32, i32* %4
%227 = add nsw i32 %226, 2
%228 = load i32, i32* %5
%229 = add nsw i32 %228, 4
%230 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %227, i32 %229, i32 16727808)
br label %477
231: ; preds = %3
%232 = load i32, i32* %4
%233 = load i32, i32* %5
%234 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %232, i32 %233, i32 16727808)
%235 = load i32, i32* %4
%236 = add nsw i32 %235, 1
%237 = load i32, i32* %5
%238 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %236, i32 %237, i32 16727808)
%239 = load i32, i32* %4
%240 = add nsw i32 %239, 2
%241 = load i32, i32* %5
%242 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %240, i32 %241, i32 16727808)
%243 = load i32, i32* %4
%244 = load i32, i32* %5
%245 = add nsw i32 %244, 1
%246 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %243, i32 %245, i32 16727808)
%247 = load i32, i32* %4
%248 = load i32, i32* %5
%249 = add nsw i32 %248, 2
%250 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %247, i32 %249, i32 16727808)
%251 = load i32, i32* %4
%252 = add nsw i32 %251, 1
%253 = load i32, i32* %5
%254 = add nsw i32 %253, 2
%255 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %252, i32 %254, i32 16727808)
%256 = load i32, i32* %4
%257 = add nsw i32 %256, 2
%258 = load i32, i32* %5
%259 = add nsw i32 %258, 2
%260 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %257, i32 %259, i32 16727808)
%261 = load i32, i32* %4
%262 = add nsw i32 %261, 2
%263 = load i32, i32* %5
%264 = add nsw i32 %263, 3
%265 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %262, i32 %264, i32 16727808)
%266 = load i32, i32* %4
%267 = load i32, i32* %5
%268 = add nsw i32 %267, 4
%269 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %266, i32 %268, i32 16727808)
%270 = load i32, i32* %4
%271 = add nsw i32 %270, 1
%272 = load i32, i32* %5
%273 = add nsw i32 %272, 4
%274 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %271, i32 %273, i32 16727808)
%275 = load i32, i32* %4
%276 = add nsw i32 %275, 2
%277 = load i32, i32* %5
%278 = add nsw i32 %277, 4
%279 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %276, i32 %278, i32 16727808)
br label %477
280: ; preds = %3
%281 = load i32, i32* %4
%282 = load i32, i32* %5
%283 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %281, i32 %282, i32 16727808)
%284 = load i32, i32* %4
%285 = add nsw i32 %284, 1
%286 = load i32, i32* %5
%287 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %285, i32 %286, i32 16727808)
%288 = load i32, i32* %4
%289 = add nsw i32 %288, 2
%290 = load i32, i32* %5
%291 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %289, i32 %290, i32 16727808)
%292 = load i32, i32* %4
%293 = load i32, i32* %5
%294 = add nsw i32 %293, 1
%295 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %292, i32 %294, i32 16727808)
%296 = load i32, i32* %4
%297 = load i32, i32* %5
%298 = add nsw i32 %297, 2
%299 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %296, i32 %298, i32 16727808)
%300 = load i32, i32* %4
%301 = add nsw i32 %300, 1
%302 = load i32, i32* %5
%303 = add nsw i32 %302, 2
%304 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %301, i32 %303, i32 16727808)
%305 = load i32, i32* %4
%306 = add nsw i32 %305, 2
%307 = load i32, i32* %5
%308 = add nsw i32 %307, 2
%309 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %306, i32 %308, i32 16727808)
%310 = load i32, i32* %4
%311 = load i32, i32* %5
%312 = add nsw i32 %311, 3
%313 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %310, i32 %312, i32 16727808)
%314 = load i32, i32* %4
%315 = add nsw i32 %314, 2
%316 = load i32, i32* %5
%317 = add nsw i32 %316, 3
%318 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %315, i32 %317, i32 16727808)
%319 = load i32, i32* %4
%320 = load i32, i32* %5
%321 = add nsw i32 %320, 4
%322 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %319, i32 %321, i32 16727808)
%323 = load i32, i32* %4
%324 = add nsw i32 %323, 1
%325 = load i32, i32* %5
%326 = add nsw i32 %325, 4
%327 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %324, i32 %326, i32 16727808)
%328 = load i32, i32* %4
%329 = add nsw i32 %328, 2
%330 = load i32, i32* %5
%331 = add nsw i32 %330, 4
%332 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %329, i32 %331, i32 16727808)
br label %477
333: ; preds = %3
%334 = load i32, i32* %4
%335 = load i32, i32* %5
%336 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %334, i32 %335, i32 16727808)
%337 = load i32, i32* %4
%338 = add nsw i32 %337, 1
%339 = load i32, i32* %5
%340 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %338, i32 %339, i32 16727808)
%341 = load i32, i32* %4
%342 = add nsw i32 %341, 2
%343 = load i32, i32* %5
%344 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %342, i32 %343, i32 16727808)
%345 = load i32, i32* %4
%346 = add nsw i32 %345, 2
%347 = load i32, i32* %5
%348 = add nsw i32 %347, 1
%349 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %346, i32 %348, i32 16727808)
%350 = load i32, i32* %4
%351 = add nsw i32 %350, 2
%352 = load i32, i32* %5
%353 = add nsw i32 %352, 2
%354 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %351, i32 %353, i32 16727808)
%355 = load i32, i32* %4
%356 = add nsw i32 %355, 2
%357 = load i32, i32* %5
%358 = add nsw i32 %357, 3
%359 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %356, i32 %358, i32 16727808)
%360 = load i32, i32* %4
%361 = add nsw i32 %360, 2
%362 = load i32, i32* %5
%363 = add nsw i32 %362, 4
%364 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %361, i32 %363, i32 16727808)
br label %477
365: ; preds = %3
%366 = load i32, i32* %4
%367 = load i32, i32* %5
%368 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %366, i32 %367, i32 16727808)
%369 = load i32, i32* %4
%370 = add nsw i32 %369, 1
%371 = load i32, i32* %5
%372 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %370, i32 %371, i32 16727808)
%373 = load i32, i32* %4
%374 = add nsw i32 %373, 2
%375 = load i32, i32* %5
%376 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %374, i32 %375, i32 16727808)
%377 = load i32, i32* %4
%378 = load i32, i32* %5
%379 = add nsw i32 %378, 1
%380 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %377, i32 %379, i32 16727808)
%381 = load i32, i32* %4
%382 = add nsw i32 %381, 2
%383 = load i32, i32* %5
%384 = add nsw i32 %383, 1
%385 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %382, i32 %384, i32 16727808)
%386 = load i32, i32* %4
%387 = load i32, i32* %5
%388 = add nsw i32 %387, 2
%389 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %386, i32 %388, i32 16727808)
%390 = load i32, i32* %4
%391 = add nsw i32 %390, 1
%392 = load i32, i32* %5
%393 = add nsw i32 %392, 2
%394 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %391, i32 %393, i32 16727808)
%395 = load i32, i32* %4
%396 = add nsw i32 %395, 2
%397 = load i32, i32* %5
%398 = add nsw i32 %397, 2
%399 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %396, i32 %398, i32 16727808)
%400 = load i32, i32* %4
%401 = load i32, i32* %5
%402 = add nsw i32 %401, 3
%403 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %400, i32 %402, i32 16727808)
%404 = load i32, i32* %4
%405 = add nsw i32 %404, 2
%406 = load i32, i32* %5
%407 = add nsw i32 %406, 3
%408 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %405, i32 %407, i32 16727808)
%409 = load i32, i32* %4
%410 = load i32, i32* %5
%411 = add nsw i32 %410, 4
%412 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %409, i32 %411, i32 16727808)
%413 = load i32, i32* %4
%414 = add nsw i32 %413, 1
%415 = load i32, i32* %5
%416 = add nsw i32 %415, 4
%417 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %414, i32 %416, i32 16727808)
%418 = load i32, i32* %4
%419 = add nsw i32 %418, 2
%420 = load i32, i32* %5
%421 = add nsw i32 %420, 4
%422 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %419, i32 %421, i32 16727808)
br label %477
423: ; preds = %3
%424 = load i32, i32* %4
%425 = load i32, i32* %5
%426 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %424, i32 %425, i32 16727808)
%427 = load i32, i32* %4
%428 = add nsw i32 %427, 1
%429 = load i32, i32* %5
%430 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %428, i32 %429, i32 16727808)
%431 = load i32, i32* %4
%432 = add nsw i32 %431, 2
%433 = load i32, i32* %5
%434 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %432, i32 %433, i32 16727808)
%435 = load i32, i32* %4
%436 = load i32, i32* %5
%437 = add nsw i32 %436, 1
%438 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %435, i32 %437, i32 16727808)
%439 = load i32, i32* %4
%440 = add nsw i32 %439, 2
%441 = load i32, i32* %5
%442 = add nsw i32 %441, 1
%443 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %440, i32 %442, i32 16727808)
%444 = load i32, i32* %4
%445 = load i32, i32* %5
%446 = add nsw i32 %445, 2
%447 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %444, i32 %446, i32 16727808)
%448 = load i32, i32* %4
%449 = add nsw i32 %448, 1
%450 = load i32, i32* %5
%451 = add nsw i32 %450, 2
%452 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %449, i32 %451, i32 16727808)
%453 = load i32, i32* %4
%454 = add nsw i32 %453, 2
%455 = load i32, i32* %5
%456 = add nsw i32 %455, 2
%457 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %454, i32 %456, i32 16727808)
%458 = load i32, i32* %4
%459 = add nsw i32 %458, 2
%460 = load i32, i32* %5
%461 = add nsw i32 %460, 3
%462 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %459, i32 %461, i32 16727808)
%463 = load i32, i32* %4
%464 = load i32, i32* %5
%465 = add nsw i32 %464, 4
%466 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %463, i32 %465, i32 16727808)
%467 = load i32, i32* %4
%468 = add nsw i32 %467, 1
%469 = load i32, i32* %5
%470 = add nsw i32 %469, 4
%471 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %468, i32 %470, i32 16727808)
%472 = load i32, i32* %4
%473 = add nsw i32 %472, 2
%474 = load i32, i32* %5
%475 = add nsw i32 %474, 4
%476 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @WritePixel to i32 (i32, i32, i32, ...)*)(i32 %473, i32 %475, i32 16727808)
br label %477
477: ; preds = %3, %423, %365, %333, %280, %231, %190, %140, %91, %61, %8
ret void
}

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