void setsat(int r, int g, int b, int s, int *dr, int *dg, int *db) {
  int *m[3] = {&r, &g, &b};
  int *t;
  if (*m[0] > *m[1])
    (t = m[0], m[0] = m[1], m[1] = t);
  if (*m[0] > *m[2])
    (t = m[0], m[0] = m[2], m[2] = t);
  if (*m[1] > *m[2])
    (t = m[1], m[1] = m[2], m[2] = t);
  if (*m[2] > *m[0]) {
    *m[1] = (*m[1] - *m[0]) * s / (*m[2] - *m[0]);
    *m[2] = s;
  } else {
    *m[1] = 0;
    *m[2] = 0;
  }
  *dr = r;
  *dg = g;
  *db = b;
}


x86 assembly (clang, -O0):
<setsat>:
push   %rbp
mov    %rsp,%rbp
mov    0x10(%rbp),%rax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
mov    %r8,-0x18(%rbp)
mov    %r9,-0x20(%rbp)
lea    -0x4(%rbp),%rax
mov    %rax,-0x40(%rbp)
lea    -0x8(%rbp),%rax
mov    %rax,-0x38(%rbp)
lea    -0xc(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x40(%rbp),%rax
mov    (%rax),%eax
mov    -0x38(%rbp),%rcx
cmp    (%rcx),%eax
jle    115e <setsat+0x5e>
mov    -0x40(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x48(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
mov    (%rax),%eax
mov    -0x30(%rbp),%rcx
cmp    (%rcx),%eax
jle    1188 <setsat+0x88>
mov    -0x40(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x48(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x38(%rbp),%rax
mov    (%rax),%eax
mov    -0x30(%rbp),%rcx
cmp    (%rcx),%eax
jle    11b2 <setsat+0xb2>
mov    -0x38(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x48(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
mov    (%rax),%eax
mov    -0x40(%rbp),%rcx
cmp    (%rcx),%eax
jle    11f9 <setsat+0xf9>
mov    -0x38(%rbp),%rax
mov    (%rax),%eax
mov    -0x40(%rbp),%rcx
sub    (%rcx),%eax
imul   -0x10(%rbp),%eax
mov    -0x30(%rbp),%rcx
mov    (%rcx),%ecx
mov    -0x40(%rbp),%rdx
sub    (%rdx),%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x38(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x10(%rbp),%ecx
mov    -0x30(%rbp),%rax
mov    %ecx,(%rax)
jmp    120d <setsat+0x10d>
mov    -0x38(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x30(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x4(%rbp),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0xc(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<setsat>:
push   %rbx
mov    0x10(%rsp),%r10
mov    %edi,-0x4(%rsp)
mov    %esi,-0x8(%rsp)
mov    %edx,-0xc(%rsp)
cmp    %esi,%edi
lea    -0x4(%rsp),%rax
lea    -0x8(%rsp),%rsi
mov    %rsi,%rbx
cmovg  %rax,%rbx
cmovg  %rsi,%rax
mov    (%rax),%edi
cmp    %edx,%edi
lea    -0xc(%rsp),%rsi
cmovg  %rax,%rsi
mov    (%rbx),%eax
cmovg  %edx,%edi
cmp    (%rsi),%eax
mov    %rsi,%r11
cmovg  %rbx,%r11
cmovle %rbx,%rsi
mov    (%r11),%ebx
xor    %eax,%eax
mov    $0x0,%edx
sub    %edi,%ebx
jle    1162 <setsat+0x62>
mov    (%rsi),%eax
sub    %edi,%eax
imul   %ecx,%eax
cltd
idiv   %ebx
mov    %ecx,%edx
mov    %eax,(%rsi)
mov    %edx,(%r11)
mov    -0x4(%rsp),%eax
mov    %eax,(%r8)
mov    -0x8(%rsp),%eax
mov    %eax,(%r9)
mov    -0xc(%rsp),%eax
mov    %eax,(%r10)
pop    %rbx
ret

LLVM IR (-O0):
define void @setsat(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 [3 x i32*]
%16 = 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
%17 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 0
store i32* %8, i32** %17
%18 = getelementptr inbounds i32*, i32** %17, i64 1
store i32* %9, i32** %18
%19 = getelementptr inbounds i32*, i32** %18, i64 1
store i32* %10, i32** %19
%20 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 0
%21 = load i32*, i32** %20
%22 = load i32, i32* %21
%23 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 1
%24 = load i32*, i32** %23
%25 = load i32, i32* %24
%26 = icmp sgt i32 %22, %25
br i1 %26, label %27, label %35
27: ; preds = %7
%28 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 0
%29 = load i32*, i32** %28
store i32* %29, i32** %16
%30 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 1
%31 = load i32*, i32** %30
%32 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 0
store i32* %31, i32** %32
%33 = load i32*, i32** %16
%34 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 1
store i32* %33, i32** %34
br label %35
35: ; preds = %27, %7
%36 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 0
%37 = load i32*, i32** %36
%38 = load i32, i32* %37
%39 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 2
%40 = load i32*, i32** %39
%41 = load i32, i32* %40
%42 = icmp sgt i32 %38, %41
br i1 %42, label %43, label %51
43: ; preds = %35
%44 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 0
%45 = load i32*, i32** %44
store i32* %45, i32** %16
%46 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 2
%47 = load i32*, i32** %46
%48 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 0
store i32* %47, i32** %48
%49 = load i32*, i32** %16
%50 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 2
store i32* %49, i32** %50
br label %51
51: ; preds = %43, %35
%52 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 1
%53 = load i32*, i32** %52
%54 = load i32, i32* %53
%55 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 2
%56 = load i32*, i32** %55
%57 = load i32, i32* %56
%58 = icmp sgt i32 %54, %57
br i1 %58, label %59, label %67
59: ; preds = %51
%60 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 1
%61 = load i32*, i32** %60
store i32* %61, i32** %16
%62 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 2
%63 = load i32*, i32** %62
%64 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 1
store i32* %63, i32** %64
%65 = load i32*, i32** %16
%66 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 2
store i32* %65, i32** %66
br label %67
67: ; preds = %59, %51
%68 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 2
%69 = load i32*, i32** %68
%70 = load i32, i32* %69
%71 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 0
%72 = load i32*, i32** %71
%73 = load i32, i32* %72
%74 = icmp sgt i32 %70, %73
br i1 %74, label %75, label %98
75: ; preds = %67
%76 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 1
%77 = load i32*, i32** %76
%78 = load i32, i32* %77
%79 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 0
%80 = load i32*, i32** %79
%81 = load i32, i32* %80
%82 = sub nsw i32 %78, %81
%83 = load i32, i32* %11
%84 = mul nsw i32 %82, %83
%85 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 2
%86 = load i32*, i32** %85
%87 = load i32, i32* %86
%88 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 0
%89 = load i32*, i32** %88
%90 = load i32, i32* %89
%91 = sub nsw i32 %87, %90
%92 = sdiv i32 %84, %91
%93 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 1
%94 = load i32*, i32** %93
store i32 %92, i32* %94
%95 = load i32, i32* %11
%96 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 2
%97 = load i32*, i32** %96
store i32 %95, i32* %97
br label %103
98: ; preds = %67
%99 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 1
%100 = load i32*, i32** %99
store i32 0, i32* %100
%101 = getelementptr inbounds [3 x i32*], [3 x i32*]* %15, i64 0, i64 2
%102 = load i32*, i32** %101
store i32 0, i32* %102
br label %103
103: ; preds = %98, %75
%104 = load i32, i32* %8
%105 = load i32*, i32** %12
store i32 %104, i32* %105
%106 = load i32, i32* %9
%107 = load i32*, i32** %13
store i32 %106, i32* %107
%108 = load i32, i32* %10
%109 = load i32*, i32** %14
store i32 %108, i32* %109
ret void
}

LLVM IR (-O2):
define void @setsat(i32 %0, i32 %1, i32 %2, i32 %3, i32* nocapture writeonly %4, i32* nocapture writeonly %5, i32* nocapture writeonly %6) {
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i32 %0, i32* %8
store i32 %1, i32* %9
store i32 %2, i32* %10
%11 = icmp sgt i32 %0, %1
%12 = select i1 %11, i32* %8, i32* %9
%13 = select i1 %11, i32* %9, i32* %8
%14 = load i32, i32* %13
%15 = icmp sgt i32 %14, %2
%16 = select i1 %15, i32* %13, i32* %10
%17 = load i32, i32* %12
%18 = load i32, i32* %16
%19 = icmp sgt i32 %17, %18
%20 = select i1 %19, i32* %12, i32* %16
%21 = select i1 %19, i32* %16, i32* %12
%22 = load i32, i32* %20
%23 = select i1 %15, i32 %2, i32 %14
%24 = icmp sgt i32 %22, %23
br i1 %24, label %25, label %31
25: ; preds = %7
%26 = load i32, i32* %21
%27 = sub nsw i32 %26, %23
%28 = mul nsw i32 %27, %3
%29 = sub nsw i32 %22, %23
%30 = sdiv i32 %28, %29
br label %31
31: ; preds = %7, %25
%32 = phi i32 [ %30, %25 ], [ 0, %7 ]
%33 = phi i32 [ %3, %25 ], [ 0, %7 ]
store i32 %32, i32* %21
store i32 %33, i32* %20
%34 = load i32, i32* %8
store i32 %34, i32* %4
%35 = load i32, i32* %9
store i32 %35, i32* %5
%36 = load i32, i32* %10
store i32 %36, i32* %6
ret void
}