#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 */
typedef int int8_t;

/* Variables and functions */
void GetReverseComplimentFourBit(int8_t *s, int8_t *r, int length) {
  int i;
  for (i = length - 1; i >= 0; i--) {
    r[i] = (4 != s[length - i - 1]) ? 3 - s[length - i - 1] : 4;
  }
  r[length] = '\0';
}


x86 assembly (clang, -O0):
<GetReverseComplimentFourBit>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x18(%rbp)
cmpl   $0x0,-0x18(%rbp)
jl     1189 <GetReverseComplimentFourBit+0x89>
mov    -0x8(%rbp),%rcx
mov    -0x14(%rbp),%eax
sub    -0x18(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rdx
mov    $0x4,%eax
cmp    (%rcx,%rdx,4),%eax
je     1160 <GetReverseComplimentFourBit+0x60>
mov    -0x8(%rbp),%rcx
mov    -0x14(%rbp),%eax
sub    -0x18(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rdx
mov    $0x3,%eax
sub    (%rcx,%rdx,4),%eax
mov    %eax,-0x1c(%rbp)
jmp    116d <GetReverseComplimentFourBit+0x6d>
mov    $0x4,%eax
mov    %eax,-0x1c(%rbp)
jmp    116d <GetReverseComplimentFourBit+0x6d>
mov    -0x1c(%rbp),%edx
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
jmp    1118 <GetReverseComplimentFourBit+0x18>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
pop    %rbp
ret

x86 assembly (clang, -O2):
<GetReverseComplimentFourBit>:
test   %edx,%edx
jle    121a <GetReverseComplimentFourBit+0x11a>
mov    %edx,%r9d
mov    %r9,%rcx
cmp    $0x8,%edx
jb     11d8 <GetReverseComplimentFourBit+0xd8>
lea    (%rdi,%r9,4),%rax
cmp    %rsi,%rax
jbe    1130 <GetReverseComplimentFourBit+0x30>
lea    (%rsi,%r9,4),%rax
mov    %r9,%rcx
cmp    %rdi,%rax
ja     11d8 <GetReverseComplimentFourBit+0xd8>
mov    %r9d,%r8d
and    $0xfffffff8,%r8d
mov    %r9d,%ecx
and    $0x7,%ecx
lea    (%rsi,%r9,4),%rdx
add    $0xfffffffffffffff0,%rdx
lea    0x0(,%r9,4),%r10
and    $0xffffffffffffffe0,%r10
xor    %eax,%eax
movdqa 0xea5(%rip),%xmm0
movdqa 0xead(%rip),%xmm1
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movdqu (%rdi,%rax,1),%xmm2
movdqu 0x10(%rdi,%rax,1),%xmm3
movdqa %xmm1,%xmm4
psubd  %xmm2,%xmm4
pcmpeqd %xmm0,%xmm2
movdqa %xmm1,%xmm5
psubd  %xmm3,%xmm5
pcmpeqd %xmm0,%xmm3
movdqa %xmm2,%xmm6
pandn  %xmm4,%xmm6
pand   %xmm0,%xmm2
por    %xmm6,%xmm2
movdqa %xmm3,%xmm4
pandn  %xmm5,%xmm4
pand   %xmm0,%xmm3
por    %xmm4,%xmm3
pshufd $0x1b,%xmm2,%xmm2
movdqu %xmm2,(%rdx)
pshufd $0x1b,%xmm3,%xmm2
movdqu %xmm2,-0x10(%rdx)
add    $0xffffffffffffffe0,%rdx
add    $0x20,%rax
cmp    %rax,%r10
jne    1170 <GetReverseComplimentFourBit+0x70>
cmp    %r9,%r8
je     1211 <GetReverseComplimentFourBit+0x111>
mov    %r9,%rax
sub    %rcx,%rax
add    $0x1,%rcx
lea    (%rdi,%rax,4),%rax
cs nopw 0x0(%rax,%rax,1)
mov    (%rax),%edx
mov    $0x3,%edi
sub    %edx,%edi
cmp    $0x4,%edx
cmove  %edx,%edi
mov    %edi,-0x8(%rsi,%rcx,4)
add    $0xffffffffffffffff,%rcx
add    $0x4,%rax
cmp    $0x1,%rcx
ja     11f0 <GetReverseComplimentFourBit+0xf0>
movl   $0x0,(%rsi,%r9,4)
ret
movslq %edx,%r9
movl   $0x0,(%rsi,%r9,4)
ret

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

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