int clipshort(short *x, short xmin, short 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):
<clipshort>:
push   %rbp
mov    %rsp,%rbp
mov    %dx,%ax
mov    %si,%dx
mov    %rdi,-0x8(%rbp)
mov    %dx,-0xa(%rbp)
mov    %ax,-0xc(%rbp)
mov    %rcx,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jge    119e <clipshort+0x9e>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movswl (%rax,%rcx,2),%eax
movswl -0xa(%rbp),%ecx
cmp    %ecx,%eax
jge    1160 <clipshort+0x60>
mov    -0xa(%rbp),%dx
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movswl (%rax,%rcx,2),%eax
movswl -0xc(%rbp),%ecx
cmp    %ecx,%eax
jle    1188 <clipshort+0x88>
mov    -0xc(%rbp),%dx
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
jmp    118d <clipshort+0x8d>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    112a <clipshort+0x2a>
xor    %eax,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<clipshort>:
test   %rcx,%rcx
jle    128e <clipshort+0x18e>
cmp    $0x8,%rcx
jae    1117 <clipshort+0x17>
xor    %r8d,%r8d
jmp    12b4 <clipshort+0x1b4>
mov    %rcx,%r8
and    $0xfffffffffffffff8,%r8
movd   %esi,%xmm0
pshuflw $0x0,%xmm0,%xmm0
pshufd $0x0,%xmm0,%xmm0
movd   %edx,%xmm1
pshuflw $0x0,%xmm1,%xmm1
pshufd $0x0,%xmm1,%xmm1
xor    %r9d,%r9d
jmp    114d <clipshort+0x4d>
nop
add    $0x8,%r9
cmp    %r9,%r8
je     1289 <clipshort+0x189>
movdqu (%rdi,%r9,2),%xmm2
movdqa %xmm0,%xmm3
pcmpgtw %xmm2,%xmm3
movdqa %xmm3,%xmm4
pandn  %xmm2,%xmm4
movdqa %xmm0,%xmm2
pand   %xmm3,%xmm2
por    %xmm4,%xmm2
movdqa %xmm2,%xmm4
pcmpgtw %xmm1,%xmm4
por    %xmm4,%xmm3
movd   %xmm3,%eax
test   $0x1,%al
je     119a <clipshort+0x9a>
movd   %xmm4,%r10d
movd   %xmm2,%r11d
test   $0x1,%r10b
cmovne %edx,%r11d
mov    %r11w,(%rdi,%r9,2)
shr    $0x10,%eax
test   $0x1,%al
je     11ba <clipshort+0xba>
movd   %xmm4,%eax
shr    $0x10,%eax
pextrw $0x1,%xmm2,%r10d
test   $0x1,%al
cmovne %edx,%r10d
mov    %r10w,0x2(%rdi,%r9,2)
pextrw $0x2,%xmm3,%eax
test   $0x1,%al
je     11db <clipshort+0xdb>
pextrw $0x2,%xmm4,%r10d
pextrw $0x2,%xmm2,%eax
test   $0x1,%r10b
cmovne %edx,%eax
mov    %ax,0x4(%rdi,%r9,2)
pextrw $0x3,%xmm3,%eax
test   $0x1,%al
je     11fc <clipshort+0xfc>
pextrw $0x3,%xmm4,%r10d
pextrw $0x3,%xmm2,%eax
test   $0x1,%r10b
cmovne %edx,%eax
mov    %ax,0x6(%rdi,%r9,2)
pextrw $0x4,%xmm3,%eax
test   $0x1,%al
je     121d <clipshort+0x11d>
pextrw $0x4,%xmm4,%r10d
pextrw $0x4,%xmm2,%eax
test   $0x1,%r10b
cmovne %edx,%eax
mov    %ax,0x8(%rdi,%r9,2)
pextrw $0x5,%xmm3,%eax
test   $0x1,%al
je     123e <clipshort+0x13e>
pextrw $0x5,%xmm4,%r10d
pextrw $0x5,%xmm2,%eax
test   $0x1,%r10b
cmovne %edx,%eax
mov    %ax,0xa(%rdi,%r9,2)
pextrw $0x6,%xmm3,%eax
test   $0x1,%al
je     125f <clipshort+0x15f>
pextrw $0x6,%xmm4,%r10d
pextrw $0x6,%xmm2,%eax
test   $0x1,%r10b
cmovne %edx,%eax
mov    %ax,0xc(%rdi,%r9,2)
pextrw $0x7,%xmm3,%eax
test   $0x1,%al
je     1140 <clipshort+0x40>
pextrw $0x7,%xmm4,%r10d
pextrw $0x7,%xmm2,%eax
test   $0x1,%r10b
cmovne %edx,%eax
mov    %ax,0xe(%rdi,%r9,2)
jmp    1140 <clipshort+0x40>
cmp    %rcx,%r8
jne    12b4 <clipshort+0x1b4>
xor    %eax,%eax
ret
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmp    %dx,%ax
cmovg  %edx,%eax
mov    %ax,(%rdi,%r8,2)
add    $0x1,%r8
cmp    %r8,%rcx
je     128e <clipshort+0x18e>
movzwl (%rdi,%r8,2),%eax
cmp    %si,%ax
cmovl  %esi,%eax
jl     12a0 <clipshort+0x1a0>
cmp    %dx,%ax
jle    12ab <clipshort+0x1ab>
jmp    12a0 <clipshort+0x1a0>

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

