void clamp_abs(int *val, int *ext, int min, int max, int invert) {
  if (*val < min)
    *val = min;
  if (*val > max)
    *val = max;
  *val -= min;
  *ext = max - min;
  if (invert)
    *val = *ext - *val;
}


x86 assembly (clang, -O0):
<clamp_abs>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
cmp    -0x14(%rbp),%eax
jge    112e <clamp_abs+0x2e>
mov    -0x14(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
cmp    -0x18(%rbp),%eax
jle    1146 <clamp_abs+0x46>
mov    -0x18(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x14(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    (%rax),%ecx
sub    %edx,%ecx
mov    %ecx,(%rax)
mov    -0x18(%rbp),%ecx
sub    -0x14(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
cmpl   $0x0,-0x1c(%rbp)
je     117b <clamp_abs+0x7b>
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
sub    (%rax),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<clamp_abs>:
mov    (%rdi),%eax
cmp    %edx,%eax
cmovl  %edx,%eax
cmp    %ecx,%eax
cmovg  %ecx,%eax
sub    %edx,%eax
mov    %eax,(%rdi)
sub    %edx,%ecx
mov    %ecx,(%rsi)
test   %r8d,%r8d
je     111d <clamp_abs+0x1d>
sub    (%rdi),%ecx
mov    %ecx,(%rdi)
ret

LLVM IR (-O0):
define void @clamp_abs(i32* %0, i32* %1, i32 %2, i32 %3, i32 %4) {
%6 = alloca i32*
%7 = alloca i32*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i32* %0, i32** %6
store i32* %1, i32** %7
store i32 %2, i32* %8
store i32 %3, i32* %9
store i32 %4, i32* %10
%11 = load i32*, i32** %6
%12 = load i32, i32* %11
%13 = load i32, i32* %8
%14 = icmp slt i32 %12, %13
br i1 %14, label %15, label %18
15: ; preds = %5
%16 = load i32, i32* %8
%17 = load i32*, i32** %6
store i32 %16, i32* %17
br label %18
18: ; preds = %15, %5
%19 = load i32*, i32** %6
%20 = load i32, i32* %19
%21 = load i32, i32* %9
%22 = icmp sgt i32 %20, %21
br i1 %22, label %23, label %26
23: ; preds = %18
%24 = load i32, i32* %9
%25 = load i32*, i32** %6
store i32 %24, i32* %25
br label %26
26: ; preds = %23, %18
%27 = load i32, i32* %8
%28 = load i32*, i32** %6
%29 = load i32, i32* %28
%30 = sub nsw i32 %29, %27
store i32 %30, i32* %28
%31 = load i32, i32* %9
%32 = load i32, i32* %8
%33 = sub nsw i32 %31, %32
%34 = load i32*, i32** %7
store i32 %33, i32* %34
%35 = load i32, i32* %10
%36 = icmp ne i32 %35, 0
br i1 %36, label %37, label %44
37: ; preds = %26
%38 = load i32*, i32** %7
%39 = load i32, i32* %38
%40 = load i32*, i32** %6
%41 = load i32, i32* %40
%42 = sub nsw i32 %39, %41
%43 = load i32*, i32** %6
store i32 %42, i32* %43
br label %44
44: ; preds = %37, %26
ret void
}

LLVM IR (-O2):
define void @clamp_abs(i32* nocapture %0, i32* nocapture writeonly %1, i32 %2, i32 %3, i32 %4) {
%6 = load i32, i32* %0
%7 = icmp slt i32 %6, %2
%8 = select i1 %7, i32 %2, i32 %6
%9 = icmp sgt i32 %8, %3
%10 = select i1 %9, i32 %3, i32 %8
%11 = sub nsw i32 %10, %2
store i32 %11, i32* %0
%12 = sub nsw i32 %3, %2
store i32 %12, i32* %1
%13 = icmp eq i32 %4, 0
br i1 %13, label %17, label %14
14: ; preds = %5
%15 = load i32, i32* %0
%16 = sub nsw i32 %12, %15
store i32 %16, i32* %0
br label %17
17: ; preds = %14, %5
ret void
}