#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 yaffs_obj {
  int dummy;
};

/* Variables and functions */
int yaffs_set_xattrib(struct yaffs_obj *, char const *, void const *, int, int);
scalar_t__ yaffsfs_CheckMemRegion(void const *, int, int /*<<< orphan*/);
scalar_t__ yaffsfs_CheckPath(char const *);
struct yaffs_obj *yaffsfs_FindObject(struct yaffs_obj *, char const *,
                                     int /*<<< orphan*/, int,
                                     struct yaffs_obj **, int *, int *);
struct yaffs_obj *yaffsfs_FollowLink(struct yaffs_obj *, int /*<<< orphan*/,
                                     int *);
int /*<<< orphan*/ yaffsfs_Lock();
int /*<<< orphan*/ yaffsfs_SetError(int);
int /*<<< orphan*/ yaffsfs_Unlock();
int yaffs_do_setxattr_reldir(struct yaffs_obj *reldir, const char *path,
                             const char *name, const void *data, int size,
                             int flags, int follow) {
  struct yaffs_obj *obj;
  struct yaffs_obj *dir;
  int notDir = 0;
  int loop = 0;
  int retVal = -1;
  if (yaffsfs_CheckMemRegion(path, 0, 0) < 0 ||
      yaffsfs_CheckMemRegion(name, 0, 0) < 0 ||
      yaffsfs_CheckMemRegion(data, size, 0) < 0) {
    yaffsfs_SetError(-14);
    return -1;
  }
  if (yaffsfs_CheckPath(path) < 0) {
    yaffsfs_SetError(-36);
    return -1;
  }
  yaffsfs_Lock();
  obj = yaffsfs_FindObject(reldir, path, 0, 1, &dir, &notDir, &loop);
  if (follow)
    obj = yaffsfs_FollowLink(obj, 0, &loop);
  if (!dir && notDir)
    yaffsfs_SetError(-20);
  else if (loop)
    yaffsfs_SetError(-40);
  else if (!dir || !obj)
    yaffsfs_SetError(-2);
  else {
    retVal = yaffs_set_xattrib(obj, name, data, size, flags);
    if (retVal < 0) {
      yaffsfs_SetError(retVal);
      retVal = -1;
    }
  }
  yaffsfs_Unlock();
  return retVal;
}


