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

/* Variables and functions */
int /*<<< orphan*/ assert(int);
scalar_t__ strcmp(char const *, char const *);
struct zz_dict *zz_dict_delete(struct zz_dict *, char const *);
int /*<<< orphan*/ zz_dict_destroy(struct zz_dict *);
struct zz_dict *zz_dict_insert(struct zz_dict *, char const *, char const **);
int zz_dict_lookup(struct zz_dict *, char const *, char const **);
void delete_vals(void) {
  struct zz_dict *dict;
  static const char c1[] = "This is a string";
  static const char c2[] = "Insert this in the dict";
  static const char c3[] = "I'm made of characters";
  static const char c4[] = "I'm a sequence";
  const char *s1, *s2, *s3, *s4, *s;
  dict = NULL;
  dict = zz_dict_insert(dict, c1, &s1);
  dict = zz_dict_insert(dict, c2, &s2);
  dict = zz_dict_insert(dict, c3, &s3);
  dict = zz_dict_insert(dict, c4, &s4);
  dict = zz_dict_delete(dict, c1);
  assert(zz_dict_lookup(dict, c1, &s1) == 0);
  assert(zz_dict_lookup(dict, c2, &s2) == 1);
  assert(zz_dict_lookup(dict, c3, &s3) == 1);
  assert(zz_dict_lookup(dict, c4, &s4) == 1);
  assert(strcmp(c2, s2) == 0);
  assert(strcmp(c3, s3) == 0);
  assert(strcmp(c4, s4) == 0);
  dict = zz_dict_delete(dict, c2);
  assert(zz_dict_lookup(dict, c1, &s1) == 0);
  assert(zz_dict_lookup(dict, c2, &s2) == 0);
  assert(zz_dict_lookup(dict, c3, &s3) == 1);
  assert(zz_dict_lookup(dict, c4, &s4) == 1);
  assert(strcmp(c3, s3) == 0);
  assert(strcmp(c4, s4) == 0);
  dict = zz_dict_delete(dict, c3);
  assert(zz_dict_lookup(dict, c1, &s1) == 0);
  assert(zz_dict_lookup(dict, c2, &s2) == 0);
  assert(zz_dict_lookup(dict, c3, &s3) == 0);
  assert(zz_dict_lookup(dict, c4, &s4) == 1);
  assert(strcmp(c4, s4) == 0);
  dict = zz_dict_delete(dict, c4);
  assert(zz_dict_lookup(dict, c1, &s1) == 0);
  assert(zz_dict_lookup(dict, c2, &s2) == 0);
  assert(zz_dict_lookup(dict, c3, &s3) == 0);
  assert(zz_dict_lookup(dict, c4, &s4) == 0);
  zz_dict_destroy(dict);
}


