#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 */
scalar_t__ islower(char);
scalar_t__ isupper(char);
char *malloc(int);
int /*<<< orphan*/ strcpy(char *, char const *);
int strlen(char const *);
char *rot13(const char *input) {
  char *output = malloc(sizeof(char) * (strlen(input) + 1));
  strcpy(output, input);
  for (int i = 0; output[i] != '\0'; i++) {
    if (isupper(output[i]))
      output[i] += output[i] < 'N' ? 13 : -13;
    else if (islower(output[i]))
      output[i] += output[i] < 'n' ? 13 : -13;
  }
  return output;
}


x86 assembly (clang, -O0):
<rot13>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
call   1050 <strlen@plt>
add    $0x1,%eax
cltq
shl    $0x0,%rax
mov    %eax,%edi
call   1060 <malloc@plt>
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x8(%rbp),%rsi
call   1030 <strcpy@plt>
movl   $0x0,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     124f <rot13+0xff>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1070 <isupper@plt>
cmp    $0x0,%rax
je     11ef <rot13+0x9f>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
mov    $0xfffffff3,%esi
mov    $0xd,%eax
cmp    $0x4e,%ecx
cmovl  %eax,%esi
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%edx
add    %esi,%edx
mov    %dl,(%rax,%rcx,1)
jmp    123c <rot13+0xec>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1040 <islower@plt>
cmp    $0x0,%rax
je     1237 <rot13+0xe7>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
mov    $0xfffffff3,%esi
mov    $0xd,%eax
cmp    $0x6e,%ecx
cmovl  %eax,%esi
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%edx
add    %esi,%edx
mov    %dl,(%rax,%rcx,1)
jmp    123c <rot13+0xec>
jmp    1241 <rot13+0xf1>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    118d <rot13+0x3d>
mov    -0x10(%rbp),%rax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<rot13>:
push   %rbp
push   %r14
push   %rbx
mov    %rdi,%rbx
call   1050 <strlen@plt>
lea    0x1(%rax),%edi
call   1060 <malloc@plt>
mov    %rax,%r14
mov    %rax,%rdi
mov    %rbx,%rsi
call   1030 <strcpy@plt>
mov    (%r14),%al
test   %al,%al
je     11d5 <rot13+0x85>
mov    $0xd,%ebp
mov    %r14,%rbx
jmp    11b0 <rot13+0x60>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
cmp    $0x4e,%cl
setl   %al
test   %al,%al
mov    $0xf3,%eax
cmovne %ebp,%eax
add    %cl,%al
mov    %al,(%rbx)
movzbl 0x1(%rbx),%eax
add    $0x1,%rbx
test   %al,%al
je     11d5 <rot13+0x85>
movsbl %al,%edi
call   1070 <isupper@plt>
movzbl (%rbx),%ecx
test   %rax,%rax
jne    1190 <rot13+0x40>
movsbl %cl,%edi
call   1040 <islower@plt>
test   %rax,%rax
je     11a4 <rot13+0x54>
movzbl (%rbx),%ecx
cmp    $0x6e,%cl
jmp    1193 <rot13+0x43>
mov    %r14,%rax
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define i8* @rot13(i8* %0) {
%2 = alloca i8*
%3 = alloca i8*
%4 = alloca i32
store i8* %0, i8** %2
%5 = load i8*, i8** %2
%6 = call i32 @strlen(i8* %5)
%7 = add nsw i32 %6, 1
%8 = sext i32 %7 to i64
%9 = mul i64 1, %8
%10 = trunc i64 %9 to i32
%11 = call i8* @malloc(i32 %10)
store i8* %11, i8** %3
%12 = load i8*, i8** %3
%13 = load i8*, i8** %2
%14 = call i32 @strcpy(i8* %12, i8* %13)
store i32 0, i32* %4
br label %15
15: ; preds = %77, %1
%16 = load i8*, i8** %3
%17 = load i32, i32* %4
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds i8, i8* %16, i64 %18
%20 = load i8, i8* %19
%21 = sext i8 %20 to i32
%22 = icmp ne i32 %21, 0
br i1 %22, label %23, label %80
23: ; preds = %15
%24 = load i8*, i8** %3
%25 = load i32, i32* %4
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i8, i8* %24, i64 %26
%28 = load i8, i8* %27
%29 = call i64 @isupper(i8 signext %28)
%30 = icmp ne i64 %29, 0
br i1 %30, label %31, label %49
31: ; preds = %23
%32 = load i8*, i8** %3
%33 = load i32, i32* %4
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds i8, i8* %32, i64 %34
%36 = load i8, i8* %35
%37 = sext i8 %36 to i32
%38 = icmp slt i32 %37, 78
%39 = zext i1 %38 to i64
%40 = select i1 %38, i32 13, i32 -13
%41 = load i8*, i8** %3
%42 = load i32, i32* %4
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i8, i8* %41, i64 %43
%45 = load i8, i8* %44
%46 = sext i8 %45 to i32
%47 = add nsw i32 %46, %40
%48 = trunc i32 %47 to i8
store i8 %48, i8* %44
br label %76
49: ; preds = %23
%50 = load i8*, i8** %3
%51 = load i32, i32* %4
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds i8, i8* %50, i64 %52
%54 = load i8, i8* %53
%55 = call i64 @islower(i8 signext %54)
%56 = icmp ne i64 %55, 0
br i1 %56, label %57, label %75
57: ; preds = %49
%58 = load i8*, i8** %3
%59 = load i32, i32* %4
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds i8, i8* %58, i64 %60
%62 = load i8, i8* %61
%63 = sext i8 %62 to i32
%64 = icmp slt i32 %63, 110
%65 = zext i1 %64 to i64
%66 = select i1 %64, i32 13, i32 -13
%67 = load i8*, i8** %3
%68 = load i32, i32* %4
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i8, i8* %67, i64 %69
%71 = load i8, i8* %70
%72 = sext i8 %71 to i32
%73 = add nsw i32 %72, %66
%74 = trunc i32 %73 to i8
store i8 %74, i8* %70
br label %75
75: ; preds = %57, %49
br label %76
76: ; preds = %75, %31
br label %77
77: ; preds = %76
%78 = load i32, i32* %4
%79 = add nsw i32 %78, 1
store i32 %79, i32* %4
br label %15
80: ; preds = %15
%81 = load i8*, i8** %3
ret i8* %81
}

