void strRight(char *string, char *erg, int counter) {
  int l;
  l = strlen(string) - 1;
  while (counter--)
    *erg++ = *(string + l - counter);
  *erg = '\0';
}


x86 assembly (clang, -O0):
<strRight>:
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>
sub    $0x1,%rax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x14(%rbp)
cmp    $0x0,%eax
je     1174 <strRight+0x64>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
add    %rcx,%rax
movslq -0x14(%rbp),%rdx
xor    %ecx,%ecx
sub    %rdx,%rcx
mov    (%rax,%rcx,1),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
jmp    1133 <strRight+0x23>
mov    -0x10(%rbp),%rax
movb   $0x0,(%rax)
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<strRight>:
push   %r15
push   %r14
push   %rbx
mov    %rsi,%rbx
test   %edx,%edx
je     128e <strRight+0x17e>
mov    %edx,%r15d
mov    %rdi,%r14
call   1030 <strlen@plt>
add    $0xffffffff,%eax
movslq %eax,%r9
movslq %r15d,%r10
add    $0xffffffff,%r15d
cmp    $0x1f,%r15d
jb     1211 <strRight+0x101>
mov    %r9,%rdi
sub    %r10,%rdi
lea    (%r9,%r15,1),%rcx
sub    %r10,%rcx
add    %r14,%rcx
add    $0x2,%rcx
cmp    %rbx,%rcx
jbe    1174 <strRight+0x64>
lea    (%r15,%rbx,1),%rcx
add    $0x1,%rcx
lea    (%rdi,%r14,1),%rdx
add    $0x1,%rdx
cmp    %rcx,%rdx
jb     1211 <strRight+0x101>
add    $0x1,%r15
mov    %r15,%r8
and    $0xffffffffffffffe0,%r8
lea    -0x20(%r8),%rcx
mov    %rcx,%rdx
shr    $0x5,%rdx
add    $0x1,%rdx
test   %rcx,%rcx
je     1297 <strRight+0x187>
mov    %rdx,%rsi
and    $0xfffffffffffffffe,%rsi
lea    (%rdi,%r14,1),%rcx
add    $0x31,%rcx
xor    %edi,%edi
nopl   0x0(%rax,%rax,1)
movups -0x30(%rcx,%rdi,1),%xmm0
movups -0x20(%rcx,%rdi,1),%xmm1
movups %xmm0,(%rbx,%rdi,1)
movups %xmm1,0x10(%rbx,%rdi,1)
movups -0x10(%rcx,%rdi,1),%xmm0
movups (%rcx,%rdi,1),%xmm1
movups %xmm0,0x20(%rbx,%rdi,1)
movups %xmm1,0x30(%rbx,%rdi,1)
add    $0x40,%rdi
add    $0xfffffffffffffffe,%rsi
jne    11b0 <strRight+0xa0>
test   $0x1,%dl
je     1202 <strRight+0xf2>
lea    (%r14,%r9,1),%rcx
mov    %rdi,%rdx
sub    %r10,%rdx
movups 0x1(%rcx,%rdx,1),%xmm0
movups 0x11(%rcx,%rdx,1),%xmm1
movups %xmm0,(%rbx,%rdi,1)
movups %xmm1,0x10(%rbx,%rdi,1)
add    %r8,%rbx
cmp    %r8,%r15
je     128e <strRight+0x17e>
sub    %r8,%r10
lea    -0x1(%r10),%r8d
test   $0x3,%r10b
je     1245 <strRight+0x135>
mov    %r9,%rcx
sub    %r10,%rcx
add    %r14,%rcx
add    $0x1,%rcx
mov    %r10d,%edi
and    $0x3,%edi
xor    %esi,%esi
movzbl (%rcx,%rsi,1),%edx
mov    %dl,(%rbx,%rsi,1)
add    $0x1,%rsi
cmp    %esi,%edi
jne    1230 <strRight+0x120>
sub    %rsi,%r10
add    %rsi,%rbx
cmp    $0x3,%r8d
jb     128e <strRight+0x17e>
sub    %r10,%r9
lea    (%r9,%r14,1),%rdx
add    $0x4,%rdx
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
movzbl -0x3(%rdx,%rcx,1),%eax
mov    %al,(%rbx,%rcx,1)
movzbl -0x2(%rdx,%rcx,1),%eax
mov    %al,0x1(%rbx,%rcx,1)
movzbl -0x1(%rdx,%rcx,1),%eax
mov    %al,0x2(%rbx,%rcx,1)
movzbl (%rdx,%rcx,1),%eax
mov    %al,0x3(%rbx,%rcx,1)
add    $0x4,%rcx
cmp    %ecx,%r10d
jne    1260 <strRight+0x150>
add    %rcx,%rbx
movb   $0x0,(%rbx)
pop    %rbx
pop    %r14
pop    %r15
ret
xor    %edi,%edi
test   $0x1,%dl
jne    11e5 <strRight+0xd5>
jmp    1202 <strRight+0xf2>

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

