; LLVM IR from recp/ds :: src (rb)

; 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.RBTree = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i64 }
%struct.RBNode = type { ptr, ptr, [2 x ptr], i8 }
%struct.DsAllocator = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr }

@rb_emptystr = external hidden global ptr, align 8

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

; 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 @rb_remove(ptr noundef %0, ptr noundef %1) #1 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %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 i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  store ptr %0, ptr %3, align 8, !tbaa !5
  store ptr %1, ptr %4, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #2
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #2
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #2
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #2
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #2
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #2
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #2
  %20 = load ptr, ptr %4, align 8, !tbaa !5
  %21 = icmp ne ptr %20, null
  br i1 %21, label %22, label %26

22:                                               ; preds = %2
  %23 = load ptr, ptr %4, align 8, !tbaa !5
  %24 = load ptr, ptr @rb_emptystr, align 8, !tbaa !5
  %25 = icmp eq ptr %23, %24
  br i1 %25, label %26, label %27

26:                                               ; preds = %22, %2
  store i32 1, ptr %17, align 4
  br label %550

27:                                               ; preds = %22
  %28 = load ptr, ptr %3, align 8, !tbaa !5
  %29 = getelementptr inbounds %struct.RBTree, ptr %28, i32 0, i32 0
  %30 = load ptr, ptr %29, align 8, !tbaa !9
  store ptr %30, ptr %5, align 8, !tbaa !5
  store i32 1, ptr %13, align 4, !tbaa !12
  %31 = load ptr, ptr %3, align 8, !tbaa !5
  %32 = getelementptr inbounds %struct.RBTree, ptr %31, i32 0, i32 1
  %33 = load ptr, ptr %32, align 8, !tbaa !14
  store ptr %33, ptr %9, align 8, !tbaa !5
  %34 = load ptr, ptr %9, align 8, !tbaa !5
  store ptr %34, ptr %7, align 8, !tbaa !5
  %35 = load ptr, ptr %7, align 8, !tbaa !5
  %36 = getelementptr inbounds %struct.RBNode, ptr %35, i32 0, i32 2
  %37 = getelementptr inbounds [2 x ptr], ptr %36, i64 0, i64 1
  %38 = load ptr, ptr %37, align 8, !tbaa !5
  store ptr %38, ptr %6, align 8, !tbaa !5
  %39 = load ptr, ptr %3, align 8, !tbaa !5
  %40 = getelementptr inbounds %struct.RBTree, ptr %39, i32 0, i32 2
  %41 = load ptr, ptr %40, align 8, !tbaa !15
  store ptr %41, ptr %10, align 8, !tbaa !5
  %42 = load ptr, ptr %3, align 8, !tbaa !5
  %43 = getelementptr inbounds %struct.RBTree, ptr %42, i32 0, i32 2
  %44 = load ptr, ptr %43, align 8, !tbaa !15
  store ptr %44, ptr %11, align 8, !tbaa !5
  store i32 0, ptr %15, align 4, !tbaa !12
  %45 = load ptr, ptr %6, align 8, !tbaa !5
  %46 = getelementptr inbounds %struct.RBNode, ptr %45, i32 0, i32 2
  %47 = getelementptr inbounds [2 x ptr], ptr %46, i64 0, i64 0
  %48 = load ptr, ptr %47, align 8, !tbaa !5
  %49 = getelementptr inbounds %struct.RBNode, ptr %48, i32 0, i32 3
  %50 = load i8, ptr %49, align 8
  %51 = and i8 %50, 1
  %52 = zext i8 %51 to i32
  %53 = icmp eq i32 %52, 0
  br i1 %53, label %54, label %70

54:                                               ; preds = %27
  %55 = load ptr, ptr %6, align 8, !tbaa !5
  %56 = getelementptr inbounds %struct.RBNode, ptr %55, i32 0, i32 2
  %57 = getelementptr inbounds [2 x ptr], ptr %56, i64 0, i64 1
  %58 = load ptr, ptr %57, align 8, !tbaa !5
  %59 = getelementptr inbounds %struct.RBNode, ptr %58, i32 0, i32 3
  %60 = load i8, ptr %59, align 8
  %61 = and i8 %60, 1
  %62 = zext i8 %61 to i32
  %63 = icmp eq i32 %62, 0
  br i1 %63, label %64, label %70

64:                                               ; preds = %54
  %65 = load ptr, ptr %6, align 8, !tbaa !5
  %66 = getelementptr inbounds %struct.RBNode, ptr %65, i32 0, i32 3
  %67 = load i8, ptr %66, align 8
  %68 = and i8 %67, -2
  %69 = or i8 %68, 1
  store i8 %69, ptr %66, align 8
  store i32 0, ptr %16, align 4, !tbaa !12
  br label %71

70:                                               ; preds = %54, %27
  store i32 1, ptr %16, align 4, !tbaa !12
  br label %71

71:                                               ; preds = %70, %64
  br label %369

72:                                               ; No predecessors!
  br label %73

73:                                               ; preds = %434, %72
  %74 = load i32, ptr %16, align 4, !tbaa !12
  %75 = icmp ne i32 %74, 0
  br i1 %75, label %76, label %139

76:                                               ; preds = %73
  store i32 0, ptr %16, align 4, !tbaa !12
  %77 = load ptr, ptr %6, align 8, !tbaa !5
  %78 = getelementptr inbounds %struct.RBNode, ptr %77, i32 0, i32 3
  %79 = load i8, ptr %78, align 8
  %80 = and i8 %79, 1
  %81 = zext i8 %80 to i32
  %82 = icmp eq i32 %81, 1
  br i1 %82, label %83, label %84

83:                                               ; preds = %76
  br label %369

84:                                               ; preds = %76
  %85 = load ptr, ptr %8, align 8, !tbaa !5
  %86 = load ptr, ptr %9, align 8, !tbaa !5
  %87 = getelementptr inbounds %struct.RBNode, ptr %86, i32 0, i32 2
  %88 = load i32, ptr %12, align 4, !tbaa !12
  %89 = sext i32 %88 to i64
  %90 = getelementptr inbounds [2 x ptr], ptr %87, i64 0, i64 %89
  store ptr %85, ptr %90, align 8, !tbaa !5
  %91 = load ptr, ptr %8, align 8, !tbaa !5
  %92 = getelementptr inbounds %struct.RBNode, ptr %91, i32 0, i32 2
  %93 = load i32, ptr %13, align 4, !tbaa !12
  %94 = sext i32 %93 to i64
  %95 = getelementptr inbounds [2 x ptr], ptr %92, i64 0, i64 %94
  %96 = load ptr, ptr %95, align 8, !tbaa !5
  %97 = load ptr, ptr %7, align 8, !tbaa !5
  %98 = getelementptr inbounds %struct.RBNode, ptr %97, i32 0, i32 2
  %99 = load i32, ptr %13, align 4, !tbaa !12
  %100 = icmp ne i32 %99, 0
  %101 = xor i1 %100, true
  %102 = zext i1 %101 to i32
  %103 = sext i32 %102 to i64
  %104 = getelementptr inbounds [2 x ptr], ptr %98, i64 0, i64 %103
  store ptr %96, ptr %104, align 8, !tbaa !5
  %105 = load ptr, ptr %7, align 8, !tbaa !5
  %106 = load ptr, ptr %8, align 8, !tbaa !5
  %107 = getelementptr inbounds %struct.RBNode, ptr %106, i32 0, i32 2
  %108 = load i32, ptr %13, align 4, !tbaa !12
  %109 = sext i32 %108 to i64
  %110 = getelementptr inbounds [2 x ptr], ptr %107, i64 0, i64 %109
  store ptr %105, ptr %110, align 8, !tbaa !5
  %111 = load ptr, ptr %7, align 8, !tbaa !5
  %112 = getelementptr inbounds %struct.RBNode, ptr %111, i32 0, i32 3
  %113 = load i8, ptr %112, align 8
  %114 = and i8 %113, -2
  %115 = or i8 %114, 1
  store i8 %115, ptr %112, align 8
  %116 = load ptr, ptr %8, align 8, !tbaa !5
  %117 = getelementptr inbounds %struct.RBNode, ptr %116, i32 0, i32 3
  %118 = load i8, ptr %117, align 8
  %119 = and i8 %118, -2
  %120 = or i8 %119, 0
  store i8 %120, ptr %117, align 8
  %121 = load ptr, ptr %11, align 8, !tbaa !5
  %122 = load ptr, ptr %9, align 8, !tbaa !5
  %123 = icmp eq ptr %121, %122
  br i1 %123, label %124, label %127

