#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_disjoint_from(struct stringset *, struct stringset *);
void test_is_disjoint_from(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[] = {"red", "green", "blue"};
  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_disjoint_from(set1, set1));
  assert(!stringset_is_disjoint_from(set1, set2));
  assert(!stringset_is_disjoint_from(set1, set3));
  assert(stringset_is_disjoint_from(set1, set4));
  assert(stringset_is_disjoint_from(set1, empty_set));
  assert(!stringset_is_disjoint_from(set2, set1));
  assert(!stringset_is_disjoint_from(set2, set2));
  assert(!stringset_is_disjoint_from(set2, set3));
  assert(!stringset_is_disjoint_from(set2, set4));
  assert(stringset_is_disjoint_from(set2, empty_set));
  assert(!stringset_is_disjoint_from(set3, set1));
  assert(!stringset_is_disjoint_from(set3, set2));
  assert(!stringset_is_disjoint_from(set3, set3));
  assert(stringset_is_disjoint_from(set3, set4));
  assert(stringset_is_disjoint_from(set3, empty_set));
  assert(stringset_is_disjoint_from(set4, set1));
  assert(!stringset_is_disjoint_from(set4, set2));
  assert(stringset_is_disjoint_from(set4, set3));
  assert(!stringset_is_disjoint_from(set4, set4));
  assert(stringset_is_disjoint_from(set4, empty_set));
  assert(stringset_is_disjoint_from(empty_set, set1));
  assert(stringset_is_disjoint_from(empty_set, set2));
  assert(stringset_is_disjoint_from(empty_set, set3));
  assert(stringset_is_disjoint_from(empty_set, set4));
  assert(stringset_is_disjoint_from(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_disjoint_from>:
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_disjoint_from@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x40(%rbp),%rdi
mov    -0x70(%rbp),%rsi
call   1080 <stringset_is_disjoint_from@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_disjoint_from@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_disjoint_from@plt>
mov    %eax,%edi
call   1060 <assert@plt>
mov    -0x40(%rbp),%rdi
mov    -0xd8(%rbp),%rsi
call   1080 <stringset_is_disjoint_from@plt>
mov    %eax,%edi
call   1060 <assert@plt>
mov    -0x70(%rbp),%rdi
mov    -0x40(%rbp),%rsi
call   1080 <stringset_is_disjoint_from@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_disjoint_from@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x70(%rbp),%rdi
mov    -0xa0(%rbp),%rsi
call   1080 <stringset_is_disjoint_from@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_disjoint_from@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_disjoint_from@plt>
mov    %eax,%edi
call   1060 <assert@plt>
mov    -0xa0(%rbp),%rdi
mov    -0x40(%rbp),%rsi
call   1080 <stringset_is_disjoint_from@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_disjoint_from@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_disjoint_from@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0xa0(%rbp),%rdi
mov    -0xd0(%rbp),%rsi
call   1080 <stringset_is_disjoint_from@plt>
mov    %eax,%edi
call   1060 <assert@plt>
mov    -0xa0(%rbp),%rdi
mov    -0xd8(%rbp),%rsi
call   1080 <stringset_is_disjoint_from@plt>
mov    %eax,%edi
call   1060 <assert@plt>
mov    -0xd0(%rbp),%rdi
mov    -0x40(%rbp),%rsi
call   1080 <stringset_is_disjoint_from@plt>
mov    %eax,%edi
call   1060 <assert@plt>
mov    -0xd0(%rbp),%rdi
mov    -0x70(%rbp),%rsi
call   1080 <stringset_is_disjoint_from@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_disjoint_from@plt>
mov    %eax,%edi
call   1060 <assert@plt>
mov    -0xd0(%rbp),%rdi
mov    -0xd0(%rbp),%rsi
call   1080 <stringset_is_disjoint_from@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0xd0(%rbp),%rdi
mov    -0xd8(%rbp),%rsi
call   1080 <stringset_is_disjoint_from@plt>
mov    %eax,%edi
call   1060 <assert@plt>
mov    -0xd8(%rbp),%rdi
mov    -0x40(%rbp),%rsi
call   1080 <stringset_is_disjoint_from@plt>
mov    %eax,%edi
call   1060 <assert@plt>
mov    -0xd8(%rbp),%rdi
mov    -0x70(%rbp),%rsi
call   1080 <stringset_is_disjoint_from@plt>
mov    %eax,%edi
call   1060 <assert@plt>
mov    -0xd8(%rbp),%rdi
mov    -0xa0(%rbp),%rsi
call   1080 <stringset_is_disjoint_from@plt>
mov    %eax,%edi
call   1060 <assert@plt>
mov    -0xd8(%rbp),%rdi
mov    -0xd0(%rbp),%rsi
call   1080 <stringset_is_disjoint_from@plt>
mov    %eax,%edi
call   1060 <assert@plt>
mov    -0xd8(%rbp),%rdi
mov    -0xd8(%rbp),%rsi
call   1080 <stringset_is_disjoint_from@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_disjoint_from>:
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_disjoint_from@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r14,%rdi
mov    %r15,%rsi
call   1070 <stringset_is_disjoint_from@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r14,%rdi
mov    %r12,%rsi
call   1070 <stringset_is_disjoint_from@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r14,%rdi
mov    %r13,%rsi
call   1070 <stringset_is_disjoint_from@plt>
mov    %eax,%edi
call   1050 <assert@plt>
mov    %r14,%rdi
mov    %rbx,%rsi
call   1070 <stringset_is_disjoint_from@plt>
mov    %eax,%edi
call   1050 <assert@plt>
mov    %r15,%rdi
mov    %r14,%rsi
call   1070 <stringset_is_disjoint_from@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r15,%rdi
mov    %r15,%rsi
call   1070 <stringset_is_disjoint_from@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r15,%rdi
mov    %r12,%rsi
call   1070 <stringset_is_disjoint_from@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r15,%rdi
mov    %r13,%rsi
call   1070 <stringset_is_disjoint_from@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r15,%rdi
mov    %rbx,%rsi
call   1070 <stringset_is_disjoint_from@plt>
mov    %eax,%edi
call   1050 <assert@plt>
mov    %r12,%rdi
mov    %r14,%rsi
call   1070 <stringset_is_disjoint_from@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r12,%rdi
mov    %r15,%rsi
call   1070 <stringset_is_disjoint_from@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r12,%rdi
mov    %r12,%rsi
call   1070 <stringset_is_disjoint_from@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r12,%rdi
mov    %r13,%rsi
call   1070 <stringset_is_disjoint_from@plt>
mov    %eax,%edi
call   1050 <assert@plt>
mov    %r12,%rdi
mov    %rbx,%rsi
call   1070 <stringset_is_disjoint_from@plt>
mov    %eax,%edi
call   1050 <assert@plt>
mov    %r13,%rdi
mov    %r14,%rsi
call   1070 <stringset_is_disjoint_from@plt>
mov    %eax,%edi
call   1050 <assert@plt>
mov    %r13,%rdi
mov    %r15,%rsi
call   1070 <stringset_is_disjoint_from@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r13,%rdi
mov    %r12,%rsi
call   1070 <stringset_is_disjoint_from@plt>
mov    %eax,%edi
call   1050 <assert@plt>
mov    %r13,%rdi
mov    %r13,%rsi
call   1070 <stringset_is_disjoint_from@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %r13,%rdi
mov    %rbx,%rsi
call   1070 <stringset_is_disjoint_from@plt>
mov    %eax,%edi
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
call   1070 <stringset_is_disjoint_from@plt>
mov    %eax,%edi
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
call   1070 <stringset_is_disjoint_from@plt>
mov    %eax,%edi
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r12,%rsi
call   1070 <stringset_is_disjoint_from@plt>
mov    %eax,%edi
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r13,%rsi
call   1070 <stringset_is_disjoint_from@plt>
mov    %eax,%edi
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %rbx,%rsi
call   1070 <stringset_is_disjoint_from@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_disjoint_from.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_disjoint_from.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)]
@.str.6 = [4 x i8] c"red\00"
@.str.7 = [5 x i8] c"blue\00"
@__const.test_is_disjoint_from.members4 = [3 x i8*] [i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.6, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.5, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.7, i32 0, i32 0)]
define void @test_is_disjoint_from() {
%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_disjoint_from(%struct.stringset* %52, %struct.stringset* %53)
%55 = icmp ne i32 %54, 0
%56 = xor i1 %55, true
%57 = zext i1 %56 to i32
%58 = call i32 @assert(i32 %57)
%59 = load %struct.stringset*, %struct.stringset** %3
%60 = load %struct.stringset*, %struct.stringset** %6
%61 = call i32 @stringset_is_disjoint_from(%struct.stringset* %59, %struct.stringset* %60)
%62 = icmp ne i32 %61, 0
%63 = xor i1 %62, true
%64 = zext i1 %63 to i32
%65 = call i32 @assert(i32 %64)
%66 = load %struct.stringset*, %struct.stringset** %3
%67 = load %struct.stringset*, %struct.stringset** %9
%68 = call i32 @stringset_is_disjoint_from(%struct.stringset* %66, %struct.stringset* %67)
%69 = icmp ne i32 %68, 0
%70 = xor i1 %69, true
%71 = zext i1 %70 to i32
%72 = call i32 @assert(i32 %71)
%73 = load %struct.stringset*, %struct.stringset** %3
%74 = load %struct.stringset*, %struct.stringset** %12
%75 = call i32 @stringset_is_disjoint_from(%struct.stringset* %73, %struct.stringset* %74)
%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_disjoint_from(%struct.stringset* %77, %struct.stringset* %78)
%80 = call i32 @assert(i32 %79)
%81 = load %struct.stringset*, %struct.stringset** %6
%82 = load %struct.stringset*, %struct.stringset** %3
%83 = call i32 @stringset_is_disjoint_from(%struct.stringset* %81, %struct.stringset* %82)
%84 = icmp ne i32 %83, 0
%85 = xor i1 %84, true
%86 = zext i1 %85 to i32
%87 = call i32 @assert(i32 %86)
%88 = load %struct.stringset*, %struct.stringset** %6
%89 = load %struct.stringset*, %struct.stringset** %6
%90 = call i32 @stringset_is_disjoint_from(%struct.stringset* %88, %struct.stringset* %89)
%91 = icmp ne i32 %90, 0
%92 = xor i1 %91, true
%93 = zext i1 %92 to i32
%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_disjoint_from(%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_disjoint_from(%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_disjoint_from(%struct.stringset* %109, %struct.stringset* %110)
%112 = call i32 @assert(i32 %111)
%113 = load %struct.stringset*, %struct.stringset** %9
%114 = load %struct.stringset*, %struct.stringset** %3
%115 = call i32 @stringset_is_disjoint_from(%struct.stringset* %113, %struct.stringset* %114)
%116 = icmp ne i32 %115, 0
%117 = xor i1 %116, true
%118 = zext i1 %117 to i32
%119 = call i32 @assert(i32 %118)
%120 = load %struct.stringset*, %struct.stringset** %9
%121 = load %struct.stringset*, %struct.stringset** %6
%122 = call i32 @stringset_is_disjoint_from(%struct.stringset* %120, %struct.stringset* %121)
%123 = icmp ne i32 %122, 0
%124 = xor i1 %123, true
%125 = zext i1 %124 to i32
%126 = call i32 @assert(i32 %125)
%127 = load %struct.stringset*, %struct.stringset** %9
%128 = load %struct.stringset*, %struct.stringset** %9
%129 = call i32 @stringset_is_disjoint_from(%struct.stringset* %127, %struct.stringset* %128)
%130 = icmp ne i32 %129, 0
%131 = xor i1 %130, true
%132 = zext i1 %131 to i32
%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_disjoint_from(%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_disjoint_from(%struct.stringset* %138, %struct.stringset* %139)
%141 = call i32 @assert(i32 %140)
%142 = load %struct.stringset*, %struct.stringset** %12
%143 = load %struct.stringset*, %struct.stringset** %3
%144 = call i32 @stringset_is_disjoint_from(%struct.stringset* %142, %struct.stringset* %143)
%145 = call i32 @assert(i32 %144)
%146 = load %struct.stringset*, %struct.stringset** %12
%147 = load %struct.stringset*, %struct.stringset** %6
%148 = call i32 @stringset_is_disjoint_from(%struct.stringset* %146, %struct.stringset* %147)
%149 = icmp ne i32 %148, 0
%150 = xor i1 %149, true
%151 = zext i1 %150 to i32
%152 = call i32 @assert(i32 %151)
%153 = load %struct.stringset*, %struct.stringset** %12
%154 = load %struct.stringset*, %struct.stringset** %9
%155 = call i32 @stringset_is_disjoint_from(%struct.stringset* %153, %struct.stringset* %154)
%156 = call i32 @assert(i32 %155)
%157 = load %struct.stringset*, %struct.stringset** %12
%158 = load %struct.stringset*, %struct.stringset** %12
%159 = call i32 @stringset_is_disjoint_from(%struct.stringset* %157, %struct.stringset* %158)
%160 = icmp ne i32 %159, 0
%161 = xor i1 %160, true
%162 = zext i1 %161 to i32
%163 = call i32 @assert(i32 %162)
%164 = load %struct.stringset*, %struct.stringset** %12
%165 = load %struct.stringset*, %struct.stringset** %13
%166 = call i32 @stringset_is_disjoint_from(%struct.stringset* %164, %struct.stringset* %165)
%167 = call i32 @assert(i32 %166)
%168 = load %struct.stringset*, %struct.stringset** %13
%169 = load %struct.stringset*, %struct.stringset** %3
%170 = call i32 @stringset_is_disjoint_from(%struct.stringset* %168, %struct.stringset* %169)
%171 = call i32 @assert(i32 %170)
%172 = load %struct.stringset*, %struct.stringset** %13
%173 = load %struct.stringset*, %struct.stringset** %6
%174 = call i32 @stringset_is_disjoint_from(%struct.stringset* %172, %struct.stringset* %173)
%175 = call i32 @assert(i32 %174)
%176 = load %struct.stringset*, %struct.stringset** %13
%177 = load %struct.stringset*, %struct.stringset** %9
%178 = call i32 @stringset_is_disjoint_from(%struct.stringset* %176, %struct.stringset* %177)
%179 = call i32 @assert(i32 %178)
%180 = load %struct.stringset*, %struct.stringset** %13
%181 = load %struct.stringset*, %struct.stringset** %12
%182 = call i32 @stringset_is_disjoint_from(%struct.stringset* %180, %struct.stringset* %181)
%183 = call i32 @assert(i32 %182)
%184 = load %struct.stringset*, %struct.stringset** %13
%185 = load %struct.stringset*, %struct.stringset** %13
%186 = call i32 @stringset_is_disjoint_from(%struct.stringset* %184, %struct.stringset* %185)
%187 = call i32 @assert(i32 %186)
%188 = load %struct.stringset*, %struct.stringset** %3
%189 = call i32 @stringset_free(%struct.stringset* %188)
%190 = load %struct.stringset*, %struct.stringset** %6
%191 = call i32 @stringset_free(%struct.stringset* %190)
%192 = load %struct.stringset*, %struct.stringset** %9
%193 = call i32 @stringset_free(%struct.stringset* %192)
%194 = load %struct.stringset*, %struct.stringset** %12
%195 = call i32 @stringset_free(%struct.stringset* %194)
%196 = load %struct.stringset*, %struct.stringset** %13
%197 = call i32 @stringset_free(%struct.stringset* %196)
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_disjoint_from.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_disjoint_from.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)]
@.str.6 = [4 x i8] c"red\00"
@.str.7 = [5 x i8] c"blue\00"
@__const.test_is_disjoint_from.members4 = [3 x i8*] [i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.6, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.5, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.7, i32 0, i32 0)]
define void @test_is_disjoint_from() {
%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_disjoint_from(%struct.stringset* %11, %struct.stringset* %11)
%38 = icmp eq i32 %37, 0
%39 = zext i1 %38 to i32
%40 = call i32 @assert(i32 %39)
%41 = call i32 @stringset_is_disjoint_from(%struct.stringset* %11, %struct.stringset* %17)
%42 = icmp eq i32 %41, 0
%43 = zext i1 %42 to i32
%44 = call i32 @assert(i32 %43)
%45 = call i32 @stringset_is_disjoint_from(%struct.stringset* %11, %struct.stringset* %23)
%46 = icmp eq i32 %45, 0
%47 = zext i1 %46 to i32
%48 = call i32 @assert(i32 %47)
%49 = call i32 @stringset_is_disjoint_from(%struct.stringset* %11, %struct.stringset* %29)
%50 = call i32 @assert(i32 %49)
%51 = call i32 @stringset_is_disjoint_from(%struct.stringset* %11, %struct.stringset* %33)
%52 = call i32 @assert(i32 %51)
%53 = call i32 @stringset_is_disjoint_from(%struct.stringset* %17, %struct.stringset* %11)
%54 = icmp eq i32 %53, 0
%55 = zext i1 %54 to i32
%56 = call i32 @assert(i32 %55)
%57 = call i32 @stringset_is_disjoint_from(%struct.stringset* %17, %struct.stringset* %17)
%58 = icmp eq i32 %57, 0
%59 = zext i1 %58 to i32
%60 = call i32 @assert(i32 %59)
%61 = call i32 @stringset_is_disjoint_from(%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_disjoint_from(%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_disjoint_from(%struct.stringset* %17, %struct.stringset* %33)
%70 = call i32 @assert(i32 %69)
%71 = call i32 @stringset_is_disjoint_from(%struct.stringset* %23, %struct.stringset* %11)
%72 = icmp eq i32 %71, 0
%73 = zext i1 %72 to i32
%74 = call i32 @assert(i32 %73)
%75 = call i32 @stringset_is_disjoint_from(%struct.stringset* %23, %struct.stringset* %17)
%76 = icmp eq i32 %75, 0
%77 = zext i1 %76 to i32
%78 = call i32 @assert(i32 %77)
%79 = call i32 @stringset_is_disjoint_from(%struct.stringset* %23, %struct.stringset* %23)
%80 = icmp eq i32 %79, 0
%81 = zext i1 %80 to i32
%82 = call i32 @assert(i32 %81)
%83 = call i32 @stringset_is_disjoint_from(%struct.stringset* %23, %struct.stringset* %29)
%84 = call i32 @assert(i32 %83)
%85 = call i32 @stringset_is_disjoint_from(%struct.stringset* %23, %struct.stringset* %33)
%86 = call i32 @assert(i32 %85)
%87 = call i32 @stringset_is_disjoint_from(%struct.stringset* %29, %struct.stringset* %11)
%88 = call i32 @assert(i32 %87)
%89 = call i32 @stringset_is_disjoint_from(%struct.stringset* %29, %struct.stringset* %17)
%90 = icmp eq i32 %89, 0
%91 = zext i1 %90 to i32
%92 = call i32 @assert(i32 %91)
%93 = call i32 @stringset_is_disjoint_from(%struct.stringset* %29, %struct.stringset* %23)
%94 = call i32 @assert(i32 %93)
%95 = call i32 @stringset_is_disjoint_from(%struct.stringset* %29, %struct.stringset* %29)
%96 = icmp eq i32 %95, 0
%97 = zext i1 %96 to i32
%98 = call i32 @assert(i32 %97)
%99 = call i32 @stringset_is_disjoint_from(%struct.stringset* %29, %struct.stringset* %33)
%100 = call i32 @assert(i32 %99)
%101 = call i32 @stringset_is_disjoint_from(%struct.stringset* %33, %struct.stringset* %11)
%102 = call i32 @assert(i32 %101)
%103 = call i32 @stringset_is_disjoint_from(%struct.stringset* %33, %struct.stringset* %17)
%104 = call i32 @assert(i32 %103)
%105 = call i32 @stringset_is_disjoint_from(%struct.stringset* %33, %struct.stringset* %23)
%106 = call i32 @assert(i32 %105)
%107 = call i32 @stringset_is_disjoint_from(%struct.stringset* %33, %struct.stringset* %29)
%108 = call i32 @assert(i32 %107)
%109 = call i32 @stringset_is_disjoint_from(%struct.stringset* %33, %struct.stringset* %33)
%110 = call i32 @assert(i32 %109)
%111 = call i32 @stringset_free(%struct.stringset* %11)
%112 = call i32 @stringset_free(%struct.stringset* %17)
%113 = call i32 @stringset_free(%struct.stringset* %23)
%114 = call i32 @stringset_free(%struct.stringset* %29)
%115 = call i32 @stringset_free(%struct.stringset* %33)
ret void
}