int condition_reduction(int *a, int min_v) {
  int last = 30 + 65;
  for (char i = 0; i < 30; i++)
    if (a[i] < min_v)
      last = a[i];
  return last;
}


x86 assembly (clang, -O0):
<condition_reduction>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x5f,-0x10(%rbp)
movb   $0x0,-0x11(%rbp)
movsbl -0x11(%rbp),%eax
cmp    $0x1e,%eax
jge    1159 <condition_reduction+0x59>
mov    -0x8(%rbp),%rax
movsbq -0x11(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0xc(%rbp),%eax
jge    1147 <condition_reduction+0x47>
mov    -0x8(%rbp),%rax
movsbq -0x11(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x10(%rbp)
jmp    114c <condition_reduction+0x4c>
mov    -0x11(%rbp),%al
add    $0x1,%al
mov    %al,-0x11(%rbp)
jmp    1116 <condition_reduction+0x16>
mov    -0x10(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<condition_reduction>:
mov    (%rdi),%ecx
cmp    %esi,%ecx
mov    $0x5f,%eax
cmovl  %ecx,%eax
mov    0x4(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x8(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0xc(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x10(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x14(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x18(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x1c(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x20(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x24(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x28(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x2c(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x30(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x34(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x38(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x3c(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x40(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x44(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x48(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x4c(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x50(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x54(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x58(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x5c(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x60(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x64(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x68(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x6c(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x70(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
mov    0x74(%rdi),%ecx
cmp    %esi,%ecx
cmovl  %ecx,%eax
ret

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

LLVM IR (-O2):
define i32 @condition_reduction(i32* nocapture %0, i32 %1) {
%3 = load i32, i32* %0
%4 = icmp slt i32 %3, %1
%5 = select i1 %4, i32 %3, i32 95
%6 = getelementptr inbounds i32, i32* %0, i64 1
%7 = load i32, i32* %6
%8 = icmp slt i32 %7, %1
%9 = select i1 %8, i32 %7, i32 %5
%10 = getelementptr inbounds i32, i32* %0, i64 2
%11 = load i32, i32* %10
%12 = icmp slt i32 %11, %1
%13 = select i1 %12, i32 %11, i32 %9
%14 = getelementptr inbounds i32, i32* %0, i64 3
%15 = load i32, i32* %14
%16 = icmp slt i32 %15, %1
%17 = select i1 %16, i32 %15, i32 %13
%18 = getelementptr inbounds i32, i32* %0, i64 4
%19 = load i32, i32* %18
%20 = icmp slt i32 %19, %1
%21 = select i1 %20, i32 %19, i32 %17
%22 = getelementptr inbounds i32, i32* %0, i64 5
%23 = load i32, i32* %22
%24 = icmp slt i32 %23, %1
%25 = select i1 %24, i32 %23, i32 %21
%26 = getelementptr inbounds i32, i32* %0, i64 6
%27 = load i32, i32* %26
%28 = icmp slt i32 %27, %1
%29 = select i1 %28, i32 %27, i32 %25
%30 = getelementptr inbounds i32, i32* %0, i64 7
%31 = load i32, i32* %30
%32 = icmp slt i32 %31, %1
%33 = select i1 %32, i32 %31, i32 %29
%34 = getelementptr inbounds i32, i32* %0, i64 8
%35 = load i32, i32* %34
%36 = icmp slt i32 %35, %1
%37 = select i1 %36, i32 %35, i32 %33
%38 = getelementptr inbounds i32, i32* %0, i64 9
%39 = load i32, i32* %38
%40 = icmp slt i32 %39, %1
%41 = select i1 %40, i32 %39, i32 %37
%42 = getelementptr inbounds i32, i32* %0, i64 10
%43 = load i32, i32* %42
%44 = icmp slt i32 %43, %1
%45 = select i1 %44, i32 %43, i32 %41
%46 = getelementptr inbounds i32, i32* %0, i64 11
%47 = load i32, i32* %46
%48 = icmp slt i32 %47, %1
%49 = select i1 %48, i32 %47, i32 %45
%50 = getelementptr inbounds i32, i32* %0, i64 12
%51 = load i32, i32* %50
%52 = icmp slt i32 %51, %1
%53 = select i1 %52, i32 %51, i32 %49
%54 = getelementptr inbounds i32, i32* %0, i64 13
%55 = load i32, i32* %54
%56 = icmp slt i32 %55, %1
%57 = select i1 %56, i32 %55, i32 %53
%58 = getelementptr inbounds i32, i32* %0, i64 14
%59 = load i32, i32* %58
%60 = icmp slt i32 %59, %1
%61 = select i1 %60, i32 %59, i32 %57
%62 = getelementptr inbounds i32, i32* %0, i64 15
%63 = load i32, i32* %62
%64 = icmp slt i32 %63, %1
%65 = select i1 %64, i32 %63, i32 %61
%66 = getelementptr inbounds i32, i32* %0, i64 16
%67 = load i32, i32* %66
%68 = icmp slt i32 %67, %1
%69 = select i1 %68, i32 %67, i32 %65
%70 = getelementptr inbounds i32, i32* %0, i64 17
%71 = load i32, i32* %70
%72 = icmp slt i32 %71, %1
%73 = select i1 %72, i32 %71, i32 %69
%74 = getelementptr inbounds i32, i32* %0, i64 18
%75 = load i32, i32* %74
%76 = icmp slt i32 %75, %1
%77 = select i1 %76, i32 %75, i32 %73
%78 = getelementptr inbounds i32, i32* %0, i64 19
%79 = load i32, i32* %78
%80 = icmp slt i32 %79, %1
%81 = select i1 %80, i32 %79, i32 %77
%82 = getelementptr inbounds i32, i32* %0, i64 20
%83 = load i32, i32* %82
%84 = icmp slt i32 %83, %1
%85 = select i1 %84, i32 %83, i32 %81
%86 = getelementptr inbounds i32, i32* %0, i64 21
%87 = load i32, i32* %86
%88 = icmp slt i32 %87, %1
%89 = select i1 %88, i32 %87, i32 %85
%90 = getelementptr inbounds i32, i32* %0, i64 22
%91 = load i32, i32* %90
%92 = icmp slt i32 %91, %1
%93 = select i1 %92, i32 %91, i32 %89
%94 = getelementptr inbounds i32, i32* %0, i64 23
%95 = load i32, i32* %94
%96 = icmp slt i32 %95, %1
%97 = select i1 %96, i32 %95, i32 %93
%98 = getelementptr inbounds i32, i32* %0, i64 24
%99 = load i32, i32* %98
%100 = icmp slt i32 %99, %1
%101 = select i1 %100, i32 %99, i32 %97
%102 = getelementptr inbounds i32, i32* %0, i64 25
%103 = load i32, i32* %102
%104 = icmp slt i32 %103, %1
%105 = select i1 %104, i32 %103, i32 %101
%106 = getelementptr inbounds i32, i32* %0, i64 26
%107 = load i32, i32* %106
%108 = icmp slt i32 %107, %1
%109 = select i1 %108, i32 %107, i32 %105
%110 = getelementptr inbounds i32, i32* %0, i64 27
%111 = load i32, i32* %110
%112 = icmp slt i32 %111, %1
%113 = select i1 %112, i32 %111, i32 %109
%114 = getelementptr inbounds i32, i32* %0, i64 28
%115 = load i32, i32* %114
%116 = icmp slt i32 %115, %1
%117 = select i1 %116, i32 %115, i32 %113
%118 = getelementptr inbounds i32, i32* %0, i64 29
%119 = load i32, i32* %118
%120 = icmp slt i32 %119, %1
%121 = select i1 %120, i32 %119, i32 %117
ret i32 %121
}