124:                                              ; preds = %84
  %125 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %125, ptr %11, align 8, !tbaa !5
  %126 = load i32, ptr %13, align 4, !tbaa !12
  store i32 %126, ptr %15, align 4, !tbaa !12
  br label %127

127:                                              ; preds = %124, %84
  %128 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %128, ptr %9, align 8, !tbaa !5
  %129 = load ptr, ptr %7, align 8, !tbaa !5
  %130 = getelementptr inbounds %struct.RBNode, ptr %129, i32 0, i32 2
  %131 = load i32, ptr %13, align 4, !tbaa !12
  %132 = icmp ne i32 %131, 0
  %133 = xor i1 %132, true
  %134 = zext i1 %133 to i32
  %135 = sext i32 %134 to i64
  %136 = getelementptr inbounds [2 x ptr], ptr %130, i64 0, i64 %135
  %137 = load ptr, ptr %136, align 8, !tbaa !5
  store ptr %137, ptr %8, align 8, !tbaa !5
  %138 = load i32, ptr %13, align 4, !tbaa !12
  store i32 %138, ptr %12, align 4, !tbaa !12
  br label %139

139:                                              ; preds = %127, %73
  %140 = load ptr, ptr %6, align 8, !tbaa !5
  %141 = getelementptr inbounds %struct.RBNode, ptr %140, i32 0, i32 2
  %142 = getelementptr inbounds [2 x ptr], ptr %141, i64 0, i64 0
  %143 = load ptr, ptr %142, align 8, !tbaa !5
  %144 = getelementptr inbounds %struct.RBNode, ptr %143, i32 0, i32 3
  %145 = load i8, ptr %144, align 8
  %146 = and i8 %145, 1
  %147 = zext i8 %146 to i32
  %148 = icmp eq i32 %147, 0
  br i1 %148, label %149, label %367

149:                                              ; preds = %139
  %150 = load ptr, ptr %6, align 8, !tbaa !5
  %151 = getelementptr inbounds %struct.RBNode, ptr %150, i32 0, i32 2
  %152 = getelementptr inbounds [2 x ptr], ptr %151, i64 0, i64 1
  %153 = load ptr, ptr %152, align 8, !tbaa !5
  %154 = getelementptr inbounds %struct.RBNode, ptr %153, i32 0, i32 3
  %155 = load i8, ptr %154, align 8
  %156 = and i8 %155, 1
  %157 = zext i8 %156 to i32
  %158 = icmp eq i32 %157, 0
  br i1 %158, label %159, label %367

159:                                              ; preds = %149
  %160 = load ptr, ptr %8, align 8, !tbaa !5
  %161 = load ptr, ptr %3, align 8, !tbaa !5
  %162 = getelementptr inbounds %struct.RBTree, ptr %161, i32 0, i32 2
  %163 = load ptr, ptr %162, align 8, !tbaa !15
  %164 = icmp ne ptr %160, %163
  br i1 %164, label %165, label %201

165:                                              ; preds = %159
  %166 = load ptr, ptr %8, align 8, !tbaa !5
  %167 = getelementptr inbounds %struct.RBNode, ptr %166, i32 0, i32 2
  %168 = getelementptr inbounds [2 x ptr], ptr %167, i64 0, i64 0
  %169 = load ptr, ptr %168, align 8, !tbaa !5
  %170 = getelementptr inbounds %struct.RBNode, ptr %169, i32 0, i32 3
  %171 = load i8, ptr %170, align 8
  %172 = and i8 %171, 1
  %173 = zext i8 %172 to i32
  %174 = icmp eq i32 %173, 0
  br i1 %174, label %175, label %201

175:                                              ; preds = %165
  %176 = load ptr, ptr %8, align 8, !tbaa !5
  %177 = getelementptr inbounds %struct.RBNode, ptr %176, i32 0, i32 2
  %178 = getelementptr inbounds [2 x ptr], ptr %177, i64 0, i64 1
  %179 = load ptr, ptr %178, align 8, !tbaa !5
  %180 = getelementptr inbounds %struct.RBNode, ptr %179, i32 0, i32 3
  %181 = load i8, ptr %180, align 8
  %182 = and i8 %181, 1
  %183 = zext i8 %182 to i32
  %184 = icmp eq i32 %183, 0
  br i1 %184, label %185, label %201

185:                                              ; preds = %175
  %186 = load ptr, ptr %6, align 8, !tbaa !5
  %187 = getelementptr inbounds %struct.RBNode, ptr %186, i32 0, i32 3
  %188 = load i8, ptr %187, align 8
  %189 = and i8 %188, -2
  %190 = or i8 %189, 1
  store i8 %190, ptr %187, align 8
  %191 = load ptr, ptr %8, align 8, !tbaa !5
  %192 = getelementptr inbounds %struct.RBNode, ptr %191, i32 0, i32 3
  %193 = load i8, ptr %192, align 8
  %194 = and i8 %193, -2
  %195 = or i8 %194, 1
  store i8 %195, ptr %192, align 8
  %196 = load ptr, ptr %7, align 8, !tbaa !5
  %197 = getelementptr inbounds %struct.RBNode, ptr %196, i32 0, i32 3
  %198 = load i8, ptr %197, align 8
  %199 = and i8 %198, -2
  %200 = or i8 %199, 0
  store i8 %200, ptr %197, align 8
  br label %366

201:                                              ; preds = %175, %165, %159
  %202 = load ptr, ptr %8, align 8, !tbaa !5
  %203 = getelementptr inbounds %struct.RBNode, ptr %202, i32 0, i32 2
  %204 = load i32, ptr %13, align 4, !tbaa !12
  %205 = sext i32 %204 to i64
  %206 = getelementptr inbounds [2 x ptr], ptr %203, i64 0, i64 %205
  %207 = load ptr, ptr %206, align 8, !tbaa !5
  %208 = getelementptr inbounds %struct.RBNode, ptr %207, i32 0, i32 3
  %209 = load i8, ptr %208, align 8
  %210 = and i8 %209, 1
  %211 = zext i8 %210 to i32
  %212 = icmp eq i32 %211, 1
  br i1 %212, label %213, label %286

