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

/* Variables and functions */
int /*<<< orphan*/ addList(struct linkedList *, int);
int /*<<< orphan*/ assertTrue(int, char *);
int containsList(struct linkedList *, int);
int /*<<< orphan*/ printList(struct linkedList *);
int /*<<< orphan*/ printf(char *);
int /*<<< orphan*/ removeList(struct linkedList *, int);
void bagInterfaceTest(struct linkedList *lst) {
  printf("\nTesting bag interface...\n");
  printf("Testing addList Function...\n");
  printf("Add 3,6,5,9,1,7,3,6,5 to the back of the list...\n");
  addList(lst, 3);
  addList(lst, 6);
  addList(lst, 5);
  addList(lst, 9);
  addList(lst, 1);
  addList(lst, 7);
  addList(lst, 3);
  addList(lst, 6);
  addList(lst, 5);
  printf("The bag content should be: [5,6,3,7,1,9,5,6,3]\n");
  printList(lst);
  printf("\nTesting containsList Function...\n");
  assertTrue(containsList(lst, 3), "Test containing 3");
  assertTrue(containsList(lst, 6), "Test containing 6");
  assertTrue(containsList(lst, 5), "Test containing 5");
  assertTrue(containsList(lst, 9), "Test containing 9");
  assertTrue(containsList(lst, 1), "Test containing 1");
  assertTrue(containsList(lst, 7), "Test containing 7");
  assertTrue(!containsList(lst, 2), "Test not containing 2");
  assertTrue(!containsList(lst, 4), "Test not containing 4");
  assertTrue(!containsList(lst, 8), "Test not containing 8");
  removeList(lst, 3);
  printf("Removing 3...\nThe bag content: [5,6,7,1,9,5,6,3]\n");
  assertTrue(containsList(lst, 3), "Test still containing 3");
  removeList(lst, 3);
  printf("Removing 3...\nThe bag content: [5,6,7,1,9,5,6]\n");
  assertTrue(!containsList(lst, 3), "Test not containing 3");
  removeList(lst, 1);
  printf("Removing 1...\nThe bag content: [5,6,7,9,5,6]\n");
  assertTrue(!containsList(lst, 1), "Test not containing 1");
  printf("Removing 2...\nIt should print an error!\n");
  removeList(lst, 2);
}