x86 assembly (clang, -O0):
<delete_vals>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xe85(%rip),%rsi
lea    -0x10(%rbp),%rdx
call   1030 <zz_dict_insert@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xe8d(%rip),%rsi
lea    -0x18(%rbp),%rdx
call   1030 <zz_dict_insert@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xe95(%rip),%rsi
lea    -0x20(%rbp),%rdx
call   1030 <zz_dict_insert@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xe94(%rip),%rsi
lea    -0x28(%rbp),%rdx
call   1030 <zz_dict_insert@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xe25(%rip),%rsi
call   1080 <zz_dict_delete@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xe11(%rip),%rsi
lea    -0x10(%rbp),%rdx
call   1040 <zz_dict_lookup@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xe0d(%rip),%rsi
lea    -0x18(%rbp),%rdx
call   1040 <zz_dict_lookup@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xe09(%rip),%rsi
lea    -0x20(%rbp),%rdx
call   1040 <zz_dict_lookup@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xdfc(%rip),%rsi
lea    -0x28(%rbp),%rdx
call   1040 <zz_dict_lookup@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x18(%rbp),%rsi
lea    0xda1(%rip),%rdi
call   1050 <strcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x20(%rbp),%rsi
lea    0xda0(%rip),%rdi
call   1050 <strcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x28(%rbp),%rsi
lea    0xd96(%rip),%rdi
call   1050 <strcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xd3e(%rip),%rsi
call   1080 <zz_dict_delete@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xd0a(%rip),%rsi
lea    -0x10(%rbp),%rdx
call   1040 <zz_dict_lookup@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xd06(%rip),%rsi
lea    -0x18(%rbp),%rdx
call   1040 <zz_dict_lookup@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xd02(%rip),%rsi
lea    -0x20(%rbp),%rdx
call   1040 <zz_dict_lookup@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xcf5(%rip),%rsi
lea    -0x28(%rbp),%rdx
call   1040 <zz_dict_lookup@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x20(%rbp),%rsi
lea    0xcba(%rip),%rdi
call   1050 <strcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x28(%rbp),%rsi
lea    0xcb0(%rip),%rdi
call   1050 <strcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xc78(%rip),%rsi
call   1080 <zz_dict_delete@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xc24(%rip),%rsi
lea    -0x10(%rbp),%rdx
call   1040 <zz_dict_lookup@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xc20(%rip),%rsi
lea    -0x18(%rbp),%rdx
call   1040 <zz_dict_lookup@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xc1c(%rip),%rsi
lea    -0x20(%rbp),%rdx
call   1040 <zz_dict_lookup@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xc0f(%rip),%rsi
lea    -0x28(%rbp),%rdx
call   1040 <zz_dict_lookup@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x28(%rbp),%rsi
lea    0xbeb(%rip),%rdi
call   1050 <strcmp@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xbca(%rip),%rsi
call   1080 <zz_dict_delete@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xb5f(%rip),%rsi
lea    -0x10(%rbp),%rdx
call   1040 <zz_dict_lookup@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xb5b(%rip),%rsi
lea    -0x18(%rbp),%rdx
call   1040 <zz_dict_lookup@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xb57(%rip),%rsi
lea    -0x20(%rbp),%rdx
call   1040 <zz_dict_lookup@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x8(%rbp),%rdi
lea    0xb4a(%rip),%rsi
lea    -0x28(%rbp),%rdx
call   1040 <zz_dict_lookup@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x8(%rbp),%rdi
call   1070 <zz_dict_destroy@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<delete_vals>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
lea    0xe8b(%rip),%rbp
lea    0x18(%rsp),%rbx
xor    %edi,%edi
mov    %rbp,%rsi
mov    %rbx,%rdx
call   1030 <zz_dict_insert@plt>
lea    0xe92(%rip),%r15
lea    0x20(%rsp),%r13
mov    %rax,%rdi
mov    %r15,%rsi
mov    %r13,%rdx
call   1030 <zz_dict_insert@plt>
lea    0xe98(%rip),%rsi
lea    0x10(%rsp),%r14
mov    %rax,%rdi
mov    %r14,%rdx
call   1030 <zz_dict_insert@plt>
lea    0xe98(%rip),%rsi
lea    0x8(%rsp),%rdx
mov    %rax,%rdi
call   1030 <zz_dict_insert@plt>
mov    %rax,%rdi
mov    %rbp,%rsi
call   1080 <zz_dict_delete@plt>
mov    %rax,%r12
mov    %rax,%rdi
mov    %rbp,%rsi
mov    %rbx,%rdx
call   1040 <zz_dict_lookup@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %r12,%rdi
mov    %r15,%rsi
mov    %r13,%rdx
call   1040 <zz_dict_lookup@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %r12,%rdi
lea    0xe25(%rip),%rsi
mov    %rsi,%rbx
mov    %r14,%rdx
call   1040 <zz_dict_lookup@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %r12,%rdi
lea    0xe19(%rip),%r14
mov    %r14,%rsi
lea    0x8(%rsp),%rdx
call   1040 <zz_dict_lookup@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    0x20(%rsp),%rsi
mov    %r15,%rdi
call   1050 <strcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   1060 <assert@plt>
mov    0x10(%rsp),%rsi
mov    %rbx,%rdi
call   1050 <strcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   1060 <assert@plt>
mov    0x8(%rsp),%rsi
mov    %r14,%rdi
call   1050 <strcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   1060 <assert@plt>
mov    %r12,%rdi
mov    %r15,%rbx
mov    %r15,%rsi
call   1080 <zz_dict_delete@plt>
mov    %rax,%rbp
mov    %rax,%rdi
lea    0xd3b(%rip),%r15
mov    %r15,%rsi
lea    0x18(%rsp),%rdx
call   1040 <zz_dict_lookup@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbp,%rdi
mov    %rbx,%rsi
mov    %r13,%rdx
call   1040 <zz_dict_lookup@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbp,%rdi
lea    0xd3c(%rip),%rbx
mov    %rbx,%rsi
lea    0x10(%rsp),%r12
mov    %r12,%rdx
call   1040 <zz_dict_lookup@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbp,%rdi
mov    %r14,%rsi
lea    0x8(%rsp),%rdx
call   1040 <zz_dict_lookup@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    0x10(%rsp),%rsi
mov    %rbx,%rdi
call   1050 <strcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   1060 <assert@plt>
mov    0x8(%rsp),%rsi
mov    %r14,%rdi
call   1050 <strcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   1060 <assert@plt>
mov    %rbp,%rdi
mov    %rbx,%rsi
call   1080 <zz_dict_delete@plt>
mov    %rax,%rbp
mov    %rax,%rdi
mov    %r15,%rsi
lea    0x18(%rsp),%rdx
call   1040 <zz_dict_lookup@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbp,%rdi
lea    0xc75(%rip),%r14
mov    %r14,%rsi
mov    %r13,%rdx
call   1040 <zz_dict_lookup@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbp,%rdi
mov    %rbx,%rsi
mov    %r12,%rdx
call   1040 <zz_dict_lookup@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbp,%rdi
lea    0xc6f(%rip),%rbx
mov    %rbx,%rsi
lea    0x8(%rsp),%rdx
call   1040 <zz_dict_lookup@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    0x8(%rsp),%rsi
mov    %rbx,%rdi
call   1050 <strcmp@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   1060 <assert@plt>
mov    %rbp,%rdi
mov    %rbx,%rsi
call   1080 <zz_dict_delete@plt>
mov    %rax,%rbp
mov    %rax,%rdi
mov    %r15,%rsi
lea    0x18(%rsp),%rdx
call   1040 <zz_dict_lookup@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbp,%rdi
mov    %r14,%rsi
mov    %r13,%rdx
call   1040 <zz_dict_lookup@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbp,%rdi
lea    0xbd2(%rip),%rsi
mov    %r12,%rdx
call   1040 <zz_dict_lookup@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbp,%rdi
mov    %rbx,%rsi
lea    0x8(%rsp),%rdx
call   1040 <zz_dict_lookup@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbp,%rdi
call   1070 <zz_dict_destroy@plt>
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
%struct.zz_dict = type { i32 }
@delete_vals.c1 = internal constant [17 x i8] c"This is a string\00"
@delete_vals.c2 = internal constant [24 x i8] c"Insert this in the dict\00"
@delete_vals.c3 = internal constant [23 x i8] c"I'm made of characters\00"
@delete_vals.c4 = internal constant [15 x i8] c"I'm a sequence\00"
define void @delete_vals() {
%1 = alloca %struct.zz_dict*
%2 = alloca i8*
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
store %struct.zz_dict* null, %struct.zz_dict** %1
%7 = load %struct.zz_dict*, %struct.zz_dict** %1
%8 = call %struct.zz_dict* @zz_dict_insert(%struct.zz_dict* %7, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @delete_vals.c1, i64 0, i64 0), i8** %2)
store %struct.zz_dict* %8, %struct.zz_dict** %1
%9 = load %struct.zz_dict*, %struct.zz_dict** %1
%10 = call %struct.zz_dict* @zz_dict_insert(%struct.zz_dict* %9, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @delete_vals.c2, i64 0, i64 0), i8** %3)
store %struct.zz_dict* %10, %struct.zz_dict** %1
%11 = load %struct.zz_dict*, %struct.zz_dict** %1
%12 = call %struct.zz_dict* @zz_dict_insert(%struct.zz_dict* %11, i8* getelementptr inbounds ([23 x i8], [23 x i8]* @delete_vals.c3, i64 0, i64 0), i8** %4)
store %struct.zz_dict* %12, %struct.zz_dict** %1
%13 = load %struct.zz_dict*, %struct.zz_dict** %1
%14 = call %struct.zz_dict* @zz_dict_insert(%struct.zz_dict* %13, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @delete_vals.c4, i64 0, i64 0), i8** %5)
store %struct.zz_dict* %14, %struct.zz_dict** %1
%15 = load %struct.zz_dict*, %struct.zz_dict** %1
%16 = call %struct.zz_dict* @zz_dict_delete(%struct.zz_dict* %15, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @delete_vals.c1, i64 0, i64 0))
store %struct.zz_dict* %16, %struct.zz_dict** %1
%17 = load %struct.zz_dict*, %struct.zz_dict** %1
%18 = call i32 @zz_dict_lookup(%struct.zz_dict* %17, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @delete_vals.c1, i64 0, i64 0), i8** %2)
%19 = icmp eq i32 %18, 0
%20 = zext i1 %19 to i32
%21 = call i32 @assert(i32 %20)
%22 = load %struct.zz_dict*, %struct.zz_dict** %1
%23 = call i32 @zz_dict_lookup(%struct.zz_dict* %22, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @delete_vals.c2, i64 0, i64 0), i8** %3)
%24 = icmp eq i32 %23, 1
%25 = zext i1 %24 to i32
%26 = call i32 @assert(i32 %25)
%27 = load %struct.zz_dict*, %struct.zz_dict** %1
%28 = call i32 @zz_dict_lookup(%struct.zz_dict* %27, i8* getelementptr inbounds ([23 x i8], [23 x i8]* @delete_vals.c3, i64 0, i64 0), i8** %4)
%29 = icmp eq i32 %28, 1
%30 = zext i1 %29 to i32
%31 = call i32 @assert(i32 %30)
%32 = load %struct.zz_dict*, %struct.zz_dict** %1
%33 = call i32 @zz_dict_lookup(%struct.zz_dict* %32, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @delete_vals.c4, i64 0, i64 0), i8** %5)
%34 = icmp eq i32 %33, 1
%35 = zext i1 %34 to i32
%36 = call i32 @assert(i32 %35)
%37 = load i8*, i8** %3
%38 = call i64 @strcmp(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @delete_vals.c2, i64 0, i64 0), i8* %37)
%39 = icmp eq i64 %38, 0
%40 = zext i1 %39 to i32
%41 = call i32 @assert(i32 %40)
%42 = load i8*, i8** %4
%43 = call i64 @strcmp(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @delete_vals.c3, i64 0, i64 0), i8* %42)
%44 = icmp eq i64 %43, 0
%45 = zext i1 %44 to i32
%46 = call i32 @assert(i32 %45)
%47 = load i8*, i8** %5
%48 = call i64 @strcmp(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @delete_vals.c4, i64 0, i64 0), i8* %47)
%49 = icmp eq i64 %48, 0
%50 = zext i1 %49 to i32
%51 = call i32 @assert(i32 %50)
%52 = load %struct.zz_dict*, %struct.zz_dict** %1
%53 = call %struct.zz_dict* @zz_dict_delete(%struct.zz_dict* %52, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @delete_vals.c2, i64 0, i64 0))
store %struct.zz_dict* %53, %struct.zz_dict** %1
%54 = load %struct.zz_dict*, %struct.zz_dict** %1
%55 = call i32 @zz_dict_lookup(%struct.zz_dict* %54, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @delete_vals.c1, i64 0, i64 0), i8** %2)
%56 = icmp eq i32 %55, 0
%57 = zext i1 %56 to i32
%58 = call i32 @assert(i32 %57)
%59 = load %struct.zz_dict*, %struct.zz_dict** %1
%60 = call i32 @zz_dict_lookup(%struct.zz_dict* %59, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @delete_vals.c2, i64 0, i64 0), i8** %3)
%61 = icmp eq i32 %60, 0
%62 = zext i1 %61 to i32
%63 = call i32 @assert(i32 %62)
%64 = load %struct.zz_dict*, %struct.zz_dict** %1
%65 = call i32 @zz_dict_lookup(%struct.zz_dict* %64, i8* getelementptr inbounds ([23 x i8], [23 x i8]* @delete_vals.c3, i64 0, i64 0), i8** %4)
%66 = icmp eq i32 %65, 1
%67 = zext i1 %66 to i32
%68 = call i32 @assert(i32 %67)
%69 = load %struct.zz_dict*, %struct.zz_dict** %1
%70 = call i32 @zz_dict_lookup(%struct.zz_dict* %69, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @delete_vals.c4, i64 0, i64 0), i8** %5)
%71 = icmp eq i32 %70, 1
%72 = zext i1 %71 to i32
%73 = call i32 @assert(i32 %72)
%74 = load i8*, i8** %4
%75 = call i64 @strcmp(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @delete_vals.c3, i64 0, i64 0), i8* %74)
%76 = icmp eq i64 %75, 0
%77 = zext i1 %76 to i32
%78 = call i32 @assert(i32 %77)
%79 = load i8*, i8** %5
%80 = call i64 @strcmp(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @delete_vals.c4, i64 0, i64 0), i8* %79)
%81 = icmp eq i64 %80, 0
%82 = zext i1 %81 to i32
%83 = call i32 @assert(i32 %82)
%84 = load %struct.zz_dict*, %struct.zz_dict** %1
%85 = call %struct.zz_dict* @zz_dict_delete(%struct.zz_dict* %84, i8* getelementptr inbounds ([23 x i8], [23 x i8]* @delete_vals.c3, i64 0, i64 0))
store %struct.zz_dict* %85, %struct.zz_dict** %1
%86 = load %struct.zz_dict*, %struct.zz_dict** %1
%87 = call i32 @zz_dict_lookup(%struct.zz_dict* %86, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @delete_vals.c1, i64 0, i64 0), i8** %2)
%88 = icmp eq i32 %87, 0
%89 = zext i1 %88 to i32
%90 = call i32 @assert(i32 %89)
%91 = load %struct.zz_dict*, %struct.zz_dict** %1
%92 = call i32 @zz_dict_lookup(%struct.zz_dict* %91, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @delete_vals.c2, i64 0, i64 0), i8** %3)
%93 = icmp eq i32 %92, 0
%94 = zext i1 %93 to i32
%95 = call i32 @assert(i32 %94)
%96 = load %struct.zz_dict*, %struct.zz_dict** %1
%97 = call i32 @zz_dict_lookup(%struct.zz_dict* %96, i8* getelementptr inbounds ([23 x i8], [23 x i8]* @delete_vals.c3, i64 0, i64 0), i8** %4)
%98 = icmp eq i32 %97, 0
%99 = zext i1 %98 to i32
%100 = call i32 @assert(i32 %99)
%101 = load %struct.zz_dict*, %struct.zz_dict** %1
%102 = call i32 @zz_dict_lookup(%struct.zz_dict* %101, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @delete_vals.c4, i64 0, i64 0), i8** %5)
%103 = icmp eq i32 %102, 1
%104 = zext i1 %103 to i32
%105 = call i32 @assert(i32 %104)
%106 = load i8*, i8** %5
%107 = call i64 @strcmp(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @delete_vals.c4, i64 0, i64 0), i8* %106)
%108 = icmp eq i64 %107, 0
%109 = zext i1 %108 to i32
%110 = call i32 @assert(i32 %109)
%111 = load %struct.zz_dict*, %struct.zz_dict** %1
%112 = call %struct.zz_dict* @zz_dict_delete(%struct.zz_dict* %111, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @delete_vals.c4, i64 0, i64 0))
store %struct.zz_dict* %112, %struct.zz_dict** %1
%113 = load %struct.zz_dict*, %struct.zz_dict** %1
%114 = call i32 @zz_dict_lookup(%struct.zz_dict* %113, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @delete_vals.c1, i64 0, i64 0), i8** %2)
%115 = icmp eq i32 %114, 0
%116 = zext i1 %115 to i32
%117 = call i32 @assert(i32 %116)
%118 = load %struct.zz_dict*, %struct.zz_dict** %1
%119 = call i32 @zz_dict_lookup(%struct.zz_dict* %118, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @delete_vals.c2, i64 0, i64 0), i8** %3)
%120 = icmp eq i32 %119, 0
%121 = zext i1 %120 to i32
%122 = call i32 @assert(i32 %121)
%123 = load %struct.zz_dict*, %struct.zz_dict** %1
%124 = call i32 @zz_dict_lookup(%struct.zz_dict* %123, i8* getelementptr inbounds ([23 x i8], [23 x i8]* @delete_vals.c3, i64 0, i64 0), i8** %4)
%125 = icmp eq i32 %124, 0
%126 = zext i1 %125 to i32
%127 = call i32 @assert(i32 %126)
%128 = load %struct.zz_dict*, %struct.zz_dict** %1
%129 = call i32 @zz_dict_lookup(%struct.zz_dict* %128, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @delete_vals.c4, i64 0, i64 0), i8** %5)
%130 = icmp eq i32 %129, 0
%131 = zext i1 %130 to i32
%132 = call i32 @assert(i32 %131)
%133 = load %struct.zz_dict*, %struct.zz_dict** %1
%134 = call i32 @zz_dict_destroy(%struct.zz_dict* %133)
ret void
}

