int ispunct(int c) {
  return c == '!' || c == '"' || c == '#' || c == '$' || c == '%' || c == '&' ||
         c == '\'' || c == '(' || c == ')' || c == '*' || c == '+' ||
         c == ',' || c == '-' || c == '.' || c == '/' || c == ':' || c == ';' ||
         c == '<' || c == '=' || c == '>' || c == '?' || c == '@' || c == '[' ||
         c == '\\' || c == ']' || c == '^' || c == '_' || c == '`' ||
         c == '{' || c == '|' || c == '}' || c == '~';
}


x86 assembly (clang, -O0):
<ispunct>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    $0x1,%al
cmpl   $0x21,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x22,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x23,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x24,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x25,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x26,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x27,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x28,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x29,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x2a,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x2b,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x2c,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x2d,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x2e,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x2f,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x3a,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x3b,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x3c,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x3d,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x3e,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x3f,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x40,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x5b,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x5c,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x5d,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x5e,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x5f,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x60,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x7b,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x7c,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
mov    $0x1,%al
cmpl   $0x7d,-0x4(%rbp)
mov    %al,-0x5(%rbp)
je     12e2 <ispunct+0x1e2>
cmpl   $0x7e,-0x4(%rbp)
sete   %al
mov    %al,-0x5(%rbp)
mov    -0x5(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<ispunct>:
lea    -0x21(%rdi),%ecx
mov    $0x1,%eax
cmp    $0xf,%ecx
jb     112d <ispunct+0x2d>
lea    -0x5b(%rdi),%ecx
cmp    $0x22,%ecx
ja     1125 <ispunct+0x25>
movabs $0x70000003f,%rdx
bt     %rcx,%rdx
jb     112d <ispunct+0x2d>
lea    -0x3a(%rdi),%ecx
cmp    $0x7,%ecx
jae    112e <ispunct+0x2e>
ret
xor    %eax,%eax
cmp    $0x7e,%edi
sete   %al
ret

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

LLVM IR (-O2):
define i32 @ispunct(i32 %0) {
%2 = add i32 %0, -33
%3 = icmp ult i32 %2, 15
br i1 %3, label %8, label %4
4: ; preds = %1
switch i32 %0, label %5 [
i32 125, label %8
i32 124, label %8
i32 123, label %8
i32 96, label %8
i32 95, label %8
i32 94, label %8
i32 93, label %8
i32 92, label %8
i32 91, label %8
i32 64, label %8
i32 63, label %8
i32 62, label %8
i32 61, label %8
i32 60, label %8
i32 59, label %8
i32 58, label %8
]
5: ; preds = %4
%6 = icmp eq i32 %0, 126
%7 = zext i1 %6 to i32
br label %8
8: ; preds = %4, %4, %4, %4, %4, %4, %4, %4, %4, %4, %4, %4, %4, %4, %4, %4, %1, %5
%9 = phi i32 [ 1, %4 ], [ %7, %5 ], [ 1, %1 ], [ 1, %4 ], [ 1, %4 ], [ 1, %4 ], [ 1, %4 ], [ 1, %4 ], [ 1, %4 ], [ 1, %4 ], [ 1, %4 ], [ 1, %4 ], [ 1, %4 ], [ 1, %4 ], [ 1, %4 ], [ 1, %4 ], [ 1, %4 ], [ 1, %4 ]
ret i32 %9
}