#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 *);
void shiftRight(char *src, int index, int amount) {
  if (amount == 0)
    return;
  for (int i = strlen(src);; i--) {
    src[i + amount] = src[i];
    if (i == index)
      break;
  }
}


x86 assembly (clang, -O0):
<shiftRight>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jne    1131 <shiftRight+0x21>
jmp    117c <shiftRight+0x6c>
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    -0x10(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jne    1169 <shiftRight+0x59>
jmp    117c <shiftRight+0x6c>
jmp    116e <shiftRight+0x5e>
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    113d <shiftRight+0x2d>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<shiftRight>:
push   %rbp
push   %r14
push   %rbx
test   %edx,%edx
je     11ab <shiftRight+0x9b>
mov    %edx,%ebp
mov    %esi,%r14d
mov    %rdi,%rbx
call   1030 <strlen@plt>
movslq %eax,%r11
movslq %ebp,%rax
movslq %r14d,%r14
mov    %r11,%rcx
sub    %r14,%rcx
lea    0x1(%rcx),%r9
cmp    $0x4,%r9
jae    11b0 <shiftRight+0xa0>
mov    %r11,%rdi
mov    %edi,%esi
sub    %r14d,%esi
add    $0x1,%esi
mov    %rdi,%rbp
sub    %r14,%rbp
and    $0x3,%rsi
je     1171 <shiftRight+0x61>
lea    (%rbx,%rax,1),%rcx
nopl   (%rax)
movzbl (%rbx,%rdi,1),%edx
mov    %dl,(%rcx,%rdi,1)
add    $0xffffffffffffffff,%rdi
add    $0xffffffffffffffff,%rsi
jne    1160 <shiftRight+0x50>
cmp    $0x3,%rbp
jb     11ab <shiftRight+0x9b>
add    $0xffffffffffffffff,%r14
add    %rbx,%rax
xchg   %ax,%ax
movzbl (%rbx,%rdi,1),%ecx
mov    %cl,(%rax,%rdi,1)
movzbl -0x1(%rbx,%rdi,1),%ecx
mov    %cl,-0x1(%rax,%rdi,1)
movzbl -0x2(%rbx,%rdi,1),%ecx
mov    %cl,-0x2(%rax,%rdi,1)
movzbl -0x3(%rbx,%rdi,1),%ecx
mov    %cl,-0x3(%rax,%rdi,1)
add    $0xfffffffffffffffc,%rdi
cmp    %rdi,%r14
jne    1180 <shiftRight+0x70>
pop    %rbx
pop    %r14
pop    %rbp
ret
lea    (%r11,%rax,1),%r8
lea    (%rbx,%r8,1),%rdx
mov    %rdx,%rsi
sub    %rcx,%rsi
cmp    %rdx,%rsi
ja     1142 <shiftRight+0x32>
lea    (%rbx,%r11,1),%rdx
mov    %rdx,%rsi
sub    %rcx,%rsi
cmp    %rdx,%rsi
ja     1142 <shiftRight+0x32>
lea    (%rax,%r14,1),%rcx
add    %rbx,%rcx
lea    (%r11,%rbx,1),%rdx
add    $0x1,%rdx
cmp    %rdx,%rcx
jae    1203 <shiftRight+0xf3>
lea    (%rbx,%r8,1),%rcx
add    $0x1,%rcx
lea    (%rbx,%r14,1),%rdx
cmp    %rcx,%rdx
jb     1142 <shiftRight+0x32>
cmp    $0x10,%r9
jae    1210 <shiftRight+0x100>
xor    %esi,%esi
jmp    12d3 <shiftRight+0x1c3>
mov    %r9,%rsi
and    $0xfffffffffffffff0,%rsi
lea    -0x10(%rsi),%rcx
mov    %rcx,%rbp
shr    $0x4,%rbp
add    $0x1,%rbp
mov    %ebp,%r10d
and    $0x3,%r10d
cmp    $0x30,%rcx
jae    1237 <shiftRight+0x127>
xor    %edi,%edi
jmp    1283 <shiftRight+0x173>
and    $0xfffffffffffffffc,%rbp
lea    (%rbx,%r8,1),%rdx
add    $0xfffffffffffffff1,%rdx
lea    (%r11,%rbx,1),%rcx
add    $0xfffffffffffffff1,%rcx
xor    %edi,%edi
nopl   (%rax)
movups (%rcx,%rdi,1),%xmm0
movups %xmm0,(%rdx,%rdi,1)
movups -0x10(%rcx,%rdi,1),%xmm0
movups %xmm0,-0x10(%rdx,%rdi,1)
movups -0x20(%rcx,%rdi,1),%xmm0
movups %xmm0,-0x20(%rdx,%rdi,1)
movups -0x30(%rcx,%rdi,1),%xmm0
movups %xmm0,-0x30(%rdx,%rdi,1)
add    $0xffffffffffffffc0,%rdi
add    $0xfffffffffffffffc,%rbp
jne    1250 <shiftRight+0x140>
neg    %rdi
test   %r10,%r10
je     12c4 <shiftRight+0x1b4>
sub    %rdi,%r8
lea    (%r8,%rbx,1),%rcx
add    $0xfffffffffffffff1,%rcx
mov    %r11,%rdx
sub    %rdi,%rdx
add    %rbx,%rdx
add    $0xfffffffffffffff1,%rdx
shl    $0x4,%r10
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
movups (%rdx,%rdi,1),%xmm0
movups %xmm0,(%rcx,%rdi,1)
add    $0xfffffffffffffff0,%rdi
mov    %r10,%rbp
add    %rdi,%rbp
jne    12b0 <shiftRight+0x1a0>
cmp    %rsi,%r9
je     11ab <shiftRight+0x9b>
test   $0xc,%r9b
je     131d <shiftRight+0x20d>
mov    %r14,%rcx
neg    %rcx
lea    (%r11,%rcx,1),%r8
add    $0x1,%r8
mov    %r8,%rbp
and    $0xfffffffffffffffc,%rbp
mov    %r11,%rdi
sub    %rbp,%rdi
sub    %rsi,%r11
sub    %rbp,%rsi
lea    (%r11,%rbx,1),%rcx
add    $0xfffffffffffffffd,%rcx
nopl   0x0(%rax)
mov    (%rcx),%edx
mov    %edx,(%rcx,%rax,1)
add    $0xfffffffffffffffc,%rcx
add    $0x4,%rsi
jne    1300 <shiftRight+0x1f0>
cmp    %rbp,%r8
jne    1145 <shiftRight+0x35>
jmp    11ab <shiftRight+0x9b>
sub    %rsi,%r11
jmp    1142 <shiftRight+0x32>

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

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