int amount_touched(double *a, int size, double val) {
  int i, last;
  last = size - 1;
  for (i = last; i >= 0; i--) {
    if (a[i] == val)
      last = i;
  }
  return (last);
}


x86 assembly (clang, -O0):
<amount_touched>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movsd  %xmm0,-0x18(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jl     1160 <amount_touched+0x60>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
ucomisd -0x18(%rbp),%xmm0
jne    114d <amount_touched+0x4d>
jp     114d <amount_touched+0x4d>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    1152 <amount_touched+0x52>
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    111f <amount_touched+0x1f>
mov    -0x20(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<amount_touched>:
lea    -0x1(%rsi),%r8d
test   %esi,%esi
jle    1184 <amount_touched+0x84>
mov    %r8d,%ecx
lea    0x1(%r8),%esi
mov    %r8d,%eax
and    $0x3,%rsi
je     1137 <amount_touched+0x37>
nopl   0x0(%rax,%rax,1)
ucomisd (%rdi,%rcx,8),%xmm0
mov    %ecx,%edx
cmovne %eax,%edx
cmovnp %edx,%eax
add    $0xffffffffffffffff,%rcx
add    $0xffffffffffffffff,%rsi
jne    1120 <amount_touched+0x20>
cmp    $0x3,%r8d
jb     1183 <amount_touched+0x83>
nopl   (%rax)
ucomisd (%rdi,%rcx,8),%xmm0
mov    %ecx,%edx
cmovne %eax,%edx
cmovp  %eax,%edx
lea    -0x1(%rcx),%eax
ucomisd -0x8(%rdi,%rcx,8),%xmm0
cmovne %edx,%eax
cmovp  %edx,%eax
lea    -0x2(%rcx),%edx
ucomisd -0x10(%rdi,%rcx,8),%xmm0
cmovne %eax,%edx
cmovp  %eax,%edx
ucomisd -0x18(%rdi,%rcx,8),%xmm0
lea    -0x3(%rcx),%rcx
mov    %ecx,%eax
cmovne %edx,%eax
cmovp  %edx,%eax
sub    $0x1,%rcx
jae    1140 <amount_touched+0x40>
ret
mov    %r8d,%eax
ret

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

LLVM IR (-O2):
define i32 @amount_touched(double* nocapture %0, i32 %1, double %2) {
%4 = add i32 %1, -1
%5 = icmp sgt i32 %1, 0
br i1 %5, label %6, label %56
6: ; preds = %3
%7 = zext i32 %4 to i64
%8 = add nuw nsw i64 %7, 1
%9 = and i64 %8, 3
%10 = icmp eq i64 %9, 0
br i1 %10, label %23, label %11
11: ; preds = %6, %11
%12 = phi i64 [ %20, %11 ], [ %7, %6 ]
%13 = phi i32 [ %19, %11 ], [ %4, %6 ]
%14 = phi i64 [ %21, %11 ], [ 0, %6 ]
%15 = getelementptr inbounds double, double* %0, i64 %12
%16 = load double, double* %15
%17 = fcmp oeq double %16, %2
%18 = trunc i64 %12 to i32
%19 = select i1 %17, i32 %18, i32 %13
%20 = add nsw i64 %12, -1
%21 = add i64 %14, 1
%22 = icmp eq i64 %21, %9
br i1 %22, label %23, label %11
23: ; preds = %11, %6
%24 = phi i32 [ undef, %6 ], [ %19, %11 ]
%25 = phi i64 [ %7, %6 ], [ %20, %11 ]
%26 = phi i32 [ %4, %6 ], [ %19, %11 ]
%27 = icmp ult i32 %4, 3
br i1 %27, label %56, label %28
28: ; preds = %23, %28
%29 = phi i64 [ %54, %28 ], [ %25, %23 ]
%30 = phi i32 [ %53, %28 ], [ %26, %23 ]
%31 = getelementptr inbounds double, double* %0, i64 %29
%32 = load double, double* %31
%33 = fcmp oeq double %32, %2
%34 = trunc i64 %29 to i32
%35 = select i1 %33, i32 %34, i32 %30
%36 = add nsw i64 %29, -1
%37 = getelementptr inbounds double, double* %0, i64 %36
%38 = load double, double* %37
%39 = fcmp oeq double %38, %2
%40 = trunc i64 %36 to i32
%41 = select i1 %39, i32 %40, i32 %35
%42 = add nsw i64 %29, -2
%43 = getelementptr inbounds double, double* %0, i64 %42
%44 = load double, double* %43
%45 = fcmp oeq double %44, %2
%46 = trunc i64 %42 to i32
%47 = select i1 %45, i32 %46, i32 %41
%48 = add nsw i64 %29, -3
%49 = getelementptr inbounds double, double* %0, i64 %48
%50 = load double, double* %49
%51 = fcmp oeq double %50, %2
%52 = trunc i64 %48 to i32
%53 = select i1 %51, i32 %52, i32 %47
%54 = add nsw i64 %29, -4
%55 = icmp eq i64 %48, 0
br i1 %55, label %56, label %28
56: ; preds = %23, %28, %3
%57 = phi i32 [ %4, %3 ], [ %24, %23 ], [ %53, %28 ]
ret i32 %57
}