void fz_saturation_rgb(int *rd, int *gd, int *bd, int rb, int gb, int bb,
                       int rs, int gs, int bs) {
  int minb, maxb;
  int mins, maxs;
  int y;
  int scale;
  int r, g, b;
  minb = ((rb) < (((gb) < (bb) ? (gb) : (bb))) ? (rb)
                                               : (((gb) < (bb) ? (gb) : (bb))));
  maxb = ((rb) > (((gb) > (bb) ? (gb) : (bb))) ? (rb)
                                               : (((gb) > (bb) ? (gb) : (bb))));
  if (minb == maxb) {
    *rd = gb;
    *gd = gb;
    *bd = gb;
    return;
  }
  mins = ((rs) < (((gs) < (bs) ? (gs) : (bs))) ? (rs)
                                               : (((gs) < (bs) ? (gs) : (bs))));
  maxs = ((rs) > (((gs) > (bs) ? (gs) : (bs))) ? (rs)
                                               : (((gs) > (bs) ? (gs) : (bs))));
  scale = ((maxs - mins) << 16) / (maxb - minb);
  y = (rb * 77 + gb * 151 + bb * 28 + 0x80) >> 8;
  r = y + ((((rb - y) * scale) + 0x8000) >> 16);
  g = y + ((((gb - y) * scale) + 0x8000) >> 16);
  b = y + ((((bb - y) * scale) + 0x8000) >> 16);
  if ((r | g | b) & 0x100) {
    int scalemin, scalemax;
    int min, max;
    min = ((r) < (((g) < (b) ? (g) : (b))) ? (r) : (((g) < (b) ? (g) : (b))));
    max = ((r) > (((g) > (b) ? (g) : (b))) ? (r) : (((g) > (b) ? (g) : (b))));
    if (min < 0)
      scalemin = (y << 16) / (y - min);
    else
      scalemin = 0x10000;
    if (max > 255)
      scalemax = ((255 - y) << 16) / (max - y);
    else
      scalemax = 0x10000;
    scale = ((scalemin) < (scalemax) ? (scalemin) : (scalemax));
    r = y + (((r - y) * scale + 0x8000) >> 16);
    g = y + (((g - y) * scale + 0x8000) >> 16);
    b = y + (((b - y) * scale + 0x8000) >> 16);
  }
  *rd = r;
  *gd = g;
  *bd = b;
}


