#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ printf(char *, ...);
int /*<<< orphan*/ putchar(char);
void foo(int arr[], int n) {
  int i, beg, end, min, max;
  for (beg = 1; beg < n; ++beg) {
    if (arr[beg] < arr[beg - 1])
      break;
  }
  for (end = n - 2; end >= beg; --end) {
    if (arr[end] > arr[end + 1])
      break;
  }
  if (beg - 1 < end + 1) {
    --beg;
    ++end;
    min = max = arr[beg];
    for (i = beg; i <= end; ++i) {
      if (arr[i] > max)
        max = arr[i];
      if (arr[i] < min)
        min = arr[i];
    }
    for (i = 0; i < beg; ++i)
      if (arr[i] >= min) {
        beg = i;
        break;
      }
    for (i = end + 1; i < n; ++i)
      if (arr[i] <= max) {
        end = i;
      }
    printf("Unsorted array [%d:%d]:", beg, end);
    for (; beg <= end; ++beg)
      printf(" %d", arr[beg]);
    putchar('\n');
  } else
    printf("Array is sorted\n");
}


x86 assembly (clang, -O0):
<foo>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x1,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    117b <foo+0x5b>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x14(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1168 <foo+0x48>
jmp    117b <foo+0x5b>
jmp    116d <foo+0x4d>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1136 <foo+0x16>
mov    -0xc(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jl     11c9 <foo+0xa9>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x18(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jle    11b6 <foo+0x96>
jmp    11c9 <foo+0xa9>
jmp    11bb <foo+0x9b>
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
jmp    1184 <foo+0x64>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jge    1346 <foo+0x226>
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x20(%rbp)
mov    %eax,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x18(%rbp),%eax
jg     1269 <foo+0x149>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x20(%rbp),%eax
jle    1234 <foo+0x114>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jge    1256 <foo+0x136>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
jmp    125b <foo+0x13b>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1206 <foo+0xe6>
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    12ae <foo+0x18e>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jl     129b <foo+0x17b>
mov    -0x10(%rbp),%eax
mov    %eax,-0x14(%rbp)
jmp    12ae <foo+0x18e>
jmp    12a0 <foo+0x180>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1270 <foo+0x150>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    12f0 <foo+0x1d0>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x20(%rbp),%eax
jg     12dd <foo+0x1bd>
mov    -0x10(%rbp),%eax
mov    %eax,-0x18(%rbp)
jmp    12e2 <foo+0x1c2>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    12b7 <foo+0x197>
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
lea    0xd03(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jg     1337 <foo+0x217>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
lea    0xcf6(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1304 <foo+0x1e4>
mov    $0xa,%edi
call   1030 <putchar@plt>
jmp    1354 <foo+0x234>
lea    0xccf(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<foo>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdi,%r14
mov    $0x1,%ecx
cmp    $0x2,%esi
jl     1175 <foo+0x45>
mov    %esi,%eax
mov    (%r14),%edx
mov    $0x1,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %edx,%edi
mov    (%r14,%rcx,4),%edx
cmp    %edi,%edx
jl     1175 <foo+0x45>
add    $0x1,%rcx
cmp    %rcx,%rax
jne    1160 <foo+0x30>
mov    %eax,%ecx
lea    -0x2(%rsi),%eax
movslq %ecx,%rbp
cmp    %ecx,%eax
jl     11a9 <foo+0x79>
movslq %eax,%rdx
lea    -0x1(%rcx),%edi
add    $0x1,%rdx
nopl   0x0(%rax)
mov    -0x4(%r14,%rdx,4),%ebx
cmp    (%r14,%rdx,4),%ebx
jg     11a9 <foo+0x79>
add    $0xffffffff,%eax
add    $0xffffffffffffffff,%rdx
cmp    %rbp,%rdx
jg     1190 <foo+0x60>
mov    %edi,%eax
lea    0x1(%rax),%ebx
cmp    %ebx,%ecx
jle    11ca <foo+0x9a>
lea    0xe65(%rip),%rdi
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <puts@plt>
lea    -0x1(%rcx),%r15d
mov    -0x4(%r14,%rbp,4),%edi
cmp    %ebx,%r15d
jg     11ed <foo+0xbd>
add    $0xffffffffffffffff,%rbp
lea    0x2(%rax),%r8d
lea    0x1(%rbp),%r9
cmp    %r9d,%r8d
jne    12de <foo+0x1ae>
mov    %edi,%ebp
cmp    $0x2,%ecx
jl     1214 <foo+0xe4>
mov    %r15d,%edx
xor    %ecx,%ecx
nopl   0x0(%rax)
cmp    %edi,(%r14,%rcx,4)
jge    1211 <foo+0xe1>
add    $0x1,%rcx
cmp    %rcx,%rdx
jne    1200 <foo+0xd0>
jmp    1214 <foo+0xe4>
mov    %ecx,%r15d
lea    0x2(%rax),%ecx
cmp    %esi,%ecx
jge    1280 <foo+0x150>
movslq %ecx,%rcx
mov    %esi,%edx
sub    %eax,%edx
lea    0x2(%rdx),%eax
add    $0xfffffffd,%edx
and    $0x3,%eax
je     1240 <foo+0x110>
nopl   (%rax)
cmp    %ebp,(%r14,%rcx,4)
cmovle %ecx,%ebx
add    $0x1,%rcx
add    $0xffffffff,%eax
jne    1230 <foo+0x100>
cmp    $0x3,%edx
jb     1280 <foo+0x150>
cs nopw 0x0(%rax,%rax,1)
nop
cmp    %ebp,(%r14,%rcx,4)
cmovle %ecx,%ebx
cmp    %ebp,0x4(%r14,%rcx,4)
lea    0x1(%rcx),%eax
cmovg  %ebx,%eax
lea    0x2(%rcx),%edx
cmp    %ebp,0x8(%r14,%rcx,4)
cmovg  %eax,%edx
lea    0x3(%rcx),%ebx
cmp    %ebp,0xc(%r14,%rcx,4)
cmovg  %edx,%ebx
add    $0x4,%rcx
cmp    %esi,%ecx
jne    1250 <foo+0x120>
lea    0xd79(%rip),%rdi
mov    %r15d,%esi
mov    %ebx,%edx
xor    %eax,%eax
call   1050 <printf@plt>
cmp    %ebx,%r15d
jg     12c6 <foo+0x196>
movslq %r15d,%rax
lea    (%r14,%rax,4),%r12
sub    %r15d,%ebx
add    $0x1,%ebx
lea    0xd6c(%rip),%r14
xor    %ebp,%ebp
xchg   %ax,%ax
mov    (%r12,%rbp,4),%esi
mov    %r14,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
add    $0x1,%rbp
cmp    %ebp,%ebx
jne    12b0 <foo+0x180>
mov    $0xa,%edi
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <putchar@plt>
mov    %eax,%r10d
sub    %ecx,%r10d
add    $0x1,%r10d
cmp    $0x7,%r10d
jae    12f5 <foo+0x1c5>
mov    %edi,%ebp
jmp    155b <foo+0x42b>
add    $0x1,%r10
mov    %r10,%rdx
and    $0xfffffffffffffff8,%rdx
movd   %edi,%xmm0
pshufd $0x0,%xmm0,%xmm10
lea    -0x8(%rdx),%rdi
mov    %rdi,%r11
shr    $0x3,%r11
add    $0x1,%r11
test   %rdi,%rdi
je     157c <foo+0x44c>
mov    %r11,%r13
and    $0xfffffffffffffffe,%r13
lea    (%r14,%rbp,4),%r12
add    $0x34,%r12
xor    %edi,%edi
movdqa %xmm10,%xmm4
movdqa %xmm10,%xmm3
movdqa %xmm10,%xmm2
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movdqu -0x30(%r12,%rdi,4),%xmm1
movdqu -0x20(%r12,%rdi,4),%xmm5
movdqu -0x10(%r12,%rdi,4),%xmm9
movdqu (%r12,%rdi,4),%xmm8
movdqa %xmm1,%xmm6
pcmpgtd %xmm3,%xmm6
movdqa %xmm1,%xmm0
pand   %xmm6,%xmm0
pandn  %xmm3,%xmm6
por    %xmm0,%xmm6
movdqa %xmm5,%xmm7
pcmpgtd %xmm2,%xmm7
movdqa %xmm5,%xmm0
pand   %xmm7,%xmm0
pandn  %xmm2,%xmm7
por    %xmm0,%xmm7
movdqa %xmm10,%xmm0
pcmpgtd %xmm1,%xmm0
pand   %xmm0,%xmm1
pandn  %xmm10,%xmm0
por    %xmm1,%xmm0
movdqa %xmm4,%xmm1
pcmpgtd %xmm5,%xmm1
pand   %xmm1,%xmm5
pandn  %xmm4,%xmm1
por    %xmm5,%xmm1
movdqa %xmm9,%xmm3
pcmpgtd %xmm6,%xmm3
movdqa %xmm9,%xmm2
pand   %xmm3,%xmm2
pandn  %xmm6,%xmm3
por    %xmm2,%xmm3
movdqa %xmm8,%xmm2
pcmpgtd %xmm7,%xmm2
movdqa %xmm8,%xmm4
pand   %xmm2,%xmm4
pandn  %xmm7,%xmm2
por    %xmm4,%xmm2
movdqa %xmm0,%xmm10
pcmpgtd %xmm9,%xmm10
pand   %xmm10,%xmm9
pandn  %xmm0,%xmm10
por    %xmm9,%xmm10
movdqa %xmm1,%xmm4
pcmpgtd %xmm8,%xmm4
pand   %xmm4,%xmm8
pandn  %xmm1,%xmm4
por    %xmm8,%xmm4
add    $0x10,%rdi
add    $0xfffffffffffffffe,%r13
jne    1350 <foo+0x220>
test   $0x1,%r11b
je     14b8 <foo+0x388>
add    %r9,%rdi
movdqu (%r14,%rdi,4),%xmm0
movdqu 0x10(%r14,%rdi,4),%xmm1
movdqa %xmm0,%xmm5
pcmpgtd %xmm3,%xmm5
movdqa %xmm0,%xmm6
pand   %xmm5,%xmm6
pandn  %xmm3,%xmm5
por    %xmm6,%xmm5
movdqa %xmm1,%xmm6
pcmpgtd %xmm2,%xmm6
movdqa %xmm1,%xmm3
pand   %xmm6,%xmm3
pandn  %xmm2,%xmm6
por    %xmm3,%xmm6
movdqa %xmm10,%xmm7
pcmpgtd %xmm0,%xmm7
pand   %xmm7,%xmm0
pandn  %xmm10,%xmm7
por    %xmm0,%xmm7
movdqa %xmm4,%xmm0
pcmpgtd %xmm1,%xmm0
pand   %xmm0,%xmm1
pandn  %xmm4,%xmm0
por    %xmm1,%xmm0
movdqa %xmm5,%xmm3
movdqa %xmm6,%xmm2
movdqa %xmm7,%xmm10
movdqa %xmm0,%xmm4
movdqa %xmm3,%xmm0
pcmpgtd %xmm2,%xmm0
pand   %xmm0,%xmm3
pandn  %xmm2,%xmm0
por    %xmm3,%xmm0
pshufd $0xee,%xmm0,%xmm1
movdqa %xmm0,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm0
pandn  %xmm1,%xmm2
por    %xmm0,%xmm2
pshufd $0x55,%xmm2,%xmm0
movdqa %xmm2,%xmm1
pcmpgtd %xmm0,%xmm1
pand   %xmm1,%xmm2
pandn  %xmm0,%xmm1
por    %xmm2,%xmm1
movd   %xmm1,%ebp
movdqa %xmm4,%xmm0
pcmpgtd %xmm10,%xmm0
pand   %xmm0,%xmm10
pandn  %xmm4,%xmm0
por    %xmm10,%xmm0
pshufd $0xee,%xmm0,%xmm1
movdqa %xmm1,%xmm2
pcmpgtd %xmm0,%xmm2
pand   %xmm2,%xmm0
pandn  %xmm1,%xmm2
por    %xmm0,%xmm2
pshufd $0x55,%xmm2,%xmm0
movdqa %xmm0,%xmm1
pcmpgtd %xmm2,%xmm1
pand   %xmm1,%xmm2
pandn  %xmm0,%xmm1
por    %xmm2,%xmm1
movd   %xmm1,%edi
cmp    %rdx,%r10
je     11ef <foo+0xbf>
add    %rdx,%r9
mov    %r8d,%r8d
xchg   %ax,%ax
mov    (%r14,%r9,4),%edx
cmp    %ebp,%edx
cmovg  %edx,%ebp
cmp    %edi,%edx
cmovl  %edx,%edi
add    $0x1,%r9
cmp    %r9d,%r8d
jne    1560 <foo+0x430>
jmp    11ef <foo+0xbf>
xor    %edi,%edi
movdqa %xmm10,%xmm4
movdqa %xmm10,%xmm3
movdqa %xmm10,%xmm2
test   $0x1,%r11b
jne    143d <foo+0x30d>
jmp    14b8 <foo+0x388>

LLVM IR (-O0):
@.str = [24 x i8] c"Unsorted array [%d:%d]:\00"
@.str.1 = [4 x i8] c" %d\00"
@.str.2 = [17 x i8] c"Array is sorted\0A\00"
define void @foo(i32* %0, i32 %1) {
%3 = alloca i32*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i32* %0, i32** %3
store i32 %1, i32* %4
store i32 1, i32* %6
br label %10
10: ; preds = %29, %2
%11 = load i32, i32* %6
%12 = load i32, i32* %4
%13 = icmp slt i32 %11, %12
br i1 %13, label %14, label %32
14: ; preds = %10
%15 = load i32*, i32** %3
%16 = load i32, i32* %6
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i32, i32* %15, i64 %17
%19 = load i32, i32* %18
%20 = load i32*, i32** %3
%21 = load i32, i32* %6
%22 = sub nsw i32 %21, 1
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds i32, i32* %20, i64 %23
%25 = load i32, i32* %24
%26 = icmp slt i32 %19, %25
br i1 %26, label %27, label %28
27: ; preds = %14
br label %32
28: ; preds = %14
br label %29
29: ; preds = %28
%30 = load i32, i32* %6
%31 = add nsw i32 %30, 1
store i32 %31, i32* %6
br label %10
32: ; preds = %27, %10
%33 = load i32, i32* %4
%34 = sub nsw i32 %33, 2
store i32 %34, i32* %7
br label %35
35: ; preds = %54, %32
%36 = load i32, i32* %7
%37 = load i32, i32* %6
%38 = icmp sge i32 %36, %37
br i1 %38, label %39, label %57
39: ; preds = %35
%40 = load i32*, i32** %3
%41 = load i32, i32* %7
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds i32, i32* %40, i64 %42
%44 = load i32, i32* %43
%45 = load i32*, i32** %3
%46 = load i32, i32* %7
%47 = add nsw i32 %46, 1
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i32, i32* %45, i64 %48
%50 = load i32, i32* %49
%51 = icmp sgt i32 %44, %50
br i1 %51, label %52, label %53
52: ; preds = %39
br label %57
53: ; preds = %39
br label %54
54: ; preds = %53
%55 = load i32, i32* %7
%56 = add nsw i32 %55, -1
store i32 %56, i32* %7
br label %35
57: ; preds = %52, %35
%58 = load i32, i32* %6
%59 = sub nsw i32 %58, 1
%60 = load i32, i32* %7
%61 = add nsw i32 %60, 1
%62 = icmp slt i32 %59, %61
br i1 %62, label %63, label %170
63: ; preds = %57
%64 = load i32, i32* %6
%65 = add nsw i32 %64, -1
store i32 %65, i32* %6
%66 = load i32, i32* %7
%67 = add nsw i32 %66, 1
store i32 %67, i32* %7
%68 = load i32*, i32** %3
%69 = load i32, i32* %6
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds i32, i32* %68, i64 %70
%72 = load i32, i32* %71
store i32 %72, i32* %9
store i32 %72, i32* %8
%73 = load i32, i32* %6
store i32 %73, i32* %5
br label %74
74: ; preds = %107, %63
%75 = load i32, i32* %5
%76 = load i32, i32* %7
%77 = icmp sle i32 %75, %76
br i1 %77, label %78, label %110
78: ; preds = %74
%79 = load i32*, i32** %3
%80 = load i32, i32* %5
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds i32, i32* %79, i64 %81
%83 = load i32, i32* %82
%84 = load i32, i32* %9
%85 = icmp sgt i32 %83, %84
br i1 %85, label %86, label %92
86: ; preds = %78
%87 = load i32*, i32** %3
%88 = load i32, i32* %5
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds i32, i32* %87, i64 %89
%91 = load i32, i32* %90
store i32 %91, i32* %9
br label %92
92: ; preds = %86, %78
%93 = load i32*, i32** %3
%94 = load i32, i32* %5
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds i32, i32* %93, i64 %95
%97 = load i32, i32* %96
%98 = load i32, i32* %8
%99 = icmp slt i32 %97, %98
br i1 %99, label %100, label %106
100: ; preds = %92
%101 = load i32*, i32** %3
%102 = load i32, i32* %5
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds i32, i32* %101, i64 %103
%105 = load i32, i32* %104
store i32 %105, i32* %8
br label %106
106: ; preds = %100, %92
br label %107
107: ; preds = %106
%108 = load i32, i32* %5
%109 = add nsw i32 %108, 1
store i32 %109, i32* %5
br label %74
110: ; preds = %74
store i32 0, i32* %5
br label %111
111: ; preds = %126, %110
%112 = load i32, i32* %5
%113 = load i32, i32* %6
%114 = icmp slt i32 %112, %113
br i1 %114, label %115, label %129
115: ; preds = %111
%116 = load i32*, i32** %3
%117 = load i32, i32* %5
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds i32, i32* %116, i64 %118
%120 = load i32, i32* %119
%121 = load i32, i32* %8
%122 = icmp sge i32 %120, %121
br i1 %122, label %123, label %125
123: ; preds = %115
%124 = load i32, i32* %5
store i32 %124, i32* %6
br label %129
125: ; preds = %115
br label %126
126: ; preds = %125
%127 = load i32, i32* %5
%128 = add nsw i32 %127, 1
store i32 %128, i32* %5
br label %111
129: ; preds = %123, %111
%130 = load i32, i32* %7
%131 = add nsw i32 %130, 1
store i32 %131, i32* %5
br label %132
132: ; preds = %147, %129
%133 = load i32, i32* %5
%134 = load i32, i32* %4
%135 = icmp slt i32 %133, %134
br i1 %135, label %136, label %150
136: ; preds = %132
%137 = load i32*, i32** %3
%138 = load i32, i32* %5
%139 = sext i32 %138 to i64
%140 = getelementptr inbounds i32, i32* %137, i64 %139
%141 = load i32, i32* %140
%142 = load i32, i32* %9
%143 = icmp sle i32 %141, %142
br i1 %143, label %144, label %146
144: ; preds = %136
%145 = load i32, i32* %5
store i32 %145, i32* %7
br label %146
146: ; preds = %144, %136
br label %147
147: ; preds = %146
%148 = load i32, i32* %5
%149 = add nsw i32 %148, 1
store i32 %149, i32* %5
br label %132
150: ; preds = %132
%151 = load i32, i32* %6
%152 = load i32, i32* %7
%153 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str, i64 0, i64 0), i32 %151, i32 %152)
br label %154
154: ; preds = %165, %150
%155 = load i32, i32* %6
%156 = load i32, i32* %7
%157 = icmp sle i32 %155, %156
br i1 %157, label %158, label %168
158: ; preds = %154
%159 = load i32*, i32** %3
%160 = load i32, i32* %6
%161 = sext i32 %160 to i64
%162 = getelementptr inbounds i32, i32* %159, i64 %161
%163 = load i32, i32* %162
%164 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0), i32 %163)
br label %165
165: ; preds = %158
%166 = load i32, i32* %6
%167 = add nsw i32 %166, 1
store i32 %167, i32* %6
br label %154
168: ; preds = %154
%169 = call i32 @putchar(i8 signext 10)
br label %172
170: ; preds = %57
%171 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0))
br label %172
172: ; preds = %170, %168
ret void
}