LLVM IR (-O2):
%struct.zz_dict = type { i32 }
@delete_vals.c1 = internal constant [17 x i8] c"This is a string\00"
@delete_vals.c2 = internal constant [24 x i8] c"Insert this in the dict\00"
@delete_vals.c3 = internal constant [23 x i8] c"I'm made of characters\00"
@delete_vals.c4 = internal constant [15 x i8] c"I'm a sequence\00"
define void @delete_vals() {
%1 = alloca i8*
%2 = alloca i8*
%3 = alloca i8*
%4 = alloca i8*
%5 = bitcast i8** %1 to i8*
%6 = bitcast i8** %2 to i8*
%7 = bitcast i8** %3 to i8*
%8 = bitcast i8** %4 to i8*
%9 = call %struct.zz_dict* @zz_dict_insert(%struct.zz_dict* null, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @delete_vals.c1, i64 0, i64 0), i8** %1)
%10 = call %struct.zz_dict* @zz_dict_insert(%struct.zz_dict* %9, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @delete_vals.c2, i64 0, i64 0), i8** %2)
%11 = call %struct.zz_dict* @zz_dict_insert(%struct.zz_dict* %10, i8* getelementptr inbounds ([23 x i8], [23 x i8]* @delete_vals.c3, i64 0, i64 0), i8** %3)
%12 = call %struct.zz_dict* @zz_dict_insert(%struct.zz_dict* %11, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @delete_vals.c4, i64 0, i64 0), i8** %4)
%13 = call %struct.zz_dict* @zz_dict_delete(%struct.zz_dict* %12, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @delete_vals.c1, i64 0, i64 0))
%14 = call i32 @zz_dict_lookup(%struct.zz_dict* %13, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @delete_vals.c1, i64 0, i64 0), i8** %1)
%15 = icmp eq i32 %14, 0
%16 = zext i1 %15 to i32
%17 = call i32 @assert(i32 %16)
%18 = call i32 @zz_dict_lookup(%struct.zz_dict* %13, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @delete_vals.c2, i64 0, i64 0), i8** %2)
%19 = icmp eq i32 %18, 1
%20 = zext i1 %19 to i32
%21 = call i32 @assert(i32 %20)
%22 = call i32 @zz_dict_lookup(%struct.zz_dict* %13, i8* getelementptr inbounds ([23 x i8], [23 x i8]* @delete_vals.c3, i64 0, i64 0), i8** %3)
%23 = icmp eq i32 %22, 1
%24 = zext i1 %23 to i32
%25 = call i32 @assert(i32 %24)
%26 = call i32 @zz_dict_lookup(%struct.zz_dict* %13, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @delete_vals.c4, i64 0, i64 0), i8** %4)
%27 = icmp eq i32 %26, 1
%28 = zext i1 %27 to i32
%29 = call i32 @assert(i32 %28)
%30 = load i8*, i8** %2
%31 = call i64 @strcmp(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @delete_vals.c2, i64 0, i64 0), i8* %30)
%32 = icmp eq i64 %31, 0
%33 = zext i1 %32 to i32
%34 = call i32 @assert(i32 %33)
%35 = load i8*, i8** %3
%36 = call i64 @strcmp(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @delete_vals.c3, i64 0, i64 0), i8* %35)
%37 = icmp eq i64 %36, 0
%38 = zext i1 %37 to i32
%39 = call i32 @assert(i32 %38)
%40 = load i8*, i8** %4
%41 = call i64 @strcmp(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @delete_vals.c4, i64 0, i64 0), i8* %40)
%42 = icmp eq i64 %41, 0
%43 = zext i1 %42 to i32
%44 = call i32 @assert(i32 %43)
%45 = call %struct.zz_dict* @zz_dict_delete(%struct.zz_dict* %13, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @delete_vals.c2, i64 0, i64 0))
%46 = call i32 @zz_dict_lookup(%struct.zz_dict* %45, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @delete_vals.c1, i64 0, i64 0), i8** %1)
%47 = icmp eq i32 %46, 0
%48 = zext i1 %47 to i32
%49 = call i32 @assert(i32 %48)
%50 = call i32 @zz_dict_lookup(%struct.zz_dict* %45, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @delete_vals.c2, i64 0, i64 0), i8** %2)
%51 = icmp eq i32 %50, 0
%52 = zext i1 %51 to i32
%53 = call i32 @assert(i32 %52)
%54 = call i32 @zz_dict_lookup(%struct.zz_dict* %45, i8* getelementptr inbounds ([23 x i8], [23 x i8]* @delete_vals.c3, i64 0, i64 0), i8** %3)
%55 = icmp eq i32 %54, 1
%56 = zext i1 %55 to i32
%57 = call i32 @assert(i32 %56)
%58 = call i32 @zz_dict_lookup(%struct.zz_dict* %45, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @delete_vals.c4, i64 0, i64 0), i8** %4)
%59 = icmp eq i32 %58, 1
%60 = zext i1 %59 to i32
%61 = call i32 @assert(i32 %60)
%62 = load i8*, i8** %3
%63 = call i64 @strcmp(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @delete_vals.c3, i64 0, i64 0), i8* %62)
%64 = icmp eq i64 %63, 0
%65 = zext i1 %64 to i32
%66 = call i32 @assert(i32 %65)
%67 = load i8*, i8** %4
%68 = call i64 @strcmp(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @delete_vals.c4, i64 0, i64 0), i8* %67)
%69 = icmp eq i64 %68, 0
%70 = zext i1 %69 to i32
%71 = call i32 @assert(i32 %70)
%72 = call %struct.zz_dict* @zz_dict_delete(%struct.zz_dict* %45, i8* getelementptr inbounds ([23 x i8], [23 x i8]* @delete_vals.c3, i64 0, i64 0))
%73 = call i32 @zz_dict_lookup(%struct.zz_dict* %72, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @delete_vals.c1, i64 0, i64 0), i8** %1)
%74 = icmp eq i32 %73, 0
%75 = zext i1 %74 to i32
%76 = call i32 @assert(i32 %75)
%77 = call i32 @zz_dict_lookup(%struct.zz_dict* %72, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @delete_vals.c2, i64 0, i64 0), i8** %2)
%78 = icmp eq i32 %77, 0
%79 = zext i1 %78 to i32
%80 = call i32 @assert(i32 %79)
%81 = call i32 @zz_dict_lookup(%struct.zz_dict* %72, i8* getelementptr inbounds ([23 x i8], [23 x i8]* @delete_vals.c3, i64 0, i64 0), i8** %3)
%82 = icmp eq i32 %81, 0
%83 = zext i1 %82 to i32
%84 = call i32 @assert(i32 %83)
%85 = call i32 @zz_dict_lookup(%struct.zz_dict* %72, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @delete_vals.c4, i64 0, i64 0), i8** %4)
%86 = icmp eq i32 %85, 1
%87 = zext i1 %86 to i32
%88 = call i32 @assert(i32 %87)
%89 = load i8*, i8** %4
%90 = call i64 @strcmp(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @delete_vals.c4, i64 0, i64 0), i8* %89)
%91 = icmp eq i64 %90, 0
%92 = zext i1 %91 to i32
%93 = call i32 @assert(i32 %92)
%94 = call %struct.zz_dict* @zz_dict_delete(%struct.zz_dict* %72, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @delete_vals.c4, i64 0, i64 0))
%95 = call i32 @zz_dict_lookup(%struct.zz_dict* %94, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @delete_vals.c1, i64 0, i64 0), i8** %1)
%96 = icmp eq i32 %95, 0
%97 = zext i1 %96 to i32
%98 = call i32 @assert(i32 %97)
%99 = call i32 @zz_dict_lookup(%struct.zz_dict* %94, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @delete_vals.c2, i64 0, i64 0), i8** %2)
%100 = icmp eq i32 %99, 0
%101 = zext i1 %100 to i32
%102 = call i32 @assert(i32 %101)
%103 = call i32 @zz_dict_lookup(%struct.zz_dict* %94, i8* getelementptr inbounds ([23 x i8], [23 x i8]* @delete_vals.c3, i64 0, i64 0), i8** %3)
%104 = icmp eq i32 %103, 0
%105 = zext i1 %104 to i32
%106 = call i32 @assert(i32 %105)
%107 = call i32 @zz_dict_lookup(%struct.zz_dict* %94, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @delete_vals.c4, i64 0, i64 0), i8** %4)
%108 = icmp eq i32 %107, 0
%109 = zext i1 %108 to i32
%110 = call i32 @assert(i32 %109)
%111 = call i32 @zz_dict_destroy(%struct.zz_dict* %94)
ret void
}