x86 assembly (clang, -O0):
<bagInterfaceTest>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
lea    0xe8d(%rip),%rdi
call   1030 <printf@plt>
lea    0xe9c(%rip),%rdi
call   1030 <printf@plt>
lea    0xead(%rip),%rdi
call   1030 <printf@plt>
mov    -0x8(%rbp),%rdi
mov    $0x3,%esi
call   1060 <addList@plt>
mov    -0x8(%rbp),%rdi
mov    $0x6,%esi
call   1060 <addList@plt>
mov    -0x8(%rbp),%rdi
mov    $0x5,%esi
call   1060 <addList@plt>
mov    -0x8(%rbp),%rdi
mov    $0x9,%esi
call   1060 <addList@plt>
mov    -0x8(%rbp),%rdi
mov    $0x1,%esi
call   1060 <addList@plt>
mov    -0x8(%rbp),%rdi
mov    $0x7,%esi
call   1060 <addList@plt>
mov    -0x8(%rbp),%rdi
mov    $0x3,%esi
call   1060 <addList@plt>
mov    -0x8(%rbp),%rdi
mov    $0x6,%esi
call   1060 <addList@plt>
mov    -0x8(%rbp),%rdi
mov    $0x5,%esi
call   1060 <addList@plt>
lea    0xe55(%rip),%rdi
call   1030 <printf@plt>
mov    -0x8(%rbp),%rdi
call   1080 <printList@plt>
lea    0xe70(%rip),%rdi
call   1030 <printf@plt>
mov    -0x8(%rbp),%rdi
mov    $0x3,%esi
call   1070 <containsList@plt>
mov    %eax,%edi
lea    0xe77(%rip),%rsi
call   1050 <assertTrue@plt>
mov    -0x8(%rbp),%rdi
mov    $0x6,%esi
call   1070 <containsList@plt>
mov    %eax,%edi
lea    0xe6d(%rip),%rsi
call   1050 <assertTrue@plt>
mov    -0x8(%rbp),%rdi
mov    $0x5,%esi
call   1070 <containsList@plt>
mov    %eax,%edi
lea    0xe63(%rip),%rsi
call   1050 <assertTrue@plt>
mov    -0x8(%rbp),%rdi
mov    $0x9,%esi
call   1070 <containsList@plt>
mov    %eax,%edi
lea    0xe59(%rip),%rsi
call   1050 <assertTrue@plt>
mov    -0x8(%rbp),%rdi
mov    $0x1,%esi
call   1070 <containsList@plt>
mov    %eax,%edi
lea    0xe4f(%rip),%rsi
call   1050 <assertTrue@plt>
mov    -0x8(%rbp),%rdi
mov    $0x7,%esi
call   1070 <containsList@plt>
mov    %eax,%edi
lea    0xe45(%rip),%rsi
call   1050 <assertTrue@plt>
mov    -0x8(%rbp),%rdi
mov    $0x2,%esi
call   1070 <containsList@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
lea    0xe30(%rip),%rsi
call   1050 <assertTrue@plt>
mov    -0x8(%rbp),%rdi
mov    $0x4,%esi
call   1070 <containsList@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
lea    0xe1f(%rip),%rsi
call   1050 <assertTrue@plt>
mov    -0x8(%rbp),%rdi
mov    $0x8,%esi
call   1070 <containsList@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
lea    0xe0e(%rip),%rsi
call   1050 <assertTrue@plt>
mov    -0x8(%rbp),%rdi
mov    $0x3,%esi
call   1040 <removeList@plt>
lea    0xe0a(%rip),%rdi
call   1030 <printf@plt>
mov    -0x8(%rbp),%rdi
mov    $0x3,%esi
call   1070 <containsList@plt>
mov    %eax,%edi
lea    0xe20(%rip),%rsi
call   1050 <assertTrue@plt>
mov    -0x8(%rbp),%rdi
mov    $0x3,%esi
call   1040 <removeList@plt>
lea    0xe1e(%rip),%rdi
call   1030 <printf@plt>
mov    -0x8(%rbp),%rdi
mov    $0x3,%esi
call   1070 <containsList@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
lea    0xe27(%rip),%rsi
call   1050 <assertTrue@plt>
mov    -0x8(%rbp),%rdi
mov    $0x1,%esi
call   1040 <removeList@plt>
lea    0xe23(%rip),%rdi
call   1030 <printf@plt>
mov    -0x8(%rbp),%rdi
mov    $0x1,%esi
call   1070 <containsList@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
lea    0xe2a(%rip),%rsi
call   1050 <assertTrue@plt>
lea    0xe34(%rip),%rdi
call   1030 <printf@plt>
mov    -0x8(%rbp),%rdi
mov    $0x2,%esi
call   1040 <removeList@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bagInterfaceTest>:
push   %rbx
mov    %rdi,%rbx
lea    0xf87(%rip),%rdi
call   1030 <puts@plt>
lea    0xf95(%rip),%rdi
call   1030 <puts@plt>
lea    0xfa5(%rip),%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
mov    $0x3,%esi
call   1060 <addList@plt>
mov    %rbx,%rdi
mov    $0x6,%esi
call   1060 <addList@plt>
mov    %rbx,%rdi
mov    $0x5,%esi
call   1060 <addList@plt>
mov    %rbx,%rdi
mov    $0x9,%esi
call   1060 <addList@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
call   1060 <addList@plt>
mov    %rbx,%rdi
mov    $0x7,%esi
call   1060 <addList@plt>
mov    %rbx,%rdi
mov    $0x3,%esi
call   1060 <addList@plt>
mov    %rbx,%rdi
mov    $0x6,%esi
call   1060 <addList@plt>
mov    %rbx,%rdi
mov    $0x5,%esi
call   1060 <addList@plt>
lea    0xf55(%rip),%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
call   1080 <printList@plt>
lea    0xf70(%rip),%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
mov    $0x3,%esi
call   1070 <containsList@plt>
lea    0xdcf(%rip),%rsi
mov    %eax,%edi
call   1050 <assertTrue@plt>
mov    %rbx,%rdi
mov    $0x6,%esi
call   1070 <containsList@plt>
lea    0xdc6(%rip),%rsi
mov    %eax,%edi
call   1050 <assertTrue@plt>
mov    %rbx,%rdi
mov    $0x5,%esi
call   1070 <containsList@plt>
lea    0xdbd(%rip),%rsi
mov    %eax,%edi
call   1050 <assertTrue@plt>
mov    %rbx,%rdi
mov    $0x9,%esi
call   1070 <containsList@plt>
lea    0xdb4(%rip),%rsi
mov    %eax,%edi
call   1050 <assertTrue@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
call   1070 <containsList@plt>
lea    0xdab(%rip),%rsi
mov    %eax,%edi
call   1050 <assertTrue@plt>
mov    %rbx,%rdi
mov    $0x7,%esi
call   1070 <containsList@plt>
lea    0xda2(%rip),%rsi
mov    %eax,%edi
call   1050 <assertTrue@plt>
mov    %rbx,%rdi
mov    $0x2,%esi
call   1070 <containsList@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
lea    0xd91(%rip),%rsi
call   1050 <assertTrue@plt>
mov    %rbx,%rdi
mov    $0x4,%esi
call   1070 <containsList@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
lea    0xd86(%rip),%rsi
call   1050 <assertTrue@plt>
mov    %rbx,%rdi
mov    $0x8,%esi
call   1070 <containsList@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
lea    0xd7b(%rip),%rsi
call   1050 <assertTrue@plt>
mov    %rbx,%rdi
mov    $0x3,%esi
call   1040 <removeList@plt>
lea    0xe74(%rip),%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
mov    $0x3,%esi
call   1070 <containsList@plt>
lea    0xd5f(%rip),%rsi
mov    %eax,%edi
call   1050 <assertTrue@plt>
mov    %rbx,%rdi
mov    $0x3,%esi
call   1040 <removeList@plt>
lea    0xe71(%rip),%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
mov    $0x3,%esi
call   1070 <containsList@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
lea    0xd3b(%rip),%rsi
call   1050 <assertTrue@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
call   1040 <removeList@plt>
lea    0xe66(%rip),%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
call   1070 <containsList@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
lea    0xd17(%rip),%rsi
call   1050 <assertTrue@plt>
lea    0xe66(%rip),%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
mov    $0x2,%esi
pop    %rbx
jmp    1040 <removeList@plt>

