void __attribute__((no)) foo(const char **w, char *x, _Bool y, _Bool z) {
  char c = bar(w);
  int i = 0;
  while (1) {
    x[i++] = c;
    c = bar(w);
    if (y && c == '\'')
      break;
    if (z && c == '\"')
      break;
    if (!y && !z && !baz(c))
      break;
  }
  x[i] = 0;
}


x86 assembly (clang, -O0):
<foo>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %cl,%al
mov    %dl,%cl
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
and    $0x1,%cl
mov    %cl,-0x11(%rbp)
and    $0x1,%al
mov    %al,-0x12(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x0,%al
call   1040 <bar@plt>
mov    %al,-0x13(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x13(%rbp),%dl
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x18(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x8(%rbp),%rdi
mov    $0x0,%al
call   1040 <bar@plt>
mov    %al,-0x13(%rbp)
testb  $0x1,-0x11(%rbp)
je     1196 <foo+0x76>
movsbl -0x13(%rbp),%eax
cmp    $0x27,%eax
jne    1196 <foo+0x76>
jmp    11e4 <foo+0xc4>
testb  $0x1,-0x12(%rbp)
je     11b2 <foo+0x92>
movsbl -0x13(%rbp),%eax
cmp    $0x22,%eax
jne    11b2 <foo+0x92>
jmp    11e4 <foo+0xc4>
testb  $0x1,-0x11(%rbp)
jne    11df <foo+0xbf>
testb  $0x1,-0x12(%rbp)
jne    11df <foo+0xbf>
movsbl -0x13(%rbp),%edi
mov    $0x0,%al
call   1030 <baz@plt>
cmp    $0x0,%eax
jne    11df <foo+0xbf>
jmp    11e4 <foo+0xc4>
jmp    1154 <foo+0x34>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<foo>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %ecx,0x4(%rsp)
mov    %edx,%r12d
mov    %rsi,%r15
mov    %rdi,%r13
xor    %eax,%eax
call   1040 <bar@plt>
mov    %al,(%r15)
mov    %r13,%rdi
xor    %eax,%eax
call   1040 <bar@plt>
mov    %eax,%ebp
mov    %eax,%edi
shl    $0x18,%edi
test   %r12d,%r12d
je     1165 <foo+0x45>
mov    $0x1,%eax
cmp    $0x27000000,%edi
je     11ca <foo+0xaa>
mov    %r12d,%r14d
or     0x4(%rsp),%r14b
mov    $0x1,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
cmpb   $0x0,0x4(%rsp)
je     118f <foo+0x6f>
cmp    $0x22000000,%edi
je     11c8 <foo+0xa8>
test   %r14b,%r14b
jne    11a2 <foo+0x82>
sar    $0x18,%edi
xor    %eax,%eax
call   1030 <baz@plt>
test   %eax,%eax
je     11c8 <foo+0xa8>
mov    %bpl,(%r15,%rbx,1)
add    $0x1,%rbx
mov    %r13,%rdi
xor    %eax,%eax
call   1040 <bar@plt>
mov    %eax,%ebp
mov    %eax,%edi
shl    $0x18,%edi
test   %r12b,%r12b
je     1180 <foo+0x60>
cmp    $0x27000000,%edi
jne    1180 <foo+0x60>
mov    %ebx,%eax
movb   $0x0,(%r15,%rax,1)
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @foo(i8** %0, i8* %1, i1 zeroext %2, i1 zeroext %3) {
%5 = alloca i8**
%6 = alloca i8*
%7 = alloca i8
%8 = alloca i8
%9 = alloca i8
%10 = alloca i32
store i8** %0, i8*** %5
store i8* %1, i8** %6
%11 = zext i1 %2 to i8
store i8 %11, i8* %7
%12 = zext i1 %3 to i8
store i8 %12, i8* %8
%13 = load i8**, i8*** %5
%14 = call i32 (i8**, ...) bitcast (i32 (...)* @bar to i32 (i8**, ...)*)(i8** %13)
%15 = trunc i32 %14 to i8
store i8 %15, i8* %9
store i32 0, i32* %10
br label %16
16: ; preds = %4, %53
%17 = load i8, i8* %9
%18 = load i8*, i8** %6
%19 = load i32, i32* %10
%20 = add nsw i32 %19, 1
store i32 %20, i32* %10
%21 = sext i32 %19 to i64
%22 = getelementptr inbounds i8, i8* %18, i64 %21
store i8 %17, i8* %22
%23 = load i8**, i8*** %5
%24 = call i32 (i8**, ...) bitcast (i32 (...)* @bar to i32 (i8**, ...)*)(i8** %23)
%25 = trunc i32 %24 to i8
store i8 %25, i8* %9
%26 = load i8, i8* %7
%27 = trunc i8 %26 to i1
br i1 %27, label %28, label %33
28: ; preds = %16
%29 = load i8, i8* %9
%30 = sext i8 %29 to i32
%31 = icmp eq i32 %30, 39
br i1 %31, label %32, label %33
32: ; preds = %28
br label %54
33: ; preds = %28, %16
%34 = load i8, i8* %8
%35 = trunc i8 %34 to i1
br i1 %35, label %36, label %41
36: ; preds = %33
%37 = load i8, i8* %9
%38 = sext i8 %37 to i32
%39 = icmp eq i32 %38, 34
br i1 %39, label %40, label %41
40: ; preds = %36
br label %54
41: ; preds = %36, %33
%42 = load i8, i8* %7
%43 = trunc i8 %42 to i1
br i1 %43, label %53, label %44
44: ; preds = %41
%45 = load i8, i8* %8
%46 = trunc i8 %45 to i1
br i1 %46, label %53, label %47
47: ; preds = %44
%48 = load i8, i8* %9
%49 = sext i8 %48 to i32
%50 = call i32 (i32, ...) bitcast (i32 (...)* @baz to i32 (i32, ...)*)(i32 %49)
%51 = icmp ne i32 %50, 0
br i1 %51, label %53, label %52
52: ; preds = %47
br label %54
53: ; preds = %47, %44, %41
br label %16
54: ; preds = %52, %40, %32
%55 = load i8*, i8** %6
%56 = load i32, i32* %10
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds i8, i8* %55, i64 %57
store i8 0, i8* %58
ret void
}

LLVM IR (-O2):
define void @foo(i8** %0, i8* nocapture writeonly %1, i1 zeroext %2, i1 zeroext %3) {
%5 = tail call i32 (i8**, ...) bitcast (i32 (...)* @bar to i32 (i8**, ...)*)(i8** %0)
%6 = trunc i32 %5 to i8
store i8 %6, i8* %1
%7 = tail call i32 (i8**, ...) bitcast (i32 (...)* @bar to i32 (i8**, ...)*)(i8** %0)
%8 = shl i32 %7, 24
%9 = icmp eq i32 %8, 654311424
%10 = select i1 %2, i1 %9, i1 false
br i1 %10, label %35, label %11
11: ; preds = %4
%12 = or i1 %2, %3
br label %13
13: ; preds = %11, %24
%14 = phi i64 [ 1, %11 ], [ %26, %24 ]
%15 = phi i32 [ %8, %11 ], [ %29, %24 ]
%16 = phi i32 [ %7, %11 ], [ %28, %24 ]
%17 = ashr exact i32 %15, 24
%18 = icmp eq i32 %15, 570425344
%19 = select i1 %3, i1 %18, i1 false
br i1 %19, label %32, label %20
20: ; preds = %13
br i1 %12, label %24, label %21
21: ; preds = %20
%22 = tail call i32 (i32, ...) bitcast (i32 (...)* @baz to i32 (i32, ...)*)(i32 %17)
%23 = icmp eq i32 %22, 0
br i1 %23, label %32, label %24
24: ; preds = %20, %21
%25 = trunc i32 %16 to i8
%26 = add nuw i64 %14, 1
%27 = getelementptr inbounds i8, i8* %1, i64 %14
store i8 %25, i8* %27
%28 = tail call i32 (i8**, ...) bitcast (i32 (...)* @bar to i32 (i8**, ...)*)(i8** %0)
%29 = shl i32 %28, 24
%30 = icmp eq i32 %29, 654311424
%31 = select i1 %2, i1 %30, i1 false
br i1 %31, label %32, label %13
32: ; preds = %21, %13, %24
%33 = phi i64 [ %26, %24 ], [ %14, %13 ], [ %14, %21 ]
%34 = and i64 %33, 4294967295
br label %35
35: ; preds = %32, %4
%36 = phi i64 [ 1, %4 ], [ %34, %32 ]
%37 = getelementptr inbounds i8, i8* %1, i64 %36
store i8 0, i8* %37
ret void
}