void normalize_range(int min, int max, int unset_val, int *a, int *b) {
  int t;
  if (*a != unset_val && *b != unset_val && *a > *b) {
    t = (*a);
    (*a) = (*b);
    (*b) = t;
  } else if (*a == unset_val && *b == unset_val) {
  } else if (*a == unset_val) {
    *a = min;
  } else if (*b == unset_val) {
    *b = max;
  }
}


x86 assembly (clang, -O0):
<normalize_range>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
cmp    -0xc(%rbp),%eax
je     1168 <normalize_range+0x68>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
cmp    -0xc(%rbp),%eax
je     1168 <normalize_range+0x68>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    -0x20(%rbp),%rcx
cmp    (%rcx),%eax
jle    1168 <normalize_range+0x68>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x24(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
jmp    11cf <normalize_range+0xcf>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
cmp    -0xc(%rbp),%eax
jne    118b <normalize_range+0x8b>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
cmp    -0xc(%rbp),%eax
jne    118b <normalize_range+0x8b>
jmp    11ca <normalize_range+0xca>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
cmp    -0xc(%rbp),%eax
jne    11a8 <normalize_range+0xa8>
mov    -0x4(%rbp),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
jmp    11c5 <normalize_range+0xc5>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
cmp    -0xc(%rbp),%eax
jne    11c0 <normalize_range+0xc0>
mov    -0x8(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
jmp    11c5 <normalize_range+0xc5>
jmp    11ca <normalize_range+0xca>
jmp    11cf <normalize_range+0xcf>
pop    %rbp
ret

x86 assembly (clang, -O2):
<normalize_range>:
mov    (%rcx),%r9d
mov    (%r8),%eax
cmp    %edx,%r9d
jne    1112 <normalize_range+0x12>
cmp    %edx,%eax
je     1128 <normalize_range+0x28>
mov    %edi,(%rcx)
ret
cmp    %edx,%eax
je     1121 <normalize_range+0x21>
cmp    %eax,%r9d
jle    1121 <normalize_range+0x21>
mov    %eax,(%rcx)
mov    %r9d,(%r8)
ret
cmp    %edx,%eax
jne    1128 <normalize_range+0x28>
mov    %esi,(%r8)
ret

LLVM IR (-O0):
define void @normalize_range(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*
%11 = 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
%12 = load i32*, i32** %9
%13 = load i32, i32* %12
%14 = load i32, i32* %8
%15 = icmp ne i32 %13, %14
br i1 %15, label %16, label %35
16: ; preds = %5
%17 = load i32*, i32** %10
%18 = load i32, i32* %17
%19 = load i32, i32* %8
%20 = icmp ne i32 %18, %19
br i1 %20, label %21, label %35
21: ; preds = %16
%22 = load i32*, i32** %9
%23 = load i32, i32* %22
%24 = load i32*, i32** %10
%25 = load i32, i32* %24
%26 = icmp sgt i32 %23, %25
br i1 %26, label %27, label %35
27: ; preds = %21
%28 = load i32*, i32** %9
%29 = load i32, i32* %28
store i32 %29, i32* %11
%30 = load i32*, i32** %10
%31 = load i32, i32* %30
%32 = load i32*, i32** %9
store i32 %31, i32* %32
%33 = load i32, i32* %11
%34 = load i32*, i32** %10
store i32 %33, i32* %34
br label %65
35: ; preds = %21, %16, %5
%36 = load i32*, i32** %9
%37 = load i32, i32* %36
%38 = load i32, i32* %8
%39 = icmp eq i32 %37, %38
br i1 %39, label %40, label %46
40: ; preds = %35
%41 = load i32*, i32** %10
%42 = load i32, i32* %41
%43 = load i32, i32* %8
%44 = icmp eq i32 %42, %43
br i1 %44, label %45, label %46
45: ; preds = %40
br label %64
46: ; preds = %40, %35
%47 = load i32*, i32** %9
%48 = load i32, i32* %47
%49 = load i32, i32* %8
%50 = icmp eq i32 %48, %49
br i1 %50, label %51, label %54
51: ; preds = %46
%52 = load i32, i32* %6
%53 = load i32*, i32** %9
store i32 %52, i32* %53
br label %63
54: ; preds = %46
%55 = load i32*, i32** %10
%56 = load i32, i32* %55
%57 = load i32, i32* %8
%58 = icmp eq i32 %56, %57
br i1 %58, label %59, label %62
59: ; preds = %54
%60 = load i32, i32* %7
%61 = load i32*, i32** %10
store i32 %60, i32* %61
br label %62
62: ; preds = %59, %54
br label %63
63: ; preds = %62, %51
br label %64
64: ; preds = %63, %45
br label %65
65: ; preds = %64, %27
ret void
}

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