void f0(int x) {
  ;
  if (x) {
  } else if (x + 1) {
  }
  switch (x) {
  case 0:
    x = 17;
    break;
  case 1:
    break;
  default:
    switch (x >> 1) {
    case 7:
    case 9:
      break;
    }
    x += 2;
    break;
  }
  while (x > 20) {
    if (x > 30) {
      --x;
      continue;
    } else if (x < 5)
      break;
    else
      goto done;
  }
  do {
    x++;
  } while (x < 10);
almost_done:
  for (int y = x; y < 20; ++y) {
    if (x + y == 12)
      return;
    else if (x - y == 7)
      goto almost_done;
  }
done:
  x = x + 2;
  int z = x, *y, j = 5;
}


x86 assembly (clang, -O0):
<f0>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
cmpl   $0x0,-0x4(%rbp)
je     1116 <f0+0x16>
jmp    112f <f0+0x2f>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
cmp    $0x0,%eax
je     112a <f0+0x2a>
jmp    112a <f0+0x2a>
jmp    112f <f0+0x2f>
mov    -0x4(%rbp),%eax
mov    %eax,-0x20(%rbp)
test   %eax,%eax
je     1153 <f0+0x53>
jmp    1142 <f0+0x42>
mov    -0x20(%rbp),%eax
sub    $0x1,%eax
je     115f <f0+0x5f>
jmp    1164 <f0+0x64>
movl   $0x11,-0x4(%rbp)
jmp    1199 <f0+0x99>
jmp    1199 <f0+0x99>
mov    -0x4(%rbp),%eax
sar    %eax
mov    %eax,-0x24(%rbp)
sub    $0x7,%eax
je     118b <f0+0x8b>
jmp    117a <f0+0x7a>
mov    -0x24(%rbp),%eax
sub    $0x9,%eax
jne    1190 <f0+0x90>
jmp    118b <f0+0x8b>
jmp    1190 <f0+0x90>
mov    -0x4(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x4(%rbp)
jmp    119e <f0+0x9e>
cmpl   $0x14,-0x4(%rbp)
jle    11d4 <f0+0xd4>
cmpl   $0x1e,-0x4(%rbp)
jle    11c0 <f0+0xc0>
mov    -0x4(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x4(%rbp)
jmp    119e <f0+0x9e>
cmpl   $0x5,-0x4(%rbp)
jge    11cf <f0+0xcf>
jmp    11d4 <f0+0xd4>
jmp    1246 <f0+0x146>
jmp    11d9 <f0+0xd9>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
cmpl   $0xa,-0x4(%rbp)
jl     11d9 <f0+0xd9>
jmp    11f1 <f0+0xf1>
mov    -0x4(%rbp),%eax
mov    %eax,-0x8(%rbp)
cmpl   $0x14,-0x8(%rbp)
jge    1241 <f0+0x141>
mov    -0x4(%rbp),%eax
add    -0x8(%rbp),%eax
cmp    $0xc,%eax
jne    1215 <f0+0x115>
jmp    125c <f0+0x15c>
mov    -0x4(%rbp),%eax
sub    -0x8(%rbp),%eax
cmp    $0x7,%eax
jne    1229 <f0+0x129>
jmp    11f1 <f0+0xf1>
jmp    122e <f0+0x12e>
jmp    1233 <f0+0x133>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    11f7 <f0+0xf7>
jmp    1246 <f0+0x146>
mov    -0x4(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
mov    %eax,-0xc(%rbp)
movl   $0x5,-0x1c(%rbp)
pop    %rbp
ret

x86 assembly (clang, -O2):
<f0>:
cmp    $0x2,%edi
jb     112e <f0+0x2e>
cmp    $0x13,%edi
jl     112e <f0+0x2e>
lea    0x2(%rdi),%eax
xor    %edx,%edx
mov    %eax,%ecx
sub    $0x1e,%ecx
cmovb  %edx,%ecx
add    $0xffffffed,%edi
nopw   0x0(%rax,%rax,1)
cmp    %edi,%ecx
jbe    112e <f0+0x2e>
lea    -0x1(%rax),%edx
cmp    $0x15,%eax
mov    %edx,%eax
ja     1120 <f0+0x20>
ret

LLVM IR (-O0):
define void @f0(i32 %0) {
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32*
%6 = alloca i32
store i32 %0, i32* %2
%7 = load i32, i32* %2
%8 = icmp ne i32 %7, 0
br i1 %8, label %9, label %10
9: ; preds = %1
br label %16
10: ; preds = %1
%11 = load i32, i32* %2
%12 = add nsw i32 %11, 1
%13 = icmp ne i32 %12, 0
br i1 %13, label %14, label %15
14: ; preds = %10
br label %15
15: ; preds = %14, %10
br label %16
16: ; preds = %15, %9
%17 = load i32, i32* %2
switch i32 %17, label %20 [
i32 0, label %18
i32 1, label %19
]
18: ; preds = %16
store i32 17, i32* %2
br label %27
19: ; preds = %16
br label %27
20: ; preds = %16
%21 = load i32, i32* %2
%22 = ashr i32 %21, 1
switch i32 %22, label %24 [
i32 7, label %23
i32 9, label %23
]
23: ; preds = %20, %20
br label %24
24: ; preds = %20, %23
%25 = load i32, i32* %2
%26 = add nsw i32 %25, 2
store i32 %26, i32* %2
br label %27
27: ; preds = %24, %19, %18
br label %28
28: ; preds = %34, %27
%29 = load i32, i32* %2
%30 = icmp sgt i32 %29, 20
br i1 %30, label %31, label %42
31: ; preds = %28
%32 = load i32, i32* %2
%33 = icmp sgt i32 %32, 30
br i1 %33, label %34, label %37
34: ; preds = %31
%35 = load i32, i32* %2
%36 = add nsw i32 %35, -1
store i32 %36, i32* %2
br label %28
37: ; preds = %31
%38 = load i32, i32* %2
%39 = icmp slt i32 %38, 5
br i1 %39, label %40, label %41
40: ; preds = %37
br label %42
41: ; preds = %37
br label %73
42: ; preds = %40, %28
br label %43
43: ; preds = %46, %42
%44 = load i32, i32* %2
%45 = add nsw i32 %44, 1
store i32 %45, i32* %2
br label %46
46: ; preds = %43
%47 = load i32, i32* %2
%48 = icmp slt i32 %47, 10
br i1 %48, label %43, label %49
49: ; preds = %46
br label %50
50: ; preds = %66, %49
%51 = load i32, i32* %2
store i32 %51, i32* %3
br label %52
52: ; preds = %69, %50
%53 = load i32, i32* %3
%54 = icmp slt i32 %53, 20
br i1 %54, label %55, label %72
55: ; preds = %52
%56 = load i32, i32* %2
%57 = load i32, i32* %3
%58 = add nsw i32 %56, %57
%59 = icmp eq i32 %58, 12
br i1 %59, label %60, label %61
60: ; preds = %55
br label %77
61: ; preds = %55
%62 = load i32, i32* %2
%63 = load i32, i32* %3
%64 = sub nsw i32 %62, %63
%65 = icmp eq i32 %64, 7
br i1 %65, label %66, label %67
66: ; preds = %61
br label %50
67: ; preds = %61
br label %68
68: ; preds = %67
br label %69
69: ; preds = %68
%70 = load i32, i32* %3
%71 = add nsw i32 %70, 1
store i32 %71, i32* %3
br label %52
72: ; preds = %52
br label %73
73: ; preds = %72, %41
%74 = load i32, i32* %2
%75 = add nsw i32 %74, 2
store i32 %75, i32* %2
%76 = load i32, i32* %2
store i32 %76, i32* %4
store i32 5, i32* %6
br label %77
77: ; preds = %73, %60
ret void
}

LLVM IR (-O2):
define void @f0(i32 %0) {
%2 = icmp ult i32 %0, 2
br i1 %2, label %16, label %3
3: ; preds = %1
%4 = add nsw i32 %0, 2
%5 = icmp sgt i32 %0, 18
br i1 %5, label %6, label %16
6: ; preds = %3
%7 = call i32 @llvm.umin.i32(i32 %4, i32 30)
%8 = sub nsw i32 %4, %7
%9 = add nsw i32 %0, -19
%10 = icmp ugt i32 %8, %9
br label %11
11: ; preds = %11, %6
%12 = phi i32 [ %4, %6 ], [ %13, %11 ]
%13 = add nsw i32 %12, -1
%14 = icmp ugt i32 %12, 21
%15 = select i1 %10, i1 %14, i1 false
br i1 %15, label %11, label %16
16: ; preds = %11, %1, %3
ret void
}