int clipint(int *x, int xmin, int xmax, long n) {
  long i = 0;
  for (i = 0; i < n; ++i) {
    if (x[i] < xmin)
      x[i] = xmin;
    if (x[i] > xmax)
      x[i] = xmax;
  }
  return (0);
}


x86 assembly (clang, -O0):
<clipint>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jge    118a <clipint+0x8a>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0xc(%rbp),%eax
jge    1152 <clipint+0x52>
mov    -0xc(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x10(%rbp),%eax
jle    1174 <clipint+0x74>
mov    -0x10(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1179 <clipint+0x79>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1122 <clipint+0x22>
xor    %eax,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<clipint>:
test   %rcx,%rcx
jle    1211 <clipint+0x111>
cmp    $0x4,%rcx
jae    1117 <clipint+0x17>
xor    %r9d,%r9d
jmp    1232 <clipint+0x132>
mov    %rcx,%r9
and    $0xfffffffffffffffc,%r9
movd   %esi,%xmm0
pshufd $0x0,%xmm0,%xmm0
movd   %edx,%xmm1
pshufd $0x0,%xmm1,%xmm1
xor    %r8d,%r8d
jmp    114d <clipint+0x4d>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0x4,%r8
cmp    %r8,%r9
je     120c <clipint+0x10c>
movdqu (%rdi,%r8,4),%xmm2
movdqa %xmm0,%xmm3
pcmpgtd %xmm2,%xmm3
movdqa %xmm3,%xmm4
pandn  %xmm2,%xmm4
movdqa %xmm0,%xmm2
pand   %xmm3,%xmm2
por    %xmm4,%xmm2
movdqa %xmm2,%xmm4
pcmpgtd %xmm1,%xmm4
por    %xmm4,%xmm3
movd   %xmm3,%eax
test   $0x1,%al
je     1197 <clipint+0x97>
movd   %xmm4,%r10d
movd   %xmm2,%eax
test   $0x1,%r10b
cmovne %edx,%eax
mov    %eax,(%rdi,%r8,4)
pextrw $0x2,%xmm3,%eax
test   $0x1,%al
je     11bb <clipint+0xbb>
pextrw $0x2,%xmm4,%r10d
pshufd $0x55,%xmm2,%xmm5
movd   %xmm5,%eax
test   $0x1,%r10b
cmovne %edx,%eax
mov    %eax,0x4(%rdi,%r8,4)
pextrw $0x4,%xmm3,%eax
test   $0x1,%al
je     11df <clipint+0xdf>
pextrw $0x4,%xmm4,%r10d
pshufd $0xee,%xmm2,%xmm5
movd   %xmm5,%eax
test   $0x1,%r10b
cmovne %edx,%eax
mov    %eax,0x8(%rdi,%r8,4)
pextrw $0x6,%xmm3,%eax
test   $0x1,%al
je     1140 <clipint+0x40>
pextrw $0x6,%xmm4,%r10d
pshufd $0xff,%xmm2,%xmm2
movd   %xmm2,%eax
test   $0x1,%r10b
cmovne %edx,%eax
mov    %eax,0xc(%rdi,%r8,4)
jmp    1140 <clipint+0x40>
cmp    %rcx,%r9
jne    1232 <clipint+0x132>
xor    %eax,%eax
ret
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmp    %edx,%eax
cmovg  %edx,%eax
mov    %eax,(%rdi,%r9,4)
add    $0x1,%r9
cmp    %r9,%rcx
je     1211 <clipint+0x111>
mov    (%rdi,%r9,4),%eax
cmp    %esi,%eax
cmovl  %esi,%eax
jl     1220 <clipint+0x120>
cmp    %edx,%eax
jle    1229 <clipint+0x129>
jmp    1220 <clipint+0x120>

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

LLVM IR (-O2):
define i32 @clipint(i32* nocapture %0, i32 %1, i32 %2, i64 %3) {
%5 = icmp sgt i64 %3, 0
br i1 %5, label %6, label %73
6: ; preds = %4
%7 = icmp ult i64 %3, 4
br i1 %7, label %58, label %8
8: ; preds = %6
%9 = and i64 %3, -4
%10 = insertelement <4 x i32> poison, i32 %1, i64 0
%11 = shufflevector <4 x i32> %10, <4 x i32> poison, <4 x i32> zeroinitializer
%12 = insertelement <4 x i32> poison, i32 %2, i64 0
%13 = shufflevector <4 x i32> %12, <4 x i32> poison, <4 x i32> zeroinitializer
br label %14
14: ; preds = %53, %8
%15 = phi i64 [ 0, %8 ], [ %54, %53 ]
%16 = getelementptr inbounds i32, i32* %0, i64 %15
%17 = bitcast i32* %16 to <4 x i32>*
%18 = load <4 x i32>, <4 x i32>* %17
%19 = icmp slt <4 x i32> %18, %11
%20 = select <4 x i1> %19, <4 x i32> %11, <4 x i32> %18
%21 = icmp sgt <4 x i32> %20, %13
%22 = or <4 x i1> %19, %21
%23 = extractelement <4 x i1> %22, i64 0
br i1 %23, label %24, label %29
24: ; preds = %14
%25 = extractelement <4 x i1> %21, i64 0
%26 = extractelement <4 x i32> %20, i64 0
%27 = select i1 %25, i32 %2, i32 %26
%28 = getelementptr inbounds i32, i32* %0, i64 %15
store i32 %27, i32* %28
br label %29
29: ; preds = %24, %14
%30 = extractelement <4 x i1> %22, i64 1
br i1 %30, label %31, label %37
31: ; preds = %29
%32 = or i64 %15, 1
%33 = extractelement <4 x i1> %21, i64 1
%34 = extractelement <4 x i32> %20, i64 1
%35 = select i1 %33, i32 %2, i32 %34
%36 = getelementptr inbounds i32, i32* %0, i64 %32
store i32 %35, i32* %36
br label %37
37: ; preds = %31, %29
%38 = extractelement <4 x i1> %22, i64 2
br i1 %38, label %39, label %45
39: ; preds = %37
%40 = or i64 %15, 2
%41 = extractelement <4 x i1> %21, i64 2
%42 = extractelement <4 x i32> %20, i64 2
%43 = select i1 %41, i32 %2, i32 %42
%44 = getelementptr inbounds i32, i32* %0, i64 %40
store i32 %43, i32* %44
br label %45
45: ; preds = %39, %37
%46 = extractelement <4 x i1> %22, i64 3
br i1 %46, label %47, label %53
47: ; preds = %45
%48 = or i64 %15, 3
%49 = extractelement <4 x i1> %21, i64 3
%50 = extractelement <4 x i32> %20, i64 3
%51 = select i1 %49, i32 %2, i32 %50
%52 = getelementptr inbounds i32, i32* %0, i64 %48
store i32 %51, i32* %52
br label %53
53: ; preds = %47, %45
%54 = add nuw i64 %15, 4
%55 = icmp eq i64 %54, %9
br i1 %55, label %56, label %14
56: ; preds = %53
%57 = icmp eq i64 %9, %3
br i1 %57, label %73, label %58
58: ; preds = %6, %56
%59 = phi i64 [ 0, %6 ], [ %9, %56 ]
br label %60
60: ; preds = %58, %70
%61 = phi i64 [ %71, %70 ], [ %59, %58 ]
%62 = getelementptr inbounds i32, i32* %0, i64 %61
%63 = load i32, i32* %62
%64 = icmp slt i32 %63, %1
%65 = select i1 %64, i32 %1, i32 %63
%66 = icmp sgt i32 %65, %2
%67 = or i1 %64, %66
br i1 %67, label %68, label %70
68: ; preds = %60
%69 = select i1 %66, i32 %2, i32 %65
store i32 %69, i32* %62
br label %70
70: ; preds = %60, %68
%71 = add nuw nsw i64 %61, 1
%72 = icmp eq i64 %71, %3
br i1 %72, label %73, label %60
73: ; preds = %70, %56, %4
ret i32 0
}