void jumps() {
  int i;
  for (i = 0; i < 2; ++i) {
    goto outofloop;
    if (i) {
    }
  }
outofloop:
  if (i) {
  }
  goto loop1;
  while (i) {
  loop1:
    if (i) {
    }
  }
  goto loop2;
first:
second:
third:
  i++;
  if (i < 3)
    goto loop2;
  while (i < 3) {
  loop2:
    switch (i) {
    case 0:
      goto first;
    case 1:
      goto second;
    case 2:
      goto third;
    }
  }
  for (i = 0; i < 10; ++i) {
    goto withinloop;
    if (i) {
    }
  withinloop:
    if (i) {
    }
  }
}


x86 assembly (clang, -O0):
<jumps>:
push   %rbp
mov    %rsp,%rbp
movl   $0x0,-0x4(%rbp)
cmpl   $0x2,-0x4(%rbp)
jge    111a <jumps+0x1a>
jmp    111f <jumps+0x1f>
jmp    111f <jumps+0x1f>
cmpl   $0x0,-0x4(%rbp)
je     112e <jumps+0x2e>
jmp    112e <jumps+0x2e>
jmp    1142 <jumps+0x42>
cmpl   $0x0,-0x4(%rbp)
je     1156 <jumps+0x56>
jmp    1142 <jumps+0x42>
cmpl   $0x0,-0x4(%rbp)
je     1151 <jumps+0x51>
jmp    1151 <jumps+0x51>
jmp    1133 <jumps+0x33>
jmp    1191 <jumps+0x91>
jmp    1160 <jumps+0x60>
jmp    1165 <jumps+0x65>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
cmpl   $0x3,-0x4(%rbp)
jge    117d <jumps+0x7d>
jmp    1191 <jumps+0x91>
jmp    1182 <jumps+0x82>
cmpl   $0x3,-0x4(%rbp)
jge    11da <jumps+0xda>
jmp    1191 <jumps+0x91>
mov    -0x4(%rbp),%eax
mov    %eax,-0x8(%rbp)
test   %eax,%eax
je     11c6 <jumps+0xc6>
jmp    11a4 <jumps+0xa4>
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
je     11cb <jumps+0xcb>
jmp    11b5 <jumps+0xb5>
mov    -0x8(%rbp),%eax
sub    $0x2,%eax
je     11d0 <jumps+0xd0>
jmp    11d5 <jumps+0xd5>
jmp    115b <jumps+0x5b>
jmp    1160 <jumps+0x60>
jmp    1165 <jumps+0x65>
jmp    1182 <jumps+0x82>
movl   $0x0,-0x4(%rbp)
cmpl   $0xa,-0x4(%rbp)
jge    1212 <jumps+0x112>
jmp    11f0 <jumps+0xf0>
cmpl   $0x0,-0x4(%rbp)
je     11ff <jumps+0xff>
jmp    11ff <jumps+0xff>
jmp    1204 <jumps+0x104>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    11e1 <jumps+0xe1>
pop    %rbp
ret

x86 assembly (clang, -O2):
<jumps>:
ret

LLVM IR (-O0):
define void @jumps() {
%1 = alloca i32
store i32 0, i32* %1
br label %2
2: ; preds = %6, %0
%3 = load i32, i32* %1
%4 = icmp slt i32 %3, 2
br i1 %4, label %5, label %9
5: ; preds = %2
br label %10
6: ; No predecessors!
%7 = load i32, i32* %1
%8 = add nsw i32 %7, 1
store i32 %8, i32* %1
br label %2
9: ; preds = %2
br label %10
10: ; preds = %9, %5
%11 = load i32, i32* %1
%12 = icmp ne i32 %11, 0
br i1 %12, label %13, label %14
13: ; preds = %10
br label %14
14: ; preds = %13, %10
br label %20
15: ; No predecessors!
br label %16
16: ; preds = %24, %15
%17 = load i32, i32* %1
%18 = icmp ne i32 %17, 0
br i1 %18, label %19, label %25
19: ; preds = %16
br label %20
20: ; preds = %19, %14
%21 = load i32, i32* %1
%22 = icmp ne i32 %21, 0
br i1 %22, label %23, label %24
23: ; preds = %20
br label %24
24: ; preds = %23, %20
br label %16
25: ; preds = %16
br label %39
26: ; preds = %41
br label %27
27: ; preds = %42, %26
br label %28
28: ; preds = %43, %27
%29 = load i32, i32* %1
%30 = add nsw i32 %29, 1
store i32 %30, i32* %1
%31 = load i32, i32* %1
%32 = icmp slt i32 %31, 3
br i1 %32, label %33, label %34
33: ; preds = %28
br label %39
34: ; preds = %28
br label %35
35: ; preds = %44, %34
%36 = load i32, i32* %1
%37 = icmp slt i32 %36, 3
br i1 %37, label %38, label %45
38: ; preds = %35
br label %39
39: ; preds = %38, %33, %25
%40 = load i32, i32* %1
switch i32 %40, label %44 [
i32 0, label %41
i32 1, label %42
i32 2, label %43
]
41: ; preds = %39
br label %26
42: ; preds = %39
br label %27
43: ; preds = %39
br label %28
44: ; preds = %39
br label %35
45: ; preds = %35
store i32 0, i32* %1
br label %46
46: ; preds = %55, %45
%47 = load i32, i32* %1
%48 = icmp slt i32 %47, 10
br i1 %48, label %49, label %58
49: ; preds = %46
br label %50
50: ; preds = %49
%51 = load i32, i32* %1
%52 = icmp ne i32 %51, 0
br i1 %52, label %53, label %54
53: ; preds = %50
br label %54
54: ; preds = %53, %50
br label %55
55: ; preds = %54
%56 = load i32, i32* %1
%57 = add nsw i32 %56, 1
store i32 %57, i32* %1
br label %46
58: ; preds = %46
ret void
}

LLVM IR (-O2):
define void @jumps() {
ret void
}