LLVM IR (-O0):
%struct.linkedList = type { i32 }
@.str = [27 x i8] c"\0ATesting bag interface...\0A\00"
@.str.1 = [29 x i8] c"Testing addList Function...\0A\00"
@.str.2 = [50 x i8] c"Add 3,6,5,9,1,7,3,6,5 to the back of the list...\0A\00"
@.str.3 = [48 x i8] c"The bag content should be: [5,6,3,7,1,9,5,6,3]\0A\00"
@.str.4 = [35 x i8] c"\0ATesting containsList Function...\0A\00"
@.str.5 = [18 x i8] c"Test containing 3\00"
@.str.6 = [18 x i8] c"Test containing 6\00"
@.str.7 = [18 x i8] c"Test containing 5\00"
@.str.8 = [18 x i8] c"Test containing 9\00"
@.str.9 = [18 x i8] c"Test containing 1\00"
@.str.10 = [18 x i8] c"Test containing 7\00"
@.str.11 = [22 x i8] c"Test not containing 2\00"
@.str.12 = [22 x i8] c"Test not containing 4\00"
@.str.13 = [22 x i8] c"Test not containing 8\00"
@.str.14 = [50 x i8] c"Removing 3...\0AThe bag content: [5,6,7,1,9,5,6,3]\0A\00"
@.str.15 = [24 x i8] c"Test still containing 3\00"
@.str.16 = [48 x i8] c"Removing 3...\0AThe bag content: [5,6,7,1,9,5,6]\0A\00"
@.str.17 = [22 x i8] c"Test not containing 3\00"
@.str.18 = [46 x i8] c"Removing 1...\0AThe bag content: [5,6,7,9,5,6]\0A\00"
@.str.19 = [22 x i8] c"Test not containing 1\00"
@.str.20 = [41 x i8] c"Removing 2...\0AIt should print an error!\0A\00"
define void @bagInterfaceTest(%struct.linkedList* %0) {
%2 = alloca %struct.linkedList*
store %struct.linkedList* %0, %struct.linkedList** %2
%3 = call i32 @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str, i64 0, i64 0))
%4 = call i32 @printf(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.1, i64 0, i64 0))
%5 = call i32 @printf(i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.2, i64 0, i64 0))
%6 = load %struct.linkedList*, %struct.linkedList** %2
%7 = call i32 @addList(%struct.linkedList* %6, i32 3)
%8 = load %struct.linkedList*, %struct.linkedList** %2
%9 = call i32 @addList(%struct.linkedList* %8, i32 6)
%10 = load %struct.linkedList*, %struct.linkedList** %2
%11 = call i32 @addList(%struct.linkedList* %10, i32 5)
%12 = load %struct.linkedList*, %struct.linkedList** %2
%13 = call i32 @addList(%struct.linkedList* %12, i32 9)
%14 = load %struct.linkedList*, %struct.linkedList** %2
%15 = call i32 @addList(%struct.linkedList* %14, i32 1)
%16 = load %struct.linkedList*, %struct.linkedList** %2
%17 = call i32 @addList(%struct.linkedList* %16, i32 7)
%18 = load %struct.linkedList*, %struct.linkedList** %2
%19 = call i32 @addList(%struct.linkedList* %18, i32 3)
%20 = load %struct.linkedList*, %struct.linkedList** %2
%21 = call i32 @addList(%struct.linkedList* %20, i32 6)
%22 = load %struct.linkedList*, %struct.linkedList** %2
%23 = call i32 @addList(%struct.linkedList* %22, i32 5)
%24 = call i32 @printf(i8* getelementptr inbounds ([48 x i8], [48 x i8]* @.str.3, i64 0, i64 0))
%25 = load %struct.linkedList*, %struct.linkedList** %2
%26 = call i32 @printList(%struct.linkedList* %25)
%27 = call i32 @printf(i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.4, i64 0, i64 0))
%28 = load %struct.linkedList*, %struct.linkedList** %2
%29 = call i32 @containsList(%struct.linkedList* %28, i32 3)
%30 = call i32 @assertTrue(i32 %29, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.5, i64 0, i64 0))
%31 = load %struct.linkedList*, %struct.linkedList** %2
%32 = call i32 @containsList(%struct.linkedList* %31, i32 6)
%33 = call i32 @assertTrue(i32 %32, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.6, i64 0, i64 0))
%34 = load %struct.linkedList*, %struct.linkedList** %2
%35 = call i32 @containsList(%struct.linkedList* %34, i32 5)
%36 = call i32 @assertTrue(i32 %35, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.7, i64 0, i64 0))
%37 = load %struct.linkedList*, %struct.linkedList** %2
%38 = call i32 @containsList(%struct.linkedList* %37, i32 9)
%39 = call i32 @assertTrue(i32 %38, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.8, i64 0, i64 0))
%40 = load %struct.linkedList*, %struct.linkedList** %2
%41 = call i32 @containsList(%struct.linkedList* %40, i32 1)
%42 = call i32 @assertTrue(i32 %41, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0))
%43 = load %struct.linkedList*, %struct.linkedList** %2
%44 = call i32 @containsList(%struct.linkedList* %43, i32 7)
%45 = call i32 @assertTrue(i32 %44, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.10, i64 0, i64 0))
%46 = load %struct.linkedList*, %struct.linkedList** %2
%47 = call i32 @containsList(%struct.linkedList* %46, i32 2)
%48 = icmp ne i32 %47, 0
%49 = xor i1 %48, true
%50 = zext i1 %49 to i32
%51 = call i32 @assertTrue(i32 %50, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.11, i64 0, i64 0))
%52 = load %struct.linkedList*, %struct.linkedList** %2
%53 = call i32 @containsList(%struct.linkedList* %52, i32 4)
%54 = icmp ne i32 %53, 0
%55 = xor i1 %54, true
%56 = zext i1 %55 to i32
%57 = call i32 @assertTrue(i32 %56, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.12, i64 0, i64 0))
%58 = load %struct.linkedList*, %struct.linkedList** %2
%59 = call i32 @containsList(%struct.linkedList* %58, i32 8)
%60 = icmp ne i32 %59, 0
%61 = xor i1 %60, true
%62 = zext i1 %61 to i32
%63 = call i32 @assertTrue(i32 %62, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.13, i64 0, i64 0))
%64 = load %struct.linkedList*, %struct.linkedList** %2
%65 = call i32 @removeList(%struct.linkedList* %64, i32 3)
%66 = call i32 @printf(i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.14, i64 0, i64 0))
%67 = load %struct.linkedList*, %struct.linkedList** %2
%68 = call i32 @containsList(%struct.linkedList* %67, i32 3)
%69 = call i32 @assertTrue(i32 %68, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.15, i64 0, i64 0))
%70 = load %struct.linkedList*, %struct.linkedList** %2
%71 = call i32 @removeList(%struct.linkedList* %70, i32 3)
%72 = call i32 @printf(i8* getelementptr inbounds ([48 x i8], [48 x i8]* @.str.16, i64 0, i64 0))
%73 = load %struct.linkedList*, %struct.linkedList** %2
%74 = call i32 @containsList(%struct.linkedList* %73, i32 3)
%75 = icmp ne i32 %74, 0
%76 = xor i1 %75, true
%77 = zext i1 %76 to i32
%78 = call i32 @assertTrue(i32 %77, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.17, i64 0, i64 0))
%79 = load %struct.linkedList*, %struct.linkedList** %2
%80 = call i32 @removeList(%struct.linkedList* %79, i32 1)
%81 = call i32 @printf(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.18, i64 0, i64 0))
%82 = load %struct.linkedList*, %struct.linkedList** %2
%83 = call i32 @containsList(%struct.linkedList* %82, i32 1)
%84 = icmp ne i32 %83, 0
%85 = xor i1 %84, true
%86 = zext i1 %85 to i32
%87 = call i32 @assertTrue(i32 %86, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.19, i64 0, i64 0))
%88 = call i32 @printf(i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.20, i64 0, i64 0))
%89 = load %struct.linkedList*, %struct.linkedList** %2
%90 = call i32 @removeList(%struct.linkedList* %89, i32 2)
ret void
}

