; LLVM IR from ryanlayer/giggle :: test/unit (test_giggle)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.cache_def = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%struct.cache_handler = type { ptr, ptr, ptr }
%struct.giggle_def = type { %struct.cache_handler, %struct.cache_handler, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%struct.bpt_node = type { ptr }
%struct.wah_bpt_non_leading_data = type { ptr, ptr }
%struct.wah_bpt_leading_data = type { ptr }

@ORDER = external dso_local global i32, align 4
@cache = external dso_local global %struct.cache_def, align 8
@bpt_node_cache_handler = external dso_local global %struct.cache_handler, align 8
@.str = external hidden unnamed_addr constant [25 x i8], align 1
@giggle_data_handler = external dso_local global %struct.giggle_def, align 8

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #0

declare ptr @simple_cache_init(i32 noundef, i32 noundef, ptr noundef) #1

declare i32 @giggle_insert(i32 noundef, ptr noundef, i32 noundef, i32 noundef, i64 noundef) #1

declare void @UnityAssertEqualNumber(i64 noundef, i64 noundef, ptr noundef, i64 noundef, i32 noundef) #1

declare void @UnityFail(ptr noundef, i64 noundef) #1

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0

; Function Attrs: nounwind uwtable
define dso_local void @test_wah_giggle_insert() #2 {
  %1 = alloca ptr, align 8
  %2 = alloca i32, align 4
  %3 = alloca ptr, align 8
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %1) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %2) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %3) #4
  %13 = call ptr @simple_cache_init(i32 noundef 5, i32 noundef 1, ptr noundef null)
  store ptr %13, ptr %3, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #4
  store i32 0, ptr %4, align 4, !tbaa !9
  call void (...) @wah_giggle_set_data_handler()
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #4
  store i32 0, ptr %5, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #4
  %14 = load i32, ptr %4, align 4, !tbaa !9
  %15 = call i32 @giggle_insert(i32 noundef %14, ptr noundef %5, i32 noundef 1, i32 noundef 3, i64 noundef 0)
  store i32 %15, ptr %6, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #4
  %16 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %17 = load i32, ptr %4, align 4, !tbaa !9
  %18 = load i32, ptr %5, align 4, !tbaa !9
  %19 = sub i32 %18, 1
  %20 = call ptr %16(i32 noundef %17, i32 noundef %19, ptr noundef @bpt_node_cache_handler)
  store ptr %20, ptr %7, align 8, !tbaa !5
  %21 = load ptr, ptr %7, align 8, !tbaa !5
  %22 = getelementptr inbounds %struct.bpt_node, ptr %21, i32 0, i32 0
  %23 = load ptr, ptr %22, align 8, !tbaa !13
  %24 = getelementptr inbounds i32, ptr %23, i64 5
  %25 = load i32, ptr %24, align 4, !tbaa !9
  %26 = zext i32 %25 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %26, ptr noundef null, i64 noundef 295, i32 noundef 148)
  %27 = load ptr, ptr %7, align 8, !tbaa !5
  %28 = getelementptr inbounds %struct.bpt_node, ptr %27, i32 0, i32 0
  %29 = load ptr, ptr %28, align 8, !tbaa !13
  %30 = getelementptr inbounds i32, ptr %29, i64 6
  %31 = getelementptr inbounds i32, ptr %30, i64 0
  %32 = load i32, ptr %31, align 4, !tbaa !9
  %33 = zext i32 %32 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %33, ptr noundef null, i64 noundef 296, i32 noundef 148)
  %34 = load ptr, ptr %7, align 8, !tbaa !5
  %35 = getelementptr inbounds %struct.bpt_node, ptr %34, i32 0, i32 0
  %36 = load ptr, ptr %35, align 8, !tbaa !13
  %37 = getelementptr inbounds i32, ptr %36, i64 6
  %38 = getelementptr inbounds i32, ptr %37, i64 1
  %39 = load i32, ptr %38, align 4, !tbaa !9
  %40 = zext i32 %39 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %40, ptr noundef null, i64 noundef 297, i32 noundef 148)
  %41 = load i32, ptr %4, align 4, !tbaa !9
  %42 = call i32 @giggle_insert(i32 noundef %41, ptr noundef %5, i32 noundef 2, i32 noundef 4, i64 noundef 1)
  store i32 %42, ptr %6, align 4, !tbaa !9
  %43 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %44 = load i32, ptr %4, align 4, !tbaa !9
  %45 = load i32, ptr %5, align 4, !tbaa !9
  %46 = sub i32 %45, 1
  %47 = call ptr %43(i32 noundef %44, i32 noundef %46, ptr noundef @bpt_node_cache_handler)
  store ptr %47, ptr %7, align 8, !tbaa !5
  %48 = load ptr, ptr %7, align 8, !tbaa !5
  %49 = getelementptr inbounds %struct.bpt_node, ptr %48, i32 0, i32 0
  %50 = load ptr, ptr %49, align 8, !tbaa !13
  %51 = getelementptr inbounds i32, ptr %50, i64 5
  %52 = load i32, ptr %51, align 4, !tbaa !9
  %53 = zext i32 %52 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %53, ptr noundef null, i64 noundef 303, i32 noundef 148)
  %54 = load ptr, ptr %7, align 8, !tbaa !5
  %55 = getelementptr inbounds %struct.bpt_node, ptr %54, i32 0, i32 0
  %56 = load ptr, ptr %55, align 8, !tbaa !13
  %57 = getelementptr inbounds i32, ptr %56, i64 6
  %58 = getelementptr inbounds i32, ptr %57, i64 0
  %59 = load i32, ptr %58, align 4, !tbaa !9
  %60 = zext i32 %59 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %60, ptr noundef null, i64 noundef 304, i32 noundef 148)
  %61 = load ptr, ptr %7, align 8, !tbaa !5
  %62 = getelementptr inbounds %struct.bpt_node, ptr %61, i32 0, i32 0
  %63 = load ptr, ptr %62, align 8, !tbaa !13
  %64 = getelementptr inbounds i32, ptr %63, i64 6
  %65 = getelementptr inbounds i32, ptr %64, i64 1
  %66 = load i32, ptr %65, align 4, !tbaa !9
  %67 = zext i32 %66 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %67, ptr noundef null, i64 noundef 305, i32 noundef 148)
  %68 = load ptr, ptr %7, align 8, !tbaa !5
  %69 = getelementptr inbounds %struct.bpt_node, ptr %68, i32 0, i32 0
  %70 = load ptr, ptr %69, align 8, !tbaa !13
  %71 = getelementptr inbounds i32, ptr %70, i64 6
  %72 = getelementptr inbounds i32, ptr %71, i64 2
  %73 = load i32, ptr %72, align 4, !tbaa !9
  %74 = zext i32 %73 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %74, ptr noundef null, i64 noundef 306, i32 noundef 148)
  %75 = load ptr, ptr %7, align 8, !tbaa !5
  %76 = getelementptr inbounds %struct.bpt_node, ptr %75, i32 0, i32 0
  %77 = load ptr, ptr %76, align 8, !tbaa !13
  %78 = getelementptr inbounds i32, ptr %77, i64 6
  %79 = getelementptr inbounds i32, ptr %78, i64 3
  %80 = load i32, ptr %79, align 4, !tbaa !9
  %81 = zext i32 %80 to i64
  call void @UnityAssertEqualNumber(i64 noundef 5, i64 noundef %81, ptr noundef null, i64 noundef 307, i32 noundef 148)
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #4
  %82 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %83 = load i32, ptr %4, align 4, !tbaa !9
  %84 = load ptr, ptr %7, align 8, !tbaa !5
  %85 = getelementptr inbounds %struct.bpt_node, ptr %84, i32 0, i32 0
  %86 = load ptr, ptr %85, align 8, !tbaa !13
  %87 = load i32, ptr @ORDER, align 4, !tbaa !9
  %88 = add i32 6, %87
  %89 = add i32 %88, 2
  %90 = zext i32 %89 to i64
  %91 = getelementptr inbounds i32, ptr %86, i64 %90
  %92 = getelementptr inbounds i32, ptr %91, i64 0
  %93 = load i32, ptr %92, align 4, !tbaa !9
  %94 = sub i32 %93, 1
  %95 = call ptr %82(i32 noundef %83, i32 noundef %94, ptr noundef @giggle_data_handler)
  store ptr %95, ptr %8, align 8, !tbaa !5
  %96 = load ptr, ptr %8, align 8, !tbaa !5
  %97 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %96, i32 0, i32 1
  %98 = load ptr, ptr %97, align 8, !tbaa !15
  %99 = ptrtoint ptr %98 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %99, ptr noundef null, i64 noundef 313, i32 noundef 148)
  %100 = load ptr, ptr %8, align 8, !tbaa !5
  %101 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %100, i32 0, i32 0
  %102 = load ptr, ptr %101, align 8, !tbaa !17
  %103 = call i32 @wah_get_ints(ptr noundef %102, ptr noundef %1)
  store i32 %103, ptr %2, align 4, !tbaa !9
  %104 = load i32, ptr %2, align 4, !tbaa !9
  %105 = zext i32 %104 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %105, ptr noundef null, i64 noundef 315, i32 noundef 148)
  %106 = load ptr, ptr %1, align 8, !tbaa !5
  %107 = getelementptr inbounds i32, ptr %106, i64 0
  %108 = load i32, ptr %107, align 4, !tbaa !9
  %109 = sub i32 %108, 1
  %110 = zext i32 %109 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %110, ptr noundef null, i64 noundef 316, i32 noundef 148)
  %111 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %111) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %112 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %113 = load i32, ptr %4, align 4, !tbaa !9
  %114 = load ptr, ptr %7, align 8, !tbaa !5
  %115 = getelementptr inbounds %struct.bpt_node, ptr %114, i32 0, i32 0
  %116 = load ptr, ptr %115, align 8, !tbaa !13
  %117 = load i32, ptr @ORDER, align 4, !tbaa !9
  %118 = add i32 6, %117
  %119 = add i32 %118, 2
  %120 = zext i32 %119 to i64
  %121 = getelementptr inbounds i32, ptr %116, i64 %120
  %122 = getelementptr inbounds i32, ptr %121, i64 1
  %123 = load i32, ptr %122, align 4, !tbaa !9
  %124 = sub i32 %123, 1
  %125 = call ptr %112(i32 noundef %113, i32 noundef %124, ptr noundef @giggle_data_handler)
  store ptr %125, ptr %8, align 8, !tbaa !5
  %126 = load ptr, ptr %8, align 8, !tbaa !5
  %127 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %126, i32 0, i32 1
  %128 = load ptr, ptr %127, align 8, !tbaa !15
  %129 = ptrtoint ptr %128 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %129, ptr noundef null, i64 noundef 323, i32 noundef 148)
  %130 = load ptr, ptr %8, align 8, !tbaa !5
  %131 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %130, i32 0, i32 0
  %132 = load ptr, ptr %131, align 8, !tbaa !17
  %133 = call i32 @wah_get_ints(ptr noundef %132, ptr noundef %1)
  store i32 %133, ptr %2, align 4, !tbaa !9
  %134 = load i32, ptr %2, align 4, !tbaa !9
  %135 = zext i32 %134 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %135, ptr noundef null, i64 noundef 325, i32 noundef 148)
  %136 = load ptr, ptr %1, align 8, !tbaa !5
  %137 = getelementptr inbounds i32, ptr %136, i64 0
  %138 = load i32, ptr %137, align 4, !tbaa !9
  %139 = sub i32 %138, 1
  %140 = zext i32 %139 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %140, ptr noundef null, i64 noundef 326, i32 noundef 148)
  %141 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %141) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %142 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %143 = load i32, ptr %4, align 4, !tbaa !9
  %144 = load ptr, ptr %7, align 8, !tbaa !5
  %145 = getelementptr inbounds %struct.bpt_node, ptr %144, i32 0, i32 0
  %146 = load ptr, ptr %145, align 8, !tbaa !13
  %147 = load i32, ptr @ORDER, align 4, !tbaa !9
  %148 = add i32 6, %147
  %149 = add i32 %148, 2
  %150 = zext i32 %149 to i64
  %151 = getelementptr inbounds i32, ptr %146, i64 %150
  %152 = getelementptr inbounds i32, ptr %151, i64 2
  %153 = load i32, ptr %152, align 4, !tbaa !9
  %154 = sub i32 %153, 1
  %155 = call ptr %142(i32 noundef %143, i32 noundef %154, ptr noundef @giggle_data_handler)
  store ptr %155, ptr %8, align 8, !tbaa !5
  %156 = load ptr, ptr %8, align 8, !tbaa !5
  %157 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %156, i32 0, i32 0
  %158 = load ptr, ptr %157, align 8, !tbaa !17
  %159 = ptrtoint ptr %158 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %159, ptr noundef null, i64 noundef 333, i32 noundef 148)
  %160 = load ptr, ptr %8, align 8, !tbaa !5
  %161 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %160, i32 0, i32 1
  %162 = load ptr, ptr %161, align 8, !tbaa !15
  %163 = call i32 @wah_get_ints(ptr noundef %162, ptr noundef %1)
  store i32 %163, ptr %2, align 4, !tbaa !9
  %164 = load i32, ptr %2, align 4, !tbaa !9
  %165 = zext i32 %164 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %165, ptr noundef null, i64 noundef 335, i32 noundef 148)
  %166 = load ptr, ptr %1, align 8, !tbaa !5
  %167 = getelementptr inbounds i32, ptr %166, i64 0
  %168 = load i32, ptr %167, align 4, !tbaa !9
  %169 = sub i32 %168, 1
  %170 = zext i32 %169 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %170, ptr noundef null, i64 noundef 336, i32 noundef 148)
  %171 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %171) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %172 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %173 = load i32, ptr %4, align 4, !tbaa !9
  %174 = load ptr, ptr %7, align 8, !tbaa !5
  %175 = getelementptr inbounds %struct.bpt_node, ptr %174, i32 0, i32 0
  %176 = load ptr, ptr %175, align 8, !tbaa !13
  %177 = load i32, ptr @ORDER, align 4, !tbaa !9
  %178 = add i32 6, %177
  %179 = add i32 %178, 2
  %180 = zext i32 %179 to i64
  %181 = getelementptr inbounds i32, ptr %176, i64 %180
  %182 = getelementptr inbounds i32, ptr %181, i64 3
  %183 = load i32, ptr %182, align 4, !tbaa !9
  %184 = sub i32 %183, 1
  %185 = call ptr %172(i32 noundef %173, i32 noundef %184, ptr noundef @giggle_data_handler)
  store ptr %185, ptr %8, align 8, !tbaa !5
  %186 = load ptr, ptr %8, align 8, !tbaa !5
  %187 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %186, i32 0, i32 0
  %188 = load ptr, ptr %187, align 8, !tbaa !17
  %189 = ptrtoint ptr %188 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %189, ptr noundef null, i64 noundef 343, i32 noundef 148)
  %190 = load ptr, ptr %8, align 8, !tbaa !5
  %191 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %190, i32 0, i32 1
  %192 = load ptr, ptr %191, align 8, !tbaa !15
  %193 = call i32 @wah_get_ints(ptr noundef %192, ptr noundef %1)
  store i32 %193, ptr %2, align 4, !tbaa !9
  %194 = load i32, ptr %2, align 4, !tbaa !9
  %195 = zext i32 %194 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %195, ptr noundef null, i64 noundef 345, i32 noundef 148)
  %196 = load ptr, ptr %1, align 8, !tbaa !5
  %197 = getelementptr inbounds i32, ptr %196, i64 0
  %198 = load i32, ptr %197, align 4, !tbaa !9
  %199 = sub i32 %198, 1
  %200 = zext i32 %199 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %200, ptr noundef null, i64 noundef 346, i32 noundef 148)
  %201 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %201) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %202 = load i32, ptr %4, align 4, !tbaa !9
  %203 = call i32 @giggle_insert(i32 noundef %202, ptr noundef %5, i32 noundef 4, i32 noundef 6, i64 noundef 2)
  store i32 %203, ptr %6, align 4, !tbaa !9
  %204 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %205 = load i32, ptr %4, align 4, !tbaa !9
  %206 = load i32, ptr %5, align 4, !tbaa !9
  %207 = sub i32 %206, 1
  %208 = call ptr %204(i32 noundef %205, i32 noundef %207, ptr noundef @bpt_node_cache_handler)
  store ptr %208, ptr %7, align 8, !tbaa !5
  %209 = load ptr, ptr %7, align 8, !tbaa !5
  %210 = getelementptr inbounds %struct.bpt_node, ptr %209, i32 0, i32 0
  %211 = load ptr, ptr %210, align 8, !tbaa !13
  %212 = getelementptr inbounds i32, ptr %211, i64 5
  %213 = load i32, ptr %212, align 4, !tbaa !9
  %214 = zext i32 %213 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %214, ptr noundef null, i64 noundef 354, i32 noundef 148)
  %215 = load ptr, ptr %7, align 8, !tbaa !5
  %216 = getelementptr inbounds %struct.bpt_node, ptr %215, i32 0, i32 0
  %217 = load ptr, ptr %216, align 8, !tbaa !13
  %218 = getelementptr inbounds i32, ptr %217, i64 6
  %219 = getelementptr inbounds i32, ptr %218, i64 0
  %220 = load i32, ptr %219, align 4, !tbaa !9
  %221 = zext i32 %220 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %221, ptr noundef null, i64 noundef 355, i32 noundef 148)
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #4
  %222 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %223 = load i32, ptr %4, align 4, !tbaa !9
  %224 = load ptr, ptr %7, align 8, !tbaa !5
  %225 = getelementptr inbounds %struct.bpt_node, ptr %224, i32 0, i32 0
  %226 = load ptr, ptr %225, align 8, !tbaa !13
  %227 = load i32, ptr @ORDER, align 4, !tbaa !9
  %228 = add i32 6, %227
  %229 = add i32 %228, 2
  %230 = zext i32 %229 to i64
  %231 = getelementptr inbounds i32, ptr %226, i64 %230
  %232 = getelementptr inbounds i32, ptr %231, i64 0
  %233 = load i32, ptr %232, align 4, !tbaa !9
  %234 = sub i32 %233, 1
  %235 = call ptr %222(i32 noundef %223, i32 noundef %234, ptr noundef @bpt_node_cache_handler)
  store ptr %235, ptr %9, align 8, !tbaa !5
  %236 = load ptr, ptr %9, align 8, !tbaa !5
  %237 = getelementptr inbounds %struct.bpt_node, ptr %236, i32 0, i32 0
  %238 = load ptr, ptr %237, align 8, !tbaa !13
  %239 = getelementptr inbounds i32, ptr %238, i64 5
  %240 = load i32, ptr %239, align 4, !tbaa !9
  %241 = zext i32 %240 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %241, ptr noundef null, i64 noundef 360, i32 noundef 148)
  %242 = load ptr, ptr %9, align 8, !tbaa !5
  %243 = getelementptr inbounds %struct.bpt_node, ptr %242, i32 0, i32 0
  %244 = load ptr, ptr %243, align 8, !tbaa !13
  %245 = getelementptr inbounds i32, ptr %244, i64 6
  %246 = getelementptr inbounds i32, ptr %245, i64 0
  %247 = load i32, ptr %246, align 4, !tbaa !9
  %248 = zext i32 %247 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %248, ptr noundef null, i64 noundef 361, i32 noundef 148)
  %249 = load ptr, ptr %9, align 8, !tbaa !5
  %250 = getelementptr inbounds %struct.bpt_node, ptr %249, i32 0, i32 0
  %251 = load ptr, ptr %250, align 8, !tbaa !13
  %252 = getelementptr inbounds i32, ptr %251, i64 6
  %253 = getelementptr inbounds i32, ptr %252, i64 1
  %254 = load i32, ptr %253, align 4, !tbaa !9
  %255 = zext i32 %254 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %255, ptr noundef null, i64 noundef 362, i32 noundef 148)
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #4
  %256 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %257 = load i32, ptr %4, align 4, !tbaa !9
  %258 = load ptr, ptr %7, align 8, !tbaa !5
  %259 = getelementptr inbounds %struct.bpt_node, ptr %258, i32 0, i32 0
  %260 = load ptr, ptr %259, align 8, !tbaa !13
  %261 = load i32, ptr @ORDER, align 4, !tbaa !9
  %262 = add i32 6, %261
  %263 = add i32 %262, 2
  %264 = zext i32 %263 to i64
  %265 = getelementptr inbounds i32, ptr %260, i64 %264
  %266 = getelementptr inbounds i32, ptr %265, i64 1
  %267 = load i32, ptr %266, align 4, !tbaa !9
  %268 = sub i32 %267, 1
  %269 = call ptr %256(i32 noundef %257, i32 noundef %268, ptr noundef @bpt_node_cache_handler)
  store ptr %269, ptr %10, align 8, !tbaa !5
  %270 = load ptr, ptr %10, align 8, !tbaa !5
  %271 = getelementptr inbounds %struct.bpt_node, ptr %270, i32 0, i32 0
  %272 = load ptr, ptr %271, align 8, !tbaa !13
  %273 = getelementptr inbounds i32, ptr %272, i64 0
  %274 = load i32, ptr %273, align 4, !tbaa !9
  %275 = zext i32 %274 to i64
  %276 = load ptr, ptr %9, align 8, !tbaa !5
  %277 = getelementptr inbounds %struct.bpt_node, ptr %276, i32 0, i32 0
  %278 = load ptr, ptr %277, align 8, !tbaa !13
  %279 = getelementptr inbounds i32, ptr %278, i64 4
  %280 = load i32, ptr %279, align 4, !tbaa !9
  %281 = zext i32 %280 to i64
  call void @UnityAssertEqualNumber(i64 noundef %275, i64 noundef %281, ptr noundef null, i64 noundef 367, i32 noundef 148)
  %282 = load ptr, ptr %10, align 8, !tbaa !5
  %283 = getelementptr inbounds %struct.bpt_node, ptr %282, i32 0, i32 0
  %284 = load ptr, ptr %283, align 8, !tbaa !13
  %285 = getelementptr inbounds i32, ptr %284, i64 5
  %286 = load i32, ptr %285, align 4, !tbaa !9
  %287 = zext i32 %286 to i64
  call void @UnityAssertEqualNumber(i64 noundef 3, i64 noundef %287, ptr noundef null, i64 noundef 369, i32 noundef 148)
  %288 = load ptr, ptr %10, align 8, !tbaa !5
  %289 = getelementptr inbounds %struct.bpt_node, ptr %288, i32 0, i32 0
  %290 = load ptr, ptr %289, align 8, !tbaa !13
  %291 = getelementptr inbounds i32, ptr %290, i64 6
  %292 = getelementptr inbounds i32, ptr %291, i64 0
  %293 = load i32, ptr %292, align 4, !tbaa !9
  %294 = zext i32 %293 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %294, ptr noundef null, i64 noundef 370, i32 noundef 148)
  %295 = load ptr, ptr %10, align 8, !tbaa !5
  %296 = getelementptr inbounds %struct.bpt_node, ptr %295, i32 0, i32 0
  %297 = load ptr, ptr %296, align 8, !tbaa !13
  %298 = getelementptr inbounds i32, ptr %297, i64 6
  %299 = getelementptr inbounds i32, ptr %298, i64 1
  %300 = load i32, ptr %299, align 4, !tbaa !9
  %301 = zext i32 %300 to i64
  call void @UnityAssertEqualNumber(i64 noundef 5, i64 noundef %301, ptr noundef null, i64 noundef 371, i32 noundef 148)
  %302 = load ptr, ptr %10, align 8, !tbaa !5
  %303 = getelementptr inbounds %struct.bpt_node, ptr %302, i32 0, i32 0
  %304 = load ptr, ptr %303, align 8, !tbaa !13
  %305 = getelementptr inbounds i32, ptr %304, i64 6
  %306 = getelementptr inbounds i32, ptr %305, i64 2
  %307 = load i32, ptr %306, align 4, !tbaa !9
  %308 = zext i32 %307 to i64
  call void @UnityAssertEqualNumber(i64 noundef 7, i64 noundef %308, ptr noundef null, i64 noundef 372, i32 noundef 148)
  %309 = load ptr, ptr %9, align 8, !tbaa !5
  %310 = getelementptr inbounds %struct.bpt_node, ptr %309, i32 0, i32 0
  %311 = load ptr, ptr %310, align 8, !tbaa !13
  %312 = getelementptr inbounds i32, ptr %311, i64 3
  %313 = load i32, ptr %312, align 4, !tbaa !9
  %314 = zext i32 %313 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %314, ptr noundef null, i64 noundef 373, i32 noundef 148)
  %315 = load ptr, ptr %10, align 8, !tbaa !5
  %316 = getelementptr inbounds %struct.bpt_node, ptr %315, i32 0, i32 0
  %317 = load ptr, ptr %316, align 8, !tbaa !13
  %318 = getelementptr inbounds i32, ptr %317, i64 3
  %319 = load i32, ptr %318, align 4, !tbaa !9
  %320 = icmp ne i32 %319, 0
  br i1 %320, label %321, label %322

