#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 run_test(unsigned char const *, unsigned char const *,
             unsigned long long const, unsigned char const *,
             unsigned long long, unsigned char const *, unsigned char const *);
int test4() {
  unsigned long long mlen = 56;
  const unsigned long long hlen = 16;
  const unsigned char k[16] = {0x00, 0x11, 0x22, 0x33, 0x44, 0x55, 0x66, 0x77,
                               0x88, 0x99, 0xaa, 0xbb, 0xcc, 0xdd, 0xee, 0xff};
  const unsigned char h[16] = {1, 2,  3,  4,  5,  6,  7,  8,
                               9, 10, 11, 12, 13, 14, 15, 16};
  const unsigned char m[56] = {
      0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08, 0x09, 0x0a, 0x0b,
      0x0c, 0x0d, 0x0e, 0x0f, 0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17,
      0x18, 0x19, 0x1a, 0x1b, 0x1c, 0x1d, 0x1e, 0x1f, 0x20, 0x21, 0x22, 0x23,
      0x24, 0x25, 0x26, 0x27, 0x28, 0x29, 0x2a, 0x2b, 0x2c, 0x2d, 0x2e, 0x2f,
      0xde, 0xad, 0xbe, 0xef, 0xde, 0xaf, 0xba, 0xbe};
  const unsigned char c[56] = {
      0x24, 0x9e, 0xf5, 0x0c, 0xda, 0xd5, 0x21, 0x59, 0xe0, 0xb7, 0xa3, 0xdc,
      0xef, 0x75, 0x0b, 0x57, 0x7c, 0x45, 0x28, 0x05, 0x46, 0x30, 0x6a, 0xa5,
      0xca, 0xa9, 0xa0, 0xed, 0x2d, 0x18, 0xca, 0x78, 0x4d, 0x1e, 0x01, 0xd4,
      0x9d, 0x3c, 0x11, 0x8d, 0x73, 0xeb, 0x42, 0x5f, 0x3f, 0x52, 0x33, 0xd8,
      0x76, 0xe1, 0xc2, 0x5b, 0x8b, 0x84, 0x7a, 0x8c};
  const unsigned char t[16] = {0x37, 0xf9, 0x4b, 0x3a, 0x4d, 0xc3, 0xc2, 0xb4,
                               0x74, 0xe2, 0x1a, 0x9c, 0xda, 0x05, 0x8a, 0xe2};
  return run_test(k, h, hlen, m, mlen, c, t);
}


x86 assembly (clang, -O0):
<test4>:
push   %rbp
mov    %rsp,%rbp
sub    $0xd0,%rsp
movq   $0x38,-0x8(%rbp)
movq   $0x10,-0x10(%rbp)
mov    0xebe(%rip),%rax
mov    %rax,-0x20(%rbp)
mov    0xebb(%rip),%rax
mov    %rax,-0x18(%rbp)
mov    0xeb8(%rip),%rax
mov    %rax,-0x30(%rbp)
mov    0xeb5(%rip),%rax
mov    %rax,-0x28(%rbp)
lea    -0x70(%rbp),%rdi
lea    0xebe(%rip),%rsi
mov    $0x38,%edx
call   1030 <memcpy@plt>
lea    -0xb0(%rbp),%rdi
lea    0xee6(%rip),%rsi
mov    $0x38,%edx
call   1030 <memcpy@plt>
mov    0xe85(%rip),%rax
mov    %rax,-0xc0(%rbp)
mov    0xe7f(%rip),%rax
mov    %rax,-0xb8(%rbp)
lea    -0x20(%rbp),%rdi
lea    -0x30(%rbp),%rsi
lea    -0x70(%rbp),%rcx
mov    -0x8(%rbp),%r8
lea    -0xb0(%rbp),%r9
lea    -0xc0(%rbp),%rax
mov    $0x10,%edx
mov    %rax,(%rsp)
call   1040 <run_test@plt>
add    $0xd0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test4>:
sub    $0xb8,%rsp
movaps 0xee2(%rip),%xmm0
movaps %xmm0,0x30(%rsp)
movaps 0xee6(%rip),%xmm0
movaps %xmm0,0x20(%rsp)
movaps 0xf1a(%rip),%xmm0
movaps %xmm0,0xa0(%rsp)
movaps 0xefb(%rip),%xmm0
movaps %xmm0,0x90(%rsp)
movaps 0xedc(%rip),%xmm0
movaps %xmm0,0x80(%rsp)
movabs $0xbebaafdeefbeadde,%rax
af ba be
mov    %rax,0xb0(%rsp)
movaps 0xf1b(%rip),%xmm0
movaps %xmm0,0x60(%rsp)
movaps 0xeff(%rip),%xmm0
movaps %xmm0,0x50(%rsp)
movaps 0xee3(%rip),%xmm0
movaps %xmm0,0x40(%rsp)
movabs $0x8c7a848b5bc2e176,%rax
84 7a 8c
mov    %rax,0x70(%rsp)
movaps 0xe78(%rip),%xmm0
movaps %xmm0,0x10(%rsp)
lea    0x10(%rsp),%rax
mov    %rax,(%rsp)
lea    0x30(%rsp),%rdi
lea    0x20(%rsp),%rsi
lea    0x80(%rsp),%rcx
lea    0x40(%rsp),%r9
mov    $0x10,%edx
mov    $0x38,%r8d
call   1030 <run_test@plt>
add    $0xb8,%rsp
ret