LLVM IR (-O2):
%struct.linkedList = type { i32 }
@.str.5 = [18 x i8] c"Test containing 3\00"
@.str.6 = [18 x i8] c"Test containing 6\00"
@.str.7 = [18 x i8] c"Test containing 5\00"
@.str.8 = [18 x i8] c"Test containing 9\00"
@.str.9 = [18 x i8] c"Test containing 1\00"
@.str.10 = [18 x i8] c"Test containing 7\00"
@.str.11 = [22 x i8] c"Test not containing 2\00"
@.str.12 = [22 x i8] c"Test not containing 4\00"
@.str.13 = [22 x i8] c"Test not containing 8\00"
@.str.15 = [24 x i8] c"Test still containing 3\00"
@.str.17 = [22 x i8] c"Test not containing 3\00"
@.str.19 = [22 x i8] c"Test not containing 1\00"
@str = [26 x i8] c"\0ATesting bag interface...\00"
@str.21 = [28 x i8] c"Testing addList Function...\00"
@str.22 = [49 x i8] c"Add 3,6,5,9,1,7,3,6,5 to the back of the list...\00"
@str.23 = [47 x i8] c"The bag content should be: [5,6,3,7,1,9,5,6,3]\00"
@str.24 = [34 x i8] c"\0ATesting containsList Function...\00"
@str.25 = [49 x i8] c"Removing 3...\0AThe bag content: [5,6,7,1,9,5,6,3]\00"
@str.26 = [47 x i8] c"Removing 3...\0AThe bag content: [5,6,7,1,9,5,6]\00"
@str.27 = [45 x i8] c"Removing 1...\0AThe bag content: [5,6,7,9,5,6]\00"
@str.28 = [40 x i8] c"Removing 2...\0AIt should print an error!\00"
define void @bagInterfaceTest(%struct.linkedList* %0) {
%2 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([26 x i8], [26 x i8]* @str, i64 0, i64 0))
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([28 x i8], [28 x i8]* @str.21, i64 0, i64 0))
%4 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([49 x i8], [49 x i8]* @str.22, i64 0, i64 0))
%5 = tail call i32 @addList(%struct.linkedList* %0, i32 3)
%6 = tail call i32 @addList(%struct.linkedList* %0, i32 6)
%7 = tail call i32 @addList(%struct.linkedList* %0, i32 5)
%8 = tail call i32 @addList(%struct.linkedList* %0, i32 9)
%9 = tail call i32 @addList(%struct.linkedList* %0, i32 1)
%10 = tail call i32 @addList(%struct.linkedList* %0, i32 7)
%11 = tail call i32 @addList(%struct.linkedList* %0, i32 3)
%12 = tail call i32 @addList(%struct.linkedList* %0, i32 6)
%13 = tail call i32 @addList(%struct.linkedList* %0, i32 5)
%14 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([47 x i8], [47 x i8]* @str.23, i64 0, i64 0))
%15 = tail call i32 @printList(%struct.linkedList* %0)
%16 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @str.24, i64 0, i64 0))
%17 = tail call i32 @containsList(%struct.linkedList* %0, i32 3)
%18 = tail call i32 @assertTrue(i32 %17, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.5, i64 0, i64 0))
%19 = tail call i32 @containsList(%struct.linkedList* %0, i32 6)
%20 = tail call i32 @assertTrue(i32 %19, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.6, i64 0, i64 0))
%21 = tail call i32 @containsList(%struct.linkedList* %0, i32 5)
%22 = tail call i32 @assertTrue(i32 %21, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.7, i64 0, i64 0))
%23 = tail call i32 @containsList(%struct.linkedList* %0, i32 9)
%24 = tail call i32 @assertTrue(i32 %23, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.8, i64 0, i64 0))
%25 = tail call i32 @containsList(%struct.linkedList* %0, i32 1)
%26 = tail call i32 @assertTrue(i32 %25, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i64 0, i64 0))
%27 = tail call i32 @containsList(%struct.linkedList* %0, i32 7)
%28 = tail call i32 @assertTrue(i32 %27, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.10, i64 0, i64 0))
%29 = tail call i32 @containsList(%struct.linkedList* %0, i32 2)
%30 = icmp eq i32 %29, 0
%31 = zext i1 %30 to i32
%32 = tail call i32 @assertTrue(i32 %31, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.11, i64 0, i64 0))
%33 = tail call i32 @containsList(%struct.linkedList* %0, i32 4)
%34 = icmp eq i32 %33, 0
%35 = zext i1 %34 to i32
%36 = tail call i32 @assertTrue(i32 %35, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.12, i64 0, i64 0))
%37 = tail call i32 @containsList(%struct.linkedList* %0, i32 8)
%38 = icmp eq i32 %37, 0
%39 = zext i1 %38 to i32
%40 = tail call i32 @assertTrue(i32 %39, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.13, i64 0, i64 0))
%41 = tail call i32 @removeList(%struct.linkedList* %0, i32 3)
%42 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([49 x i8], [49 x i8]* @str.25, i64 0, i64 0))
%43 = tail call i32 @containsList(%struct.linkedList* %0, i32 3)
%44 = tail call i32 @assertTrue(i32 %43, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.15, i64 0, i64 0))
%45 = tail call i32 @removeList(%struct.linkedList* %0, i32 3)
%46 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([47 x i8], [47 x i8]* @str.26, i64 0, i64 0))
%47 = tail call i32 @containsList(%struct.linkedList* %0, i32 3)
%48 = icmp eq i32 %47, 0
%49 = zext i1 %48 to i32
%50 = tail call i32 @assertTrue(i32 %49, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.17, i64 0, i64 0))
%51 = tail call i32 @removeList(%struct.linkedList* %0, i32 1)
%52 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([45 x i8], [45 x i8]* @str.27, i64 0, i64 0))
%53 = tail call i32 @containsList(%struct.linkedList* %0, i32 1)
%54 = icmp eq i32 %53, 0
%55 = zext i1 %54 to i32
%56 = tail call i32 @assertTrue(i32 %55, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.19, i64 0, i64 0))
%57 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([40 x i8], [40 x i8]* @str.28, i64 0, i64 0))
%58 = tail call i32 @removeList(%struct.linkedList* %0, i32 2)
ret void
}