int is_leaf(int m, int t) {
  static int feuille[6] = {7, 5, 4, 4, 3, 3};
  if (m < 6)
    return (t <= 32);
  else if (m > 16)
    return (t <= 1);
  else if (m > 11)
    return (t <= 2);
  else
    return (feuille[m - 6] >= t);
}


x86 assembly (clang, -O0):
<is_leaf>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
cmpl   $0x6,-0x8(%rbp)
jge    1128 <is_leaf+0x28>
cmpl   $0x20,-0xc(%rbp)
setle  %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    1185 <is_leaf+0x85>
cmpl   $0x10,-0x8(%rbp)
jle    1146 <is_leaf+0x46>
cmpl   $0x1,-0xc(%rbp)
setle  %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    1185 <is_leaf+0x85>
cmpl   $0xb,-0x8(%rbp)
jle    1164 <is_leaf+0x64>
cmpl   $0x2,-0xc(%rbp)
setle  %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    1185 <is_leaf+0x85>
mov    -0x8(%rbp),%eax
sub    $0x6,%eax
movslq %eax,%rcx
lea    0x2ebc(%rip),%rax
mov    (%rax,%rcx,4),%eax
cmp    -0xc(%rbp),%eax
setge  %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_leaf>:
cmp    $0x5,%edi
jg     110a <is_leaf+0xa>
cmp    $0x21,%esi
jmp    111c <is_leaf+0x1c>
cmp    $0x11,%edi
jb     1114 <is_leaf+0x14>
cmp    $0x2,%esi
jmp    111c <is_leaf+0x1c>
cmp    $0xc,%edi
jb     1123 <is_leaf+0x23>
cmp    $0x3,%esi
setl   %al
movzbl %al,%eax
ret
add    $0xfffffffa,%edi
lea    0xed3(%rip),%rax
cmp    %esi,(%rax,%rdi,4)
setge  %al
movzbl %al,%eax
ret

LLVM IR (-O0):
@is_leaf.feuille = internal global [6 x i32] [i32 7, i32 5, i32 4, i32 4, i32 3, i32 3]
define i32 @is_leaf(i32 %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
store i32 %0, i32* %4
store i32 %1, i32* %5
%6 = load i32, i32* %4
%7 = icmp slt i32 %6, 6
br i1 %7, label %8, label %12
8: ; preds = %2
%9 = load i32, i32* %5
%10 = icmp sle i32 %9, 32
%11 = zext i1 %10 to i32
store i32 %11, i32* %3
br label %35
12: ; preds = %2
%13 = load i32, i32* %4
%14 = icmp sgt i32 %13, 16
br i1 %14, label %15, label %19
15: ; preds = %12
%16 = load i32, i32* %5
%17 = icmp sle i32 %16, 1
%18 = zext i1 %17 to i32
store i32 %18, i32* %3
br label %35
19: ; preds = %12
%20 = load i32, i32* %4
%21 = icmp sgt i32 %20, 11
br i1 %21, label %22, label %26
22: ; preds = %19
%23 = load i32, i32* %5
%24 = icmp sle i32 %23, 2
%25 = zext i1 %24 to i32
store i32 %25, i32* %3
br label %35
26: ; preds = %19
%27 = load i32, i32* %4
%28 = sub nsw i32 %27, 6
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds [6 x i32], [6 x i32]* @is_leaf.feuille, i64 0, i64 %29
%31 = load i32, i32* %30
%32 = load i32, i32* %5
%33 = icmp sge i32 %31, %32
%34 = zext i1 %33 to i32
store i32 %34, i32* %3
br label %35
35: ; preds = %26, %22, %15, %8
%36 = load i32, i32* %3
ret i32 %36
}

LLVM IR (-O2):
@is_leaf.feuille = internal unnamed_addr constant [6 x i32] [i32 7, i32 5, i32 4, i32 4, i32 3, i32 3]
define i32 @is_leaf(i32 %0, i32 %1) {
%3 = icmp slt i32 %0, 6
br i1 %3, label %4, label %6
4: ; preds = %2
%5 = icmp slt i32 %1, 33
br label %20
6: ; preds = %2
%7 = icmp ugt i32 %0, 16
br i1 %7, label %8, label %10
8: ; preds = %6
%9 = icmp slt i32 %1, 2
br label %20
10: ; preds = %6
%11 = icmp ugt i32 %0, 11
br i1 %11, label %12, label %14
12: ; preds = %10
%13 = icmp slt i32 %1, 3
br label %20
14: ; preds = %10
%15 = add nsw i32 %0, -6
%16 = zext i32 %15 to i64
%17 = getelementptr inbounds [6 x i32], [6 x i32]* @is_leaf.feuille, i64 0, i64 %16
%18 = load i32, i32* %17
%19 = icmp sge i32 %18, %1
br label %20
20: ; preds = %14, %12, %8, %4
%21 = phi i1 [ %5, %4 ], [ %9, %8 ], [ %13, %12 ], [ %19, %14 ]
%22 = zext i1 %21 to i32
ret i32 %22
}