#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 _ada_use_c2phc(int, int *, int *, double *);
int support_string(int size, char *supp) {
  int fail, i;
  int support[size];
  double *c;
  fail = _ada_use_c2phc(587, &size, support, c);
  for (i = 0; i < size; i++)
    supp[i] = (char)support[i];
  supp[size] = '\0';
  return fail;
}


x86 assembly (clang, -O0):
<support_string>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x4(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x20(%rbp)
lea    0xf(,%rax,4),%rcx
and    $0xfffffffffffffff0,%rcx
mov    %rsp,%rdx
sub    %rcx,%rdx
mov    %rdx,-0x38(%rbp)
mov    %rdx,%rsp
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rcx
mov    $0x24b,%edi
lea    -0x4(%rbp),%rsi
call   1030 <_ada_use_c2phc@plt>
mov    %eax,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1194 <support_string+0x84>
mov    -0x38(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1162 <support_string+0x52>
mov    -0x10(%rbp),%rax
movslq -0x4(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
mov    -0x20(%rbp),%rcx
mov    %rcx,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<support_string>:
push   %rbp
mov    %rsp,%rbp
push   %r14
push   %rbx
sub    $0x10,%rsp
mov    %rsi,%r14
mov    %edi,-0x14(%rbp)
mov    %edi,%eax
mov    %rsp,%rbx
lea    0xf(,%rax,4),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%rbx
mov    %rbx,%rsp
lea    -0x14(%rbp),%rsi
mov    $0x24b,%edi
mov    %rbx,%rdx
call   1030 <_ada_use_c2phc@plt>
movslq -0x14(%rbp),%r9
test   %r9,%r9
jle    1261 <support_string+0x151>
mov    %r9d,%edx
cmp    $0x8,%edx
jae    1165 <support_string+0x55>
xor    %esi,%esi
jmp    1250 <support_string+0x140>
mov    %edx,%esi
and    $0xfffffff8,%esi
lea    -0x8(%rsi),%rcx
mov    %rcx,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rcx,%rcx
je     126f <support_string+0x15f>
mov    %r8,%rcx
and    $0xfffffffffffffffe,%rcx
xor    %edi,%edi
movdqa 0xe6d(%rip),%xmm0
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movdqa (%rbx,%rdi,4),%xmm1
pand   %xmm0,%xmm1
packuswb %xmm1,%xmm1
packuswb %xmm1,%xmm1
movdqa 0x10(%rbx,%rdi,4),%xmm2
pand   %xmm0,%xmm2
packuswb %xmm2,%xmm2
packuswb %xmm2,%xmm2
movd   %xmm1,(%r14,%rdi,1)
movd   %xmm2,0x4(%r14,%rdi,1)
movdqa 0x20(%rbx,%rdi,4),%xmm1
pand   %xmm0,%xmm1
packuswb %xmm1,%xmm1
packuswb %xmm1,%xmm1
movdqa 0x30(%rbx,%rdi,4),%xmm2
pand   %xmm0,%xmm2
packuswb %xmm2,%xmm2
packuswb %xmm2,%xmm2
movd   %xmm1,0x8(%r14,%rdi,1)
movd   %xmm2,0xc(%r14,%rdi,1)
add    $0x10,%rdi
add    $0xfffffffffffffffe,%rcx
jne    11a0 <support_string+0x90>
test   $0x1,%r8b
je     1246 <support_string+0x136>
movdqa 0xde6(%rip),%xmm0
movdqa (%rbx,%rdi,4),%xmm1
pand   %xmm0,%xmm1
packuswb %xmm1,%xmm1
packuswb %xmm1,%xmm1
pand   0x10(%rbx,%rdi,4),%xmm0
packuswb %xmm0,%xmm0
packuswb %xmm0,%xmm0
movd   %xmm1,(%r14,%rdi,1)
movd   %xmm0,0x4(%r14,%rdi,1)
cmp    %rdx,%rsi
je     1261 <support_string+0x151>
nopl   0x0(%rax,%rax,1)
movzbl (%rbx,%rsi,4),%ecx
mov    %cl,(%r14,%rsi,1)
add    $0x1,%rsi
cmp    %rsi,%rdx
jne    1250 <support_string+0x140>
movb   $0x0,(%r14,%r9,1)
lea    -0x10(%rbp),%rsp
pop    %rbx
pop    %r14
pop    %rbp
ret
xor    %edi,%edi
test   $0x1,%r8b
jne    1212 <support_string+0x102>
jmp    1246 <support_string+0x136>

LLVM IR (-O0):
define i32 @support_string(i32 %0, i8* %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i8*
%8 = alloca i64
%9 = alloca double*
store i32 %0, i32* %3
store i8* %1, i8** %4
%10 = load i32, i32* %3
%11 = zext i32 %10 to i64
%12 = call i8* @llvm.stacksave()
store i8* %12, i8** %7
%13 = alloca i32, i64 %11
store i64 %11, i64* %8
%14 = load double*, double** %9
%15 = call i32 @_ada_use_c2phc(i32 587, i32* %3, i32* %13, double* %14)
store i32 %15, i32* %5
store i32 0, i32* %6
br label %16
16: ; preds = %30, %2
%17 = load i32, i32* %6
%18 = load i32, i32* %3
%19 = icmp slt i32 %17, %18
br i1 %19, label %20, label %33
20: ; preds = %16
%21 = load i32, i32* %6
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds i32, i32* %13, i64 %22
%24 = load i32, i32* %23
%25 = trunc i32 %24 to i8
%26 = load i8*, i8** %4
%27 = load i32, i32* %6
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i8, i8* %26, i64 %28
store i8 %25, i8* %29
br label %30
30: ; preds = %20
%31 = load i32, i32* %6
%32 = add nsw i32 %31, 1
store i32 %32, i32* %6
br label %16
33: ; preds = %16
%34 = load i8*, i8** %4
%35 = load i32, i32* %3
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds i8, i8* %34, i64 %36
store i8 0, i8* %37
%38 = load i32, i32* %5
%39 = load i8*, i8** %7
ret i32 %38
}

LLVM IR (-O2):
define i32 @support_string(i32 %0, i8* nocapture writeonly %1) {
%3 = alloca i32
store i32 %0, i32* %3
%4 = zext i32 %0 to i64
%5 = alloca i32, i64 %4
%6 = call i32 @_ada_use_c2phc(i32 587, i32* %3, i32* %5, double* undef)
%7 = load i32, i32* %3
%8 = icmp sgt i32 %7, 0
br i1 %8, label %9, label %80
9: ; preds = %2
%10 = zext i32 %7 to i64
%11 = icmp ult i32 %7, 8
br i1 %11, label %70, label %12
12: ; preds = %9
%13 = and i64 %10, 4294967288
%14 = add nsw i64 %13, -8
%15 = lshr exact i64 %14, 3
%16 = add nuw nsw i64 %15, 1
%17 = and i64 %16, 1
%18 = icmp eq i64 %14, 0
br i1 %18, label %52, label %19
19: ; preds = %12
%20 = and i64 %16, 4611686018427387902
br label %21
21: ; preds = %21, %19
%22 = phi i64 [ 0, %19 ], [ %49, %21 ]
%23 = phi i64 [ 0, %19 ], [ %50, %21 ]
%24 = getelementptr inbounds i32, i32* %5, i64 %22
%25 = bitcast i32* %24 to <4 x i32>*
%26 = load <4 x i32>, <4 x i32>* %25
%27 = getelementptr inbounds i32, i32* %24, i64 4
%28 = bitcast i32* %27 to <4 x i32>*
%29 = load <4 x i32>, <4 x i32>* %28
%30 = trunc <4 x i32> %26 to <4 x i8>
%31 = trunc <4 x i32> %29 to <4 x i8>
%32 = getelementptr inbounds i8, i8* %1, i64 %22
%33 = bitcast i8* %32 to <4 x i8>*
store <4 x i8> %30, <4 x i8>* %33
%34 = getelementptr inbounds i8, i8* %32, i64 4
%35 = bitcast i8* %34 to <4 x i8>*
store <4 x i8> %31, <4 x i8>* %35
%36 = or i64 %22, 8
%37 = getelementptr inbounds i32, i32* %5, i64 %36
%38 = bitcast i32* %37 to <4 x i32>*
%39 = load <4 x i32>, <4 x i32>* %38
%40 = getelementptr inbounds i32, i32* %37, i64 4
%41 = bitcast i32* %40 to <4 x i32>*
%42 = load <4 x i32>, <4 x i32>* %41
%43 = trunc <4 x i32> %39 to <4 x i8>
%44 = trunc <4 x i32> %42 to <4 x i8>
%45 = getelementptr inbounds i8, i8* %1, i64 %36
%46 = bitcast i8* %45 to <4 x i8>*
store <4 x i8> %43, <4 x i8>* %46
%47 = getelementptr inbounds i8, i8* %45, i64 4
%48 = bitcast i8* %47 to <4 x i8>*
store <4 x i8> %44, <4 x i8>* %48
%49 = add nuw i64 %22, 16
%50 = add i64 %23, 2
%51 = icmp eq i64 %50, %20
br i1 %51, label %52, label %21
52: ; preds = %21, %12
%53 = phi i64 [ 0, %12 ], [ %49, %21 ]
%54 = icmp eq i64 %17, 0
br i1 %54, label %68, label %55
55: ; preds = %52
%56 = getelementptr inbounds i32, i32* %5, i64 %53
%57 = bitcast i32* %56 to <4 x i32>*
%58 = load <4 x i32>, <4 x i32>* %57
%59 = getelementptr inbounds i32, i32* %56, i64 4
%60 = bitcast i32* %59 to <4 x i32>*
%61 = load <4 x i32>, <4 x i32>* %60
%62 = trunc <4 x i32> %58 to <4 x i8>
%63 = trunc <4 x i32> %61 to <4 x i8>
%64 = getelementptr inbounds i8, i8* %1, i64 %53
%65 = bitcast i8* %64 to <4 x i8>*
store <4 x i8> %62, <4 x i8>* %65
%66 = getelementptr inbounds i8, i8* %64, i64 4
%67 = bitcast i8* %66 to <4 x i8>*
store <4 x i8> %63, <4 x i8>* %67
br label %68
68: ; preds = %52, %55
%69 = icmp eq i64 %13, %10
br i1 %69, label %80, label %70
70: ; preds = %9, %68
%71 = phi i64 [ 0, %9 ], [ %13, %68 ]
br label %72
72: ; preds = %70, %72
%73 = phi i64 [ %78, %72 ], [ %71, %70 ]
%74 = getelementptr inbounds i32, i32* %5, i64 %73
%75 = load i32, i32* %74
%76 = trunc i32 %75 to i8
%77 = getelementptr inbounds i8, i8* %1, i64 %73
store i8 %76, i8* %77
%78 = add nuw nsw i64 %73, 1
%79 = icmp eq i64 %78, %10
br i1 %79, label %80, label %72
80: ; preds = %72, %68, %2
%81 = sext i32 %7 to i64
%82 = getelementptr inbounds i8, i8* %1, i64 %81
store i8 0, i8* %82
ret i32 %6
}