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


x86 assembly (clang, -O0):
<clipmaxshort>:
push   %rbp
mov    %rsp,%rbp
mov    %si,%ax
mov    %rdi,-0x8(%rbp)
mov    %ax,-0xa(%rbp)
mov    %rdx,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jge    116f <clipmaxshort+0x6f>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movswl (%rax,%rcx,2),%eax
movswl -0xa(%rbp),%ecx
cmp    %ecx,%eax
jle    1159 <clipmaxshort+0x59>
mov    -0xa(%rbp),%dx
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
jmp    115e <clipmaxshort+0x5e>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1123 <clipmaxshort+0x23>
xor    %eax,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<clipmaxshort>:
test   %rdx,%rdx
jle    1237 <clipmaxshort+0x137>
cmp    $0x10,%rdx
jae    1117 <clipmaxshort+0x17>
xor    %r8d,%r8d
jmp    1249 <clipmaxshort+0x149>
mov    %rdx,%r8
and    $0xfffffffffffffff0,%r8
movd   %esi,%xmm0
pshuflw $0x0,%xmm0,%xmm0
pshufd $0x0,%xmm0,%xmm0
xor    %ecx,%ecx
jmp    113d <clipmaxshort+0x3d>
add    $0x10,%rcx
cmp    %rcx,%r8
je     1232 <clipmaxshort+0x132>
movdqu (%rdi,%rcx,2),%xmm1
pcmpgtw %xmm0,%xmm1
movd   %xmm1,%eax
test   $0x1,%al
je     1152 <clipmaxshort+0x52>
mov    %si,(%rdi,%rcx,2)
shr    $0x10,%eax
test   $0x1,%al
je     115e <clipmaxshort+0x5e>
mov    %si,0x2(%rdi,%rcx,2)
pextrw $0x2,%xmm1,%eax
test   $0x1,%al
je     116c <clipmaxshort+0x6c>
mov    %si,0x4(%rdi,%rcx,2)
pextrw $0x3,%xmm1,%eax
test   $0x1,%al
je     117a <clipmaxshort+0x7a>
mov    %si,0x6(%rdi,%rcx,2)
pextrw $0x4,%xmm1,%eax
test   $0x1,%al
je     1188 <clipmaxshort+0x88>
mov    %si,0x8(%rdi,%rcx,2)
pextrw $0x5,%xmm1,%eax
test   $0x1,%al
je     1196 <clipmaxshort+0x96>
mov    %si,0xa(%rdi,%rcx,2)
pextrw $0x6,%xmm1,%eax
test   $0x1,%al
je     11a4 <clipmaxshort+0xa4>
mov    %si,0xc(%rdi,%rcx,2)
pextrw $0x7,%xmm1,%eax
test   $0x1,%al
je     11b2 <clipmaxshort+0xb2>
mov    %si,0xe(%rdi,%rcx,2)
movdqu 0x10(%rdi,%rcx,2),%xmm1
pcmpgtw %xmm0,%xmm1
movd   %xmm1,%eax
test   $0x1,%al
je     11c9 <clipmaxshort+0xc9>
mov    %si,0x10(%rdi,%rcx,2)
shr    $0x10,%eax
test   $0x1,%al
je     11d5 <clipmaxshort+0xd5>
mov    %si,0x12(%rdi,%rcx,2)
pextrw $0x2,%xmm1,%eax
test   $0x1,%al
je     11e3 <clipmaxshort+0xe3>
mov    %si,0x14(%rdi,%rcx,2)
pextrw $0x3,%xmm1,%eax
test   $0x1,%al
je     11f1 <clipmaxshort+0xf1>
mov    %si,0x16(%rdi,%rcx,2)
pextrw $0x4,%xmm1,%eax
test   $0x1,%al
je     11ff <clipmaxshort+0xff>
mov    %si,0x18(%rdi,%rcx,2)
pextrw $0x5,%xmm1,%eax
test   $0x1,%al
je     120d <clipmaxshort+0x10d>
mov    %si,0x1a(%rdi,%rcx,2)
pextrw $0x6,%xmm1,%eax
test   $0x1,%al
je     121b <clipmaxshort+0x11b>
mov    %si,0x1c(%rdi,%rcx,2)
pextrw $0x7,%xmm1,%eax
test   $0x1,%al
je     1130 <clipmaxshort+0x30>
mov    %si,0x1e(%rdi,%rcx,2)
jmp    1130 <clipmaxshort+0x30>
cmp    %rdx,%r8
jne    1249 <clipmaxshort+0x149>
xor    %eax,%eax
ret
nopw   0x0(%rax,%rax,1)
add    $0x1,%r8
cmp    %r8,%rdx
je     1237 <clipmaxshort+0x137>
cmp    %si,(%rdi,%r8,2)
jle    1240 <clipmaxshort+0x140>
mov    %si,(%rdi,%r8,2)
jmp    1240 <clipmaxshort+0x140>

LLVM IR (-O0):
define i32 @clipmaxshort(i16* %0, i16 signext %1, i64 %2) {
%4 = alloca i16*
%5 = alloca i16
%6 = alloca i64
%7 = alloca i64
store i16* %0, i16** %4
store i16 %1, i16* %5
store i64 %2, i64* %6
store i64 0, i64* %7
store i64 0, i64* %7
br label %8
8: ; preds = %27, %3
%9 = load i64, i64* %7
%10 = load i64, i64* %6
%11 = icmp slt i64 %9, %10
br i1 %11, label %12, label %30
12: ; preds = %8
%13 = load i16*, i16** %4
%14 = load i64, i64* %7
%15 = getelementptr inbounds i16, i16* %13, i64 %14
%16 = load i16, i16* %15
%17 = sext i16 %16 to i32
%18 = load i16, i16* %5
%19 = sext i16 %18 to i32
%20 = icmp sgt i32 %17, %19
br i1 %20, label %21, label %26
21: ; preds = %12
%22 = load i16, i16* %5
%23 = load i16*, i16** %4
%24 = load i64, i64* %7
%25 = getelementptr inbounds i16, i16* %23, i64 %24
store i16 %22, i16* %25
br label %26
26: ; preds = %21, %12
br label %27
27: ; preds = %26
%28 = load i64, i64* %7
%29 = add nsw i64 %28, 1
store i64 %29, i64* %7
br label %8
30: ; preds = %8
ret i32 0
}

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