int clipmaxchar(char *x, char 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):
<clipmaxchar>:
push   %rbp
mov    %rsp,%rbp
mov    %sil,%al
mov    %rdi,-0x8(%rbp)
mov    %al,-0x9(%rbp)
mov    %rdx,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jge    116c <clipmaxchar+0x6c>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x9(%rbp),%ecx
cmp    %ecx,%eax
jle    1156 <clipmaxchar+0x56>
mov    -0x9(%rbp),%dl
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    115b <clipmaxchar+0x5b>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1122 <clipmaxchar+0x22>
xor    %eax,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<clipmaxchar>:
test   %rdx,%rdx
jle    128f <clipmaxchar+0x18f>
cmp    $0x10,%rdx
jae    1117 <clipmaxchar+0x17>
xor    %r8d,%r8d
jmp    12a9 <clipmaxchar+0x1a9>
mov    %rdx,%r8
and    $0xfffffffffffffff0,%r8
movzbl %sil,%ecx
movd   %ecx,%xmm0
punpcklbw %xmm0,%xmm0
pshuflw $0x0,%xmm0,%xmm0
xor    %ecx,%ecx
jmp    114d <clipmaxchar+0x4d>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x10,%rcx
cmp    %rcx,%r8
je     128a <clipmaxchar+0x18a>
movq   (%rdi,%rcx,1),%xmm1
pcmpgtb %xmm0,%xmm1
movd   %xmm1,%eax
test   $0x1,%al
je     1162 <clipmaxchar+0x62>
mov    %sil,(%rdi,%rcx,1)
movdqa %xmm1,%xmm2
pslld  $0x8,%xmm2
movd   %xmm2,%eax
shr    $0x10,%eax
test   $0x1,%al
je     117b <clipmaxchar+0x7b>
mov    %sil,0x1(%rdi,%rcx,1)
pextrw $0x1,%xmm1,%eax
test   $0x1,%al
je     1189 <clipmaxchar+0x89>
mov    %sil,0x2(%rdi,%rcx,1)
movdqa %xmm1,%xmm2
psllq  $0x18,%xmm2
pextrw $0x3,%xmm2,%eax
test   $0x1,%al
je     11a0 <clipmaxchar+0xa0>
mov    %sil,0x3(%rdi,%rcx,1)
pextrw $0x2,%xmm1,%eax
test   $0x1,%al
je     11ae <clipmaxchar+0xae>
mov    %sil,0x4(%rdi,%rcx,1)
movdqa %xmm1,%xmm2
pslldq $0x5,%xmm2
pextrw $0x5,%xmm2,%eax
test   $0x1,%al
je     11c5 <clipmaxchar+0xc5>
mov    %sil,0x5(%rdi,%rcx,1)
pextrw $0x3,%xmm1,%eax
test   $0x1,%al
je     11d3 <clipmaxchar+0xd3>
mov    %sil,0x6(%rdi,%rcx,1)
pslldq $0x7,%xmm1
pextrw $0x7,%xmm1,%eax
test   $0x1,%al
je     11e6 <clipmaxchar+0xe6>
mov    %sil,0x7(%rdi,%rcx,1)
movq   0x8(%rdi,%rcx,1),%xmm1
pcmpgtb %xmm0,%xmm1
movd   %xmm1,%eax
test   $0x1,%al
je     11fd <clipmaxchar+0xfd>
mov    %sil,0x8(%rdi,%rcx,1)
movdqa %xmm1,%xmm2
pslld  $0x8,%xmm2
movd   %xmm2,%eax
shr    $0x10,%eax
test   $0x1,%al
je     1216 <clipmaxchar+0x116>
mov    %sil,0x9(%rdi,%rcx,1)
pextrw $0x1,%xmm1,%eax
test   $0x1,%al
je     1224 <clipmaxchar+0x124>
mov    %sil,0xa(%rdi,%rcx,1)
movdqa %xmm1,%xmm2
psllq  $0x18,%xmm2
pextrw $0x3,%xmm2,%eax
test   $0x1,%al
je     123b <clipmaxchar+0x13b>
mov    %sil,0xb(%rdi,%rcx,1)
pextrw $0x2,%xmm1,%eax
test   $0x1,%al
je     1249 <clipmaxchar+0x149>
mov    %sil,0xc(%rdi,%rcx,1)
movdqa %xmm1,%xmm2
pslldq $0x5,%xmm2
pextrw $0x5,%xmm2,%eax
test   $0x1,%al
je     1260 <clipmaxchar+0x160>
mov    %sil,0xd(%rdi,%rcx,1)
pextrw $0x3,%xmm1,%eax
test   $0x1,%al
je     126e <clipmaxchar+0x16e>
mov    %sil,0xe(%rdi,%rcx,1)
pslldq $0x7,%xmm1
pextrw $0x7,%xmm1,%eax
test   $0x1,%al
je     1140 <clipmaxchar+0x40>
mov    %sil,0xf(%rdi,%rcx,1)
jmp    1140 <clipmaxchar+0x40>
cmp    %rdx,%r8
jne    12a9 <clipmaxchar+0x1a9>
xor    %eax,%eax
ret
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x1,%r8
cmp    %r8,%rdx
je     128f <clipmaxchar+0x18f>
cmp    %sil,(%rdi,%r8,1)
jle    12a0 <clipmaxchar+0x1a0>
mov    %sil,(%rdi,%r8,1)
jmp    12a0 <clipmaxchar+0x1a0>