LLVM IR (-O0):
@__const.test4.k = [16 x i8] c"\00\11\223DUfw\88\99\AA\BB\CC\DD\EE\FF"
@__const.test4.h = [16 x i8] c"\01\02\03\04\05\06\07\08\09\0A\0B\0C\0D\0E\0F\10"
@__const.test4.m = [56 x i8] c"\00\01\02\03\04\05\06\07\08\09\0A\0B\0C\0D\0E\0F\10\11\12\13\14\15\16\17\18\19\1A\1B\1C\1D\1E\1F !\22#$%&'()*+,-./\DE\AD\BE\EF\DE\AF\BA\BE"
@__const.test4.c = [56 x i8] c"$\9E\F5\0C\DA\D5!Y\E0\B7\A3\DC\EFu\0BW|E(\05F0j\A5\CA\A9\A0\ED-\18\CAxM\1E\01\D4\9D<\11\8Ds\EBB_?R3\D8v\E1\C2[\8B\84z\8C"
@__const.test4.t = [16 x i8] c"7\F9K:M\C3\C2\B4t\E2\1A\9C\DA\05\8A\E2"
define i32 @test4() {
%1 = alloca i64
%2 = alloca i64
%3 = alloca [16 x i8]
%4 = alloca [16 x i8]
%5 = alloca [56 x i8]
%6 = alloca [56 x i8]
%7 = alloca [16 x i8]
store i64 56, i64* %1
store i64 16, i64* %2
%8 = bitcast [16 x i8]* %3 to i8*
%9 = bitcast [16 x i8]* %4 to i8*
%10 = bitcast [56 x i8]* %5 to i8*
%11 = bitcast [56 x i8]* %6 to i8*
%12 = bitcast [16 x i8]* %7 to i8*
%13 = getelementptr inbounds [16 x i8], [16 x i8]* %3, i64 0, i64 0
%14 = getelementptr inbounds [16 x i8], [16 x i8]* %4, i64 0, i64 0
%15 = getelementptr inbounds [56 x i8], [56 x i8]* %5, i64 0, i64 0
%16 = load i64, i64* %1
%17 = getelementptr inbounds [56 x i8], [56 x i8]* %6, i64 0, i64 0
%18 = getelementptr inbounds [16 x i8], [16 x i8]* %7, i64 0, i64 0
%19 = call i32 @run_test(i8* %13, i8* %14, i64 16, i8* %15, i64 %16, i8* %17, i8* %18)
ret i32 %19
}

LLVM IR (-O2):
@__const.test4.k = [16 x i8] c"\00\11\223DUfw\88\99\AA\BB\CC\DD\EE\FF"
@__const.test4.h = [16 x i8] c"\01\02\03\04\05\06\07\08\09\0A\0B\0C\0D\0E\0F\10"
@__const.test4.m = [56 x i8] c"\00\01\02\03\04\05\06\07\08\09\0A\0B\0C\0D\0E\0F\10\11\12\13\14\15\16\17\18\19\1A\1B\1C\1D\1E\1F !\22#$%&'()*+,-./\DE\AD\BE\EF\DE\AF\BA\BE"
@__const.test4.c = [56 x i8] c"$\9E\F5\0C\DA\D5!Y\E0\B7\A3\DC\EFu\0BW|E(\05F0j\A5\CA\A9\A0\ED-\18\CAxM\1E\01\D4\9D<\11\8Ds\EBB_?R3\D8v\E1\C2[\8B\84z\8C"
@__const.test4.t = [16 x i8] c"7\F9K:M\C3\C2\B4t\E2\1A\9C\DA\05\8A\E2"
define i32 @test4() {
%1 = alloca [16 x i8]
%2 = alloca [16 x i8]
%3 = alloca [56 x i8]
%4 = alloca [56 x i8]
%5 = alloca [16 x i8]
%6 = getelementptr inbounds [16 x i8], [16 x i8]* %1, i64 0, i64 0
%7 = getelementptr inbounds [16 x i8], [16 x i8]* %2, i64 0, i64 0
%8 = getelementptr inbounds [56 x i8], [56 x i8]* %3, i64 0, i64 0
%9 = getelementptr inbounds [56 x i8], [56 x i8]* %4, i64 0, i64 0
%10 = getelementptr inbounds [16 x i8], [16 x i8]* %5, i64 0, i64 0
%11 = call i32 @run_test(i8* %6, i8* %7, i64 16, i8* %8, i64 56, i8* %9, i8* %10)
ret i32 %11
}