213:                                              ; preds = %201
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #2
  %214 = load ptr, ptr %8, align 8, !tbaa !5
  %215 = getelementptr inbounds %struct.RBNode, ptr %214, i32 0, i32 2
  %216 = load i32, ptr %13, align 4, !tbaa !12
  %217 = sext i32 %216 to i64
  %218 = getelementptr inbounds [2 x ptr], ptr %215, i64 0, i64 %217
  %219 = load ptr, ptr %218, align 8, !tbaa !5
  store ptr %219, ptr %18, align 8, !tbaa !5
  %220 = load ptr, ptr %18, align 8, !tbaa !5
  %221 = getelementptr inbounds %struct.RBNode, ptr %220, i32 0, i32 2
  %222 = load i32, ptr %13, align 4, !tbaa !12
  %223 = icmp ne i32 %222, 0
  %224 = xor i1 %223, true
  %225 = zext i1 %224 to i32
  %226 = sext i32 %225 to i64
  %227 = getelementptr inbounds [2 x ptr], ptr %221, i64 0, i64 %226
  %228 = load ptr, ptr %227, align 8, !tbaa !5
  %229 = load ptr, ptr %8, align 8, !tbaa !5
  %230 = getelementptr inbounds %struct.RBNode, ptr %229, i32 0, i32 2
  %231 = load i32, ptr %13, align 4, !tbaa !12
  %232 = sext i32 %231 to i64
  %233 = getelementptr inbounds [2 x ptr], ptr %230, i64 0, i64 %232
  store ptr %228, ptr %233, align 8, !tbaa !5
  %234 = load ptr, ptr %18, align 8, !tbaa !5
  %235 = getelementptr inbounds %struct.RBNode, ptr %234, i32 0, i32 2
  %236 = load i32, ptr %13, align 4, !tbaa !12
  %237 = sext i32 %236 to i64
  %238 = getelementptr inbounds [2 x ptr], ptr %235, i64 0, i64 %237
  %239 = load ptr, ptr %238, align 8, !tbaa !5
  %240 = load ptr, ptr %7, align 8, !tbaa !5
  %241 = getelementptr inbounds %struct.RBNode, ptr %240, i32 0, i32 2
  %242 = load i32, ptr %13, align 4, !tbaa !12
  %243 = icmp ne i32 %242, 0
  %244 = xor i1 %243, true
  %245 = zext i1 %244 to i32
  %246 = sext i32 %245 to i64
  %247 = getelementptr inbounds [2 x ptr], ptr %241, i64 0, i64 %246
  store ptr %239, ptr %247, align 8, !tbaa !5
  %248 = load ptr, ptr %7, align 8, !tbaa !5
  %249 = load ptr, ptr %18, align 8, !tbaa !5
  %250 = getelementptr inbounds %struct.RBNode, ptr %249, i32 0, i32 2
  %251 = load i32, ptr %13, align 4, !tbaa !12
  %252 = sext i32 %251 to i64
  %253 = getelementptr inbounds [2 x ptr], ptr %250, i64 0, i64 %252
  store ptr %248, ptr %253, align 8, !tbaa !5
  %254 = load ptr, ptr %8, align 8, !tbaa !5
  %255 = load ptr, ptr %18, align 8, !tbaa !5
  %256 = getelementptr inbounds %struct.RBNode, ptr %255, i32 0, i32 2
  %257 = load i32, ptr %13, align 4, !tbaa !12
  %258 = icmp ne i32 %257, 0
  %259 = xor i1 %258, true
  %260 = zext i1 %259 to i32
  %261 = sext i32 %260 to i64
  %262 = getelementptr inbounds [2 x ptr], ptr %256, i64 0, i64 %261
  store ptr %254, ptr %262, align 8, !tbaa !5
  %263 = load ptr, ptr %18, align 8, !tbaa !5
  %264 = load ptr, ptr %9, align 8, !tbaa !5
  %265 = getelementptr inbounds %struct.RBNode, ptr %264, i32 0, i32 2
  %266 = load i32, ptr %12, align 4, !tbaa !12
  %267 = sext i32 %266 to i64
  %268 = getelementptr inbounds [2 x ptr], ptr %265, i64 0, i64 %267
  store ptr %263, ptr %268, align 8, !tbaa !5
  %269 = load ptr, ptr %6, align 8, !tbaa !5
  %270 = getelementptr inbounds %struct.RBNode, ptr %269, i32 0, i32 3
  %271 = load i8, ptr %270, align 8
  %272 = and i8 %271, -2
  %273 = or i8 %272, 1
  store i8 %273, ptr %270, align 8
  %274 = load ptr, ptr %7, align 8, !tbaa !5
  %275 = getelementptr inbounds %struct.RBNode, ptr %274, i32 0, i32 3
  %276 = load i8, ptr %275, align 8
  %277 = and i8 %276, -2
  %278 = or i8 %277, 0
  store i8 %278, ptr %275, align 8
  %279 = load ptr, ptr %11, align 8, !tbaa !5
  %280 = load ptr, ptr %9, align 8, !tbaa !5
  %281 = icmp eq ptr %279, %280
  br i1 %281, label %282, label %285

282:                                              ; preds = %213
  %283 = load ptr, ptr %18, align 8, !tbaa !5
  store ptr %283, ptr %11, align 8, !tbaa !5
  %284 = load i32, ptr %13, align 4, !tbaa !12
  store i32 %284, ptr %15, align 4, !tbaa !12
  br label %285

285:                                              ; preds = %282, %213
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #2
  br label %365

286:                                              ; preds = %201
  %287 = load ptr, ptr %8, align 8, !tbaa !5
  %288 = getelementptr inbounds %struct.RBNode, ptr %287, i32 0, i32 2
  %289 = load i32, ptr %13, align 4, !tbaa !12
  %290 = icmp ne i32 %289, 0
  %291 = xor i1 %290, true
  %292 = zext i1 %291 to i32
  %293 = sext i32 %292 to i64
  %294 = getelementptr inbounds [2 x ptr], ptr %288, i64 0, i64 %293
  %295 = load ptr, ptr %294, align 8, !tbaa !5
  %296 = getelementptr inbounds %struct.RBNode, ptr %295, i32 0, i32 3
  %297 = load i8, ptr %296, align 8
  %298 = and i8 %297, 1
  %299 = zext i8 %298 to i32
  %300 = icmp eq i32 %299, 1
  br i1 %300, label %301, label %364

