int clipchar(char *x, char xmin, char 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):
<clipchar>:
push   %rbp
mov    %rsp,%rbp
mov    %dl,%al
mov    %sil,%dl
mov    %rdi,-0x8(%rbp)
mov    %dl,-0x9(%rbp)
mov    %al,-0xa(%rbp)
mov    %rcx,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jge    1197 <clipchar+0x97>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x9(%rbp),%ecx
cmp    %ecx,%eax
jge    115b <clipchar+0x5b>
mov    -0x9(%rbp),%dl
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0xa(%rbp),%ecx
cmp    %ecx,%eax
jle    1181 <clipchar+0x81>
mov    -0xa(%rbp),%dl
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    1186 <clipchar+0x86>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1127 <clipchar+0x27>
xor    %eax,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<clipchar>:
push   %rbx
test   %rcx,%rcx
jle    12f7 <clipchar+0x1f7>
movzbl %sil,%r8d
cmp    $0x8,%rcx
jae    111c <clipchar+0x1c>
xor    %r10d,%r10d
jmp    12fb <clipchar+0x1fb>
movzbl %dl,%r9d
mov    %rcx,%r10
and    $0xfffffffffffffff8,%r10
movd   %r8d,%xmm0
punpcklbw %xmm0,%xmm0
pshuflw $0x0,%xmm0,%xmm0
movd   %r9d,%xmm1
punpcklbw %xmm1,%xmm1
pshuflw $0x0,%xmm1,%xmm1
xor    %eax,%eax
jmp    115d <clipchar+0x5d>
nopw   0x0(%rax,%rax,1)
add    $0x8,%rax
cmp    %rax,%r10
je     12f2 <clipchar+0x1f2>
movq   (%rdi,%rax,1),%xmm3
movdqa %xmm0,%xmm2
pcmpgtb %xmm3,%xmm2
punpcklbw %xmm2,%xmm5
movdqa %xmm0,%xmm4
pand   %xmm2,%xmm4
pandn  %xmm3,%xmm2
por    %xmm4,%xmm2
movdqa %xmm2,%xmm3
pcmpgtb %xmm1,%xmm3
punpcklbw %xmm3,%xmm4
por    %xmm5,%xmm4
psraw  $0x8,%xmm4
movd   %xmm4,%esi
test   $0x1,%sil
je     11b8 <clipchar+0xb8>
movd   %xmm3,%ebx
movdqa %xmm2,-0x10(%rsp)
mov    %r9d,%r11d
test   $0x1,%bl
jne    11b4 <clipchar+0xb4>
mov    -0x10(%rsp),%r11d
mov    %r11b,(%rdi,%rax,1)
shr    $0x10,%esi
test   $0x1,%sil
je     11e8 <clipchar+0xe8>
movdqa %xmm3,%xmm5
pslld  $0x8,%xmm5
movd   %xmm5,%esi
shr    $0x10,%esi
movdqa %xmm2,-0x20(%rsp)
movzbl -0x1f(%rsp),%ebx
test   $0x1,%sil
cmovne %r9d,%ebx
mov    %bl,0x1(%rdi,%rax,1)
pextrw $0x2,%xmm4,%esi
test   $0x1,%sil
je     120f <clipchar+0x10f>
pextrw $0x1,%xmm3,%esi
movdqa %xmm2,-0x30(%rsp)
movzbl -0x2e(%rsp),%ebx
test   $0x1,%sil
cmovne %r9d,%ebx
mov    %bl,0x2(%rdi,%rax,1)
pextrw $0x3,%xmm4,%esi
test   $0x1,%sil
je     123f <clipchar+0x13f>
movdqa %xmm3,%xmm5
psllq  $0x18,%xmm5
pextrw $0x3,%xmm5,%esi
movdqa %xmm2,-0x40(%rsp)
movzbl -0x3d(%rsp),%ebx
test   $0x1,%sil
cmovne %r9d,%ebx
mov    %bl,0x3(%rdi,%rax,1)
pextrw $0x4,%xmm4,%esi
test   $0x1,%sil
je     1266 <clipchar+0x166>
pextrw $0x2,%xmm3,%ebx
movdqa %xmm2,-0x50(%rsp)
mov    %r9d,%esi
test   $0x1,%bl
jne    1261 <clipchar+0x161>
mov    -0x4c(%rsp),%esi
mov    %sil,0x4(%rdi,%rax,1)
pextrw $0x5,%xmm4,%esi
test   $0x1,%sil
je     1296 <clipchar+0x196>
movdqa %xmm3,%xmm5
pslldq $0x5,%xmm5
pextrw $0x5,%xmm5,%esi
movdqa %xmm2,-0x60(%rsp)
movzbl -0x5b(%rsp),%ebx
test   $0x1,%sil
cmovne %r9d,%ebx
mov    %bl,0x5(%rdi,%rax,1)
pextrw $0x6,%xmm4,%esi
test   $0x1,%sil
je     12bd <clipchar+0x1bd>
pextrw $0x3,%xmm3,%esi
movdqa %xmm2,-0x70(%rsp)
movzbl -0x6a(%rsp),%ebx
test   $0x1,%sil
cmovne %r9d,%ebx
mov    %bl,0x6(%rdi,%rax,1)
pextrw $0x7,%xmm4,%esi
test   $0x1,%sil
je     1150 <clipchar+0x50>
pslldq $0x7,%xmm3
pextrw $0x7,%xmm3,%esi
movdqa %xmm2,-0x80(%rsp)
movzbl -0x79(%rsp),%ebx
test   $0x1,%sil
cmovne %r9d,%ebx
mov    %bl,0x7(%rdi,%rax,1)
jmp    1150 <clipchar+0x50>
cmp    %rcx,%r10
jne    12fb <clipchar+0x1fb>
xor    %eax,%eax
pop    %rbx
ret
movzbl %dl,%eax
jmp    1317 <clipchar+0x217>
cmp    %dl,%sil
movzbl %sil,%esi
cmovg  %eax,%esi
mov    %sil,(%rdi,%r10,1)
add    $0x1,%r10
cmp    %r10,%rcx
je     12f7 <clipchar+0x1f7>
movzbl (%rdi,%r10,1),%esi
cmp    %r8b,%sil
cmovl  %r8d,%esi
jl     1300 <clipchar+0x200>
cmp    %dl,%sil
jle    130e <clipchar+0x20e>
jmp    1300 <clipchar+0x200>

