int fillPolygon(int polyCorners, int *polyX, int *polyY, unsigned char *mask,
                int width, int height) {
  int Nfilled = 0;
  int nodes, nodeX[1024], pixelX, pixelY, i, j, swap;
  for (pixelY = 0; pixelY < height; pixelY++) {
    nodes = 0;
    j = polyCorners - 1;
    for (i = 0; i < polyCorners; i++) {
      if (((polyY[i] < (double)pixelY) && (polyY[j] >= (double)pixelY)) ||
          ((polyY[j] < (double)pixelY) && (polyY[i] >= (double)pixelY))) {
        nodeX[nodes++] = (int)(polyX[i] + (pixelY - polyY[i]) /
                                              ((double)(polyY[j] - polyY[i])) *
                                              (polyX[j] - polyX[i]));
      }
      j = i;
    }
    i = 0;
    while (i < nodes - 1) {
      if (nodeX[i] > nodeX[i + 1]) {
        swap = nodeX[i];
        nodeX[i] = nodeX[i + 1];
        nodeX[i + 1] = swap;
        if (i)
          i--;
      } else {
        i++;
      }
    }
    for (i = 0; i < nodes; i += 2) {
      if (nodeX[i] >= width)
        break;
      if (nodeX[i + 1] > 0) {
        if (nodeX[i] < 0)
          nodeX[i] = 0;
        if (nodeX[i + 1] > width)
          nodeX[i + 1] = width;
        for (pixelX = nodeX[i]; pixelX < nodeX[i + 1]; pixelX++) {
          mask[pixelX + width * pixelY] = 1;
          Nfilled++;
        }
      }
    }
  }
  return Nfilled;
}