301:                                              ; preds = %286
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #2
  %302 = load ptr, ptr %8, align 8, !tbaa !5
  %303 = getelementptr inbounds %struct.RBNode, ptr %302, i32 0, i32 2
  %304 = load i32, ptr %13, align 4, !tbaa !12
  %305 = icmp ne i32 %304, 0
  %306 = xor i1 %305, true
  %307 = zext i1 %306 to i32
  %308 = sext i32 %307 to i64
  %309 = getelementptr inbounds [2 x ptr], ptr %303, i64 0, i64 %308
  %310 = load ptr, ptr %309, align 8, !tbaa !5
  store ptr %310, ptr %19, align 8, !tbaa !5
  %311 = load ptr, ptr %8, align 8, !tbaa !5
  %312 = getelementptr inbounds %struct.RBNode, ptr %311, i32 0, i32 2
  %313 = load i32, ptr %13, align 4, !tbaa !12
  %314 = sext i32 %313 to i64
  %315 = getelementptr inbounds [2 x ptr], ptr %312, i64 0, i64 %314
  %316 = load ptr, ptr %315, align 8, !tbaa !5
  %317 = load ptr, ptr %7, align 8, !tbaa !5
  %318 = getelementptr inbounds %struct.RBNode, ptr %317, i32 0, i32 2
  %319 = load i32, ptr %13, align 4, !tbaa !12
  %320 = icmp ne i32 %319, 0
  %321 = xor i1 %320, true
  %322 = zext i1 %321 to i32
  %323 = sext i32 %322 to i64
  %324 = getelementptr inbounds [2 x ptr], ptr %318, i64 0, i64 %323
  store ptr %316, ptr %324, align 8, !tbaa !5
  %325 = load ptr, ptr %7, align 8, !tbaa !5
  %326 = load ptr, ptr %8, align 8, !tbaa !5
  %327 = getelementptr inbounds %struct.RBNode, ptr %326, i32 0, i32 2
  %328 = load i32, ptr %13, align 4, !tbaa !12
  %329 = sext i32 %328 to i64
  %330 = getelementptr inbounds [2 x ptr], ptr %327, i64 0, i64 %329
  store ptr %325, ptr %330, align 8, !tbaa !5
  %331 = load ptr, ptr %8, align 8, !tbaa !5
  %332 = load ptr, ptr %9, align 8, !tbaa !5
  %333 = getelementptr inbounds %struct.RBNode, ptr %332, i32 0, i32 2
  %334 = load i32, ptr %12, align 4, !tbaa !12
  %335 = sext i32 %334 to i64
  %336 = getelementptr inbounds [2 x ptr], ptr %333, i64 0, i64 %335
  store ptr %331, ptr %336, align 8, !tbaa !5
  %337 = load ptr, ptr %6, align 8, !tbaa !5
  %338 = getelementptr inbounds %struct.RBNode, ptr %337, i32 0, i32 3
  %339 = load i8, ptr %338, align 8
  %340 = and i8 %339, -2
  %341 = or i8 %340, 1
  store i8 %341, ptr %338, align 8
  %342 = load ptr, ptr %8, align 8, !tbaa !5
  %343 = getelementptr inbounds %struct.RBNode, ptr %342, i32 0, i32 3
  %344 = load i8, ptr %343, align 8
  %345 = and i8 %344, -2
  %346 = or i8 %345, 1
  store i8 %346, ptr %343, align 8
  %347 = load ptr, ptr %7, align 8, !tbaa !5
  %348 = getelementptr inbounds %struct.RBNode, ptr %347, i32 0, i32 3
  %349 = load i8, ptr %348, align 8
  %350 = and i8 %349, -2
  %351 = or i8 %350, 0
  store i8 %351, ptr %348, align 8
  %352 = load ptr, ptr %19, align 8, !tbaa !5
  %353 = getelementptr inbounds %struct.RBNode, ptr %352, i32 0, i32 3
  %354 = load i8, ptr %353, align 8
  %355 = and i8 %354, -2
  %356 = or i8 %355, 0
  store i8 %356, ptr %353, align 8
  %357 = load ptr, ptr %11, align 8, !tbaa !5
  %358 = load ptr, ptr %9, align 8, !tbaa !5
  %359 = icmp eq ptr %357, %358
  br i1 %359, label %360, label %363

360:                                              ; preds = %301
  %361 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %361, ptr %11, align 8, !tbaa !5
  %362 = load i32, ptr %13, align 4, !tbaa !12
  store i32 %362, ptr %15, align 4, !tbaa !12
  br label %363

363:                                              ; preds = %360, %301
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #2
  br label %364

364:                                              ; preds = %363, %286
  br label %365

365:                                              ; preds = %364, %285
  br label %366

366:                                              ; preds = %365, %185
  br label %368

367:                                              ; preds = %149, %139
  store i32 1, ptr %16, align 4, !tbaa !12
  br label %368

368:                                              ; preds = %367, %366
  br label %369

369:                                              ; preds = %368, %83, %71
  %370 = load i32, ptr %13, align 4, !tbaa !12
  store i32 %370, ptr %12, align 4, !tbaa !12
  %371 = load ptr, ptr %10, align 8, !tbaa !5
  %372 = load ptr, ptr %3, align 8, !tbaa !5
  %373 = getelementptr inbounds %struct.RBTree, ptr %372, i32 0, i32 2
  %374 = load ptr, ptr %373, align 8, !tbaa !15
  %375 = icmp ne ptr %371, %374
  br i1 %375, label %376, label %386

376:                                              ; preds = %369
  %377 = load ptr, ptr %10, align 8, !tbaa !5
  %378 = getelementptr inbounds %struct.RBNode, ptr %377, i32 0, i32 2
  %379 = getelementptr inbounds [2 x ptr], ptr %378, i64 0, i64 1
  %380 = load ptr, ptr %379, align 8, !tbaa !5
  %381 = load ptr, ptr %3, align 8, !tbaa !5
  %382 = getelementptr inbounds %struct.RBTree, ptr %381, i32 0, i32 2
  %383 = load ptr, ptr %382, align 8, !tbaa !15
  %384 = icmp eq ptr %380, %383
  %385 = zext i1 %384 to i32
  store i32 %385, ptr %13, align 4, !tbaa !12
  br label %416

386:                                              ; preds = %369
  %387 = load ptr, ptr %3, align 8, !tbaa !5
  %388 = getelementptr inbounds %struct.RBTree, ptr %387, i32 0, i32 4
  %389 = load ptr, ptr %388, align 8, !tbaa !16
  %390 = load ptr, ptr %4, align 8, !tbaa !5
  %391 = load ptr, ptr %6, align 8, !tbaa !5
  %392 = getelementptr inbounds %struct.RBNode, ptr %391, i32 0, i32 0
  %393 = load ptr, ptr %392, align 8, !tbaa !17
  %394 = call i32 %389(ptr noundef %390, ptr noundef %393)
  store i32 %394, ptr %14, align 4, !tbaa !12
  %395 = load i32, ptr %14, align 4, !tbaa !12
  %396 = icmp ne i32 %395, 0
  br i1 %396, label %397, label %402

397:                                              ; preds = %386
  %398 = load i32, ptr %14, align 4, !tbaa !12
  %399 = icmp slt i32 %398, 0
  %400 = xor i1 %399, true
  %401 = zext i1 %400 to i32
  store i32 %401, ptr %13, align 4, !tbaa !12
  br label %415

402:                                              ; preds = %386
  %403 = load ptr, ptr %7, align 8, !tbaa !5
  store ptr %403, ptr %11, align 8, !tbaa !5
  %404 = load ptr, ptr %6, align 8, !tbaa !5
  store ptr %404, ptr %10, align 8, !tbaa !5
  %405 = load i32, ptr %12, align 4, !tbaa !12
  store i32 %405, ptr %15, align 4, !tbaa !12
  %406 = load ptr, ptr %10, align 8, !tbaa !5
  %407 = getelementptr inbounds %struct.RBNode, ptr %406, i32 0, i32 2
  %408 = getelementptr inbounds [2 x ptr], ptr %407, i64 0, i64 1
  %409 = load ptr, ptr %408, align 8, !tbaa !5
  %410 = load ptr, ptr %3, align 8, !tbaa !5
  %411 = getelementptr inbounds %struct.RBTree, ptr %410, i32 0, i32 2
  %412 = load ptr, ptr %411, align 8, !tbaa !15
  %413 = icmp ne ptr %409, %412
  %414 = zext i1 %413 to i32
  store i32 %414, ptr %13, align 4, !tbaa !12
  br label %415

415:                                              ; preds = %402, %397
  br label %416

416:                                              ; preds = %415, %376
  %417 = load ptr, ptr %7, align 8, !tbaa !5
  store ptr %417, ptr %9, align 8, !tbaa !5
  %418 = load ptr, ptr %6, align 8, !tbaa !5
  store ptr %418, ptr %7, align 8, !tbaa !5
  %419 = load ptr, ptr %7, align 8, !tbaa !5
  %420 = getelementptr inbounds %struct.RBNode, ptr %419, i32 0, i32 2
  %421 = load i32, ptr %13, align 4, !tbaa !12
  %422 = sext i32 %421 to i64
  %423 = getelementptr inbounds [2 x ptr], ptr %420, i64 0, i64 %422
  %424 = load ptr, ptr %423, align 8, !tbaa !5
  store ptr %424, ptr %6, align 8, !tbaa !5
  %425 = load ptr, ptr %7, align 8, !tbaa !5
  %426 = getelementptr inbounds %struct.RBNode, ptr %425, i32 0, i32 2
  %427 = load i32, ptr %13, align 4, !tbaa !12
  %428 = icmp ne i32 %427, 0
  %429 = xor i1 %428, true
  %430 = zext i1 %429 to i32
  %431 = sext i32 %430 to i64
  %432 = getelementptr inbounds [2 x ptr], ptr %426, i64 0, i64 %431
  %433 = load ptr, ptr %432, align 8, !tbaa !5
  store ptr %433, ptr %8, align 8, !tbaa !5
  br label %434