321:                                              ; preds = %0
  br label %323

322:                                              ; preds = %0
  call void @UnityFail(ptr noundef @.str, i64 noundef 374)
  br label %323

323:                                              ; preds = %322, %321
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #4
  %324 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %325 = load i32, ptr %4, align 4, !tbaa !9
  %326 = load ptr, ptr %10, align 8, !tbaa !5
  %327 = getelementptr inbounds %struct.bpt_node, ptr %326, i32 0, i32 0
  %328 = load ptr, ptr %327, align 8, !tbaa !13
  %329 = getelementptr inbounds i32, ptr %328, i64 3
  %330 = load i32, ptr %329, align 4, !tbaa !9
  %331 = sub i32 %330, 1
  %332 = call ptr %324(i32 noundef %325, i32 noundef %331, ptr noundef getelementptr inbounds (%struct.giggle_def, ptr @giggle_data_handler, i32 0, i32 1))
  store ptr %332, ptr %11, align 8, !tbaa !5
  %333 = load ptr, ptr %11, align 8, !tbaa !5
  %334 = getelementptr inbounds %struct.wah_bpt_leading_data, ptr %333, i32 0, i32 0
  %335 = load ptr, ptr %334, align 8, !tbaa !18
  %336 = call i32 @wah_get_ints(ptr noundef %335, ptr noundef %1)
  store i32 %336, ptr %2, align 4, !tbaa !9
  %337 = load i32, ptr %2, align 4, !tbaa !9
  %338 = zext i32 %337 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %338, ptr noundef null, i64 noundef 382, i32 noundef 148)
  %339 = load ptr, ptr %1, align 8, !tbaa !5
  %340 = getelementptr inbounds i32, ptr %339, i64 0
  %341 = load i32, ptr %340, align 4, !tbaa !9
  %342 = sub i32 %341, 1
  %343 = zext i32 %342 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %343, ptr noundef null, i64 noundef 383, i32 noundef 148)
  %344 = load ptr, ptr %1, align 8, !tbaa !5
  %345 = getelementptr inbounds i32, ptr %344, i64 1
  %346 = load i32, ptr %345, align 4, !tbaa !9
  %347 = sub i32 %346, 1
  %348 = zext i32 %347 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %348, ptr noundef null, i64 noundef 384, i32 noundef 148)
  %349 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %349) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %350 = load i32, ptr %4, align 4, !tbaa !9
  %351 = call i32 @giggle_insert(i32 noundef %350, ptr noundef %5, i32 noundef 4, i32 noundef 5, i64 noundef 3)
  store i32 %351, ptr %6, align 4, !tbaa !9
  %352 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %353 = load i32, ptr %4, align 4, !tbaa !9
  %354 = load ptr, ptr %7, align 8, !tbaa !5
  %355 = getelementptr inbounds %struct.bpt_node, ptr %354, i32 0, i32 0
  %356 = load ptr, ptr %355, align 8, !tbaa !13
  %357 = load i32, ptr @ORDER, align 4, !tbaa !9
  %358 = add i32 6, %357
  %359 = add i32 %358, 2
  %360 = zext i32 %359 to i64
  %361 = getelementptr inbounds i32, ptr %356, i64 %360
  %362 = getelementptr inbounds i32, ptr %361, i64 0
  %363 = load i32, ptr %362, align 4, !tbaa !9
  %364 = sub i32 %363, 1
  %365 = call ptr %352(i32 noundef %353, i32 noundef %364, ptr noundef @bpt_node_cache_handler)
  store ptr %365, ptr %9, align 8, !tbaa !5
  %366 = load ptr, ptr %9, align 8, !tbaa !5
  %367 = getelementptr inbounds %struct.bpt_node, ptr %366, i32 0, i32 0
  %368 = load ptr, ptr %367, align 8, !tbaa !13
  %369 = getelementptr inbounds i32, ptr %368, i64 3
  %370 = load i32, ptr %369, align 4, !tbaa !9
  %371 = zext i32 %370 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %371, ptr noundef null, i64 noundef 394, i32 noundef 148)
  %372 = load ptr, ptr %9, align 8, !tbaa !5
  %373 = getelementptr inbounds %struct.bpt_node, ptr %372, i32 0, i32 0
  %374 = load ptr, ptr %373, align 8, !tbaa !13
  %375 = getelementptr inbounds i32, ptr %374, i64 5
  %376 = load i32, ptr %375, align 4, !tbaa !9
  %377 = zext i32 %376 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %377, ptr noundef null, i64 noundef 395, i32 noundef 148)
  %378 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %379 = load i32, ptr %4, align 4, !tbaa !9
  %380 = load ptr, ptr %9, align 8, !tbaa !5
  %381 = getelementptr inbounds %struct.bpt_node, ptr %380, i32 0, i32 0
  %382 = load ptr, ptr %381, align 8, !tbaa !13
  %383 = load i32, ptr @ORDER, align 4, !tbaa !9
  %384 = add i32 6, %383
  %385 = add i32 %384, 2
  %386 = zext i32 %385 to i64
  %387 = getelementptr inbounds i32, ptr %382, i64 %386
  %388 = getelementptr inbounds i32, ptr %387, i64 0
  %389 = load i32, ptr %388, align 4, !tbaa !9
  %390 = sub i32 %389, 1
  %391 = call ptr %378(i32 noundef %379, i32 noundef %390, ptr noundef @giggle_data_handler)
  store ptr %391, ptr %8, align 8, !tbaa !5
  %392 = load ptr, ptr %8, align 8, !tbaa !5
  %393 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %392, i32 0, i32 1
  %394 = load ptr, ptr %393, align 8, !tbaa !15
  %395 = ptrtoint ptr %394 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %395, ptr noundef null, i64 noundef 400, i32 noundef 148)
  %396 = load ptr, ptr %8, align 8, !tbaa !5
  %397 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %396, i32 0, i32 0
  %398 = load ptr, ptr %397, align 8, !tbaa !17
  %399 = call i32 @wah_get_ints(ptr noundef %398, ptr noundef %1)
  store i32 %399, ptr %2, align 4, !tbaa !9
  %400 = load i32, ptr %2, align 4, !tbaa !9
  %401 = zext i32 %400 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %401, ptr noundef null, i64 noundef 402, i32 noundef 148)
  %402 = load ptr, ptr %1, align 8, !tbaa !5
  %403 = getelementptr inbounds i32, ptr %402, i64 0
  %404 = load i32, ptr %403, align 4, !tbaa !9
  %405 = sub i32 %404, 1
  %406 = zext i32 %405 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %406, ptr noundef null, i64 noundef 403, i32 noundef 148)
  %407 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %407) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %408 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %409 = load i32, ptr %4, align 4, !tbaa !9
  %410 = load ptr, ptr %9, align 8, !tbaa !5
  %411 = getelementptr inbounds %struct.bpt_node, ptr %410, i32 0, i32 0
  %412 = load ptr, ptr %411, align 8, !tbaa !13
  %413 = load i32, ptr @ORDER, align 4, !tbaa !9
  %414 = add i32 6, %413
  %415 = add i32 %414, 2
  %416 = zext i32 %415 to i64
  %417 = getelementptr inbounds i32, ptr %412, i64 %416
  %418 = getelementptr inbounds i32, ptr %417, i64 1
  %419 = load i32, ptr %418, align 4, !tbaa !9
  %420 = sub i32 %419, 1
  %421 = call ptr %408(i32 noundef %409, i32 noundef %420, ptr noundef @giggle_data_handler)
  store ptr %421, ptr %8, align 8, !tbaa !5
  %422 = load ptr, ptr %8, align 8, !tbaa !5
  %423 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %422, i32 0, i32 1
  %424 = load ptr, ptr %423, align 8, !tbaa !15
  %425 = ptrtoint ptr %424 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %425, ptr noundef null, i64 noundef 410, i32 noundef 148)
  %426 = load ptr, ptr %8, align 8, !tbaa !5
  %427 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %426, i32 0, i32 0
  %428 = load ptr, ptr %427, align 8, !tbaa !17
  %429 = call i32 @wah_get_ints(ptr noundef %428, ptr noundef %1)
  store i32 %429, ptr %2, align 4, !tbaa !9
  %430 = load i32, ptr %2, align 4, !tbaa !9
  %431 = zext i32 %430 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %431, ptr noundef null, i64 noundef 412, i32 noundef 148)
  %432 = load ptr, ptr %1, align 8, !tbaa !5
  %433 = getelementptr inbounds i32, ptr %432, i64 0
  %434 = load i32, ptr %433, align 4, !tbaa !9
  %435 = sub i32 %434, 1
  %436 = zext i32 %435 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %436, ptr noundef null, i64 noundef 413, i32 noundef 148)
  %437 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %437) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #4
  %438 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %439 = load i32, ptr %4, align 4, !tbaa !9
  %440 = load ptr, ptr %9, align 8, !tbaa !5
  %441 = getelementptr inbounds %struct.bpt_node, ptr %440, i32 0, i32 0
  %442 = load ptr, ptr %441, align 8, !tbaa !13
  %443 = getelementptr inbounds i32, ptr %442, i64 4
  %444 = load i32, ptr %443, align 4, !tbaa !9
  %445 = sub i32 %444, 1
  %446 = call ptr %438(i32 noundef %439, i32 noundef %445, ptr noundef @bpt_node_cache_handler)
  store ptr %446, ptr %12, align 8, !tbaa !5
  %447 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %448 = load i32, ptr %4, align 4, !tbaa !9
  %449 = load ptr, ptr %12, align 8, !tbaa !5
  %450 = getelementptr inbounds %struct.bpt_node, ptr %449, i32 0, i32 0
  %451 = load ptr, ptr %450, align 8, !tbaa !13
  %452 = getelementptr inbounds i32, ptr %451, i64 3
  %453 = load i32, ptr %452, align 4, !tbaa !9
  %454 = sub i32 %453, 1
  %455 = call ptr %447(i32 noundef %448, i32 noundef %454, ptr noundef getelementptr inbounds (%struct.giggle_def, ptr @giggle_data_handler, i32 0, i32 1))
  store ptr %455, ptr %11, align 8, !tbaa !5
  %456 = load ptr, ptr %11, align 8, !tbaa !5
  %457 = getelementptr inbounds %struct.wah_bpt_leading_data, ptr %456, i32 0, i32 0
  %458 = load ptr, ptr %457, align 8, !tbaa !18
  %459 = call i32 @wah_get_ints(ptr noundef %458, ptr noundef %1)
  store i32 %459, ptr %2, align 4, !tbaa !9
  %460 = load i32, ptr %2, align 4, !tbaa !9
  %461 = zext i32 %460 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %461, ptr noundef null, i64 noundef 425, i32 noundef 148)
  %462 = load ptr, ptr %1, align 8, !tbaa !5
  %463 = getelementptr inbounds i32, ptr %462, i64 0
  %464 = load i32, ptr %463, align 4, !tbaa !9
  %465 = sub i32 %464, 1
  %466 = zext i32 %465 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %466, ptr noundef null, i64 noundef 426, i32 noundef 148)
  %467 = load ptr, ptr %1, align 8, !tbaa !5
  %468 = getelementptr inbounds i32, ptr %467, i64 1
  %469 = load i32, ptr %468, align 4, !tbaa !9
  %470 = sub i32 %469, 1
  %471 = zext i32 %470 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %471, ptr noundef null, i64 noundef 427, i32 noundef 148)
  %472 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %472) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %473 = load ptr, ptr %12, align 8, !tbaa !5
  %474 = getelementptr inbounds %struct.bpt_node, ptr %473, i32 0, i32 0
  %475 = load ptr, ptr %474, align 8, !tbaa !13
  %476 = getelementptr inbounds i32, ptr %475, i64 5
  %477 = load i32, ptr %476, align 4, !tbaa !9
  %478 = zext i32 %477 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %478, ptr noundef null, i64 noundef 430, i32 noundef 148)
  %479 = load ptr, ptr %12, align 8, !tbaa !5
  %480 = getelementptr inbounds %struct.bpt_node, ptr %479, i32 0, i32 0
  %481 = load ptr, ptr %480, align 8, !tbaa !13
  %482 = getelementptr inbounds i32, ptr %481, i64 6
  %483 = getelementptr inbounds i32, ptr %482, i64 0
  %484 = load i32, ptr %483, align 4, !tbaa !9
  %485 = zext i32 %484 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %485, ptr noundef null, i64 noundef 431, i32 noundef 148)
  %486 = load ptr, ptr %12, align 8, !tbaa !5
  %487 = getelementptr inbounds %struct.bpt_node, ptr %486, i32 0, i32 0
  %488 = load ptr, ptr %487, align 8, !tbaa !13
  %489 = getelementptr inbounds i32, ptr %488, i64 6
  %490 = getelementptr inbounds i32, ptr %489, i64 1
  %491 = load i32, ptr %490, align 4, !tbaa !9
  %492 = zext i32 %491 to i64
  call void @UnityAssertEqualNumber(i64 noundef 5, i64 noundef %492, ptr noundef null, i64 noundef 432, i32 noundef 148)
  %493 = load ptr, ptr %12, align 8, !tbaa !5
  %494 = getelementptr inbounds %struct.bpt_node, ptr %493, i32 0, i32 0
  %495 = load ptr, ptr %494, align 8, !tbaa !13
  %496 = getelementptr inbounds i32, ptr %495, i64 6
  %497 = getelementptr inbounds i32, ptr %496, i64 2
  %498 = load i32, ptr %497, align 4, !tbaa !9
  %499 = zext i32 %498 to i64
  call void @UnityAssertEqualNumber(i64 noundef 6, i64 noundef %499, ptr noundef null, i64 noundef 433, i32 noundef 148)
  %500 = load ptr, ptr %12, align 8, !tbaa !5
  %501 = getelementptr inbounds %struct.bpt_node, ptr %500, i32 0, i32 0
  %502 = load ptr, ptr %501, align 8, !tbaa !13
  %503 = getelementptr inbounds i32, ptr %502, i64 6
  %504 = getelementptr inbounds i32, ptr %503, i64 3
  %505 = load i32, ptr %504, align 4, !tbaa !9
  %506 = zext i32 %505 to i64
  call void @UnityAssertEqualNumber(i64 noundef 7, i64 noundef %506, ptr noundef null, i64 noundef 434, i32 noundef 148)
  %507 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %508 = load i32, ptr %4, align 4, !tbaa !9
  %509 = load ptr, ptr %12, align 8, !tbaa !5
  %510 = getelementptr inbounds %struct.bpt_node, ptr %509, i32 0, i32 0
  %511 = load ptr, ptr %510, align 8, !tbaa !13
  %512 = load i32, ptr @ORDER, align 4, !tbaa !9
  %513 = add i32 6, %512
  %514 = add i32 %513, 2
  %515 = zext i32 %514 to i64
  %516 = getelementptr inbounds i32, ptr %511, i64 %515
  %517 = getelementptr inbounds i32, ptr %516, i64 0
  %518 = load i32, ptr %517, align 4, !tbaa !9
  %519 = sub i32 %518, 1
  %520 = call ptr %507(i32 noundef %508, i32 noundef %519, ptr noundef @giggle_data_handler)
  store ptr %520, ptr %8, align 8, !tbaa !5
  %521 = load ptr, ptr %8, align 8, !tbaa !5
  %522 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %521, i32 0, i32 0
  %523 = load ptr, ptr %522, align 8, !tbaa !17
  %524 = call i32 @wah_get_ints(ptr noundef %523, ptr noundef %1)
  store i32 %524, ptr %2, align 4, !tbaa !9
  %525 = load i32, ptr %2, align 4, !tbaa !9
  %526 = zext i32 %525 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %526, ptr noundef null, i64 noundef 440, i32 noundef 148)
  %527 = load ptr, ptr %1, align 8, !tbaa !5
  %528 = getelementptr inbounds i32, ptr %527, i64 0
  %529 = load i32, ptr %528, align 4, !tbaa !9
  %530 = sub i32 %529, 1
  %531 = zext i32 %530 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %531, ptr noundef null, i64 noundef 441, i32 noundef 148)
  %532 = load ptr, ptr %1, align 8, !tbaa !5
  %533 = getelementptr inbounds i32, ptr %532, i64 1
  %534 = load i32, ptr %533, align 4, !tbaa !9
  %535 = sub i32 %534, 1
  %536 = zext i32 %535 to i64
  call void @UnityAssertEqualNumber(i64 noundef 3, i64 noundef %536, ptr noundef null, i64 noundef 442, i32 noundef 148)
  %537 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %537) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %538 = load ptr, ptr %8, align 8, !tbaa !5
  %539 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %538, i32 0, i32 1
  %540 = load ptr, ptr %539, align 8, !tbaa !15
  %541 = call i32 @wah_get_ints(ptr noundef %540, ptr noundef %1)
  store i32 %541, ptr %2, align 4, !tbaa !9
  %542 = load i32, ptr %2, align 4, !tbaa !9
  %543 = zext i32 %542 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %543, ptr noundef null, i64 noundef 446, i32 noundef 148)
  %544 = load ptr, ptr %1, align 8, !tbaa !5
  %545 = getelementptr inbounds i32, ptr %544, i64 0
  %546 = load i32, ptr %545, align 4, !tbaa !9
  %547 = sub i32 %546, 1
  %548 = zext i32 %547 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %548, ptr noundef null, i64 noundef 447, i32 noundef 148)
  %549 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %549) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %550 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %551 = load i32, ptr %4, align 4, !tbaa !9
  %552 = load ptr, ptr %12, align 8, !tbaa !5
  %553 = getelementptr inbounds %struct.bpt_node, ptr %552, i32 0, i32 0
  %554 = load ptr, ptr %553, align 8, !tbaa !13
  %555 = load i32, ptr @ORDER, align 4, !tbaa !9
  %556 = add i32 6, %555
  %557 = add i32 %556, 2
  %558 = zext i32 %557 to i64
  %559 = getelementptr inbounds i32, ptr %554, i64 %558
  %560 = getelementptr inbounds i32, ptr %559, i64 1
  %561 = load i32, ptr %560, align 4, !tbaa !9
  %562 = sub i32 %561, 1
  %563 = call ptr %550(i32 noundef %551, i32 noundef %562, ptr noundef @giggle_data_handler)
  store ptr %563, ptr %8, align 8, !tbaa !5
  %564 = load ptr, ptr %8, align 8, !tbaa !5
  %565 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %564, i32 0, i32 0
  %566 = load ptr, ptr %565, align 8, !tbaa !17
  %567 = ptrtoint ptr %566 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %567, ptr noundef null, i64 noundef 454, i32 noundef 148)
  %568 = load ptr, ptr %8, align 8, !tbaa !5
  %569 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %568, i32 0, i32 1
  %570 = load ptr, ptr %569, align 8, !tbaa !15
  %571 = call i32 @wah_get_ints(ptr noundef %570, ptr noundef %1)
  store i32 %571, ptr %2, align 4, !tbaa !9
  %572 = load i32, ptr %2, align 4, !tbaa !9
  %573 = zext i32 %572 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %573, ptr noundef null, i64 noundef 456, i32 noundef 148)
  %574 = load ptr, ptr %1, align 8, !tbaa !5
  %575 = getelementptr inbounds i32, ptr %574, i64 0
  %576 = load i32, ptr %575, align 4, !tbaa !9
  %577 = sub i32 %576, 1
  %578 = zext i32 %577 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %578, ptr noundef null, i64 noundef 457, i32 noundef 148)
  %579 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %579) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %580 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %581 = load i32, ptr %4, align 4, !tbaa !9
  %582 = load ptr, ptr %12, align 8, !tbaa !5
  %583 = getelementptr inbounds %struct.bpt_node, ptr %582, i32 0, i32 0
  %584 = load ptr, ptr %583, align 8, !tbaa !13
  %585 = load i32, ptr @ORDER, align 4, !tbaa !9
  %586 = add i32 6, %585
  %587 = add i32 %586, 2
  %588 = zext i32 %587 to i64
  %589 = getelementptr inbounds i32, ptr %584, i64 %588
  %590 = getelementptr inbounds i32, ptr %589, i64 2
  %591 = load i32, ptr %590, align 4, !tbaa !9
  %592 = sub i32 %591, 1
  %593 = call ptr %580(i32 noundef %581, i32 noundef %592, ptr noundef @giggle_data_handler)
  store ptr %593, ptr %8, align 8, !tbaa !5
  %594 = load ptr, ptr %8, align 8, !tbaa !5
  %595 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %594, i32 0, i32 0
  %596 = load ptr, ptr %595, align 8, !tbaa !17
  %597 = ptrtoint ptr %596 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %597, ptr noundef null, i64 noundef 464, i32 noundef 148)
  %598 = load ptr, ptr %8, align 8, !tbaa !5
  %599 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %598, i32 0, i32 1
  %600 = load ptr, ptr %599, align 8, !tbaa !15
  %601 = call i32 @wah_get_ints(ptr noundef %600, ptr noundef %1)
  store i32 %601, ptr %2, align 4, !tbaa !9
  %602 = load i32, ptr %2, align 4, !tbaa !9
  %603 = zext i32 %602 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %603, ptr noundef null, i64 noundef 466, i32 noundef 148)
  %604 = load ptr, ptr %1, align 8, !tbaa !5
  %605 = getelementptr inbounds i32, ptr %604, i64 0
  %606 = load i32, ptr %605, align 4, !tbaa !9
  %607 = sub i32 %606, 1
  %608 = zext i32 %607 to i64
  call void @UnityAssertEqualNumber(i64 noundef 3, i64 noundef %608, ptr noundef null, i64 noundef 467, i32 noundef 148)
  %609 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %609) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %610 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %611 = load i32, ptr %4, align 4, !tbaa !9
  %612 = load ptr, ptr %12, align 8, !tbaa !5
  %613 = getelementptr inbounds %struct.bpt_node, ptr %612, i32 0, i32 0
  %614 = load ptr, ptr %613, align 8, !tbaa !13
  %615 = load i32, ptr @ORDER, align 4, !tbaa !9
  %616 = add i32 6, %615
  %617 = add i32 %616, 2
  %618 = zext i32 %617 to i64
  %619 = getelementptr inbounds i32, ptr %614, i64 %618
  %620 = getelementptr inbounds i32, ptr %619, i64 3
  %621 = load i32, ptr %620, align 4, !tbaa !9
  %622 = sub i32 %621, 1
  %623 = call ptr %610(i32 noundef %611, i32 noundef %622, ptr noundef @giggle_data_handler)
  store ptr %623, ptr %8, align 8, !tbaa !5
  %624 = load ptr, ptr %8, align 8, !tbaa !5
  %625 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %624, i32 0, i32 0
  %626 = load ptr, ptr %625, align 8, !tbaa !17
  %627 = ptrtoint ptr %626 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %627, ptr noundef null, i64 noundef 474, i32 noundef 148)
  %628 = load ptr, ptr %8, align 8, !tbaa !5
  %629 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %628, i32 0, i32 1
  %630 = load ptr, ptr %629, align 8, !tbaa !15
  %631 = call i32 @wah_get_ints(ptr noundef %630, ptr noundef %1)
  store i32 %631, ptr %2, align 4, !tbaa !9
  %632 = load i32, ptr %2, align 4, !tbaa !9
  %633 = zext i32 %632 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %633, ptr noundef null, i64 noundef 476, i32 noundef 148)
  %634 = load ptr, ptr %1, align 8, !tbaa !5
  %635 = getelementptr inbounds i32, ptr %634, i64 0
  %636 = load i32, ptr %635, align 4, !tbaa !9
  %637 = sub i32 %636, 1
  %638 = zext i32 %637 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %638, ptr noundef null, i64 noundef 477, i32 noundef 148)
  %639 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %639) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %640 = load i32, ptr %4, align 4, !tbaa !9
  %641 = call i32 @giggle_insert(i32 noundef %640, ptr noundef %5, i32 noundef 1, i32 noundef 6, i64 noundef 4)
  store i32 %641, ptr %6, align 4, !tbaa !9
  %642 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %643 = load i32, ptr %4, align 4, !tbaa !9
  %644 = load i32, ptr %5, align 4, !tbaa !9
  %645 = sub i32 %644, 1
  %646 = call ptr %642(i32 noundef %643, i32 noundef %645, ptr noundef @bpt_node_cache_handler)
  store ptr %646, ptr %7, align 8, !tbaa !5
  %647 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %648 = load i32, ptr %4, align 4, !tbaa !9
  %649 = load ptr, ptr %7, align 8, !tbaa !5
  %650 = getelementptr inbounds %struct.bpt_node, ptr %649, i32 0, i32 0
  %651 = load ptr, ptr %650, align 8, !tbaa !13
  %652 = load i32, ptr @ORDER, align 4, !tbaa !9
  %653 = add i32 6, %652
  %654 = add i32 %653, 2
  %655 = zext i32 %654 to i64
  %656 = getelementptr inbounds i32, ptr %651, i64 %655
  %657 = getelementptr inbounds i32, ptr %656, i64 0
  %658 = load i32, ptr %657, align 4, !tbaa !9
  %659 = sub i32 %658, 1
  %660 = call ptr %647(i32 noundef %648, i32 noundef %659, ptr noundef @bpt_node_cache_handler)
  store ptr %660, ptr %9, align 8, !tbaa !5
  %661 = load ptr, ptr %9, align 8, !tbaa !5
  %662 = getelementptr inbounds %struct.bpt_node, ptr %661, i32 0, i32 0
  %663 = load ptr, ptr %662, align 8, !tbaa !13
  %664 = getelementptr inbounds i32, ptr %663, i64 3
  %665 = load i32, ptr %664, align 4, !tbaa !9
  %666 = zext i32 %665 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %666, ptr noundef null, i64 noundef 490, i32 noundef 148)
  %667 = load ptr, ptr %9, align 8, !tbaa !5
  %668 = getelementptr inbounds %struct.bpt_node, ptr %667, i32 0, i32 0
  %669 = load ptr, ptr %668, align 8, !tbaa !13
  %670 = getelementptr inbounds i32, ptr %669, i64 5
  %671 = load i32, ptr %670, align 4, !tbaa !9
  %672 = zext i32 %671 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %672, ptr noundef null, i64 noundef 491, i32 noundef 148)
  %673 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %674 = load i32, ptr %4, align 4, !tbaa !9
  %675 = load ptr, ptr %9, align 8, !tbaa !5
  %676 = getelementptr inbounds %struct.bpt_node, ptr %675, i32 0, i32 0
  %677 = load ptr, ptr %676, align 8, !tbaa !13
  %678 = load i32, ptr @ORDER, align 4, !tbaa !9
  %679 = add i32 6, %678
  %680 = add i32 %679, 2
  %681 = zext i32 %680 to i64
  %682 = getelementptr inbounds i32, ptr %677, i64 %681
  %683 = getelementptr inbounds i32, ptr %682, i64 0
  %684 = load i32, ptr %683, align 4, !tbaa !9
  %685 = sub i32 %684, 1
  %686 = call ptr %673(i32 noundef %674, i32 noundef %685, ptr noundef @giggle_data_handler)
  store ptr %686, ptr %8, align 8, !tbaa !5
  %687 = load ptr, ptr %8, align 8, !tbaa !5
  %688 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %687, i32 0, i32 1
  %689 = load ptr, ptr %688, align 8, !tbaa !15
  %690 = ptrtoint ptr %689 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %690, ptr noundef null, i64 noundef 496, i32 noundef 148)
  %691 = load ptr, ptr %8, align 8, !tbaa !5
  %692 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %691, i32 0, i32 0
  %693 = load ptr, ptr %692, align 8, !tbaa !17
  %694 = call i32 @wah_get_ints(ptr noundef %693, ptr noundef %1)
  store i32 %694, ptr %2, align 4, !tbaa !9
  %695 = load i32, ptr %2, align 4, !tbaa !9
  %696 = zext i32 %695 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %696, ptr noundef null, i64 noundef 498, i32 noundef 148)
  %697 = load ptr, ptr %1, align 8, !tbaa !5
  %698 = getelementptr inbounds i32, ptr %697, i64 0
  %699 = load i32, ptr %698, align 4, !tbaa !9
  %700 = sub i32 %699, 1
  %701 = zext i32 %700 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %701, ptr noundef null, i64 noundef 499, i32 noundef 148)
  %702 = load ptr, ptr %1, align 8, !tbaa !5
  %703 = getelementptr inbounds i32, ptr %702, i64 1
  %704 = load i32, ptr %703, align 4, !tbaa !9
  %705 = sub i32 %704, 1
  %706 = zext i32 %705 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %706, ptr noundef null, i64 noundef 500, i32 noundef 148)
  %707 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %707) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %708 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %709 = load i32, ptr %4, align 4, !tbaa !9
  %710 = load ptr, ptr %9, align 8, !tbaa !5
  %711 = getelementptr inbounds %struct.bpt_node, ptr %710, i32 0, i32 0
  %712 = load ptr, ptr %711, align 8, !tbaa !13
  %713 = load i32, ptr @ORDER, align 4, !tbaa !9
  %714 = add i32 6, %713
  %715 = add i32 %714, 2
  %716 = zext i32 %715 to i64
  %717 = getelementptr inbounds i32, ptr %712, i64 %716
  %718 = getelementptr inbounds i32, ptr %717, i64 1
  %719 = load i32, ptr %718, align 4, !tbaa !9
  %720 = sub i32 %719, 1
  %721 = call ptr %708(i32 noundef %709, i32 noundef %720, ptr noundef @giggle_data_handler)
  store ptr %721, ptr %8, align 8, !tbaa !5
  %722 = load ptr, ptr %8, align 8, !tbaa !5
  %723 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %722, i32 0, i32 1
  %724 = load ptr, ptr %723, align 8, !tbaa !15
  %725 = ptrtoint ptr %724 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %725, ptr noundef null, i64 noundef 507, i32 noundef 148)
  %726 = load ptr, ptr %8, align 8, !tbaa !5
  %727 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %726, i32 0, i32 0
  %728 = load ptr, ptr %727, align 8, !tbaa !17
  %729 = call i32 @wah_get_ints(ptr noundef %728, ptr noundef %1)
  store i32 %729, ptr %2, align 4, !tbaa !9
  %730 = load i32, ptr %2, align 4, !tbaa !9
  %731 = zext i32 %730 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %731, ptr noundef null, i64 noundef 509, i32 noundef 148)
  %732 = load ptr, ptr %1, align 8, !tbaa !5
  %733 = getelementptr inbounds i32, ptr %732, i64 0
  %734 = load i32, ptr %733, align 4, !tbaa !9
  %735 = sub i32 %734, 1
  %736 = zext i32 %735 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %736, ptr noundef null, i64 noundef 510, i32 noundef 148)
  %737 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %737) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %738 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %739 = load i32, ptr %4, align 4, !tbaa !9
  %740 = load ptr, ptr %9, align 8, !tbaa !5
  %741 = getelementptr inbounds %struct.bpt_node, ptr %740, i32 0, i32 0
  %742 = load ptr, ptr %741, align 8, !tbaa !13
  %743 = getelementptr inbounds i32, ptr %742, i64 4
  %744 = load i32, ptr %743, align 4, !tbaa !9
  %745 = sub i32 %744, 1
  %746 = call ptr %738(i32 noundef %739, i32 noundef %745, ptr noundef @bpt_node_cache_handler)
  store ptr %746, ptr %12, align 8, !tbaa !5
  %747 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %748 = load i32, ptr %4, align 4, !tbaa !9
  %749 = load ptr, ptr %12, align 8, !tbaa !5
  %750 = getelementptr inbounds %struct.bpt_node, ptr %749, i32 0, i32 0
  %751 = load ptr, ptr %750, align 8, !tbaa !13
  %752 = getelementptr inbounds i32, ptr %751, i64 3
  %753 = load i32, ptr %752, align 4, !tbaa !9
  %754 = sub i32 %753, 1
  %755 = call ptr %747(i32 noundef %748, i32 noundef %754, ptr noundef getelementptr inbounds (%struct.giggle_def, ptr @giggle_data_handler, i32 0, i32 1))
  store ptr %755, ptr %11, align 8, !tbaa !5
  %756 = load ptr, ptr %11, align 8, !tbaa !5
  %757 = getelementptr inbounds %struct.wah_bpt_leading_data, ptr %756, i32 0, i32 0
  %758 = load ptr, ptr %757, align 8, !tbaa !18
  %759 = call i32 @wah_get_ints(ptr noundef %758, ptr noundef %1)
  store i32 %759, ptr %2, align 4, !tbaa !9
  %760 = load i32, ptr %2, align 4, !tbaa !9
  %761 = zext i32 %760 to i64
  call void @UnityAssertEqualNumber(i64 noundef 3, i64 noundef %761, ptr noundef null, i64 noundef 521, i32 noundef 148)
  %762 = load ptr, ptr %1, align 8, !tbaa !5
  %763 = getelementptr inbounds i32, ptr %762, i64 0
  %764 = load i32, ptr %763, align 4, !tbaa !9
  %765 = sub i32 %764, 1
  %766 = zext i32 %765 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %766, ptr noundef null, i64 noundef 522, i32 noundef 148)
  %767 = load ptr, ptr %1, align 8, !tbaa !5
  %768 = getelementptr inbounds i32, ptr %767, i64 1
  %769 = load i32, ptr %768, align 4, !tbaa !9
  %770 = sub i32 %769, 1
  %771 = zext i32 %770 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %771, ptr noundef null, i64 noundef 523, i32 noundef 148)
  %772 = load ptr, ptr %1, align 8, !tbaa !5
  %773 = getelementptr inbounds i32, ptr %772, i64 2
  %774 = load i32, ptr %773, align 4, !tbaa !9
  %775 = sub i32 %774, 1
  %776 = zext i32 %775 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %776, ptr noundef null, i64 noundef 524, i32 noundef 148)
  %777 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %777) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %778 = load ptr, ptr %12, align 8, !tbaa !5
  %779 = getelementptr inbounds %struct.bpt_node, ptr %778, i32 0, i32 0
  %780 = load ptr, ptr %779, align 8, !tbaa !13
  %781 = getelementptr inbounds i32, ptr %780, i64 5
  %782 = load i32, ptr %781, align 4, !tbaa !9
  %783 = zext i32 %782 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %783, ptr noundef null, i64 noundef 528, i32 noundef 148)
  %784 = load ptr, ptr %12, align 8, !tbaa !5
  %785 = getelementptr inbounds %struct.bpt_node, ptr %784, i32 0, i32 0
  %786 = load ptr, ptr %785, align 8, !tbaa !13
  %787 = getelementptr inbounds i32, ptr %786, i64 6
  %788 = getelementptr inbounds i32, ptr %787, i64 0
  %789 = load i32, ptr %788, align 4, !tbaa !9
  %790 = zext i32 %789 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %790, ptr noundef null, i64 noundef 529, i32 noundef 148)
  %791 = load ptr, ptr %12, align 8, !tbaa !5
  %792 = getelementptr inbounds %struct.bpt_node, ptr %791, i32 0, i32 0
  %793 = load ptr, ptr %792, align 8, !tbaa !13
  %794 = getelementptr inbounds i32, ptr %793, i64 6
  %795 = getelementptr inbounds i32, ptr %794, i64 1
  %796 = load i32, ptr %795, align 4, !tbaa !9
  %797 = zext i32 %796 to i64
  call void @UnityAssertEqualNumber(i64 noundef 5, i64 noundef %797, ptr noundef null, i64 noundef 530, i32 noundef 148)
  %798 = load ptr, ptr %12, align 8, !tbaa !5
  %799 = getelementptr inbounds %struct.bpt_node, ptr %798, i32 0, i32 0
  %800 = load ptr, ptr %799, align 8, !tbaa !13
  %801 = getelementptr inbounds i32, ptr %800, i64 6
  %802 = getelementptr inbounds i32, ptr %801, i64 2
  %803 = load i32, ptr %802, align 4, !tbaa !9
  %804 = zext i32 %803 to i64
  call void @UnityAssertEqualNumber(i64 noundef 6, i64 noundef %804, ptr noundef null, i64 noundef 531, i32 noundef 148)
  %805 = load ptr, ptr %12, align 8, !tbaa !5
  %806 = getelementptr inbounds %struct.bpt_node, ptr %805, i32 0, i32 0
  %807 = load ptr, ptr %806, align 8, !tbaa !13
  %808 = getelementptr inbounds i32, ptr %807, i64 6
  %809 = getelementptr inbounds i32, ptr %808, i64 3
  %810 = load i32, ptr %809, align 4, !tbaa !9
  %811 = zext i32 %810 to i64
  call void @UnityAssertEqualNumber(i64 noundef 7, i64 noundef %811, ptr noundef null, i64 noundef 532, i32 noundef 148)
  %812 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %813 = load i32, ptr %4, align 4, !tbaa !9
  %814 = load ptr, ptr %12, align 8, !tbaa !5
  %815 = getelementptr inbounds %struct.bpt_node, ptr %814, i32 0, i32 0
  %816 = load ptr, ptr %815, align 8, !tbaa !13
  %817 = load i32, ptr @ORDER, align 4, !tbaa !9
  %818 = add i32 6, %817
  %819 = add i32 %818, 2
  %820 = zext i32 %819 to i64
  %821 = getelementptr inbounds i32, ptr %816, i64 %820
  %822 = getelementptr inbounds i32, ptr %821, i64 0
  %823 = load i32, ptr %822, align 4, !tbaa !9
  %824 = sub i32 %823, 1
  %825 = call ptr %812(i32 noundef %813, i32 noundef %824, ptr noundef @giggle_data_handler)
  store ptr %825, ptr %8, align 8, !tbaa !5
  %826 = load ptr, ptr %8, align 8, !tbaa !5
  %827 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %826, i32 0, i32 0
  %828 = load ptr, ptr %827, align 8, !tbaa !17
  %829 = call i32 @wah_get_ints(ptr noundef %828, ptr noundef %1)
  store i32 %829, ptr %2, align 4, !tbaa !9
  %830 = load i32, ptr %2, align 4, !tbaa !9
  %831 = zext i32 %830 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %831, ptr noundef null, i64 noundef 538, i32 noundef 148)
  %832 = load ptr, ptr %1, align 8, !tbaa !5
  %833 = getelementptr inbounds i32, ptr %832, i64 0
  %834 = load i32, ptr %833, align 4, !tbaa !9
  %835 = sub i32 %834, 1
  %836 = zext i32 %835 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %836, ptr noundef null, i64 noundef 539, i32 noundef 148)
  %837 = load ptr, ptr %1, align 8, !tbaa !5
  %838 = getelementptr inbounds i32, ptr %837, i64 1
  %839 = load i32, ptr %838, align 4, !tbaa !9
  %840 = sub i32 %839, 1
  %841 = zext i32 %840 to i64
  call void @UnityAssertEqualNumber(i64 noundef 3, i64 noundef %841, ptr noundef null, i64 noundef 540, i32 noundef 148)
  %842 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %842) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %843 = load ptr, ptr %8, align 8, !tbaa !5
  %844 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %843, i32 0, i32 1
  %845 = load ptr, ptr %844, align 8, !tbaa !15
  %846 = call i32 @wah_get_ints(ptr noundef %845, ptr noundef %1)
  store i32 %846, ptr %2, align 4, !tbaa !9
  %847 = load i32, ptr %2, align 4, !tbaa !9
  %848 = zext i32 %847 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %848, ptr noundef null, i64 noundef 544, i32 noundef 148)
  %849 = load ptr, ptr %1, align 8, !tbaa !5
  %850 = getelementptr inbounds i32, ptr %849, i64 0
  %851 = load i32, ptr %850, align 4, !tbaa !9
  %852 = sub i32 %851, 1
  %853 = zext i32 %852 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %853, ptr noundef null, i64 noundef 545, i32 noundef 148)
  %854 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %854) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %855 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %856 = load i32, ptr %4, align 4, !tbaa !9
  %857 = load ptr, ptr %12, align 8, !tbaa !5
  %858 = getelementptr inbounds %struct.bpt_node, ptr %857, i32 0, i32 0
  %859 = load ptr, ptr %858, align 8, !tbaa !13
  %860 = load i32, ptr @ORDER, align 4, !tbaa !9
  %861 = add i32 6, %860
  %862 = add i32 %861, 2
  %863 = zext i32 %862 to i64
  %864 = getelementptr inbounds i32, ptr %859, i64 %863
  %865 = getelementptr inbounds i32, ptr %864, i64 1
  %866 = load i32, ptr %865, align 4, !tbaa !9
  %867 = sub i32 %866, 1
  %868 = call ptr %855(i32 noundef %856, i32 noundef %867, ptr noundef @giggle_data_handler)
  store ptr %868, ptr %8, align 8, !tbaa !5
  %869 = load ptr, ptr %8, align 8, !tbaa !5
  %870 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %869, i32 0, i32 0
  %871 = load ptr, ptr %870, align 8, !tbaa !17
  %872 = ptrtoint ptr %871 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %872, ptr noundef null, i64 noundef 552, i32 noundef 148)
  %873 = load ptr, ptr %8, align 8, !tbaa !5
  %874 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %873, i32 0, i32 1
  %875 = load ptr, ptr %874, align 8, !tbaa !15
  %876 = call i32 @wah_get_ints(ptr noundef %875, ptr noundef %1)
  store i32 %876, ptr %2, align 4, !tbaa !9
  %877 = load i32, ptr %2, align 4, !tbaa !9
  %878 = zext i32 %877 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %878, ptr noundef null, i64 noundef 554, i32 noundef 148)
  %879 = load ptr, ptr %1, align 8, !tbaa !5
  %880 = getelementptr inbounds i32, ptr %879, i64 0
  %881 = load i32, ptr %880, align 4, !tbaa !9
  %882 = sub i32 %881, 1
  %883 = zext i32 %882 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %883, ptr noundef null, i64 noundef 555, i32 noundef 148)
  %884 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %884) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %885 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %886 = load i32, ptr %4, align 4, !tbaa !9
  %887 = load ptr, ptr %12, align 8, !tbaa !5
  %888 = getelementptr inbounds %struct.bpt_node, ptr %887, i32 0, i32 0
  %889 = load ptr, ptr %888, align 8, !tbaa !13
  %890 = load i32, ptr @ORDER, align 4, !tbaa !9
  %891 = add i32 6, %890
  %892 = add i32 %891, 2
  %893 = zext i32 %892 to i64
  %894 = getelementptr inbounds i32, ptr %889, i64 %893
  %895 = getelementptr inbounds i32, ptr %894, i64 2
  %896 = load i32, ptr %895, align 4, !tbaa !9
  %897 = sub i32 %896, 1
  %898 = call ptr %885(i32 noundef %886, i32 noundef %897, ptr noundef @giggle_data_handler)
  store ptr %898, ptr %8, align 8, !tbaa !5
  %899 = load ptr, ptr %8, align 8, !tbaa !5
  %900 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %899, i32 0, i32 0
  %901 = load ptr, ptr %900, align 8, !tbaa !17
  %902 = ptrtoint ptr %901 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %902, ptr noundef null, i64 noundef 562, i32 noundef 148)
  %903 = load ptr, ptr %8, align 8, !tbaa !5
  %904 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %903, i32 0, i32 1
  %905 = load ptr, ptr %904, align 8, !tbaa !15
  %906 = call i32 @wah_get_ints(ptr noundef %905, ptr noundef %1)
  store i32 %906, ptr %2, align 4, !tbaa !9
  %907 = load i32, ptr %2, align 4, !tbaa !9
  %908 = zext i32 %907 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %908, ptr noundef null, i64 noundef 564, i32 noundef 148)
  %909 = load ptr, ptr %1, align 8, !tbaa !5
  %910 = getelementptr inbounds i32, ptr %909, i64 0
  %911 = load i32, ptr %910, align 4, !tbaa !9
  %912 = sub i32 %911, 1
  %913 = zext i32 %912 to i64
  call void @UnityAssertEqualNumber(i64 noundef 3, i64 noundef %913, ptr noundef null, i64 noundef 565, i32 noundef 148)
  %914 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %914) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %915 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %916 = load i32, ptr %4, align 4, !tbaa !9
  %917 = load ptr, ptr %12, align 8, !tbaa !5
  %918 = getelementptr inbounds %struct.bpt_node, ptr %917, i32 0, i32 0
  %919 = load ptr, ptr %918, align 8, !tbaa !13
  %920 = load i32, ptr @ORDER, align 4, !tbaa !9
  %921 = add i32 6, %920
  %922 = add i32 %921, 2
  %923 = zext i32 %922 to i64
  %924 = getelementptr inbounds i32, ptr %919, i64 %923
  %925 = getelementptr inbounds i32, ptr %924, i64 3
  %926 = load i32, ptr %925, align 4, !tbaa !9
  %927 = sub i32 %926, 1
  %928 = call ptr %915(i32 noundef %916, i32 noundef %927, ptr noundef @giggle_data_handler)
  store ptr %928, ptr %8, align 8, !tbaa !5
  %929 = load ptr, ptr %8, align 8, !tbaa !5
  %930 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %929, i32 0, i32 0
  %931 = load ptr, ptr %930, align 8, !tbaa !17
  %932 = ptrtoint ptr %931 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %932, ptr noundef null, i64 noundef 572, i32 noundef 148)
  %933 = load ptr, ptr %8, align 8, !tbaa !5
  %934 = getelementptr inbounds %struct.wah_bpt_non_leading_data, ptr %933, i32 0, i32 1
  %935 = load ptr, ptr %934, align 8, !tbaa !15
  %936 = call i32 @wah_get_ints(ptr noundef %935, ptr noundef %1)
  store i32 %936, ptr %2, align 4, !tbaa !9
  %937 = load i32, ptr %2, align 4, !tbaa !9
  %938 = zext i32 %937 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %938, ptr noundef null, i64 noundef 574, i32 noundef 148)
  %939 = load ptr, ptr %1, align 8, !tbaa !5
  %940 = getelementptr inbounds i32, ptr %939, i64 0
  %941 = load i32, ptr %940, align 4, !tbaa !9
  %942 = sub i32 %941, 1
  %943 = zext i32 %942 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %943, ptr noundef null, i64 noundef 575, i32 noundef 148)
  %944 = load ptr, ptr %1, align 8, !tbaa !5
  %945 = getelementptr inbounds i32, ptr %944, i64 1
  %946 = load i32, ptr %945, align 4, !tbaa !9
  %947 = sub i32 %946, 1
  %948 = zext i32 %947 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %948, ptr noundef null, i64 noundef 576, i32 noundef 148)
  %949 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %949) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %950 = load i32, ptr %4, align 4, !tbaa !9
  %951 = call i32 @giggle_insert(i32 noundef %950, ptr noundef %5, i32 noundef 1, i32 noundef 7, i64 noundef 5)
  store i32 %951, ptr %6, align 4, !tbaa !9
  %952 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %953 = load i32, ptr %4, align 4, !tbaa !9
  %954 = load i32, ptr %5, align 4, !tbaa !9
  %955 = sub i32 %954, 1
  %956 = call ptr %952(i32 noundef %953, i32 noundef %955, ptr noundef @bpt_node_cache_handler)
  store ptr %956, ptr %7, align 8, !tbaa !5
  %957 = load ptr, ptr %7, align 8, !tbaa !5
  %958 = getelementptr inbounds %struct.bpt_node, ptr %957, i32 0, i32 0
  %959 = load ptr, ptr %958, align 8, !tbaa !13
  %960 = getelementptr inbounds i32, ptr %959, i64 5
  %961 = load i32, ptr %960, align 4, !tbaa !9
  %962 = zext i32 %961 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %962, ptr noundef null, i64 noundef 588, i32 noundef 148)
  %963 = load ptr, ptr %7, align 8, !tbaa !5
  %964 = getelementptr inbounds %struct.bpt_node, ptr %963, i32 0, i32 0
  %965 = load ptr, ptr %964, align 8, !tbaa !13
  %966 = getelementptr inbounds i32, ptr %965, i64 6
  %967 = getelementptr inbounds i32, ptr %966, i64 0
  %968 = load i32, ptr %967, align 4, !tbaa !9
  %969 = zext i32 %968 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %969, ptr noundef null, i64 noundef 589, i32 noundef 148)
  %970 = load ptr, ptr %7, align 8, !tbaa !5
  %971 = getelementptr inbounds %struct.bpt_node, ptr %970, i32 0, i32 0
  %972 = load ptr, ptr %971, align 8, !tbaa !13
  %973 = getelementptr inbounds i32, ptr %972, i64 6
  %974 = getelementptr inbounds i32, ptr %973, i64 1
  %975 = load i32, ptr %974, align 4, !tbaa !9
  %976 = zext i32 %975 to i64
  call void @UnityAssertEqualNumber(i64 noundef 6, i64 noundef %976, ptr noundef null, i64 noundef 590, i32 noundef 148)
  %977 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %978 = load i32, ptr %4, align 4, !tbaa !9
  %979 = load ptr, ptr %7, align 8, !tbaa !5
  %980 = getelementptr inbounds %struct.bpt_node, ptr %979, i32 0, i32 0
  %981 = load ptr, ptr %980, align 8, !tbaa !13
  %982 = load i32, ptr @ORDER, align 4, !tbaa !9
  %983 = add i32 6, %982
  %984 = add i32 %983, 2
  %985 = zext i32 %984 to i64
  %986 = getelementptr inbounds i32, ptr %981, i64 %985
  %987 = getelementptr inbounds i32, ptr %986, i64 0
  %988 = load i32, ptr %987, align 4, !tbaa !9
  %989 = sub i32 %988, 1
  %990 = call ptr %977(i32 noundef %978, i32 noundef %989, ptr noundef @bpt_node_cache_handler)
  store ptr %990, ptr %9, align 8, !tbaa !5
  %991 = load ptr, ptr %9, align 8, !tbaa !5
  %992 = getelementptr inbounds %struct.bpt_node, ptr %991, i32 0, i32 0
  %993 = load ptr, ptr %992, align 8, !tbaa !13
  %994 = getelementptr inbounds i32, ptr %993, i64 3
  %995 = load i32, ptr %994, align 4, !tbaa !9
  %996 = zext i32 %995 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %996, ptr noundef null, i64 noundef 594, i32 noundef 148)
  %997 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %998 = load i32, ptr %4, align 4, !tbaa !9
  %999 = load ptr, ptr %9, align 8, !tbaa !5
  %1000 = getelementptr inbounds %struct.bpt_node, ptr %999, i32 0, i32 0
  %1001 = load ptr, ptr %1000, align 8, !tbaa !13
  %1002 = getelementptr inbounds i32, ptr %1001, i64 4
  %1003 = load i32, ptr %1002, align 4, !tbaa !9
  %1004 = sub i32 %1003, 1
  %1005 = call ptr %997(i32 noundef %998, i32 noundef %1004, ptr noundef @bpt_node_cache_handler)
  store ptr %1005, ptr %12, align 8, !tbaa !5
  %1006 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %1007 = load i32, ptr %4, align 4, !tbaa !9
  %1008 = load ptr, ptr %12, align 8, !tbaa !5
  %1009 = getelementptr inbounds %struct.bpt_node, ptr %1008, i32 0, i32 0
  %1010 = load ptr, ptr %1009, align 8, !tbaa !13
  %1011 = getelementptr inbounds i32, ptr %1010, i64 3
  %1012 = load i32, ptr %1011, align 4, !tbaa !9
  %1013 = sub i32 %1012, 1
  %1014 = call ptr %1006(i32 noundef %1007, i32 noundef %1013, ptr noundef getelementptr inbounds (%struct.giggle_def, ptr @giggle_data_handler, i32 0, i32 1))
  store ptr %1014, ptr %11, align 8, !tbaa !5
  %1015 = load ptr, ptr %11, align 8, !tbaa !5
  %1016 = getelementptr inbounds %struct.wah_bpt_leading_data, ptr %1015, i32 0, i32 0
  %1017 = load ptr, ptr %1016, align 8, !tbaa !18
  %1018 = call i32 @wah_get_ints(ptr noundef %1017, ptr noundef %1)
  store i32 %1018, ptr %2, align 4, !tbaa !9
  %1019 = load i32, ptr %2, align 4, !tbaa !9
  %1020 = zext i32 %1019 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %1020, ptr noundef null, i64 noundef 603, i32 noundef 148)
  %1021 = load ptr, ptr %1, align 8, !tbaa !5
  %1022 = getelementptr inbounds i32, ptr %1021, i64 0
  %1023 = load i32, ptr %1022, align 4, !tbaa !9
  %1024 = sub i32 %1023, 1
  %1025 = zext i32 %1024 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %1025, ptr noundef null, i64 noundef 604, i32 noundef 148)
  %1026 = load ptr, ptr %1, align 8, !tbaa !5
  %1027 = getelementptr inbounds i32, ptr %1026, i64 1
  %1028 = load i32, ptr %1027, align 4, !tbaa !9
  %1029 = sub i32 %1028, 1
  %1030 = zext i32 %1029 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %1030, ptr noundef null, i64 noundef 605, i32 noundef 148)
  %1031 = load ptr, ptr %1, align 8, !tbaa !5
  %1032 = getelementptr inbounds i32, ptr %1031, i64 2
  %1033 = load i32, ptr %1032, align 4, !tbaa !9
  %1034 = sub i32 %1033, 1
  %1035 = zext i32 %1034 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %1035, ptr noundef null, i64 noundef 606, i32 noundef 148)
  %1036 = load ptr, ptr %1, align 8, !tbaa !5
  %1037 = getelementptr inbounds i32, ptr %1036, i64 3
  %1038 = load i32, ptr %1037, align 4, !tbaa !9
  %1039 = sub i32 %1038, 1
  %1040 = zext i32 %1039 to i64
  call void @UnityAssertEqualNumber(i64 noundef 5, i64 noundef %1040, ptr noundef null, i64 noundef 607, i32 noundef 148)
  %1041 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %1041) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %1042 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %1043 = load i32, ptr %4, align 4, !tbaa !9
  %1044 = load ptr, ptr %12, align 8, !tbaa !5
  %1045 = getelementptr inbounds %struct.bpt_node, ptr %1044, i32 0, i32 0
  %1046 = load ptr, ptr %1045, align 8, !tbaa !13
  %1047 = getelementptr inbounds i32, ptr %1046, i64 4
  %1048 = load i32, ptr %1047, align 4, !tbaa !9
  %1049 = sub i32 %1048, 1
  %1050 = call ptr %1042(i32 noundef %1043, i32 noundef %1049, ptr noundef @bpt_node_cache_handler)
  store ptr %1050, ptr %12, align 8, !tbaa !5
  %1051 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 3), align 8, !tbaa !11
  %1052 = load i32, ptr %4, align 4, !tbaa !9
  %1053 = load ptr, ptr %12, align 8, !tbaa !5
  %1054 = getelementptr inbounds %struct.bpt_node, ptr %1053, i32 0, i32 0
  %1055 = load ptr, ptr %1054, align 8, !tbaa !13
  %1056 = getelementptr inbounds i32, ptr %1055, i64 3
  %1057 = load i32, ptr %1056, align 4, !tbaa !9
  %1058 = sub i32 %1057, 1
  %1059 = call ptr %1051(i32 noundef %1052, i32 noundef %1058, ptr noundef getelementptr inbounds (%struct.giggle_def, ptr @giggle_data_handler, i32 0, i32 1))
  store ptr %1059, ptr %11, align 8, !tbaa !5
  %1060 = load ptr, ptr %11, align 8, !tbaa !5
  %1061 = getelementptr inbounds %struct.wah_bpt_leading_data, ptr %1060, i32 0, i32 0
  %1062 = load ptr, ptr %1061, align 8, !tbaa !18
  %1063 = call i32 @wah_get_ints(ptr noundef %1062, ptr noundef %1)
  store i32 %1063, ptr %2, align 4, !tbaa !9
  %1064 = load i32, ptr %2, align 4, !tbaa !9
  %1065 = zext i32 %1064 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %1065, ptr noundef null, i64 noundef 618, i32 noundef 148)
  %1066 = load ptr, ptr %1, align 8, !tbaa !5
  %1067 = getelementptr inbounds i32, ptr %1066, i64 0
  %1068 = load i32, ptr %1067, align 4, !tbaa !9
  %1069 = sub i32 %1068, 1
  %1070 = zext i32 %1069 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %1070, ptr noundef null, i64 noundef 619, i32 noundef 148)
  %1071 = load ptr, ptr %1, align 8, !tbaa !5
  %1072 = getelementptr inbounds i32, ptr %1071, i64 1
  %1073 = load i32, ptr %1072, align 4, !tbaa !9
  %1074 = sub i32 %1073, 1
  %1075 = zext i32 %1074 to i64
  call void @UnityAssertEqualNumber(i64 noundef 3, i64 noundef %1075, ptr noundef null, i64 noundef 620, i32 noundef 148)
  %1076 = load ptr, ptr %1, align 8, !tbaa !5
  %1077 = getelementptr inbounds i32, ptr %1076, i64 2
  %1078 = load i32, ptr %1077, align 4, !tbaa !9
  %1079 = sub i32 %1078, 1
  %1080 = zext i32 %1079 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %1080, ptr noundef null, i64 noundef 621, i32 noundef 148)
  %1081 = load ptr, ptr %1, align 8, !tbaa !5
  %1082 = getelementptr inbounds i32, ptr %1081, i64 3
  %1083 = load i32, ptr %1082, align 4, !tbaa !9
  %1084 = sub i32 %1083, 1
  %1085 = zext i32 %1084 to i64
  call void @UnityAssertEqualNumber(i64 noundef 5, i64 noundef %1085, ptr noundef null, i64 noundef 622, i32 noundef 148)
  %1086 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %1086) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %1087 = load ptr, ptr getelementptr inbounds (%struct.cache_def, ptr @cache, i32 0, i32 6), align 8, !tbaa !20
  call void (...) %1087()
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %2) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %1) #4
  ret void
}

