#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 strlen(char const *);
int print_string(const char *s, char *str, int index_main) {
  int i, len;
  len = strlen(s);
  for (i = 0; i < len; i++)
    str[index_main++] = *s++;
  return i;
}


x86 assembly (clang, -O0):
<print_string>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1176 <print_string+0x66>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%dl
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x14(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1136 <print_string+0x26>
mov    -0x18(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<print_string>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %edx,%ebx
mov    %rsi,%r14
mov    %rdi,%rbp
call   1030 <strlen@plt>
test   %eax,%eax
jle    11ec <print_string+0xdc>
movslq %ebx,%r8
lea    -0x1(%rax),%r10d
xor    %r12d,%r12d
cmp    $0x7,%r10d
jb     1166 <print_string+0x56>
lea    (%r14,%r8,1),%r15
lea    (%r10,%rbp,1),%rdx
add    $0x1,%rdx
cmp    %rdx,%r15
jae    11f7 <print_string+0xe7>
lea    (%r8,%r10,1),%rdx
add    %r14,%rdx
add    $0x1,%rdx
cmp    %rbp,%rdx
jbe    11f7 <print_string+0xe7>
mov    %rbp,%rbx
mov    %eax,%esi
sub    %r12d,%esi
mov    %r12d,%edx
not    %edx
add    %eax,%edx
and    $0x3,%esi
je     11ac <print_string+0x9c>
lea    (%r14,%r8,1),%rbp
neg    %esi
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl (%rbx),%ecx
add    $0x1,%rbx
mov    %cl,0x0(%rbp)
add    $0x1,%rbp
add    $0xffffffffffffffff,%rdi
cmp    %edi,%esi
jne    1190 <print_string+0x80>
sub    %rdi,%r8
sub    %edi,%r12d
cmp    $0x3,%edx
jb     11ee <print_string+0xde>
lea    (%r8,%r14,1),%rdi
add    $0x3,%rdi
mov    %eax,%esi
sub    %r12d,%esi
xor    %ecx,%ecx
movzbl (%rbx,%rcx,1),%edx
mov    %dl,-0x3(%rdi,%rcx,1)
movzbl 0x1(%rbx,%rcx,1),%edx
mov    %dl,-0x2(%rdi,%rcx,1)
movzbl 0x2(%rbx,%rcx,1),%edx
mov    %dl,-0x1(%rdi,%rcx,1)
movzbl 0x3(%rbx,%rcx,1),%edx
mov    %dl,(%rdi,%rcx,1)
add    $0x4,%rcx
cmp    %ecx,%esi
jne    11c0 <print_string+0xb0>
jmp    11ee <print_string+0xde>
xor    %eax,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
movabs $0x1ffffffe0,%r12
cmp    $0x1f,%r10d
jae    120e <print_string+0xfe>
xor    %edx,%edx
jmp    12fa <print_string+0x1ea>
lea    0x1(%r10),%r9
mov    %r9,%rdx
and    %r12,%rdx
lea    -0x20(%rdx),%rsi
mov    %rsi,%rbx
shr    $0x5,%rbx
add    $0x1,%rbx
mov    %ebx,%r11d
and    $0x3,%r11d
cmp    $0x60,%rsi
jae    1238 <print_string+0x128>
xor    %esi,%esi
jmp    12a9 <print_string+0x199>
and    $0xfffffffffffffffc,%rbx
lea    (%r8,%r14,1),%rdi
add    $0x70,%rdi
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
movups 0x0(%rbp,%rsi,1),%xmm0
movups 0x10(%rbp,%rsi,1),%xmm1
movups %xmm0,-0x70(%rdi,%rsi,1)
movups %xmm1,-0x60(%rdi,%rsi,1)
movups 0x20(%rbp,%rsi,1),%xmm0
movups 0x30(%rbp,%rsi,1),%xmm1
movups %xmm0,-0x50(%rdi,%rsi,1)
movups %xmm1,-0x40(%rdi,%rsi,1)
movups 0x40(%rbp,%rsi,1),%xmm0
movups 0x50(%rbp,%rsi,1),%xmm1
movups %xmm0,-0x30(%rdi,%rsi,1)
movups %xmm1,-0x20(%rdi,%rsi,1)
movups 0x60(%rbp,%rsi,1),%xmm0
movups 0x70(%rbp,%rsi,1),%xmm1
movups %xmm0,-0x10(%rdi,%rsi,1)
movups %xmm1,(%rdi,%rsi,1)
sub    $0xffffffffffffff80,%rsi
add    $0xfffffffffffffffc,%rbx
jne    1250 <print_string+0x140>
test   %r11,%r11
je     12eb <print_string+0x1db>
lea    (%rsi,%rbp,1),%rdi
add    $0x10,%rdi
add    %r8,%rsi
add    %r14,%rsi
add    $0x10,%rsi
shl    $0x5,%r11
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
movups -0x10(%rdi,%rbx,1),%xmm0
movups (%rdi,%rbx,1),%xmm1
movups %xmm0,-0x10(%rsi,%rbx,1)
movups %xmm1,(%rsi,%rbx,1)
add    $0x20,%rbx
cmp    %rbx,%r11
jne    12d0 <print_string+0x1c0>
cmp    %rdx,%r9
je     11ee <print_string+0xde>
test   $0x18,%r9b
je     1330 <print_string+0x220>
add    $0x1,%r10
add    $0x18,%r12
and    %r10,%r12
add    %r12,%r8
lea    (%r12,%rbp,1),%rbx
nopl   0x0(%rax)
mov    0x0(%rbp,%rdx,1),%rsi
mov    %rsi,(%r15,%rdx,1)
add    $0x8,%rdx
cmp    %rdx,%r12
jne    1310 <print_string+0x200>
cmp    %r12,%r10
jne    1169 <print_string+0x59>
jmp    11ee <print_string+0xde>
add    %rdx,%rbp
add    %rdx,%r8
mov    %rbp,%rbx
mov    %edx,%r12d
jmp    1169 <print_string+0x59>

LLVM IR (-O0):
define i32 @print_string(i8* %0, i8* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 %2, i32* %6
%9 = load i8*, i8** %4
%10 = call i32 @strlen(i8* %9)
store i32 %10, i32* %8
store i32 0, i32* %7
br label %11
11: ; preds = %24, %3
%12 = load i32, i32* %7
%13 = load i32, i32* %8
%14 = icmp slt i32 %12, %13
br i1 %14, label %15, label %27
15: ; preds = %11
%16 = load i8*, i8** %4
%17 = getelementptr inbounds i8, i8* %16, i32 1
store i8* %17, i8** %4
%18 = load i8, i8* %16
%19 = load i8*, i8** %5
%20 = load i32, i32* %6
%21 = add nsw i32 %20, 1
store i32 %21, i32* %6
%22 = sext i32 %20 to i64
%23 = getelementptr inbounds i8, i8* %19, i64 %22
store i8 %18, i8* %23
br label %24
24: ; preds = %15
%25 = load i32, i32* %7
%26 = add nsw i32 %25, 1
store i32 %26, i32* %7
br label %11
27: ; preds = %11
%28 = load i32, i32* %7
ret i32 %28
}

LLVM IR (-O2):
define i32 @print_string(i8* %0, i8* nocapture writeonly %1, i32 %2) {
%4 = tail call i32 @strlen(i8* %0)
%5 = icmp sgt i32 %4, 0
br i1 %5, label %6, label %185
6: ; preds = %3
%7 = sext i32 %2 to i64
%8 = add i32 %4, -1
%9 = zext i32 %8 to i64
%10 = add nuw nsw i64 %9, 1
%11 = icmp ult i32 %8, 7
br i1 %11, label %137, label %12
12: ; preds = %6
%13 = getelementptr i8, i8* %1, i64 %7
%14 = add i32 %4, -1
%15 = zext i32 %14 to i64
%16 = add nsw i64 %7, %15
%17 = add nsw i64 %16, 1
%18 = getelementptr i8, i8* %1, i64 %17
%19 = add nuw nsw i64 %15, 1
%20 = getelementptr i8, i8* %0, i64 %19
%21 = icmp ult i8* %13, %20
%22 = icmp ugt i8* %18, %0
%23 = and i1 %21, %22
br i1 %23, label %137, label %24
24: ; preds = %12
%25 = icmp ult i32 %8, 31
br i1 %25, label %116, label %26
26: ; preds = %24
%27 = and i64 %10, 8589934560
%28 = add nsw i64 %27, -32
%29 = lshr exact i64 %28, 5
%30 = add nuw nsw i64 %29, 1
%31 = and i64 %30, 3
%32 = icmp ult i64 %28, 96
br i1 %32, label %88, label %33
33: ; preds = %26
%34 = and i64 %30, 1152921504606846972
br label %35
35: ; preds = %35, %33
%36 = phi i64 [ 0, %33 ], [ %85, %35 ]
%37 = phi i64 [ 0, %33 ], [ %86, %35 ]
%38 = add i64 %36, %7
%39 = getelementptr i8, i8* %0, i64 %36
%40 = bitcast i8* %39 to <16 x i8>*
%41 = load <16 x i8>, <16 x i8>* %40
%42 = getelementptr i8, i8* %39, i64 16
%43 = bitcast i8* %42 to <16 x i8>*
%44 = load <16 x i8>, <16 x i8>* %43
%45 = getelementptr inbounds i8, i8* %1, i64 %38
%46 = bitcast i8* %45 to <16 x i8>*
store <16 x i8> %41, <16 x i8>* %46
%47 = getelementptr inbounds i8, i8* %45, i64 16
%48 = bitcast i8* %47 to <16 x i8>*
store <16 x i8> %44, <16 x i8>* %48
%49 = or i64 %36, 32
%50 = add i64 %49, %7
%51 = getelementptr i8, i8* %0, i64 %49
%52 = bitcast i8* %51 to <16 x i8>*
%53 = load <16 x i8>, <16 x i8>* %52
%54 = getelementptr i8, i8* %51, i64 16
%55 = bitcast i8* %54 to <16 x i8>*
%56 = load <16 x i8>, <16 x i8>* %55
%57 = getelementptr inbounds i8, i8* %1, i64 %50
%58 = bitcast i8* %57 to <16 x i8>*
store <16 x i8> %53, <16 x i8>* %58
%59 = getelementptr inbounds i8, i8* %57, i64 16
%60 = bitcast i8* %59 to <16 x i8>*
store <16 x i8> %56, <16 x i8>* %60
%61 = or i64 %36, 64
%62 = add i64 %61, %7
%63 = getelementptr i8, i8* %0, i64 %61
%64 = bitcast i8* %63 to <16 x i8>*
%65 = load <16 x i8>, <16 x i8>* %64
%66 = getelementptr i8, i8* %63, i64 16
%67 = bitcast i8* %66 to <16 x i8>*
%68 = load <16 x i8>, <16 x i8>* %67
%69 = getelementptr inbounds i8, i8* %1, i64 %62
%70 = bitcast i8* %69 to <16 x i8>*
store <16 x i8> %65, <16 x i8>* %70
%71 = getelementptr inbounds i8, i8* %69, i64 16
%72 = bitcast i8* %71 to <16 x i8>*
store <16 x i8> %68, <16 x i8>* %72
%73 = or i64 %36, 96
%74 = add i64 %73, %7
%75 = getelementptr i8, i8* %0, i64 %73
%76 = bitcast i8* %75 to <16 x i8>*
%77 = load <16 x i8>, <16 x i8>* %76
%78 = getelementptr i8, i8* %75, i64 16
%79 = bitcast i8* %78 to <16 x i8>*
%80 = load <16 x i8>, <16 x i8>* %79
%81 = getelementptr inbounds i8, i8* %1, i64 %74
%82 = bitcast i8* %81 to <16 x i8>*
store <16 x i8> %77, <16 x i8>* %82
%83 = getelementptr inbounds i8, i8* %81, i64 16
%84 = bitcast i8* %83 to <16 x i8>*
store <16 x i8> %80, <16 x i8>* %84
%85 = add nuw i64 %36, 128
%86 = add i64 %37, 4
%87 = icmp eq i64 %86, %34
br i1 %87, label %88, label %35
88: ; preds = %35, %26
%89 = phi i64 [ 0, %26 ], [ %85, %35 ]
%90 = icmp eq i64 %31, 0
br i1 %90, label %108, label %91
91: ; preds = %88, %91
%92 = phi i64 [ %105, %91 ], [ %89, %88 ]
%93 = phi i64 [ %106, %91 ], [ 0, %88 ]
%94 = add i64 %92, %7
%95 = getelementptr i8, i8* %0, i64 %92
%96 = bitcast i8* %95 to <16 x i8>*
%97 = load <16 x i8>, <16 x i8>* %96
%98 = getelementptr i8, i8* %95, i64 16
%99 = bitcast i8* %98 to <16 x i8>*
%100 = load <16 x i8>, <16 x i8>* %99
%101 = getelementptr inbounds i8, i8* %1, i64 %94
%102 = bitcast i8* %101 to <16 x i8>*
store <16 x i8> %97, <16 x i8>* %102
%103 = getelementptr inbounds i8, i8* %101, i64 16
%104 = bitcast i8* %103 to <16 x i8>*
store <16 x i8> %100, <16 x i8>* %104
%105 = add nuw i64 %92, 32
%106 = add i64 %93, 1
%107 = icmp eq i64 %106, %31
br i1 %107, label %108, label %91
108: ; preds = %91, %88
%109 = icmp eq i64 %10, %27
br i1 %109, label %185, label %110
110: ; preds = %108
%111 = trunc i64 %27 to i32
%112 = getelementptr i8, i8* %0, i64 %27
%113 = add nsw i64 %27, %7
%114 = and i64 %10, 24
%115 = icmp eq i64 %114, 0
br i1 %115, label %137, label %116
116: ; preds = %24, %110
%117 = phi i64 [ %27, %110 ], [ 0, %24 ]
%118 = add i32 %4, -1
%119 = zext i32 %118 to i64
%120 = add nuw nsw i64 %119, 1
%121 = and i64 %120, 8589934584
%122 = add nsw i64 %121, %7
%123 = getelementptr i8, i8* %0, i64 %121
%124 = trunc i64 %121 to i32
br label %125
125: ; preds = %125, %116
%126 = phi i64 [ %117, %116 ], [ %133, %125 ]
%127 = add i64 %126, %7
%128 = getelementptr i8, i8* %0, i64 %126
%129 = bitcast i8* %128 to <8 x i8>*
%130 = load <8 x i8>, <8 x i8>* %129
%131 = getelementptr inbounds i8, i8* %1, i64 %127
%132 = bitcast i8* %131 to <8 x i8>*
store <8 x i8> %130, <8 x i8>* %132
%133 = add nuw i64 %126, 8
%134 = icmp eq i64 %133, %121
br i1 %134, label %135, label %125
135: ; preds = %125
%136 = icmp eq i64 %120, %121
br i1 %136, label %185, label %137
137: ; preds = %12, %6, %110, %135
%138 = phi i64 [ %7, %6 ], [ %7, %12 ], [ %113, %110 ], [ %122, %135 ]
%139 = phi i8* [ %0, %6 ], [ %0, %12 ], [ %112, %110 ], [ %123, %135 ]
%140 = phi i32 [ 0, %6 ], [ 0, %12 ], [ %111, %110 ], [ %124, %135 ]
%141 = sub i32 %4, %140
%142 = xor i32 %140, -1
%143 = add i32 %4, %142
%144 = and i32 %141, 3
%145 = icmp eq i32 %144, 0
br i1 %145, label %158, label %146
146: ; preds = %137, %146
%147 = phi i64 [ %153, %146 ], [ %138, %137 ]
%148 = phi i8* [ %151, %146 ], [ %139, %137 ]
%149 = phi i32 [ %155, %146 ], [ %140, %137 ]
%150 = phi i32 [ %156, %146 ], [ 0, %137 ]
%151 = getelementptr inbounds i8, i8* %148, i64 1
%152 = load i8, i8* %148
%153 = add nsw i64 %147, 1
%154 = getelementptr inbounds i8, i8* %1, i64 %147
store i8 %152, i8* %154
%155 = add nuw nsw i32 %149, 1
%156 = add i32 %150, 1
%157 = icmp eq i32 %156, %144
br i1 %157, label %158, label %146
158: ; preds = %146, %137
%159 = phi i64 [ %138, %137 ], [ %153, %146 ]
%160 = phi i8* [ %139, %137 ], [ %151, %146 ]
%161 = phi i32 [ %140, %137 ], [ %155, %146 ]
%162 = icmp ult i32 %143, 3
br i1 %162, label %185, label %163
163: ; preds = %158, %163
%164 = phi i64 [ %181, %163 ], [ %159, %158 ]
%165 = phi i8* [ %179, %163 ], [ %160, %158 ]
%166 = phi i32 [ %183, %163 ], [ %161, %158 ]
%167 = getelementptr inbounds i8, i8* %165, i64 1
%168 = load i8, i8* %165
%169 = add nsw i64 %164, 1
%170 = getelementptr inbounds i8, i8* %1, i64 %164
store i8 %168, i8* %170
%171 = getelementptr inbounds i8, i8* %165, i64 2
%172 = load i8, i8* %167
%173 = add nsw i64 %164, 2
%174 = getelementptr inbounds i8, i8* %1, i64 %169
store i8 %172, i8* %174
%175 = getelementptr inbounds i8, i8* %165, i64 3
%176 = load i8, i8* %171
%177 = add nsw i64 %164, 3
%178 = getelementptr inbounds i8, i8* %1, i64 %173
store i8 %176, i8* %178
%179 = getelementptr inbounds i8, i8* %165, i64 4
%180 = load i8, i8* %175
%181 = add nsw i64 %164, 4
%182 = getelementptr inbounds i8, i8* %1, i64 %177
store i8 %180, i8* %182
%183 = add nuw nsw i32 %166, 4
%184 = icmp eq i32 %183, %4
br i1 %184, label %185, label %163
185: ; preds = %158, %163, %108, %135, %3
%186 = phi i32 [ 0, %3 ], [ %4, %135 ], [ %4, %108 ], [ %4, %163 ], [ %4, %158 ]
ret i32 %186
}