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

/* Variables and functions */
int /*<<< orphan*/ write_auxiliar_gadget(int, struct Lnode *);
void write_auxiliar_gadget_for_store(unsigned char *booleans,
                                     struct Lnode *existing_node) {
  if (!(booleans[0] && booleans[1])) {
    if (!(booleans[0] | booleans[1] | booleans[2] | booleans[3])) {
      write_auxiliar_gadget(4, existing_node);
      write_auxiliar_gadget(3, existing_node);
    } else if (booleans[0] || (!booleans[1] && !booleans[2])) {
      write_auxiliar_gadget(4, existing_node);
    } else {
      write_auxiliar_gadget(3, existing_node);
    }
  }
}


x86 assembly (clang, -O0):
<write_auxiliar_gadget_for_store>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x0,%eax
je     1141 <write_auxiliar_gadget_for_store+0x31>
mov    -0x8(%rbp),%rax
movzbl 0x1(%rax),%eax
cmp    $0x0,%eax
jne    11e7 <write_auxiliar_gadget_for_store+0xd7>
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
mov    -0x8(%rbp),%rcx
movzbl 0x1(%rcx),%ecx
or     %ecx,%eax
mov    -0x8(%rbp),%rcx
movzbl 0x2(%rcx),%ecx
or     %ecx,%eax
mov    -0x8(%rbp),%rcx
movzbl 0x3(%rcx),%ecx
or     %ecx,%eax
cmp    $0x0,%eax
jne    1190 <write_auxiliar_gadget_for_store+0x80>
mov    -0x10(%rbp),%rsi
mov    $0x4,%edi
call   1030 <write_auxiliar_gadget@plt>
mov    -0x10(%rbp),%rsi
mov    $0x3,%edi
call   1030 <write_auxiliar_gadget@plt>
jmp    11e2 <write_auxiliar_gadget_for_store+0xd2>
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x0,%eax
jne    11bc <write_auxiliar_gadget_for_store+0xac>
mov    -0x8(%rbp),%rax
cmpb   $0x0,0x1(%rax)
jne    11cf <write_auxiliar_gadget_for_store+0xbf>
mov    -0x8(%rbp),%rax
cmpb   $0x0,0x2(%rax)
jne    11cf <write_auxiliar_gadget_for_store+0xbf>
mov    -0x10(%rbp),%rsi
mov    $0x4,%edi
call   1030 <write_auxiliar_gadget@plt>
jmp    11dd <write_auxiliar_gadget_for_store+0xcd>
mov    -0x10(%rbp),%rsi
mov    $0x3,%edi
call   1030 <write_auxiliar_gadget@plt>
jmp    11e2 <write_auxiliar_gadget_for_store+0xd2>
jmp    11e7 <write_auxiliar_gadget_for_store+0xd7>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<write_auxiliar_gadget_for_store>:
push   %rbx
mov    %rsi,%rbx
mov    (%rdi),%cl
mov    0x1(%rdi),%al
test   %cl,%cl
je     1123 <write_auxiliar_gadget_for_store+0x13>
test   %al,%al
je     113c <write_auxiliar_gadget_for_store+0x2c>
pop    %rbx
ret
or     %al,%cl
mov    0x2(%rdi),%dl
or     %dl,%cl
or     0x3(%rdi),%cl
je     1143 <write_auxiliar_gadget_for_store+0x33>
xor    %edi,%edi
or     %dl,%al
sete   %dil
add    $0x3,%edi
jmp    1155 <write_auxiliar_gadget_for_store+0x45>
mov    $0x4,%edi
jmp    1155 <write_auxiliar_gadget_for_store+0x45>
mov    $0x4,%edi
mov    %rbx,%rsi
call   1030 <write_auxiliar_gadget@plt>
mov    $0x3,%edi
mov    %rbx,%rsi
pop    %rbx
jmp    1030 <write_auxiliar_gadget@plt>