declare void @wah_giggle_set_data_handler(...) #1

declare i32 @wah_get_ints(ptr noundef, ptr noundef) #1

; Function Attrs: nounwind
declare void @free(ptr noundef) #3

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !6, i64 24}
!12 = !{!"cache_def", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48}
!13 = !{!14, !6, i64 0}
!14 = !{!"bpt_node", !6, i64 0}
!15 = !{!16, !6, i64 8}
!16 = !{!"wah_bpt_non_leading_data", !6, i64 0, !6, i64 8}
!17 = !{!16, !6, i64 0}
!18 = !{!19, !6, i64 0}
!19 = !{!"wah_bpt_leading_data", !6, i64 0}
!20 = !{!12, !6, i64 48}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.cache_def = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%struct.cache_handler = type { ptr, ptr, ptr }
%struct.giggle_def = type { %struct.cache_handler, %struct.cache_handler, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }

@ORDER = external dso_local local_unnamed_addr global i32, align 4
@cache = external dso_local local_unnamed_addr global %struct.cache_def, align 8
@bpt_node_cache_handler = external dso_local global %struct.cache_handler, align 8
@.str = external hidden unnamed_addr constant [25 x i8], align 1
@giggle_data_handler = external dso_local global %struct.giggle_def, align 8

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #0

