#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 */

/* Variables and functions */
int /*<<< orphan*/ assert_int_equal(int, int /*<<< orphan*/);
int /*<<< orphan*/ double_push_targets(int, int, int);
void double_push_targets_test(void **state) {
  assert_int_equal(
      0x0000000000000000ul,
      double_push_targets(0x000000001422C100ul, 0x0000142281000000ul, 0));
  assert_int_equal(
      0x0000000080000000ul,
      double_push_targets(0x000000001422C100ul, 0x0000142281800000ul, 0));
  assert_int_equal(
      0, double_push_targets(0x00E3140800000000ul, 0x000000E314080000ul, 1));
  assert_int_equal(
      0x000000C000000000ul,
      double_push_targets(0x00E3140800000000ul, 0x0000C0E314080000ul, 1));
}


x86 assembly (clang, -O0):
<double_push_targets_test>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    $0x1422c100,%edi
mov    $0x81000000,%esi
xor    %edx,%edx
call   1040 <double_push_targets@plt>
mov    %eax,%esi
xor    %edi,%edi
call   1030 <assert_int_equal@plt>
mov    $0x1422c100,%edi
mov    $0x81800000,%esi
xor    %edx,%edx
call   1040 <double_push_targets@plt>
mov    %eax,%esi
mov    $0x80000000,%edi
call   1030 <assert_int_equal@plt>
xor    %edi,%edi
mov    $0x14080000,%esi
mov    $0x1,%edx
call   1040 <double_push_targets@plt>
mov    %eax,%esi
xor    %edi,%edi
call   1030 <assert_int_equal@plt>
xor    %edi,%edi
mov    $0x14080000,%esi
mov    $0x1,%edx
call   1040 <double_push_targets@plt>
mov    %eax,%esi
xor    %edi,%edi
call   1030 <assert_int_equal@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<double_push_targets_test>:
push   %rax
mov    $0x1422c100,%edi
mov    $0x81000000,%esi
xor    %edx,%edx
call   1040 <double_push_targets@plt>
xor    %edi,%edi
mov    %eax,%esi
call   1030 <assert_int_equal@plt>
mov    $0x1422c100,%edi
mov    $0x81800000,%esi
xor    %edx,%edx
call   1040 <double_push_targets@plt>
mov    $0x80000000,%edi
mov    %eax,%esi
call   1030 <assert_int_equal@plt>
xor    %edi,%edi
mov    $0x14080000,%esi
mov    $0x1,%edx
call   1040 <double_push_targets@plt>
xor    %edi,%edi
mov    %eax,%esi
call   1030 <assert_int_equal@plt>
xor    %edi,%edi
mov    $0x14080000,%esi
mov    $0x1,%edx
call   1040 <double_push_targets@plt>
xor    %edi,%edi
mov    %eax,%esi
pop    %rax
jmp    1030 <assert_int_equal@plt>

LLVM IR (-O0):
define void @double_push_targets_test(i8** %0) {
%2 = alloca i8**
store i8** %0, i8*** %2
%3 = call i32 @double_push_targets(i32 337821952, i32 -2130706432, i32 0)
%4 = call i32 @assert_int_equal(i32 0, i32 %3)
%5 = call i32 @double_push_targets(i32 337821952, i32 -2122317824, i32 0)
%6 = call i32 @assert_int_equal(i32 -2147483648, i32 %5)
%7 = call i32 @double_push_targets(i32 0, i32 336068608, i32 1)
%8 = call i32 @assert_int_equal(i32 0, i32 %7)
%9 = call i32 @double_push_targets(i32 0, i32 336068608, i32 1)
%10 = call i32 @assert_int_equal(i32 0, i32 %9)
ret void
}

LLVM IR (-O2):
define void @double_push_targets_test(i8** nocapture readnone %0) {
%2 = tail call i32 @double_push_targets(i32 337821952, i32 -2130706432, i32 0)
%3 = tail call i32 @assert_int_equal(i32 0, i32 %2)
%4 = tail call i32 @double_push_targets(i32 337821952, i32 -2122317824, i32 0)
%5 = tail call i32 @assert_int_equal(i32 -2147483648, i32 %4)
%6 = tail call i32 @double_push_targets(i32 0, i32 336068608, i32 1)
%7 = tail call i32 @assert_int_equal(i32 0, i32 %6)
%8 = tail call i32 @double_push_targets(i32 0, i32 336068608, i32 1)
%9 = tail call i32 @assert_int_equal(i32 0, i32 %8)
ret void
}