char take_away_shift(char c, int shift) {
  char unshifted = c;
  if (c >= 65 && c <= 90) {
    unshifted = c - shift;
    if (unshifted < 65) {
      unshifted += 25;
    }
  } else {
    if (c >= 97 && c <= 122) {
      unshifted = c - shift;
      if (unshifted < 97) {
        unshifted += 25;
      }
    }
  }
  return unshifted;
}


x86 assembly (clang, -O0):
<take_away_shift>:
push   %rbp
mov    %rsp,%rbp
mov    %dil,%al
mov    %al,-0x1(%rbp)
mov    %esi,-0x8(%rbp)
mov    -0x1(%rbp),%al
mov    %al,-0x9(%rbp)
movsbl -0x1(%rbp),%eax
cmp    $0x41,%eax
jl     1153 <take_away_shift+0x53>
movsbl -0x1(%rbp),%eax
cmp    $0x5a,%eax
jg     1153 <take_away_shift+0x53>
movsbl -0x1(%rbp),%eax
sub    -0x8(%rbp),%eax
mov    %al,-0x9(%rbp)
movsbl -0x9(%rbp),%eax
cmp    $0x41,%eax
jge    114e <take_away_shift+0x4e>
movsbl -0x9(%rbp),%eax
add    $0x19,%eax
mov    %al,-0x9(%rbp)
jmp    1198 <take_away_shift+0x98>
movsbl -0x1(%rbp),%eax
cmp    $0x61,%eax
jl     1193 <take_away_shift+0x93>
movsbl -0x1(%rbp),%eax
cmp    $0x7a,%eax
jg     1193 <take_away_shift+0x93>
movsbl -0x1(%rbp),%eax
sub    -0x8(%rbp),%eax
mov    %al,-0x9(%rbp)
movsbl -0x9(%rbp),%eax
cmp    $0x61,%eax
jge    118e <take_away_shift+0x8e>
movsbl -0x9(%rbp),%eax
add    $0x19,%eax
mov    %al,-0x9(%rbp)
jmp    1193 <take_away_shift+0x93>
jmp    1198 <take_away_shift+0x98>
movsbl -0x9(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<take_away_shift>:
mov    %edi,%eax
lea    -0x41(%rax),%ecx
cmp    $0x19,%cl
ja     1114 <take_away_shift+0x14>
sub    %sil,%al
lea    0x19(%rax),%ecx
cmp    $0x41,%al
jmp    1124 <take_away_shift+0x24>
lea    -0x61(%rax),%ecx
cmp    $0x19,%cl
ja     112d <take_away_shift+0x2d>
sub    %sil,%al
lea    0x19(%rax),%ecx
cmp    $0x61,%al
movzbl %al,%edx
movzbl %cl,%eax
cmovge %edx,%eax
ret

LLVM IR (-O0):
define signext i8 @take_away_shift(i8 signext %0, i32 %1) {
%3 = alloca i8
%4 = alloca i32
%5 = alloca i8
store i8 %0, i8* %3
store i32 %1, i32* %4
%6 = load i8, i8* %3
store i8 %6, i8* %5
%7 = load i8, i8* %3
%8 = sext i8 %7 to i32
%9 = icmp sge i32 %8, 65
br i1 %9, label %10, label %29
10: ; preds = %2
%11 = load i8, i8* %3
%12 = sext i8 %11 to i32
%13 = icmp sle i32 %12, 90
br i1 %13, label %14, label %29
14: ; preds = %10
%15 = load i8, i8* %3
%16 = sext i8 %15 to i32
%17 = load i32, i32* %4
%18 = sub nsw i32 %16, %17
%19 = trunc i32 %18 to i8
store i8 %19, i8* %5
%20 = load i8, i8* %5
%21 = sext i8 %20 to i32
%22 = icmp slt i32 %21, 65
br i1 %22, label %23, label %28
23: ; preds = %14
%24 = load i8, i8* %5
%25 = sext i8 %24 to i32
%26 = add nsw i32 %25, 25
%27 = trunc i32 %26 to i8
store i8 %27, i8* %5
br label %28
28: ; preds = %23, %14
br label %53
29: ; preds = %10, %2
%30 = load i8, i8* %3
%31 = sext i8 %30 to i32
%32 = icmp sge i32 %31, 97
br i1 %32, label %33, label %52
33: ; preds = %29
%34 = load i8, i8* %3
%35 = sext i8 %34 to i32
%36 = icmp sle i32 %35, 122
br i1 %36, label %37, label %52
37: ; preds = %33
%38 = load i8, i8* %3
%39 = sext i8 %38 to i32
%40 = load i32, i32* %4
%41 = sub nsw i32 %39, %40
%42 = trunc i32 %41 to i8
store i8 %42, i8* %5
%43 = load i8, i8* %5
%44 = sext i8 %43 to i32
%45 = icmp slt i32 %44, 97
br i1 %45, label %46, label %51
46: ; preds = %37
%47 = load i8, i8* %5
%48 = sext i8 %47 to i32
%49 = add nsw i32 %48, 25
%50 = trunc i32 %49 to i8
store i8 %50, i8* %5
br label %51
51: ; preds = %46, %37
br label %52
52: ; preds = %51, %33, %29
br label %53
53: ; preds = %52, %28
%54 = load i8, i8* %5
ret i8 %54
}

LLVM IR (-O2):
define signext i8 @take_away_shift(i8 signext %0, i32 %1) {
%3 = add i8 %0, -65
%4 = icmp ult i8 %3, 26
br i1 %4, label %5, label %11
5: ; preds = %2
%6 = trunc i32 %1 to i8
%7 = sub i8 %0, %6
%8 = icmp slt i8 %7, 65
%9 = add i8 %7, 25
%10 = select i1 %8, i8 %9, i8 %7
br label %20
11: ; preds = %2
%12 = add i8 %0, -97
%13 = icmp ult i8 %12, 26
br i1 %13, label %14, label %20
14: ; preds = %11
%15 = trunc i32 %1 to i8
%16 = sub i8 %0, %15
%17 = icmp slt i8 %16, 97
%18 = add i8 %16, 25
%19 = select i1 %17, i8 %18, i8 %16
br label %20
20: ; preds = %14, %5, %11
%21 = phi i8 [ %0, %11 ], [ %10, %5 ], [ %19, %14 ]
ret i8 %21
}