#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 */
scalar_t__ d_size_strmat(int, int);
scalar_t__ d_size_strvec(int);
int d_part_cond_memory_space_size_bytes_libstr(int N, int *nx, int *nu, int *nb,
                                               int **hidxb, int *ng, int N2,
                                               int *nx2, int *nu2, int *nb2,
                                               int *ng2) {
  if (N2 == N) {
    return 0;
  }
  int ii, jj, kk;
  int size = 0;
  int i_size = 0;
  for (ii = 0; ii < N2; ii++) {
    size += d_size_strmat(nu2[ii] + nx2[ii] + 1, nx2[ii + 1]);
    size += d_size_strmat(nu2[ii] + nx2[ii] + 1, nu2[ii] + nx2[ii]);
    size += d_size_strmat(nu2[ii] + nx2[ii], ng2[ii]);
    size += d_size_strvec(2 * nb2[ii] + 2 * ng2[ii]);
    i_size += nb2[ii];
  }
  size = size + i_size * sizeof(int);
  size = (size + 63) / 64 * 64;
  return size;
}


x86 assembly (clang, -O0):
<d_part_cond_memory_space_size_bytes_libstr>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    0x30(%rbp),%rax
mov    0x28(%rbp),%rax
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%eax
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    0x10(%rbp),%eax
cmp    -0x8(%rbp),%eax
jne    116a <d_part_cond_memory_space_size_bytes_libstr+0x4a>
movl   $0x0,-0x4(%rbp)
jmp    12b5 <d_part_cond_memory_space_size_bytes_libstr+0x195>
movl   $0x0,-0x40(%rbp)
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    0x10(%rbp),%eax
jge    1289 <d_part_cond_memory_space_size_bytes_libstr+0x169>
mov    0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%edi
mov    0x18(%rbp),%rax
movslq -0x34(%rbp),%rcx
add    (%rax,%rcx,4),%edi
add    $0x1,%edi
mov    0x18(%rbp),%rax
mov    -0x34(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%esi
call   1030 <d_size_strmat@plt>
mov    %rax,%rcx
movslq -0x40(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x40(%rbp)
mov    0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%edi
mov    0x18(%rbp),%rax
movslq -0x34(%rbp),%rcx
add    (%rax,%rcx,4),%edi
add    $0x1,%edi
mov    0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
mov    0x18(%rbp),%rax
movslq -0x34(%rbp),%rcx
add    (%rax,%rcx,4),%esi
call   1030 <d_size_strmat@plt>
mov    %rax,%rcx
movslq -0x40(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x40(%rbp)
mov    0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%edi
mov    0x18(%rbp),%rax
movslq -0x34(%rbp),%rcx
add    (%rax,%rcx,4),%edi
mov    0x30(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
call   1030 <d_size_strmat@plt>
mov    %rax,%rcx
movslq -0x40(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x40(%rbp)
mov    0x28(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%edi
shl    $0x1,%edi
mov    0x30(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
shl    $0x1,%eax
add    %eax,%edi
call   1040 <d_size_strvec@plt>
mov    %rax,%rcx
movslq -0x40(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x40(%rbp)
mov    0x28(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    117f <d_part_cond_memory_space_size_bytes_libstr+0x5f>
movslq -0x40(%rbp),%rax
movslq -0x44(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
add    $0x3f,%eax
mov    $0x40,%ecx
cltd
idiv   %ecx
shl    $0x6,%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<d_part_cond_memory_space_size_bytes_libstr>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    0x50(%rsp),%ecx
xor    %eax,%eax
cmp    %edi,%ecx
je     1218 <d_part_cond_memory_space_size_bytes_libstr+0xf8>
test   %ecx,%ecx
jle    1218 <d_part_cond_memory_space_size_bytes_libstr+0xf8>
mov    %ecx,%eax
mov    %rax,0x8(%rsp)
xor    %r12d,%r12d
xor    %ebp,%ebp
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    0x60(%rsp),%r13
mov    0x0(%r13,%r12,4),%eax
mov    0x58(%rsp),%r15
mov    (%r15,%r12,4),%ecx
mov    0x4(%r15,%r12,4),%esi
lea    (%rax,%rcx,1),%edi
add    $0x1,%edi
lea    0x1(%r12),%rax
mov    %rax,0x10(%rsp)
call   1030 <d_size_strmat@plt>
mov    %rax,%r14
add    %rbx,%r14
mov    0x0(%r13,%r12,4),%eax
mov    (%r15,%r12,4),%ecx
lea    (%rcx,%rax,1),%esi
lea    (%rcx,%rax,1),%edi
add    $0x1,%edi
call   1030 <d_size_strmat@plt>
mov    %rax,%rbx
add    %r14,%rbx
mov    (%r15,%r12,4),%edi
add    0x0(%r13,%r12,4),%edi
mov    0x70(%rsp),%r15
mov    (%r15,%r12,4),%esi
call   1030 <d_size_strmat@plt>
mov    %rax,%r14
add    %rbx,%r14
mov    (%r15,%r12,4),%edi
mov    0x68(%rsp),%rbx
add    (%rbx,%r12,4),%edi
add    %edi,%edi
call   1040 <d_size_strvec@plt>
add    %r14,%rax
movslq (%rbx,%r12,4),%rcx
movslq %ebp,%rbp
add    %rcx,%rbp
movslq %eax,%rbx
mov    0x10(%rsp),%rcx
mov    %rcx,%r12
cmp    %rcx,0x8(%rsp)
jne    1160 <d_part_cond_memory_space_size_bytes_libstr+0x40>
lea    (%rax,%rbp,4),%ecx
add    $0x3f,%ecx
lea    (%rax,%rbp,4),%eax
add    $0x7e,%eax
test   %ecx,%ecx
cmovns %ecx,%eax
and    $0xffffffc0,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @d_part_cond_memory_space_size_bytes_libstr(i32 %0, i32* %1, i32* %2, i32* %3, i32** %4, i32* %5, i32 %6, i32* %7, i32* %8, i32* %9, i32* %10) {
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32*
%15 = alloca i32*
%16 = alloca i32*
%17 = alloca i32**
%18 = alloca i32*
%19 = alloca i32
%20 = alloca i32*
%21 = alloca i32*
%22 = alloca i32*
%23 = alloca i32*
%24 = alloca i32
%25 = alloca i32
%26 = alloca i32
%27 = alloca i32
%28 = alloca i32
store i32 %0, i32* %13
store i32* %1, i32** %14
store i32* %2, i32** %15
store i32* %3, i32** %16
store i32** %4, i32*** %17
store i32* %5, i32** %18
store i32 %6, i32* %19
store i32* %7, i32** %20
store i32* %8, i32** %21
store i32* %9, i32** %22
store i32* %10, i32** %23
%29 = load i32, i32* %19
%30 = load i32, i32* %13
%31 = icmp eq i32 %29, %30
br i1 %31, label %32, label %33
32: ; preds = %11
store i32 0, i32* %12
br label %152
33: ; preds = %11
store i32 0, i32* %27
store i32 0, i32* %28
store i32 0, i32* %24
br label %34
34: ; preds = %136, %33
%35 = load i32, i32* %24
%36 = load i32, i32* %19
%37 = icmp slt i32 %35, %36
br i1 %37, label %38, label %139
38: ; preds = %34
%39 = load i32*, i32** %21
%40 = load i32, i32* %24
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds i32, i32* %39, i64 %41
%43 = load i32, i32* %42
%44 = load i32*, i32** %20
%45 = load i32, i32* %24
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i32, i32* %44, i64 %46
%48 = load i32, i32* %47
%49 = add nsw i32 %43, %48
%50 = add nsw i32 %49, 1
%51 = load i32*, i32** %20
%52 = load i32, i32* %24
%53 = add nsw i32 %52, 1
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds i32, i32* %51, i64 %54
%56 = load i32, i32* %55
%57 = call i64 @d_size_strmat(i32 %50, i32 %56)
%58 = load i32, i32* %27
%59 = sext i32 %58 to i64
%60 = add nsw i64 %59, %57
%61 = trunc i64 %60 to i32
store i32 %61, i32* %27
%62 = load i32*, i32** %21
%63 = load i32, i32* %24
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds i32, i32* %62, i64 %64
%66 = load i32, i32* %65
%67 = load i32*, i32** %20
%68 = load i32, i32* %24
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i32, i32* %67, i64 %69
%71 = load i32, i32* %70
%72 = add nsw i32 %66, %71
%73 = add nsw i32 %72, 1
%74 = load i32*, i32** %21
%75 = load i32, i32* %24
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds i32, i32* %74, i64 %76
%78 = load i32, i32* %77
%79 = load i32*, i32** %20
%80 = load i32, i32* %24
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds i32, i32* %79, i64 %81
%83 = load i32, i32* %82
%84 = add nsw i32 %78, %83
%85 = call i64 @d_size_strmat(i32 %73, i32 %84)
%86 = load i32, i32* %27
%87 = sext i32 %86 to i64
%88 = add nsw i64 %87, %85
%89 = trunc i64 %88 to i32
store i32 %89, i32* %27
%90 = load i32*, i32** %21
%91 = load i32, i32* %24
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds i32, i32* %90, i64 %92
%94 = load i32, i32* %93
%95 = load i32*, i32** %20
%96 = load i32, i32* %24
%97 = sext i32 %96 to i64
%98 = getelementptr inbounds i32, i32* %95, i64 %97
%99 = load i32, i32* %98
%100 = add nsw i32 %94, %99
%101 = load i32*, i32** %23
%102 = load i32, i32* %24
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds i32, i32* %101, i64 %103
%105 = load i32, i32* %104
%106 = call i64 @d_size_strmat(i32 %100, i32 %105)
%107 = load i32, i32* %27
%108 = sext i32 %107 to i64
%109 = add nsw i64 %108, %106
%110 = trunc i64 %109 to i32
store i32 %110, i32* %27
%111 = load i32*, i32** %22
%112 = load i32, i32* %24
%113 = sext i32 %112 to i64
%114 = getelementptr inbounds i32, i32* %111, i64 %113
%115 = load i32, i32* %114
%116 = mul nsw i32 2, %115
%117 = load i32*, i32** %23
%118 = load i32, i32* %24
%119 = sext i32 %118 to i64
%120 = getelementptr inbounds i32, i32* %117, i64 %119
%121 = load i32, i32* %120
%122 = mul nsw i32 2, %121
%123 = add nsw i32 %116, %122
%124 = call i64 @d_size_strvec(i32 %123)
%125 = load i32, i32* %27
%126 = sext i32 %125 to i64
%127 = add nsw i64 %126, %124
%128 = trunc i64 %127 to i32
store i32 %128, i32* %27
%129 = load i32*, i32** %22
%130 = load i32, i32* %24
%131 = sext i32 %130 to i64
%132 = getelementptr inbounds i32, i32* %129, i64 %131
%133 = load i32, i32* %132
%134 = load i32, i32* %28
%135 = add nsw i32 %134, %133
store i32 %135, i32* %28
br label %136
136: ; preds = %38
%137 = load i32, i32* %24
%138 = add nsw i32 %137, 1
store i32 %138, i32* %24
br label %34
139: ; preds = %34
%140 = load i32, i32* %27
%141 = sext i32 %140 to i64
%142 = load i32, i32* %28
%143 = sext i32 %142 to i64
%144 = mul i64 %143, 4
%145 = add i64 %141, %144
%146 = trunc i64 %145 to i32
store i32 %146, i32* %27
%147 = load i32, i32* %27
%148 = add nsw i32 %147, 63
%149 = sdiv i32 %148, 64
%150 = mul nsw i32 %149, 64
store i32 %150, i32* %27
%151 = load i32, i32* %27
store i32 %151, i32* %12
br label %152
152: ; preds = %139, %32
%153 = load i32, i32* %12
ret i32 %153
}

LLVM IR (-O2):
define i32 @d_part_cond_memory_space_size_bytes_libstr(i32 %0, i32* nocapture readnone %1, i32* nocapture readnone %2, i32* nocapture readnone %3, i32** nocapture readnone %4, i32* nocapture readnone %5, i32 %6, i32* nocapture %7, i32* nocapture %8, i32* nocapture %9, i32* nocapture %10) {
%12 = icmp ne i32 %6, %0
%13 = icmp sgt i32 %6, 0
%14 = and i1 %12, %13
br i1 %14, label %15, label %65
15: ; preds = %11
%16 = zext i32 %6 to i64
br label %17
17: ; preds = %15, %17
%18 = phi i64 [ 0, %15 ], [ %27, %17 ]
%19 = phi i32 [ 0, %15 ], [ %53, %17 ]
%20 = phi i64 [ 0, %15 ], [ %55, %17 ]
%21 = getelementptr inbounds i32, i32* %8, i64 %18
%22 = load i32, i32* %21
%23 = getelementptr inbounds i32, i32* %7, i64 %18
%24 = load i32, i32* %23
%25 = add i32 %22, 1
%26 = add i32 %25, %24
%27 = add nuw nsw i64 %18, 1
%28 = getelementptr inbounds i32, i32* %7, i64 %27
%29 = load i32, i32* %28
%30 = tail call i64 @d_size_strmat(i32 %26, i32 %29)
%31 = add nsw i64 %30, %20
%32 = load i32, i32* %21
%33 = load i32, i32* %23
%34 = add nsw i32 %33, %32
%35 = add nsw i32 %34, 1
%36 = tail call i64 @d_size_strmat(i32 %35, i32 %34)
%37 = add i64 %31, %36
%38 = load i32, i32* %21
%39 = load i32, i32* %23
%40 = add nsw i32 %39, %38
%41 = getelementptr inbounds i32, i32* %10, i64 %18
%42 = load i32, i32* %41
%43 = tail call i64 @d_size_strmat(i32 %40, i32 %42)
%44 = add i64 %37, %43
%45 = getelementptr inbounds i32, i32* %9, i64 %18
%46 = load i32, i32* %45
%47 = load i32, i32* %41
%48 = add i32 %47, %46
%49 = shl i32 %48, 1
%50 = tail call i64 @d_size_strvec(i32 %49)
%51 = add i64 %44, %50
%52 = load i32, i32* %45
%53 = add nsw i32 %52, %19
%54 = shl i64 %51, 32
%55 = ashr exact i64 %54, 32
%56 = icmp eq i64 %27, %16
br i1 %56, label %57, label %17
57: ; preds = %17
%58 = sext i32 %53 to i64
%59 = shl nsw i64 %58, 2
%60 = add i64 %59, %51
%61 = trunc i64 %60 to i32
%62 = add i32 %61, 63
%63 = sdiv i32 %62, 64
%64 = shl nsw i32 %63, 6
br label %65
65: ; preds = %57, %11
%66 = phi i32 [ 0, %11 ], [ %64, %57 ]
ret i32 %66
}