LLVM IR (-O0):
%struct.Lnode = type { i32 }
define void @write_auxiliar_gadget_for_store(i8* %0, %struct.Lnode* %1) {
%3 = alloca i8*
%4 = alloca %struct.Lnode*
store i8* %0, i8** %3
store %struct.Lnode* %1, %struct.Lnode** %4
%5 = load i8*, i8** %3
%6 = getelementptr inbounds i8, i8* %5, i64 0
%7 = load i8, i8* %6
%8 = zext i8 %7 to i32
%9 = icmp ne i32 %8, 0
br i1 %9, label %10, label %16
10: ; preds = %2
%11 = load i8*, i8** %3
%12 = getelementptr inbounds i8, i8* %11, i64 1
%13 = load i8, i8* %12
%14 = zext i8 %13 to i32
%15 = icmp ne i32 %14, 0
br i1 %15, label %66, label %16
16: ; preds = %10, %2
%17 = load i8*, i8** %3
%18 = getelementptr inbounds i8, i8* %17, i64 0
%19 = load i8, i8* %18
%20 = zext i8 %19 to i32
%21 = load i8*, i8** %3
%22 = getelementptr inbounds i8, i8* %21, i64 1
%23 = load i8, i8* %22
%24 = zext i8 %23 to i32
%25 = or i32 %20, %24
%26 = load i8*, i8** %3
%27 = getelementptr inbounds i8, i8* %26, i64 2
%28 = load i8, i8* %27
%29 = zext i8 %28 to i32
%30 = or i32 %25, %29
%31 = load i8*, i8** %3
%32 = getelementptr inbounds i8, i8* %31, i64 3
%33 = load i8, i8* %32
%34 = zext i8 %33 to i32
%35 = or i32 %30, %34
%36 = icmp ne i32 %35, 0
br i1 %36, label %42, label %37
37: ; preds = %16
%38 = load %struct.Lnode*, %struct.Lnode** %4
%39 = call i32 @write_auxiliar_gadget(i32 4, %struct.Lnode* %38)
%40 = load %struct.Lnode*, %struct.Lnode** %4
%41 = call i32 @write_auxiliar_gadget(i32 3, %struct.Lnode* %40)
br label %65
42: ; preds = %16
%43 = load i8*, i8** %3
%44 = getelementptr inbounds i8, i8* %43, i64 0
%45 = load i8, i8* %44
%46 = zext i8 %45 to i32
%47 = icmp ne i32 %46, 0
br i1 %47, label %58, label %48
48: ; preds = %42
%49 = load i8*, i8** %3
%50 = getelementptr inbounds i8, i8* %49, i64 1
%51 = load i8, i8* %50
%52 = icmp ne i8 %51, 0
br i1 %52, label %61, label %53
53: ; preds = %48
%54 = load i8*, i8** %3
%55 = getelementptr inbounds i8, i8* %54, i64 2
%56 = load i8, i8* %55
%57 = icmp ne i8 %56, 0
br i1 %57, label %61, label %58
58: ; preds = %53, %42
%59 = load %struct.Lnode*, %struct.Lnode** %4
%60 = call i32 @write_auxiliar_gadget(i32 4, %struct.Lnode* %59)
br label %64
61: ; preds = %53, %48
%62 = load %struct.Lnode*, %struct.Lnode** %4
%63 = call i32 @write_auxiliar_gadget(i32 3, %struct.Lnode* %62)
br label %64
64: ; preds = %61, %58
br label %65
65: ; preds = %64, %37
br label %66
66: ; preds = %65, %10
ret void
}

LLVM IR (-O2):
%struct.Lnode = type { i32 }
define void @write_auxiliar_gadget_for_store(i8* nocapture %0, %struct.Lnode* %1) {
%3 = load i8, i8* %0
%4 = icmp eq i8 %3, 0
%5 = getelementptr inbounds i8, i8* %0, i64 1
%6 = load i8, i8* %5
br i1 %4, label %9, label %7
7: ; preds = %2
%8 = icmp eq i8 %6, 0
br i1 %8, label %25, label %28
9: ; preds = %2
%10 = or i8 %6, %3
%11 = getelementptr inbounds i8, i8* %0, i64 2
%12 = load i8, i8* %11
%13 = or i8 %10, %12
%14 = getelementptr inbounds i8, i8* %0, i64 3
%15 = load i8, i8* %14
%16 = or i8 %13, %15
%17 = icmp eq i8 %16, 0
br i1 %17, label %18, label %20
18: ; preds = %9
%19 = tail call i32 @write_auxiliar_gadget(i32 4, %struct.Lnode* %1)
br label %25
20: ; preds = %9
%21 = icmp eq i8 %6, 0
%22 = icmp eq i8 %12, 0
%23 = select i1 %21, i1 %22, i1 false
%24 = select i1 %23, i32 4, i32 3
br label %25
25: ; preds = %20, %7, %18
%26 = phi i32 [ 3, %18 ], [ 4, %7 ], [ %24, %20 ]
%27 = tail call i32 @write_auxiliar_gadget(i32 %26, %struct.Lnode* %1)
br label %28
28: ; preds = %25, %7
ret void
}