434:                                              ; preds = %416
  %435 = load ptr, ptr %6, align 8, !tbaa !5
  %436 = load ptr, ptr %3, align 8, !tbaa !5
  %437 = getelementptr inbounds %struct.RBTree, ptr %436, i32 0, i32 2
  %438 = load ptr, ptr %437, align 8, !tbaa !15
  %439 = icmp ne ptr %435, %438
  br i1 %439, label %73, label %440, !llvm.loop !19

440:                                              ; preds = %434
  %441 = load ptr, ptr %3, align 8, !tbaa !5
  %442 = getelementptr inbounds %struct.RBTree, ptr %441, i32 0, i32 1
  %443 = load ptr, ptr %442, align 8, !tbaa !14
  %444 = getelementptr inbounds %struct.RBNode, ptr %443, i32 0, i32 2
  %445 = getelementptr inbounds [2 x ptr], ptr %444, i64 0, i64 1
  %446 = load ptr, ptr %445, align 8, !tbaa !5
  %447 = getelementptr inbounds %struct.RBNode, ptr %446, i32 0, i32 3
  %448 = load i8, ptr %447, align 8
  %449 = and i8 %448, -2
  %450 = or i8 %449, 0
  store i8 %450, ptr %447, align 8
  %451 = load ptr, ptr %10, align 8, !tbaa !5
  %452 = load ptr, ptr %3, align 8, !tbaa !5
  %453 = getelementptr inbounds %struct.RBTree, ptr %452, i32 0, i32 2
  %454 = load ptr, ptr %453, align 8, !tbaa !15
  %455 = icmp eq ptr %451, %454
  br i1 %455, label %456, label %457

456:                                              ; preds = %440
  store i32 1, ptr %17, align 4
  br label %550

457:                                              ; preds = %440
  %458 = load ptr, ptr %7, align 8, !tbaa !5
  %459 = load ptr, ptr %10, align 8, !tbaa !5
  %460 = icmp ne ptr %458, %459
  br i1 %460, label %461, label %532

461:                                              ; preds = %457
  %462 = load i32, ptr %16, align 4, !tbaa !12
  %463 = icmp ne i32 %462, 0
  br i1 %463, label %464, label %478

464:                                              ; preds = %461
  %465 = load ptr, ptr %7, align 8, !tbaa !5
  %466 = getelementptr inbounds %struct.RBNode, ptr %465, i32 0, i32 2
  %467 = load i32, ptr %13, align 4, !tbaa !12
  %468 = icmp ne i32 %467, 0
  %469 = xor i1 %468, true
  %470 = zext i1 %469 to i32
  %471 = sext i32 %470 to i64
  %472 = getelementptr inbounds [2 x ptr], ptr %466, i64 0, i64 %471
  %473 = load ptr, ptr %472, align 8, !tbaa !5
  %474 = getelementptr inbounds %struct.RBNode, ptr %473, i32 0, i32 3
  %475 = load i8, ptr %474, align 8
  %476 = and i8 %475, -2
  %477 = or i8 %476, 0
  store i8 %477, ptr %474, align 8
  br label %478

478:                                              ; preds = %464, %461
  %479 = load ptr, ptr %10, align 8, !tbaa !5
  %480 = getelementptr inbounds %struct.RBNode, ptr %479, i32 0, i32 3
  %481 = load i8, ptr %480, align 8
  %482 = and i8 %481, 1
  %483 = zext i8 %482 to i32
  %484 = icmp eq i32 %483, 1
  br i1 %484, label %485, label %491

485:                                              ; preds = %478
  %486 = load ptr, ptr %7, align 8, !tbaa !5
  %487 = getelementptr inbounds %struct.RBNode, ptr %486, i32 0, i32 3
  %488 = load i8, ptr %487, align 8
  %489 = and i8 %488, -2
  %490 = or i8 %489, 1
  store i8 %490, ptr %487, align 8
  br label %497

491:                                              ; preds = %478
  %492 = load ptr, ptr %7, align 8, !tbaa !5
  %493 = getelementptr inbounds %struct.RBNode, ptr %492, i32 0, i32 3
  %494 = load i8, ptr %493, align 8
  %495 = and i8 %494, -2
  %496 = or i8 %495, 0
  store i8 %496, ptr %493, align 8
  br label %497

497:                                              ; preds = %491, %485
  %498 = load ptr, ptr %7, align 8, !tbaa !5
  %499 = getelementptr inbounds %struct.RBNode, ptr %498, i32 0, i32 2
  %500 = load i32, ptr %13, align 4, !tbaa !12
  %501 = icmp ne i32 %500, 0
  %502 = xor i1 %501, true
  %503 = zext i1 %502 to i32
  %504 = sext i32 %503 to i64
  %505 = getelementptr inbounds [2 x ptr], ptr %499, i64 0, i64 %504
  %506 = load ptr, ptr %505, align 8, !tbaa !5
  %507 = load ptr, ptr %9, align 8, !tbaa !5
  %508 = getelementptr inbounds %struct.RBNode, ptr %507, i32 0, i32 2
  %509 = load i32, ptr %12, align 4, !tbaa !12
  %510 = sext i32 %509 to i64
  %511 = getelementptr inbounds [2 x ptr], ptr %508, i64 0, i64 %510
  store ptr %506, ptr %511, align 8, !tbaa !5
  %512 = load ptr, ptr %10, align 8, !tbaa !5
  %513 = getelementptr inbounds %struct.RBNode, ptr %512, i32 0, i32 2
  %514 = getelementptr inbounds [2 x ptr], ptr %513, i64 0, i64 1
  %515 = load ptr, ptr %514, align 8, !tbaa !5
  %516 = load ptr, ptr %7, align 8, !tbaa !5
  %517 = getelementptr inbounds %struct.RBNode, ptr %516, i32 0, i32 2
  %518 = getelementptr inbounds [2 x ptr], ptr %517, i64 0, i64 1
  store ptr %515, ptr %518, align 8, !tbaa !5
  %519 = load ptr, ptr %10, align 8, !tbaa !5
  %520 = getelementptr inbounds %struct.RBNode, ptr %519, i32 0, i32 2
  %521 = getelementptr inbounds [2 x ptr], ptr %520, i64 0, i64 0
  %522 = load ptr, ptr %521, align 8, !tbaa !5
  %523 = load ptr, ptr %7, align 8, !tbaa !5
  %524 = getelementptr inbounds %struct.RBNode, ptr %523, i32 0, i32 2
  %525 = getelementptr inbounds [2 x ptr], ptr %524, i64 0, i64 0
  store ptr %522, ptr %525, align 8, !tbaa !5
  %526 = load ptr, ptr %7, align 8, !tbaa !5
  %527 = load ptr, ptr %11, align 8, !tbaa !5
  %528 = getelementptr inbounds %struct.RBNode, ptr %527, i32 0, i32 2
  %529 = load i32, ptr %15, align 4, !tbaa !12
  %530 = sext i32 %529 to i64
  %531 = getelementptr inbounds [2 x ptr], ptr %528, i64 0, i64 %530
  store ptr %526, ptr %531, align 8, !tbaa !5
  br label %541