LLVM IR (-O2):
@.str = [24 x i8] c"Unsorted array [%d:%d]:\00"
@.str.1 = [4 x i8] c" %d\00"
@str = [16 x i8] c"Array is sorted\00"
define void @foo(i32* nocapture %0, i32 %1) {
%3 = icmp sgt i32 %1, 1
br i1 %3, label %4, label %18
4: ; preds = %2
%5 = zext i32 %1 to i64
%6 = load i32, i32* %0
br label %7
7: ; preds = %4, %13
%8 = phi i32 [ %6, %4 ], [ %11, %13 ]
%9 = phi i64 [ 1, %4 ], [ %14, %13 ]
%10 = getelementptr inbounds i32, i32* %0, i64 %9
%11 = load i32, i32* %10
%12 = icmp slt i32 %11, %8
br i1 %12, label %16, label %13
13: ; preds = %7
%14 = add nuw nsw i64 %9, 1
%15 = icmp eq i64 %14, %5
br i1 %15, label %18, label %7
16: ; preds = %7
%17 = trunc i64 %9 to i32
br label %18
18: ; preds = %13, %16, %2
%19 = phi i32 [ 1, %2 ], [ %17, %16 ], [ %1, %13 ]
%20 = add i32 %1, -2
%21 = icmp slt i32 %20, %19
br i1 %21, label %39, label %22
22: ; preds = %18
%23 = sext i32 %20 to i64
%24 = sext i32 %19 to i64
%25 = add i32 %19, -1
br label %26
26: ; preds = %22, %34
%27 = phi i64 [ %23, %22 ], [ %35, %34 ]
%28 = getelementptr inbounds i32, i32* %0, i64 %27
%29 = load i32, i32* %28
%30 = add nsw i64 %27, 1
%31 = getelementptr inbounds i32, i32* %0, i64 %30
%32 = load i32, i32* %31
%33 = icmp sgt i32 %29, %32
br i1 %33, label %37, label %34
34: ; preds = %26
%35 = add nsw i64 %27, -1
%36 = icmp sgt i64 %27, %24
br i1 %36, label %26, label %39
37: ; preds = %26
%38 = trunc i64 %27 to i32
br label %39
39: ; preds = %34, %37, %18
%40 = phi i32 [ %20, %18 ], [ %38, %37 ], [ %25, %34 ]
%41 = add nsw i32 %40, 1
%42 = icmp sgt i32 %19, %41
br i1 %42, label %262, label %43
43: ; preds = %39
%44 = add nsw i32 %19, -1
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds i32, i32* %0, i64 %45
%47 = load i32, i32* %46
%48 = icmp sgt i32 %44, %41
br i1 %48, label %158, label %49
49: ; preds = %43
%50 = add i32 %40, 2
%51 = add nsw i64 %45, 1
%52 = trunc i64 %51 to i32
%53 = icmp eq i32 %50, %52
br i1 %53, label %158, label %54
54: ; preds = %49
%55 = add i32 %40, 1
%56 = sub i32 %55, %19
%57 = zext i32 %56 to i64
%58 = add nuw nsw i64 %57, 1
%59 = icmp ult i32 %56, 7
br i1 %59, label %154, label %60
60: ; preds = %54
%61 = and i64 %58, 8589934584
%62 = add nsw i64 %51, %61
%63 = insertelement <4 x i32> poison, i32 %47, i64 0
%64 = shufflevector <4 x i32> %63, <4 x i32> poison, <4 x i32> zeroinitializer
%65 = insertelement <4 x i32> poison, i32 %47, i64 0
%66 = shufflevector <4 x i32> %65, <4 x i32> poison, <4 x i32> zeroinitializer
%67 = add nsw i64 %61, -8
%68 = lshr exact i64 %67, 3
%69 = add nuw nsw i64 %68, 1
%70 = and i64 %69, 1
%71 = icmp eq i64 %67, 0
br i1 %71, label %115, label %72
72: ; preds = %60
%73 = and i64 %69, 4611686018427387902
br label %74
74: ; preds = %74, %72
%75 = phi i64 [ 0, %72 ], [ %112, %74 ]
%76 = phi <4 x i32> [ %64, %72 ], [ %110, %74 ]
%77 = phi <4 x i32> [ %64, %72 ], [ %111, %74 ]
%78 = phi <4 x i32> [ %66, %72 ], [ %106, %74 ]
%79 = phi <4 x i32> [ %66, %72 ], [ %107, %74 ]
%80 = phi i64 [ 0, %72 ], [ %113, %74 ]
%81 = add i64 %51, %75
%82 = getelementptr inbounds i32, i32* %0, i64 %81
%83 = bitcast i32* %82 to <4 x i32>*
%84 = load <4 x i32>, <4 x i32>* %83
%85 = getelementptr inbounds i32, i32* %82, i64 4
%86 = bitcast i32* %85 to <4 x i32>*
%87 = load <4 x i32>, <4 x i32>* %86
%88 = icmp sgt <4 x i32> %84, %78
%89 = icmp sgt <4 x i32> %87, %79
%90 = select <4 x i1> %88, <4 x i32> %84, <4 x i32> %78
%91 = select <4 x i1> %89, <4 x i32> %87, <4 x i32> %79
%92 = icmp slt <4 x i32> %84, %76
%93 = icmp slt <4 x i32> %87, %77
%94 = select <4 x i1> %92, <4 x i32> %84, <4 x i32> %76
%95 = select <4 x i1> %93, <4 x i32> %87, <4 x i32> %77
%96 = or i64 %75, 8
%97 = add i64 %51, %96
%98 = getelementptr inbounds i32, i32* %0, i64 %97
%99 = bitcast i32* %98 to <4 x i32>*
%100 = load <4 x i32>, <4 x i32>* %99
%101 = getelementptr inbounds i32, i32* %98, i64 4
%102 = bitcast i32* %101 to <4 x i32>*
%103 = load <4 x i32>, <4 x i32>* %102
%104 = icmp sgt <4 x i32> %100, %90
%105 = icmp sgt <4 x i32> %103, %91
%106 = select <4 x i1> %104, <4 x i32> %100, <4 x i32> %90
%107 = select <4 x i1> %105, <4 x i32> %103, <4 x i32> %91
%108 = icmp slt <4 x i32> %100, %94
%109 = icmp slt <4 x i32> %103, %95
%110 = select <4 x i1> %108, <4 x i32> %100, <4 x i32> %94
%111 = select <4 x i1> %109, <4 x i32> %103, <4 x i32> %95
%112 = add nuw i64 %75, 16
%113 = add i64 %80, 2
%114 = icmp eq i64 %113, %73
br i1 %114, label %115, label %74
115: ; preds = %74, %60
%116 = phi <4 x i32> [ undef, %60 ], [ %106, %74 ]
%117 = phi <4 x i32> [ undef, %60 ], [ %107, %74 ]
%118 = phi <4 x i32> [ undef, %60 ], [ %110, %74 ]
%119 = phi <4 x i32> [ undef, %60 ], [ %111, %74 ]
%120 = phi i64 [ 0, %60 ], [ %112, %74 ]
%121 = phi <4 x i32> [ %64, %60 ], [ %110, %74 ]
%122 = phi <4 x i32> [ %64, %60 ], [ %111, %74 ]
%123 = phi <4 x i32> [ %66, %60 ], [ %106, %74 ]
%124 = phi <4 x i32> [ %66, %60 ], [ %107, %74 ]
%125 = icmp eq i64 %70, 0
br i1 %125, label %142, label %126
126: ; preds = %115
%127 = add i64 %51, %120
%128 = getelementptr inbounds i32, i32* %0, i64 %127
%129 = bitcast i32* %128 to <4 x i32>*
%130 = load <4 x i32>, <4 x i32>* %129
%131 = getelementptr inbounds i32, i32* %128, i64 4
%132 = bitcast i32* %131 to <4 x i32>*
%133 = load <4 x i32>, <4 x i32>* %132
%134 = icmp sgt <4 x i32> %130, %123
%135 = icmp sgt <4 x i32> %133, %124
%136 = select <4 x i1> %134, <4 x i32> %130, <4 x i32> %123
%137 = select <4 x i1> %135, <4 x i32> %133, <4 x i32> %124
%138 = icmp slt <4 x i32> %130, %121
%139 = icmp slt <4 x i32> %133, %122
%140 = select <4 x i1> %138, <4 x i32> %130, <4 x i32> %121
%141 = select <4 x i1> %139, <4 x i32> %133, <4 x i32> %122
br label %142
142: ; preds = %115, %126
%143 = phi <4 x i32> [ %116, %115 ], [ %136, %126 ]
%144 = phi <4 x i32> [ %117, %115 ], [ %137, %126 ]
%145 = phi <4 x i32> [ %118, %115 ], [ %140, %126 ]
%146 = phi <4 x i32> [ %119, %115 ], [ %141, %126 ]
%147 = icmp sgt <4 x i32> %143, %144
%148 = select <4 x i1> %147, <4 x i32> %143, <4 x i32> %144
%149 = call i32 @llvm.vector.reduce.smax.v4i32(<4 x i32> %148)
%150 = icmp slt <4 x i32> %145, %146
%151 = select <4 x i1> %150, <4 x i32> %145, <4 x i32> %146
%152 = call i32 @llvm.vector.reduce.smin.v4i32(<4 x i32> %151)
%153 = icmp eq i64 %58, %61
br i1 %153, label %158, label %154
154: ; preds = %54, %142
%155 = phi i64 [ %51, %54 ], [ %62, %142 ]
%156 = phi i32 [ %47, %54 ], [ %152, %142 ]
%157 = phi i32 [ %47, %54 ], [ %149, %142 ]
br label %164
158: ; preds = %164, %49, %142, %43
%159 = phi i32 [ %47, %43 ], [ %47, %49 ], [ %152, %142 ], [ %173, %164 ]
%160 = phi i32 [ %47, %43 ], [ %47, %49 ], [ %149, %142 ], [ %171, %164 ]
%161 = icmp sgt i32 %19, 1
br i1 %161, label %162, label %187
162: ; preds = %158
%163 = zext i32 %44 to i64
br label %177
164: ; preds = %154, %164
%165 = phi i64 [ %174, %164 ], [ %155, %154 ]
%166 = phi i32 [ %173, %164 ], [ %156, %154 ]
%167 = phi i32 [ %171, %164 ], [ %157, %154 ]
%168 = getelementptr inbounds i32, i32* %0, i64 %165
%169 = load i32, i32* %168
%170 = icmp sgt i32 %169, %167
%171 = select i1 %170, i32 %169, i32 %167
%172 = icmp slt i32 %169, %166
%173 = select i1 %172, i32 %169, i32 %166
%174 = add nsw i64 %165, 1
%175 = trunc i64 %174 to i32
%176 = icmp eq i32 %50, %175
br i1 %176, label %158, label %164
177: ; preds = %162, %182
%178 = phi i64 [ 0, %162 ], [ %183, %182 ]
%179 = getelementptr inbounds i32, i32* %0, i64 %178
%180 = load i32, i32* %179
%181 = icmp slt i32 %180, %159
br i1 %181, label %182, label %185
182: ; preds = %177
%183 = add nuw nsw i64 %178, 1
%184 = icmp eq i64 %183, %163
br i1 %184, label %187, label %177
185: ; preds = %177
%186 = trunc i64 %178 to i32
br label %187
187: ; preds = %182, %185, %158
%188 = phi i32 [ %44, %158 ], [ %186, %185 ], [ %44, %182 ]
%189 = add i32 %40, 2
%190 = icmp slt i32 %189, %1
br i1 %190, label %191, label %245
191: ; preds = %187
%192 = sext i32 %189 to i64
%193 = add i32 %1, 2
%194 = sub i32 %193, %40
%195 = add i32 %1, -3
%196 = sub i32 %195, %40
%197 = and i32 %194, 3
%198 = icmp eq i32 %197, 0
br i1 %198, label %211, label %199
199: ; preds = %191, %199
%200 = phi i64 [ %208, %199 ], [ %192, %191 ]
%201 = phi i32 [ %207, %199 ], [ %41, %191 ]
%202 = phi i32 [ %209, %199 ], [ 0, %191 ]
%203 = getelementptr inbounds i32, i32* %0, i64 %200
%204 = load i32, i32* %203
%205 = icmp sgt i32 %204, %160
%206 = trunc i64 %200 to i32
%207 = select i1 %205, i32 %201, i32 %206
%208 = add nsw i64 %200, 1
%209 = add i32 %202, 1
%210 = icmp eq i32 %209, %197
br i1 %210, label %211, label %199
211: ; preds = %199, %191
%212 = phi i32 [ undef, %191 ], [ %207, %199 ]
%213 = phi i64 [ %192, %191 ], [ %208, %199 ]
%214 = phi i32 [ %41, %191 ], [ %207, %199 ]
%215 = icmp ult i32 %196, 3
br i1 %215, label %245, label %216
216: ; preds = %211, %216
%217 = phi i64 [ %242, %216 ], [ %213, %211 ]
%218 = phi i32 [ %241, %216 ], [ %214, %211 ]
%219 = getelementptr inbounds i32, i32* %0, i64 %217
%220 = load i32, i32* %219
%221 = icmp sgt i32 %220, %160
%222 = trunc i64 %217 to i32
%223 = select i1 %221, i32 %218, i32 %222
%224 = add nsw i64 %217, 1
%225 = getelementptr inbounds i32, i32* %0, i64 %224
%226 = load i32, i32* %225
%227 = icmp sgt i32 %226, %160
%228 = trunc i64 %224 to i32
%229 = select i1 %227, i32 %223, i32 %228
%230 = add nsw i64 %217, 2
%231 = getelementptr inbounds i32, i32* %0, i64 %230
%232 = load i32, i32* %231
%233 = icmp sgt i32 %232, %160
%234 = trunc i64 %230 to i32
%235 = select i1 %233, i32 %229, i32 %234
%236 = add nsw i64 %217, 3
%237 = getelementptr inbounds i32, i32* %0, i64 %236
%238 = load i32, i32* %237
%239 = icmp sgt i32 %238, %160
%240 = trunc i64 %236 to i32
%241 = select i1 %239, i32 %235, i32 %240
%242 = add nsw i64 %217, 4
%243 = trunc i64 %242 to i32
%244 = icmp eq i32 %243, %1
br i1 %244, label %245, label %216
245: ; preds = %211, %216, %187
%246 = phi i32 [ %41, %187 ], [ %212, %211 ], [ %241, %216 ]
%247 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([24 x i8], [24 x i8]* @.str, i64 0, i64 0), i32 %188, i32 %246)
%248 = icmp sgt i32 %188, %246
br i1 %248, label %260, label %249
249: ; preds = %245
%250 = sext i32 %188 to i64
%251 = add i32 %246, 1
br label %252
252: ; preds = %249, %252
%253 = phi i64 [ %250, %249 ], [ %257, %252 ]
%254 = getelementptr inbounds i32, i32* %0, i64 %253
%255 = load i32, i32* %254
%256 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0), i32 %255)
%257 = add nsw i64 %253, 1
%258 = trunc i64 %257 to i32
%259 = icmp eq i32 %251, %258
br i1 %259, label %260, label %252
260: ; preds = %252, %245
%261 = tail call i32 @putchar(i8 signext 10)
br label %264
262: ; preds = %39
%263 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([16 x i8], [16 x i8]* @str, i64 0, i64 0))
br label %264
264: ; preds = %262, %260
ret void
}