#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*/ memset(char *, int /*<<< orphan*/, int);
int /*<<< orphan*/ sprintf(char *, char *, int);
void analysis_continue_count(int *sorted_numbers, int n, char *buf,
                             int buf_size) {
  int cont_count = 0;
  for (int i = 0; i < n - 1; i++) {
    if (sorted_numbers[i] + 1 == sorted_numbers[i + 1]) {
      cont_count++;
    }
  }
  memset(buf, 0, buf_size * sizeof(char));
  sprintf(buf, "%d", cont_count);
}


x86 assembly (clang, -O0):
<analysis_continue_count>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1195 <analysis_continue_count+0x75>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    $0x1,%eax
mov    -0x8(%rbp),%rcx
mov    -0x24(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1182 <analysis_continue_count+0x62>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1187 <analysis_continue_count+0x67>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1144 <analysis_continue_count+0x24>
mov    -0x18(%rbp),%rdi
movslq -0x1c(%rbp),%rax
shl    $0x0,%rax
mov    %eax,%edx
xor    %esi,%esi
call   1030 <memset@plt>
mov    -0x18(%rbp),%rdi
mov    -0x20(%rbp),%edx
lea    0xe48(%rip),%rsi
call   1040 <sprintf@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<analysis_continue_count>:
push   %rbp
push   %r14
push   %rbx
mov    %rdx,%r14
xor    %ebp,%ebp
cmp    $0x2,%esi
jl     11fc <analysis_continue_count+0xdc>
add    $0xffffffff,%esi
mov    (%rdi),%edx
cmp    $0x8,%esi
jae    1146 <analysis_continue_count+0x26>
xor    %r8d,%r8d
xor    %ebp,%ebp
jmp    11e0 <analysis_continue_count+0xc0>
mov    %esi,%r8d
and    $0xfffffff8,%r8d
movd   %edx,%xmm0
pshufd $0x0,%xmm0,%xmm3
pxor   %xmm0,%xmm0
xor    %edx,%edx
pcmpeqd %xmm2,%xmm2
pxor   %xmm1,%xmm1
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movups 0x4(%rdi,%rdx,4),%xmm4
shufps $0x3,%xmm4,%xmm3
shufps $0x98,%xmm4,%xmm3
psubd  %xmm2,%xmm3
pcmpeqd %xmm4,%xmm3
psubd  %xmm3,%xmm0
movups 0x14(%rdi,%rdx,4),%xmm3
shufps $0x3,%xmm3,%xmm4
shufps $0x98,%xmm3,%xmm4
psubd  %xmm2,%xmm4
pcmpeqd %xmm3,%xmm4
psubd  %xmm4,%xmm1
add    $0x8,%rdx
cmp    %rdx,%r8
jne    1170 <analysis_continue_count+0x50>
paddd  %xmm0,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddd  %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%ebp
cmp    %rsi,%r8
je     11fc <analysis_continue_count+0xdc>
pshufd $0xff,%xmm3,%xmm0
movd   %xmm0,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%edx
mov    0x4(%rdi,%r8,4),%ebx
add    $0x1,%r8
xor    %eax,%eax
cmp    %ebx,%edx
sete   %al
add    %eax,%ebp
mov    %ebx,%edx
cmp    %r8,%rsi
jne    11e0 <analysis_continue_count+0xc0>
mov    %r14,%rdi
xor    %esi,%esi
mov    %ecx,%edx
call   1030 <memset@plt>
lea    0xdf1(%rip),%rsi
mov    %r14,%rdi
mov    %ebp,%edx
pop    %rbx
pop    %r14
pop    %rbp
jmp    1040 <sprintf@plt>

LLVM IR (-O0):
@.str = [3 x i8] c"%d\00"
define void @analysis_continue_count(i32* %0, i32 %1, i8* %2, i32 %3) {
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i32* %0, i32** %5
store i32 %1, i32* %6
store i8* %2, i8** %7
store i32 %3, i32* %8
store i32 0, i32* %9
store i32 0, i32* %10
br label %11
11: ; preds = %34, %4
%12 = load i32, i32* %10
%13 = load i32, i32* %6
%14 = sub nsw i32 %13, 1
%15 = icmp slt i32 %12, %14
br i1 %15, label %16, label %37
16: ; preds = %11
%17 = load i32*, i32** %5
%18 = load i32, i32* %10
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds i32, i32* %17, i64 %19
%21 = load i32, i32* %20
%22 = add nsw i32 %21, 1
%23 = load i32*, i32** %5
%24 = load i32, i32* %10
%25 = add nsw i32 %24, 1
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i32, i32* %23, i64 %26
%28 = load i32, i32* %27
%29 = icmp eq i32 %22, %28
br i1 %29, label %30, label %33
30: ; preds = %16
%31 = load i32, i32* %9
%32 = add nsw i32 %31, 1
store i32 %32, i32* %9
br label %33
33: ; preds = %30, %16
br label %34
34: ; preds = %33
%35 = load i32, i32* %10
%36 = add nsw i32 %35, 1
store i32 %36, i32* %10
br label %11
37: ; preds = %11
%38 = load i8*, i8** %7
%39 = load i32, i32* %8
%40 = sext i32 %39 to i64
%41 = mul i64 %40, 1
%42 = trunc i64 %41 to i32
%43 = call i32 @memset(i8* %38, i32 0, i32 %42)
%44 = load i8*, i8** %7
%45 = load i32, i32* %9
%46 = call i32 @sprintf(i8* %44, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 %45)
ret void
}

LLVM IR (-O2):
@.str = [3 x i8] c"%d\00"
define void @analysis_continue_count(i32* nocapture %0, i32 %1, i8* %2, i32 %3) {
%5 = icmp sgt i32 %1, 1
br i1 %5, label %6, label %47
6: ; preds = %4
%7 = add nsw i32 %1, -1
%8 = zext i32 %7 to i64
%9 = load i32, i32* %0
%10 = icmp ult i32 %7, 8
br i1 %10, label %43, label %11
11: ; preds = %6
%12 = and i64 %8, 4294967288
%13 = insertelement <4 x i32> poison, i32 %9, i64 3
br label %14
14: ; preds = %14, %11
%15 = phi i64 [ 0, %11 ], [ %36, %14 ]
%16 = phi <4 x i32> [ %13, %11 ], [ %25, %14 ]
%17 = phi <4 x i32> [ zeroinitializer, %11 ], [ %34, %14 ]
%18 = phi <4 x i32> [ zeroinitializer, %11 ], [ %35, %14 ]
%19 = or i64 %15, 1
%20 = getelementptr inbounds i32, i32* %0, i64 %19
%21 = bitcast i32* %20 to <4 x i32>*
%22 = load <4 x i32>, <4 x i32>* %21
%23 = getelementptr inbounds i32, i32* %20, i64 4
%24 = bitcast i32* %23 to <4 x i32>*
%25 = load <4 x i32>, <4 x i32>* %24
%26 = shufflevector <4 x i32> %16, <4 x i32> %22, <4 x i32> <i32 3, i32 4, i32 5, i32 6>
%27 = shufflevector <4 x i32> %22, <4 x i32> %25, <4 x i32> <i32 3, i32 4, i32 5, i32 6>
%28 = add nsw <4 x i32> %26, <i32 1, i32 1, i32 1, i32 1>
%29 = add nsw <4 x i32> %27, <i32 1, i32 1, i32 1, i32 1>
%30 = icmp eq <4 x i32> %28, %22
%31 = icmp eq <4 x i32> %29, %25
%32 = zext <4 x i1> %30 to <4 x i32>
%33 = zext <4 x i1> %31 to <4 x i32>
%34 = add <4 x i32> %17, %32
%35 = add <4 x i32> %18, %33
%36 = add nuw i64 %15, 8
%37 = icmp eq i64 %36, %12
br i1 %37, label %38, label %14
38: ; preds = %14
%39 = add <4 x i32> %35, %34
%40 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %39)
%41 = icmp eq i64 %12, %8
%42 = extractelement <4 x i32> %25, i64 3
br i1 %41, label %47, label %43
43: ; preds = %6, %38
%44 = phi i32 [ %42, %38 ], [ %9, %6 ]
%45 = phi i64 [ %12, %38 ], [ 0, %6 ]
%46 = phi i32 [ %40, %38 ], [ 0, %6 ]
br label %51
47: ; preds = %51, %38, %4
%48 = phi i32 [ 0, %4 ], [ %40, %38 ], [ %61, %51 ]
%49 = tail call i32 @memset(i8* %2, i32 0, i32 %3)
%50 = tail call i32 @sprintf(i8* dereferenceable(1) %2, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 %48)
ret void
51: ; preds = %43, %51
%52 = phi i32 [ %58, %51 ], [ %44, %43 ]
%53 = phi i64 [ %56, %51 ], [ %45, %43 ]
%54 = phi i32 [ %61, %51 ], [ %46, %43 ]
%55 = add nsw i32 %52, 1
%56 = add nuw nsw i64 %53, 1
%57 = getelementptr inbounds i32, i32* %0, i64 %56
%58 = load i32, i32* %57
%59 = icmp eq i32 %55, %58
%60 = zext i1 %59 to i32
%61 = add nuw nsw i32 %54, %60
%62 = icmp eq i64 %56, %8
br i1 %62, label %47, label %51
}