532:                                              ; preds = %457
  %533 = load ptr, ptr %3, align 8, !tbaa !5
  %534 = getelementptr inbounds %struct.RBTree, ptr %533, i32 0, i32 2
  %535 = load ptr, ptr %534, align 8, !tbaa !15
  %536 = load ptr, ptr %9, align 8, !tbaa !5
  %537 = getelementptr inbounds %struct.RBNode, ptr %536, i32 0, i32 2
  %538 = load i32, ptr %12, align 4, !tbaa !12
  %539 = sext i32 %538 to i64
  %540 = getelementptr inbounds [2 x ptr], ptr %537, i64 0, i64 %539
  store ptr %535, ptr %540, align 8, !tbaa !5
  br label %541

541:                                              ; preds = %532, %497
  %542 = load ptr, ptr %5, align 8, !tbaa !5
  %543 = getelementptr inbounds %struct.DsAllocator, ptr %542, i32 0, i32 5
  %544 = load ptr, ptr %543, align 8, !tbaa !21
  %545 = load ptr, ptr %10, align 8, !tbaa !5
  call void %544(ptr noundef %545)
  %546 = load ptr, ptr %3, align 8, !tbaa !5
  %547 = getelementptr inbounds %struct.RBTree, ptr %546, i32 0, i32 8
  %548 = load i64, ptr %547, align 8, !tbaa !23
  %549 = add i64 %548, -1
  store i64 %549, ptr %547, align 8, !tbaa !23
  store i32 0, ptr %17, align 4
  br label %550

550:                                              ; preds = %541, %456, %26
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #2
  %551 = load i32, ptr %17, align 4
  switch i32 %551, label %553 [
    i32 0, label %552
    i32 1, label %552
  ]

552:                                              ; preds = %550, %550
  ret void

553:                                              ; preds = %550
  unreachable
}

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 #2 = { 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, !6, i64 0}
!10 = !{!"RBTree", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !6, i64 56, !11, i64 64}
!11 = !{!"long", !7, i64 0}
!12 = !{!13, !13, i64 0}
!13 = !{!"int", !7, i64 0}
!14 = !{!10, !6, i64 8}
!15 = !{!10, !6, i64 16}
!16 = !{!10, !6, i64 32}
!17 = !{!18, !6, i64 0}
!18 = !{!"RBNode", !6, i64 0, !6, i64 8, !7, i64 16, !7, i64 32}
!19 = distinct !{!19, !20}
!20 = !{!"llvm.loop.mustprogress"}
!21 = !{!22, !6, i64 40}
!22 = !{!"DsAllocator", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48}
!23 = !{!10, !11, i64 64}


; 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"

@rb_emptystr = external hidden local_unnamed_addr global ptr, align 8

; Function Attrs: nounwind uwtable
define dso_local void @rb_remove(ptr nocapture noundef %0, ptr noundef %1) local_unnamed_addr #0 {
  %.not = icmp eq ptr %1, null
  %3 = load ptr, ptr @rb_emptystr, align 8
  %4 = icmp eq ptr %3, %1
  %or.cond = select i1 %.not, i1 true, i1 %4
  br i1 %or.cond, label %205, label %5

5:                                                ; preds = %2
  %6 = load ptr, ptr %0, align 8, !tbaa !5
  %7 = getelementptr inbounds i8, ptr %0, i64 8
  %8 = load ptr, ptr %7, align 8, !tbaa !11
  %9 = getelementptr inbounds i8, ptr %8, i64 24
  %10 = load ptr, ptr %9, align 8, !tbaa !12
  %11 = getelementptr inbounds i8, ptr %0, i64 16
  %12 = load ptr, ptr %11, align 8, !tbaa !13
  %13 = getelementptr inbounds i8, ptr %10, i64 16
  %14 = load ptr, ptr %13, align 8, !tbaa !12
  %15 = getelementptr inbounds i8, ptr %14, i64 32
  %16 = load i8, ptr %15, align 8
  %17 = and i8 %16, 1
  %18 = icmp eq i8 %17, 0
  br i1 %18, label %19, label %30

19:                                               ; preds = %5
  %20 = getelementptr inbounds i8, ptr %10, i64 24
  %21 = load ptr, ptr %20, align 8, !tbaa !12
  %22 = getelementptr inbounds i8, ptr %21, i64 32
  %23 = load i8, ptr %22, align 8
  %24 = and i8 %23, 1
  %25 = icmp eq i8 %24, 0
  br i1 %25, label %26, label %30

26:                                               ; preds = %19
  %27 = getelementptr inbounds i8, ptr %10, i64 32
  %28 = load i8, ptr %27, align 8
  %29 = or i8 %28, 1
  store i8 %29, ptr %27, align 8
  br label %30

30:                                               ; preds = %5, %19, %26
  %31 = phi i1 [ true, %26 ], [ false, %19 ], [ false, %5 ]
  %32 = getelementptr inbounds i8, ptr %0, i64 32
  br label %.backedge

33:                                               ; preds = %154
  br i1 %.3, label %53, label %34

34:                                               ; preds = %33
  %35 = getelementptr inbounds i8, ptr %159, i64 32
  %36 = load i8, ptr %35, align 8
  %37 = and i8 %36, 1
  %.not173 = icmp eq i8 %37, 0
  br i1 %.not173, label %38, label %.backedge.backedge

38:                                               ; preds = %34
  %39 = getelementptr inbounds i8, ptr %.0141, i64 16
  %40 = zext nneg i32 %.0148 to i64
  %41 = getelementptr inbounds [2 x ptr], ptr %39, i64 0, i64 %40
  store ptr %163, ptr %41, align 8, !tbaa !12
  %42 = getelementptr inbounds i8, ptr %163, i64 16
  %43 = getelementptr inbounds [2 x ptr], ptr %42, i64 0, i64 %157
  %44 = load ptr, ptr %43, align 8, !tbaa !12
  store ptr %44, ptr %162, align 8, !tbaa !12
  store ptr %.0, ptr %43, align 8, !tbaa !12
  %45 = getelementptr inbounds i8, ptr %.0, i64 32
  %46 = load i8, ptr %45, align 8
  %47 = or i8 %46, 1
  store i8 %47, ptr %45, align 8
  %48 = getelementptr inbounds i8, ptr %163, i64 32
  %49 = load i8, ptr %48, align 8
  %50 = and i8 %49, -2
  store i8 %50, ptr %48, align 8
  %51 = icmp eq ptr %.6157, %.0141
  %spec.select = select i1 %51, ptr %163, ptr %.6157
  %spec.select178 = select i1 %51, i32 %.1149, i32 %.6
  %52 = load ptr, ptr %162, align 8, !tbaa !12
  br label %53

53:                                               ; preds = %38, %33
  %.0160 = phi ptr [ %163, %38 ], [ %.0141, %33 ]
  %.1152 = phi ptr [ %spec.select, %38 ], [ %.6157, %33 ]
  %.0150 = phi i32 [ %.1149, %38 ], [ %.0148, %33 ]
  %.0147 = phi ptr [ %52, %38 ], [ %163, %33 ]
  %.1144 = phi i32 [ %spec.select178, %38 ], [ %.6, %33 ]
  %54 = getelementptr inbounds i8, ptr %159, i64 16
  %55 = load ptr, ptr %54, align 8, !tbaa !12
  %56 = getelementptr inbounds i8, ptr %55, i64 32
  %57 = load i8, ptr %56, align 8
  %58 = and i8 %57, 1
  %59 = icmp eq i8 %58, 0
  br i1 %59, label %60, label %.backedge.backedge

