#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 *);
char strinsert(char *text, char c, int index, int text_size) {
  int length = strlen(text);
  if (length < text_size - 1) {
    if (index >= length) {
      index = length;
    }
    char temp[2];
    temp[1] = c;
    while (index <= length) {
      temp[0] = text[index];
      text[index] = temp[1];
      temp[1] = temp[0];
      index++;
    }
    text[index] = '\0';
    return 1;
  }
  return 0;
}


x86 assembly (clang, -O0):
<strinsert>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %sil,%al
mov    %rdi,-0x10(%rbp)
mov    %al,-0x11(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    11ae <strinsert+0x9e>
mov    -0x18(%rbp),%eax
cmp    -0x20(%rbp),%eax
jl     1157 <strinsert+0x47>
mov    -0x20(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x11(%rbp),%al
mov    %al,-0x21(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x20(%rbp),%eax
jg     1199 <strinsert+0x89>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x22(%rbp)
mov    -0x21(%rbp),%dl
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x22(%rbp),%al
mov    %al,-0x21(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    115d <strinsert+0x4d>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
movb   $0x1,-0x1(%rbp)
jmp    11b2 <strinsert+0xa2>
movb   $0x0,-0x1(%rbp)
movsbl -0x1(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<strinsert>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %ecx,%r15d
mov    %edx,%r14d
mov    %esi,%ebp
mov    %rdi,%rbx
call   1030 <strlen@plt>
add    $0xffffffff,%r15d
cmp    %r15d,%eax
jge    114d <strinsert+0x3d>
cmp    %r14d,%eax
cmovle %eax,%r14d
movslq %r14d,%rdi
lea    0x1(%rax),%r8d
sub    %edi,%eax
cmp    $0x1f,%eax
jae    1154 <strinsert+0x44>
mov    %rdi,%rdx
jmp    11d4 <strinsert+0xc4>
xor    %eax,%eax
jmp    11fb <strinsert+0xeb>
add    $0x1,%rax
mov    %rax,%rsi
and    $0xffffffffffffffe0,%rsi
lea    (%rsi,%rdi,1),%rdx
movzbl %bpl,%ebp
movd   %ebp,%xmm0
pslldq $0xf,%xmm0
add    %rbx,%rdi
add    $0x10,%rdi
xor    %ebp,%ebp
nopl   0x0(%rax)
movdqa %xmm0,%xmm1
movdqu -0x10(%rdi,%rbp,1),%xmm2
movdqu (%rdi,%rbp,1),%xmm0
movdqa %xmm2,%xmm3
pslldq $0x1,%xmm3
psrldq $0xf,%xmm1
por    %xmm3,%xmm1
psrldq $0xf,%xmm2
movdqa %xmm0,%xmm3
pslldq $0x1,%xmm3
por    %xmm2,%xmm3
movdqu %xmm1,-0x10(%rdi,%rbp,1)
movdqu %xmm3,(%rdi,%rbp,1)
add    $0x20,%rbp
cmp    %rbp,%rsi
jne    1180 <strinsert+0x70>
cmp    %rsi,%rax
je     11f2 <strinsert+0xe2>
pextrw $0x7,%xmm0,%ebp
shr    $0x8,%ebp
mov    %r8d,%eax
nopw   0x0(%rax,%rax,1)
movzbl (%rbx,%rdx,1),%ecx
mov    %bpl,(%rbx,%rdx,1)
add    $0x1,%rdx
mov    %ecx,%ebp
cmp    %edx,%eax
jne    11e0 <strinsert+0xd0>
movslq %r8d,%rax
movb   $0x0,(%rbx,%rax,1)
mov    $0x1,%al
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define signext i8 @strinsert(i8* %0, i8 signext %1, i32 %2, i32 %3) {
%5 = alloca i8
%6 = alloca i8*
%7 = alloca i8
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca [2 x i8]
store i8* %0, i8** %6
store i8 %1, i8* %7
store i32 %2, i32* %8
store i32 %3, i32* %9
%12 = load i8*, i8** %6
%13 = call i32 @strlen(i8* %12)
store i32 %13, i32* %10
%14 = load i32, i32* %10
%15 = load i32, i32* %9
%16 = sub nsw i32 %15, 1
%17 = icmp slt i32 %14, %16
br i1 %17, label %18, label %54
18: ; preds = %4
%19 = load i32, i32* %8
%20 = load i32, i32* %10
%21 = icmp sge i32 %19, %20
br i1 %21, label %22, label %24
22: ; preds = %18
%23 = load i32, i32* %10
store i32 %23, i32* %8
br label %24
24: ; preds = %22, %18
%25 = load i8, i8* %7
%26 = getelementptr inbounds [2 x i8], [2 x i8]* %11, i64 0, i64 1
store i8 %25, i8* %26
br label %27
27: ; preds = %31, %24
%28 = load i32, i32* %8
%29 = load i32, i32* %10
%30 = icmp sle i32 %28, %29
br i1 %30, label %31, label %49
31: ; preds = %27
%32 = load i8*, i8** %6
%33 = load i32, i32* %8
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds i8, i8* %32, i64 %34
%36 = load i8, i8* %35
%37 = getelementptr inbounds [2 x i8], [2 x i8]* %11, i64 0, i64 0
store i8 %36, i8* %37
%38 = getelementptr inbounds [2 x i8], [2 x i8]* %11, i64 0, i64 1
%39 = load i8, i8* %38
%40 = load i8*, i8** %6
%41 = load i32, i32* %8
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds i8, i8* %40, i64 %42
store i8 %39, i8* %43
%44 = getelementptr inbounds [2 x i8], [2 x i8]* %11, i64 0, i64 0
%45 = load i8, i8* %44
%46 = getelementptr inbounds [2 x i8], [2 x i8]* %11, i64 0, i64 1
store i8 %45, i8* %46
%47 = load i32, i32* %8
%48 = add nsw i32 %47, 1
store i32 %48, i32* %8
br label %27
49: ; preds = %27
%50 = load i8*, i8** %6
%51 = load i32, i32* %8
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds i8, i8* %50, i64 %52
store i8 0, i8* %53
store i8 1, i8* %5
br label %55
54: ; preds = %4
store i8 0, i8* %5
br label %55
55: ; preds = %54, %49
%56 = load i8, i8* %5
ret i8 %56
}

LLVM IR (-O2):
define signext i8 @strinsert(i8* %0, i8 signext %1, i32 %2, i32 %3) {
%5 = tail call i32 @strlen(i8* %0)
%6 = add nsw i32 %3, -1
%7 = icmp slt i32 %5, %6
br i1 %7, label %8, label %54
8: ; preds = %4
%9 = icmp sgt i32 %5, %2
%10 = select i1 %9, i32 %2, i32 %5
%11 = sext i32 %10 to i64
%12 = add nsw i32 %5, 1
%13 = sub i32 %5, %10
%14 = zext i32 %13 to i64
%15 = add nuw nsw i64 %14, 1
%16 = icmp ult i32 %13, 31
br i1 %16, label %40, label %17
17: ; preds = %8
%18 = and i64 %15, 8589934560
%19 = add nsw i64 %18, %11
%20 = insertelement <16 x i8> poison, i8 %1, i64 15
br label %21
21: ; preds = %21, %17
%22 = phi i64 [ 0, %17 ], [ %35, %21 ]
%23 = phi <16 x i8> [ %20, %17 ], [ %30, %21 ]
%24 = add i64 %22, %11
%25 = getelementptr inbounds i8, i8* %0, i64 %24
%26 = bitcast i8* %25 to <16 x i8>*
%27 = load <16 x i8>, <16 x i8>* %26
%28 = getelementptr inbounds i8, i8* %25, i64 16
%29 = bitcast i8* %28 to <16 x i8>*
%30 = load <16 x i8>, <16 x i8>* %29
%31 = shufflevector <16 x i8> %23, <16 x i8> %27, <16 x i32> <i32 15, i32 16, i32 17, i32 18, i32 19, i32 20, i32 21, i32 22, i32 23, i32 24, i32 25, i32 26, i32 27, i32 28, i32 29, i32 30>
%32 = shufflevector <16 x i8> %27, <16 x i8> %30, <16 x i32> <i32 15, i32 16, i32 17, i32 18, i32 19, i32 20, i32 21, i32 22, i32 23, i32 24, i32 25, i32 26, i32 27, i32 28, i32 29, i32 30>
%33 = bitcast i8* %25 to <16 x i8>*
store <16 x i8> %31, <16 x i8>* %33
%34 = bitcast i8* %28 to <16 x i8>*
store <16 x i8> %32, <16 x i8>* %34
%35 = add nuw i64 %22, 32
%36 = icmp eq i64 %35, %18
br i1 %36, label %37, label %21
37: ; preds = %21
%38 = icmp eq i64 %15, %18
%39 = extractelement <16 x i8> %30, i64 15
br i1 %38, label %51, label %40
40: ; preds = %8, %37
%41 = phi i64 [ %19, %37 ], [ %11, %8 ]
%42 = phi i8 [ %39, %37 ], [ %1, %8 ]
br label %43
43: ; preds = %40, %43
%44 = phi i64 [ %48, %43 ], [ %41, %40 ]
%45 = phi i8 [ %47, %43 ], [ %42, %40 ]
%46 = getelementptr inbounds i8, i8* %0, i64 %44
%47 = load i8, i8* %46
store i8 %45, i8* %46
%48 = add nsw i64 %44, 1
%49 = trunc i64 %48 to i32
%50 = icmp eq i32 %12, %49
br i1 %50, label %51, label %43
51: ; preds = %43, %37
%52 = sext i32 %12 to i64
%53 = getelementptr inbounds i8, i8* %0, i64 %52
store i8 0, i8* %53
br label %54
54: ; preds = %4, %51
%55 = phi i8 [ 1, %51 ], [ 0, %4 ]
ret i8 %55
}