LLVM IR (-O2):
define i8* @rot13(i8* %0) {
%2 = tail call i32 @strlen(i8* %0)
%3 = add nsw i32 %2, 1
%4 = tail call i8* @malloc(i32 %3)
%5 = tail call i32 @strcpy(i8* %4, i8* %0)
%6 = load i8, i8* %4
%7 = icmp eq i8 %6, 0
br i1 %7, label %8, label %9
8: ; preds = %29, %1
ret i8* %4
9: ; preds = %1, %29
%10 = phi i64 [ %30, %29 ], [ 0, %1 ]
%11 = phi i8 [ %32, %29 ], [ %6, %1 ]
%12 = phi i8* [ %31, %29 ], [ %4, %1 ]
%13 = tail call i64 @isupper(i8 signext %11)
%14 = icmp eq i64 %13, 0
%15 = load i8, i8* %12
br i1 %14, label %18, label %16
16: ; preds = %9
%17 = icmp slt i8 %15, 78
br label %24
18: ; preds = %9
%19 = tail call i64 @islower(i8 signext %15)
%20 = icmp eq i64 %19, 0
br i1 %20, label %29, label %21
21: ; preds = %18
%22 = load i8, i8* %12
%23 = icmp slt i8 %22, 110
br label %24
24: ; preds = %21, %16
%25 = phi i1 [ %17, %16 ], [ %23, %21 ]
%26 = phi i8 [ %15, %16 ], [ %22, %21 ]
%27 = select i1 %25, i8 13, i8 -13
%28 = add i8 %27, %26
store i8 %28, i8* %12
br label %29
29: ; preds = %24, %18
%30 = add nuw i64 %10, 1
%31 = getelementptr inbounds i8, i8* %4, i64 %30
%32 = load i8, i8* %31
%33 = icmp eq i8 %32, 0
br i1 %33, label %8, label %9
}