#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] = {
      0x62, 0x57, 0x8c, 0x0a, 0xd6, 0x78, 0x52, 0xa2, 0xa9, 0xbe, 0xb0, 0x9e,
      0x74, 0x58, 0xfe, 0x35, 0x32, 0xe9, 0x6e, 0xae, 0x67, 0x24, 0xe0, 0x0a,
      0xde, 0xe6, 0x65, 0x92, 0xa0, 0xa9, 0x1f, 0x4e, 0xd6, 0x8c, 0x13, 0x8b,
      0x13, 0x96, 0x05, 0x27, 0x96, 0x8c, 0x1f, 0x53, 0x87, 0xf3, 0x15, 0xb9,
      0xbd, 0x27, 0x87, 0xe7, 0x1f, 0x29, 0x32, 0x3d};
  const unsigned char t[16] = {0x33, 0x0b, 0xc6, 0x95, 0x73, 0xc8, 0x72, 0xc7,
                               0xc4, 0x30, 0x36, 0x6d, 0xd0, 0x5e, 0x75, 0xe4};
  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 $0x3d32291fe78727bd,%rax
29 32 3d
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"bW\8C\0A\D6xR\A2\A9\BE\B0\9EtX\FE52\E9n\AEg$\E0\0A\DE\E6e\92\A0\A9\1FN\D6\8C\13\8B\13\96\05'\96\8C\1FS\87\F3\15\B9\BD'\87\E7\1F)2="
@__const.test4.t = [16 x i8] c"3\0B\C6\95s\C8r\C7\C406m\D0^u\E4"
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"bW\8C\0A\D6xR\A2\A9\BE\B0\9EtX\FE52\E9n\AEg$\E0\0A\DE\E6e\92\A0\A9\1FN\D6\8C\13\8B\13\96\05'\96\8C\1FS\87\F3\15\B9\BD'\87\E7\1F)2="
@__const.test4.t = [16 x i8] c"3\0B\C6\95s\C8r\C7\C406m\D0^u\E4"
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
}