#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 */
size_t strlen(char *);
int rot_k(char *message, int k) {
  char c = 0;
  char rotc = 0;
  char adj = 0;
  size_t len = 0;
  size_t idx = 0;
  size_t count = 0;
  if (message == NULL) {
    return -1;
  }
  len = strlen(message);
  if (len < 1) {
    return -1;
  }
  if ((k < 0) || (k >= 26)) {
    k %= 26;
  }
  while (k < 0) {
    k += 26;
  }
  for (idx = 0; idx < len; ++idx) {
    c = message[idx];
    if (('a' <= c) && (c <= 'z')) {
      adj = 'a';
      ++count;
    } else if (('A' <= c) && (c <= 'Z')) {
      adj = 'A';
      ++count;
    } else {
      continue;
    }
    rotc = c - adj;
    rotc += k;
    rotc %= 26;
    rotc += adj;
    message[idx] = rotc;
  }
  return count;
}


x86 assembly (clang, -O0):
<rot_k>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movb   $0x0,-0x15(%rbp)
movb   $0x0,-0x16(%rbp)
movb   $0x0,-0x17(%rbp)
movq   $0x0,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
movq   $0x0,-0x30(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    115a <rot_k+0x4a>
movl   $0xffffffff,-0x4(%rbp)
jmp    12ae <rot_k+0x19e>
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x20(%rbp)
cmpq   $0x1,-0x20(%rbp)
jae    117e <rot_k+0x6e>
movl   $0xffffffff,-0x4(%rbp)
jmp    12ae <rot_k+0x19e>
cmpl   $0x0,-0x14(%rbp)
jl     1192 <rot_k+0x82>
cmpl   $0x1a,-0x14(%rbp)
jl     11a0 <rot_k+0x90>
mov    -0x14(%rbp),%eax
mov    $0x1a,%ecx
cltd
idiv   %ecx
mov    %edx,-0x14(%rbp)
jmp    11a5 <rot_k+0x95>
cmpl   $0x0,-0x14(%rbp)
jge    11bd <rot_k+0xad>
mov    -0x14(%rbp),%eax
add    $0x1a,%eax
mov    %eax,-0x14(%rbp)
jmp    11a5 <rot_k+0x95>
movq   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    12a7 <rot_k+0x197>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x15(%rbp)
movsbl -0x15(%rbp),%ecx
mov    $0x61,%eax
cmp    %ecx,%eax
jg     1214 <rot_k+0x104>
movsbl -0x15(%rbp),%eax
cmp    $0x7a,%eax
jg     1214 <rot_k+0x104>
movb   $0x61,-0x17(%rbp)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1251 <rot_k+0x141>
movsbl -0x15(%rbp),%ecx
mov    $0x41,%eax
cmp    %ecx,%eax
jg     1247 <rot_k+0x137>
movsbl -0x15(%rbp),%eax
cmp    $0x5a,%eax
jg     1247 <rot_k+0x137>
movb   $0x41,-0x17(%rbp)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    124c <rot_k+0x13c>
jmp    1296 <rot_k+0x186>
jmp    1251 <rot_k+0x141>
movsbl -0x15(%rbp),%eax
movsbl -0x17(%rbp),%ecx
sub    %ecx,%eax
mov    %al,-0x16(%rbp)
mov    -0x14(%rbp),%ecx
movsbl -0x16(%rbp),%eax
add    %ecx,%eax
mov    %al,-0x16(%rbp)
movsbl -0x16(%rbp),%eax
mov    $0x1a,%ecx
cltd
idiv   %ecx
mov    %dl,%al
mov    %al,-0x16(%rbp)
movsbl -0x17(%rbp),%ecx
movsbl -0x16(%rbp),%eax
add    %ecx,%eax
mov    %al,-0x16(%rbp)
mov    -0x16(%rbp),%dl
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    11c5 <rot_k+0xb5>
mov    -0x30(%rbp),%rax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<rot_k>:
push   %rbp
push   %r14
push   %rbx
mov    $0xffffffff,%r14d
test   %rdi,%rdi
je     11e9 <rot_k+0xd9>
mov    %esi,%ebp
mov    %rdi,%rbx
call   1030 <strlen@plt>
test   %rax,%rax
je     11e9 <rot_k+0xd9>
cmp    $0x1a,%ebp
jb     115c <rot_k+0x4c>
movslq %ebp,%rcx
imul   $0x4ec4ec4f,%rcx,%rcx
mov    %rcx,%rdx
shr    $0x3f,%rdx
sar    $0x23,%rcx
add    %edx,%ecx
lea    (%rcx,%rcx,4),%edx
lea    (%rdx,%rdx,4),%edx
add    %ecx,%edx
sub    %edx,%ebp
xor    %r14d,%r14d
test   %ebp,%ebp
mov    $0x0,%ecx
cmovg  %ebp,%ecx
xor    %edx,%edx
sub    %ebp,%ecx
setne  %dl
sub    %edx,%ecx
imul   $0x4ec4ec4f,%rcx,%rcx
shr    $0x23,%rcx
add    %edx,%ecx
lea    (%rcx,%rcx,4),%edx
lea    (%rdx,%rdx,4),%r8d
add    %ecx,%r8d
add    %ebp,%r8d
xor    %edx,%edx
jmp    11cd <rot_k+0xbd>
add    $0x1,%r14
add    %r8b,%dil
sub    %cl,%dil
movsbl %dil,%edi
imul   $0x4f,%edi,%ebp
movzwl %bp,%esi
shr    $0xb,%ebp
shr    $0xf,%esi
add    %bpl,%sil
movzbl %sil,%esi
lea    (%rsi,%rsi,4),%ebp
lea    0x0(%rbp,%rbp,4),%ebp
add    %esi,%ebp
sub    %bpl,%dil
add    %cl,%dil
mov    %dil,(%rbx,%rdx,1)
add    $0x1,%rdx
cmp    %rdx,%rax
je     11e9 <rot_k+0xd9>
movzbl (%rbx,%rdx,1),%edi
lea    -0x61(%rdi),%ebp
mov    $0x61,%cl
cmp    $0x1a,%bpl
jb     1190 <rot_k+0x80>
lea    -0x41(%rdi),%ebp
mov    $0x41,%cl
cmp    $0x19,%bpl
jbe    1190 <rot_k+0x80>
jmp    11c4 <rot_k+0xb4>
mov    %r14d,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define i32 @rot_k(i8* %0, i32 %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i8
%7 = alloca i8
%8 = alloca i8
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
store i8* %0, i8** %4
store i32 %1, i32* %5
store i8 0, i8* %6
store i8 0, i8* %7
store i8 0, i8* %8
store i64 0, i64* %9
store i64 0, i64* %10
store i64 0, i64* %11
%12 = load i8*, i8** %4
%13 = icmp eq i8* %12, null
br i1 %13, label %14, label %15
14: ; preds = %2
store i32 -1, i32* %3
br label %102
15: ; preds = %2
%16 = load i8*, i8** %4
%17 = call i64 @strlen(i8* %16)
store i64 %17, i64* %9
%18 = load i64, i64* %9
%19 = icmp ult i64 %18, 1
br i1 %19, label %20, label %21
20: ; preds = %15
store i32 -1, i32* %3
br label %102
21: ; preds = %15
%22 = load i32, i32* %5
%23 = icmp slt i32 %22, 0
br i1 %23, label %27, label %24
24: ; preds = %21
%25 = load i32, i32* %5
%26 = icmp sge i32 %25, 26
br i1 %26, label %27, label %30
27: ; preds = %24, %21
%28 = load i32, i32* %5
%29 = srem i32 %28, 26
store i32 %29, i32* %5
br label %30
30: ; preds = %27, %24
br label %31
31: ; preds = %34, %30
%32 = load i32, i32* %5
%33 = icmp slt i32 %32, 0
br i1 %33, label %34, label %37
34: ; preds = %31
%35 = load i32, i32* %5
%36 = add nsw i32 %35, 26
store i32 %36, i32* %5
br label %31
37: ; preds = %31
store i64 0, i64* %10
br label %38
38: ; preds = %96, %37
%39 = load i64, i64* %10
%40 = load i64, i64* %9
%41 = icmp ult i64 %39, %40
br i1 %41, label %42, label %99
42: ; preds = %38
%43 = load i8*, i8** %4
%44 = load i64, i64* %10
%45 = getelementptr inbounds i8, i8* %43, i64 %44
%46 = load i8, i8* %45
store i8 %46, i8* %6
%47 = load i8, i8* %6
%48 = sext i8 %47 to i32
%49 = icmp sle i32 97, %48
br i1 %49, label %50, label %57
50: ; preds = %42
%51 = load i8, i8* %6
%52 = sext i8 %51 to i32
%53 = icmp sle i32 %52, 122
br i1 %53, label %54, label %57
54: ; preds = %50
store i8 97, i8* %8
%55 = load i64, i64* %11
%56 = add i64 %55, 1
store i64 %56, i64* %11
br label %70
57: ; preds = %50, %42
%58 = load i8, i8* %6
%59 = sext i8 %58 to i32
%60 = icmp sle i32 65, %59
br i1 %60, label %61, label %68
61: ; preds = %57
%62 = load i8, i8* %6
%63 = sext i8 %62 to i32
%64 = icmp sle i32 %63, 90
br i1 %64, label %65, label %68
65: ; preds = %61
store i8 65, i8* %8
%66 = load i64, i64* %11
%67 = add i64 %66, 1
store i64 %67, i64* %11
br label %69
68: ; preds = %61, %57
br label %96
69: ; preds = %65
br label %70
70: ; preds = %69, %54
%71 = load i8, i8* %6
%72 = sext i8 %71 to i32
%73 = load i8, i8* %8
%74 = sext i8 %73 to i32
%75 = sub nsw i32 %72, %74
%76 = trunc i32 %75 to i8
store i8 %76, i8* %7
%77 = load i32, i32* %5
%78 = load i8, i8* %7
%79 = sext i8 %78 to i32
%80 = add nsw i32 %79, %77
%81 = trunc i32 %80 to i8
store i8 %81, i8* %7
%82 = load i8, i8* %7
%83 = sext i8 %82 to i32
%84 = srem i32 %83, 26
%85 = trunc i32 %84 to i8
store i8 %85, i8* %7
%86 = load i8, i8* %8
%87 = sext i8 %86 to i32
%88 = load i8, i8* %7
%89 = sext i8 %88 to i32
%90 = add nsw i32 %89, %87
%91 = trunc i32 %90 to i8
store i8 %91, i8* %7
%92 = load i8, i8* %7
%93 = load i8*, i8** %4
%94 = load i64, i64* %10
%95 = getelementptr inbounds i8, i8* %93, i64 %94
store i8 %92, i8* %95
br label %96
96: ; preds = %70, %68
%97 = load i64, i64* %10
%98 = add i64 %97, 1
store i64 %98, i64* %10
br label %38
99: ; preds = %38
%100 = load i64, i64* %11
%101 = trunc i64 %100 to i32
store i32 %101, i32* %3
br label %102
102: ; preds = %99, %20, %14
%103 = load i32, i32* %3
ret i32 %103
}

LLVM IR (-O2):
define i32 @rot_k(i8* %0, i32 %1) {
%3 = icmp eq i8* %0, null
br i1 %3, label %44, label %4
4: ; preds = %2
%5 = tail call i64 @strlen(i8* %0)
%6 = icmp eq i64 %5, 0
br i1 %6, label %44, label %7
7: ; preds = %4
%8 = icmp ugt i32 %1, 25
%9 = srem i32 %1, 26
%10 = select i1 %8, i32 %9, i32 %1
%11 = call i32 @llvm.smax.i32(i32 %10, i32 0)
%12 = sub nsw i32 %11, %10
%13 = icmp ne i32 %12, 0
%14 = zext i1 %13 to i32
%15 = sub nsw i32 %12, %14
%16 = udiv i32 %15, 26
%17 = add nuw nsw i32 %16, %14
%18 = mul i32 %17, 26
%19 = add i32 %10, %18
%20 = trunc i32 %19 to i8
br label %21
21: ; preds = %7, %38
%22 = phi i64 [ 0, %7 ], [ %39, %38 ]
%23 = phi i64 [ 0, %7 ], [ %40, %38 ]
%24 = getelementptr inbounds i8, i8* %0, i64 %23
%25 = load i8, i8* %24
%26 = add i8 %25, -97
%27 = icmp ult i8 %26, 26
br i1 %27, label %31, label %28
28: ; preds = %21
%29 = add i8 %25, -65
%30 = icmp ult i8 %29, 26
br i1 %30, label %31, label %38
31: ; preds = %28, %21
%32 = phi i8 [ 97, %21 ], [ 65, %28 ]
%33 = add i64 %22, 1
%34 = add i8 %25, %20
%35 = sub i8 %34, %32
%36 = srem i8 %35, 26
%37 = add nsw i8 %36, %32
store i8 %37, i8* %24
br label %38
38: ; preds = %28, %31
%39 = phi i64 [ %33, %31 ], [ %22, %28 ]
%40 = add nuw i64 %23, 1
%41 = icmp eq i64 %40, %5
br i1 %41, label %42, label %21
42: ; preds = %38
%43 = trunc i64 %39 to i32
br label %44
44: ; preds = %4, %2, %42
%45 = phi i32 [ %43, %42 ], [ -1, %2 ], [ -1, %4 ]
ret i32 %45
}