x86 assembly (clang, -O0):
<fz_saturation_rgb>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    0x20(%rbp),%eax
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%eax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
mov    %r9d,-0x24(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    1145 <fz_saturation_rgb+0x45>
mov    -0x20(%rbp),%eax
mov    %eax,-0x60(%rbp)
jmp    114b <fz_saturation_rgb+0x4b>
mov    -0x24(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x5c(%rbp),%eax
mov    -0x60(%rbp),%ecx
cmp    %ecx,%eax
jge    1164 <fz_saturation_rgb+0x64>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x64(%rbp)
jmp    1187 <fz_saturation_rgb+0x87>
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    117b <fz_saturation_rgb+0x7b>
mov    -0x20(%rbp),%eax
mov    %eax,-0x68(%rbp)
jmp    1181 <fz_saturation_rgb+0x81>
mov    -0x24(%rbp),%eax
mov    %eax,-0x68(%rbp)
mov    -0x68(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x64(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
jle    11aa <fz_saturation_rgb+0xaa>
mov    -0x20(%rbp),%eax
mov    %eax,-0x70(%rbp)
jmp    11b0 <fz_saturation_rgb+0xb0>
mov    -0x24(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x6c(%rbp),%eax
mov    -0x70(%rbp),%ecx
cmp    %ecx,%eax
jle    11c9 <fz_saturation_rgb+0xc9>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x74(%rbp)
jmp    11ec <fz_saturation_rgb+0xec>
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
jle    11e0 <fz_saturation_rgb+0xe0>
mov    -0x20(%rbp),%eax
mov    %eax,-0x78(%rbp)
jmp    11e6 <fz_saturation_rgb+0xe6>
mov    -0x24(%rbp),%eax
mov    %eax,-0x78(%rbp)
mov    -0x78(%rbp),%eax
mov    %eax,-0x74(%rbp)
mov    -0x74(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jne    121e <fz_saturation_rgb+0x11e>
mov    -0x20(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x20(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x20(%rbp),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
jmp    15b2 <fz_saturation_rgb+0x4b2>
mov    0x10(%rbp),%eax
mov    %eax,-0x7c(%rbp)
mov    0x18(%rbp),%eax
cmp    0x20(%rbp),%eax
jge    123b <fz_saturation_rgb+0x13b>
mov    0x18(%rbp),%eax
mov    %eax,-0x80(%rbp)
jmp    1241 <fz_saturation_rgb+0x141>
mov    0x20(%rbp),%eax
mov    %eax,-0x80(%rbp)
mov    -0x7c(%rbp),%eax
mov    -0x80(%rbp),%ecx
cmp    %ecx,%eax
jge    125d <fz_saturation_rgb+0x15d>
mov    0x10(%rbp),%eax
mov    %eax,-0x84(%rbp)
jmp    128c <fz_saturation_rgb+0x18c>
mov    0x18(%rbp),%eax
cmp    0x20(%rbp),%eax
jge    1277 <fz_saturation_rgb+0x177>
mov    0x18(%rbp),%eax
mov    %eax,-0x88(%rbp)
jmp    1280 <fz_saturation_rgb+0x180>
mov    0x20(%rbp),%eax
mov    %eax,-0x88(%rbp)
mov    -0x88(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x84(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    0x10(%rbp),%eax
mov    %eax,-0x8c(%rbp)
mov    0x18(%rbp),%eax
cmp    0x20(%rbp),%eax
jle    12b8 <fz_saturation_rgb+0x1b8>
mov    0x18(%rbp),%eax
mov    %eax,-0x90(%rbp)
jmp    12c1 <fz_saturation_rgb+0x1c1>
mov    0x20(%rbp),%eax
mov    %eax,-0x90(%rbp)
mov    -0x8c(%rbp),%eax
mov    -0x90(%rbp),%ecx
cmp    %ecx,%eax
jle    12e3 <fz_saturation_rgb+0x1e3>
mov    0x10(%rbp),%eax
mov    %eax,-0x94(%rbp)
jmp    1312 <fz_saturation_rgb+0x212>
mov    0x18(%rbp),%eax
cmp    0x20(%rbp),%eax
jle    12fd <fz_saturation_rgb+0x1fd>
mov    0x18(%rbp),%eax
mov    %eax,-0x98(%rbp)
jmp    1306 <fz_saturation_rgb+0x206>
mov    0x20(%rbp),%eax
mov    %eax,-0x98(%rbp)
mov    -0x98(%rbp),%eax
mov    %eax,-0x94(%rbp)
mov    -0x94(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
sub    -0x30(%rbp),%eax
shl    $0x10,%eax
mov    -0x2c(%rbp),%ecx
sub    -0x28(%rbp),%ecx
cltd
idiv   %ecx
mov    %eax,-0x3c(%rbp)
imul   $0x4d,-0x1c(%rbp),%eax
imul   $0x97,-0x20(%rbp),%ecx
add    %ecx,%eax
imul   $0x1c,-0x24(%rbp),%ecx
add    %ecx,%eax
add    $0x80,%eax
sar    $0x8,%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    -0x38(%rbp),%ecx
imul   -0x3c(%rbp),%ecx
add    $0x8000,%ecx
sar    $0x10,%ecx
add    %ecx,%eax
mov    %eax,-0x40(%rbp)
mov    -0x38(%rbp),%eax
mov    -0x20(%rbp),%ecx
sub    -0x38(%rbp),%ecx
imul   -0x3c(%rbp),%ecx
add    $0x8000,%ecx
sar    $0x10,%ecx
add    %ecx,%eax
mov    %eax,-0x44(%rbp)
mov    -0x38(%rbp),%eax
mov    -0x24(%rbp),%ecx
sub    -0x38(%rbp),%ecx
imul   -0x3c(%rbp),%ecx
add    $0x8000,%ecx
sar    $0x10,%ecx
add    %ecx,%eax
mov    %eax,-0x48(%rbp)
mov    -0x40(%rbp),%eax
or     -0x44(%rbp),%eax
or     -0x48(%rbp),%eax
and    $0x100,%eax
cmp    $0x0,%eax
je     1597 <fz_saturation_rgb+0x497>
mov    -0x40(%rbp),%eax
mov    %eax,-0x9c(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x48(%rbp),%eax
jge    13d9 <fz_saturation_rgb+0x2d9>
mov    -0x44(%rbp),%eax
mov    %eax,-0xa0(%rbp)
jmp    13e2 <fz_saturation_rgb+0x2e2>
mov    -0x48(%rbp),%eax
mov    %eax,-0xa0(%rbp)
mov    -0x9c(%rbp),%eax
mov    -0xa0(%rbp),%ecx
cmp    %ecx,%eax
jge    1404 <fz_saturation_rgb+0x304>
mov    -0x40(%rbp),%eax
mov    %eax,-0xa4(%rbp)
jmp    1433 <fz_saturation_rgb+0x333>
mov    -0x44(%rbp),%eax
cmp    -0x48(%rbp),%eax
jge    141e <fz_saturation_rgb+0x31e>
mov    -0x44(%rbp),%eax
mov    %eax,-0xa8(%rbp)
jmp    1427 <fz_saturation_rgb+0x327>
mov    -0x48(%rbp),%eax
mov    %eax,-0xa8(%rbp)
mov    -0xa8(%rbp),%eax
mov    %eax,-0xa4(%rbp)
mov    -0xa4(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x40(%rbp),%eax
mov    %eax,-0xac(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x48(%rbp),%eax
jle    145f <fz_saturation_rgb+0x35f>
mov    -0x44(%rbp),%eax
mov    %eax,-0xb0(%rbp)
jmp    1468 <fz_saturation_rgb+0x368>
mov    -0x48(%rbp),%eax
mov    %eax,-0xb0(%rbp)
mov    -0xac(%rbp),%eax
mov    -0xb0(%rbp),%ecx
cmp    %ecx,%eax
jle    148a <fz_saturation_rgb+0x38a>
mov    -0x40(%rbp),%eax
mov    %eax,-0xb4(%rbp)
jmp    14b9 <fz_saturation_rgb+0x3b9>
mov    -0x44(%rbp),%eax
cmp    -0x48(%rbp),%eax
jle    14a4 <fz_saturation_rgb+0x3a4>
mov    -0x44(%rbp),%eax
mov    %eax,-0xb8(%rbp)
jmp    14ad <fz_saturation_rgb+0x3ad>
mov    -0x48(%rbp),%eax
mov    %eax,-0xb8(%rbp)
mov    -0xb8(%rbp),%eax
mov    %eax,-0xb4(%rbp)
mov    -0xb4(%rbp),%eax
mov    %eax,-0x58(%rbp)
cmpl   $0x0,-0x54(%rbp)
jge    14e3 <fz_saturation_rgb+0x3e3>
mov    -0x38(%rbp),%eax
shl    $0x10,%eax
mov    -0x38(%rbp),%ecx
sub    -0x54(%rbp),%ecx
cltd
idiv   %ecx
mov    %eax,-0x4c(%rbp)
jmp    14ea <fz_saturation_rgb+0x3ea>
movl   $0x10000,-0x4c(%rbp)
cmpl   $0xff,-0x58(%rbp)
jle    1513 <fz_saturation_rgb+0x413>
mov    $0xff,%eax
sub    -0x38(%rbp),%eax
shl    $0x10,%eax
mov    -0x58(%rbp),%ecx
sub    -0x38(%rbp),%ecx
cltd
idiv   %ecx
mov    %eax,-0x50(%rbp)
jmp    151a <fz_saturation_rgb+0x41a>
movl   $0x10000,-0x50(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x50(%rbp),%eax
jge    1534 <fz_saturation_rgb+0x434>
mov    -0x4c(%rbp),%eax
mov    %eax,-0xbc(%rbp)
jmp    153d <fz_saturation_rgb+0x43d>
mov    -0x50(%rbp),%eax
mov    %eax,-0xbc(%rbp)
mov    -0xbc(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x38(%rbp),%eax
mov    -0x40(%rbp),%ecx
sub    -0x38(%rbp),%ecx
imul   -0x3c(%rbp),%ecx
add    $0x8000,%ecx
sar    $0x10,%ecx
add    %ecx,%eax
mov    %eax,-0x40(%rbp)
mov    -0x38(%rbp),%eax
mov    -0x44(%rbp),%ecx
sub    -0x38(%rbp),%ecx
imul   -0x3c(%rbp),%ecx
add    $0x8000,%ecx
sar    $0x10,%ecx
add    %ecx,%eax
mov    %eax,-0x44(%rbp)
mov    -0x38(%rbp),%eax
mov    -0x48(%rbp),%ecx
sub    -0x38(%rbp),%ecx
imul   -0x3c(%rbp),%ecx
add    $0x8000,%ecx
sar    $0x10,%ecx
add    %ecx,%eax
mov    %eax,-0x48(%rbp)
mov    -0x40(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x44(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x48(%rbp),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<fz_saturation_rgb>:
push   %rbp
push   %r15
push   %r14
push   %rbx
cmp    %r9d,%r8d
mov    %r9d,%eax
cmovl  %r8d,%eax
mov    %r9d,%ebp
cmovg  %r8d,%ebp
mov    %rdx,%r10
cmp    %ecx,%eax
cmovg  %ecx,%eax
cmp    %ecx,%ebp
cmovl  %ecx,%ebp
sub    %eax,%ebp
jne    1133 <fz_saturation_rgb+0x33>
mov    %r8d,%edx
mov    %r8d,%ebp
jmp    1263 <fz_saturation_rgb+0x163>
mov    0x28(%rsp),%edx
mov    0x30(%rsp),%r11d
mov    0x38(%rsp),%eax
cmp    %eax,%r11d
mov    %eax,%ebx
cmovl  %r11d,%ebx
cmovg  %r11d,%eax
cmp    %edx,%ebx
cmovg  %edx,%ebx
cmp    %edx,%eax
cmovl  %edx,%eax
sub    %ebx,%eax
shl    $0x10,%eax
cltd
idiv   %ebp
imul   $0x4d,%ecx,%edx
imul   $0x97,%r8d,%ebp
lea    (%r9,%r9,8),%ebx
lea    (%rbx,%rbx,2),%ebx
add    %r9d,%ebx
add    %edx,%ebp
lea    (%rbx,%rbp,1),%r15d
add    $0x80,%r15d
sar    $0x8,%r15d
sub    %r15d,%ecx
imul   %eax,%ecx
add    $0x8000,%ecx
sar    $0x10,%ecx
lea    (%rcx,%r15,1),%r11d
sub    %r15d,%r8d
imul   %eax,%r8d
add    $0x8000,%r8d
sar    $0x10,%r8d
lea    (%r8,%r15,1),%edx
sub    %r15d,%r9d
imul   %eax,%r9d
add    $0x8000,%r9d
sar    $0x10,%r9d
lea    (%r9,%r15,1),%ebp
mov    %r11d,%eax
or     %edx,%eax
or     %ebp,%eax
test   $0x100,%eax
jne    11d9 <fz_saturation_rgb+0xd9>
mov    %r11d,%r8d
jmp    1263 <fz_saturation_rgb+0x163>
cmp    %ebp,%edx
mov    %ebp,%ebx
cmovl  %edx,%ebx
cmovg  %edx,%ebp
cmp    %ebx,%r11d
cmovl  %r11d,%ebx
cmp    %ebp,%r11d
cmovg  %r11d,%ebp
mov    $0x10000,%r11d
mov    $0x10000,%r14d
test   %ebx,%ebx
js     1272 <fz_saturation_rgb+0x172>
cmp    $0x100,%ebp
jl     121f <fz_saturation_rgb+0x11f>
mov    %r15d,%edx
shl    $0x10,%edx
mov    $0xff0000,%eax
sub    %edx,%eax
sub    %r15d,%ebp
cltd
idiv   %ebp
mov    %eax,%r11d
cmp    %r11d,%r14d
cmovl  %r14d,%r11d
imul   %r11d,%ecx
add    $0x8000,%ecx
sar    $0x10,%ecx
add    %r15d,%ecx
imul   %r11d,%r8d
add    $0x8000,%r8d
sar    $0x10,%r8d
mov    %r8d,%edx
add    %r15d,%edx
imul   %r9d,%r11d
add    $0x8000,%r11d
sar    $0x10,%r11d
add    %r15d,%r11d
mov    %ecx,%r8d
mov    %r11d,%ebp
mov    %r8d,(%rdi)
mov    %edx,(%rsi)
mov    %ebp,(%r10)
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %r15d,%eax
shl    $0x10,%eax
mov    %r15d,%r14d
sub    %ebx,%r14d
cltd
idiv   %r14d
mov    %eax,%r14d
cmp    $0x100,%ebp
jge    1209 <fz_saturation_rgb+0x109>
jmp    121f <fz_saturation_rgb+0x11f>

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

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