int findSmallerInRight(char *str, int low, int high) {
  int countRight = 0, i;
  for (i = low + 1; i <= high; ++i)
    if (str[i] < str[low])
      ++countRight;
  return countRight;
}


x86 assembly (clang, -O0):
<findSmallerInRight>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x10(%rbp),%eax
jg     1166 <findSmallerInRight+0x66>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jge    1153 <findSmallerInRight+0x53>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1158 <findSmallerInRight+0x58>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    111e <findSmallerInRight+0x1e>
mov    -0x14(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<findSmallerInRight>:
push   %rbx
xor    %eax,%eax
cmp    %edx,%esi
jge    1288 <findSmallerInRight+0x188>
movslq %esi,%rbx
mov    (%rdi,%rbx,1),%r11b
movslq %edx,%rdx
mov    %rdx,%r8
sub    %rbx,%r8
xor    %eax,%eax
cmp    $0x8,%r8
jb     1270 <findSmallerInRight+0x170>
mov    %r8,%r9
and    $0xfffffffffffffff8,%r9
movzbl %r11b,%eax
movd   %eax,%xmm0
punpcklbw %xmm0,%xmm0
pshuflw $0x0,%xmm0,%xmm0
lea    -0x8(%r9),%rax
mov    %rax,%r10
shr    $0x3,%r10
add    $0x1,%r10
test   %rax,%rax
je     128a <findSmallerInRight+0x18a>
mov    %r10,%rcx
and    $0xfffffffffffffffe,%rcx
lea    (%rbx,%rdi,1),%rsi
add    $0xd,%rsi
pxor   %xmm1,%xmm1
xor    %eax,%eax
movdqa 0xe8c(%rip),%xmm3
pxor   %xmm2,%xmm2
nopl   0x0(%rax,%rax,1)
movd   -0xc(%rsi,%rax,1),%xmm4
movd   -0x8(%rsi,%rax,1),%xmm5
movdqa %xmm0,%xmm6
pcmpgtb %xmm4,%xmm6
punpcklbw %xmm6,%xmm6
punpcklwd %xmm6,%xmm6
pand   %xmm3,%xmm6
paddd  %xmm1,%xmm6
movdqa %xmm0,%xmm4
pcmpgtb %xmm5,%xmm4
punpcklbw %xmm4,%xmm4
punpcklwd %xmm4,%xmm4
pand   %xmm3,%xmm4
paddd  %xmm2,%xmm4
movd   -0x4(%rsi,%rax,1),%xmm2
movd   (%rsi,%rax,1),%xmm5
movdqa %xmm0,%xmm1
pcmpgtb %xmm2,%xmm1
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
pand   %xmm3,%xmm1
paddd  %xmm6,%xmm1
movdqa %xmm0,%xmm2
pcmpgtb %xmm5,%xmm2
punpcklbw %xmm2,%xmm2
punpcklwd %xmm2,%xmm2
pand   %xmm3,%xmm2
paddd  %xmm4,%xmm2
add    $0x10,%rax
add    $0xfffffffffffffffe,%rcx
jne    1180 <findSmallerInRight+0x80>
test   $0x1,%r10b
je     124e <findSmallerInRight+0x14e>
add    %rbx,%rax
movd   0x1(%rdi,%rax,1),%xmm3
movd   0x5(%rdi,%rax,1),%xmm4
movdqa %xmm0,%xmm5
pcmpgtb %xmm3,%xmm5
punpcklbw %xmm5,%xmm5
punpcklwd %xmm5,%xmm5
movdqa 0xdce(%rip),%xmm3
pand   %xmm3,%xmm5
paddd  %xmm5,%xmm1
pcmpgtb %xmm4,%xmm0
punpcklbw %xmm0,%xmm0
punpcklwd %xmm0,%xmm0
pand   %xmm3,%xmm0
paddd  %xmm0,%xmm2
paddd  %xmm2,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddd  %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%eax
cmp    %r9,%r8
je     1288 <findSmallerInRight+0x188>
add    %r9,%rbx
xor    %ecx,%ecx
cmp    %r11b,0x1(%rdi,%rbx,1)
lea    0x1(%rbx),%rsi
setl   %cl
add    %ecx,%eax
mov    %rsi,%rbx
cmp    %rsi,%rdx
jne    1270 <findSmallerInRight+0x170>
pop    %rbx
ret
pxor   %xmm1,%xmm1
xor    %eax,%eax
pxor   %xmm2,%xmm2
test   $0x1,%r10b
jne    120b <findSmallerInRight+0x10b>
jmp    124e <findSmallerInRight+0x14e>

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

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