char ASCII_TO_LOWER(char c) {
  return 65 == c || 66 == c || 67 == c || 68 == c || 69 == c || 70 == c ||
                 71 == c || 72 == c || 73 == c || 74 == c || 75 == c ||
                 76 == c || 77 == c || 78 == c || 79 == c || 80 == c ||
                 81 == c || 82 == c || 83 == c || 84 == c || 85 == c ||
                 86 == c || 87 == c || 88 == c || 89 == c || 90 == c
             ? c + 32
             : c;
}


x86 assembly (clang, -O0):
<ASCII_TO_LOWER>:
push   %rbp
mov    %rsp,%rbp
mov    %dil,%al
mov    %al,-0x1(%rbp)
movsbl -0x1(%rbp),%ecx
mov    $0x41,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x42,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x43,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x44,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x45,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x46,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x47,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x48,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x49,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x4a,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x4b,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x4c,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x4d,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x4e,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x4f,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x50,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x51,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x52,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x53,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x54,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x55,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x56,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x57,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x58,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x59,%eax
cmp    %ecx,%eax
je     12c4 <ASCII_TO_LOWER+0x1c4>
movsbl -0x1(%rbp),%ecx
mov    $0x5a,%eax
cmp    %ecx,%eax
jne    12d3 <ASCII_TO_LOWER+0x1d3>
movsbl -0x1(%rbp),%eax
add    $0x20,%eax
mov    %eax,-0x8(%rbp)
jmp    12da <ASCII_TO_LOWER+0x1da>
movsbl -0x1(%rbp),%eax
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%eax
movsbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<ASCII_TO_LOWER>:
lea    -0x41(%rdi),%eax
lea    0x20(%rdi),%ecx
cmp    $0x1a,%al
movzbl %cl,%eax
cmovae %edi,%eax
ret

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

LLVM IR (-O2):
define signext i8 @ASCII_TO_LOWER(i8 signext %0) {
%2 = add i8 %0, -65
%3 = icmp ult i8 %2, 26
%4 = add i8 %0, 32
%5 = select i1 %3, i8 %4, i8 %0
ret i8 %5
}