LLVM IR (-O2):
define i32 @clipshort(i16* nocapture %0, i16 signext %1, i16 signext %2, i64 %3) {
%5 = icmp sgt i64 %3, 0
br i1 %5, label %6, label %105
6: ; preds = %4
%7 = icmp ult i64 %3, 8
br i1 %7, label %90, label %8
8: ; preds = %6
%9 = and i64 %3, -8
%10 = insertelement <8 x i16> poison, i16 %1, i64 0
%11 = shufflevector <8 x i16> %10, <8 x i16> poison, <8 x i32> zeroinitializer
%12 = insertelement <8 x i16> poison, i16 %2, i64 0
%13 = shufflevector <8 x i16> %12, <8 x i16> poison, <8 x i32> zeroinitializer
br label %14
14: ; preds = %85, %8
%15 = phi i64 [ 0, %8 ], [ %86, %85 ]
%16 = getelementptr inbounds i16, i16* %0, i64 %15
%17 = bitcast i16* %16 to <8 x i16>*
%18 = load <8 x i16>, <8 x i16>* %17
%19 = icmp slt <8 x i16> %18, %11
%20 = select <8 x i1> %19, <8 x i16> %11, <8 x i16> %18
%21 = icmp sgt <8 x i16> %20, %13
%22 = or <8 x i1> %19, %21
%23 = extractelement <8 x i1> %22, i64 0
br i1 %23, label %24, label %29
24: ; preds = %14
%25 = extractelement <8 x i1> %21, i64 0
%26 = extractelement <8 x i16> %20, i64 0
%27 = select i1 %25, i16 %2, i16 %26
%28 = getelementptr inbounds i16, i16* %0, i64 %15
store i16 %27, i16* %28
br label %29
29: ; preds = %24, %14
%30 = extractelement <8 x i1> %22, i64 1
br i1 %30, label %31, label %37
31: ; preds = %29
%32 = or i64 %15, 1
%33 = extractelement <8 x i1> %21, i64 1
%34 = extractelement <8 x i16> %20, i64 1
%35 = select i1 %33, i16 %2, i16 %34
%36 = getelementptr inbounds i16, i16* %0, i64 %32
store i16 %35, i16* %36
br label %37
37: ; preds = %31, %29
%38 = extractelement <8 x i1> %22, i64 2
br i1 %38, label %39, label %45
39: ; preds = %37
%40 = or i64 %15, 2
%41 = extractelement <8 x i1> %21, i64 2
%42 = extractelement <8 x i16> %20, i64 2
%43 = select i1 %41, i16 %2, i16 %42
%44 = getelementptr inbounds i16, i16* %0, i64 %40
store i16 %43, i16* %44
br label %45
45: ; preds = %39, %37
%46 = extractelement <8 x i1> %22, i64 3
br i1 %46, label %47, label %53
47: ; preds = %45
%48 = or i64 %15, 3
%49 = extractelement <8 x i1> %21, i64 3
%50 = extractelement <8 x i16> %20, i64 3
%51 = select i1 %49, i16 %2, i16 %50
%52 = getelementptr inbounds i16, i16* %0, i64 %48
store i16 %51, i16* %52
br label %53
53: ; preds = %47, %45
%54 = extractelement <8 x i1> %22, i64 4
br i1 %54, label %55, label %61
55: ; preds = %53
%56 = or i64 %15, 4
%57 = extractelement <8 x i1> %21, i64 4
%58 = extractelement <8 x i16> %20, i64 4
%59 = select i1 %57, i16 %2, i16 %58
%60 = getelementptr inbounds i16, i16* %0, i64 %56
store i16 %59, i16* %60
br label %61
61: ; preds = %55, %53
%62 = extractelement <8 x i1> %22, i64 5
br i1 %62, label %63, label %69
63: ; preds = %61
%64 = or i64 %15, 5
%65 = extractelement <8 x i1> %21, i64 5
%66 = extractelement <8 x i16> %20, i64 5
%67 = select i1 %65, i16 %2, i16 %66
%68 = getelementptr inbounds i16, i16* %0, i64 %64
store i16 %67, i16* %68
br label %69
69: ; preds = %63, %61
%70 = extractelement <8 x i1> %22, i64 6
br i1 %70, label %71, label %77
71: ; preds = %69
%72 = or i64 %15, 6
%73 = extractelement <8 x i1> %21, i64 6
%74 = extractelement <8 x i16> %20, i64 6
%75 = select i1 %73, i16 %2, i16 %74
%76 = getelementptr inbounds i16, i16* %0, i64 %72
store i16 %75, i16* %76
br label %77
77: ; preds = %71, %69
%78 = extractelement <8 x i1> %22, i64 7
br i1 %78, label %79, label %85
79: ; preds = %77
%80 = or i64 %15, 7
%81 = extractelement <8 x i1> %21, i64 7
%82 = extractelement <8 x i16> %20, i64 7
%83 = select i1 %81, i16 %2, i16 %82
%84 = getelementptr inbounds i16, i16* %0, i64 %80
store i16 %83, i16* %84
br label %85
85: ; preds = %79, %77
%86 = add nuw i64 %15, 8
%87 = icmp eq i64 %86, %9
br i1 %87, label %88, label %14
88: ; preds = %85
%89 = icmp eq i64 %9, %3
br i1 %89, label %105, label %90
90: ; preds = %6, %88
%91 = phi i64 [ 0, %6 ], [ %9, %88 ]
br label %92
92: ; preds = %90, %102
%93 = phi i64 [ %103, %102 ], [ %91, %90 ]
%94 = getelementptr inbounds i16, i16* %0, i64 %93
%95 = load i16, i16* %94
%96 = icmp slt i16 %95, %1
%97 = select i1 %96, i16 %1, i16 %95
%98 = icmp sgt i16 %97, %2
%99 = or i1 %96, %98
br i1 %99, label %100, label %102
100: ; preds = %92
%101 = select i1 %98, i16 %2, i16 %97
store i16 %101, i16* %94
br label %102
102: ; preds = %92, %100
%103 = add nuw nsw i64 %93, 1
%104 = icmp eq i64 %103, %3
br i1 %104, label %105, label %92
105: ; preds = %102, %88, %4
ret i32 0
}