#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*/ tft_fill(int, int, int, int, int);
void tft_fill_triangle(int color, int x0, int y0, int x1, int y1, int x2,
                       int y2) {
  int a, b, y, last;
  if (y0 > y1) {
    {
      int _t = y0;
      y0 = y1;
      y1 = _t;
    };
    {
      int _t = x0;
      x0 = x1;
      x1 = _t;
    };
  }
  if (y1 > y2) {
    {
      int _t = y2;
      y2 = y1;
      y1 = _t;
    };
    {
      int _t = x2;
      x2 = x1;
      x1 = _t;
    };
  }
  if (y0 > y1) {
    {
      int _t = y0;
      y0 = y1;
      y1 = _t;
    };
    {
      int _t = x0;
      x0 = x1;
      x1 = _t;
    };
  }
  if (y0 == y2) {
    a = b = x0;
    if (x1 < a)
      a = x1;
    else if (x1 > b)
      b = x1;
    if (x2 < a)
      a = x2;
    else if (x2 > b)
      b = x2;
    tft_fill(color, a, y0, b, y0);
    return;
  }
  int dx01 = x1 - x0;
  int dy01 = y1 - y0;
  int dx02 = x2 - x0;
  int dy02 = y2 - y0;
  int dx12 = x2 - x1;
  int dy12 = y2 - y1;
  int sa = 0;
  int sb = 0;
  if (y1 == y2)
    last = y1;
  else
    last = y1 - 1;
  for (y = y0; y <= last; y++) {
    a = x0 + sa / dy01;
    b = x0 + sb / dy02;
    sa += dx01;
    sb += dx02;
    if (a > b) {
      int _t = a;
      a = b;
      b = _t;
    };
    tft_fill(color, a, y, b, y);
  }
  sa = dx12 * (y - y1);
  sb = dx02 * (y - y0);
  for (; y <= y2; y++) {
    a = x1 + sa / dy12;
    b = x0 + sb / dy02;
    sa += dx12;
    sb += dx02;
    if (a > b) {
      int _t = a;
      a = b;
      b = _t;
    };
    tft_fill(color, a, y, b, y);
  }
}


