#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 int uint32_t;

/* Variables and functions */
scalar_t__ f2m_is_equal(int, int *, int *);
int /*<<< orphan*/ printf(char *);
void euqualstest() {
  uint32_t t = 2;
  uint32_t a[2] = {0x00000001, 0x80000000};
  uint32_t b[2] = {0x00000001, 0x80000000};
  if (f2m_is_equal(2, a, b)) {
    printf("euqualstest 1 PASSED\n");
  } else {
    printf("euqualstest 1 FAILED\n");
  }
}


x86 assembly (clang, -O0):
<euqualstest>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
movl   $0x2,-0x4(%rbp)
mov    0xeca(%rip),%rax
mov    %rax,-0xc(%rbp)
mov    0xebf(%rip),%rax
mov    %rax,-0x14(%rbp)
lea    -0xc(%rbp),%rsi
lea    -0x14(%rbp),%rdx
mov    $0x2,%edi
call   1030 <f2m_is_equal@plt>
cmp    $0x0,%rax
je     1172 <euqualstest+0x52>
lea    0xea0(%rip),%rdi
call   1040 <printf@plt>
jmp    117e <euqualstest+0x5e>
lea    0xea5(%rip),%rdi
call   1040 <printf@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<euqualstest>:
sub    $0x18,%rsp
movabs $0x8000000000000001,%rax
mov    %rax,0x10(%rsp)
mov    %rax,0x8(%rsp)
lea    0x10(%rsp),%rsi
lea    0x8(%rsp),%rdx
mov    $0x2,%edi
call   1040 <f2m_is_equal@plt>
test   %rax,%rax
lea    0xeaa(%rip),%rax
lea    0xeb8(%rip),%rdi
cmove  %rax,%rdi
call   1030 <puts@plt>
add    $0x18,%rsp
ret

LLVM IR (-O0):
@__const.euqualstest.a = [2 x i32] [i32 1, i32 -2147483648]
@__const.euqualstest.b = [2 x i32] [i32 1, i32 -2147483648]
@.str = [22 x i8] c"euqualstest 1 PASSED\0A\00"
@.str.1 = [22 x i8] c"euqualstest 1 FAILED\0A\00"
define void @euqualstest() {
%1 = alloca i32
%2 = alloca [2 x i32]
%3 = alloca [2 x i32]
store i32 2, i32* %1
%4 = bitcast [2 x i32]* %2 to i8*
%5 = bitcast [2 x i32]* %3 to i8*
%6 = getelementptr inbounds [2 x i32], [2 x i32]* %2, i64 0, i64 0
%7 = getelementptr inbounds [2 x i32], [2 x i32]* %3, i64 0, i64 0
%8 = call i64 @f2m_is_equal(i32 2, i32* %6, i32* %7)
%9 = icmp ne i64 %8, 0
br i1 %9, label %10, label %12
10: ; preds = %0
%11 = call i32 @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str, i64 0, i64 0))
br label %14
12: ; preds = %0
%13 = call i32 @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.1, i64 0, i64 0))
br label %14
14: ; preds = %12, %10
ret void
}

LLVM IR (-O2):
@str = [21 x i8] c"euqualstest 1 FAILED\00"
@str.2 = [21 x i8] c"euqualstest 1 PASSED\00"
define void @euqualstest() {
%1 = alloca i64
%2 = alloca i64
%3 = bitcast i64* %1 to i8*
store i64 -9223372036854775807, i64* %1
%4 = bitcast i64* %2 to i8*
store i64 -9223372036854775807, i64* %2
%5 = bitcast i64* %1 to i32*
%6 = bitcast i64* %2 to i32*
%7 = call i64 @f2m_is_equal(i32 2, i32* %5, i32* %6)
%8 = icmp eq i64 %7, 0
%9 = select i1 %8, i8* getelementptr inbounds ([21 x i8], [21 x i8]* @str, i64 0, i64 0), i8* getelementptr inbounds ([21 x i8], [21 x i8]* @str.2, i64 0, i64 0)
%10 = call i32 @puts(i8* dereferenceable(1) %9)
ret void
}