x86 assembly (clang, -O0):
<yaffs_do_setxattr_reldir>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    0x10(%rbp),%eax
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8d,-0x2c(%rbp)
mov    %r9d,-0x30(%rbp)
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x48(%rbp)
movl   $0xffffffff,-0x4c(%rbp)
mov    -0x18(%rbp),%rdi
xor    %edx,%edx
mov    %edx,%esi
call   1050 <yaffsfs_CheckMemRegion@plt>
cmp    $0x0,%rax
jl     11fe <yaffs_do_setxattr_reldir+0x7e>
mov    -0x20(%rbp),%rdi
xor    %edx,%edx
mov    %edx,%esi
call   1050 <yaffsfs_CheckMemRegion@plt>
cmp    $0x0,%rax
jl     11fe <yaffs_do_setxattr_reldir+0x7e>
mov    -0x28(%rbp),%rdi
mov    -0x2c(%rbp),%esi
xor    %edx,%edx
call   1050 <yaffsfs_CheckMemRegion@plt>
cmp    $0x0,%rax
jge    1214 <yaffs_do_setxattr_reldir+0x94>
mov    $0xfffffff2,%edi
call   1060 <yaffsfs_SetError@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    133b <yaffs_do_setxattr_reldir+0x1bb>
mov    -0x18(%rbp),%rdi
call   1080 <yaffsfs_CheckPath@plt>
cmp    $0x0,%rax
jge    123d <yaffs_do_setxattr_reldir+0xbd>
mov    $0xffffffdc,%edi
call   1060 <yaffsfs_SetError@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    133b <yaffs_do_setxattr_reldir+0x1bb>
mov    $0x0,%al
call   1070 <yaffsfs_Lock@plt>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
xor    %edx,%edx
mov    $0x1,%ecx
lea    -0x40(%rbp),%r8
lea    -0x44(%rbp),%r9
lea    -0x48(%rbp),%rax
mov    %rax,(%rsp)
call   1030 <yaffsfs_FindObject@plt>
mov    %rax,-0x38(%rbp)
cmpl   $0x0,0x10(%rbp)
je     1289 <yaffs_do_setxattr_reldir+0x109>
mov    -0x38(%rbp),%rdi
xor    %esi,%esi
lea    -0x48(%rbp),%rdx
call   10a0 <yaffsfs_FollowLink@plt>
mov    %rax,-0x38(%rbp)
cmpq   $0x0,-0x40(%rbp)
jne    12ad <yaffs_do_setxattr_reldir+0x12d>
cmpl   $0x0,-0x44(%rbp)
je     12ad <yaffs_do_setxattr_reldir+0x12d>
mov    $0xffffffec,%edi
call   1060 <yaffsfs_SetError@plt>
jmp    132e <yaffs_do_setxattr_reldir+0x1ae>
cmpl   $0x0,-0x48(%rbp)
je     12c6 <yaffs_do_setxattr_reldir+0x146>
mov    $0xffffffd8,%edi
call   1060 <yaffsfs_SetError@plt>
jmp    1329 <yaffs_do_setxattr_reldir+0x1a9>
cmpq   $0x0,-0x40(%rbp)
je     12dc <yaffs_do_setxattr_reldir+0x15c>
cmpq   $0x0,-0x38(%rbp)
jne    12eb <yaffs_do_setxattr_reldir+0x16b>
mov    $0xfffffffe,%edi
call   1060 <yaffsfs_SetError@plt>
jmp    1324 <yaffs_do_setxattr_reldir+0x1a4>
mov    -0x38(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    -0x28(%rbp),%rdx
mov    -0x2c(%rbp),%ecx
mov    -0x30(%rbp),%r8d
call   1090 <yaffs_set_xattrib@plt>
mov    %eax,-0x4c(%rbp)
cmpl   $0x0,-0x4c(%rbp)
jge    131f <yaffs_do_setxattr_reldir+0x19f>
mov    -0x4c(%rbp),%edi
call   1060 <yaffsfs_SetError@plt>
movl   $0xffffffff,-0x4c(%rbp)
jmp    1324 <yaffs_do_setxattr_reldir+0x1a4>
jmp    1329 <yaffs_do_setxattr_reldir+0x1a9>
jmp    132e <yaffs_do_setxattr_reldir+0x1ae>
mov    $0x0,%al
call   1040 <yaffsfs_Unlock@plt>
mov    -0x4c(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<yaffs_do_setxattr_reldir>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r9d,%r14d
mov    %r8d,%r15d
mov    %rcx,%r12
mov    %rdx,%r13
mov    %rsi,%rbx
mov    %rdi,%rbp
movl   $0x0,0xc(%rsp)
movl   $0x0,0x8(%rsp)
mov    %rsi,%rdi
xor    %esi,%esi
xor    %edx,%edx
call   1050 <yaffsfs_CheckMemRegion@plt>
test   %rax,%rax
js     127a <yaffs_do_setxattr_reldir+0xfa>
mov    %r13,%rdi
xor    %esi,%esi
xor    %edx,%edx
call   1050 <yaffsfs_CheckMemRegion@plt>
test   %rax,%rax
js     127a <yaffs_do_setxattr_reldir+0xfa>
mov    %r12,%rdi
mov    %r15d,%esi
xor    %edx,%edx
call   1050 <yaffsfs_CheckMemRegion@plt>
test   %rax,%rax
js     127a <yaffs_do_setxattr_reldir+0xfa>
mov    %rbx,%rdi
call   1080 <yaffsfs_CheckPath@plt>
test   %rax,%rax
js     129a <yaffs_do_setxattr_reldir+0x11a>
xor    %eax,%eax
call   1070 <yaffsfs_Lock@plt>
lea    0x8(%rsp),%rax
mov    %rax,(%rsp)
lea    0x10(%rsp),%r8
lea    0xc(%rsp),%r9
mov    %rbp,%rdi
mov    %rbx,%rsi
xor    %edx,%edx
mov    $0x1,%ecx
call   1030 <yaffsfs_FindObject@plt>
cmpl   $0x0,0x50(%rsp)
je     1243 <yaffs_do_setxattr_reldir+0xc3>
lea    0x8(%rsp),%rdx
mov    %rax,%rdi
xor    %esi,%esi
call   10a0 <yaffsfs_FollowLink@plt>
mov    0x10(%rsp),%rcx
test   %rcx,%rcx
jne    1259 <yaffs_do_setxattr_reldir+0xd9>
mov    $0xffffffec,%ebx
cmpl   $0x0,0xc(%rsp)
jne    1265 <yaffs_do_setxattr_reldir+0xe5>
mov    $0xffffffd8,%ebx
cmpl   $0x0,0x8(%rsp)
je     12a1 <yaffs_do_setxattr_reldir+0x121>
mov    %ebx,%edi
call   1060 <yaffsfs_SetError@plt>
mov    $0xffffffff,%ebx
xor    %eax,%eax
call   1040 <yaffsfs_Unlock@plt>
jmp    1289 <yaffs_do_setxattr_reldir+0x109>
mov    $0xfffffff2,%edi
call   1060 <yaffsfs_SetError@plt>
mov    $0xffffffff,%ebx
mov    %ebx,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    $0xffffffdc,%edi
jmp    127f <yaffs_do_setxattr_reldir+0xff>
mov    $0xfffffffe,%ebx
test   %rcx,%rcx
je     1265 <yaffs_do_setxattr_reldir+0xe5>
test   %rax,%rax
je     1265 <yaffs_do_setxattr_reldir+0xe5>
mov    %rax,%rdi
mov    %r13,%rsi
mov    %r12,%rdx
mov    %r15d,%ecx
mov    %r14d,%r8d
call   1090 <yaffs_set_xattrib@plt>
mov    %eax,%ebx
test   %eax,%eax
jns    1271 <yaffs_do_setxattr_reldir+0xf1>
jmp    1265 <yaffs_do_setxattr_reldir+0xe5>

LLVM IR (-O0):
%struct.yaffs_obj = type { i32 }
define i32 @yaffs_do_setxattr_reldir(%struct.yaffs_obj* %0, i8* %1, i8* %2, i8* %3, i32 %4, i32 %5, i32 %6) {
%8 = alloca i32
%9 = alloca %struct.yaffs_obj*
%10 = alloca i8*
%11 = alloca i8*
%12 = alloca i8*
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca %struct.yaffs_obj*
%17 = alloca %struct.yaffs_obj*
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
store %struct.yaffs_obj* %0, %struct.yaffs_obj** %9
store i8* %1, i8** %10
store i8* %2, i8** %11
store i8* %3, i8** %12
store i32 %4, i32* %13
store i32 %5, i32* %14
store i32 %6, i32* %15
store i32 0, i32* %18
store i32 0, i32* %19
store i32 -1, i32* %20
%21 = load i8*, i8** %10
%22 = call i64 @yaffsfs_CheckMemRegion(i8* %21, i32 0, i32 0)
%23 = icmp slt i64 %22, 0
br i1 %23, label %33, label %24
24: ; preds = %7
%25 = load i8*, i8** %11
%26 = call i64 @yaffsfs_CheckMemRegion(i8* %25, i32 0, i32 0)
%27 = icmp slt i64 %26, 0
br i1 %27, label %33, label %28
28: ; preds = %24
%29 = load i8*, i8** %12
%30 = load i32, i32* %13
%31 = call i64 @yaffsfs_CheckMemRegion(i8* %29, i32 %30, i32 0)
%32 = icmp slt i64 %31, 0
br i1 %32, label %33, label %35
33: ; preds = %28, %24, %7
%34 = call i32 @yaffsfs_SetError(i32 -14)
store i32 -1, i32* %8
br label %90
35: ; preds = %28
%36 = load i8*, i8** %10
%37 = call i64 @yaffsfs_CheckPath(i8* %36)
%38 = icmp slt i64 %37, 0
br i1 %38, label %39, label %41
39: ; preds = %35
%40 = call i32 @yaffsfs_SetError(i32 -36)
store i32 -1, i32* %8
br label %90
41: ; preds = %35
%42 = call i32 (...) @yaffsfs_Lock()
%43 = load %struct.yaffs_obj*, %struct.yaffs_obj** %9
%44 = load i8*, i8** %10
%45 = call %struct.yaffs_obj* @yaffsfs_FindObject(%struct.yaffs_obj* %43, i8* %44, i32 0, i32 1, %struct.yaffs_obj** %17, i32* %18, i32* %19)
store %struct.yaffs_obj* %45, %struct.yaffs_obj** %16
%46 = load i32, i32* %15
%47 = icmp ne i32 %46, 0
br i1 %47, label %48, label %51
48: ; preds = %41
%49 = load %struct.yaffs_obj*, %struct.yaffs_obj** %16
%50 = call %struct.yaffs_obj* @yaffsfs_FollowLink(%struct.yaffs_obj* %49, i32 0, i32* %19)
store %struct.yaffs_obj* %50, %struct.yaffs_obj** %16
br label %51
51: ; preds = %48, %41
%52 = load %struct.yaffs_obj*, %struct.yaffs_obj** %17
%53 = icmp ne %struct.yaffs_obj* %52, null
br i1 %53, label %59, label %54
54: ; preds = %51
%55 = load i32, i32* %18
%56 = icmp ne i32 %55, 0
br i1 %56, label %57, label %59
57: ; preds = %54
%58 = call i32 @yaffsfs_SetError(i32 -20)
br label %87
59: ; preds = %54, %51
%60 = load i32, i32* %19
%61 = icmp ne i32 %60, 0
br i1 %61, label %62, label %64
62: ; preds = %59
%63 = call i32 @yaffsfs_SetError(i32 -40)
br label %86
64: ; preds = %59
%65 = load %struct.yaffs_obj*, %struct.yaffs_obj** %17
%66 = icmp ne %struct.yaffs_obj* %65, null
br i1 %66, label %67, label %70
67: ; preds = %64
%68 = load %struct.yaffs_obj*, %struct.yaffs_obj** %16
%69 = icmp ne %struct.yaffs_obj* %68, null
br i1 %69, label %72, label %70
70: ; preds = %67, %64
%71 = call i32 @yaffsfs_SetError(i32 -2)
br label %85
72: ; preds = %67
%73 = load %struct.yaffs_obj*, %struct.yaffs_obj** %16
%74 = load i8*, i8** %11
%75 = load i8*, i8** %12
%76 = load i32, i32* %13
%77 = load i32, i32* %14
%78 = call i32 @yaffs_set_xattrib(%struct.yaffs_obj* %73, i8* %74, i8* %75, i32 %76, i32 %77)
store i32 %78, i32* %20
%79 = load i32, i32* %20
%80 = icmp slt i32 %79, 0
br i1 %80, label %81, label %84
81: ; preds = %72
%82 = load i32, i32* %20
%83 = call i32 @yaffsfs_SetError(i32 %82)
store i32 -1, i32* %20
br label %84
84: ; preds = %81, %72
br label %85
85: ; preds = %84, %70
br label %86
86: ; preds = %85, %62
br label %87
87: ; preds = %86, %57
%88 = call i32 (...) @yaffsfs_Unlock()
%89 = load i32, i32* %20
store i32 %89, i32* %8
br label %90
90: ; preds = %87, %39, %33
%91 = load i32, i32* %8
ret i32 %91
}

LLVM IR (-O2):
%struct.yaffs_obj = type { i32 }
define i32 @yaffs_do_setxattr_reldir(%struct.yaffs_obj* %0, i8* %1, i8* %2, i8* %3, i32 %4, i32 %5, i32 %6) {
%8 = alloca %struct.yaffs_obj*
%9 = alloca i32
%10 = alloca i32
%11 = bitcast %struct.yaffs_obj** %8 to i8*
%12 = bitcast i32* %9 to i8*
store i32 0, i32* %9
%13 = bitcast i32* %10 to i8*
store i32 0, i32* %10
%14 = tail call i64 @yaffsfs_CheckMemRegion(i8* %1, i32 0, i32 0)
%15 = icmp slt i64 %14, 0
br i1 %15, label %22, label %16
16: ; preds = %7
%17 = tail call i64 @yaffsfs_CheckMemRegion(i8* %2, i32 0, i32 0)
%18 = icmp slt i64 %17, 0
br i1 %18, label %22, label %19
19: ; preds = %16
%20 = tail call i64 @yaffsfs_CheckMemRegion(i8* %3, i32 %4, i32 0)
%21 = icmp slt i64 %20, 0
br i1 %21, label %22, label %24
22: ; preds = %19, %16, %7
%23 = tail call i32 @yaffsfs_SetError(i32 -14)
br label %58
24: ; preds = %19
%25 = tail call i64 @yaffsfs_CheckPath(i8* %1)
%26 = icmp slt i64 %25, 0
br i1 %26, label %27, label %29
27: ; preds = %24
%28 = tail call i32 @yaffsfs_SetError(i32 -36)
br label %58
29: ; preds = %24
%30 = tail call i32 (...) @yaffsfs_Lock()
%31 = call %struct.yaffs_obj* @yaffsfs_FindObject(%struct.yaffs_obj* %0, i8* %1, i32 0, i32 1, %struct.yaffs_obj** %8, i32* %9, i32* %10)
%32 = icmp eq i32 %6, 0
br i1 %32, label %35, label %33
33: ; preds = %29
%34 = call %struct.yaffs_obj* @yaffsfs_FollowLink(%struct.yaffs_obj* %31, i32 0, i32* %10)
br label %35
35: ; preds = %33, %29
%36 = phi %struct.yaffs_obj* [ %34, %33 ], [ %31, %29 ]
%37 = load %struct.yaffs_obj*, %struct.yaffs_obj** %8
%38 = icmp eq %struct.yaffs_obj* %37, null
%39 = load i32, i32* %9
%40 = icmp ne i32 %39, 0
%41 = select i1 %38, i1 %40, i1 false
br i1 %41, label %52, label %42
42: ; preds = %35
%43 = load i32, i32* %10
%44 = icmp eq i32 %43, 0
br i1 %44, label %45, label %52
45: ; preds = %42
%46 = icmp ne %struct.yaffs_obj* %37, null
%47 = icmp ne %struct.yaffs_obj* %36, null
%48 = select i1 %46, i1 %47, i1 false
br i1 %48, label %49, label %52
49: ; preds = %45
%50 = call i32 @yaffs_set_xattrib(%struct.yaffs_obj* %36, i8* %2, i8* %3, i32 %4, i32 %5)
%51 = icmp slt i32 %50, 0
br i1 %51, label %52, label %55
52: ; preds = %49, %45, %42, %35
%53 = phi i32 [ -20, %35 ], [ -40, %42 ], [ -2, %45 ], [ %50, %49 ]
%54 = call i32 @yaffsfs_SetError(i32 %53)
br label %55
55: ; preds = %52, %49
%56 = phi i32 [ %50, %49 ], [ -1, %52 ]
%57 = call i32 (...) @yaffsfs_Unlock()
br label %58
58: ; preds = %55, %27, %22
%59 = phi i32 [ -1, %22 ], [ -1, %27 ], [ %56, %55 ]
ret i32 %59
}