#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 */
size_t strlen(char *);
void delete_char(char *str, size_t index) {
  size_t i;
  size_t len;
  len = strlen(str);
  if (len == 0) {
    return;
  }
  for (i = index; i < len; i++) {
    str[i] = str[i + 1];
  }
}


x86 assembly (clang, -O0):
<delete_char>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
jne    113d <delete_char+0x2d>
jmp    117b <delete_char+0x6b>
mov    -0x10(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    117b <delete_char+0x6b>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    0x1(%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1145 <delete_char+0x35>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<delete_char>:
push   %r14
push   %rbx
push   %rax
mov    %rsi,%r14
mov    %rdi,%rbx
call   1030 <strlen@plt>
mov    %rax,%r9
sub    %r14,%r9
jbe    1234 <delete_char+0x124>
cmp    $0x8,%r9
jae    1139 <delete_char+0x29>
mov    %r14,%rsi
jmp    1220 <delete_char+0x110>
cmp    $0x20,%r9
jae    1146 <delete_char+0x36>
xor    %edx,%edx
jmp    11d8 <delete_char+0xc8>
mov    %r9,%rdx
and    $0xffffffffffffffe0,%rdx
lea    -0x20(%rdx),%rcx
mov    %rcx,%r8
shr    $0x5,%r8
add    $0x1,%r8
test   %rcx,%rcx
je     1209 <delete_char+0xf9>
mov    %r8,%rsi
and    $0xfffffffffffffffe,%rsi
lea    (%r14,%rbx,1),%rcx
add    $0x31,%rcx
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
movups -0x30(%rcx,%rdi,1),%xmm0
movups -0x20(%rcx,%rdi,1),%xmm1
movups -0x10(%rcx,%rdi,1),%xmm2
movups (%rcx,%rdi,1),%xmm3
movups %xmm0,-0x31(%rcx,%rdi,1)
movups %xmm1,-0x21(%rcx,%rdi,1)
movups %xmm2,-0x11(%rcx,%rdi,1)
movups %xmm3,-0x1(%rcx,%rdi,1)
add    $0x40,%rdi
add    $0xfffffffffffffffe,%rsi
jne    1180 <delete_char+0x70>
test   $0x1,%r8b
je     11cd <delete_char+0xbd>
add    %r14,%rdi
movups 0x1(%rbx,%rdi,1),%xmm0
movups 0x11(%rbx,%rdi,1),%xmm1
movups %xmm0,(%rbx,%rdi,1)
movups %xmm1,0x10(%rbx,%rdi,1)
cmp    %rdx,%r9
je     1234 <delete_char+0x124>
test   $0x18,%r9b
je     1213 <delete_char+0x103>
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
lea    (%r8,%r14,1),%rsi
lea    (%r14,%rbx,1),%rdi
add    $0x1,%rdi
nopl   0x0(%rax,%rax,1)
mov    (%rdi,%rdx,1),%rcx
mov    %rcx,-0x1(%rdi,%rdx,1)
add    $0x8,%rdx
cmp    %rdx,%r8
jne    11f0 <delete_char+0xe0>
cmp    %r8,%r9
jne    1220 <delete_char+0x110>
jmp    1234 <delete_char+0x124>
xor    %edi,%edi
test   $0x1,%r8b
jne    11b7 <delete_char+0xa7>
jmp    11cd <delete_char+0xbd>
add    %r14,%rdx
mov    %rdx,%rsi
nopl   0x0(%rax)
movzbl 0x1(%rbx,%rsi,1),%ecx
mov    %cl,(%rbx,%rsi,1)
lea    0x1(%rsi),%rcx
mov    %rcx,%rsi
cmp    %rcx,%rax
jne    1220 <delete_char+0x110>
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

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

LLVM IR (-O2):
define void @delete_char(i8* nocapture %0, i64 %1) {
%3 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%4 = icmp ugt i64 %3, %1
br i1 %4, label %5, label %99
5: ; preds = %2
%6 = sub i64 %3, %1
%7 = icmp ult i64 %6, 8
br i1 %7, label %90, label %8
8: ; preds = %5
%9 = icmp ult i64 %6, 32
br i1 %9, label %72, label %10
10: ; preds = %8
%11 = and i64 %6, -32
%12 = add i64 %11, -32
%13 = lshr exact i64 %12, 5
%14 = add nuw nsw i64 %13, 1
%15 = and i64 %14, 1
%16 = icmp eq i64 %12, 0
br i1 %16, label %50, label %17
17: ; preds = %10
%18 = and i64 %14, 1152921504606846974
br label %19
19: ; preds = %19, %17
%20 = phi i64 [ 0, %17 ], [ %47, %19 ]
%21 = phi i64 [ 0, %17 ], [ %48, %19 ]
%22 = add i64 %20, %1
%23 = add nuw i64 %22, 1
%24 = getelementptr inbounds i8, i8* %0, i64 %23
%25 = bitcast i8* %24 to <16 x i8>*
%26 = load <16 x i8>, <16 x i8>* %25
%27 = getelementptr inbounds i8, i8* %24, i64 16
%28 = bitcast i8* %27 to <16 x i8>*
%29 = load <16 x i8>, <16 x i8>* %28
%30 = getelementptr inbounds i8, i8* %0, i64 %22
%31 = bitcast i8* %30 to <16 x i8>*
store <16 x i8> %26, <16 x i8>* %31
%32 = getelementptr inbounds i8, i8* %30, i64 16
%33 = bitcast i8* %32 to <16 x i8>*
store <16 x i8> %29, <16 x i8>* %33
%34 = or i64 %20, 32
%35 = add i64 %34, %1
%36 = add nuw i64 %35, 1
%37 = getelementptr inbounds i8, i8* %0, i64 %36
%38 = bitcast i8* %37 to <16 x i8>*
%39 = load <16 x i8>, <16 x i8>* %38
%40 = getelementptr inbounds i8, i8* %37, i64 16
%41 = bitcast i8* %40 to <16 x i8>*
%42 = load <16 x i8>, <16 x i8>* %41
%43 = getelementptr inbounds i8, i8* %0, i64 %35
%44 = bitcast i8* %43 to <16 x i8>*
store <16 x i8> %39, <16 x i8>* %44
%45 = getelementptr inbounds i8, i8* %43, i64 16
%46 = bitcast i8* %45 to <16 x i8>*
store <16 x i8> %42, <16 x i8>* %46
%47 = add nuw i64 %20, 64
%48 = add i64 %21, 2
%49 = icmp eq i64 %48, %18
br i1 %49, label %50, label %19
50: ; preds = %19, %10
%51 = phi i64 [ 0, %10 ], [ %47, %19 ]
%52 = icmp eq i64 %15, 0
br i1 %52, label %66, label %53
53: ; preds = %50
%54 = add i64 %51, %1
%55 = add nuw i64 %54, 1
%56 = getelementptr inbounds i8, i8* %0, i64 %55
%57 = bitcast i8* %56 to <16 x i8>*
%58 = load <16 x i8>, <16 x i8>* %57
%59 = getelementptr inbounds i8, i8* %56, i64 16
%60 = bitcast i8* %59 to <16 x i8>*
%61 = load <16 x i8>, <16 x i8>* %60
%62 = getelementptr inbounds i8, i8* %0, i64 %54
%63 = bitcast i8* %62 to <16 x i8>*
store <16 x i8> %58, <16 x i8>* %63
%64 = getelementptr inbounds i8, i8* %62, i64 16
%65 = bitcast i8* %64 to <16 x i8>*
store <16 x i8> %61, <16 x i8>* %65
br label %66
66: ; preds = %50, %53
%67 = icmp eq i64 %6, %11
br i1 %67, label %99, label %68
68: ; preds = %66
%69 = add i64 %11, %1
%70 = and i64 %6, 24
%71 = icmp eq i64 %70, 0
br i1 %71, label %90, label %72
72: ; preds = %8, %68
%73 = phi i64 [ %11, %68 ], [ 0, %8 ]
%74 = sub i64 %3, %1
%75 = and i64 %74, -8
%76 = add i64 %75, %1
br label %77
77: ; preds = %77, %72
%78 = phi i64 [ %73, %72 ], [ %86, %77 ]
%79 = add i64 %78, %1
%80 = add nuw i64 %79, 1
%81 = getelementptr inbounds i8, i8* %0, i64 %80
%82 = bitcast i8* %81 to <8 x i8>*
%83 = load <8 x i8>, <8 x i8>* %82
%84 = getelementptr inbounds i8, i8* %0, i64 %79
%85 = bitcast i8* %84 to <8 x i8>*
store <8 x i8> %83, <8 x i8>* %85
%86 = add nuw i64 %78, 8
%87 = icmp eq i64 %86, %75
br i1 %87, label %88, label %77
88: ; preds = %77
%89 = icmp eq i64 %74, %75
br i1 %89, label %99, label %90
90: ; preds = %5, %68, %88
%91 = phi i64 [ %1, %5 ], [ %69, %68 ], [ %76, %88 ]
br label %92
92: ; preds = %90, %92
%93 = phi i64 [ %94, %92 ], [ %91, %90 ]
%94 = add nuw i64 %93, 1
%95 = getelementptr inbounds i8, i8* %0, i64 %94
%96 = load i8, i8* %95
%97 = getelementptr inbounds i8, i8* %0, i64 %93
store i8 %96, i8* %97
%98 = icmp eq i64 %94, %3
br i1 %98, label %99, label %92
99: ; preds = %92, %66, %88, %2
ret void
}