#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*/ decrypt(int *, int *);
int /*<<< orphan*/ dectobin(int, int *);
int /*<<< orphan*/ encrypt(int *, int *);
int /*<<< orphan*/ generate_keys(int *);
bool test_DES() {
  bool X[17][64], Y[64];
  dectobin(0x9474B8E8C73BCA7D, X[0]);
  int i;
  for (i = 0; i < 16; i++) {
    generate_keys(X[i]);
    if (i % 2 == 0) {
      encrypt(X[i], X[i + 1]);
    } else {
      decrypt(X[i], X[i + 1]);
    }
  }
  dectobin(0x1B1A2DDB4C642438, Y);
  bool passed = true;
  for (i = 0; i < 64; i++) {
    if (X[16][i] != Y[i])
      passed = false;
  }
  return passed;
}


x86 assembly (clang, -O0):
<test_DES>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1210,%rsp
lea    -0x1100(%rbp),%rsi
mov    $0xc73bca7d,%edi
call   1050 <dectobin@plt>
movl   $0x0,-0x1204(%rbp)
cmpl   $0x10,-0x1204(%rbp)
jge    1228 <test_DES+0xe8>
movslq -0x1204(%rbp),%rax
lea    -0x1100(%rbp),%rdi
shl    $0x8,%rax
add    %rax,%rdi
call   1060 <generate_keys@plt>
mov    -0x1204(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    11dc <test_DES+0x9c>
movslq -0x1204(%rbp),%rax
lea    -0x1100(%rbp),%rdi
shl    $0x8,%rax
add    %rax,%rdi
mov    -0x1204(%rbp),%eax
add    $0x1,%eax
cltq
lea    -0x1100(%rbp),%rsi
shl    $0x8,%rax
add    %rax,%rsi
call   1040 <encrypt@plt>
jmp    120f <test_DES+0xcf>
movslq -0x1204(%rbp),%rax
lea    -0x1100(%rbp),%rdi
shl    $0x8,%rax
add    %rax,%rdi
mov    -0x1204(%rbp),%eax
add    $0x1,%eax
cltq
lea    -0x1100(%rbp),%rsi
shl    $0x8,%rax
add    %rax,%rsi
call   1030 <decrypt@plt>
jmp    1214 <test_DES+0xd4>
mov    -0x1204(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1204(%rbp)
jmp    1166 <test_DES+0x26>
lea    -0x1200(%rbp),%rsi
mov    $0x4c642438,%edi
call   1050 <dectobin@plt>
movl   $0x1,-0x1208(%rbp)
movl   $0x0,-0x1204(%rbp)
cmpl   $0x40,-0x1204(%rbp)
jge    129f <test_DES+0x15f>
movslq -0x1204(%rbp),%rax
mov    -0x100(%rbp,%rax,4),%eax
movslq -0x1204(%rbp),%rcx
cmp    -0x1200(%rbp,%rcx,4),%eax
je     1286 <test_DES+0x146>
movl   $0x0,-0x1208(%rbp)
jmp    128b <test_DES+0x14b>
mov    -0x1204(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1204(%rbp)
jmp    124d <test_DES+0x10d>
mov    -0x1208(%rbp),%eax
add    $0x1210,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_DES>:
push   %r15
push   %r14
push   %rbx
sub    $0x1200,%rsp
lea    0x100(%rsp),%rbx
mov    $0xc73bca7d,%edi
mov    %rbx,%rsi
call   1050 <dectobin@plt>
xor    %r15d,%r15d
jmp    117e <test_DES+0x3e>
cs nopw 0x0(%rax,%rax,1)
call   1030 <decrypt@plt>
mov    %r14,%rbx
cmp    $0x10,%r15
je     11a5 <test_DES+0x65>
mov    %rbx,%rdi
call   1060 <generate_keys@plt>
mov    %r15d,%eax
add    $0x1,%r15
lea    0x100(%rbx),%r14
mov    %rbx,%rdi
mov    %r14,%rsi
test   $0x1,%al
jne    1170 <test_DES+0x30>
call   1040 <encrypt@plt>
jmp    1175 <test_DES+0x35>
mov    %rsp,%rsi
mov    $0x4c642438,%edi
call   1050 <dectobin@plt>
movdqa 0x1100(%rsp),%xmm2
movdqa 0x1110(%rsp),%xmm3
movdqa 0x1120(%rsp),%xmm4
pcmpeqd (%rsp),%xmm2
movdqa 0x1130(%rsp),%xmm5
pcmpeqd %xmm0,%xmm0
pcmpeqd 0x10(%rsp),%xmm3
pxor   %xmm0,%xmm2
pxor   %xmm0,%xmm3
pcmpeqd 0x20(%rsp),%xmm4
pxor   %xmm0,%xmm4
pcmpeqd 0x30(%rsp),%xmm5
pxor   %xmm0,%xmm5
movdqa 0x1140(%rsp),%xmm1
pcmpeqd 0x40(%rsp),%xmm1
pxor   %xmm0,%xmm1
por    %xmm5,%xmm1
por    %xmm4,%xmm1
por    %xmm3,%xmm1
por    %xmm2,%xmm1
movdqa 0x1150(%rsp),%xmm3
pcmpeqd 0x50(%rsp),%xmm3
pxor   %xmm0,%xmm3
movdqa 0x1160(%rsp),%xmm4
pcmpeqd 0x60(%rsp),%xmm4
pxor   %xmm0,%xmm4
movdqa 0x1170(%rsp),%xmm5
pcmpeqd 0x70(%rsp),%xmm5
pxor   %xmm0,%xmm5
movdqa 0x1180(%rsp),%xmm2
pcmpeqd 0x80(%rsp),%xmm2
pxor   %xmm0,%xmm2
por    %xmm5,%xmm2
por    %xmm4,%xmm2
por    %xmm3,%xmm2
movdqa 0x1190(%rsp),%xmm4
pcmpeqd 0x90(%rsp),%xmm4
pxor   %xmm0,%xmm4
movdqa 0x11a0(%rsp),%xmm5
pcmpeqd 0xa0(%rsp),%xmm5
pxor   %xmm0,%xmm5
movdqa 0x11b0(%rsp),%xmm3
pcmpeqd 0xb0(%rsp),%xmm3
pxor   %xmm0,%xmm3
por    %xmm5,%xmm3
por    %xmm4,%xmm3
movdqa 0x11c0(%rsp),%xmm4
pcmpeqd 0xc0(%rsp),%xmm4
pxor   %xmm0,%xmm4
movdqa 0x11d0(%rsp),%xmm5
pcmpeqd 0xd0(%rsp),%xmm5
pxor   %xmm0,%xmm5
movdqa 0x11e0(%rsp),%xmm6
pcmpeqd 0xe0(%rsp),%xmm6
por    %xmm4,%xmm5
movdqa 0x11f0(%rsp),%xmm4
pcmpeqd 0xf0(%rsp),%xmm4
pxor   %xmm0,%xmm6
pxor   %xmm0,%xmm4
por    %xmm6,%xmm4
por    %xmm5,%xmm4
por    %xmm3,%xmm4
por    %xmm2,%xmm4
por    %xmm1,%xmm4
pslld  $0x1f,%xmm4
movmskps %xmm4,%ecx
xor    %eax,%eax
test   %ecx,%ecx
sete   %al
add    $0x1200,%rsp
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i32 @test_DES() {
%1 = alloca [17 x [64 x i32]]
%2 = alloca [64 x i32]
%3 = alloca i32
%4 = alloca i32
%5 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 0
%6 = getelementptr inbounds [64 x i32], [64 x i32]* %5, i64 0, i64 0
%7 = call i32 @dectobin(i32 -952382851, i32* %6)
store i32 0, i32* %3
br label %8
8: ; preds = %43, %0
%9 = load i32, i32* %3
%10 = icmp slt i32 %9, 16
br i1 %10, label %11, label %46
11: ; preds = %8
%12 = load i32, i32* %3
%13 = sext i32 %12 to i64
%14 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 %13
%15 = getelementptr inbounds [64 x i32], [64 x i32]* %14, i64 0, i64 0
%16 = call i32 @generate_keys(i32* %15)
%17 = load i32, i32* %3
%18 = srem i32 %17, 2
%19 = icmp eq i32 %18, 0
br i1 %19, label %20, label %31
20: ; preds = %11
%21 = load i32, i32* %3
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 %22
%24 = getelementptr inbounds [64 x i32], [64 x i32]* %23, i64 0, i64 0
%25 = load i32, i32* %3
%26 = add nsw i32 %25, 1
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 %27
%29 = getelementptr inbounds [64 x i32], [64 x i32]* %28, i64 0, i64 0
%30 = call i32 @encrypt(i32* %24, i32* %29)
br label %42
31: ; preds = %11
%32 = load i32, i32* %3
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 %33
%35 = getelementptr inbounds [64 x i32], [64 x i32]* %34, i64 0, i64 0
%36 = load i32, i32* %3
%37 = add nsw i32 %36, 1
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 %38
%40 = getelementptr inbounds [64 x i32], [64 x i32]* %39, i64 0, i64 0
%41 = call i32 @decrypt(i32* %35, i32* %40)
br label %42
42: ; preds = %31, %20
br label %43
43: ; preds = %42
%44 = load i32, i32* %3
%45 = add nsw i32 %44, 1
store i32 %45, i32* %3
br label %8
46: ; preds = %8
%47 = getelementptr inbounds [64 x i32], [64 x i32]* %2, i64 0, i64 0
%48 = call i32 @dectobin(i32 1281631288, i32* %47)
store i32 1, i32* %4
store i32 0, i32* %3
br label %49
49: ; preds = %65, %46
%50 = load i32, i32* %3
%51 = icmp slt i32 %50, 64
br i1 %51, label %52, label %68
52: ; preds = %49
%53 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 16
%54 = load i32, i32* %3
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds [64 x i32], [64 x i32]* %53, i64 0, i64 %55
%57 = load i32, i32* %56
%58 = load i32, i32* %3
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds [64 x i32], [64 x i32]* %2, i64 0, i64 %59
%61 = load i32, i32* %60
%62 = icmp ne i32 %57, %61
br i1 %62, label %63, label %64
63: ; preds = %52
store i32 0, i32* %4
br label %64
64: ; preds = %63, %52
br label %65
65: ; preds = %64
%66 = load i32, i32* %3
%67 = add nsw i32 %66, 1
store i32 %67, i32* %3
br label %49
68: ; preds = %49
%69 = load i32, i32* %4
ret i32 %69
}

LLVM IR (-O2):
define i32 @test_DES() {
%1 = alloca [17 x [64 x i32]]
%2 = alloca [64 x i32]
%3 = bitcast [17 x [64 x i32]]* %1 to i8*
%4 = bitcast [64 x i32]* %2 to i8*
%5 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 0, i64 0
%6 = call i32 @dectobin(i32 -952382851, i32* %5)
br label %7
7: ; preds = %0, %19
%8 = phi i64 [ 0, %0 ], [ %13, %19 ]
%9 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 %8, i64 0
%10 = call i32 @generate_keys(i32* %9)
%11 = and i64 %8, 1
%12 = icmp eq i64 %11, 0
%13 = add nuw nsw i64 %8, 1
%14 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 %13, i64 0
br i1 %12, label %15, label %17
15: ; preds = %7
%16 = call i32 @encrypt(i32* %9, i32* %14)
br label %19
17: ; preds = %7
%18 = call i32 @decrypt(i32* %9, i32* %14)
br label %19
19: ; preds = %15, %17
%20 = icmp eq i64 %13, 16
br i1 %20, label %21, label %7
21: ; preds = %19
%22 = getelementptr inbounds [64 x i32], [64 x i32]* %2, i64 0, i64 0
%23 = call i32 @dectobin(i32 1281631288, i32* %22)
%24 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 16, i64 0
%25 = bitcast i32* %24 to <4 x i32>*
%26 = load <4 x i32>, <4 x i32>* %25
%27 = bitcast [64 x i32]* %2 to <4 x i32>*
%28 = load <4 x i32>, <4 x i32>* %27
%29 = icmp ne <4 x i32> %26, %28
%30 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 16, i64 4
%31 = bitcast i32* %30 to <4 x i32>*
%32 = load <4 x i32>, <4 x i32>* %31
%33 = getelementptr inbounds [64 x i32], [64 x i32]* %2, i64 0, i64 4
%34 = bitcast i32* %33 to <4 x i32>*
%35 = load <4 x i32>, <4 x i32>* %34
%36 = icmp ne <4 x i32> %32, %35
%37 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 16, i64 8
%38 = bitcast i32* %37 to <4 x i32>*
%39 = load <4 x i32>, <4 x i32>* %38
%40 = getelementptr inbounds [64 x i32], [64 x i32]* %2, i64 0, i64 8
%41 = bitcast i32* %40 to <4 x i32>*
%42 = load <4 x i32>, <4 x i32>* %41
%43 = icmp ne <4 x i32> %39, %42
%44 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 16, i64 12
%45 = bitcast i32* %44 to <4 x i32>*
%46 = load <4 x i32>, <4 x i32>* %45
%47 = getelementptr inbounds [64 x i32], [64 x i32]* %2, i64 0, i64 12
%48 = bitcast i32* %47 to <4 x i32>*
%49 = load <4 x i32>, <4 x i32>* %48
%50 = icmp ne <4 x i32> %46, %49
%51 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 16, i64 16
%52 = bitcast i32* %51 to <4 x i32>*
%53 = load <4 x i32>, <4 x i32>* %52
%54 = getelementptr inbounds [64 x i32], [64 x i32]* %2, i64 0, i64 16
%55 = bitcast i32* %54 to <4 x i32>*
%56 = load <4 x i32>, <4 x i32>* %55
%57 = icmp ne <4 x i32> %53, %56
%58 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 16, i64 20
%59 = bitcast i32* %58 to <4 x i32>*
%60 = load <4 x i32>, <4 x i32>* %59
%61 = getelementptr inbounds [64 x i32], [64 x i32]* %2, i64 0, i64 20
%62 = bitcast i32* %61 to <4 x i32>*
%63 = load <4 x i32>, <4 x i32>* %62
%64 = icmp ne <4 x i32> %60, %63
%65 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 16, i64 24
%66 = bitcast i32* %65 to <4 x i32>*
%67 = load <4 x i32>, <4 x i32>* %66
%68 = getelementptr inbounds [64 x i32], [64 x i32]* %2, i64 0, i64 24
%69 = bitcast i32* %68 to <4 x i32>*
%70 = load <4 x i32>, <4 x i32>* %69
%71 = icmp ne <4 x i32> %67, %70
%72 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 16, i64 28
%73 = bitcast i32* %72 to <4 x i32>*
%74 = load <4 x i32>, <4 x i32>* %73
%75 = getelementptr inbounds [64 x i32], [64 x i32]* %2, i64 0, i64 28
%76 = bitcast i32* %75 to <4 x i32>*
%77 = load <4 x i32>, <4 x i32>* %76
%78 = icmp ne <4 x i32> %74, %77
%79 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 16, i64 32
%80 = bitcast i32* %79 to <4 x i32>*
%81 = load <4 x i32>, <4 x i32>* %80
%82 = getelementptr inbounds [64 x i32], [64 x i32]* %2, i64 0, i64 32
%83 = bitcast i32* %82 to <4 x i32>*
%84 = load <4 x i32>, <4 x i32>* %83
%85 = icmp ne <4 x i32> %81, %84
%86 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 16, i64 36
%87 = bitcast i32* %86 to <4 x i32>*
%88 = load <4 x i32>, <4 x i32>* %87
%89 = getelementptr inbounds [64 x i32], [64 x i32]* %2, i64 0, i64 36
%90 = bitcast i32* %89 to <4 x i32>*
%91 = load <4 x i32>, <4 x i32>* %90
%92 = icmp ne <4 x i32> %88, %91
%93 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 16, i64 40
%94 = bitcast i32* %93 to <4 x i32>*
%95 = load <4 x i32>, <4 x i32>* %94
%96 = getelementptr inbounds [64 x i32], [64 x i32]* %2, i64 0, i64 40
%97 = bitcast i32* %96 to <4 x i32>*
%98 = load <4 x i32>, <4 x i32>* %97
%99 = icmp ne <4 x i32> %95, %98
%100 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 16, i64 44
%101 = bitcast i32* %100 to <4 x i32>*
%102 = load <4 x i32>, <4 x i32>* %101
%103 = getelementptr inbounds [64 x i32], [64 x i32]* %2, i64 0, i64 44
%104 = bitcast i32* %103 to <4 x i32>*
%105 = load <4 x i32>, <4 x i32>* %104
%106 = icmp ne <4 x i32> %102, %105
%107 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 16, i64 48
%108 = bitcast i32* %107 to <4 x i32>*
%109 = load <4 x i32>, <4 x i32>* %108
%110 = getelementptr inbounds [64 x i32], [64 x i32]* %2, i64 0, i64 48
%111 = bitcast i32* %110 to <4 x i32>*
%112 = load <4 x i32>, <4 x i32>* %111
%113 = icmp ne <4 x i32> %109, %112
%114 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 16, i64 52
%115 = bitcast i32* %114 to <4 x i32>*
%116 = load <4 x i32>, <4 x i32>* %115
%117 = getelementptr inbounds [64 x i32], [64 x i32]* %2, i64 0, i64 52
%118 = bitcast i32* %117 to <4 x i32>*
%119 = load <4 x i32>, <4 x i32>* %118
%120 = icmp ne <4 x i32> %116, %119
%121 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 16, i64 56
%122 = bitcast i32* %121 to <4 x i32>*
%123 = load <4 x i32>, <4 x i32>* %122
%124 = getelementptr inbounds [64 x i32], [64 x i32]* %2, i64 0, i64 56
%125 = bitcast i32* %124 to <4 x i32>*
%126 = load <4 x i32>, <4 x i32>* %125
%127 = icmp ne <4 x i32> %123, %126
%128 = getelementptr inbounds [17 x [64 x i32]], [17 x [64 x i32]]* %1, i64 0, i64 16, i64 60
%129 = bitcast i32* %128 to <4 x i32>*
%130 = load <4 x i32>, <4 x i32>* %129
%131 = getelementptr inbounds [64 x i32], [64 x i32]* %2, i64 0, i64 60
%132 = bitcast i32* %131 to <4 x i32>*
%133 = load <4 x i32>, <4 x i32>* %132
%134 = icmp ne <4 x i32> %130, %133
%135 = select <4 x i1> %134, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i1> %127
%136 = select <4 x i1> %135, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i1> %120
%137 = select <4 x i1> %136, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i1> %113
%138 = select <4 x i1> %137, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i1> %106
%139 = select <4 x i1> %138, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i1> %99
%140 = select <4 x i1> %139, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i1> %92
%141 = select <4 x i1> %140, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i1> %85
%142 = select <4 x i1> %141, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i1> %78
%143 = select <4 x i1> %142, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i1> %71
%144 = select <4 x i1> %143, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i1> %64
%145 = select <4 x i1> %144, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i1> %57
%146 = select <4 x i1> %145, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i1> %50
%147 = select <4 x i1> %146, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i1> %43
%148 = select <4 x i1> %147, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i1> %36
%149 = select <4 x i1> %148, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i1> %29
%150 = bitcast <4 x i1> %149 to i4
%151 = icmp eq i4 %150, 0
%152 = zext i1 %151 to i32
ret i32 %152
}