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

/* Variables and functions */
int /*<<< orphan*/ assert(int);
struct stringset *stringset_alloc();
struct stringset *stringset_alloc_from_array(char const **, int);
int /*<<< orphan*/ stringset_free(struct stringset *);
int stringset_is_equal_to(struct stringset *, struct stringset *);
void test_is_equal_to(void) {
  char const *members1[] = {"watermelon", "mango", "apple", "banana",
                            "strawberry"};
  int members1_count = sizeof members1 / sizeof members1[0];
  struct stringset *set1 = stringset_alloc_from_array(members1, members1_count);
  assert(set1);
  char const *members2[] = {"mango", "green", "banana"};
  int members2_count = sizeof members2 / sizeof members2[0];
  struct stringset *set2 = stringset_alloc_from_array(members2, members2_count);
  assert(set2);
  char const *members3[] = {"mango", "watermelon", "banana"};
  int members3_count = sizeof members3 / sizeof members3[0];
  struct stringset *set3 = stringset_alloc_from_array(members3, members3_count);
  assert(set3);
  char const *members4[] = {"banana", "watermelon", "mango"};
  int members4_count = sizeof members4 / sizeof members4[0];
  struct stringset *set4 = stringset_alloc_from_array(members4, members4_count);
  assert(set4);
  struct stringset *empty_set = stringset_alloc();
  assert(empty_set);
  assert(stringset_is_equal_to(set1, set1));
  assert(!stringset_is_equal_to(set1, set2));
  assert(!stringset_is_equal_to(set1, set3));
  assert(!stringset_is_equal_to(set1, set4));
  assert(!stringset_is_equal_to(set1, empty_set));
  assert(!stringset_is_equal_to(set2, set1));
  assert(stringset_is_equal_to(set2, set2));
  assert(!stringset_is_equal_to(set2, set3));
  assert(!stringset_is_equal_to(set2, set4));
  assert(!stringset_is_equal_to(set2, empty_set));
  assert(!stringset_is_equal_to(set3, set1));
  assert(!stringset_is_equal_to(set3, set2));
  assert(stringset_is_equal_to(set3, set3));
  assert(stringset_is_equal_to(set3, set4));
  assert(!stringset_is_equal_to(set3, empty_set));
  assert(!stringset_is_equal_to(set4, set1));
  assert(!stringset_is_equal_to(set4, set2));
  assert(stringset_is_equal_to(set4, set3));
  assert(stringset_is_equal_to(set4, set4));
  assert(!stringset_is_equal_to(set4, empty_set));
  assert(!stringset_is_equal_to(empty_set, set1));
  assert(!stringset_is_equal_to(empty_set, set2));
  assert(!stringset_is_equal_to(empty_set, set3));
  assert(!stringset_is_equal_to(empty_set, set4));
  assert(stringset_is_equal_to(empty_set, empty_set));
  stringset_free(set1);
  stringset_free(set2);
  stringset_free(set3);
  stringset_free(set4);
  stringset_free(empty_set);
}