60:                                               ; preds = %53
  %61 = getelementptr inbounds i8, ptr %159, i64 24
  %62 = load ptr, ptr %61, align 8, !tbaa !12
  %63 = getelementptr inbounds i8, ptr %62, i64 32
  %64 = load i8, ptr %63, align 8
  %65 = and i8 %64, 1
  %66 = icmp eq i8 %65, 0
  br i1 %66, label %67, label %.backedge.backedge

67:                                               ; preds = %60
  %68 = load ptr, ptr %11, align 8, !tbaa !13
  %.not174 = icmp eq ptr %.0147, %68
  br i1 %.not174, label %93, label %69

69:                                               ; preds = %67
  %70 = getelementptr inbounds i8, ptr %.0147, i64 16
  %71 = load ptr, ptr %70, align 8, !tbaa !12
  %72 = getelementptr inbounds i8, ptr %71, i64 32
  %73 = load i8, ptr %72, align 8
  %74 = and i8 %73, 1
  %75 = icmp eq i8 %74, 0
  br i1 %75, label %76, label %93

76:                                               ; preds = %69
  %77 = getelementptr inbounds i8, ptr %.0147, i64 24
  %78 = load ptr, ptr %77, align 8, !tbaa !12
  %79 = getelementptr inbounds i8, ptr %78, i64 32
  %80 = load i8, ptr %79, align 8
  %81 = and i8 %80, 1
  %82 = icmp eq i8 %81, 0
  br i1 %82, label %83, label %93

83:                                               ; preds = %76
  %84 = getelementptr inbounds i8, ptr %159, i64 32
  %85 = load i8, ptr %84, align 8
  %86 = or i8 %85, 1
  store i8 %86, ptr %84, align 8
  %87 = getelementptr inbounds i8, ptr %.0147, i64 32
  %88 = load i8, ptr %87, align 8
  %89 = or i8 %88, 1
  store i8 %89, ptr %87, align 8
  %90 = getelementptr inbounds i8, ptr %.0, i64 32
  %91 = load i8, ptr %90, align 8
  %92 = and i8 %91, -2
  store i8 %92, ptr %90, align 8
  br label %.backedge.backedge

93:                                               ; preds = %76, %69, %67
  %94 = getelementptr inbounds i8, ptr %.0147, i64 16
  %95 = getelementptr inbounds [2 x ptr], ptr %94, i64 0, i64 %157
  %96 = load ptr, ptr %95, align 8, !tbaa !12
  %97 = getelementptr inbounds i8, ptr %96, i64 32
  %98 = load i8, ptr %97, align 8
  %99 = and i8 %98, 1
  %.not175 = icmp eq i8 %99, 0
  br i1 %.not175, label %116, label %100

100:                                              ; preds = %93
  %101 = getelementptr inbounds i8, ptr %96, i64 16
  %102 = getelementptr inbounds [2 x ptr], ptr %101, i64 0, i64 %161
  %103 = load ptr, ptr %102, align 8, !tbaa !12
  store ptr %103, ptr %95, align 8, !tbaa !12
  %104 = getelementptr inbounds [2 x ptr], ptr %101, i64 0, i64 %157
  %105 = load ptr, ptr %104, align 8, !tbaa !12
  store ptr %105, ptr %162, align 8, !tbaa !12
  store ptr %.0, ptr %104, align 8, !tbaa !12
  store ptr %.0147, ptr %102, align 8, !tbaa !12
  %106 = getelementptr inbounds i8, ptr %.0160, i64 16
  %107 = zext nneg i32 %.0150 to i64
  %108 = getelementptr inbounds [2 x ptr], ptr %106, i64 0, i64 %107
  store ptr %96, ptr %108, align 8, !tbaa !12
  %109 = getelementptr inbounds i8, ptr %159, i64 32
  %110 = load i8, ptr %109, align 8
  %111 = or i8 %110, 1
  store i8 %111, ptr %109, align 8
  %112 = getelementptr inbounds i8, ptr %.0, i64 32
  %113 = load i8, ptr %112, align 8
  %114 = and i8 %113, -2
  store i8 %114, ptr %112, align 8
  %115 = icmp eq ptr %.1152, %.0160
  %spec.select179 = select i1 %115, ptr %96, ptr %.1152
  %spec.select180 = select i1 %115, i32 %.1149, i32 %.1144
  br label %.backedge.backedge

.backedge.backedge:                               ; preds = %100, %122, %116, %83, %60, %53, %34
  %.5156.be = phi ptr [ %spec.select179, %100 ], [ %spec.select181, %122 ], [ %.1152, %116 ], [ %.1152, %83 ], [ %.1152, %60 ], [ %.1152, %53 ], [ %.6157, %34 ]
  %.5.be = phi i32 [ %spec.select180, %100 ], [ %spec.select182, %122 ], [ %.1144, %116 ], [ %.1144, %83 ], [ %.1144, %60 ], [ %.1144, %53 ], [ %.6, %34 ]
  %.3.be = phi i1 [ true, %100 ], [ true, %122 ], [ true, %116 ], [ true, %83 ], [ false, %60 ], [ false, %53 ], [ true, %34 ]
  br label %.backedge

116:                                              ; preds = %93
  %117 = getelementptr inbounds [2 x ptr], ptr %94, i64 0, i64 %161
  %118 = load ptr, ptr %117, align 8, !tbaa !12
  %119 = getelementptr inbounds i8, ptr %118, i64 32
  %120 = load i8, ptr %119, align 8
  %121 = and i8 %120, 1
  %.not176 = icmp eq i8 %121, 0
  br i1 %.not176, label %.backedge.backedge, label %122

122:                                              ; preds = %116
  store ptr %96, ptr %162, align 8, !tbaa !12
  store ptr %.0, ptr %95, align 8, !tbaa !12
  %123 = getelementptr inbounds i8, ptr %.0160, i64 16
  %124 = zext nneg i32 %.0150 to i64
  %125 = getelementptr inbounds [2 x ptr], ptr %123, i64 0, i64 %124
  store ptr %.0147, ptr %125, align 8, !tbaa !12
  %126 = getelementptr inbounds i8, ptr %159, i64 32
  %127 = load i8, ptr %126, align 8
  %128 = or i8 %127, 1
  store i8 %128, ptr %126, align 8
  %129 = getelementptr inbounds i8, ptr %.0147, i64 32
  %130 = load i8, ptr %129, align 8
  %131 = or i8 %130, 1
  store i8 %131, ptr %129, align 8
  %132 = getelementptr inbounds i8, ptr %.0, i64 32
  %133 = load i8, ptr %132, align 8
  %134 = and i8 %133, -2
  store i8 %134, ptr %132, align 8
  %135 = load i8, ptr %119, align 8
  %136 = and i8 %135, -2
  store i8 %136, ptr %119, align 8
  %137 = icmp eq ptr %.1152, %.0160
  %spec.select181 = select i1 %137, ptr %.0147, ptr %.1152
  %spec.select182 = select i1 %137, i32 %.1149, i32 %.1144
  br label %.backedge.backedge

.backedge:                                        ; preds = %.backedge.backedge, %30
  %.0158 = phi ptr [ %12, %30 ], [ %.1159, %.backedge.backedge ]
  %.5156 = phi ptr [ %12, %30 ], [ %.5156.be, %.backedge.backedge ]
  %.0148 = phi i32 [ 1, %30 ], [ %.1149, %.backedge.backedge ]
  %.5 = phi i32 [ 0, %30 ], [ %.5.be, %.backedge.backedge ]
  %.3 = phi i1 [ %31, %30 ], [ %.3.be, %.backedge.backedge ]
  %.0141 = phi ptr [ %8, %30 ], [ %.0, %.backedge.backedge ]
  %.0 = phi ptr [ %10, %30 ], [ %159, %.backedge.backedge ]
  %138 = load ptr, ptr %11, align 8, !tbaa !13
  %.not166 = icmp eq ptr %.0158, %138
  br i1 %.not166, label %143, label %139