declare ptr @simple_cache_init(i32 noundef, i32 noundef, ptr noundef) local_unnamed_addr #1

declare i32 @giggle_insert(i32 noundef, ptr noundef, i32 noundef, i32 noundef, i64 noundef) local_unnamed_addr #1

declare void @UnityAssertEqualNumber(i64 noundef, i64 noundef, ptr noundef, i64 noundef, i32 noundef) local_unnamed_addr #1

declare void @UnityFail(ptr noundef, i64 noundef) local_unnamed_addr #1

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0

; Function Attrs: nounwind uwtable
define dso_local void @test_wah_giggle_insert() local_unnamed_addr #2 {
  %1 = alloca ptr, align 8
  %2 = alloca i32, align 4
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %1) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %3 = tail call ptr @simple_cache_init(i32 noundef 5, i32 noundef 1, ptr noundef null) #4
  tail call void (...) @wah_giggle_set_data_handler() #4
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %2) #4
  store i32 0, ptr %2, align 4, !tbaa !9
  %4 = call i32 @giggle_insert(i32 noundef 0, ptr noundef nonnull %2, i32 noundef 1, i32 noundef 3, i64 noundef 0) #4
  %5 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %6 = load i32, ptr %2, align 4, !tbaa !9
  %7 = add i32 %6, -1
  %8 = call ptr %5(i32 noundef 0, i32 noundef %7, ptr noundef nonnull @bpt_node_cache_handler) #4
  %9 = load ptr, ptr %8, align 8, !tbaa !13
  %10 = getelementptr inbounds i8, ptr %9, i64 20
  %11 = load i32, ptr %10, align 4, !tbaa !9
  %12 = zext i32 %11 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %12, ptr noundef null, i64 noundef 295, i32 noundef 148) #4
  %13 = load ptr, ptr %8, align 8, !tbaa !13
  %14 = getelementptr inbounds i8, ptr %13, i64 24
  %15 = load i32, ptr %14, align 4, !tbaa !9
  %16 = zext i32 %15 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %16, ptr noundef null, i64 noundef 296, i32 noundef 148) #4
  %17 = load ptr, ptr %8, align 8, !tbaa !13
  %18 = getelementptr inbounds i8, ptr %17, i64 28
  %19 = load i32, ptr %18, align 4, !tbaa !9
  %20 = zext i32 %19 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %20, ptr noundef null, i64 noundef 297, i32 noundef 148) #4
  %21 = call i32 @giggle_insert(i32 noundef 0, ptr noundef nonnull %2, i32 noundef 2, i32 noundef 4, i64 noundef 1) #4
  %22 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %23 = load i32, ptr %2, align 4, !tbaa !9
  %24 = add i32 %23, -1
  %25 = call ptr %22(i32 noundef 0, i32 noundef %24, ptr noundef nonnull @bpt_node_cache_handler) #4
  %26 = load ptr, ptr %25, align 8, !tbaa !13
  %27 = getelementptr inbounds i8, ptr %26, i64 20
  %28 = load i32, ptr %27, align 4, !tbaa !9
  %29 = zext i32 %28 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %29, ptr noundef null, i64 noundef 303, i32 noundef 148) #4
  %30 = load ptr, ptr %25, align 8, !tbaa !13
  %31 = getelementptr inbounds i8, ptr %30, i64 24
  %32 = load i32, ptr %31, align 4, !tbaa !9
  %33 = zext i32 %32 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %33, ptr noundef null, i64 noundef 304, i32 noundef 148) #4
  %34 = load ptr, ptr %25, align 8, !tbaa !13
  %35 = getelementptr inbounds i8, ptr %34, i64 28
  %36 = load i32, ptr %35, align 4, !tbaa !9
  %37 = zext i32 %36 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %37, ptr noundef null, i64 noundef 305, i32 noundef 148) #4
  %38 = load ptr, ptr %25, align 8, !tbaa !13
  %39 = getelementptr inbounds i8, ptr %38, i64 32
  %40 = load i32, ptr %39, align 4, !tbaa !9
  %41 = zext i32 %40 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %41, ptr noundef null, i64 noundef 306, i32 noundef 148) #4
  %42 = load ptr, ptr %25, align 8, !tbaa !13
  %43 = getelementptr inbounds i8, ptr %42, i64 36
  %44 = load i32, ptr %43, align 4, !tbaa !9
  %45 = zext i32 %44 to i64
  call void @UnityAssertEqualNumber(i64 noundef 5, i64 noundef %45, ptr noundef null, i64 noundef 307, i32 noundef 148) #4
  %46 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %47 = load ptr, ptr %25, align 8, !tbaa !13
  %48 = load i32, ptr @ORDER, align 4, !tbaa !9
  %49 = add i32 %48, 8
  %50 = zext i32 %49 to i64
  %51 = getelementptr inbounds i32, ptr %47, i64 %50
  %52 = load i32, ptr %51, align 4, !tbaa !9
  %53 = add i32 %52, -1
  %54 = call ptr %46(i32 noundef 0, i32 noundef %53, ptr noundef nonnull @giggle_data_handler) #4
  %55 = getelementptr inbounds i8, ptr %54, i64 8
  %56 = load ptr, ptr %55, align 8, !tbaa !15
  %57 = ptrtoint ptr %56 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %57, ptr noundef null, i64 noundef 313, i32 noundef 148) #4
  %58 = load ptr, ptr %54, align 8, !tbaa !17
  %59 = call i32 @wah_get_ints(ptr noundef %58, ptr noundef nonnull %1) #4
  %60 = zext i32 %59 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %60, ptr noundef null, i64 noundef 315, i32 noundef 148) #4
  %61 = load ptr, ptr %1, align 8, !tbaa !5
  %62 = load i32, ptr %61, align 4, !tbaa !9
  %63 = add i32 %62, -1
  %64 = zext i32 %63 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %64, ptr noundef null, i64 noundef 316, i32 noundef 148) #4
  %65 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %65) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %66 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %67 = load ptr, ptr %25, align 8, !tbaa !13
  %68 = load i32, ptr @ORDER, align 4, !tbaa !9
  %69 = add i32 %68, 8
  %70 = zext i32 %69 to i64
  %71 = getelementptr inbounds i32, ptr %67, i64 %70
  %72 = getelementptr inbounds i8, ptr %71, i64 4
  %73 = load i32, ptr %72, align 4, !tbaa !9
  %74 = add i32 %73, -1
  %75 = call ptr %66(i32 noundef 0, i32 noundef %74, ptr noundef nonnull @giggle_data_handler) #4
  %76 = getelementptr inbounds i8, ptr %75, i64 8
  %77 = load ptr, ptr %76, align 8, !tbaa !15
  %78 = ptrtoint ptr %77 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %78, ptr noundef null, i64 noundef 323, i32 noundef 148) #4
  %79 = load ptr, ptr %75, align 8, !tbaa !17
  %80 = call i32 @wah_get_ints(ptr noundef %79, ptr noundef nonnull %1) #4
  %81 = zext i32 %80 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %81, ptr noundef null, i64 noundef 325, i32 noundef 148) #4
  %82 = load ptr, ptr %1, align 8, !tbaa !5
  %83 = load i32, ptr %82, align 4, !tbaa !9
  %84 = add i32 %83, -1
  %85 = zext i32 %84 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %85, ptr noundef null, i64 noundef 326, i32 noundef 148) #4
  %86 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %86) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %87 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %88 = load ptr, ptr %25, align 8, !tbaa !13
  %89 = load i32, ptr @ORDER, align 4, !tbaa !9
  %90 = add i32 %89, 8
  %91 = zext i32 %90 to i64
  %92 = getelementptr inbounds i32, ptr %88, i64 %91
  %93 = getelementptr inbounds i8, ptr %92, i64 8
  %94 = load i32, ptr %93, align 4, !tbaa !9
  %95 = add i32 %94, -1
  %96 = call ptr %87(i32 noundef 0, i32 noundef %95, ptr noundef nonnull @giggle_data_handler) #4
  %97 = load ptr, ptr %96, align 8, !tbaa !17
  %98 = ptrtoint ptr %97 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %98, ptr noundef null, i64 noundef 333, i32 noundef 148) #4
  %99 = getelementptr inbounds i8, ptr %96, i64 8
  %100 = load ptr, ptr %99, align 8, !tbaa !15
  %101 = call i32 @wah_get_ints(ptr noundef %100, ptr noundef nonnull %1) #4
  %102 = zext i32 %101 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %102, ptr noundef null, i64 noundef 335, i32 noundef 148) #4
  %103 = load ptr, ptr %1, align 8, !tbaa !5
  %104 = load i32, ptr %103, align 4, !tbaa !9
  %105 = add i32 %104, -1
  %106 = zext i32 %105 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %106, ptr noundef null, i64 noundef 336, i32 noundef 148) #4
  %107 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %107) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %108 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %109 = load ptr, ptr %25, align 8, !tbaa !13
  %110 = load i32, ptr @ORDER, align 4, !tbaa !9
  %111 = add i32 %110, 8
  %112 = zext i32 %111 to i64
  %113 = getelementptr inbounds i32, ptr %109, i64 %112
  %114 = getelementptr inbounds i8, ptr %113, i64 12
  %115 = load i32, ptr %114, align 4, !tbaa !9
  %116 = add i32 %115, -1
  %117 = call ptr %108(i32 noundef 0, i32 noundef %116, ptr noundef nonnull @giggle_data_handler) #4
  %118 = load ptr, ptr %117, align 8, !tbaa !17
  %119 = ptrtoint ptr %118 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %119, ptr noundef null, i64 noundef 343, i32 noundef 148) #4
  %120 = getelementptr inbounds i8, ptr %117, i64 8
  %121 = load ptr, ptr %120, align 8, !tbaa !15
  %122 = call i32 @wah_get_ints(ptr noundef %121, ptr noundef nonnull %1) #4
  %123 = zext i32 %122 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %123, ptr noundef null, i64 noundef 345, i32 noundef 148) #4
  %124 = load ptr, ptr %1, align 8, !tbaa !5
  %125 = load i32, ptr %124, align 4, !tbaa !9
  %126 = add i32 %125, -1
  %127 = zext i32 %126 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %127, ptr noundef null, i64 noundef 346, i32 noundef 148) #4
  %128 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %128) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %129 = call i32 @giggle_insert(i32 noundef 0, ptr noundef nonnull %2, i32 noundef 4, i32 noundef 6, i64 noundef 2) #4
  %130 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %131 = load i32, ptr %2, align 4, !tbaa !9
  %132 = add i32 %131, -1
  %133 = call ptr %130(i32 noundef 0, i32 noundef %132, ptr noundef nonnull @bpt_node_cache_handler) #4
  %134 = load ptr, ptr %133, align 8, !tbaa !13
  %135 = getelementptr inbounds i8, ptr %134, i64 20
  %136 = load i32, ptr %135, align 4, !tbaa !9
  %137 = zext i32 %136 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %137, ptr noundef null, i64 noundef 354, i32 noundef 148) #4
  %138 = load ptr, ptr %133, align 8, !tbaa !13
  %139 = getelementptr inbounds i8, ptr %138, i64 24
  %140 = load i32, ptr %139, align 4, !tbaa !9
  %141 = zext i32 %140 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %141, ptr noundef null, i64 noundef 355, i32 noundef 148) #4
  %142 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %143 = load ptr, ptr %133, align 8, !tbaa !13
  %144 = load i32, ptr @ORDER, align 4, !tbaa !9
  %145 = add i32 %144, 8
  %146 = zext i32 %145 to i64
  %147 = getelementptr inbounds i32, ptr %143, i64 %146
  %148 = load i32, ptr %147, align 4, !tbaa !9
  %149 = add i32 %148, -1
  %150 = call ptr %142(i32 noundef 0, i32 noundef %149, ptr noundef nonnull @bpt_node_cache_handler) #4
  %151 = load ptr, ptr %150, align 8, !tbaa !13
  %152 = getelementptr inbounds i8, ptr %151, i64 20
  %153 = load i32, ptr %152, align 4, !tbaa !9
  %154 = zext i32 %153 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %154, ptr noundef null, i64 noundef 360, i32 noundef 148) #4
  %155 = load ptr, ptr %150, align 8, !tbaa !13
  %156 = getelementptr inbounds i8, ptr %155, i64 24
  %157 = load i32, ptr %156, align 4, !tbaa !9
  %158 = zext i32 %157 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %158, ptr noundef null, i64 noundef 361, i32 noundef 148) #4
  %159 = load ptr, ptr %150, align 8, !tbaa !13
  %160 = getelementptr inbounds i8, ptr %159, i64 28
  %161 = load i32, ptr %160, align 4, !tbaa !9
  %162 = zext i32 %161 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %162, ptr noundef null, i64 noundef 362, i32 noundef 148) #4
  %163 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %164 = load ptr, ptr %133, align 8, !tbaa !13
  %165 = load i32, ptr @ORDER, align 4, !tbaa !9
  %166 = add i32 %165, 8
  %167 = zext i32 %166 to i64
  %168 = getelementptr inbounds i32, ptr %164, i64 %167
  %169 = getelementptr inbounds i8, ptr %168, i64 4
  %170 = load i32, ptr %169, align 4, !tbaa !9
  %171 = add i32 %170, -1
  %172 = call ptr %163(i32 noundef 0, i32 noundef %171, ptr noundef nonnull @bpt_node_cache_handler) #4
  %173 = load ptr, ptr %172, align 8, !tbaa !13
  %174 = load i32, ptr %173, align 4, !tbaa !9
  %175 = zext i32 %174 to i64
  %176 = load ptr, ptr %150, align 8, !tbaa !13
  %177 = getelementptr inbounds i8, ptr %176, i64 16
  %178 = load i32, ptr %177, align 4, !tbaa !9
  %179 = zext i32 %178 to i64
  call void @UnityAssertEqualNumber(i64 noundef %175, i64 noundef %179, ptr noundef null, i64 noundef 367, i32 noundef 148) #4
  %180 = load ptr, ptr %172, align 8, !tbaa !13
  %181 = getelementptr inbounds i8, ptr %180, i64 20
  %182 = load i32, ptr %181, align 4, !tbaa !9
  %183 = zext i32 %182 to i64
  call void @UnityAssertEqualNumber(i64 noundef 3, i64 noundef %183, ptr noundef null, i64 noundef 369, i32 noundef 148) #4
  %184 = load ptr, ptr %172, align 8, !tbaa !13
  %185 = getelementptr inbounds i8, ptr %184, i64 24
  %186 = load i32, ptr %185, align 4, !tbaa !9
  %187 = zext i32 %186 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %187, ptr noundef null, i64 noundef 370, i32 noundef 148) #4
  %188 = load ptr, ptr %172, align 8, !tbaa !13
  %189 = getelementptr inbounds i8, ptr %188, i64 28
  %190 = load i32, ptr %189, align 4, !tbaa !9
  %191 = zext i32 %190 to i64
  call void @UnityAssertEqualNumber(i64 noundef 5, i64 noundef %191, ptr noundef null, i64 noundef 371, i32 noundef 148) #4
  %192 = load ptr, ptr %172, align 8, !tbaa !13
  %193 = getelementptr inbounds i8, ptr %192, i64 32
  %194 = load i32, ptr %193, align 4, !tbaa !9
  %195 = zext i32 %194 to i64
  call void @UnityAssertEqualNumber(i64 noundef 7, i64 noundef %195, ptr noundef null, i64 noundef 372, i32 noundef 148) #4
  %196 = load ptr, ptr %150, align 8, !tbaa !13
  %197 = getelementptr inbounds i8, ptr %196, i64 12
  %198 = load i32, ptr %197, align 4, !tbaa !9
  %199 = zext i32 %198 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %199, ptr noundef null, i64 noundef 373, i32 noundef 148) #4
  %200 = load ptr, ptr %172, align 8, !tbaa !13
  %201 = getelementptr inbounds i8, ptr %200, i64 12
  %202 = load i32, ptr %201, align 4, !tbaa !9
  %.not = icmp eq i32 %202, 0
  br i1 %.not, label %203, label %204