x86 assembly (clang, -O0):
<tft_fill_triangle>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    0x10(%rbp),%eax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
mov    %r8d,-0x14(%rbp)
mov    %r9d,-0x18(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x14(%rbp),%eax
jle    1162 <tft_fill_triangle+0x52>
mov    -0xc(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x8(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x14(%rbp),%eax
cmp    0x10(%rbp),%eax
jle    1192 <tft_fill_triangle+0x82>
mov    0x10(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,0x10(%rbp)
mov    -0x34(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x38(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x14(%rbp),%eax
jle    11c2 <tft_fill_triangle+0xb2>
mov    -0xc(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x3c(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x8(%rbp)
mov    -0x40(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0xc(%rbp),%eax
cmp    0x10(%rbp),%eax
jne    124d <tft_fill_triangle+0x13d>
mov    -0x8(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    11ee <tft_fill_triangle+0xde>
mov    -0x10(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    1205 <tft_fill_triangle+0xf5>
mov    -0x10(%rbp),%eax
cmp    -0x20(%rbp),%eax
jle    1200 <tft_fill_triangle+0xf0>
mov    -0x10(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    1205 <tft_fill_triangle+0xf5>
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    121c <tft_fill_triangle+0x10c>
mov    -0x18(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    1233 <tft_fill_triangle+0x123>
mov    -0x18(%rbp),%eax
cmp    -0x20(%rbp),%eax
jle    122e <tft_fill_triangle+0x11e>
mov    -0x18(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    1233 <tft_fill_triangle+0x123>
mov    -0x4(%rbp),%edi
mov    -0x1c(%rbp),%esi
mov    -0xc(%rbp),%edx
mov    -0x20(%rbp),%ecx
mov    -0xc(%rbp),%r8d
call   1030 <tft_fill@plt>
jmp    13ef <tft_fill_triangle+0x2df>
mov    -0x10(%rbp),%eax
sub    -0x8(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x14(%rbp),%eax
sub    -0xc(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x18(%rbp),%eax
sub    -0x8(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    0x10(%rbp),%eax
sub    -0xc(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x18(%rbp),%eax
sub    -0x10(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    0x10(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0x58(%rbp)
movl   $0x0,-0x5c(%rbp)
movl   $0x0,-0x60(%rbp)
mov    -0x14(%rbp),%eax
cmp    0x10(%rbp),%eax
jne    12a8 <tft_fill_triangle+0x198>
mov    -0x14(%rbp),%eax
mov    %eax,-0x28(%rbp)
jmp    12b1 <tft_fill_triangle+0x1a1>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x28(%rbp),%eax
jg     1344 <tft_fill_triangle+0x234>
mov    -0x8(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x5c(%rbp),%eax
cltd
idivl  -0x48(%rbp)
mov    %eax,%ecx
mov    -0x70(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x60(%rbp),%eax
cltd
idivl  -0x50(%rbp)
mov    %eax,%ecx
mov    -0x6c(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x44(%rbp),%eax
add    -0x5c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x4c(%rbp),%eax
add    -0x60(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jle    1321 <tft_fill_triangle+0x211>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x64(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x4(%rbp),%edi
mov    -0x1c(%rbp),%esi
mov    -0x24(%rbp),%edx
mov    -0x20(%rbp),%ecx
mov    -0x24(%rbp),%r8d
call   1030 <tft_fill@plt>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    12b7 <tft_fill_triangle+0x1a7>
mov    -0x54(%rbp),%eax
mov    -0x24(%rbp),%ecx
sub    -0x14(%rbp),%ecx
imul   %ecx,%eax
mov    %eax,-0x5c(%rbp)
mov    -0x4c(%rbp),%eax
mov    -0x24(%rbp),%ecx
sub    -0xc(%rbp),%ecx
imul   %ecx,%eax
mov    %eax,-0x60(%rbp)
mov    -0x24(%rbp),%eax
cmp    0x10(%rbp),%eax
jg     13ef <tft_fill_triangle+0x2df>
mov    -0x10(%rbp),%eax
mov    %eax,-0x78(%rbp)
mov    -0x5c(%rbp),%eax
cltd
idivl  -0x58(%rbp)
mov    %eax,%ecx
mov    -0x78(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x74(%rbp)
mov    -0x60(%rbp),%eax
cltd
idivl  -0x50(%rbp)
mov    %eax,%ecx
mov    -0x74(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x54(%rbp),%eax
add    -0x5c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x4c(%rbp),%eax
add    -0x60(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jle    13cc <tft_fill_triangle+0x2bc>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x68(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x68(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x4(%rbp),%edi
mov    -0x1c(%rbp),%esi
mov    -0x24(%rbp),%edx
mov    -0x20(%rbp),%ecx
mov    -0x24(%rbp),%r8d
call   1030 <tft_fill@plt>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1362 <tft_fill_triangle+0x252>
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<tft_fill_triangle>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %r9d,%r12d
mov    0x70(%rsp),%ebx
cmp    %r8d,%edx
jle    114f <tft_fill_triangle+0x3f>
mov    %edx,%eax
mov    %esi,%ebp
cmp    %ebx,%eax
jg     115d <tft_fill_triangle+0x4d>
mov    %ebx,%edx
mov    %r12d,%r9d
mov    %eax,%ebx
mov    %ebp,%r12d
cmp    %ebx,%r8d
jg     1167 <tft_fill_triangle+0x57>
mov    %ebx,%r11d
mov    %r12d,%esi
mov    %r8d,%ebx
mov    %ecx,%r12d
jmp    116c <tft_fill_triangle+0x5c>
mov    %r8d,%eax
mov    %ecx,%ebp
mov    %edx,%r8d
mov    %esi,%ecx
cmp    %ebx,%eax
jle    1132 <tft_fill_triangle+0x22>
mov    %eax,%edx
mov    %ebp,%r9d
cmp    %ebx,%r8d
jle    1141 <tft_fill_triangle+0x31>
mov    %r8d,%r11d
mov    %ecx,%esi
mov    %edx,%r8d
sub    %ebx,%r8d
jne    11b1 <tft_fill_triangle+0xa1>
cmp    %r12d,%esi
mov    %r12d,%eax
cmovg  %esi,%eax
cmovl  %r12d,%eax
cmovl  %esi,%r12d
cmp    %eax,%r9d
mov    %eax,%ecx
cmovg  %r9d,%ecx
cmp    %r12d,%r9d
cmovl  %eax,%ecx
cmovl  %r9d,%r12d
mov    %r12d,%esi
mov    %edx,%r8d
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <tft_fill@plt>
mov    %r9d,%r10d
sub    %r12d,%r10d
xor    %eax,%eax
mov    %edx,0xc(%rsp)
mov    %edx,%ecx
sub    %r11d,%ecx
setne  %al
mov    %r11d,%r15d
sub    %eax,%r15d
mov    %ebx,%ebp
cmp    %r15d,%ebx
mov    %rsi,%rax
mov    %rsi,0x30(%rsp)
mov    %r8d,0x1c(%rsp)
mov    %r10d,0x18(%rsp)
mov    %ecx,0x14(%rsp)
jg     1287 <tft_fill_triangle+0x177>
mov    %r9d,0x28(%rsp)
mov    %esi,%eax
sub    %r12d,%eax
mov    %eax,0x2c(%rsp)
mov    %edi,0x10(%rsp)
mov    %r11d,0x20(%rsp)
mov    %r11d,%r14d
sub    %ebx,%r14d
add    $0x1,%r15d
xor    %r13d,%r13d
xor    %ebp,%ebp
mov    %ebx,0x24(%rsp)
cs nopw 0x0(%rax,%rax,1)
mov    %r13d,%eax
cltd
idiv   %r14d
mov    %eax,%ecx
mov    %ebp,%eax
cltd
lea    (%rcx,%r12,1),%esi
idiv   %r8d
lea    (%rax,%r12,1),%edx
add    %r10d,%ebp
cmp    %eax,%ecx
mov    %edx,%ecx
cmovg  %esi,%ecx
cmovg  %edx,%esi
mov    0x10(%rsp),%edi
mov    %ebx,%edx
mov    %ebx,%r8d
call   1030 <tft_fill@plt>
mov    0x18(%rsp),%r10d
mov    0x1c(%rsp),%r8d
add    $0x1,%ebx
add    0x2c(%rsp),%r13d
cmp    %ebx,%r15d
jne    1220 <tft_fill_triangle+0x110>
mov    %r15d,%ebp
mov    0x10(%rsp),%edi
mov    0x28(%rsp),%r9d
mov    0x30(%rsp),%rsi
mov    0x24(%rsp),%ebx
mov    0x14(%rsp),%ecx
mov    0x20(%rsp),%r11d
cmp    0xc(%rsp),%ebp
jg     1306 <tft_fill_triangle+0x1f6>
sub    %esi,%r9d
mov    %ebp,%r13d
sub    %ebx,%r13d
imul   %r10d,%r13d
mov    %ebp,%ebx
sub    %r11d,%ebx
imul   %r9d,%ebx
addl   $0x1,0xc(%rsp)
nopl   0x0(%rax,%rax,1)
mov    %ebx,%eax
cltd
idiv   %ecx
mov    %eax,%ecx
mov    %r13d,%eax
cltd
idiv   %r8d
mov    0x30(%rsp),%rdx
lea    (%rcx,%rdx,1),%esi
add    %r12d,%eax
add    %r9d,%ebx
add    %r10d,%r13d
cmp    %eax,%esi
mov    %eax,%ecx
cmovg  %esi,%ecx
cmovg  %eax,%esi
mov    %ebp,%edx
mov    %ebp,%r8d
mov    %r9d,%r14d
mov    %edi,%r15d
call   1030 <tft_fill@plt>
mov    0x14(%rsp),%ecx
mov    0x18(%rsp),%r10d
mov    0x1c(%rsp),%r8d
mov    %r15d,%edi
mov    %r14d,%r9d
add    $0x1,%ebp
cmp    %ebp,0xc(%rsp)
jne    12b0 <tft_fill_triangle+0x1a0>
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @tft_fill_triangle(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6) {
%8 = icmp sgt i32 %2, %4
br i1 %8, label %9, label %10
9: ; preds = %7
br label %10
10: ; preds = %9, %7
%11 = phi i32 [ %2, %9 ], [ %4, %7 ]
%12 = phi i32 [ %1, %9 ], [ %3, %7 ]
%13 = phi i32 [ %4, %9 ], [ %2, %7 ]
%14 = phi i32 [ %3, %9 ], [ %1, %7 ]
%15 = icmp sgt i32 %11, %6
br i1 %15, label %16, label %17
16: ; preds = %10
br label %17
17: ; preds = %16, %10
%18 = phi i32 [ %11, %16 ], [ %6, %10 ]
%19 = phi i32 [ %12, %16 ], [ %5, %10 ]
%20 = phi i32 [ %6, %16 ], [ %11, %10 ]
%21 = phi i32 [ %5, %16 ], [ %12, %10 ]
%22 = icmp sgt i32 %13, %20
br i1 %22, label %23, label %24
23: ; preds = %17
br label %24
24: ; preds = %23, %17
%25 = phi i32 [ %13, %23 ], [ %20, %17 ]
%26 = phi i32 [ %14, %23 ], [ %21, %17 ]
%27 = phi i32 [ %20, %23 ], [ %13, %17 ]
%28 = phi i32 [ %21, %23 ], [ %14, %17 ]
%29 = icmp eq i32 %18, %27
br i1 %29, label %30, label %42
30: ; preds = %24
%31 = icmp slt i32 %26, %28
%32 = icmp sgt i32 %26, %28
%33 = select i1 %32, i32 %26, i32 %28
%34 = select i1 %31, i32 %28, i32 %33
%35 = select i1 %31, i32 %26, i32 %28
%36 = icmp slt i32 %19, %35
%37 = icmp sgt i32 %19, %34
%38 = select i1 %37, i32 %19, i32 %34
%39 = select i1 %36, i32 %34, i32 %38
%40 = select i1 %36, i32 %19, i32 %35
%41 = tail call i32 @tft_fill(i32 %0, i32 %40, i32 %18, i32 %39, i32 %18)
br label %95
42: ; preds = %24
%43 = sub i32 %26, %28
%44 = sub nsw i32 %25, %27
%45 = sub nsw i32 %19, %28
%46 = sub nsw i32 %18, %27
%47 = sub nsw i32 %19, %26
%48 = sub nsw i32 %18, %25
%49 = icmp ne i32 %18, %25
%50 = sext i1 %49 to i32
%51 = add i32 %25, %50
%52 = icmp sgt i32 %27, %51
br i1 %52, label %71, label %53
53: ; preds = %42
%54 = add i32 %51, 1
br label %55
55: ; preds = %53, %55
%56 = phi i32 [ %64, %55 ], [ 0, %53 ]
%57 = phi i32 [ %63, %55 ], [ 0, %53 ]
%58 = phi i32 [ %69, %55 ], [ %27, %53 ]
%59 = sdiv i32 %57, %44
%60 = add nsw i32 %59, %28
%61 = sdiv i32 %56, %46
%62 = add nsw i32 %61, %28
%63 = add nsw i32 %43, %57
%64 = add nsw i32 %56, %45
%65 = icmp sgt i32 %59, %61
%66 = select i1 %65, i32 %60, i32 %62
%67 = select i1 %65, i32 %62, i32 %60
%68 = tail call i32 @tft_fill(i32 %0, i32 %67, i32 %58, i32 %66, i32 %58)
%69 = add i32 %58, 1
%70 = icmp eq i32 %58, %51
br i1 %70, label %71, label %55
71: ; preds = %55, %42
%72 = phi i32 [ %27, %42 ], [ %54, %55 ]
%73 = icmp sgt i32 %72, %18
br i1 %73, label %95, label %74
74: ; preds = %71
%75 = sub nsw i32 %72, %27
%76 = mul nsw i32 %75, %45
%77 = sub nsw i32 %72, %25
%78 = mul nsw i32 %77, %47
br label %79
79: ; preds = %74, %79
%80 = phi i32 [ %88, %79 ], [ %76, %74 ]
%81 = phi i32 [ %87, %79 ], [ %78, %74 ]
%82 = phi i32 [ %93, %79 ], [ %72, %74 ]
%83 = sdiv i32 %81, %48
%84 = add nsw i32 %83, %26
%85 = sdiv i32 %80, %46
%86 = add nsw i32 %85, %28
%87 = add nsw i32 %81, %47
%88 = add nsw i32 %80, %45
%89 = icmp sgt i32 %84, %86
%90 = select i1 %89, i32 %84, i32 %86
%91 = select i1 %89, i32 %86, i32 %84
%92 = tail call i32 @tft_fill(i32 %0, i32 %91, i32 %82, i32 %90, i32 %82)
%93 = add i32 %82, 1
%94 = icmp eq i32 %82, %18
br i1 %94, label %95, label %79
95: ; preds = %79, %71, %30
ret void
}