#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] = {
      0x96, 0xfd, 0xaf, 0x32, 0xce, 0xe3, 0xbf, 0x28, 0x06, 0x1c, 0xea, 0x84,
      0xbb, 0xb3, 0xbe, 0x8f, 0x65, 0xfa, 0x88, 0x4e, 0xe6, 0x11, 0x5a, 0xc2,
      0x1f, 0xe0, 0xf0, 0xac, 0x9e, 0x64, 0xd7, 0x74, 0x94, 0xc8, 0x18, 0x28,
      0xbc, 0x5a, 0x16, 0x10, 0xc2, 0x7d, 0xdc, 0x5a, 0x29, 0x0d, 0xb8, 0x83,
      0x35, 0x86, 0x15, 0x18, 0xc5, 0x4e, 0x0a, 0xb9};
  const unsigned char t[16] = {0x74, 0xe0, 0x96, 0xc1, 0x6d, 0xf5, 0x48, 0xe5,
                               0x82, 0xbc, 0x49, 0xe6, 0x35, 0xe1, 0x26, 0x6f};
  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 $0xb90a4ec518158635,%rax
4e 0a b9
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"\96\FD\AF2\CE\E3\BF(\06\1C\EA\84\BB\B3\BE\8Fe\FA\88N\E6\11Z\C2\1F\E0\F0\AC\9Ed\D7t\94\C8\18(\BCZ\16\10\C2}\DCZ)\0D\B8\835\86\15\18\C5N\0A\B9"
@__const.test4.t = [16 x i8] c"t\E0\96\C1m\F5H\E5\82\BCI\E65\E1&o"
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"\96\FD\AF2\CE\E3\BF(\06\1C\EA\84\BB\B3\BE\8Fe\FA\88N\E6\11Z\C2\1F\E0\F0\AC\9Ed\D7t\94\C8\18(\BCZ\16\10\C2}\DCZ)\0D\B8\835\86\15\18\C5N\0A\B9"
@__const.test4.t = [16 x i8] c"t\E0\96\C1m\F5H\E5\82\BCI\E65\E1&o"
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
}