139:                                              ; preds = %.backedge
  %140 = getelementptr inbounds i8, ptr %.0158, i64 24
  %141 = load ptr, ptr %140, align 8, !tbaa !12
  %142 = icmp eq ptr %141, %138
  br label %154

143:                                              ; preds = %.backedge
  %144 = load ptr, ptr %32, align 8, !tbaa !14
  %145 = load ptr, ptr %.0, align 8, !tbaa !15
  %146 = tail call i32 %144(ptr noundef nonnull %1, ptr noundef %145) #1
  %.not167 = icmp eq i32 %146, 0
  br i1 %.not167, label %149, label %147

147:                                              ; preds = %143
  %148 = icmp sgt i32 %146, -1
  %.pre = load ptr, ptr %11, align 8, !tbaa !13
  br label %154

149:                                              ; preds = %143
  %150 = getelementptr inbounds i8, ptr %.0, i64 24
  %151 = load ptr, ptr %150, align 8, !tbaa !12
  %152 = load ptr, ptr %11, align 8, !tbaa !13
  %153 = icmp ne ptr %151, %152
  br label %154

154:                                              ; preds = %147, %149, %139
  %155 = phi ptr [ %138, %139 ], [ %.pre, %147 ], [ %152, %149 ]
  %.1159 = phi ptr [ %.0158, %139 ], [ %.0158, %147 ], [ %.0, %149 ]
  %.6157 = phi ptr [ %.5156, %139 ], [ %.5156, %147 ], [ %.0141, %149 ]
  %.1149.in = phi i1 [ %142, %139 ], [ %148, %147 ], [ %153, %149 ]
  %.6 = phi i32 [ %.5, %139 ], [ %.5, %147 ], [ %.0148, %149 ]
  %.1149 = zext i1 %.1149.in to i32
  %156 = getelementptr inbounds i8, ptr %.0, i64 16
  %157 = zext i1 %.1149.in to i64
  %158 = getelementptr inbounds [2 x ptr], ptr %156, i64 0, i64 %157
  %159 = load ptr, ptr %158, align 8, !tbaa !12
  %160 = xor i1 %.1149.in, true
  %161 = zext i1 %160 to i64
  %162 = getelementptr inbounds [2 x ptr], ptr %156, i64 0, i64 %161
  %163 = load ptr, ptr %162, align 8, !tbaa !12
  %.not168 = icmp eq ptr %159, %155
  br i1 %.not168, label %164, label %33, !llvm.loop !17

164:                                              ; preds = %154
  %165 = load ptr, ptr %7, align 8, !tbaa !11
  %166 = getelementptr inbounds i8, ptr %165, i64 24
  %167 = load ptr, ptr %166, align 8, !tbaa !12
  %168 = getelementptr inbounds i8, ptr %167, i64 32
  %169 = load i8, ptr %168, align 8
  %170 = and i8 %169, -2
  store i8 %170, ptr %168, align 8
  %171 = load ptr, ptr %11, align 8, !tbaa !13
  %172 = icmp eq ptr %.1159, %171
  br i1 %172, label %205, label %173

173:                                              ; preds = %164
  %.not169 = icmp eq ptr %.0, %.1159
  br i1 %.not169, label %196, label %174

174:                                              ; preds = %173
  br i1 %.3, label %180, label %175

175:                                              ; preds = %174
  %176 = load ptr, ptr %162, align 8, !tbaa !12
  %177 = getelementptr inbounds i8, ptr %176, i64 32
  %178 = load i8, ptr %177, align 8
  %179 = and i8 %178, -2
  store i8 %179, ptr %177, align 8
  br label %180

180:                                              ; preds = %175, %174
  %181 = getelementptr inbounds i8, ptr %.1159, i64 32
  %182 = load i8, ptr %181, align 8
  %183 = and i8 %182, 1
  %184 = getelementptr inbounds i8, ptr %.0, i64 32
  %185 = load i8, ptr %184, align 8
  %186 = and i8 %185, -2
  %.sink = or disjoint i8 %186, %183
  store i8 %.sink, ptr %184, align 8
  %187 = load ptr, ptr %162, align 8, !tbaa !12
  %188 = getelementptr inbounds i8, ptr %.0141, i64 16
  %189 = zext nneg i32 %.0148 to i64
  %190 = getelementptr inbounds [2 x ptr], ptr %188, i64 0, i64 %189
  store ptr %187, ptr %190, align 8, !tbaa !12
  %191 = getelementptr inbounds i8, ptr %.1159, i64 16
  %192 = getelementptr inbounds i8, ptr %.1159, i64 24
  %193 = load ptr, ptr %192, align 8, !tbaa !12
  %194 = getelementptr inbounds i8, ptr %.0, i64 24
  store ptr %193, ptr %194, align 8, !tbaa !12
  %195 = load ptr, ptr %191, align 8, !tbaa !12
  store ptr %195, ptr %156, align 8, !tbaa !12
  br label %196

196:                                              ; preds = %173, %180
  %.0141.lcssa.sink = phi ptr [ %.6157, %180 ], [ %.0141, %173 ]
  %.0148.lcssa.sink = phi i32 [ %.6, %180 ], [ %.0148, %173 ]
  %.sink186 = phi ptr [ %.0, %180 ], [ %171, %173 ]
  %197 = getelementptr inbounds i8, ptr %.0141.lcssa.sink, i64 16
  %198 = zext nneg i32 %.0148.lcssa.sink to i64
  %199 = getelementptr inbounds [2 x ptr], ptr %197, i64 0, i64 %198
  store ptr %.sink186, ptr %199, align 8, !tbaa !12
  %200 = getelementptr inbounds i8, ptr %6, i64 40
  %201 = load ptr, ptr %200, align 8, !tbaa !19
  tail call void %201(ptr noundef %.1159) #1
  %202 = getelementptr inbounds i8, ptr %0, i64 64
  %203 = load i64, ptr %202, align 8, !tbaa !21
  %204 = add i64 %203, -1
  store i64 %204, ptr %202, align 8, !tbaa !21
  br label %205

205:                                              ; preds = %164, %2, %196
  ret void
}

attributes #0 = { 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 #1 = { 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, !7, i64 0}
!6 = !{!"RBTree", !7, i64 0, !7, i64 8, !7, i64 16, !7, i64 24, !7, i64 32, !7, i64 40, !7, i64 48, !7, i64 56, !10, i64 64}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"long", !8, i64 0}
!11 = !{!6, !7, i64 8}
!12 = !{!7, !7, i64 0}
!13 = !{!6, !7, i64 16}
!14 = !{!6, !7, i64 32}
!15 = !{!16, !7, i64 0}
!16 = !{!"RBNode", !7, i64 0, !7, i64 8, !8, i64 16, !8, i64 32}
!17 = distinct !{!17, !18}
!18 = !{!"llvm.loop.mustprogress"}
!19 = !{!20, !7, i64 40}
!20 = !{!"DsAllocator", !7, i64 0, !7, i64 8, !7, i64 16, !7, i64 24, !7, i64 32, !7, i64 40, !7, i64 48}
!21 = !{!6, !10, i64 64}


; Effective O3 passes: EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,LCSSAPass,LICMPass,LoopSimplifyPass,LoopUnrollPass,PostOrderFunctionAttrsPass,SROAPass,SimplifyCFGPass,TailCallElimPass