LLVM IR (-O0):
define i32 @clipmaxchar(i8* %0, i8 signext %1, i64 %2) {
%4 = alloca i8*
%5 = alloca i8
%6 = alloca i64
%7 = alloca i64
store i8* %0, i8** %4
store i8 %1, i8* %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 i8*, i8** %4
%14 = load i64, i64* %7
%15 = getelementptr inbounds i8, i8* %13, i64 %14
%16 = load i8, i8* %15
%17 = sext i8 %16 to i32
%18 = load i8, i8* %5
%19 = sext i8 %18 to i32
%20 = icmp sgt i32 %17, %19
br i1 %20, label %21, label %26
21: ; preds = %12
%22 = load i8, i8* %5
%23 = load i8*, i8** %4
%24 = load i64, i64* %7
%25 = getelementptr inbounds i8, i8* %23, i64 %24
store i8 %22, i8* %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 @clipmaxchar(i8* nocapture %0, i8 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 i8> poison, i8 %1, i64 0
%10 = shufflevector <8 x i8> %9, <8 x i8> poison, <8 x i32> zeroinitializer
%11 = insertelement <8 x i8> poison, i8 %1, i64 0
%12 = shufflevector <8 x i8> %11, <8 x i8> 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 i8, i8* %0, i64 %14
%17 = bitcast i8* %16 to <8 x i8>*
%18 = load <8 x i8>, <8 x i8>* %17
%19 = getelementptr inbounds i8, i8* %16, i64 8
%20 = bitcast i8* %19 to <8 x i8>*
%21 = load <8 x i8>, <8 x i8>* %20
%22 = icmp sgt <8 x i8> %18, %10
%23 = icmp sgt <8 x i8> %21, %12
%24 = extractelement <8 x i1> %22, i64 0
br i1 %24, label %25, label %27
25: ; preds = %13
%26 = getelementptr inbounds i8, i8* %0, i64 %14
store i8 %1, i8* %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 i8, i8* %0, i64 %30
store i8 %1, i8* %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 i8, i8* %0, i64 %35
store i8 %1, i8* %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 i8, i8* %0, i64 %40
store i8 %1, i8* %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 i8, i8* %0, i64 %45
store i8 %1, i8* %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 i8, i8* %0, i64 %50
store i8 %1, i8* %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 i8, i8* %0, i64 %55
store i8 %1, i8* %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 i8, i8* %0, i64 %60
store i8 %1, i8* %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 i8, i8* %0, i64 %15
store i8 %1, i8* %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 i8, i8* %0, i64 %69
store i8 %1, i8* %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 i8, i8* %0, i64 %74
store i8 %1, i8* %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 i8, i8* %0, i64 %79
store i8 %1, i8* %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 i8, i8* %0, i64 %84
store i8 %1, i8* %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 i8, i8* %0, i64 %89
store i8 %1, i8* %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 i8, i8* %0, i64 %94
store i8 %1, i8* %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 i8, i8* %0, i64 %99
store i8 %1, i8* %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 i8, i8* %0, i64 %109
%111 = load i8, i8* %110
%112 = icmp sgt i8 %111, %1
br i1 %112, label %113, label %114
113: ; preds = %108
store i8 %1, i8* %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
}