int check_arithmetic_seq(int *tab) {
  if (tab[1] - tab[0] == tab[2] - tab[1] &&
      tab[2] - tab[1] == tab[3] - tab[2] &&
      tab[3] - tab[2] == tab[4] - tab[3] &&
      tab[4] - tab[3] == tab[5] - tab[4] &&
      tab[5] - tab[4] == tab[6] - tab[5]) {
    return 1;
  } else {
    return 0;
  }
}


x86 assembly (clang, -O0):
<check_arithmetic_seq>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
mov    -0x10(%rbp),%rcx
sub    (%rcx),%eax
mov    -0x10(%rbp),%rcx
mov    0x8(%rcx),%ecx
mov    -0x10(%rbp),%rdx
sub    0x4(%rdx),%ecx
cmp    %ecx,%eax
jne    11c7 <check_arithmetic_seq+0xc7>
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%eax
mov    -0x10(%rbp),%rcx
sub    0x4(%rcx),%eax
mov    -0x10(%rbp),%rcx
mov    0xc(%rcx),%ecx
mov    -0x10(%rbp),%rdx
sub    0x8(%rdx),%ecx
cmp    %ecx,%eax
jne    11c7 <check_arithmetic_seq+0xc7>
mov    -0x10(%rbp),%rax
mov    0xc(%rax),%eax
mov    -0x10(%rbp),%rcx
sub    0x8(%rcx),%eax
mov    -0x10(%rbp),%rcx
mov    0x10(%rcx),%ecx
mov    -0x10(%rbp),%rdx
sub    0xc(%rdx),%ecx
cmp    %ecx,%eax
jne    11c7 <check_arithmetic_seq+0xc7>
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%eax
mov    -0x10(%rbp),%rcx
sub    0xc(%rcx),%eax
mov    -0x10(%rbp),%rcx
mov    0x14(%rcx),%ecx
mov    -0x10(%rbp),%rdx
sub    0x10(%rdx),%ecx
cmp    %ecx,%eax
jne    11c7 <check_arithmetic_seq+0xc7>
mov    -0x10(%rbp),%rax
mov    0x14(%rax),%eax
mov    -0x10(%rbp),%rcx
sub    0x10(%rcx),%eax
mov    -0x10(%rbp),%rcx
mov    0x18(%rcx),%ecx
mov    -0x10(%rbp),%rdx
sub    0x14(%rdx),%ecx
cmp    %ecx,%eax
jne    11c7 <check_arithmetic_seq+0xc7>
movl   $0x1,-0x4(%rbp)
jmp    11ce <check_arithmetic_seq+0xce>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_arithmetic_seq>:
mov    0x4(%rdi),%ecx
mov    0x8(%rdi),%eax
mov    %eax,%edx
sub    %ecx,%edx
sub    (%rdi),%ecx
cmp    %edx,%ecx
jne    113f <check_arithmetic_seq+0x3f>
mov    0xc(%rdi),%edx
mov    %edx,%esi
sub    %eax,%esi
cmp    %esi,%ecx
jne    113f <check_arithmetic_seq+0x3f>
mov    0x10(%rdi),%eax
mov    %eax,%esi
sub    %edx,%esi
cmp    %esi,%ecx
jne    113f <check_arithmetic_seq+0x3f>
mov    0x14(%rdi),%edx
mov    %edx,%esi
sub    %eax,%esi
cmp    %esi,%ecx
jne    113f <check_arithmetic_seq+0x3f>
mov    0x18(%rdi),%esi
sub    %edx,%esi
mov    $0x1,%eax
cmp    %esi,%ecx
je     1141 <check_arithmetic_seq+0x41>
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @check_arithmetic_seq(i32* %0) {
%2 = alloca i32
%3 = alloca i32*
store i32* %0, i32** %3
%4 = load i32*, i32** %3
%5 = getelementptr inbounds i32, i32* %4, i64 1
%6 = load i32, i32* %5
%7 = load i32*, i32** %3
%8 = getelementptr inbounds i32, i32* %7, i64 0
%9 = load i32, i32* %8
%10 = sub nsw i32 %6, %9
%11 = load i32*, i32** %3
%12 = getelementptr inbounds i32, i32* %11, i64 2
%13 = load i32, i32* %12
%14 = load i32*, i32** %3
%15 = getelementptr inbounds i32, i32* %14, i64 1
%16 = load i32, i32* %15
%17 = sub nsw i32 %13, %16
%18 = icmp eq i32 %10, %17
br i1 %18, label %19, label %84
19: ; preds = %1
%20 = load i32*, i32** %3
%21 = getelementptr inbounds i32, i32* %20, i64 2
%22 = load i32, i32* %21
%23 = load i32*, i32** %3
%24 = getelementptr inbounds i32, i32* %23, i64 1
%25 = load i32, i32* %24
%26 = sub nsw i32 %22, %25
%27 = load i32*, i32** %3
%28 = getelementptr inbounds i32, i32* %27, i64 3
%29 = load i32, i32* %28
%30 = load i32*, i32** %3
%31 = getelementptr inbounds i32, i32* %30, i64 2
%32 = load i32, i32* %31
%33 = sub nsw i32 %29, %32
%34 = icmp eq i32 %26, %33
br i1 %34, label %35, label %84
35: ; preds = %19
%36 = load i32*, i32** %3
%37 = getelementptr inbounds i32, i32* %36, i64 3
%38 = load i32, i32* %37
%39 = load i32*, i32** %3
%40 = getelementptr inbounds i32, i32* %39, i64 2
%41 = load i32, i32* %40
%42 = sub nsw i32 %38, %41
%43 = load i32*, i32** %3
%44 = getelementptr inbounds i32, i32* %43, i64 4
%45 = load i32, i32* %44
%46 = load i32*, i32** %3
%47 = getelementptr inbounds i32, i32* %46, i64 3
%48 = load i32, i32* %47
%49 = sub nsw i32 %45, %48
%50 = icmp eq i32 %42, %49
br i1 %50, label %51, label %84
51: ; preds = %35
%52 = load i32*, i32** %3
%53 = getelementptr inbounds i32, i32* %52, i64 4
%54 = load i32, i32* %53
%55 = load i32*, i32** %3
%56 = getelementptr inbounds i32, i32* %55, i64 3
%57 = load i32, i32* %56
%58 = sub nsw i32 %54, %57
%59 = load i32*, i32** %3
%60 = getelementptr inbounds i32, i32* %59, i64 5
%61 = load i32, i32* %60
%62 = load i32*, i32** %3
%63 = getelementptr inbounds i32, i32* %62, i64 4
%64 = load i32, i32* %63
%65 = sub nsw i32 %61, %64
%66 = icmp eq i32 %58, %65
br i1 %66, label %67, label %84
67: ; preds = %51
%68 = load i32*, i32** %3
%69 = getelementptr inbounds i32, i32* %68, i64 5
%70 = load i32, i32* %69
%71 = load i32*, i32** %3
%72 = getelementptr inbounds i32, i32* %71, i64 4
%73 = load i32, i32* %72
%74 = sub nsw i32 %70, %73
%75 = load i32*, i32** %3
%76 = getelementptr inbounds i32, i32* %75, i64 6
%77 = load i32, i32* %76
%78 = load i32*, i32** %3
%79 = getelementptr inbounds i32, i32* %78, i64 5
%80 = load i32, i32* %79
%81 = sub nsw i32 %77, %80
%82 = icmp eq i32 %74, %81
br i1 %82, label %83, label %84
83: ; preds = %67
store i32 1, i32* %2
br label %85
84: ; preds = %67, %51, %35, %19, %1
store i32 0, i32* %2
br label %85
85: ; preds = %84, %83
%86 = load i32, i32* %2
ret i32 %86
}

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