LLVM IR (-O2):
define void @strRight(i8* nocapture %0, i8* nocapture writeonly %1, i32 %2) {
%4 = icmp eq i32 %2, 0
br i1 %4, label %136, label %5
5: ; preds = %3
%6 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%7 = shl i64 %6, 32
%8 = add i64 %7, -4294967296
%9 = ashr exact i64 %8, 32
%10 = getelementptr inbounds i8, i8* %0, i64 %9
%11 = sext i32 %2 to i64
%12 = add i32 %2, -1
%13 = zext i32 %12 to i64
%14 = add nuw nsw i64 %13, 1
%15 = icmp ult i32 %12, 31
br i1 %15, label %91, label %16
16: ; preds = %5
%17 = add i32 %2, -1
%18 = zext i32 %17 to i64
%19 = add nuw nsw i64 %18, 1
%20 = getelementptr i8, i8* %1, i64 %19
%21 = add nsw i64 %9, 1
%22 = sub nsw i64 %21, %11
%23 = getelementptr i8, i8* %0, i64 %22
%24 = add nsw i64 %9, %18
%25 = add nsw i64 %24, 2
%26 = sub nsw i64 %25, %11
%27 = getelementptr i8, i8* %0, i64 %26
%28 = icmp ugt i8* %27, %1
%29 = icmp ult i8* %23, %20
%30 = and i1 %28, %29
br i1 %30, label %91, label %31
31: ; preds = %16
%32 = and i64 %14, 8589934560
%33 = sub nsw i64 %11, %32
%34 = getelementptr i8, i8* %1, i64 %32
%35 = add nsw i64 %32, -32
%36 = lshr exact i64 %35, 5
%37 = add nuw nsw i64 %36, 1
%38 = and i64 %37, 1
%39 = icmp eq i64 %35, 0
br i1 %39, label %73, label %40
40: ; preds = %31
%41 = and i64 %37, 1152921504606846974
br label %42
42: ; preds = %42, %40
%43 = phi i64 [ 0, %40 ], [ %70, %42 ]
%44 = phi i64 [ 0, %40 ], [ %71, %42 ]
%45 = sub i64 %43, %11
%46 = getelementptr i8, i8* %1, i64 %43
%47 = add i64 %45, 1
%48 = getelementptr inbounds i8, i8* %10, i64 %47
%49 = bitcast i8* %48 to <16 x i8>*
%50 = load <16 x i8>, <16 x i8>* %49
%51 = getelementptr inbounds i8, i8* %48, i64 16
%52 = bitcast i8* %51 to <16 x i8>*
%53 = load <16 x i8>, <16 x i8>* %52
%54 = bitcast i8* %46 to <16 x i8>*
store <16 x i8> %50, <16 x i8>* %54
%55 = getelementptr i8, i8* %46, i64 16
%56 = bitcast i8* %55 to <16 x i8>*
store <16 x i8> %53, <16 x i8>* %56
%57 = or i64 %43, 32
%58 = sub i64 %57, %11
%59 = getelementptr i8, i8* %1, i64 %57
%60 = add i64 %58, 1
%61 = getelementptr inbounds i8, i8* %10, i64 %60
%62 = bitcast i8* %61 to <16 x i8>*
%63 = load <16 x i8>, <16 x i8>* %62
%64 = getelementptr inbounds i8, i8* %61, i64 16
%65 = bitcast i8* %64 to <16 x i8>*
%66 = load <16 x i8>, <16 x i8>* %65
%67 = bitcast i8* %59 to <16 x i8>*
store <16 x i8> %63, <16 x i8>* %67
%68 = getelementptr i8, i8* %59, i64 16
%69 = bitcast i8* %68 to <16 x i8>*
store <16 x i8> %66, <16 x i8>* %69
%70 = add nuw i64 %43, 64
%71 = add i64 %44, 2
%72 = icmp eq i64 %71, %41
br i1 %72, label %73, label %42
73: ; preds = %42, %31
%74 = phi i64 [ 0, %31 ], [ %70, %42 ]
%75 = icmp eq i64 %38, 0
br i1 %75, label %89, label %76
76: ; preds = %73
%77 = sub i64 %74, %11
%78 = getelementptr i8, i8* %1, i64 %74
%79 = add i64 %77, 1
%80 = getelementptr inbounds i8, i8* %10, i64 %79
%81 = bitcast i8* %80 to <16 x i8>*
%82 = load <16 x i8>, <16 x i8>* %81
%83 = getelementptr inbounds i8, i8* %80, i64 16
%84 = bitcast i8* %83 to <16 x i8>*
%85 = load <16 x i8>, <16 x i8>* %84
%86 = bitcast i8* %78 to <16 x i8>*
store <16 x i8> %82, <16 x i8>* %86
%87 = getelementptr i8, i8* %78, i64 16
%88 = bitcast i8* %87 to <16 x i8>*
store <16 x i8> %85, <16 x i8>* %88
br label %89
89: ; preds = %73, %76
%90 = icmp eq i64 %14, %32
br i1 %90, label %136, label %91
91: ; preds = %16, %5, %89
%92 = phi i64 [ %11, %16 ], [ %11, %5 ], [ %33, %89 ]
%93 = phi i8* [ %1, %16 ], [ %1, %5 ], [ %34, %89 ]
%94 = trunc i64 %92 to i32
%95 = add i32 %94, -1
%96 = and i32 %94, 3
%97 = icmp eq i32 %96, 0
br i1 %97, label %109, label %98
98: ; preds = %91, %98
%99 = phi i64 [ %102, %98 ], [ %92, %91 ]
%100 = phi i8* [ %106, %98 ], [ %93, %91 ]
%101 = phi i32 [ %107, %98 ], [ 0, %91 ]
%102 = add nsw i64 %99, -1
%103 = sub i64 1, %99
%104 = getelementptr inbounds i8, i8* %10, i64 %103
%105 = load i8, i8* %104
%106 = getelementptr inbounds i8, i8* %100, i64 1
store i8 %105, i8* %100
%107 = add i32 %101, 1
%108 = icmp eq i32 %107, %96
br i1 %108, label %109, label %98
109: ; preds = %98, %91
%110 = phi i8* [ undef, %91 ], [ %106, %98 ]
%111 = phi i64 [ %92, %91 ], [ %102, %98 ]
%112 = phi i8* [ %93, %91 ], [ %106, %98 ]
%113 = icmp ult i32 %95, 3
br i1 %113, label %136, label %114
114: ; preds = %109, %114
%115 = phi i64 [ %129, %114 ], [ %111, %109 ]
%116 = phi i8* [ %133, %114 ], [ %112, %109 ]
%117 = sub i64 1, %115
%118 = getelementptr inbounds i8, i8* %10, i64 %117
%119 = load i8, i8* %118
%120 = getelementptr inbounds i8, i8* %116, i64 1
store i8 %119, i8* %116
%121 = sub i64 2, %115
%122 = getelementptr inbounds i8, i8* %10, i64 %121
%123 = load i8, i8* %122
%124 = getelementptr inbounds i8, i8* %116, i64 2
store i8 %123, i8* %120
%125 = sub i64 3, %115
%126 = getelementptr inbounds i8, i8* %10, i64 %125
%127 = load i8, i8* %126
%128 = getelementptr inbounds i8, i8* %116, i64 3
store i8 %127, i8* %124
%129 = add nsw i64 %115, -4
%130 = sub i64 4, %115
%131 = getelementptr inbounds i8, i8* %10, i64 %130
%132 = load i8, i8* %131
%133 = getelementptr inbounds i8, i8* %116, i64 4
store i8 %132, i8* %128
%134 = trunc i64 %129 to i32
%135 = icmp eq i32 %134, 0
br i1 %135, label %136, label %114
136: ; preds = %109, %114, %89, %3
%137 = phi i8* [ %1, %3 ], [ %34, %89 ], [ %110, %109 ], [ %133, %114 ]
store i8 0, i8* %137
ret void
}