int _findLower(int *vector, int lastIndex, int lowerUntilNow) {
  if (lastIndex == 0) {
    return lowerUntilNow;
  } else {
    int current = vector[--lastIndex];
    lowerUntilNow = (lowerUntilNow < current) ? lowerUntilNow : current;
    return _findLower(vector, lastIndex, lowerUntilNow);
  }
}


x86 assembly (clang, -O0):
<_findLower>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    1137 <_findLower+0x27>
mov    -0x18(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1182 <_findLower+0x72>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x14(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1164 <_findLower+0x54>
mov    -0x18(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    116a <_findLower+0x5a>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
call   1030 <_findLower@plt>
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<_findLower>:
mov    %edx,%eax
test   %esi,%esi
je     12b1 <_findLower+0x1b1>
movslq %esi,%rcx
add    $0xffffffff,%esi
cmp    $0x7,%esi
jb     12a0 <_findLower+0x1a0>
add    $0x1,%rsi
mov    %rsi,%r8
and    $0xfffffffffffffff8,%r8
movd   %eax,%xmm0
pshufd $0x0,%xmm0,%xmm0
lea    -0x8(%r8),%rax
mov    %rax,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rax,%rax
je     12b2 <_findLower+0x1b2>
mov    %r9,%rax
and    $0xfffffffffffffffe,%rax
lea    (%rdi,%rcx,4),%r10
add    $0xfffffffffffffff0,%r10
mov    $0xfffffffffffffffc,%rdx
movdqa %xmm0,%xmm1
nop
movdqu -0x20(%r10,%rdx,4),%xmm2
movdqu -0x10(%r10,%rdx,4),%xmm3
movdqu (%r10,%rdx,4),%xmm4
movdqu 0x10(%r10,%rdx,4),%xmm5
pshufd $0x1b,%xmm5,%xmm5
pshufd $0x1b,%xmm4,%xmm4
movdqa %xmm0,%xmm6
pcmpgtd %xmm5,%xmm6
pand   %xmm6,%xmm5
pandn  %xmm0,%xmm6
por    %xmm5,%xmm6
movdqa %xmm1,%xmm5
pcmpgtd %xmm4,%xmm5
pand   %xmm5,%xmm4
pandn  %xmm1,%xmm5
por    %xmm4,%xmm5
pshufd $0x1b,%xmm3,%xmm1
pshufd $0x1b,%xmm2,%xmm2
movdqa %xmm6,%xmm0
pcmpgtd %xmm1,%xmm0
pand   %xmm0,%xmm1
pandn  %xmm6,%xmm0
por    %xmm1,%xmm0
movdqa %xmm5,%xmm1
pcmpgtd %xmm2,%xmm1
pand   %xmm1,%xmm2
pandn  %xmm5,%xmm1
por    %xmm2,%xmm1
add    $0xfffffffffffffff0,%rdx
add    $0xfffffffffffffffe,%rax
jne    1160 <_findLower+0x60>
add    $0x3,%rdx
test   $0x1,%r9b
je     1240 <_findLower+0x140>
add    %rcx,%rdx
movdqu -0x1c(%rdi,%rdx,4),%xmm2
movdqu -0xc(%rdi,%rdx,4),%xmm3
pshufd $0x1b,%xmm3,%xmm3
pshufd $0x1b,%xmm2,%xmm2
movdqa %xmm0,%xmm4
pcmpgtd %xmm3,%xmm4
pand   %xmm4,%xmm3
pandn  %xmm0,%xmm4
por    %xmm3,%xmm4
movdqa %xmm1,%xmm3
pcmpgtd %xmm2,%xmm3
pand   %xmm3,%xmm2
pandn  %xmm1,%xmm3
por    %xmm2,%xmm3
movdqa %xmm4,%xmm0
movdqa %xmm3,%xmm1
movdqa %xmm1,%xmm2
pcmpgtd %xmm0,%xmm2
pand   %xmm2,%xmm0
pandn  %xmm1,%xmm2
por    %xmm0,%xmm2
pshufd $0xee,%xmm2,%xmm0
movdqa %xmm0,%xmm1
pcmpgtd %xmm2,%xmm1
pand   %xmm1,%xmm2
pandn  %xmm0,%xmm1
por    %xmm2,%xmm1
pshufd $0x55,%xmm1,%xmm0
movdqa %xmm0,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm1
pandn  %xmm0,%xmm2
por    %xmm1,%xmm2
movd   %xmm2,%eax
cmp    %r8,%rsi
je     12b1 <_findLower+0x1b1>
sub    %r8,%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    -0x4(%rdi,%rcx,4),%edx
add    $0xffffffffffffffff,%rcx
cmp    %eax,%edx
cmovle %edx,%eax
test   %ecx,%ecx
jne    12a0 <_findLower+0x1a0>
ret
mov    $0xffffffffffffffff,%rdx
movdqa %xmm0,%xmm1
test   $0x1,%r9b
jne    11f7 <_findLower+0xf7>
jmp    1240 <_findLower+0x140>

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

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