void radar11270219(void) {
  char *x = a(), *y = a();
  (__builtin_expect(!(x && y), 0)
       ? __assert_rtn(__func__, "/Users/zaks/tmp/ex.c", 24, "x && y")
       : (void)0);
  strcmp(x, y);
}


x86 assembly (clang, -O0):
<radar11270219>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    $0x0,%al
call   1040 <a@plt>
cltq
mov    %rax,-0x8(%rbp)
mov    $0x0,%al
call   1040 <a@plt>
cltq
mov    %rax,-0x10(%rbp)
xor    %eax,%eax
cmpq   $0x0,-0x8(%rbp)
mov    %al,-0x11(%rbp)
je     116d <radar11270219+0x3d>
cmpq   $0x0,-0x10(%rbp)
setne  %al
mov    %al,-0x11(%rbp)
mov    -0x11(%rbp),%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
cltq
cmp    $0x0,%rax
je     11a9 <radar11270219+0x79>
lea    0xe76(%rip),%rdi
lea    0xe7d(%rip),%rsi
mov    $0x18,%edx
lea    0xe86(%rip),%rcx
mov    $0x0,%al
call   1050 <__assert_rtn@plt>
jmp    11ae <radar11270219+0x7e>
jmp    11ae <radar11270219+0x7e>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1030 <strcmp@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<radar11270219>:
push   %rbx
xor    %eax,%eax
call   1030 <a@plt>
mov    %eax,%ebx
xor    %eax,%eax
call   1030 <a@plt>
test   %ebx,%ebx
je     113b <radar11270219+0x1b>
test   %eax,%eax
je     113b <radar11270219+0x1b>
pop    %rbx
ret
lea    0xebe(%rip),%rdi
lea    0xec5(%rip),%rsi
lea    0xed3(%rip),%rcx
mov    $0x18,%edx
xor    %eax,%eax
pop    %rbx
jmp    1040 <__assert_rtn@plt>

LLVM IR (-O0):
@__func__.radar11270219 = [14 x i8] c"radar11270219\00"
@.str = [21 x i8] c"/Users/zaks/tmp/ex.c\00"
@.str.1 = [7 x i8] c"x && y\00"
define void @radar11270219() {
%1 = alloca i8*
%2 = alloca i8*
%3 = call i32 (...) @a()
%4 = sext i32 %3 to i64
%5 = inttoptr i64 %4 to i8*
store i8* %5, i8** %1
%6 = call i32 (...) @a()
%7 = sext i32 %6 to i64
%8 = inttoptr i64 %7 to i8*
store i8* %8, i8** %2
%9 = load i8*, i8** %1
%10 = icmp ne i8* %9, null
br i1 %10, label %11, label %14
11: ; preds = %0
%12 = load i8*, i8** %2
%13 = icmp ne i8* %12, null
br label %14
14: ; preds = %11, %0
%15 = phi i1 [ false, %0 ], [ %13, %11 ]
%16 = xor i1 %15, true
%17 = zext i1 %16 to i32
%18 = sext i32 %17 to i64
%19 = icmp ne i64 %18, 0
br i1 %19, label %20, label %22
20: ; preds = %14
%21 = call i32 (i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @__assert_rtn to i32 (i8*, i8*, i32, i8*, ...)*)(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @__func__.radar11270219, i64 0, i64 0), i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str, i64 0, i64 0), i32 24, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.1, i64 0, i64 0))
br label %23
22: ; preds = %14
br label %23
23: ; preds = %22, %20
%24 = load i8*, i8** %1
%25 = load i8*, i8** %2
%26 = call i32 @strcmp(i8* %24, i8* %25)
ret void
}

LLVM IR (-O2):
@__func__.radar11270219 = [14 x i8] c"radar11270219\00"
@.str = [21 x i8] c"/Users/zaks/tmp/ex.c\00"
@.str.1 = [7 x i8] c"x && y\00"
define void @radar11270219() {
%1 = tail call i32 (...) @a()
%2 = tail call i32 (...) @a()
%3 = icmp eq i32 %1, 0
%4 = icmp eq i32 %2, 0
%5 = select i1 %3, i1 true, i1 %4
br i1 %5, label %6, label %8
6: ; preds = %0
%7 = tail call i32 (i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @__assert_rtn to i32 (i8*, i8*, i32, i8*, ...)*)(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @__func__.radar11270219, i64 0, i64 0), i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str, i64 0, i64 0), i32 24, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.1, i64 0, i64 0))
br label %8
8: ; preds = %0, %6
ret void
}