#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ test();
void test2(void) {
  int a = 0U;
  int b = 10U;
  int c, d;
  if (a == b) {
  } else
    b = a;
  if (20U == a) {
  }
  if (20U == a) {
    a = b;
  } else if (30U == a) {
    b = a;
  }
  if (10U == a) {
  } else if (15U == a)
    a = b;
  else if (17U == a)
    a = 10000000U;
  else if (19U == a)
    a = 50U;
  if (b == a) {
    if (10U == b) {
    } else {
    }
  }
  if (a > b) {
    if (a > d) {
    } else
      a++;
  }
  if (a > b) {
    a++;
  } else if (b > a) {
    b++;
  } else if (a == b) {
    a++;
  }
  int level = 10U;
  switch (level) {
  case 10U: {
    level++;
    test();
    break;
  }
  case 20U: {
    level = 10000U;
    break;
  }
  case 30U: {
    level++;
    break;
  }
  case 40U: {
    level++;
    break;
  }
  case 50U: {
    level++;
    break;
  }
  case 60U: {
    level = 1000U;
    break;
  }
  case 70U: {
    level++;
    break;
  }
  case 80U: {
    level++;
    break;
  }
  case 90U: {
    level++;
    break;
  }
  default: {
    level++;
    break;
  }
  }
  switch (level) {
  case 1: {
    level++;
    break;
  }
  case 2:
    level = 10;
    level--;
    {
    case 3:
      level = 10U;
      level++;
      break;
    }
  }
  switch (level) {
  case 1:
    level++;
  case 2:
    level = 1;
  case 3:
    level = 2;
  default:
    level++;
  }
  switch (level) {}
}


