int right(int *array) {
  int i, j;
  for (i = 0; i < 8; i++) {
    for (j = 0; j < i; j++) {
      if (array[i] == array[j])
        return 0;
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<right>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x8,-0x14(%rbp)
jge    117a <right+0x7a>
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1167 <right+0x67>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1154 <right+0x54>
movl   $0x0,-0x4(%rbp)
jmp    1181 <right+0x81>
jmp    1159 <right+0x59>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1120 <right+0x20>
jmp    116c <right+0x6c>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    110f <right+0xf>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<right>:
mov    0x4(%rdi),%eax
cmp    (%rdi),%eax
je     11b3 <right+0xb3>
mov    0x8(%rdi),%eax
cmp    (%rdi),%eax
je     11b3 <right+0xb3>
cmp    0x4(%rdi),%eax
je     11b3 <right+0xb3>
mov    0xc(%rdi),%eax
cmp    (%rdi),%eax
je     11b3 <right+0xb3>
cmp    0x4(%rdi),%eax
je     11b3 <right+0xb3>
cmp    0x8(%rdi),%eax
je     11b3 <right+0xb3>
mov    0x10(%rdi),%eax
cmp    (%rdi),%eax
je     11b3 <right+0xb3>
cmp    0x4(%rdi),%eax
je     11b3 <right+0xb3>
cmp    0x8(%rdi),%eax
je     11b3 <right+0xb3>
cmp    0xc(%rdi),%eax
je     11b3 <right+0xb3>
mov    0x14(%rdi),%eax
cmp    (%rdi),%eax
je     11b3 <right+0xb3>
cmp    0x4(%rdi),%eax
je     11b3 <right+0xb3>
cmp    0x8(%rdi),%eax
je     11b3 <right+0xb3>
cmp    0xc(%rdi),%eax
je     11b3 <right+0xb3>
cmp    0x10(%rdi),%eax
je     11b3 <right+0xb3>
mov    0x18(%rdi),%eax
cmp    (%rdi),%eax
je     11b3 <right+0xb3>
cmp    0x4(%rdi),%eax
je     11b3 <right+0xb3>
cmp    0x8(%rdi),%eax
je     11b3 <right+0xb3>
cmp    0xc(%rdi),%eax
je     11b3 <right+0xb3>
cmp    0x10(%rdi),%eax
je     11b3 <right+0xb3>
cmp    0x14(%rdi),%eax
je     11b3 <right+0xb3>
mov    0x1c(%rdi),%ecx
cmp    (%rdi),%ecx
je     11b3 <right+0xb3>
cmp    0x4(%rdi),%ecx
je     11b3 <right+0xb3>
cmp    0x8(%rdi),%ecx
je     11b3 <right+0xb3>
cmp    0xc(%rdi),%ecx
je     11b3 <right+0xb3>
cmp    0x10(%rdi),%ecx
je     11b3 <right+0xb3>
cmp    0x14(%rdi),%ecx
je     11b3 <right+0xb3>
mov    $0x1,%eax
cmp    0x18(%rdi),%ecx
jne    11b5 <right+0xb5>
xor    %eax,%eax
ret

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

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