x86 assembly (clang, -O0):
<fillPolygon>:
push   %rbp
mov    %rsp,%rbp
sub    $0xfd0,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    %r9d,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x1038(%rbp)
mov    -0x1038(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    14b1 <fillPolygon+0x3b1>
movl   $0x0,-0x30(%rbp)
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x1040(%rbp)
movl   $0x0,-0x103c(%rbp)
mov    -0x103c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    12a2 <fillPolygon+0x1a2>
mov    -0x18(%rbp),%rax
movslq -0x103c(%rbp),%rcx
cvtsi2sdl (%rax,%rcx,4),%xmm1
cvtsi2sdl -0x1038(%rbp),%xmm0
ff
ucomisd %xmm1,%xmm0
jbe    11b2 <fillPolygon+0xb2>
mov    -0x18(%rbp),%rax
movslq -0x1040(%rbp),%rcx
cvtsi2sdl (%rax,%rcx,4),%xmm0
cvtsi2sdl -0x1038(%rbp),%xmm1
ff
ucomisd %xmm1,%xmm0
jae    11f6 <fillPolygon+0xf6>
mov    -0x18(%rbp),%rax
movslq -0x1040(%rbp),%rcx
cvtsi2sdl (%rax,%rcx,4),%xmm1
cvtsi2sdl -0x1038(%rbp),%xmm0
ff
ucomisd %xmm1,%xmm0
jbe    1282 <fillPolygon+0x182>
mov    -0x18(%rbp),%rax
movslq -0x103c(%rbp),%rcx
cvtsi2sdl (%rax,%rcx,4),%xmm0
cvtsi2sdl -0x1038(%rbp),%xmm1
ff
ucomisd %xmm1,%xmm0
jb     1282 <fillPolygon+0x182>
mov    -0x10(%rbp),%rax
movslq -0x103c(%rbp),%rcx
cvtsi2sdl (%rax,%rcx,4),%xmm1
mov    -0x1038(%rbp),%eax
mov    -0x18(%rbp),%rcx
movslq -0x103c(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
cvtsi2sd %eax,%xmm0
mov    -0x18(%rbp),%rax
movslq -0x1040(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x103c(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
cvtsi2sd %eax,%xmm2
divsd  %xmm2,%xmm0
mov    -0x10(%rbp),%rax
movslq -0x1040(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x103c(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
cvtsi2sd %eax,%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
cvttsd2si %xmm0,%ecx
mov    -0x30(%rbp),%eax
mov    %eax,%edx
add    $0x1,%edx
mov    %edx,-0x30(%rbp)
cltq
mov    %ecx,-0x1030(%rbp,%rax,4)
mov    -0x103c(%rbp),%eax
mov    %eax,-0x1040(%rbp)
mov    -0x103c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x103c(%rbp)
jmp    115f <fillPolygon+0x5f>
movl   $0x0,-0x103c(%rbp)
mov    -0x103c(%rbp),%eax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1368 <fillPolygon+0x268>
movslq -0x103c(%rbp),%rax
mov    -0x1030(%rbp,%rax,4),%eax
mov    -0x103c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
cmp    -0x1030(%rbp,%rcx,4),%eax
jle    1354 <fillPolygon+0x254>
movslq -0x103c(%rbp),%rax
mov    -0x1030(%rbp,%rax,4),%eax
mov    %eax,-0x1044(%rbp)
mov    -0x103c(%rbp),%eax
add    $0x1,%eax
cltq
mov    -0x1030(%rbp,%rax,4),%ecx
movslq -0x103c(%rbp),%rax
mov    %ecx,-0x1030(%rbp,%rax,4)
mov    -0x1044(%rbp),%ecx
mov    -0x103c(%rbp),%eax
add    $0x1,%eax
cltq
mov    %ecx,-0x1030(%rbp,%rax,4)
cmpl   $0x0,-0x103c(%rbp)
je     134f <fillPolygon+0x24f>
mov    -0x103c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x103c(%rbp)
jmp    1363 <fillPolygon+0x263>
mov    -0x103c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x103c(%rbp)
jmp    12ac <fillPolygon+0x1ac>
movl   $0x0,-0x103c(%rbp)
mov    -0x103c(%rbp),%eax
cmp    -0x30(%rbp),%eax
jge    1498 <fillPolygon+0x398>
movslq -0x103c(%rbp),%rax
mov    -0x1030(%rbp,%rax,4),%eax
cmp    -0x24(%rbp),%eax
jl     139d <fillPolygon+0x29d>
jmp    1498 <fillPolygon+0x398>
mov    -0x103c(%rbp),%eax
add    $0x1,%eax
cltq
cmpl   $0x0,-0x1030(%rbp,%rax,4)
jle    147f <fillPolygon+0x37f>
movslq -0x103c(%rbp),%rax
cmpl   $0x0,-0x1030(%rbp,%rax,4)
jge    13dd <fillPolygon+0x2dd>
movslq -0x103c(%rbp),%rax
movl   $0x0,-0x1030(%rbp,%rax,4)
mov    -0x103c(%rbp),%eax
add    $0x1,%eax
cltq
mov    -0x1030(%rbp,%rax,4),%eax
cmp    -0x24(%rbp),%eax
jle    140d <fillPolygon+0x30d>
mov    -0x24(%rbp),%ecx
mov    -0x103c(%rbp),%eax
add    $0x1,%eax
cltq
mov    %ecx,-0x1030(%rbp,%rax,4)
movslq -0x103c(%rbp),%rax
mov    -0x1030(%rbp,%rax,4),%eax
mov    %eax,-0x1034(%rbp)
mov    -0x1034(%rbp),%eax
mov    -0x103c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
cmp    -0x1030(%rbp,%rcx,4),%eax
jge    147a <fillPolygon+0x37a>
mov    -0x20(%rbp),%rax
mov    -0x1034(%rbp),%ecx
mov    -0x24(%rbp),%edx
imul   -0x1038(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
movb   $0x1,(%rax,%rcx,1)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x1034(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1034(%rbp)
jmp    1421 <fillPolygon+0x321>
jmp    147f <fillPolygon+0x37f>
jmp    1484 <fillPolygon+0x384>
mov    -0x103c(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x103c(%rbp)
jmp    1372 <fillPolygon+0x272>
jmp    149d <fillPolygon+0x39d>
mov    -0x1038(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1038(%rbp)
jmp    1133 <fillPolygon+0x33>
mov    -0x2c(%rbp),%eax
add    $0xfd0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<fillPolygon>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x1048,%rsp
mov    %rcx,0x30(%rsp)
mov    %r9d,0x8(%rsp)
test   %r9d,%r9d
jle    130f <fillPolygon+0x1ff>
lea    -0x1(%rdi),%eax
mov    %eax,0x4(%rsp)
mov    %edi,%r15d
xor    %r12d,%r12d
xor    %eax,%eax
xor    %r13d,%r13d
mov    %rdx,0x28(%rsp)
mov    %rsi,0x20(%rsp)
mov    %rdi,0x18(%rsp)
mov    %r15,0x10(%rsp)
jmp    118e <fillPolygon+0x7e>
nopl   0x0(%rax)
mov    0xc(%rsp),%r13d
add    $0x1,%r13d
cmp    0x8(%rsp),%r13d
mov    0x28(%rsp),%rdx
mov    0x20(%rsp),%rsi
mov    0x18(%rsp),%rdi
mov    0x10(%rsp),%r15
mov    $0x0,%r12d
je     1311 <fillPolygon+0x201>
test   %edi,%edi
mov    %r13d,0xc(%rsp)
jle    1160 <fillPolygon+0x50>
mov    %r13d,%ecx
imul   %r8d,%ecx
mov    %rcx,0x38(%rsp)
mov    %r13d,%r9d
xor    %ecx,%ecx
mov    0x4(%rsp),%ebx
xor    %r14d,%r14d
jmp    1218 <fillPolygon+0x108>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    (%rsi,%rcx,4),%r10d
xorps  %xmm0,%xmm0
cvtsi2sd %r10d,%xmm0
mov    %r13d,%ebx
sub    %ebp,%ebx
xorps  %xmm1,%xmm1
cvtsi2sd %ebx,%xmm1
sub    %ebp,%edi
xorps  %xmm2,%xmm2
cvtsi2sd %edi,%xmm2
divsd  %xmm2,%xmm1
mov    (%rsi,%r11,4),%edi
sub    %r10d,%edi
xorps  %xmm2,%xmm2
cvtsi2sd %edi,%xmm2
mulsd  %xmm1,%xmm2
addsd  %xmm0,%xmm2
cvttsd2si %xmm2,%ebp
movslq %r14d,%rdi
add    $0x1,%r14d
mov    %ebp,0x40(%rsp,%rdi,4)
mov    %ecx,%ebx
lea    0x1(%rcx),%rdi
mov    %rdi,%rcx
cmp    %rdi,%r15
je     1240 <fillPolygon+0x130>
movslq (%rdx,%rcx,4),%rbp
movslq %ebx,%r11
movslq (%rdx,%r11,4),%rdi
cmp    %r9,%rbp
jge    122d <fillPolygon+0x11d>
cmp    %r9,%rdi
jge    11c0 <fillPolygon+0xb0>
cmp    %r9,%rdi
jge    120a <fillPolygon+0xfa>
cmp    %r9,%rbp
jge    11c0 <fillPolygon+0xb0>
jmp    120a <fillPolygon+0xfa>
nopl   0x0(%rax)
cmp    $0x2,%r14d
jl     1280 <fillPolygon+0x170>
lea    -0x1(%r14),%ebp
xor    %ecx,%ecx
jmp    1267 <fillPolygon+0x157>
xchg   %ax,%ax
mov    %edi,0x40(%rsp,%rdx,4)
add    $0x1,%rdx
mov    %esi,0x40(%rsp,%rdx,4)
sub    $0x1,%ecx
cmovb  %r12d,%ecx
cmp    %ebp,%ecx
jge    1280 <fillPolygon+0x170>
movslq %ecx,%rdx
mov    0x40(%rsp,%rdx,4),%esi
mov    0x44(%rsp,%rdx,4),%edi
cmp    %edi,%esi
jg     1250 <fillPolygon+0x140>
add    $0x1,%ecx
jmp    1263 <fillPolygon+0x153>
nopl   0x0(%rax,%rax,1)
test   %r14d,%r14d
jle    1160 <fillPolygon+0x50>
xor    %r12d,%r12d
jmp    129d <fillPolygon+0x18d>
xchg   %ax,%ax
add    $0x2,%r12
cmp    %r12d,%r14d
jle    1160 <fillPolygon+0x50>
mov    0x40(%rsp,%r12,4),%r13d
cmp    %r8d,%r13d
jge    1160 <fillPolygon+0x50>
mov    0x44(%rsp,%r12,4),%r15d
test   %r15d,%r15d
jle    1290 <fillPolygon+0x180>
test   %r13d,%r13d
jns    12c6 <fillPolygon+0x1b6>
movl   $0x0,0x40(%rsp,%r12,4)
xor    %r13d,%r13d
cmp    %r8d,%r15d
cmovg  %r8d,%r15d
mov    %r15d,0x44(%rsp,%r12,4)
cmp    %r15d,%r13d
jge    1290 <fillPolygon+0x180>
mov    0x38(%rsp),%rcx
add    %r13d,%ecx
movslq %ecx,%rdi
add    0x30(%rsp),%rdi
mov    %r13d,%edx
not    %edx
add    %r15d,%edx
add    $0x1,%rdx
mov    $0x1,%esi
mov    %r8d,%ebx
mov    %eax,%ebp
call   1030 <memset@plt>
mov    %ebp,%eax
mov    %ebx,%r8d
add    %r15d,%eax
sub    %r13d,%eax
jmp    1290 <fillPolygon+0x180>
xor    %eax,%eax
add    $0x1048,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @fillPolygon(i32 %0, i32* nocapture %1, i32* nocapture %2, i8* nocapture writeonly %3, i32 %4, i32 %5) {
%7 = alloca [1024 x i32]
%8 = bitcast [1024 x i32]* %7 to i8*
%9 = icmp sgt i32 %5, 0
br i1 %9, label %10, label %121
10: ; preds = %6
%11 = add nsw i32 %0, -1
%12 = icmp sgt i32 %0, 0
%13 = zext i32 %0 to i64
br label %14
14: ; preds = %10, %117
%15 = phi i32 [ 0, %10 ], [ %118, %117 ]
%16 = phi i32 [ 0, %10 ], [ %119, %117 ]
%17 = mul i32 %16, %4
br i1 %12, label %18, label %117
18: ; preds = %14
%19 = zext i32 %16 to i64
br label %23
20: ; preds = %59
%21 = add nsw i32 %60, -1
%22 = icmp sgt i32 %60, 1
br i1 %22, label %66, label %64
23: ; preds = %18, %59
%24 = phi i64 [ 0, %18 ], [ %61, %59 ]
%25 = phi i32 [ %11, %18 ], [ %62, %59 ]
%26 = phi i32 [ 0, %18 ], [ %60, %59 ]
%27 = getelementptr inbounds i32, i32* %2, i64 %24
%28 = load i32, i32* %27
%29 = sext i32 %28 to i64
%30 = icmp sge i64 %29, %19
%31 = sext i32 %25 to i64
%32 = getelementptr inbounds i32, i32* %2, i64 %31
%33 = load i32, i32* %32
%34 = sext i32 %33 to i64
%35 = icmp slt i64 %34, %19
%36 = select i1 %30, i1 true, i1 %35
br i1 %36, label %37, label %41
37: ; preds = %23
%38 = icmp sge i64 %34, %19
%39 = icmp slt i64 %29, %19
%40 = select i1 %38, i1 true, i1 %39
br i1 %40, label %59, label %41
41: ; preds = %23, %37
%42 = getelementptr inbounds i32, i32* %1, i64 %24
%43 = load i32, i32* %42
%44 = sitofp i32 %43 to double
%45 = sub nsw i32 %16, %28
%46 = sitofp i32 %45 to double
%47 = sub nsw i32 %33, %28
%48 = sitofp i32 %47 to double
%49 = fdiv double %46, %48
%50 = getelementptr inbounds i32, i32* %1, i64 %31
%51 = load i32, i32* %50
%52 = sub nsw i32 %51, %43
%53 = sitofp i32 %52 to double
%54 = tail call double @llvm.fmuladd.f64(double %49, double %53, double %44)
%55 = fptosi double %54 to i32
%56 = add nsw i32 %26, 1
%57 = sext i32 %26 to i64
%58 = getelementptr inbounds [1024 x i32], [1024 x i32]* %7, i64 0, i64 %57
store i32 %55, i32* %58
br label %59
59: ; preds = %41, %37
%60 = phi i32 [ %56, %41 ], [ %26, %37 ]
%61 = add nuw nsw i64 %24, 1
%62 = trunc i64 %24 to i32
%63 = icmp eq i64 %61, %13
br i1 %63, label %20, label %23
64: ; preds = %80, %20
%65 = icmp sgt i32 %60, 0
br i1 %65, label %83, label %117
66: ; preds = %20, %80
%67 = phi i32 [ %81, %80 ], [ 0, %20 ]
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds [1024 x i32], [1024 x i32]* %7, i64 0, i64 %68
%70 = load i32, i32* %69
%71 = add nsw i32 %67, 1
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds [1024 x i32], [1024 x i32]* %7, i64 0, i64 %72
%74 = load i32, i32* %73
%75 = icmp sgt i32 %70, %74
br i1 %75, label %76, label %80
76: ; preds = %66
store i32 %74, i32* %69
store i32 %70, i32* %73
%77 = icmp eq i32 %67, 0
%78 = add nsw i32 %67, -1
%79 = select i1 %77, i32 0, i32 %78
br label %80
80: ; preds = %76, %66
%81 = phi i32 [ %79, %76 ], [ %71, %66 ]
%82 = icmp slt i32 %81, %21
br i1 %82, label %66, label %64
83: ; preds = %64, %112
%84 = phi i64 [ %114, %112 ], [ 0, %64 ]
%85 = phi i32 [ %113, %112 ], [ %15, %64 ]
%86 = getelementptr inbounds [1024 x i32], [1024 x i32]* %7, i64 0, i64 %84
%87 = load i32, i32* %86
%88 = icmp slt i32 %87, %4
br i1 %88, label %89, label %117
89: ; preds = %83
%90 = or i64 %84, 1
%91 = getelementptr inbounds [1024 x i32], [1024 x i32]* %7, i64 0, i64 %90
%92 = load i32, i32* %91
%93 = icmp sgt i32 %92, 0
br i1 %93, label %94, label %112
94: ; preds = %89
%95 = icmp slt i32 %87, 0
br i1 %95, label %96, label %97
96: ; preds = %94
store i32 0, i32* %86
br label %97
97: ; preds = %96, %94
%98 = phi i32 [ 0, %96 ], [ %87, %94 ]
%99 = icmp sgt i32 %92, %4
%100 = select i1 %99, i32 %4, i32 %92
store i32 %100, i32* %91
%101 = icmp slt i32 %98, %100
br i1 %101, label %102, label %112
102: ; preds = %97
%103 = add i32 %17, %98
%104 = sext i32 %103 to i64
%105 = getelementptr i8, i8* %3, i64 %104
%106 = xor i32 %98, -1
%107 = add i32 %100, %106
%108 = zext i32 %107 to i64
%109 = add nuw nsw i64 %108, 1
%110 = add i32 %85, %100
%111 = sub i32 %110, %98
br label %112
112: ; preds = %102, %97, %89
%113 = phi i32 [ %85, %89 ], [ %85, %97 ], [ %111, %102 ]
%114 = add nuw i64 %84, 2
%115 = trunc i64 %114 to i32
%116 = icmp sgt i32 %60, %115
br i1 %116, label %83, label %117
117: ; preds = %83, %112, %14, %64
%118 = phi i32 [ %15, %64 ], [ %15, %14 ], [ %113, %112 ], [ %85, %83 ]
%119 = add nuw nsw i32 %16, 1
%120 = icmp eq i32 %119, %5
br i1 %120, label %121, label %14
121: ; preds = %117, %6
%122 = phi i32 [ 0, %6 ], [ %118, %117 ]
ret i32 %122
}