LLVM IR (-O0):
define i32 @clipchar(i8* %0, i8 signext %1, i8 signext %2, i64 %3) {
%5 = alloca i8*
%6 = alloca i8
%7 = alloca i8
%8 = alloca i64
%9 = alloca i64
store i8* %0, i8** %5
store i8 %1, i8* %6
store i8 %2, i8* %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 i8*, i8** %5
%16 = load i64, i64* %9
%17 = getelementptr inbounds i8, i8* %15, i64 %16
%18 = load i8, i8* %17
%19 = sext i8 %18 to i32
%20 = load i8, i8* %6
%21 = sext i8 %20 to i32
%22 = icmp slt i32 %19, %21
br i1 %22, label %23, label %28
23: ; preds = %14
%24 = load i8, i8* %6
%25 = load i8*, i8** %5
%26 = load i64, i64* %9
%27 = getelementptr inbounds i8, i8* %25, i64 %26
store i8 %24, i8* %27
br label %28
28: ; preds = %23, %14
%29 = load i8*, i8** %5
%30 = load i64, i64* %9
%31 = getelementptr inbounds i8, i8* %29, i64 %30
%32 = load i8, i8* %31
%33 = sext i8 %32 to i32
%34 = load i8, i8* %7
%35 = sext i8 %34 to i32
%36 = icmp sgt i32 %33, %35
br i1 %36, label %37, label %42
37: ; preds = %28
%38 = load i8, i8* %7
%39 = load i8*, i8** %5
%40 = load i64, i64* %9
%41 = getelementptr inbounds i8, i8* %39, i64 %40
store i8 %38, i8* %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 @clipchar(i8* nocapture %0, i8 signext %1, i8 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 i8> poison, i8 %1, i64 0
%11 = shufflevector <8 x i8> %10, <8 x i8> poison, <8 x i32> zeroinitializer
%12 = insertelement <8 x i8> poison, i8 %2, i64 0
%13 = shufflevector <8 x i8> %12, <8 x i8> poison, <8 x i32> zeroinitializer
br label %14
14: ; preds = %85, %8
%15 = phi i64 [ 0, %8 ], [ %86, %85 ]
%16 = getelementptr inbounds i8, i8* %0, i64 %15
%17 = bitcast i8* %16 to <8 x i8>*
%18 = load <8 x i8>, <8 x i8>* %17
%19 = icmp slt <8 x i8> %18, %11
%20 = select <8 x i1> %19, <8 x i8> %11, <8 x i8> %18
%21 = icmp sgt <8 x i8> %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 i8> %20, i64 0
%27 = select i1 %25, i8 %2, i8 %26
%28 = getelementptr inbounds i8, i8* %0, i64 %15
store i8 %27, i8* %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 i8> %20, i64 1
%35 = select i1 %33, i8 %2, i8 %34
%36 = getelementptr inbounds i8, i8* %0, i64 %32
store i8 %35, i8* %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 i8> %20, i64 2
%43 = select i1 %41, i8 %2, i8 %42
%44 = getelementptr inbounds i8, i8* %0, i64 %40
store i8 %43, i8* %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 i8> %20, i64 3
%51 = select i1 %49, i8 %2, i8 %50
%52 = getelementptr inbounds i8, i8* %0, i64 %48
store i8 %51, i8* %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 i8> %20, i64 4
%59 = select i1 %57, i8 %2, i8 %58
%60 = getelementptr inbounds i8, i8* %0, i64 %56
store i8 %59, i8* %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 i8> %20, i64 5
%67 = select i1 %65, i8 %2, i8 %66
%68 = getelementptr inbounds i8, i8* %0, i64 %64
store i8 %67, i8* %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 i8> %20, i64 6
%75 = select i1 %73, i8 %2, i8 %74
%76 = getelementptr inbounds i8, i8* %0, i64 %72
store i8 %75, i8* %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 i8> %20, i64 7
%83 = select i1 %81, i8 %2, i8 %82
%84 = getelementptr inbounds i8, i8* %0, i64 %80
store i8 %83, i8* %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 i8, i8* %0, i64 %93
%95 = load i8, i8* %94
%96 = icmp slt i8 %95, %1
%97 = select i1 %96, i8 %1, i8 %95
%98 = icmp sgt i8 %97, %2
%99 = or i1 %96, %98
br i1 %99, label %100, label %102
100: ; preds = %92
%101 = select i1 %98, i8 %2, i8 %97
store i8 %101, i8* %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
}