#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] = {
      0xbf, 0x7c, 0x0e, 0x3d, 0x76, 0xf8, 0x44, 0xee, 0xaa, 0x93, 0x4a, 0x4b,
      0x8d, 0x23, 0x25, 0xc8, 0xfc, 0xe5, 0xc6, 0x46, 0x90, 0x01, 0x97, 0x73,
      0xae, 0x06, 0xa4, 0xc8, 0xd7, 0x10, 0xa4, 0x9c, 0xa8, 0x81, 0x55, 0x41,
      0xe6, 0x33, 0xa6, 0x47, 0x0f, 0x25, 0x1c, 0xd4, 0x5d, 0x8e, 0x5e, 0x6c,
      0x08, 0x93, 0xc1, 0xdc, 0xa7, 0xd8, 0xe6, 0xcb};
  const unsigned char t[16] = {0x48, 0xe2, 0x0f, 0x0c, 0x46, 0x16, 0x69, 0x41,
                               0x03, 0xbe, 0x9b, 0xf6, 0x3a, 0x56, 0x08, 0x53};
  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 $0xcbe6d8a7dcc19308,%rax
d8 e6 cb
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"\BF|\0E=v\F8D\EE\AA\93JK\8D#%\C8\FC\E5\C6F\90\01\97s\AE\06\A4\C8\D7\10\A4\9C\A8\81UA\E63\A6G\0F%\1C\D4]\8E^l\08\93\C1\DC\A7\D8\E6\CB"
@__const.test4.t = [16 x i8] c"H\E2\0F\0CF\16iA\03\BE\9B\F6:V\08S"
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"\BF|\0E=v\F8D\EE\AA\93JK\8D#%\C8\FC\E5\C6F\90\01\97s\AE\06\A4\C8\D7\10\A4\9C\A8\81UA\E63\A6G\0F%\1C\D4]\8E^l\08\93\C1\DC\A7\D8\E6\CB"
@__const.test4.t = [16 x i8] c"H\E2\0F\0CF\16iA\03\BE\9B\F6:V\08S"
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
}