void TestIteration(_Bool b) {
  while (b)
    ;
  do
    ;
  while (b);
  for (int i = 0; i < 10; ++i)
    ;
  for (b; b; b)
    ;
  for (; b; b = !b)
    ;
  for (; b;)
    ;
  for (;; b = !b)
    ;
  for (;;)
    ;
}


x86 assembly (clang, -O0):
<TestIteration>:
push   %rbp
mov    %rsp,%rbp
mov    %dil,%al
and    $0x1,%al
mov    %al,-0x1(%rbp)
testb  $0x1,-0x1(%rbp)
je     111b <TestIteration+0x1b>
jmp    110c <TestIteration+0xc>
jmp    1120 <TestIteration+0x20>
jmp    1125 <TestIteration+0x25>
testb  $0x1,-0x1(%rbp)
jne    1120 <TestIteration+0x20>
movl   $0x0,-0x8(%rbp)
cmpl   $0xa,-0x8(%rbp)
jge    1153 <TestIteration+0x53>
jmp    1145 <TestIteration+0x45>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1136 <TestIteration+0x36>
testb  $0x1,-0x1(%rbp)
je     1167 <TestIteration+0x67>
jmp    1162 <TestIteration+0x62>
jmp    1153 <TestIteration+0x53>
jmp    116c <TestIteration+0x6c>
testb  $0x1,-0x1(%rbp)
je     118a <TestIteration+0x8a>
jmp    117b <TestIteration+0x7b>
mov    -0x1(%rbp),%al
xor    $0xff,%al
and    $0x1,%al
mov    %al,-0x1(%rbp)
jmp    116c <TestIteration+0x6c>
jmp    118f <TestIteration+0x8f>
testb  $0x1,-0x1(%rbp)
je     119e <TestIteration+0x9e>
jmp    118f <TestIteration+0x8f>
jmp    11a3 <TestIteration+0xa3>
jmp    11a8 <TestIteration+0xa8>
mov    -0x1(%rbp),%al
xor    $0xff,%al
and    $0x1,%al
mov    %al,-0x1(%rbp)
jmp    11a3 <TestIteration+0xa3>

x86 assembly (clang, -O2):
<TestIteration>:
test   %edi,%edi
je     1120 <TestIteration+0x20>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
jmp    1110 <TestIteration+0x10>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
jmp    1120 <TestIteration+0x20>

LLVM IR (-O0):
define void @TestIteration(i1 zeroext %0) {
%2 = alloca i8
%3 = alloca i32
%4 = zext i1 %0 to i8
store i8 %4, i8* %2
br label %5
5: ; preds = %8, %1
%6 = load i8, i8* %2
%7 = trunc i8 %6 to i1
br i1 %7, label %8, label %9
8: ; preds = %5
br label %5
9: ; preds = %5
br label %10
10: ; preds = %11, %9
br label %11
11: ; preds = %10
%12 = load i8, i8* %2
%13 = trunc i8 %12 to i1
br i1 %13, label %10, label %14
14: ; preds = %11
store i32 0, i32* %3
br label %15
15: ; preds = %19, %14
%16 = load i32, i32* %3
%17 = icmp slt i32 %16, 10
br i1 %17, label %18, label %22
18: ; preds = %15
br label %19
19: ; preds = %18
%20 = load i32, i32* %3
%21 = add nsw i32 %20, 1
store i32 %21, i32* %3
br label %15
22: ; preds = %15
%23 = load i8, i8* %2
%24 = trunc i8 %23 to i1
br label %25
25: ; preds = %29, %22
%26 = load i8, i8* %2
%27 = trunc i8 %26 to i1
br i1 %27, label %28, label %32
28: ; preds = %25
br label %29
29: ; preds = %28
%30 = load i8, i8* %2
%31 = trunc i8 %30 to i1
br label %25
32: ; preds = %25
br label %33
33: ; preds = %37, %32
%34 = load i8, i8* %2
%35 = trunc i8 %34 to i1
br i1 %35, label %36, label %42
36: ; preds = %33
br label %37
37: ; preds = %36
%38 = load i8, i8* %2
%39 = trunc i8 %38 to i1
%40 = xor i1 %39, true
%41 = zext i1 %40 to i8
store i8 %41, i8* %2
br label %33
42: ; preds = %33
br label %43
43: ; preds = %46, %42
%44 = load i8, i8* %2
%45 = trunc i8 %44 to i1
br i1 %45, label %46, label %47
46: ; preds = %43
br label %43
47: ; preds = %43
br label %48
48: ; preds = %49, %47
br label %49
49: ; preds = %48
%50 = load i8, i8* %2
%51 = trunc i8 %50 to i1
%52 = xor i1 %51, true
%53 = zext i1 %52 to i8
store i8 %53, i8* %2
br label %48
}

LLVM IR (-O2):
define void @TestIteration(i1 zeroext %0) {
br i1 %0, label %2, label %3
2: ; preds = %1, %2
br label %2
3: ; preds = %1, %3
br label %3
}