x86 assembly (clang, -O0):
<test2>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0xa,-0x8(%rbp)
mov    -0x4(%rbp),%eax
cmp    -0x8(%rbp),%eax
jne    1137 <test2+0x27>
jmp    113d <test2+0x2d>
mov    -0x4(%rbp),%eax
mov    %eax,-0x8(%rbp)
mov    $0x14,%eax
cmp    -0x4(%rbp),%eax
jne    1150 <test2+0x40>
jmp    1150 <test2+0x40>
mov    $0x14,%eax
cmp    -0x4(%rbp),%eax
jne    1169 <test2+0x59>
mov    -0x8(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1182 <test2+0x72>
mov    $0x1e,%eax
cmp    -0x4(%rbp),%eax
jne    117d <test2+0x6d>
mov    -0x4(%rbp),%eax
mov    %eax,-0x8(%rbp)
jmp    1182 <test2+0x72>
mov    $0xa,%eax
cmp    -0x4(%rbp),%eax
jne    1195 <test2+0x85>
jmp    11ec <test2+0xdc>
mov    $0xf,%eax
cmp    -0x4(%rbp),%eax
jne    11ae <test2+0x9e>
mov    -0x8(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    11e7 <test2+0xd7>
mov    $0x11,%eax
cmp    -0x4(%rbp),%eax
jne    11c8 <test2+0xb8>
movl   $0x989680,-0x4(%rbp)
jmp    11e2 <test2+0xd2>
mov    $0x13,%eax
cmp    -0x4(%rbp),%eax
jne    11dd <test2+0xcd>
movl   $0x32,-0x4(%rbp)
jmp    11e2 <test2+0xd2>
jmp    11e7 <test2+0xd7>
jmp    11ec <test2+0xdc>
mov    -0x8(%rbp),%eax
cmp    -0x4(%rbp),%eax
jne    1215 <test2+0x105>
mov    $0xa,%eax
cmp    -0x8(%rbp),%eax
jne    120b <test2+0xfb>
jmp    1210 <test2+0x100>
jmp    1210 <test2+0x100>
jmp    1215 <test2+0x105>
mov    -0x4(%rbp),%eax
cmp    -0x8(%rbp),%eax
jle    1240 <test2+0x130>
mov    -0x4(%rbp),%eax
cmp    -0x10(%rbp),%eax
jle    1232 <test2+0x122>
jmp    123b <test2+0x12b>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    1240 <test2+0x130>
mov    -0x4(%rbp),%eax
cmp    -0x8(%rbp),%eax
jle    125a <test2+0x14a>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    1293 <test2+0x183>
mov    -0x8(%rbp),%eax
cmp    -0x4(%rbp),%eax
jle    1274 <test2+0x164>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    128e <test2+0x17e>
mov    -0x4(%rbp),%eax
cmp    -0x8(%rbp),%eax
jne    1289 <test2+0x179>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    128e <test2+0x17e>
jmp    1293 <test2+0x183>
movl   $0xa,-0x14(%rbp)
mov    -0x14(%rbp),%eax
add    $0xfffffff6,%eax
mov    %eax,%ecx
mov    %rcx,-0x20(%rbp)
sub    $0x50,%eax
ja     1344 <test2+0x234>
mov    -0x20(%rbp),%rax
lea    0xd46(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    $0x0,%al
call   1030 <test@plt>
jmp    134d <test2+0x23d>
movl   $0x2710,-0x14(%rbp)
jmp    134d <test2+0x23d>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    134d <test2+0x23d>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    134d <test2+0x23d>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    134d <test2+0x23d>
movl   $0x3e8,-0x14(%rbp)
jmp    134d <test2+0x23d>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    134d <test2+0x23d>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    134d <test2+0x23d>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    134d <test2+0x23d>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x24(%rbp)
sub    $0x1,%eax
je     1383 <test2+0x273>
jmp    1361 <test2+0x251>
mov    -0x24(%rbp),%eax
sub    $0x2,%eax
je     1391 <test2+0x281>
jmp    1372 <test2+0x262>
mov    -0x24(%rbp),%eax
sub    $0x3,%eax
je     13a1 <test2+0x291>
jmp    13b1 <test2+0x2a1>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    13b1 <test2+0x2a1>
movl   $0xa,-0x14(%rbp)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
movl   $0xa,-0x14(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x28(%rbp)
sub    $0x1,%eax
je     13e7 <test2+0x2d7>
jmp    13c5 <test2+0x2b5>
mov    -0x28(%rbp),%eax
sub    $0x2,%eax
je     13f0 <test2+0x2e0>
jmp    13d6 <test2+0x2c6>
mov    -0x28(%rbp),%eax
sub    $0x3,%eax
je     13f7 <test2+0x2e7>
jmp    13fe <test2+0x2ee>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
movl   $0x1,-0x14(%rbp)
movl   $0x2,-0x14(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test2>:
xor    %eax,%eax
jmp    1030 <test@plt>

LLVM IR (-O0):
define void @test2() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
store i32 0, i32* %1
store i32 10, i32* %2
%6 = load i32, i32* %1
%7 = load i32, i32* %2
%8 = icmp eq i32 %6, %7
br i1 %8, label %9, label %10
9: ; preds = %0
br label %12
10: ; preds = %0
%11 = load i32, i32* %1
store i32 %11, i32* %2
br label %12
12: ; preds = %10, %9
%13 = load i32, i32* %1
%14 = icmp eq i32 20, %13
br i1 %14, label %15, label %16
15: ; preds = %12
br label %16
16: ; preds = %15, %12
%17 = load i32, i32* %1
%18 = icmp eq i32 20, %17
br i1 %18, label %19, label %21
19: ; preds = %16
%20 = load i32, i32* %2
store i32 %20, i32* %1
br label %27
21: ; preds = %16
%22 = load i32, i32* %1
%23 = icmp eq i32 30, %22
br i1 %23, label %24, label %26
24: ; preds = %21
%25 = load i32, i32* %1
store i32 %25, i32* %2
br label %26
26: ; preds = %24, %21
br label %27
27: ; preds = %26, %19
%28 = load i32, i32* %1
%29 = icmp eq i32 10, %28
br i1 %29, label %30, label %31
30: ; preds = %27
br label %47
31: ; preds = %27
%32 = load i32, i32* %1
%33 = icmp eq i32 15, %32
br i1 %33, label %34, label %36
34: ; preds = %31
%35 = load i32, i32* %2
store i32 %35, i32* %1
br label %46
36: ; preds = %31
%37 = load i32, i32* %1
%38 = icmp eq i32 17, %37
br i1 %38, label %39, label %40
39: ; preds = %36
store i32 10000000, i32* %1
br label %45
40: ; preds = %36
%41 = load i32, i32* %1
%42 = icmp eq i32 19, %41
br i1 %42, label %43, label %44
43: ; preds = %40
store i32 50, i32* %1
br label %44
44: ; preds = %43, %40
br label %45
45: ; preds = %44, %39
br label %46
46: ; preds = %45, %34
br label %47
47: ; preds = %46, %30
%48 = load i32, i32* %2
%49 = load i32, i32* %1
%50 = icmp eq i32 %48, %49
br i1 %50, label %51, label %57
51: ; preds = %47
%52 = load i32, i32* %2
%53 = icmp eq i32 10, %52
br i1 %53, label %54, label %55
54: ; preds = %51
br label %56
55: ; preds = %51
br label %56
56: ; preds = %55, %54
br label %57
57: ; preds = %56, %47
%58 = load i32, i32* %1
%59 = load i32, i32* %2
%60 = icmp sgt i32 %58, %59
br i1 %60, label %61, label %70
61: ; preds = %57
%62 = load i32, i32* %1
%63 = load i32, i32* %4
%64 = icmp sgt i32 %62, %63
br i1 %64, label %65, label %66
65: ; preds = %61
br label %69
66: ; preds = %61
%67 = load i32, i32* %1
%68 = add nsw i32 %67, 1
store i32 %68, i32* %1
br label %69
69: ; preds = %66, %65
br label %70
70: ; preds = %69, %57
%71 = load i32, i32* %1
%72 = load i32, i32* %2
%73 = icmp sgt i32 %71, %72
br i1 %73, label %74, label %77
74: ; preds = %70
%75 = load i32, i32* %1
%76 = add nsw i32 %75, 1
store i32 %76, i32* %1
br label %93
77: ; preds = %70
%78 = load i32, i32* %2
%79 = load i32, i32* %1
%80 = icmp sgt i32 %78, %79
br i1 %80, label %81, label %84
81: ; preds = %77
%82 = load i32, i32* %2
%83 = add nsw i32 %82, 1
store i32 %83, i32* %2
br label %92
84: ; preds = %77
%85 = load i32, i32* %1
%86 = load i32, i32* %2
%87 = icmp eq i32 %85, %86
br i1 %87, label %88, label %91
88: ; preds = %84
%89 = load i32, i32* %1
%90 = add nsw i32 %89, 1
store i32 %90, i32* %1
br label %91
91: ; preds = %88, %84
br label %92
92: ; preds = %91, %81
br label %93
93: ; preds = %92, %74
store i32 10, i32* %5
%94 = load i32, i32* %5
switch i32 %94, label %119 [
i32 10, label %95
i32 20, label %99
i32 30, label %100
i32 40, label %103
i32 50, label %106
i32 60, label %109
i32 70, label %110
i32 80, label %113
i32 90, label %116
]
95: ; preds = %93
%96 = load i32, i32* %5
%97 = add nsw i32 %96, 1
store i32 %97, i32* %5
%98 = call i32 (...) @test()
br label %122
99: ; preds = %93
store i32 10000, i32* %5
br label %122
100: ; preds = %93
%101 = load i32, i32* %5
%102 = add nsw i32 %101, 1
store i32 %102, i32* %5
br label %122
103: ; preds = %93
%104 = load i32, i32* %5
%105 = add nsw i32 %104, 1
store i32 %105, i32* %5
br label %122
106: ; preds = %93
%107 = load i32, i32* %5
%108 = add nsw i32 %107, 1
store i32 %108, i32* %5
br label %122
109: ; preds = %93
store i32 1000, i32* %5
br label %122
110: ; preds = %93
%111 = load i32, i32* %5
%112 = add nsw i32 %111, 1
store i32 %112, i32* %5
br label %122
113: ; preds = %93
%114 = load i32, i32* %5
%115 = add nsw i32 %114, 1
store i32 %115, i32* %5
br label %122
116: ; preds = %93
%117 = load i32, i32* %5
%118 = add nsw i32 %117, 1
store i32 %118, i32* %5
br label %122
119: ; preds = %93
%120 = load i32, i32* %5
%121 = add nsw i32 %120, 1
store i32 %121, i32* %5
br label %122
122: ; preds = %119, %116, %113, %110, %109, %106, %103, %100, %99, %95
%123 = load i32, i32* %5
switch i32 %123, label %133 [
i32 1, label %124
i32 2, label %127
i32 3, label %130
]
124: ; preds = %122
%125 = load i32, i32* %5
%126 = add nsw i32 %125, 1
store i32 %126, i32* %5
br label %133
127: ; preds = %122
store i32 10, i32* %5
%128 = load i32, i32* %5
%129 = add nsw i32 %128, -1
store i32 %129, i32* %5
br label %130
130: ; preds = %122, %127
store i32 10, i32* %5
%131 = load i32, i32* %5
%132 = add nsw i32 %131, 1
store i32 %132, i32* %5
br label %133
133: ; preds = %122, %130, %124
%134 = load i32, i32* %5
switch i32 %134, label %140 [
i32 1, label %135
i32 2, label %138
i32 3, label %139
]
135: ; preds = %133
%136 = load i32, i32* %5
%137 = add nsw i32 %136, 1
store i32 %137, i32* %5
br label %138
138: ; preds = %133, %135
store i32 1, i32* %5
br label %139
139: ; preds = %133, %138
store i32 2, i32* %5
br label %140
140: ; preds = %133, %139
%141 = load i32, i32* %5
%142 = add nsw i32 %141, 1
store i32 %142, i32* %5
br label %143
143: ; preds = %140
%144 = load i32, i32* %5
switch i32 %144, label %145 [
]
145: ; preds = %143
ret void
}

LLVM IR (-O2):
define void @test2() {
%1 = tail call i32 (...) @test()
ret void
}