void vect_limits(int x[], int upper[], int lower[], int n) {
  int i;
  for (i = 0; i < n; i++) {
    if (x[i] > upper[i])
      x[i] = upper[i];
    else if (x[i] < lower[i])
      x[i] = lower[i];
  }
}


x86 assembly (clang, -O0):
<vect_limits>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    11a7 <vect_limits+0xa7>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x20(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jle    115d <vect_limits+0x5d>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1194 <vect_limits+0x94>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x20(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    118f <vect_limits+0x8f>
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1194 <vect_limits+0x94>
jmp    1199 <vect_limits+0x99>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    111a <vect_limits+0x1a>
pop    %rbp
ret

x86 assembly (clang, -O2):
<vect_limits>:
test   %ecx,%ecx
jle    112b <vect_limits+0x2b>
mov    %ecx,%r8d
cmp    $0x1,%ecx
jne    112c <vect_limits+0x2c>
xor    %eax,%eax
test   $0x1,%r8b
je     112b <vect_limits+0x2b>
mov    (%rdi,%rax,4),%r8d
mov    (%rsi,%rax,4),%ecx
cmp    %ecx,%r8d
jg     1128 <vect_limits+0x28>
mov    (%rdx,%rax,4),%ecx
cmp    %ecx,%r8d
jge    112b <vect_limits+0x2b>
mov    %ecx,(%rdi,%rax,4)
ret
mov    %r8d,%r9d
and    $0xfffffffe,%r9d
xor    %eax,%eax
jmp    114d <vect_limits+0x4d>
nopw   0x0(%rax,%rax,1)
mov    %ecx,0x4(%rdi,%rax,4)
add    $0x2,%rax
cmp    %rax,%r9
je     110e <vect_limits+0xe>
mov    (%rdi,%rax,4),%r10d
mov    (%rsi,%rax,4),%ecx
cmp    %ecx,%r10d
jg     1161 <vect_limits+0x61>
mov    (%rdx,%rax,4),%ecx
cmp    %ecx,%r10d
jge    1164 <vect_limits+0x64>
mov    %ecx,(%rdi,%rax,4)
mov    0x4(%rdi,%rax,4),%r10d
mov    0x4(%rsi,%rax,4),%ecx
cmp    %ecx,%r10d
jg     1140 <vect_limits+0x40>
mov    0x4(%rdx,%rax,4),%ecx
cmp    %ecx,%r10d
jl     1140 <vect_limits+0x40>
jmp    1144 <vect_limits+0x44>

LLVM IR (-O0):
define void @vect_limits(i32* %0, i32* %1, i32* %2, i32 %3) {
%5 = alloca i32*
%6 = alloca i32*
%7 = alloca i32*
%8 = alloca i32
%9 = alloca i32
store i32* %0, i32** %5
store i32* %1, i32** %6
store i32* %2, i32** %7
store i32 %3, i32* %8
store i32 0, i32* %9
br label %10
10: ; preds = %60, %4
%11 = load i32, i32* %9
%12 = load i32, i32* %8
%13 = icmp slt i32 %11, %12
br i1 %13, label %14, label %63
14: ; preds = %10
%15 = load i32*, i32** %5
%16 = load i32, i32* %9
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i32, i32* %15, i64 %17
%19 = load i32, i32* %18
%20 = load i32*, i32** %6
%21 = load i32, i32* %9
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds i32, i32* %20, i64 %22
%24 = load i32, i32* %23
%25 = icmp sgt i32 %19, %24
br i1 %25, label %26, label %36
26: ; preds = %14
%27 = load i32*, i32** %6
%28 = load i32, i32* %9
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds i32, i32* %27, i64 %29
%31 = load i32, i32* %30
%32 = load i32*, i32** %5
%33 = load i32, i32* %9
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds i32, i32* %32, i64 %34
store i32 %31, i32* %35
br label %59
36: ; preds = %14
%37 = load i32*, i32** %5
%38 = load i32, i32* %9
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds i32, i32* %37, i64 %39
%41 = load i32, i32* %40
%42 = load i32*, i32** %7
%43 = load i32, i32* %9
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds i32, i32* %42, i64 %44
%46 = load i32, i32* %45
%47 = icmp slt i32 %41, %46
br i1 %47, label %48, label %58
48: ; preds = %36
%49 = load i32*, i32** %7
%50 = load i32, i32* %9
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i32, i32* %49, i64 %51
%53 = load i32, i32* %52
%54 = load i32*, i32** %5
%55 = load i32, i32* %9
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds i32, i32* %54, i64 %56
store i32 %53, i32* %57
br label %58
58: ; preds = %48, %36
br label %59
59: ; preds = %58, %26
br label %60
60: ; preds = %59
%61 = load i32, i32* %9
%62 = add nsw i32 %61, 1
store i32 %62, i32* %9
br label %10
63: ; preds = %10
ret void
}

LLVM IR (-O2):
define void @vect_limits(i32* nocapture %0, i32* nocapture %1, i32* nocapture %2, i32 %3) {
%5 = icmp sgt i32 %3, 0
br i1 %5, label %6, label %58
6: ; preds = %4
%7 = zext i32 %3 to i64
%8 = and i64 %7, 1
%9 = icmp eq i32 %3, 1
br i1 %9, label %43, label %10
10: ; preds = %6
%11 = and i64 %7, 4294967294
br label %12
12: ; preds = %39, %10
%13 = phi i64 [ 0, %10 ], [ %40, %39 ]
%14 = phi i64 [ 0, %10 ], [ %41, %39 ]
%15 = getelementptr inbounds i32, i32* %0, i64 %13
%16 = load i32, i32* %15
%17 = getelementptr inbounds i32, i32* %1, i64 %13
%18 = load i32, i32* %17
%19 = icmp sgt i32 %16, %18
br i1 %19, label %24, label %20
20: ; preds = %12
%21 = getelementptr inbounds i32, i32* %2, i64 %13
%22 = load i32, i32* %21
%23 = icmp slt i32 %16, %22
br i1 %23, label %24, label %26
24: ; preds = %20, %12
%25 = phi i32 [ %18, %12 ], [ %22, %20 ]
store i32 %25, i32* %15
br label %26
26: ; preds = %24, %20
%27 = or i64 %13, 1
%28 = getelementptr inbounds i32, i32* %0, i64 %27
%29 = load i32, i32* %28
%30 = getelementptr inbounds i32, i32* %1, i64 %27
%31 = load i32, i32* %30
%32 = icmp sgt i32 %29, %31
br i1 %32, label %37, label %33
33: ; preds = %26
%34 = getelementptr inbounds i32, i32* %2, i64 %27
%35 = load i32, i32* %34
%36 = icmp slt i32 %29, %35
br i1 %36, label %37, label %39
37: ; preds = %33, %26
%38 = phi i32 [ %31, %26 ], [ %35, %33 ]
store i32 %38, i32* %28
br label %39
39: ; preds = %37, %33
%40 = add nuw nsw i64 %13, 2
%41 = add i64 %14, 2
%42 = icmp eq i64 %41, %11
br i1 %42, label %43, label %12
43: ; preds = %39, %6
%44 = phi i64 [ 0, %6 ], [ %40, %39 ]
%45 = icmp eq i64 %8, 0
br i1 %45, label %58, label %46
46: ; preds = %43
%47 = getelementptr inbounds i32, i32* %0, i64 %44
%48 = load i32, i32* %47
%49 = getelementptr inbounds i32, i32* %1, i64 %44
%50 = load i32, i32* %49
%51 = icmp sgt i32 %48, %50
br i1 %51, label %56, label %52
52: ; preds = %46
%53 = getelementptr inbounds i32, i32* %2, i64 %44
%54 = load i32, i32* %53
%55 = icmp slt i32 %48, %54
br i1 %55, label %56, label %58
56: ; preds = %52, %46
%57 = phi i32 [ %50, %46 ], [ %54, %52 ]
store i32 %57, i32* %47
br label %58
58: ; preds = %43, %56, %52, %4
ret void
}