int t6(int h, int k, int l, char string[]) {
  if (h == 0 && k == 0) {
    switch (string[6]) {
    case 'l':
      if (l % 2 != 0)
        return 0;
      break;
    case '4':
      if (l % 4 != 0)
        return 0;
      break;
    case '3':
      if (l % 3 != 0)
        return 0;
      break;
    case '6':
      if (l % 6 != 0)
        return 0;
      break;
    default:
      break;
    }
    return 1;
  } else
    return 1;
}


x86 assembly (clang, -O0):
<t6>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
cmpl   $0x0,-0x8(%rbp)
jne    1216 <t6+0x116>
cmpl   $0x0,-0xc(%rbp)
jne    1216 <t6+0x116>
mov    -0x18(%rbp),%rax
movsbl 0x6(%rax),%eax
mov    %eax,-0x1c(%rbp)
sub    $0x33,%eax
je     11bb <t6+0xbb>
jmp    113e <t6+0x3e>
mov    -0x1c(%rbp),%eax
sub    $0x34,%eax
je     1196 <t6+0x96>
jmp    114f <t6+0x4f>
mov    -0x1c(%rbp),%eax
sub    $0x36,%eax
je     11e0 <t6+0xe0>
jmp    1160 <t6+0x60>
mov    -0x1c(%rbp),%eax
sub    $0x6c,%eax
jne    1205 <t6+0x105>
jmp    1171 <t6+0x71>
mov    -0x10(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     1191 <t6+0x91>
movl   $0x0,-0x4(%rbp)
jmp    121d <t6+0x11d>
jmp    120a <t6+0x10a>
mov    -0x10(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     11b6 <t6+0xb6>
movl   $0x0,-0x4(%rbp)
jmp    121d <t6+0x11d>
jmp    120a <t6+0x10a>
mov    -0x10(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     11db <t6+0xdb>
movl   $0x0,-0x4(%rbp)
jmp    121d <t6+0x11d>
jmp    120a <t6+0x10a>
mov    -0x10(%rbp),%eax
mov    $0x6,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     1200 <t6+0x100>
movl   $0x0,-0x4(%rbp)
jmp    121d <t6+0x11d>
jmp    120a <t6+0x10a>
jmp    120a <t6+0x10a>
movl   $0x1,-0x4(%rbp)
jmp    121d <t6+0x11d>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<t6>:
mov    $0x1,%eax
or     %esi,%edi
je     110a <t6+0xa>
ret
movsbl 0x6(%rcx),%eax
cmp    $0x35,%eax
jg     1126 <t6+0x26>
cmp    $0x33,%eax
je     1139 <t6+0x39>
cmp    $0x34,%eax
jne    1169 <t6+0x69>
xor    %eax,%eax
test   $0x3,%dl
jne    1109 <t6+0x9>
jmp    1169 <t6+0x69>
cmp    $0x36,%eax
je     1151 <t6+0x51>
cmp    $0x6c,%eax
jne    1169 <t6+0x69>
xor    %eax,%eax
test   $0x1,%dl
jne    1109 <t6+0x9>
jmp    1169 <t6+0x69>
imul   $0xaaaaaaab,%edx,%ecx
add    $0x2aaaaaaa,%ecx
xor    %eax,%eax
cmp    $0x55555555,%ecx
jae    1109 <t6+0x9>
jmp    1169 <t6+0x69>
imul   $0xaaaaaaab,%edx,%ecx
add    $0x2aaaaaaa,%ecx
ror    %ecx
xor    %eax,%eax
cmp    $0x2aaaaaaa,%ecx
ja     1109 <t6+0x9>
mov    $0x1,%eax
ret

LLVM IR (-O0):
define i32 @t6(i32 %0, i32 %1, i32 %2, i8* %3) {
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i8*
store i32 %0, i32* %6
store i32 %1, i32* %7
store i32 %2, i32* %8
store i8* %3, i8** %9
%10 = load i32, i32* %6
%11 = icmp eq i32 %10, 0
br i1 %11, label %12, label %46
12: ; preds = %4
%13 = load i32, i32* %7
%14 = icmp eq i32 %13, 0
br i1 %14, label %15, label %46
15: ; preds = %12
%16 = load i8*, i8** %9
%17 = getelementptr inbounds i8, i8* %16, i64 6
%18 = load i8, i8* %17
%19 = sext i8 %18 to i32
switch i32 %19, label %44 [
i32 108, label %20
i32 52, label %26
i32 51, label %32
i32 54, label %38
]
20: ; preds = %15
%21 = load i32, i32* %8
%22 = srem i32 %21, 2
%23 = icmp ne i32 %22, 0
br i1 %23, label %24, label %25
24: ; preds = %20
store i32 0, i32* %5
br label %47
25: ; preds = %20
br label %45
26: ; preds = %15
%27 = load i32, i32* %8
%28 = srem i32 %27, 4
%29 = icmp ne i32 %28, 0
br i1 %29, label %30, label %31
30: ; preds = %26
store i32 0, i32* %5
br label %47
31: ; preds = %26
br label %45
32: ; preds = %15
%33 = load i32, i32* %8
%34 = srem i32 %33, 3
%35 = icmp ne i32 %34, 0
br i1 %35, label %36, label %37
36: ; preds = %32
store i32 0, i32* %5
br label %47
37: ; preds = %32
br label %45
38: ; preds = %15
%39 = load i32, i32* %8
%40 = srem i32 %39, 6
%41 = icmp ne i32 %40, 0
br i1 %41, label %42, label %43
42: ; preds = %38
store i32 0, i32* %5
br label %47
43: ; preds = %38
br label %45
44: ; preds = %15
br label %45
45: ; preds = %44, %43, %37, %31, %25
store i32 1, i32* %5
br label %47
46: ; preds = %12, %4
store i32 1, i32* %5
br label %47
47: ; preds = %46, %45, %42, %36, %30, %24
%48 = load i32, i32* %5
ret i32 %48
}

LLVM IR (-O2):
define i32 @t6(i32 %0, i32 %1, i32 %2, i8* nocapture %3) {
%5 = or i32 %1, %0
%6 = icmp eq i32 %5, 0
br i1 %6, label %7, label %24
7: ; preds = %4
%8 = getelementptr inbounds i8, i8* %3, i64 6
%9 = load i8, i8* %8
%10 = sext i8 %9 to i32
switch i32 %10, label %23 [
i32 108, label %11
i32 52, label %14
i32 51, label %17
i32 54, label %20
]
11: ; preds = %7
%12 = and i32 %2, 1
%13 = icmp eq i32 %12, 0
br i1 %13, label %23, label %24
14: ; preds = %7
%15 = and i32 %2, 3
%16 = icmp eq i32 %15, 0
br i1 %16, label %23, label %24
17: ; preds = %7
%18 = srem i32 %2, 3
%19 = icmp eq i32 %18, 0
br i1 %19, label %23, label %24
20: ; preds = %7
%21 = srem i32 %2, 6
%22 = icmp eq i32 %21, 0
br i1 %22, label %23, label %24
23: ; preds = %7, %20, %17, %14, %11
br label %24
24: ; preds = %4, %20, %17, %14, %11, %23
%25 = phi i32 [ 1, %23 ], [ 0, %11 ], [ 0, %14 ], [ 0, %17 ], [ 0, %20 ], [ 1, %4 ]
ret i32 %25
}