203:                                              ; preds = %0
  call void @UnityFail(ptr noundef nonnull @.str, i64 noundef 374) #4
  %.pre = load ptr, ptr %172, align 8, !tbaa !13
  %.phi.trans.insert = getelementptr inbounds i8, ptr %.pre, i64 12
  %.pre169 = load i32, ptr %.phi.trans.insert, align 4, !tbaa !9
  br label %204

204:                                              ; preds = %0, %203
  %205 = phi i32 [ %202, %0 ], [ %.pre169, %203 ]
  %206 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %207 = add i32 %205, -1
  %208 = call ptr %206(i32 noundef 0, i32 noundef %207, ptr noundef nonnull getelementptr inbounds (i8, ptr @giggle_data_handler, i64 24)) #4
  %209 = load ptr, ptr %208, align 8, !tbaa !18
  %210 = call i32 @wah_get_ints(ptr noundef %209, ptr noundef nonnull %1) #4
  %211 = zext i32 %210 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %211, ptr noundef null, i64 noundef 382, i32 noundef 148) #4
  %212 = load ptr, ptr %1, align 8, !tbaa !5
  %213 = load i32, ptr %212, align 4, !tbaa !9
  %214 = add i32 %213, -1
  %215 = zext i32 %214 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %215, ptr noundef null, i64 noundef 383, i32 noundef 148) #4
  %216 = load ptr, ptr %1, align 8, !tbaa !5
  %217 = getelementptr inbounds i8, ptr %216, i64 4
  %218 = load i32, ptr %217, align 4, !tbaa !9
  %219 = add i32 %218, -1
  %220 = zext i32 %219 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %220, ptr noundef null, i64 noundef 384, i32 noundef 148) #4
  %221 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %221) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %222 = call i32 @giggle_insert(i32 noundef 0, ptr noundef nonnull %2, i32 noundef 4, i32 noundef 5, i64 noundef 3) #4
  %223 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %224 = load ptr, ptr %133, align 8, !tbaa !13
  %225 = load i32, ptr @ORDER, align 4, !tbaa !9
  %226 = add i32 %225, 8
  %227 = zext i32 %226 to i64
  %228 = getelementptr inbounds i32, ptr %224, i64 %227
  %229 = load i32, ptr %228, align 4, !tbaa !9
  %230 = add i32 %229, -1
  %231 = call ptr %223(i32 noundef 0, i32 noundef %230, ptr noundef nonnull @bpt_node_cache_handler) #4
  %232 = load ptr, ptr %231, align 8, !tbaa !13
  %233 = getelementptr inbounds i8, ptr %232, i64 12
  %234 = load i32, ptr %233, align 4, !tbaa !9
  %235 = zext i32 %234 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %235, ptr noundef null, i64 noundef 394, i32 noundef 148) #4
  %236 = load ptr, ptr %231, align 8, !tbaa !13
  %237 = getelementptr inbounds i8, ptr %236, i64 20
  %238 = load i32, ptr %237, align 4, !tbaa !9
  %239 = zext i32 %238 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %239, ptr noundef null, i64 noundef 395, i32 noundef 148) #4
  %240 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %241 = load ptr, ptr %231, align 8, !tbaa !13
  %242 = load i32, ptr @ORDER, align 4, !tbaa !9
  %243 = add i32 %242, 8
  %244 = zext i32 %243 to i64
  %245 = getelementptr inbounds i32, ptr %241, i64 %244
  %246 = load i32, ptr %245, align 4, !tbaa !9
  %247 = add i32 %246, -1
  %248 = call ptr %240(i32 noundef 0, i32 noundef %247, ptr noundef nonnull @giggle_data_handler) #4
  %249 = getelementptr inbounds i8, ptr %248, i64 8
  %250 = load ptr, ptr %249, align 8, !tbaa !15
  %251 = ptrtoint ptr %250 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %251, ptr noundef null, i64 noundef 400, i32 noundef 148) #4
  %252 = load ptr, ptr %248, align 8, !tbaa !17
  %253 = call i32 @wah_get_ints(ptr noundef %252, ptr noundef nonnull %1) #4
  %254 = zext i32 %253 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %254, ptr noundef null, i64 noundef 402, i32 noundef 148) #4
  %255 = load ptr, ptr %1, align 8, !tbaa !5
  %256 = load i32, ptr %255, align 4, !tbaa !9
  %257 = add i32 %256, -1
  %258 = zext i32 %257 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %258, ptr noundef null, i64 noundef 403, i32 noundef 148) #4
  %259 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %259) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %260 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %261 = load ptr, ptr %231, align 8, !tbaa !13
  %262 = load i32, ptr @ORDER, align 4, !tbaa !9
  %263 = add i32 %262, 8
  %264 = zext i32 %263 to i64
  %265 = getelementptr inbounds i32, ptr %261, i64 %264
  %266 = getelementptr inbounds i8, ptr %265, i64 4
  %267 = load i32, ptr %266, align 4, !tbaa !9
  %268 = add i32 %267, -1
  %269 = call ptr %260(i32 noundef 0, i32 noundef %268, ptr noundef nonnull @giggle_data_handler) #4
  %270 = getelementptr inbounds i8, ptr %269, i64 8
  %271 = load ptr, ptr %270, align 8, !tbaa !15
  %272 = ptrtoint ptr %271 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %272, ptr noundef null, i64 noundef 410, i32 noundef 148) #4
  %273 = load ptr, ptr %269, align 8, !tbaa !17
  %274 = call i32 @wah_get_ints(ptr noundef %273, ptr noundef nonnull %1) #4
  %275 = zext i32 %274 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %275, ptr noundef null, i64 noundef 412, i32 noundef 148) #4
  %276 = load ptr, ptr %1, align 8, !tbaa !5
  %277 = load i32, ptr %276, align 4, !tbaa !9
  %278 = add i32 %277, -1
  %279 = zext i32 %278 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %279, ptr noundef null, i64 noundef 413, i32 noundef 148) #4
  %280 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %280) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %281 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %282 = load ptr, ptr %231, align 8, !tbaa !13
  %283 = getelementptr inbounds i8, ptr %282, i64 16
  %284 = load i32, ptr %283, align 4, !tbaa !9
  %285 = add i32 %284, -1
  %286 = call ptr %281(i32 noundef 0, i32 noundef %285, ptr noundef nonnull @bpt_node_cache_handler) #4
  %287 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %288 = load ptr, ptr %286, align 8, !tbaa !13
  %289 = getelementptr inbounds i8, ptr %288, i64 12
  %290 = load i32, ptr %289, align 4, !tbaa !9
  %291 = add i32 %290, -1
  %292 = call ptr %287(i32 noundef 0, i32 noundef %291, ptr noundef nonnull getelementptr inbounds (i8, ptr @giggle_data_handler, i64 24)) #4
  %293 = load ptr, ptr %292, align 8, !tbaa !18
  %294 = call i32 @wah_get_ints(ptr noundef %293, ptr noundef nonnull %1) #4
  %295 = zext i32 %294 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %295, ptr noundef null, i64 noundef 425, i32 noundef 148) #4
  %296 = load ptr, ptr %1, align 8, !tbaa !5
  %297 = load i32, ptr %296, align 4, !tbaa !9
  %298 = add i32 %297, -1
  %299 = zext i32 %298 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %299, ptr noundef null, i64 noundef 426, i32 noundef 148) #4
  %300 = load ptr, ptr %1, align 8, !tbaa !5
  %301 = getelementptr inbounds i8, ptr %300, i64 4
  %302 = load i32, ptr %301, align 4, !tbaa !9
  %303 = add i32 %302, -1
  %304 = zext i32 %303 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %304, ptr noundef null, i64 noundef 427, i32 noundef 148) #4
  %305 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %305) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %306 = load ptr, ptr %286, align 8, !tbaa !13
  %307 = getelementptr inbounds i8, ptr %306, i64 20
  %308 = load i32, ptr %307, align 4, !tbaa !9
  %309 = zext i32 %308 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %309, ptr noundef null, i64 noundef 430, i32 noundef 148) #4
  %310 = load ptr, ptr %286, align 8, !tbaa !13
  %311 = getelementptr inbounds i8, ptr %310, i64 24
  %312 = load i32, ptr %311, align 4, !tbaa !9
  %313 = zext i32 %312 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %313, ptr noundef null, i64 noundef 431, i32 noundef 148) #4
  %314 = load ptr, ptr %286, align 8, !tbaa !13
  %315 = getelementptr inbounds i8, ptr %314, i64 28
  %316 = load i32, ptr %315, align 4, !tbaa !9
  %317 = zext i32 %316 to i64
  call void @UnityAssertEqualNumber(i64 noundef 5, i64 noundef %317, ptr noundef null, i64 noundef 432, i32 noundef 148) #4
  %318 = load ptr, ptr %286, align 8, !tbaa !13
  %319 = getelementptr inbounds i8, ptr %318, i64 32
  %320 = load i32, ptr %319, align 4, !tbaa !9
  %321 = zext i32 %320 to i64
  call void @UnityAssertEqualNumber(i64 noundef 6, i64 noundef %321, ptr noundef null, i64 noundef 433, i32 noundef 148) #4
  %322 = load ptr, ptr %286, align 8, !tbaa !13
  %323 = getelementptr inbounds i8, ptr %322, i64 36
  %324 = load i32, ptr %323, align 4, !tbaa !9
  %325 = zext i32 %324 to i64
  call void @UnityAssertEqualNumber(i64 noundef 7, i64 noundef %325, ptr noundef null, i64 noundef 434, i32 noundef 148) #4
  %326 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %327 = load ptr, ptr %286, align 8, !tbaa !13
  %328 = load i32, ptr @ORDER, align 4, !tbaa !9
  %329 = add i32 %328, 8
  %330 = zext i32 %329 to i64
  %331 = getelementptr inbounds i32, ptr %327, i64 %330
  %332 = load i32, ptr %331, align 4, !tbaa !9
  %333 = add i32 %332, -1
  %334 = call ptr %326(i32 noundef 0, i32 noundef %333, ptr noundef nonnull @giggle_data_handler) #4
  %335 = load ptr, ptr %334, align 8, !tbaa !17
  %336 = call i32 @wah_get_ints(ptr noundef %335, ptr noundef nonnull %1) #4
  %337 = zext i32 %336 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %337, ptr noundef null, i64 noundef 440, i32 noundef 148) #4
  %338 = load ptr, ptr %1, align 8, !tbaa !5
  %339 = load i32, ptr %338, align 4, !tbaa !9
  %340 = add i32 %339, -1
  %341 = zext i32 %340 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %341, ptr noundef null, i64 noundef 441, i32 noundef 148) #4
  %342 = load ptr, ptr %1, align 8, !tbaa !5
  %343 = getelementptr inbounds i8, ptr %342, i64 4
  %344 = load i32, ptr %343, align 4, !tbaa !9
  %345 = add i32 %344, -1
  %346 = zext i32 %345 to i64
  call void @UnityAssertEqualNumber(i64 noundef 3, i64 noundef %346, ptr noundef null, i64 noundef 442, i32 noundef 148) #4
  %347 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %347) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %348 = getelementptr inbounds i8, ptr %334, i64 8
  %349 = load ptr, ptr %348, align 8, !tbaa !15
  %350 = call i32 @wah_get_ints(ptr noundef %349, ptr noundef nonnull %1) #4
  %351 = zext i32 %350 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %351, ptr noundef null, i64 noundef 446, i32 noundef 148) #4
  %352 = load ptr, ptr %1, align 8, !tbaa !5
  %353 = load i32, ptr %352, align 4, !tbaa !9
  %354 = add i32 %353, -1
  %355 = zext i32 %354 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %355, ptr noundef null, i64 noundef 447, i32 noundef 148) #4
  %356 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %356) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %357 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %358 = load ptr, ptr %286, align 8, !tbaa !13
  %359 = load i32, ptr @ORDER, align 4, !tbaa !9
  %360 = add i32 %359, 8
  %361 = zext i32 %360 to i64
  %362 = getelementptr inbounds i32, ptr %358, i64 %361
  %363 = getelementptr inbounds i8, ptr %362, i64 4
  %364 = load i32, ptr %363, align 4, !tbaa !9
  %365 = add i32 %364, -1
  %366 = call ptr %357(i32 noundef 0, i32 noundef %365, ptr noundef nonnull @giggle_data_handler) #4
  %367 = load ptr, ptr %366, align 8, !tbaa !17
  %368 = ptrtoint ptr %367 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %368, ptr noundef null, i64 noundef 454, i32 noundef 148) #4
  %369 = getelementptr inbounds i8, ptr %366, i64 8
  %370 = load ptr, ptr %369, align 8, !tbaa !15
  %371 = call i32 @wah_get_ints(ptr noundef %370, ptr noundef nonnull %1) #4
  %372 = zext i32 %371 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %372, ptr noundef null, i64 noundef 456, i32 noundef 148) #4
  %373 = load ptr, ptr %1, align 8, !tbaa !5
  %374 = load i32, ptr %373, align 4, !tbaa !9
  %375 = add i32 %374, -1
  %376 = zext i32 %375 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %376, ptr noundef null, i64 noundef 457, i32 noundef 148) #4
  %377 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %377) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %378 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %379 = load ptr, ptr %286, align 8, !tbaa !13
  %380 = load i32, ptr @ORDER, align 4, !tbaa !9
  %381 = add i32 %380, 8
  %382 = zext i32 %381 to i64
  %383 = getelementptr inbounds i32, ptr %379, i64 %382
  %384 = getelementptr inbounds i8, ptr %383, i64 8
  %385 = load i32, ptr %384, align 4, !tbaa !9
  %386 = add i32 %385, -1
  %387 = call ptr %378(i32 noundef 0, i32 noundef %386, ptr noundef nonnull @giggle_data_handler) #4
  %388 = load ptr, ptr %387, align 8, !tbaa !17
  %389 = ptrtoint ptr %388 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %389, ptr noundef null, i64 noundef 464, i32 noundef 148) #4
  %390 = getelementptr inbounds i8, ptr %387, i64 8
  %391 = load ptr, ptr %390, align 8, !tbaa !15
  %392 = call i32 @wah_get_ints(ptr noundef %391, ptr noundef nonnull %1) #4
  %393 = zext i32 %392 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %393, ptr noundef null, i64 noundef 466, i32 noundef 148) #4
  %394 = load ptr, ptr %1, align 8, !tbaa !5
  %395 = load i32, ptr %394, align 4, !tbaa !9
  %396 = add i32 %395, -1
  %397 = zext i32 %396 to i64
  call void @UnityAssertEqualNumber(i64 noundef 3, i64 noundef %397, ptr noundef null, i64 noundef 467, i32 noundef 148) #4
  %398 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %398) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %399 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %400 = load ptr, ptr %286, align 8, !tbaa !13
  %401 = load i32, ptr @ORDER, align 4, !tbaa !9
  %402 = add i32 %401, 8
  %403 = zext i32 %402 to i64
  %404 = getelementptr inbounds i32, ptr %400, i64 %403
  %405 = getelementptr inbounds i8, ptr %404, i64 12
  %406 = load i32, ptr %405, align 4, !tbaa !9
  %407 = add i32 %406, -1
  %408 = call ptr %399(i32 noundef 0, i32 noundef %407, ptr noundef nonnull @giggle_data_handler) #4
  %409 = load ptr, ptr %408, align 8, !tbaa !17
  %410 = ptrtoint ptr %409 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %410, ptr noundef null, i64 noundef 474, i32 noundef 148) #4
  %411 = getelementptr inbounds i8, ptr %408, i64 8
  %412 = load ptr, ptr %411, align 8, !tbaa !15
  %413 = call i32 @wah_get_ints(ptr noundef %412, ptr noundef nonnull %1) #4
  %414 = zext i32 %413 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %414, ptr noundef null, i64 noundef 476, i32 noundef 148) #4
  %415 = load ptr, ptr %1, align 8, !tbaa !5
  %416 = load i32, ptr %415, align 4, !tbaa !9
  %417 = add i32 %416, -1
  %418 = zext i32 %417 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %418, ptr noundef null, i64 noundef 477, i32 noundef 148) #4
  %419 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %419) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %420 = call i32 @giggle_insert(i32 noundef 0, ptr noundef nonnull %2, i32 noundef 1, i32 noundef 6, i64 noundef 4) #4
  %421 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %422 = load i32, ptr %2, align 4, !tbaa !9
  %423 = add i32 %422, -1
  %424 = call ptr %421(i32 noundef 0, i32 noundef %423, ptr noundef nonnull @bpt_node_cache_handler) #4
  %425 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %426 = load ptr, ptr %424, align 8, !tbaa !13
  %427 = load i32, ptr @ORDER, align 4, !tbaa !9
  %428 = add i32 %427, 8
  %429 = zext i32 %428 to i64
  %430 = getelementptr inbounds i32, ptr %426, i64 %429
  %431 = load i32, ptr %430, align 4, !tbaa !9
  %432 = add i32 %431, -1
  %433 = call ptr %425(i32 noundef 0, i32 noundef %432, ptr noundef nonnull @bpt_node_cache_handler) #4
  %434 = load ptr, ptr %433, align 8, !tbaa !13
  %435 = getelementptr inbounds i8, ptr %434, i64 12
  %436 = load i32, ptr %435, align 4, !tbaa !9
  %437 = zext i32 %436 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %437, ptr noundef null, i64 noundef 490, i32 noundef 148) #4
  %438 = load ptr, ptr %433, align 8, !tbaa !13
  %439 = getelementptr inbounds i8, ptr %438, i64 20
  %440 = load i32, ptr %439, align 4, !tbaa !9
  %441 = zext i32 %440 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %441, ptr noundef null, i64 noundef 491, i32 noundef 148) #4
  %442 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %443 = load ptr, ptr %433, align 8, !tbaa !13
  %444 = load i32, ptr @ORDER, align 4, !tbaa !9
  %445 = add i32 %444, 8
  %446 = zext i32 %445 to i64
  %447 = getelementptr inbounds i32, ptr %443, i64 %446
  %448 = load i32, ptr %447, align 4, !tbaa !9
  %449 = add i32 %448, -1
  %450 = call ptr %442(i32 noundef 0, i32 noundef %449, ptr noundef nonnull @giggle_data_handler) #4
  %451 = getelementptr inbounds i8, ptr %450, i64 8
  %452 = load ptr, ptr %451, align 8, !tbaa !15
  %453 = ptrtoint ptr %452 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %453, ptr noundef null, i64 noundef 496, i32 noundef 148) #4
  %454 = load ptr, ptr %450, align 8, !tbaa !17
  %455 = call i32 @wah_get_ints(ptr noundef %454, ptr noundef nonnull %1) #4
  %456 = zext i32 %455 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %456, ptr noundef null, i64 noundef 498, i32 noundef 148) #4
  %457 = load ptr, ptr %1, align 8, !tbaa !5
  %458 = load i32, ptr %457, align 4, !tbaa !9
  %459 = add i32 %458, -1
  %460 = zext i32 %459 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %460, ptr noundef null, i64 noundef 499, i32 noundef 148) #4
  %461 = load ptr, ptr %1, align 8, !tbaa !5
  %462 = getelementptr inbounds i8, ptr %461, i64 4
  %463 = load i32, ptr %462, align 4, !tbaa !9
  %464 = add i32 %463, -1
  %465 = zext i32 %464 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %465, ptr noundef null, i64 noundef 500, i32 noundef 148) #4
  %466 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %466) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %467 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %468 = load ptr, ptr %433, align 8, !tbaa !13
  %469 = load i32, ptr @ORDER, align 4, !tbaa !9
  %470 = add i32 %469, 8
  %471 = zext i32 %470 to i64
  %472 = getelementptr inbounds i32, ptr %468, i64 %471
  %473 = getelementptr inbounds i8, ptr %472, i64 4
  %474 = load i32, ptr %473, align 4, !tbaa !9
  %475 = add i32 %474, -1
  %476 = call ptr %467(i32 noundef 0, i32 noundef %475, ptr noundef nonnull @giggle_data_handler) #4
  %477 = getelementptr inbounds i8, ptr %476, i64 8
  %478 = load ptr, ptr %477, align 8, !tbaa !15
  %479 = ptrtoint ptr %478 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %479, ptr noundef null, i64 noundef 507, i32 noundef 148) #4
  %480 = load ptr, ptr %476, align 8, !tbaa !17
  %481 = call i32 @wah_get_ints(ptr noundef %480, ptr noundef nonnull %1) #4
  %482 = zext i32 %481 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %482, ptr noundef null, i64 noundef 509, i32 noundef 148) #4
  %483 = load ptr, ptr %1, align 8, !tbaa !5
  %484 = load i32, ptr %483, align 4, !tbaa !9
  %485 = add i32 %484, -1
  %486 = zext i32 %485 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %486, ptr noundef null, i64 noundef 510, i32 noundef 148) #4
  %487 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %487) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %488 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %489 = load ptr, ptr %433, align 8, !tbaa !13
  %490 = getelementptr inbounds i8, ptr %489, i64 16
  %491 = load i32, ptr %490, align 4, !tbaa !9
  %492 = add i32 %491, -1
  %493 = call ptr %488(i32 noundef 0, i32 noundef %492, ptr noundef nonnull @bpt_node_cache_handler) #4
  %494 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %495 = load ptr, ptr %493, align 8, !tbaa !13
  %496 = getelementptr inbounds i8, ptr %495, i64 12
  %497 = load i32, ptr %496, align 4, !tbaa !9
  %498 = add i32 %497, -1
  %499 = call ptr %494(i32 noundef 0, i32 noundef %498, ptr noundef nonnull getelementptr inbounds (i8, ptr @giggle_data_handler, i64 24)) #4
  %500 = load ptr, ptr %499, align 8, !tbaa !18
  %501 = call i32 @wah_get_ints(ptr noundef %500, ptr noundef nonnull %1) #4
  %502 = zext i32 %501 to i64
  call void @UnityAssertEqualNumber(i64 noundef 3, i64 noundef %502, ptr noundef null, i64 noundef 521, i32 noundef 148) #4
  %503 = load ptr, ptr %1, align 8, !tbaa !5
  %504 = load i32, ptr %503, align 4, !tbaa !9
  %505 = add i32 %504, -1
  %506 = zext i32 %505 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %506, ptr noundef null, i64 noundef 522, i32 noundef 148) #4
  %507 = load ptr, ptr %1, align 8, !tbaa !5
  %508 = getelementptr inbounds i8, ptr %507, i64 4
  %509 = load i32, ptr %508, align 4, !tbaa !9
  %510 = add i32 %509, -1
  %511 = zext i32 %510 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %511, ptr noundef null, i64 noundef 523, i32 noundef 148) #4
  %512 = load ptr, ptr %1, align 8, !tbaa !5
  %513 = getelementptr inbounds i8, ptr %512, i64 8
  %514 = load i32, ptr %513, align 4, !tbaa !9
  %515 = add i32 %514, -1
  %516 = zext i32 %515 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %516, ptr noundef null, i64 noundef 524, i32 noundef 148) #4
  %517 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %517) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %518 = load ptr, ptr %493, align 8, !tbaa !13
  %519 = getelementptr inbounds i8, ptr %518, i64 20
  %520 = load i32, ptr %519, align 4, !tbaa !9
  %521 = zext i32 %520 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %521, ptr noundef null, i64 noundef 528, i32 noundef 148) #4
  %522 = load ptr, ptr %493, align 8, !tbaa !13
  %523 = getelementptr inbounds i8, ptr %522, i64 24
  %524 = load i32, ptr %523, align 4, !tbaa !9
  %525 = zext i32 %524 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %525, ptr noundef null, i64 noundef 529, i32 noundef 148) #4
  %526 = load ptr, ptr %493, align 8, !tbaa !13
  %527 = getelementptr inbounds i8, ptr %526, i64 28
  %528 = load i32, ptr %527, align 4, !tbaa !9
  %529 = zext i32 %528 to i64
  call void @UnityAssertEqualNumber(i64 noundef 5, i64 noundef %529, ptr noundef null, i64 noundef 530, i32 noundef 148) #4
  %530 = load ptr, ptr %493, align 8, !tbaa !13
  %531 = getelementptr inbounds i8, ptr %530, i64 32
  %532 = load i32, ptr %531, align 4, !tbaa !9
  %533 = zext i32 %532 to i64
  call void @UnityAssertEqualNumber(i64 noundef 6, i64 noundef %533, ptr noundef null, i64 noundef 531, i32 noundef 148) #4
  %534 = load ptr, ptr %493, align 8, !tbaa !13
  %535 = getelementptr inbounds i8, ptr %534, i64 36
  %536 = load i32, ptr %535, align 4, !tbaa !9
  %537 = zext i32 %536 to i64
  call void @UnityAssertEqualNumber(i64 noundef 7, i64 noundef %537, ptr noundef null, i64 noundef 532, i32 noundef 148) #4
  %538 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %539 = load ptr, ptr %493, align 8, !tbaa !13
  %540 = load i32, ptr @ORDER, align 4, !tbaa !9
  %541 = add i32 %540, 8
  %542 = zext i32 %541 to i64
  %543 = getelementptr inbounds i32, ptr %539, i64 %542
  %544 = load i32, ptr %543, align 4, !tbaa !9
  %545 = add i32 %544, -1
  %546 = call ptr %538(i32 noundef 0, i32 noundef %545, ptr noundef nonnull @giggle_data_handler) #4
  %547 = load ptr, ptr %546, align 8, !tbaa !17
  %548 = call i32 @wah_get_ints(ptr noundef %547, ptr noundef nonnull %1) #4
  %549 = zext i32 %548 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %549, ptr noundef null, i64 noundef 538, i32 noundef 148) #4
  %550 = load ptr, ptr %1, align 8, !tbaa !5
  %551 = load i32, ptr %550, align 4, !tbaa !9
  %552 = add i32 %551, -1
  %553 = zext i32 %552 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %553, ptr noundef null, i64 noundef 539, i32 noundef 148) #4
  %554 = load ptr, ptr %1, align 8, !tbaa !5
  %555 = getelementptr inbounds i8, ptr %554, i64 4
  %556 = load i32, ptr %555, align 4, !tbaa !9
  %557 = add i32 %556, -1
  %558 = zext i32 %557 to i64
  call void @UnityAssertEqualNumber(i64 noundef 3, i64 noundef %558, ptr noundef null, i64 noundef 540, i32 noundef 148) #4
  %559 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %559) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %560 = getelementptr inbounds i8, ptr %546, i64 8
  %561 = load ptr, ptr %560, align 8, !tbaa !15
  %562 = call i32 @wah_get_ints(ptr noundef %561, ptr noundef nonnull %1) #4
  %563 = zext i32 %562 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %563, ptr noundef null, i64 noundef 544, i32 noundef 148) #4
  %564 = load ptr, ptr %1, align 8, !tbaa !5
  %565 = load i32, ptr %564, align 4, !tbaa !9
  %566 = add i32 %565, -1
  %567 = zext i32 %566 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %567, ptr noundef null, i64 noundef 545, i32 noundef 148) #4
  %568 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %568) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %569 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %570 = load ptr, ptr %493, align 8, !tbaa !13
  %571 = load i32, ptr @ORDER, align 4, !tbaa !9
  %572 = add i32 %571, 8
  %573 = zext i32 %572 to i64
  %574 = getelementptr inbounds i32, ptr %570, i64 %573
  %575 = getelementptr inbounds i8, ptr %574, i64 4
  %576 = load i32, ptr %575, align 4, !tbaa !9
  %577 = add i32 %576, -1
  %578 = call ptr %569(i32 noundef 0, i32 noundef %577, ptr noundef nonnull @giggle_data_handler) #4
  %579 = load ptr, ptr %578, align 8, !tbaa !17
  %580 = ptrtoint ptr %579 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %580, ptr noundef null, i64 noundef 552, i32 noundef 148) #4
  %581 = getelementptr inbounds i8, ptr %578, i64 8
  %582 = load ptr, ptr %581, align 8, !tbaa !15
  %583 = call i32 @wah_get_ints(ptr noundef %582, ptr noundef nonnull %1) #4
  %584 = zext i32 %583 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %584, ptr noundef null, i64 noundef 554, i32 noundef 148) #4
  %585 = load ptr, ptr %1, align 8, !tbaa !5
  %586 = load i32, ptr %585, align 4, !tbaa !9
  %587 = add i32 %586, -1
  %588 = zext i32 %587 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %588, ptr noundef null, i64 noundef 555, i32 noundef 148) #4
  %589 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %589) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %590 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %591 = load ptr, ptr %493, align 8, !tbaa !13
  %592 = load i32, ptr @ORDER, align 4, !tbaa !9
  %593 = add i32 %592, 8
  %594 = zext i32 %593 to i64
  %595 = getelementptr inbounds i32, ptr %591, i64 %594
  %596 = getelementptr inbounds i8, ptr %595, i64 8
  %597 = load i32, ptr %596, align 4, !tbaa !9
  %598 = add i32 %597, -1
  %599 = call ptr %590(i32 noundef 0, i32 noundef %598, ptr noundef nonnull @giggle_data_handler) #4
  %600 = load ptr, ptr %599, align 8, !tbaa !17
  %601 = ptrtoint ptr %600 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %601, ptr noundef null, i64 noundef 562, i32 noundef 148) #4
  %602 = getelementptr inbounds i8, ptr %599, i64 8
  %603 = load ptr, ptr %602, align 8, !tbaa !15
  %604 = call i32 @wah_get_ints(ptr noundef %603, ptr noundef nonnull %1) #4
  %605 = zext i32 %604 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %605, ptr noundef null, i64 noundef 564, i32 noundef 148) #4
  %606 = load ptr, ptr %1, align 8, !tbaa !5
  %607 = load i32, ptr %606, align 4, !tbaa !9
  %608 = add i32 %607, -1
  %609 = zext i32 %608 to i64
  call void @UnityAssertEqualNumber(i64 noundef 3, i64 noundef %609, ptr noundef null, i64 noundef 565, i32 noundef 148) #4
  %610 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %610) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %611 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %612 = load ptr, ptr %493, align 8, !tbaa !13
  %613 = load i32, ptr @ORDER, align 4, !tbaa !9
  %614 = add i32 %613, 8
  %615 = zext i32 %614 to i64
  %616 = getelementptr inbounds i32, ptr %612, i64 %615
  %617 = getelementptr inbounds i8, ptr %616, i64 12
  %618 = load i32, ptr %617, align 4, !tbaa !9
  %619 = add i32 %618, -1
  %620 = call ptr %611(i32 noundef 0, i32 noundef %619, ptr noundef nonnull @giggle_data_handler) #4
  %621 = load ptr, ptr %620, align 8, !tbaa !17
  %622 = ptrtoint ptr %621 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %622, ptr noundef null, i64 noundef 572, i32 noundef 148) #4
  %623 = getelementptr inbounds i8, ptr %620, i64 8
  %624 = load ptr, ptr %623, align 8, !tbaa !15
  %625 = call i32 @wah_get_ints(ptr noundef %624, ptr noundef nonnull %1) #4
  %626 = zext i32 %625 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %626, ptr noundef null, i64 noundef 574, i32 noundef 148) #4
  %627 = load ptr, ptr %1, align 8, !tbaa !5
  %628 = load i32, ptr %627, align 4, !tbaa !9
  %629 = add i32 %628, -1
  %630 = zext i32 %629 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %630, ptr noundef null, i64 noundef 575, i32 noundef 148) #4
  %631 = load ptr, ptr %1, align 8, !tbaa !5
  %632 = getelementptr inbounds i8, ptr %631, i64 4
  %633 = load i32, ptr %632, align 4, !tbaa !9
  %634 = add i32 %633, -1
  %635 = zext i32 %634 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %635, ptr noundef null, i64 noundef 576, i32 noundef 148) #4
  %636 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %636) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %637 = call i32 @giggle_insert(i32 noundef 0, ptr noundef nonnull %2, i32 noundef 1, i32 noundef 7, i64 noundef 5) #4
  %638 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %639 = load i32, ptr %2, align 4, !tbaa !9
  %640 = add i32 %639, -1
  %641 = call ptr %638(i32 noundef 0, i32 noundef %640, ptr noundef nonnull @bpt_node_cache_handler) #4
  %642 = load ptr, ptr %641, align 8, !tbaa !13
  %643 = getelementptr inbounds i8, ptr %642, i64 20
  %644 = load i32, ptr %643, align 4, !tbaa !9
  %645 = zext i32 %644 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %645, ptr noundef null, i64 noundef 588, i32 noundef 148) #4
  %646 = load ptr, ptr %641, align 8, !tbaa !13
  %647 = getelementptr inbounds i8, ptr %646, i64 24
  %648 = load i32, ptr %647, align 4, !tbaa !9
  %649 = zext i32 %648 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %649, ptr noundef null, i64 noundef 589, i32 noundef 148) #4
  %650 = load ptr, ptr %641, align 8, !tbaa !13
  %651 = getelementptr inbounds i8, ptr %650, i64 28
  %652 = load i32, ptr %651, align 4, !tbaa !9
  %653 = zext i32 %652 to i64
  call void @UnityAssertEqualNumber(i64 noundef 6, i64 noundef %653, ptr noundef null, i64 noundef 590, i32 noundef 148) #4
  %654 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %655 = load ptr, ptr %641, align 8, !tbaa !13
  %656 = load i32, ptr @ORDER, align 4, !tbaa !9
  %657 = add i32 %656, 8
  %658 = zext i32 %657 to i64
  %659 = getelementptr inbounds i32, ptr %655, i64 %658
  %660 = load i32, ptr %659, align 4, !tbaa !9
  %661 = add i32 %660, -1
  %662 = call ptr %654(i32 noundef 0, i32 noundef %661, ptr noundef nonnull @bpt_node_cache_handler) #4
  %663 = load ptr, ptr %662, align 8, !tbaa !13
  %664 = getelementptr inbounds i8, ptr %663, i64 12
  %665 = load i32, ptr %664, align 4, !tbaa !9
  %666 = zext i32 %665 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %666, ptr noundef null, i64 noundef 594, i32 noundef 148) #4
  %667 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %668 = load ptr, ptr %662, align 8, !tbaa !13
  %669 = getelementptr inbounds i8, ptr %668, i64 16
  %670 = load i32, ptr %669, align 4, !tbaa !9
  %671 = add i32 %670, -1
  %672 = call ptr %667(i32 noundef 0, i32 noundef %671, ptr noundef nonnull @bpt_node_cache_handler) #4
  %673 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %674 = load ptr, ptr %672, align 8, !tbaa !13
  %675 = getelementptr inbounds i8, ptr %674, i64 12
  %676 = load i32, ptr %675, align 4, !tbaa !9
  %677 = add i32 %676, -1
  %678 = call ptr %673(i32 noundef 0, i32 noundef %677, ptr noundef nonnull getelementptr inbounds (i8, ptr @giggle_data_handler, i64 24)) #4
  %679 = load ptr, ptr %678, align 8, !tbaa !18
  %680 = call i32 @wah_get_ints(ptr noundef %679, ptr noundef nonnull %1) #4
  %681 = zext i32 %680 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %681, ptr noundef null, i64 noundef 603, i32 noundef 148) #4
  %682 = load ptr, ptr %1, align 8, !tbaa !5
  %683 = load i32, ptr %682, align 4, !tbaa !9
  %684 = add i32 %683, -1
  %685 = zext i32 %684 to i64
  call void @UnityAssertEqualNumber(i64 noundef 0, i64 noundef %685, ptr noundef null, i64 noundef 604, i32 noundef 148) #4
  %686 = load ptr, ptr %1, align 8, !tbaa !5
  %687 = getelementptr inbounds i8, ptr %686, i64 4
  %688 = load i32, ptr %687, align 4, !tbaa !9
  %689 = add i32 %688, -1
  %690 = zext i32 %689 to i64
  call void @UnityAssertEqualNumber(i64 noundef 1, i64 noundef %690, ptr noundef null, i64 noundef 605, i32 noundef 148) #4
  %691 = load ptr, ptr %1, align 8, !tbaa !5
  %692 = getelementptr inbounds i8, ptr %691, i64 8
  %693 = load i32, ptr %692, align 4, !tbaa !9
  %694 = add i32 %693, -1
  %695 = zext i32 %694 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %695, ptr noundef null, i64 noundef 606, i32 noundef 148) #4
  %696 = load ptr, ptr %1, align 8, !tbaa !5
  %697 = getelementptr inbounds i8, ptr %696, i64 12
  %698 = load i32, ptr %697, align 4, !tbaa !9
  %699 = add i32 %698, -1
  %700 = zext i32 %699 to i64
  call void @UnityAssertEqualNumber(i64 noundef 5, i64 noundef %700, ptr noundef null, i64 noundef 607, i32 noundef 148) #4
  %701 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %701) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %702 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %703 = load ptr, ptr %672, align 8, !tbaa !13
  %704 = getelementptr inbounds i8, ptr %703, i64 16
  %705 = load i32, ptr %704, align 4, !tbaa !9
  %706 = add i32 %705, -1
  %707 = call ptr %702(i32 noundef 0, i32 noundef %706, ptr noundef nonnull @bpt_node_cache_handler) #4
  %708 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 24), align 8, !tbaa !11
  %709 = load ptr, ptr %707, align 8, !tbaa !13
  %710 = getelementptr inbounds i8, ptr %709, i64 12
  %711 = load i32, ptr %710, align 4, !tbaa !9
  %712 = add i32 %711, -1
  %713 = call ptr %708(i32 noundef 0, i32 noundef %712, ptr noundef nonnull getelementptr inbounds (i8, ptr @giggle_data_handler, i64 24)) #4
  %714 = load ptr, ptr %713, align 8, !tbaa !18
  %715 = call i32 @wah_get_ints(ptr noundef %714, ptr noundef nonnull %1) #4
  %716 = zext i32 %715 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %716, ptr noundef null, i64 noundef 618, i32 noundef 148) #4
  %717 = load ptr, ptr %1, align 8, !tbaa !5
  %718 = load i32, ptr %717, align 4, !tbaa !9
  %719 = add i32 %718, -1
  %720 = zext i32 %719 to i64
  call void @UnityAssertEqualNumber(i64 noundef 2, i64 noundef %720, ptr noundef null, i64 noundef 619, i32 noundef 148) #4
  %721 = load ptr, ptr %1, align 8, !tbaa !5
  %722 = getelementptr inbounds i8, ptr %721, i64 4
  %723 = load i32, ptr %722, align 4, !tbaa !9
  %724 = add i32 %723, -1
  %725 = zext i32 %724 to i64
  call void @UnityAssertEqualNumber(i64 noundef 3, i64 noundef %725, ptr noundef null, i64 noundef 620, i32 noundef 148) #4
  %726 = load ptr, ptr %1, align 8, !tbaa !5
  %727 = getelementptr inbounds i8, ptr %726, i64 8
  %728 = load i32, ptr %727, align 4, !tbaa !9
  %729 = add i32 %728, -1
  %730 = zext i32 %729 to i64
  call void @UnityAssertEqualNumber(i64 noundef 4, i64 noundef %730, ptr noundef null, i64 noundef 621, i32 noundef 148) #4
  %731 = load ptr, ptr %1, align 8, !tbaa !5
  %732 = getelementptr inbounds i8, ptr %731, i64 12
  %733 = load i32, ptr %732, align 4, !tbaa !9
  %734 = add i32 %733, -1
  %735 = zext i32 %734 to i64
  call void @UnityAssertEqualNumber(i64 noundef 5, i64 noundef %735, ptr noundef null, i64 noundef 622, i32 noundef 148) #4
  %736 = load ptr, ptr %1, align 8, !tbaa !5
  call void @free(ptr noundef %736) #4
  store ptr null, ptr %1, align 8, !tbaa !5
  %737 = load ptr, ptr getelementptr inbounds (i8, ptr @cache, i64 48), align 8, !tbaa !20
  call void (...) %737() #4
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %2) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %1) #4
  ret void
}

declare void @wah_giggle_set_data_handler(...) local_unnamed_addr #1

declare i32 @wah_get_ints(ptr noundef, ptr noundef) local_unnamed_addr #1

; Function Attrs: mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite)
declare void @free(ptr allocptr nocapture noundef) local_unnamed_addr #3

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite) "alloc-family"="malloc" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !6, i64 24}
!12 = !{!"cache_def", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48}
!13 = !{!14, !6, i64 0}
!14 = !{!"bpt_node", !6, i64 0}
!15 = !{!16, !6, i64 8}
!16 = !{!"wah_bpt_non_leading_data", !6, i64 0, !6, i64 8}
!17 = !{!16, !6, i64 0}
!18 = !{!19, !6, i64 0}
!19 = !{!"wah_bpt_leading_data", !6, i64 0}
!20 = !{!12, !6, i64 48}


; Effective O3 passes: BDCEPass,EarlyCSEPass,GVNPass,GlobalOptPass,InferFunctionAttrsPass,InstCombinePass,SROAPass,SimplifyCFGPass,TailCallElimPass