#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 */
typedef int uint32_t;

/* Variables and functions */
int adjust_seed_4(int);
int distance_uint32(int, int);
int inverse_adjust_seed_4(int);
int /*<<< orphan*/ printf(char *, ...);
int main() {
  uint32_t seeds[(1 << 3) * 2];
  uint32_t num_seeds;
  uint32_t local_min_distance;
  uint32_t min_distance;
  uint32_t distance;
  uint32_t val;
  uint32_t i, j;
  int seeds_idx;
  int seeds_idx2;
  min_distance = 0xFFFFFFFF;
  i = (1 << 3);
  do {
    num_seeds = 0;
    j = i;
    do {
      val = inverse_adjust_seed_4(j);
      for (seeds_idx = 0; (seeds_idx < num_seeds) && val > seeds[seeds_idx];
           seeds_idx++) {
      }
      for (seeds_idx2 = num_seeds - 1; seeds_idx2 >= seeds_idx; seeds_idx2--)
        seeds[seeds_idx2 + 1] = seeds[seeds_idx2];
      seeds[seeds_idx] = val;
      num_seeds++;
      val = inverse_adjust_seed_4(j ^ 0x80000000);
      if (adjust_seed_4(val) < (1 << 3))
        j++;
    } while ((j & ((1 << 3) - 1)) != 0);
    local_min_distance = 0xFFFFFFFF;
    for (seeds_idx = 0; seeds_idx < num_seeds; seeds_idx++) {
      distance =
          distance_uint32(seeds[seeds_idx], seeds[(seeds_idx + 1) % num_seeds]);
      if (distance < local_min_distance)
        local_min_distance = distance;
    }
    if ((local_min_distance < 0x100) || (local_min_distance < min_distance)) {
      printf("min dist %08X; seed out %08X; seeds", local_min_distance, i);
      for (seeds_idx = 0; seeds_idx < num_seeds; seeds_idx++)
        printf(" %08X", seeds[seeds_idx]);
      printf("\n");
    }
    if (local_min_distance < min_distance) {
      min_distance = local_min_distance;
    }
    i += (1 << 3);
  } while (i != 0);
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0xffffffff,-0x5c(%rbp)
movl   $0x8,-0x68(%rbp)
movl   $0x0,-0x54(%rbp)
mov    -0x68(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x6c(%rbp),%edi
call   1030 <inverse_adjust_seed_4@plt>
mov    %eax,-0x64(%rbp)
movl   $0x0,-0x70(%rbp)
mov    -0x70(%rbp),%ecx
xor    %eax,%eax
cmp    -0x54(%rbp),%ecx
mov    %al,-0x75(%rbp)
jge    11a1 <main+0x61>
mov    -0x64(%rbp),%eax
movslq -0x70(%rbp),%rcx
cmp    -0x50(%rbp,%rcx,4),%eax
setg   %al
mov    %al,-0x75(%rbp)
mov    -0x75(%rbp),%al
test   $0x1,%al
jne    11b1 <main+0x71>
jmp    11c4 <main+0x84>
jmp    11b6 <main+0x76>
mov    -0x70(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x70(%rbp)
jmp    117f <main+0x3f>
mov    -0x54(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x74(%rbp)
mov    -0x74(%rbp),%eax
cmp    -0x70(%rbp),%eax
jl     11fb <main+0xbb>
movslq -0x74(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%ecx
mov    -0x74(%rbp),%eax
add    $0x1,%eax
cltq
mov    %ecx,-0x50(%rbp,%rax,4)
mov    -0x74(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x74(%rbp)
jmp    11cd <main+0x8d>
mov    -0x64(%rbp),%ecx
movslq -0x70(%rbp),%rax
mov    %ecx,-0x50(%rbp,%rax,4)
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
mov    -0x6c(%rbp),%edi
xor    $0x80000000,%edi
call   1030 <inverse_adjust_seed_4@plt>
mov    %eax,-0x64(%rbp)
mov    -0x64(%rbp),%edi
call   1040 <adjust_seed_4@plt>
cmp    $0x8,%eax
jge    123a <main+0xfa>
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    123f <main+0xff>
mov    -0x6c(%rbp),%eax
and    $0x7,%eax
cmp    $0x0,%eax
jne    116d <main+0x2d>
movl   $0xffffffff,-0x58(%rbp)
movl   $0x0,-0x70(%rbp)
mov    -0x70(%rbp),%eax
cmp    -0x54(%rbp),%eax
jge    12ae <main+0x16e>
movslq -0x70(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%edi
mov    -0x70(%rbp),%eax
add    $0x1,%eax
cltd
idivl  -0x54(%rbp)
movslq %edx,%rax
mov    -0x50(%rbp,%rax,4),%esi
call   1060 <distance_uint32@plt>
mov    %eax,-0x60(%rbp)
mov    -0x60(%rbp),%eax
cmp    -0x58(%rbp),%eax
jge    129b <main+0x15b>
mov    -0x60(%rbp),%eax
mov    %eax,-0x58(%rbp)
jmp    12a0 <main+0x160>
mov    -0x70(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x70(%rbp)
jmp    125c <main+0x11c>
cmpl   $0x100,-0x58(%rbp)
jl     12c7 <main+0x187>
mov    -0x58(%rbp),%eax
cmp    -0x5c(%rbp),%eax
jge    1320 <main+0x1e0>
mov    -0x58(%rbp),%esi
mov    -0x68(%rbp),%edx
lea    0xd2c(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
movl   $0x0,-0x70(%rbp)
mov    -0x70(%rbp),%eax
cmp    -0x54(%rbp),%eax
jge    1312 <main+0x1d2>
movslq -0x70(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%esi
lea    0xd27(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x70(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x70(%rbp)
jmp    12e2 <main+0x1a2>
lea    0xd11(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x58(%rbp),%eax
cmp    -0x5c(%rbp),%eax
jge    1332 <main+0x1f2>
mov    -0x58(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x68(%rbp),%eax
add    $0x8,%eax
mov    %eax,-0x68(%rbp)
cmpl   $0x0,-0x68(%rbp)
jne    1160 <main+0x20>
mov    -0x4(%rbp),%eax
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    $0x8,%r15d
lea    0xeb9(%rip),%r12
nopl   0x0(%rax,%rax,1)
mov    $0x1,%eax
xor    %ebp,%ebp
mov    %r15d,%ebx
jmp    11ae <main+0x5e>
nopl   0x0(%rax)
mov    %eax,(%rsp,%rcx,4)
add    $0x1,%rbp
mov    %ebx,%edi
or     $0x80000000,%edi
call   1040 <inverse_adjust_seed_4@plt>
mov    %eax,%edi
call   1050 <adjust_seed_4@plt>
xor    %ecx,%ecx
cmp    $0x8,%eax
setl   %cl
add    %ecx,%ebx
lea    0x1(%r13),%eax
test   $0x7,%bl
je     1200 <main+0xb0>
mov    %eax,%r13d
mov    %ebx,%edi
call   1040 <inverse_adjust_seed_4@plt>
xor    %ecx,%ecx
test   %rbp,%rbp
je     11d1 <main+0x81>
nop
cmp    (%rsp,%rcx,4),%eax
jle    11d1 <main+0x81>
add    $0x1,%rcx
cmp    %rcx,%rbp
jne    11c0 <main+0x70>
mov    %rbp,%rcx
mov    %ecx,%ecx
cmp    %rcx,%rbp
jbe    1180 <main+0x30>
movslq %ecx,%rdx
mov    %rbp,%rsi
xchg   %ax,%ax
mov    -0x4(%rsp,%rsi,4),%edi
mov    %edi,(%rsp,%rsi,4)
lea    -0x1(%rsi),%rdi
mov    %rdi,%rsi
cmp    %rdx,%rdi
jg     11e0 <main+0x90>
jmp    1180 <main+0x30>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %r13d,%r14d
mov    $0xffffffff,%r13d
xor    %ebx,%ebx
nopl   0x0(%rax,%rax,1)
mov    (%rsp,%rbx,4),%edi
add    $0x1,%rbx
mov    %ebx,%eax
xor    %edx,%edx
div    %ebp
mov    (%rsp,%rdx,4),%esi
call   1070 <distance_uint32@plt>
cmp    %r13d,%eax
cmovl  %eax,%r13d
cmp    %rbx,%r14
jne    1210 <main+0xc0>
lea    0xdc8(%rip),%rdi
mov    %r13d,%esi
mov    %r15d,%edx
xor    %eax,%eax
call   1060 <printf@plt>
xor    %ebx,%ebx
nopw   0x0(%rax,%rax,1)
mov    (%rsp,%rbx,4),%esi
mov    %r12,%rdi
xor    %eax,%eax
call   1060 <printf@plt>
add    $0x1,%rbx
cmp    %rbx,%r14
jne    1250 <main+0x100>
mov    $0xa,%edi
call   1030 <putchar@plt>
add    $0x8,%r15d
jmp    1170 <main+0x20>

LLVM IR (-O0):
@.str = [36 x i8] c"min dist %08X; seed out %08X; seeds\00"
@.str.1 = [6 x i8] c" %08X\00"
@.str.2 = [2 x i8] c"\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca [16 x i32]
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
store i32 0, i32* %1
store i32 -1, i32* %5
store i32 8, i32* %8
br label %12
12: ; preds = %136, %0
store i32 0, i32* %3
%13 = load i32, i32* %8
store i32 %13, i32* %9
br label %14
14: ; preds = %70, %12
%15 = load i32, i32* %9
%16 = call i32 @inverse_adjust_seed_4(i32 %15)
store i32 %16, i32* %7
store i32 0, i32* %10
br label %17
17: ; preds = %31, %14
%18 = load i32, i32* %10
%19 = load i32, i32* %3
%20 = icmp slt i32 %18, %19
br i1 %20, label %21, label %28
21: ; preds = %17
%22 = load i32, i32* %7
%23 = load i32, i32* %10
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %24
%26 = load i32, i32* %25
%27 = icmp sgt i32 %22, %26
br label %28
28: ; preds = %21, %17
%29 = phi i1 [ false, %17 ], [ %27, %21 ]
br i1 %29, label %30, label %34
30: ; preds = %28
br label %31
31: ; preds = %30
%32 = load i32, i32* %10
%33 = add nsw i32 %32, 1
store i32 %33, i32* %10
br label %17
34: ; preds = %28
%35 = load i32, i32* %3
%36 = sub nsw i32 %35, 1
store i32 %36, i32* %11
br label %37
37: ; preds = %50, %34
%38 = load i32, i32* %11
%39 = load i32, i32* %10
%40 = icmp sge i32 %38, %39
br i1 %40, label %41, label %53
41: ; preds = %37
%42 = load i32, i32* %11
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %43
%45 = load i32, i32* %44
%46 = load i32, i32* %11
%47 = add nsw i32 %46, 1
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %48
store i32 %45, i32* %49
br label %50
50: ; preds = %41
%51 = load i32, i32* %11
%52 = add nsw i32 %51, -1
store i32 %52, i32* %11
br label %37
53: ; preds = %37
%54 = load i32, i32* %7
%55 = load i32, i32* %10
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %56
store i32 %54, i32* %57
%58 = load i32, i32* %3
%59 = add nsw i32 %58, 1
store i32 %59, i32* %3
%60 = load i32, i32* %9
%61 = xor i32 %60, -2147483648
%62 = call i32 @inverse_adjust_seed_4(i32 %61)
store i32 %62, i32* %7
%63 = load i32, i32* %7
%64 = call i32 @adjust_seed_4(i32 %63)
%65 = icmp slt i32 %64, 8
br i1 %65, label %66, label %69
66: ; preds = %53
%67 = load i32, i32* %9
%68 = add nsw i32 %67, 1
store i32 %68, i32* %9
br label %69
69: ; preds = %66, %53
br label %70
70: ; preds = %69
%71 = load i32, i32* %9
%72 = and i32 %71, 7
%73 = icmp ne i32 %72, 0
br i1 %73, label %14, label %74
74: ; preds = %70
store i32 -1, i32* %4
store i32 0, i32* %10
br label %75
75: ; preds = %98, %74
%76 = load i32, i32* %10
%77 = load i32, i32* %3
%78 = icmp slt i32 %76, %77
br i1 %78, label %79, label %101
79: ; preds = %75
%80 = load i32, i32* %10
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %81
%83 = load i32, i32* %82
%84 = load i32, i32* %10
%85 = add nsw i32 %84, 1
%86 = load i32, i32* %3
%87 = srem i32 %85, %86
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %88
%90 = load i32, i32* %89
%91 = call i32 @distance_uint32(i32 %83, i32 %90)
store i32 %91, i32* %6
%92 = load i32, i32* %6
%93 = load i32, i32* %4
%94 = icmp slt i32 %92, %93
br i1 %94, label %95, label %97
95: ; preds = %79
%96 = load i32, i32* %6
store i32 %96, i32* %4
br label %97
97: ; preds = %95, %79
br label %98
98: ; preds = %97
%99 = load i32, i32* %10
%100 = add nsw i32 %99, 1
store i32 %100, i32* %10
br label %75
101: ; preds = %75
%102 = load i32, i32* %4
%103 = icmp slt i32 %102, 256
br i1 %103, label %108, label %104
104: ; preds = %101
%105 = load i32, i32* %4
%106 = load i32, i32* %5
%107 = icmp slt i32 %105, %106
br i1 %107, label %108, label %127
108: ; preds = %104, %101
%109 = load i32, i32* %4
%110 = load i32, i32* %8
%111 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str, i64 0, i64 0), i32 %109, i32 %110)
store i32 0, i32* %10
br label %112
112: ; preds = %122, %108
%113 = load i32, i32* %10
%114 = load i32, i32* %3
%115 = icmp slt i32 %113, %114
br i1 %115, label %116, label %125
116: ; preds = %112
%117 = load i32, i32* %10
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %118
%120 = load i32, i32* %119
%121 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i32 %120)
br label %122
122: ; preds = %116
%123 = load i32, i32* %10
%124 = add nsw i32 %123, 1
store i32 %124, i32* %10
br label %112
125: ; preds = %112
%126 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
br label %127
127: ; preds = %125, %104
%128 = load i32, i32* %4
%129 = load i32, i32* %5
%130 = icmp slt i32 %128, %129
br i1 %130, label %131, label %133
131: ; preds = %127
%132 = load i32, i32* %4
store i32 %132, i32* %5
br label %133
133: ; preds = %131, %127
%134 = load i32, i32* %8
%135 = add nsw i32 %134, 8
store i32 %135, i32* %8
br label %136
136: ; preds = %133
%137 = load i32, i32* %8
%138 = icmp ne i32 %137, 0
br i1 %138, label %12, label %139
139: ; preds = %136
%140 = load i32, i32* %1
ret i32 %140
}

LLVM IR (-O2):
@.str = [36 x i8] c"min dist %08X; seed out %08X; seeds\00"
@.str.1 = [6 x i8] c" %08X\00"
define i32 @main() {
%1 = alloca [16 x i32]
%2 = bitcast [16 x i32]* %1 to i8*
br label %3
3: ; preds = %73, %0
%4 = phi i32 [ 8, %0 ], [ %75, %73 ]
br label %5
5: ; preds = %34, %3
%6 = phi i64 [ %36, %34 ], [ 0, %3 ]
%7 = phi i32 [ %42, %34 ], [ %4, %3 ]
%8 = tail call i32 @inverse_adjust_seed_4(i32 %7)
%9 = icmp eq i64 %6, 0
br i1 %9, label %21, label %10
10: ; preds = %5, %15
%11 = phi i64 [ %16, %15 ], [ 0, %5 ]
%12 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 %11
%13 = load i32, i32* %12
%14 = icmp sgt i32 %8, %13
br i1 %14, label %15, label %18
15: ; preds = %10
%16 = add nuw nsw i64 %11, 1
%17 = icmp eq i64 %16, %6
br i1 %17, label %18, label %10
18: ; preds = %15, %10
%19 = phi i64 [ %11, %10 ], [ %6, %15 ]
%20 = trunc i64 %19 to i32
br label %21
21: ; preds = %18, %5
%22 = phi i32 [ 0, %5 ], [ %20, %18 ]
%23 = zext i32 %22 to i64
%24 = icmp ugt i64 %6, %23
br i1 %24, label %25, label %34
25: ; preds = %21
%26 = sext i32 %22 to i64
br label %27
27: ; preds = %25, %27
%28 = phi i64 [ %6, %25 ], [ %29, %27 ]
%29 = add nsw i64 %28, -1
%30 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 %29
%31 = load i32, i32* %30
%32 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 %28
store i32 %31, i32* %32
%33 = icmp sgt i64 %29, %26
br i1 %33, label %27, label %34
34: ; preds = %27, %21
%35 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 %23
store i32 %8, i32* %35
%36 = add nuw i64 %6, 1
%37 = or i32 %7, -2147483648
%38 = tail call i32 @inverse_adjust_seed_4(i32 %37)
%39 = tail call i32 @adjust_seed_4(i32 %38)
%40 = icmp slt i32 %39, 8
%41 = zext i1 %40 to i32
%42 = add nuw nsw i32 %7, %41
%43 = and i32 %42, 7
%44 = icmp eq i32 %43, 0
br i1 %44, label %45, label %5
45: ; preds = %34
%46 = trunc i64 %36 to i32
%47 = add i64 %6, 1
%48 = and i64 %47, 4294967295
br label %49
49: ; preds = %45, %49
%50 = phi i64 [ 0, %45 ], [ %54, %49 ]
%51 = phi i32 [ -1, %45 ], [ %62, %49 ]
%52 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 %50
%53 = load i32, i32* %52
%54 = add nuw nsw i64 %50, 1
%55 = trunc i64 %54 to i32
%56 = urem i32 %55, %46
%57 = zext i32 %56 to i64
%58 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 %57
%59 = load i32, i32* %58
%60 = tail call i32 @distance_uint32(i32 %53, i32 %59)
%61 = icmp slt i32 %60, %51
%62 = select i1 %61, i32 %60, i32 %51
%63 = icmp eq i64 %54, %48
br i1 %63, label %64, label %49
64: ; preds = %49
%65 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @.str, i64 0, i64 0), i32 %62, i32 %4)
br label %66
66: ; preds = %64, %66
%67 = phi i64 [ 0, %64 ], [ %71, %66 ]
%68 = getelementptr inbounds [16 x i32], [16 x i32]* %1, i64 0, i64 %67
%69 = load i32, i32* %68
%70 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i32 %69)
%71 = add nuw nsw i64 %67, 1
%72 = icmp eq i64 %71, %48
br i1 %72, label %73, label %66
73: ; preds = %66
%74 = tail call i32 @putchar(i32 10)
%75 = add nuw nsw i32 %4, 8
br label %3
}