x86 assembly (clang, -O0):
<test_is_equal_to>:
push   %rbp
mov    %rsp,%rbp
sub    $0xe0,%rsp
lea    -0x30(%rbp),%rdi
xor    %esi,%esi
mov    $0x28,%edx
call   1040 <memset@plt>
lea    0xe7e(%rip),%rax
mov    %rax,-0x30(%rbp)
lea    0xe7e(%rip),%rax
mov    %rax,-0x28(%rbp)
lea    0xe79(%rip),%rax
mov    %rax,-0x20(%rbp)
lea    0xe74(%rip),%rax
mov    %rax,-0x18(%rbp)
lea    0xe70(%rip),%rax
mov    %rax,-0x10(%rbp)
movl   $0x5,-0x34(%rbp)
lea    -0x30(%rbp),%rdi
mov    -0x34(%rbp),%esi
call   1070 <stringset_alloc_from_array@plt>
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
mov    %eax,%edi
call   1060 <assert@plt>
mov    0x2be5(%rip),%rax
mov    %rax,-0x60(%rbp)
mov    0x2be2(%rip),%rax
mov    %rax,-0x58(%rbp)
mov    0x2bdf(%rip),%rax
mov    %rax,-0x50(%rbp)
movl   $0x3,-0x64(%rbp)
lea    -0x60(%rbp),%rdi
mov    -0x64(%rbp),%esi
call   1070 <stringset_alloc_from_array@plt>
mov    %rax,-0x70(%rbp)
mov    -0x70(%rbp),%rax
mov    %eax,%edi
call   1060 <assert@plt>
mov    0x2bc2(%rip),%rax
mov    %rax,-0x90(%rbp)
mov    0x2bbc(%rip),%rax
mov    %rax,-0x88(%rbp)
mov    0x2bb6(%rip),%rax
mov    %rax,-0x80(%rbp)
movl   $0x3,-0x94(%rbp)
lea    -0x90(%rbp),%rdi
mov    -0x94(%rbp),%esi
call   1070 <stringset_alloc_from_array@plt>
mov    %rax,-0xa0(%rbp)
mov    -0xa0(%rbp),%rax
mov    %eax,%edi
call   1060 <assert@plt>
mov    0x2b8a(%rip),%rax
mov    %rax,-0xc0(%rbp)
mov    0x2b84(%rip),%rax
mov    %rax,-0xb8(%rbp)
mov    0x2b7e(%rip),%rax
mov    %rax,-0xb0(%rbp)
movl   $0x3,-0xc4(%rbp)
lea    -0xc0(%rbp),%rdi
mov    -0xc4(%rbp),%esi
call   1070 <stringset_alloc_from_array@plt>
mov    %rax,-0xd0(%rbp)
mov    -0xd0(%rbp),%rax
mov    %eax,%edi
call   1060 <assert@plt>
mov    $0x0,%al
call   1030 <stringset_alloc@plt>
mov    %rax,-0xd8(%rbp)
mov    -0xd8(%rbp),%rax
mov    %eax,%edi
call   1060 <assert@plt>
mov    -0x40(%rbp),%rdi
mov    -0x40(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
mov    %eax,%edi
call   1060 <assert@plt>
mov    -0x40(%rbp),%rdi
mov    -0x70(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x40(%rbp),%rdi
mov    -0xa0(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x40(%rbp),%rdi
mov    -0xd0(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x40(%rbp),%rdi
mov    -0xd8(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x70(%rbp),%rdi
mov    -0x40(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x70(%rbp),%rdi
mov    -0x70(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
mov    %eax,%edi
call   1060 <assert@plt>
mov    -0x70(%rbp),%rdi
mov    -0xa0(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x70(%rbp),%rdi
mov    -0xd0(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x70(%rbp),%rdi
mov    -0xd8(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0xa0(%rbp),%rdi
mov    -0x40(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0xa0(%rbp),%rdi
mov    -0x70(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0xa0(%rbp),%rdi
mov    -0xa0(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
mov    %eax,%edi
call   1060 <assert@plt>
mov    -0xa0(%rbp),%rdi
mov    -0xd0(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
mov    %eax,%edi
call   1060 <assert@plt>
mov    -0xa0(%rbp),%rdi
mov    -0xd8(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0xd0(%rbp),%rdi
mov    -0x40(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0xd0(%rbp),%rdi
mov    -0x70(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0xd0(%rbp),%rdi
mov    -0xa0(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
mov    %eax,%edi
call   1060 <assert@plt>
mov    -0xd0(%rbp),%rdi
mov    -0xd0(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
mov    %eax,%edi
call   1060 <assert@plt>
mov    -0xd0(%rbp),%rdi
mov    -0xd8(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0xd8(%rbp),%rdi
mov    -0x40(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0xd8(%rbp),%rdi
mov    -0x70(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0xd8(%rbp),%rdi
mov    -0xa0(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0xd8(%rbp),%rdi
mov    -0xd0(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0xd8(%rbp),%rdi
mov    -0xd8(%rbp),%rsi
call   1080 <stringset_is_equal_to@plt>
mov    %eax,%edi
call   1060 <assert@plt>
mov    -0x40(%rbp),%rdi
call   1050 <stringset_free@plt>
mov    -0x70(%rbp),%rdi
call   1050 <stringset_free@plt>
mov    -0xa0(%rbp),%rdi
call   1050 <stringset_free@plt>
mov    -0xd0(%rbp),%rdi
call   1050 <stringset_free@plt>
mov    -0xd8(%rbp),%rdi
call   1050 <stringset_free@plt>
add    $0xe0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_is_equal_to>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x90,%rsp
lea    0xe99(%rip),%rax
mov    %rax,(%rsp)
lea    0xe99(%rip),%rax
mov    %rax,0x8(%rsp)
lea    0xe93(%rip),%rax
mov    %rax,0x10(%rsp)
lea    0xe8d(%rip),%rax
mov    %rax,0x18(%rsp)
lea    0xe88(%rip),%rax
mov    %rax,0x20(%rsp)
mov    %rsp,%rdi
mov    $0x5,%esi
call   1060 <stringset_alloc_from_array@plt>
mov    %rax,%r14
mov    %r14d,%edi
call   1050 <assert@plt>
mov    0x2c16(%rip),%rax
mov    %rax,0x80(%rsp)
movaps 0x2bf7(%rip),%xmm0
movaps %xmm0,0x70(%rsp)
lea    0x70(%rsp),%rdi
mov    $0x3,%esi
call   1060 <stringset_alloc_from_array@plt>
mov    %rax,%r15
mov    %r15d,%edi
call   1050 <assert@plt>
mov    0x2c01(%rip),%rax
mov    %rax,0x60(%rsp)
movaps 0x2be5(%rip),%xmm0
movaps %xmm0,0x50(%rsp)
lea    0x50(%rsp),%rdi
mov    $0x3,%esi
call   1060 <stringset_alloc_from_array@plt>
mov    %rax,%r12
mov    %r12d,%edi
call   1050 <assert@plt>
mov    0x2bef(%rip),%rax
mov    %rax,0x40(%rsp)
movaps 0x2bd3(%rip),%xmm0
movaps %xmm0,0x30(%rsp)
lea    0x30(%rsp),%rdi
mov    $0x3,%esi
call   1060 <stringset_alloc_from_array@plt>
mov    %rax,%r13
mov    %r13d,%edi
call   1050 <assert@plt>
xor    %eax,%eax
call   1030 <stringset_alloc@plt>
mov    %rax,%rbx
mov    %ebx,%edi
call   1050 <assert@plt>
mov    %r14,%rdi
mov    %r14,%rsi
call   1070 <stringset_is_equal_to@plt>
mov    %eax,%edi
call   1050 <assert@plt>
mov    %r14,%rdi
mov    %r15,%rsi
call   1070 <stringset_is_equal_to@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r14,%rdi
mov    %r12,%rsi
call   1070 <stringset_is_equal_to@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r14,%rdi
mov    %r13,%rsi
call   1070 <stringset_is_equal_to@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r14,%rdi
mov    %rbx,%rsi
call   1070 <stringset_is_equal_to@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r15,%rdi
mov    %r14,%rsi
call   1070 <stringset_is_equal_to@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r15,%rdi
mov    %r15,%rsi
call   1070 <stringset_is_equal_to@plt>
mov    %eax,%edi
call   1050 <assert@plt>
mov    %r15,%rdi
mov    %r12,%rsi
call   1070 <stringset_is_equal_to@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r15,%rdi
mov    %r13,%rsi
call   1070 <stringset_is_equal_to@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r15,%rdi
mov    %rbx,%rsi
call   1070 <stringset_is_equal_to@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r12,%rdi
mov    %r14,%rsi
call   1070 <stringset_is_equal_to@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r12,%rdi
mov    %r15,%rsi
call   1070 <stringset_is_equal_to@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r12,%rdi
mov    %r12,%rsi
call   1070 <stringset_is_equal_to@plt>
mov    %eax,%edi
call   1050 <assert@plt>
mov    %r12,%rdi
mov    %r13,%rsi
call   1070 <stringset_is_equal_to@plt>
mov    %eax,%edi
call   1050 <assert@plt>
mov    %r12,%rdi
mov    %rbx,%rsi
call   1070 <stringset_is_equal_to@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r13,%rdi
mov    %r14,%rsi
call   1070 <stringset_is_equal_to@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r13,%rdi
mov    %r15,%rsi
call   1070 <stringset_is_equal_to@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r13,%rdi
mov    %r12,%rsi
call   1070 <stringset_is_equal_to@plt>
mov    %eax,%edi
call   1050 <assert@plt>
mov    %r13,%rdi
mov    %r13,%rsi
call   1070 <stringset_is_equal_to@plt>
mov    %eax,%edi
call   1050 <assert@plt>
mov    %r13,%rdi
mov    %rbx,%rsi
call   1070 <stringset_is_equal_to@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
call   1070 <stringset_is_equal_to@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
call   1070 <stringset_is_equal_to@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r12,%rsi
call   1070 <stringset_is_equal_to@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r13,%rsi
call   1070 <stringset_is_equal_to@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %rbx,%rsi
call   1070 <stringset_is_equal_to@plt>
mov    %eax,%edi
call   1050 <assert@plt>
mov    %r14,%rdi
call   1040 <stringset_free@plt>
mov    %r15,%rdi
call   1040 <stringset_free@plt>
mov    %r12,%rdi
call   1040 <stringset_free@plt>
mov    %r13,%rdi
call   1040 <stringset_free@plt>
mov    %rbx,%rdi
call   1040 <stringset_free@plt>
add    $0x90,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
%struct.stringset = type { i32 }
@.str = [11 x i8] c"watermelon\00"
@.str.1 = [6 x i8] c"mango\00"
@.str.2 = [6 x i8] c"apple\00"
@.str.3 = [7 x i8] c"banana\00"
@.str.4 = [11 x i8] c"strawberry\00"
@.str.5 = [6 x i8] c"green\00"
@__const.test_is_equal_to.members2 = [3 x i8*] [i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.5, i32 0, i32 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.3, i32 0, i32 0)]
@__const.test_is_equal_to.members3 = [3 x i8*] [i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i32 0, i32 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.3, i32 0, i32 0)]
@__const.test_is_equal_to.members4 = [3 x i8*] [i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.3, i32 0, i32 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i32 0, i32 0)]
define void @test_is_equal_to() {
%1 = alloca [5 x i8*]
%2 = alloca i32
%3 = alloca %struct.stringset*
%4 = alloca [3 x i8*]
%5 = alloca i32
%6 = alloca %struct.stringset*
%7 = alloca [3 x i8*]
%8 = alloca i32
%9 = alloca %struct.stringset*
%10 = alloca [3 x i8*]
%11 = alloca i32
%12 = alloca %struct.stringset*
%13 = alloca %struct.stringset*
%14 = bitcast [5 x i8*]* %1 to i8*
%15 = bitcast i8* %14 to [5 x i8*]*
%16 = getelementptr inbounds [5 x i8*], [5 x i8*]* %15, i32 0, i32 0
store i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str, i32 0, i32 0), i8** %16
%17 = getelementptr inbounds [5 x i8*], [5 x i8*]* %15, i32 0, i32 1
store i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i32 0, i32 0), i8** %17
%18 = getelementptr inbounds [5 x i8*], [5 x i8*]* %15, i32 0, i32 2
store i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i32 0, i32 0), i8** %18
%19 = getelementptr inbounds [5 x i8*], [5 x i8*]* %15, i32 0, i32 3
store i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.3, i32 0, i32 0), i8** %19
%20 = getelementptr inbounds [5 x i8*], [5 x i8*]* %15, i32 0, i32 4
store i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.4, i32 0, i32 0), i8** %20
store i32 5, i32* %2
%21 = getelementptr inbounds [5 x i8*], [5 x i8*]* %1, i64 0, i64 0
%22 = load i32, i32* %2
%23 = call %struct.stringset* @stringset_alloc_from_array(i8** %21, i32 %22)
store %struct.stringset* %23, %struct.stringset** %3
%24 = load %struct.stringset*, %struct.stringset** %3
%25 = ptrtoint %struct.stringset* %24 to i32
%26 = call i32 @assert(i32 %25)
%27 = bitcast [3 x i8*]* %4 to i8*
store i32 3, i32* %5
%28 = getelementptr inbounds [3 x i8*], [3 x i8*]* %4, i64 0, i64 0
%29 = load i32, i32* %5
%30 = call %struct.stringset* @stringset_alloc_from_array(i8** %28, i32 %29)
store %struct.stringset* %30, %struct.stringset** %6
%31 = load %struct.stringset*, %struct.stringset** %6
%32 = ptrtoint %struct.stringset* %31 to i32
%33 = call i32 @assert(i32 %32)
%34 = bitcast [3 x i8*]* %7 to i8*
store i32 3, i32* %8
%35 = getelementptr inbounds [3 x i8*], [3 x i8*]* %7, i64 0, i64 0
%36 = load i32, i32* %8
%37 = call %struct.stringset* @stringset_alloc_from_array(i8** %35, i32 %36)
store %struct.stringset* %37, %struct.stringset** %9
%38 = load %struct.stringset*, %struct.stringset** %9
%39 = ptrtoint %struct.stringset* %38 to i32
%40 = call i32 @assert(i32 %39)
%41 = bitcast [3 x i8*]* %10 to i8*
store i32 3, i32* %11
%42 = getelementptr inbounds [3 x i8*], [3 x i8*]* %10, i64 0, i64 0
%43 = load i32, i32* %11
%44 = call %struct.stringset* @stringset_alloc_from_array(i8** %42, i32 %43)
store %struct.stringset* %44, %struct.stringset** %12
%45 = load %struct.stringset*, %struct.stringset** %12
%46 = ptrtoint %struct.stringset* %45 to i32
%47 = call i32 @assert(i32 %46)
%48 = call %struct.stringset* (...) @stringset_alloc()
store %struct.stringset* %48, %struct.stringset** %13
%49 = load %struct.stringset*, %struct.stringset** %13
%50 = ptrtoint %struct.stringset* %49 to i32
%51 = call i32 @assert(i32 %50)
%52 = load %struct.stringset*, %struct.stringset** %3
%53 = load %struct.stringset*, %struct.stringset** %3
%54 = call i32 @stringset_is_equal_to(%struct.stringset* %52, %struct.stringset* %53)
%55 = call i32 @assert(i32 %54)
%56 = load %struct.stringset*, %struct.stringset** %3
%57 = load %struct.stringset*, %struct.stringset** %6
%58 = call i32 @stringset_is_equal_to(%struct.stringset* %56, %struct.stringset* %57)
%59 = icmp ne i32 %58, 0
%60 = xor i1 %59, true
%61 = zext i1 %60 to i32
%62 = call i32 @assert(i32 %61)
%63 = load %struct.stringset*, %struct.stringset** %3
%64 = load %struct.stringset*, %struct.stringset** %9
%65 = call i32 @stringset_is_equal_to(%struct.stringset* %63, %struct.stringset* %64)
%66 = icmp ne i32 %65, 0
%67 = xor i1 %66, true
%68 = zext i1 %67 to i32
%69 = call i32 @assert(i32 %68)
%70 = load %struct.stringset*, %struct.stringset** %3
%71 = load %struct.stringset*, %struct.stringset** %12
%72 = call i32 @stringset_is_equal_to(%struct.stringset* %70, %struct.stringset* %71)
%73 = icmp ne i32 %72, 0
%74 = xor i1 %73, true
%75 = zext i1 %74 to i32
%76 = call i32 @assert(i32 %75)
%77 = load %struct.stringset*, %struct.stringset** %3
%78 = load %struct.stringset*, %struct.stringset** %13
%79 = call i32 @stringset_is_equal_to(%struct.stringset* %77, %struct.stringset* %78)
%80 = icmp ne i32 %79, 0
%81 = xor i1 %80, true
%82 = zext i1 %81 to i32
%83 = call i32 @assert(i32 %82)
%84 = load %struct.stringset*, %struct.stringset** %6
%85 = load %struct.stringset*, %struct.stringset** %3
%86 = call i32 @stringset_is_equal_to(%struct.stringset* %84, %struct.stringset* %85)
%87 = icmp ne i32 %86, 0
%88 = xor i1 %87, true
%89 = zext i1 %88 to i32
%90 = call i32 @assert(i32 %89)
%91 = load %struct.stringset*, %struct.stringset** %6
%92 = load %struct.stringset*, %struct.stringset** %6
%93 = call i32 @stringset_is_equal_to(%struct.stringset* %91, %struct.stringset* %92)
%94 = call i32 @assert(i32 %93)
%95 = load %struct.stringset*, %struct.stringset** %6
%96 = load %struct.stringset*, %struct.stringset** %9
%97 = call i32 @stringset_is_equal_to(%struct.stringset* %95, %struct.stringset* %96)
%98 = icmp ne i32 %97, 0
%99 = xor i1 %98, true
%100 = zext i1 %99 to i32
%101 = call i32 @assert(i32 %100)
%102 = load %struct.stringset*, %struct.stringset** %6
%103 = load %struct.stringset*, %struct.stringset** %12
%104 = call i32 @stringset_is_equal_to(%struct.stringset* %102, %struct.stringset* %103)
%105 = icmp ne i32 %104, 0
%106 = xor i1 %105, true
%107 = zext i1 %106 to i32
%108 = call i32 @assert(i32 %107)
%109 = load %struct.stringset*, %struct.stringset** %6
%110 = load %struct.stringset*, %struct.stringset** %13
%111 = call i32 @stringset_is_equal_to(%struct.stringset* %109, %struct.stringset* %110)
%112 = icmp ne i32 %111, 0
%113 = xor i1 %112, true
%114 = zext i1 %113 to i32
%115 = call i32 @assert(i32 %114)
%116 = load %struct.stringset*, %struct.stringset** %9
%117 = load %struct.stringset*, %struct.stringset** %3
%118 = call i32 @stringset_is_equal_to(%struct.stringset* %116, %struct.stringset* %117)
%119 = icmp ne i32 %118, 0
%120 = xor i1 %119, true
%121 = zext i1 %120 to i32
%122 = call i32 @assert(i32 %121)
%123 = load %struct.stringset*, %struct.stringset** %9
%124 = load %struct.stringset*, %struct.stringset** %6
%125 = call i32 @stringset_is_equal_to(%struct.stringset* %123, %struct.stringset* %124)
%126 = icmp ne i32 %125, 0
%127 = xor i1 %126, true
%128 = zext i1 %127 to i32
%129 = call i32 @assert(i32 %128)
%130 = load %struct.stringset*, %struct.stringset** %9
%131 = load %struct.stringset*, %struct.stringset** %9
%132 = call i32 @stringset_is_equal_to(%struct.stringset* %130, %struct.stringset* %131)
%133 = call i32 @assert(i32 %132)
%134 = load %struct.stringset*, %struct.stringset** %9
%135 = load %struct.stringset*, %struct.stringset** %12
%136 = call i32 @stringset_is_equal_to(%struct.stringset* %134, %struct.stringset* %135)
%137 = call i32 @assert(i32 %136)
%138 = load %struct.stringset*, %struct.stringset** %9
%139 = load %struct.stringset*, %struct.stringset** %13
%140 = call i32 @stringset_is_equal_to(%struct.stringset* %138, %struct.stringset* %139)
%141 = icmp ne i32 %140, 0
%142 = xor i1 %141, true
%143 = zext i1 %142 to i32
%144 = call i32 @assert(i32 %143)
%145 = load %struct.stringset*, %struct.stringset** %12
%146 = load %struct.stringset*, %struct.stringset** %3
%147 = call i32 @stringset_is_equal_to(%struct.stringset* %145, %struct.stringset* %146)
%148 = icmp ne i32 %147, 0
%149 = xor i1 %148, true
%150 = zext i1 %149 to i32
%151 = call i32 @assert(i32 %150)
%152 = load %struct.stringset*, %struct.stringset** %12
%153 = load %struct.stringset*, %struct.stringset** %6
%154 = call i32 @stringset_is_equal_to(%struct.stringset* %152, %struct.stringset* %153)
%155 = icmp ne i32 %154, 0
%156 = xor i1 %155, true
%157 = zext i1 %156 to i32
%158 = call i32 @assert(i32 %157)
%159 = load %struct.stringset*, %struct.stringset** %12
%160 = load %struct.stringset*, %struct.stringset** %9
%161 = call i32 @stringset_is_equal_to(%struct.stringset* %159, %struct.stringset* %160)
%162 = call i32 @assert(i32 %161)
%163 = load %struct.stringset*, %struct.stringset** %12
%164 = load %struct.stringset*, %struct.stringset** %12
%165 = call i32 @stringset_is_equal_to(%struct.stringset* %163, %struct.stringset* %164)
%166 = call i32 @assert(i32 %165)
%167 = load %struct.stringset*, %struct.stringset** %12
%168 = load %struct.stringset*, %struct.stringset** %13
%169 = call i32 @stringset_is_equal_to(%struct.stringset* %167, %struct.stringset* %168)
%170 = icmp ne i32 %169, 0
%171 = xor i1 %170, true
%172 = zext i1 %171 to i32
%173 = call i32 @assert(i32 %172)
%174 = load %struct.stringset*, %struct.stringset** %13
%175 = load %struct.stringset*, %struct.stringset** %3
%176 = call i32 @stringset_is_equal_to(%struct.stringset* %174, %struct.stringset* %175)
%177 = icmp ne i32 %176, 0
%178 = xor i1 %177, true
%179 = zext i1 %178 to i32
%180 = call i32 @assert(i32 %179)
%181 = load %struct.stringset*, %struct.stringset** %13
%182 = load %struct.stringset*, %struct.stringset** %6
%183 = call i32 @stringset_is_equal_to(%struct.stringset* %181, %struct.stringset* %182)
%184 = icmp ne i32 %183, 0
%185 = xor i1 %184, true
%186 = zext i1 %185 to i32
%187 = call i32 @assert(i32 %186)
%188 = load %struct.stringset*, %struct.stringset** %13
%189 = load %struct.stringset*, %struct.stringset** %9
%190 = call i32 @stringset_is_equal_to(%struct.stringset* %188, %struct.stringset* %189)
%191 = icmp ne i32 %190, 0
%192 = xor i1 %191, true
%193 = zext i1 %192 to i32
%194 = call i32 @assert(i32 %193)
%195 = load %struct.stringset*, %struct.stringset** %13
%196 = load %struct.stringset*, %struct.stringset** %12
%197 = call i32 @stringset_is_equal_to(%struct.stringset* %195, %struct.stringset* %196)
%198 = icmp ne i32 %197, 0
%199 = xor i1 %198, true
%200 = zext i1 %199 to i32
%201 = call i32 @assert(i32 %200)
%202 = load %struct.stringset*, %struct.stringset** %13
%203 = load %struct.stringset*, %struct.stringset** %13
%204 = call i32 @stringset_is_equal_to(%struct.stringset* %202, %struct.stringset* %203)
%205 = call i32 @assert(i32 %204)
%206 = load %struct.stringset*, %struct.stringset** %3
%207 = call i32 @stringset_free(%struct.stringset* %206)
%208 = load %struct.stringset*, %struct.stringset** %6
%209 = call i32 @stringset_free(%struct.stringset* %208)
%210 = load %struct.stringset*, %struct.stringset** %9
%211 = call i32 @stringset_free(%struct.stringset* %210)
%212 = load %struct.stringset*, %struct.stringset** %12
%213 = call i32 @stringset_free(%struct.stringset* %212)
%214 = load %struct.stringset*, %struct.stringset** %13
%215 = call i32 @stringset_free(%struct.stringset* %214)
ret void
}

LLVM IR (-O2):
%struct.stringset = type { i32 }
@.str = [11 x i8] c"watermelon\00"
@.str.1 = [6 x i8] c"mango\00"
@.str.2 = [6 x i8] c"apple\00"
@.str.3 = [7 x i8] c"banana\00"
@.str.4 = [11 x i8] c"strawberry\00"
@.str.5 = [6 x i8] c"green\00"
@__const.test_is_equal_to.members2 = [3 x i8*] [i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.5, i32 0, i32 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.3, i32 0, i32 0)]
@__const.test_is_equal_to.members3 = [3 x i8*] [i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i32 0, i32 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.3, i32 0, i32 0)]
@__const.test_is_equal_to.members4 = [3 x i8*] [i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.3, i32 0, i32 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i32 0, i32 0)]
define void @test_is_equal_to() {
%1 = alloca [5 x i8*]
%2 = alloca [3 x i8*]
%3 = alloca [3 x i8*]
%4 = alloca [3 x i8*]
%5 = bitcast [5 x i8*]* %1 to i8*
%6 = getelementptr inbounds [5 x i8*], [5 x i8*]* %1, i64 0, i64 0
store i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str, i64 0, i64 0), i8** %6
%7 = getelementptr inbounds [5 x i8*], [5 x i8*]* %1, i64 0, i64 1
store i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i8** %7
%8 = getelementptr inbounds [5 x i8*], [5 x i8*]* %1, i64 0, i64 2
store i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0), i8** %8
%9 = getelementptr inbounds [5 x i8*], [5 x i8*]* %1, i64 0, i64 3
store i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.3, i64 0, i64 0), i8** %9
%10 = getelementptr inbounds [5 x i8*], [5 x i8*]* %1, i64 0, i64 4
store i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.4, i64 0, i64 0), i8** %10
%11 = call %struct.stringset* @stringset_alloc_from_array(i8** %6, i32 5)
%12 = ptrtoint %struct.stringset* %11 to i64
%13 = trunc i64 %12 to i32
%14 = call i32 @assert(i32 %13)
%15 = bitcast [3 x i8*]* %2 to i8*
%16 = getelementptr inbounds [3 x i8*], [3 x i8*]* %2, i64 0, i64 0
%17 = call %struct.stringset* @stringset_alloc_from_array(i8** %16, i32 3)
%18 = ptrtoint %struct.stringset* %17 to i64
%19 = trunc i64 %18 to i32
%20 = call i32 @assert(i32 %19)
%21 = bitcast [3 x i8*]* %3 to i8*
%22 = getelementptr inbounds [3 x i8*], [3 x i8*]* %3, i64 0, i64 0
%23 = call %struct.stringset* @stringset_alloc_from_array(i8** %22, i32 3)
%24 = ptrtoint %struct.stringset* %23 to i64
%25 = trunc i64 %24 to i32
%26 = call i32 @assert(i32 %25)
%27 = bitcast [3 x i8*]* %4 to i8*
%28 = getelementptr inbounds [3 x i8*], [3 x i8*]* %4, i64 0, i64 0
%29 = call %struct.stringset* @stringset_alloc_from_array(i8** %28, i32 3)
%30 = ptrtoint %struct.stringset* %29 to i64
%31 = trunc i64 %30 to i32
%32 = call i32 @assert(i32 %31)
%33 = call %struct.stringset* (...) @stringset_alloc()
%34 = ptrtoint %struct.stringset* %33 to i64
%35 = trunc i64 %34 to i32
%36 = call i32 @assert(i32 %35)
%37 = call i32 @stringset_is_equal_to(%struct.stringset* %11, %struct.stringset* %11)
%38 = call i32 @assert(i32 %37)
%39 = call i32 @stringset_is_equal_to(%struct.stringset* %11, %struct.stringset* %17)
%40 = icmp eq i32 %39, 0
%41 = zext i1 %40 to i32
%42 = call i32 @assert(i32 %41)
%43 = call i32 @stringset_is_equal_to(%struct.stringset* %11, %struct.stringset* %23)
%44 = icmp eq i32 %43, 0
%45 = zext i1 %44 to i32
%46 = call i32 @assert(i32 %45)
%47 = call i32 @stringset_is_equal_to(%struct.stringset* %11, %struct.stringset* %29)
%48 = icmp eq i32 %47, 0
%49 = zext i1 %48 to i32
%50 = call i32 @assert(i32 %49)
%51 = call i32 @stringset_is_equal_to(%struct.stringset* %11, %struct.stringset* %33)
%52 = icmp eq i32 %51, 0
%53 = zext i1 %52 to i32
%54 = call i32 @assert(i32 %53)
%55 = call i32 @stringset_is_equal_to(%struct.stringset* %17, %struct.stringset* %11)
%56 = icmp eq i32 %55, 0
%57 = zext i1 %56 to i32
%58 = call i32 @assert(i32 %57)
%59 = call i32 @stringset_is_equal_to(%struct.stringset* %17, %struct.stringset* %17)
%60 = call i32 @assert(i32 %59)
%61 = call i32 @stringset_is_equal_to(%struct.stringset* %17, %struct.stringset* %23)
%62 = icmp eq i32 %61, 0
%63 = zext i1 %62 to i32
%64 = call i32 @assert(i32 %63)
%65 = call i32 @stringset_is_equal_to(%struct.stringset* %17, %struct.stringset* %29)
%66 = icmp eq i32 %65, 0
%67 = zext i1 %66 to i32
%68 = call i32 @assert(i32 %67)
%69 = call i32 @stringset_is_equal_to(%struct.stringset* %17, %struct.stringset* %33)
%70 = icmp eq i32 %69, 0
%71 = zext i1 %70 to i32
%72 = call i32 @assert(i32 %71)
%73 = call i32 @stringset_is_equal_to(%struct.stringset* %23, %struct.stringset* %11)
%74 = icmp eq i32 %73, 0
%75 = zext i1 %74 to i32
%76 = call i32 @assert(i32 %75)
%77 = call i32 @stringset_is_equal_to(%struct.stringset* %23, %struct.stringset* %17)
%78 = icmp eq i32 %77, 0
%79 = zext i1 %78 to i32
%80 = call i32 @assert(i32 %79)
%81 = call i32 @stringset_is_equal_to(%struct.stringset* %23, %struct.stringset* %23)
%82 = call i32 @assert(i32 %81)
%83 = call i32 @stringset_is_equal_to(%struct.stringset* %23, %struct.stringset* %29)
%84 = call i32 @assert(i32 %83)
%85 = call i32 @stringset_is_equal_to(%struct.stringset* %23, %struct.stringset* %33)
%86 = icmp eq i32 %85, 0
%87 = zext i1 %86 to i32
%88 = call i32 @assert(i32 %87)
%89 = call i32 @stringset_is_equal_to(%struct.stringset* %29, %struct.stringset* %11)
%90 = icmp eq i32 %89, 0
%91 = zext i1 %90 to i32
%92 = call i32 @assert(i32 %91)
%93 = call i32 @stringset_is_equal_to(%struct.stringset* %29, %struct.stringset* %17)
%94 = icmp eq i32 %93, 0
%95 = zext i1 %94 to i32
%96 = call i32 @assert(i32 %95)
%97 = call i32 @stringset_is_equal_to(%struct.stringset* %29, %struct.stringset* %23)
%98 = call i32 @assert(i32 %97)
%99 = call i32 @stringset_is_equal_to(%struct.stringset* %29, %struct.stringset* %29)
%100 = call i32 @assert(i32 %99)
%101 = call i32 @stringset_is_equal_to(%struct.stringset* %29, %struct.stringset* %33)
%102 = icmp eq i32 %101, 0
%103 = zext i1 %102 to i32
%104 = call i32 @assert(i32 %103)
%105 = call i32 @stringset_is_equal_to(%struct.stringset* %33, %struct.stringset* %11)
%106 = icmp eq i32 %105, 0
%107 = zext i1 %106 to i32
%108 = call i32 @assert(i32 %107)
%109 = call i32 @stringset_is_equal_to(%struct.stringset* %33, %struct.stringset* %17)
%110 = icmp eq i32 %109, 0
%111 = zext i1 %110 to i32
%112 = call i32 @assert(i32 %111)
%113 = call i32 @stringset_is_equal_to(%struct.stringset* %33, %struct.stringset* %23)
%114 = icmp eq i32 %113, 0
%115 = zext i1 %114 to i32
%116 = call i32 @assert(i32 %115)
%117 = call i32 @stringset_is_equal_to(%struct.stringset* %33, %struct.stringset* %29)
%118 = icmp eq i32 %117, 0
%119 = zext i1 %118 to i32
%120 = call i32 @assert(i32 %119)
%121 = call i32 @stringset_is_equal_to(%struct.stringset* %33, %struct.stringset* %33)
%122 = call i32 @assert(i32 %121)
%123 = call i32 @stringset_free(%struct.stringset* %11)
%124 = call i32 @stringset_free(%struct.stringset* %17)
%125 = call i32 @stringset_free(%struct.stringset* %23)
%126 = call i32 @stringset_free(%struct.stringset* %29)
%127 = call i32 @stringset_free(%struct.stringset* %33)
ret void
}