#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef void coord;

/* Variables and functions */
int /*<<< orphan*/ __analyzer_eval(int);
void test_50(void *p, void *q) {
  __analyzer_eval(p == q);
  __analyzer_eval(p == p);
  __analyzer_eval(q == q);
  __analyzer_eval(p == (struct coord *)p);
  __analyzer_eval(p == (const struct coord *)p);
  struct coord *cp = (struct coord *)p;
  __analyzer_eval(p == cp);
  struct coord *cq = (struct coord *)q;
  __analyzer_eval(q == cq);
  __analyzer_eval(cp == cq);
}


x86 assembly (clang, -O0):
<test_50>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
cmp    -0x10(%rbp),%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
mov    -0x8(%rbp),%rax
cmp    -0x8(%rbp),%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
mov    -0x10(%rbp),%rax
cmp    -0x10(%rbp),%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
mov    -0x8(%rbp),%rax
mov    -0x8(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
mov    -0x8(%rbp),%rax
mov    -0x8(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
mov    -0x18(%rbp),%rax
cmp    -0x20(%rbp),%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_50>:
push   %rbx
xor    %ebx,%ebx
cmp    %rsi,%rdi
sete   %bl
mov    %ebx,%edi
call   1030 <__analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <__analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <__analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <__analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <__analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <__analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <__analyzer_eval@plt>
mov    %ebx,%edi
pop    %rbx
jmp    1030 <__analyzer_eval@plt>

LLVM IR (-O0):
%struct.coord = type opaque
define void @test_50(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca %struct.coord*
%6 = alloca %struct.coord*
store i8* %0, i8** %3
store i8* %1, i8** %4
%7 = load i8*, i8** %3
%8 = load i8*, i8** %4
%9 = icmp eq i8* %7, %8
%10 = zext i1 %9 to i32
%11 = call i32 @__analyzer_eval(i32 %10)
%12 = load i8*, i8** %3
%13 = load i8*, i8** %3
%14 = icmp eq i8* %12, %13
%15 = zext i1 %14 to i32
%16 = call i32 @__analyzer_eval(i32 %15)
%17 = load i8*, i8** %4
%18 = load i8*, i8** %4
%19 = icmp eq i8* %17, %18
%20 = zext i1 %19 to i32
%21 = call i32 @__analyzer_eval(i32 %20)
%22 = load i8*, i8** %3
%23 = load i8*, i8** %3
%24 = bitcast i8* %23 to %struct.coord*
%25 = bitcast %struct.coord* %24 to i8*
%26 = icmp eq i8* %22, %25
%27 = zext i1 %26 to i32
%28 = call i32 @__analyzer_eval(i32 %27)
%29 = load i8*, i8** %3
%30 = load i8*, i8** %3
%31 = bitcast i8* %30 to %struct.coord*
%32 = bitcast %struct.coord* %31 to i8*
%33 = icmp eq i8* %29, %32
%34 = zext i1 %33 to i32
%35 = call i32 @__analyzer_eval(i32 %34)
%36 = load i8*, i8** %3
%37 = bitcast i8* %36 to %struct.coord*
store %struct.coord* %37, %struct.coord** %5
%38 = load i8*, i8** %3
%39 = load %struct.coord*, %struct.coord** %5
%40 = bitcast %struct.coord* %39 to i8*
%41 = icmp eq i8* %38, %40
%42 = zext i1 %41 to i32
%43 = call i32 @__analyzer_eval(i32 %42)
%44 = load i8*, i8** %4
%45 = bitcast i8* %44 to %struct.coord*
store %struct.coord* %45, %struct.coord** %6
%46 = load i8*, i8** %4
%47 = load %struct.coord*, %struct.coord** %6
%48 = bitcast %struct.coord* %47 to i8*
%49 = icmp eq i8* %46, %48
%50 = zext i1 %49 to i32
%51 = call i32 @__analyzer_eval(i32 %50)
%52 = load %struct.coord*, %struct.coord** %5
%53 = load %struct.coord*, %struct.coord** %6
%54 = icmp eq %struct.coord* %52, %53
%55 = zext i1 %54 to i32
%56 = call i32 @__analyzer_eval(i32 %55)
ret void
}

LLVM IR (-O2):
define void @test_50(i8* readnone %0, i8* readnone %1) {
%3 = icmp eq i8* %0, %1
%4 = zext i1 %3 to i32
%5 = tail call i32 @__analyzer_eval(i32 %4)
%6 = tail call i32 @__analyzer_eval(i32 1)
%7 = tail call i32 @__analyzer_eval(i32 1)
%8 = tail call i32 @__analyzer_eval(i32 1)
%9 = tail call i32 @__analyzer_eval(i32 1)
%10 = tail call i32 @__analyzer_eval(i32 1)
%11 = tail call i32 @__analyzer_eval(i32 1)
%12 = tail call i32 @__analyzer_eval(i32 %4)
ret void
}