#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 scalar_t__ const uint8_t;

/* Variables and functions */
int /*<<< orphan*/ memcpy(scalar_t__ const *, scalar_t__ const *, int);
int /*<<< orphan*/ mrtd_crypto_decrypt_3des(scalar_t__ const *,
                                            scalar_t__ const *, int,
                                            scalar_t__ const *);
char mrtd_bac_challenge_ok(const uint8_t *rx_data, const uint8_t *kenc,
                           const uint8_t *rnd_ifd, uint8_t *rnd_icc,
                           uint8_t *kicc) {
  int i;
  uint8_t decryptedresp[32];
  const uint8_t *resp;
  const uint8_t *mac_received;
  uint8_t *rec_ifd;
  resp = rx_data;
  mac_received = rx_data + 32;
  mrtd_crypto_decrypt_3des(resp, decryptedresp, 32, kenc);
  if (rnd_icc != NULL)
    memcpy(rnd_icc, decryptedresp, 8);
  if (kicc != NULL)
    memcpy(kicc, decryptedresp + 16, 16);
  rec_ifd = decryptedresp + 8;
  for (i = 0; i < 8; i++) {
    if (rec_ifd[i] != rnd_ifd[i]) {
      return 0;
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<mrtd_bac_challenge_ok>:
push   %rbp
mov    %rsp,%rbp
sub    $0x160,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x148(%rbp)
mov    -0x10(%rbp),%rax
add    $0x100,%rax
mov    %rax,-0x150(%rbp)
mov    -0x148(%rbp),%rdi
lea    -0x140(%rbp),%rsi
mov    -0x18(%rbp),%rcx
mov    $0x20,%edx
call   1040 <mrtd_crypto_decrypt_3des@plt>
cmpq   $0x0,-0x28(%rbp)
je     1197 <mrtd_bac_challenge_ok+0x77>
mov    -0x28(%rbp),%rdi
lea    -0x140(%rbp),%rsi
mov    $0x8,%edx
call   1030 <memcpy@plt>
cmpq   $0x0,-0x30(%rbp)
je     11be <mrtd_bac_challenge_ok+0x9e>
mov    -0x30(%rbp),%rdi
lea    -0x140(%rbp),%rsi
add    $0x80,%rsi
mov    $0x10,%edx
call   1030 <memcpy@plt>
lea    -0x140(%rbp),%rax
add    $0x40,%rax
mov    %rax,-0x158(%rbp)
movl   $0x0,-0x34(%rbp)
cmpl   $0x8,-0x34(%rbp)
jge    121e <mrtd_bac_challenge_ok+0xfe>
mov    -0x158(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x20(%rbp),%rcx
movslq -0x34(%rbp),%rdx
cmp    (%rcx,%rdx,8),%rax
je     120b <mrtd_bac_challenge_ok+0xeb>
movb   $0x0,-0x1(%rbp)
jmp    1222 <mrtd_bac_challenge_ok+0x102>
jmp    1210 <mrtd_bac_challenge_ok+0xf0>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    11d7 <mrtd_bac_challenge_ok+0xb7>
movb   $0x1,-0x1(%rbp)
movsbl -0x1(%rbp),%eax
add    $0x160,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<mrtd_bac_challenge_ok>:
push   %r15
push   %r14
push   %rbx
sub    $0x100,%rsp
mov    %r8,%r15
mov    %rcx,%rbx
mov    %rdx,%r14
mov    %rsi,%rcx
mov    %rsp,%rsi
mov    $0x20,%edx
call   1040 <mrtd_crypto_decrypt_3des@plt>
test   %rbx,%rbx
je     115a <mrtd_bac_challenge_ok+0x3a>
mov    %rsp,%rsi
mov    %rbx,%rdi
mov    $0x8,%edx
call   1030 <memcpy@plt>
test   %r15,%r15
je     1174 <mrtd_bac_challenge_ok+0x54>
lea    0x80(%rsp),%rsi
mov    %r15,%rdi
mov    $0x10,%edx
call   1030 <memcpy@plt>
mov    0x40(%rsp),%rax
cmp    (%r14),%rax
jne    11ce <mrtd_bac_challenge_ok+0xae>
mov    0x48(%rsp),%rax
cmp    0x8(%r14),%rax
jne    11ce <mrtd_bac_challenge_ok+0xae>
mov    0x50(%rsp),%rax
cmp    0x10(%r14),%rax
jne    11ce <mrtd_bac_challenge_ok+0xae>
mov    0x58(%rsp),%rax
cmp    0x18(%r14),%rax
jne    11ce <mrtd_bac_challenge_ok+0xae>
mov    0x60(%rsp),%rax
cmp    0x20(%r14),%rax
jne    11ce <mrtd_bac_challenge_ok+0xae>
mov    0x68(%rsp),%rax
cmp    0x28(%r14),%rax
jne    11ce <mrtd_bac_challenge_ok+0xae>
mov    0x70(%rsp),%rax
cmp    0x30(%r14),%rax
jne    11ce <mrtd_bac_challenge_ok+0xae>
mov    0x78(%rsp),%rax
cmp    0x38(%r14),%rax
sete   %al
jmp    11d0 <mrtd_bac_challenge_ok+0xb0>
xor    %eax,%eax
add    $0x100,%rsp
pop    %rbx
pop    %r14
pop    %r15
ret

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

LLVM IR (-O2):
define signext i8 @mrtd_bac_challenge_ok(i64* %0, i64* %1, i64* nocapture %2, i64* %3, i64* %4) {
%6 = alloca [32 x i64]
%7 = bitcast [32 x i64]* %6 to i8*
%8 = getelementptr inbounds [32 x i64], [32 x i64]* %6, i64 0, i64 0
%9 = call i32 @mrtd_crypto_decrypt_3des(i64* %0, i64* %8, i32 32, i64* %1)
%10 = icmp eq i64* %3, null
br i1 %10, label %13, label %11
11: ; preds = %5
%12 = call i32 @memcpy(i64* %3, i64* %8, i32 8)
br label %13
13: ; preds = %11, %5
%14 = icmp eq i64* %4, null
br i1 %14, label %18, label %15
15: ; preds = %13
%16 = getelementptr inbounds [32 x i64], [32 x i64]* %6, i64 0, i64 16
%17 = call i32 @memcpy(i64* %4, i64* %16, i32 16)
br label %18
18: ; preds = %15, %13
%19 = getelementptr inbounds [32 x i64], [32 x i64]* %6, i64 0, i64 8
%20 = load i64, i64* %19
%21 = load i64, i64* %2
%22 = icmp eq i64 %20, %21
br i1 %22, label %23, label %66
23: ; preds = %18
%24 = getelementptr inbounds [32 x i64], [32 x i64]* %6, i64 0, i64 9
%25 = load i64, i64* %24
%26 = getelementptr inbounds i64, i64* %2, i64 1
%27 = load i64, i64* %26
%28 = icmp eq i64 %25, %27
br i1 %28, label %29, label %66
29: ; preds = %23
%30 = getelementptr inbounds [32 x i64], [32 x i64]* %6, i64 0, i64 10
%31 = load i64, i64* %30
%32 = getelementptr inbounds i64, i64* %2, i64 2
%33 = load i64, i64* %32
%34 = icmp eq i64 %31, %33
br i1 %34, label %35, label %66
35: ; preds = %29
%36 = getelementptr inbounds [32 x i64], [32 x i64]* %6, i64 0, i64 11
%37 = load i64, i64* %36
%38 = getelementptr inbounds i64, i64* %2, i64 3
%39 = load i64, i64* %38
%40 = icmp eq i64 %37, %39
br i1 %40, label %41, label %66
41: ; preds = %35
%42 = getelementptr inbounds [32 x i64], [32 x i64]* %6, i64 0, i64 12
%43 = load i64, i64* %42
%44 = getelementptr inbounds i64, i64* %2, i64 4
%45 = load i64, i64* %44
%46 = icmp eq i64 %43, %45
br i1 %46, label %47, label %66
47: ; preds = %41
%48 = getelementptr inbounds [32 x i64], [32 x i64]* %6, i64 0, i64 13
%49 = load i64, i64* %48
%50 = getelementptr inbounds i64, i64* %2, i64 5
%51 = load i64, i64* %50
%52 = icmp eq i64 %49, %51
br i1 %52, label %53, label %66
53: ; preds = %47
%54 = getelementptr inbounds [32 x i64], [32 x i64]* %6, i64 0, i64 14
%55 = load i64, i64* %54
%56 = getelementptr inbounds i64, i64* %2, i64 6
%57 = load i64, i64* %56
%58 = icmp eq i64 %55, %57
br i1 %58, label %59, label %66
59: ; preds = %53
%60 = getelementptr inbounds [32 x i64], [32 x i64]* %6, i64 0, i64 15
%61 = load i64, i64* %60
%62 = getelementptr inbounds i64, i64* %2, i64 7
%63 = load i64, i64* %62
%64 = icmp eq i64 %61, %63
%65 = zext i1 %64 to i8
br label %66
66: ; preds = %59, %53, %47, %41, %35, %29, %23, %18
%67 = phi i8 [ 0, %18 ], [ 0, %23 ], [ 0, %29 ], [ 0, %35 ], [ 0, %41 ], [ 0, %47 ], [ 0, %53 ], [ %65, %59 ]
ret i8 %67
}