void revcmp_seq(char *input, char **output, int num_chars) {
  char *temp;
  int i;
  i = 0;
  temp = *output;
  input = input + (num_chars - 1);
  while (i < num_chars) {
    switch (*input) {
    case ('A'):
      *temp = 'T';
      break;
    case ('T'):
      *temp = 'A';
      break;
    case ('G'):
      *temp = 'C';
      break;
    case ('C'):
      *temp = 'G';
      break;
    }
    input--;
    temp++;
    i++;
  }
  *output = temp - num_chars;
}


x86 assembly (clang, -O0):
<revcmp_seq>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x8(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11bf <revcmp_seq+0xbf>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
add    $0xffffffbf,%eax
mov    %eax,%ecx
mov    %rcx,-0x30(%rbp)
sub    $0x13,%eax
ja     1199 <revcmp_seq+0x99>
mov    -0x30(%rbp),%rax
lea    0xe9b(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x20(%rbp),%rax
movb   $0x54,(%rax)
jmp    1199 <revcmp_seq+0x99>
mov    -0x20(%rbp),%rax
movb   $0x41,(%rax)
jmp    1199 <revcmp_seq+0x99>
mov    -0x20(%rbp),%rax
movb   $0x43,(%rax)
jmp    1199 <revcmp_seq+0x99>
mov    -0x20(%rbp),%rax
movb   $0x47,(%rax)
mov    -0x8(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x8(%rbp)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1135 <revcmp_seq+0x35>
mov    -0x20(%rbp),%rcx
movslq -0x14(%rbp),%rdx
xor    %eax,%eax
sub    %rdx,%rax
add    %rax,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<revcmp_seq>:
mov    (%rsi),%r10
test   %edx,%edx
jle    11e2 <revcmp_seq+0xe2>
lea    -0x1(%rdx),%eax
add    %rax,%rdi
cmp    $0x1,%edx
jne    1147 <revcmp_seq+0x47>
test   $0x1,%dl
je     11e2 <revcmp_seq+0xe2>
movsbl (%rdi),%eax
add    $0xffffffbf,%eax
cmp    $0x13,%eax
ja     11de <revcmp_seq+0xde>
mov    $0x54,%cl
lea    0xf69(%rip),%rdi
movslq (%rdi,%rax,4),%rax
add    %rdi,%rax
jmp    *%rax
mov    $0x47,%cl
jmp    11db <revcmp_seq+0xdb>
mov    %edx,%ecx
and    $0xfffffffe,%ecx
lea    0xefd(%rip),%r8
lea    0xea6(%rip),%r9
jmp    1174 <revcmp_seq+0x74>
nopl   0x0(%rax)
mov    $0x47,%r11b
mov    %r11b,0x1(%r10)
add    $0xfffffffffffffffe,%rdi
add    $0x2,%r10
add    $0xfffffffe,%ecx
je     1116 <revcmp_seq+0x16>
movsbl (%rdi),%eax
add    $0xffffffbf,%eax
cmp    $0x13,%eax
ja     11a6 <revcmp_seq+0xa6>
mov    $0x54,%r11b
movslq (%r9,%rax,4),%rax
add    %r9,%rax
jmp    *%rax
mov    $0x47,%r11b
jmp    11a3 <revcmp_seq+0xa3>
mov    $0x43,%r11b
jmp    11a3 <revcmp_seq+0xa3>
cs nopw 0x0(%rax,%rax,1)
nop
mov    $0x41,%r11b
mov    %r11b,(%r10)
movsbl -0x1(%rdi),%eax
add    $0xffffffbf,%eax
cmp    $0x13,%eax
ja     1167 <revcmp_seq+0x67>
mov    $0x54,%r11b
movslq (%r8,%rax,4),%rax
add    %r8,%rax
jmp    *%rax
mov    $0x43,%r11b
jmp    1163 <revcmp_seq+0x63>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    $0x41,%r11b
jmp    1163 <revcmp_seq+0x63>
mov    $0x43,%cl
jmp    11db <revcmp_seq+0xdb>
mov    $0x41,%cl
mov    %cl,(%r10)
add    $0x1,%r10
movslq %edx,%rax
sub    %rax,%r10
mov    %r10,(%rsi)
ret

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

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