void box_confine(int *pp, int *pq, int wh) {
  if (*pq <= 0)
    *pp = *pq = 0;
  else if (*pp >= wh)
    *pp = *pq = wh;
  else {
    if (*pp < 0)
      *pp = 0;
    if (*pq > wh)
      *pq = wh;
  }
}


x86 assembly (clang, -O0):
<box_confine>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x0,(%rax)
jg     1135 <box_confine+0x35>
mov    -0x10(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x8(%rbp),%rax
movl   $0x0,(%rax)
jmp    1191 <box_confine+0x91>
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
cmp    -0x14(%rbp),%eax
jl     1158 <box_confine+0x58>
mov    -0x14(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
jmp    118c <box_confine+0x8c>
mov    -0x8(%rbp),%rax
cmpl   $0x0,(%rax)
jge    116f <box_confine+0x6f>
mov    -0x8(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
cmp    -0x14(%rbp),%eax
jle    1187 <box_confine+0x87>
mov    -0x14(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
jmp    118c <box_confine+0x8c>
jmp    1191 <box_confine+0x91>
pop    %rbp
ret

x86 assembly (clang, -O2):
<box_confine>:
mov    (%rsi),%eax
test   %eax,%eax
jle    1115 <box_confine+0x15>
mov    (%rdi),%ecx
cmp    %edx,%ecx
jge    1122 <box_confine+0x22>
test   %ecx,%ecx
js     1127 <box_confine+0x27>
cmp    %edx,%eax
jg     1133 <box_confine+0x33>
ret
movl   $0x0,(%rsi)
movl   $0x0,(%rdi)
ret
mov    %edx,(%rsi)
mov    %edx,(%rdi)
ret
movl   $0x0,(%rdi)
mov    (%rsi),%eax
cmp    %edx,%eax
jle    1114 <box_confine+0x14>
mov    %edx,(%rsi)
ret

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

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