void bool_contexts(int x) {
  if (x > 4 || x < 10) {
  }
  for (; x > 4 || x < 10;) {
  }
  while (x > 4 || x < 10) {
  }
  do {
  } while (x > 4 || x < 10);
  x = (x > 4 || x < 10) ? 1 : 2;
  if ((void)5, x > 4 || x < 10) {
  }
}


x86 assembly (clang, -O0):
<bool_contexts>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
cmpl   $0x4,-0x4(%rbp)
jg     111b <bool_contexts+0x1b>
cmpl   $0xa,-0x4(%rbp)
jge    1120 <bool_contexts+0x20>
jmp    1120 <bool_contexts+0x20>
jmp    1125 <bool_contexts+0x25>
mov    $0x1,%al
cmpl   $0x4,-0x4(%rbp)
mov    %al,-0x5(%rbp)
jg     113e <bool_contexts+0x3e>
cmpl   $0xa,-0x4(%rbp)
setl   %al
mov    %al,-0x5(%rbp)
mov    -0x5(%rbp),%al
test   $0x1,%al
jne    114e <bool_contexts+0x4e>
jmp    1153 <bool_contexts+0x53>
jmp    1125 <bool_contexts+0x25>
jmp    1158 <bool_contexts+0x58>
mov    $0x1,%al
cmpl   $0x4,-0x4(%rbp)
mov    %al,-0x6(%rbp)
jg     1171 <bool_contexts+0x71>
cmpl   $0xa,-0x4(%rbp)
setl   %al
mov    %al,-0x6(%rbp)
mov    -0x6(%rbp),%al
test   $0x1,%al
jne    1181 <bool_contexts+0x81>
jmp    1186 <bool_contexts+0x86>
jmp    1158 <bool_contexts+0x58>
jmp    118b <bool_contexts+0x8b>
jmp    1190 <bool_contexts+0x90>
mov    $0x1,%al
cmpl   $0x4,-0x4(%rbp)
mov    %al,-0x7(%rbp)
jg     11a9 <bool_contexts+0xa9>
cmpl   $0xa,-0x4(%rbp)
setl   %al
mov    %al,-0x7(%rbp)
mov    -0x7(%rbp),%al
test   $0x1,%al
jne    118b <bool_contexts+0x8b>
mov    $0x1,%al
cmpl   $0x4,-0x4(%rbp)
mov    %al,-0x8(%rbp)
jg     11cd <bool_contexts+0xcd>
cmpl   $0xa,-0x4(%rbp)
setl   %al
mov    %al,-0x8(%rbp)
mov    -0x8(%rbp),%dl
mov    $0x2,%eax
mov    $0x1,%ecx
test   $0x1,%dl
cmovne %ecx,%eax
mov    %eax,-0x4(%rbp)
mov    $0x1,%al
cmpl   $0x4,-0x4(%rbp)
mov    %al,-0x9(%rbp)
jg     11fc <bool_contexts+0xfc>
cmpl   $0xa,-0x4(%rbp)
setl   %al
mov    %al,-0x9(%rbp)
mov    -0x9(%rbp),%al
test   $0x1,%al
jne    120c <bool_contexts+0x10c>
jmp    1211 <bool_contexts+0x111>
jmp    1211 <bool_contexts+0x111>
pop    %rbp
ret

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

LLVM IR (-O2):