#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 */
struct t_hdata {
  int dummy;
};

/* Variables and functions */
void *hdata_move(struct t_hdata *, void *, int);
int hdata_check_pointer(struct t_hdata *hdata, void *list, void *pointer) {
  void *ptr_current;
  if (!hdata || !list || !pointer)
    return 0;
  if (pointer == list)
    return 1;
  ptr_current = list;
  while (ptr_current) {
    ptr_current = hdata_move(hdata, ptr_current, 1);
    if (ptr_current && (ptr_current == pointer))
      return 1;
  }
  return 0;
}


x86 assembly (clang, -O0):
<hdata_check_pointer>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     1145 <hdata_check_pointer+0x35>
cmpq   $0x0,-0x18(%rbp)
je     1145 <hdata_check_pointer+0x35>
cmpq   $0x0,-0x20(%rbp)
jne    1151 <hdata_check_pointer+0x41>
movl   $0x0,-0x4(%rbp)
jmp    11c5 <hdata_check_pointer+0xb5>
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jne    116b <hdata_check_pointer+0x5b>
movl   $0x1,-0x4(%rbp)
jmp    11c5 <hdata_check_pointer+0xb5>
mov    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x28(%rbp)
je     11be <hdata_check_pointer+0xae>
mov    -0x10(%rbp),%rdi
mov    -0x28(%rbp),%rsi
mov    $0x1,%edx
call   1030 <hdata_move@plt>
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x28(%rbp)
je     11b9 <hdata_check_pointer+0xa9>
mov    -0x28(%rbp),%rax
cmp    -0x20(%rbp),%rax
jne    11b9 <hdata_check_pointer+0xa9>
movl   $0x1,-0x4(%rbp)
jmp    11c5 <hdata_check_pointer+0xb5>
jmp    1173 <hdata_check_pointer+0x63>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<hdata_check_pointer>:
push   %rbp
push   %r14
push   %rbx
test   %rdi,%rdi
je     1161 <hdata_check_pointer+0x51>
test   %rsi,%rsi
je     1161 <hdata_check_pointer+0x51>
mov    %rdx,%r14
test   %rdx,%rdx
je     1161 <hdata_check_pointer+0x51>
cmp    %rsi,%r14
je     1165 <hdata_check_pointer+0x55>
mov    %rdi,%rbx
mov    $0x1,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
test   %rsi,%rsi
je     1161 <hdata_check_pointer+0x51>
mov    %rbx,%rdi
mov    $0x1,%edx
call   1030 <hdata_move@plt>
mov    %rax,%rsi
test   %rax,%rax
je     1140 <hdata_check_pointer+0x30>
cmp    %r14,%rsi
jne    1140 <hdata_check_pointer+0x30>
jmp    116a <hdata_check_pointer+0x5a>
xor    %ebp,%ebp
jmp    116a <hdata_check_pointer+0x5a>
mov    $0x1,%ebp
mov    %ebp,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
%struct.t_hdata = type { i32 }
define i32 @hdata_check_pointer(%struct.t_hdata* %0, i8* %1, i8* %2) {
%4 = alloca i32
%5 = alloca %struct.t_hdata*
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i8*
store %struct.t_hdata* %0, %struct.t_hdata** %5
store i8* %1, i8** %6
store i8* %2, i8** %7
%9 = load %struct.t_hdata*, %struct.t_hdata** %5
%10 = icmp ne %struct.t_hdata* %9, null
br i1 %10, label %11, label %17
11: ; preds = %3
%12 = load i8*, i8** %6
%13 = icmp ne i8* %12, null
br i1 %13, label %14, label %17
14: ; preds = %11
%15 = load i8*, i8** %7
%16 = icmp ne i8* %15, null
br i1 %16, label %18, label %17
17: ; preds = %14, %11, %3
store i32 0, i32* %4
br label %41
18: ; preds = %14
%19 = load i8*, i8** %7
%20 = load i8*, i8** %6
%21 = icmp eq i8* %19, %20
br i1 %21, label %22, label %23
22: ; preds = %18
store i32 1, i32* %4
br label %41
23: ; preds = %18
%24 = load i8*, i8** %6
store i8* %24, i8** %8
br label %25
25: ; preds = %39, %23
%26 = load i8*, i8** %8
%27 = icmp ne i8* %26, null
br i1 %27, label %28, label %40
28: ; preds = %25
%29 = load %struct.t_hdata*, %struct.t_hdata** %5
%30 = load i8*, i8** %8
%31 = call i8* @hdata_move(%struct.t_hdata* %29, i8* %30, i32 1)
store i8* %31, i8** %8
%32 = load i8*, i8** %8
%33 = icmp ne i8* %32, null
br i1 %33, label %34, label %39
34: ; preds = %28
%35 = load i8*, i8** %8
%36 = load i8*, i8** %7
%37 = icmp eq i8* %35, %36
br i1 %37, label %38, label %39
38: ; preds = %34
store i32 1, i32* %4
br label %41
39: ; preds = %34, %28
br label %25
40: ; preds = %25
store i32 0, i32* %4
br label %41
41: ; preds = %40, %38, %22, %17
%42 = load i32, i32* %4
ret i32 %42
}

LLVM IR (-O2):
%struct.t_hdata = type { i32 }
define i32 @hdata_check_pointer(%struct.t_hdata* %0, i8* %1, i8* readnone %2) {
%4 = icmp ne %struct.t_hdata* %0, null
%5 = icmp ne i8* %1, null
%6 = and i1 %4, %5
%7 = icmp ne i8* %2, null
%8 = and i1 %6, %7
br i1 %8, label %9, label %19
9: ; preds = %3
%10 = icmp eq i8* %2, %1
br i1 %10, label %19, label %11
11: ; preds = %9, %14
%12 = phi i8* [ %15, %14 ], [ %1, %9 ]
%13 = icmp eq i8* %12, null
br i1 %13, label %19, label %14
14: ; preds = %11
%15 = tail call i8* @hdata_move(%struct.t_hdata* %0, i8* %12, i32 1)
%16 = icmp ne i8* %15, null
%17 = icmp eq i8* %15, %2
%18 = and i1 %16, %17
br i1 %18, label %19, label %11
19: ; preds = %11, %14, %9, %3
%20 = phi i32 [ 0, %3 ], [ 1, %9 ], [ 0, %11 ], [ 1, %14 ]
ret i32 %20
}