; LLVM IR from jgaeddert/liquid-dsp :: sandbox (fec_golay_test)

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

@P = external dso_local global [12 x i32], align 16
@Gt = external dso_local global [24 x i32], align 16
@H = external dso_local global [12 x i32], align 16
@.str.3 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [54 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [1 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [70 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [62 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [74 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [39 x i8], align 1

; Function Attrs: nounwind uwtable
declare dso_local void @print_bitstring(i32 noundef, i32 noundef) #0

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

declare i32 @printf(ptr noundef, ...) #2

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

; Function Attrs: nounwind uwtable
define dso_local i32 @main(i32 noundef %0, ptr noundef %1) #0 {
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %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 i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca i32, align 4
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  store i32 0, ptr %3, align 4
  store i32 %0, ptr %4, align 4, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #3
  store i32 3328, ptr %7, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #3
  store i32 3021, ptr %8, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #3
  %30 = call i32 (ptr, ...) @printf(ptr noundef @.str.3)
  %31 = load i32, ptr %8, align 4, !tbaa !5
  call void @print_bitstring(i32 noundef %31, i32 noundef 12)
  store i32 0, ptr %9, align 4, !tbaa !5
  store i32 0, ptr %6, align 4, !tbaa !5
  br label %32

32:                                               ; preds = %47, %2
  %33 = load i32, ptr %6, align 4, !tbaa !5
  %34 = icmp ult i32 %33, 24
  br i1 %34, label %35, label %50

35:                                               ; preds = %32
  %36 = load i32, ptr %9, align 4, !tbaa !5
  %37 = shl i32 %36, 1
  store i32 %37, ptr %9, align 4, !tbaa !5
  %38 = load i32, ptr %6, align 4, !tbaa !5
  %39 = zext i32 %38 to i64
  %40 = getelementptr inbounds [24 x i32], ptr @Gt, i64 0, i64 %39
  %41 = load i32, ptr %40, align 4, !tbaa !5
  %42 = load i32, ptr %8, align 4, !tbaa !5
  %43 = and i32 %41, %42
  %44 = call i32 @liquid_count_ones_mod2(i32 noundef %43)
  %45 = load i32, ptr %9, align 4, !tbaa !5
  %46 = or i32 %45, %44
  store i32 %46, ptr %9, align 4, !tbaa !5
  br label %47

47:                                               ; preds = %35
  %48 = load i32, ptr %6, align 4, !tbaa !5
  %49 = add i32 %48, 1
  store i32 %49, ptr %6, align 4, !tbaa !5
  br label %32, !llvm.loop !11

50:                                               ; preds = %32
  %51 = call i32 (ptr, ...) @printf(ptr noundef @.str.4)
  %52 = load i32, ptr %9, align 4, !tbaa !5
  call void @print_bitstring(i32 noundef %52, i32 noundef 24)
  %53 = load i32, ptr %7, align 4, !tbaa !5
  store i32 %53, ptr %10, align 4, !tbaa !5
  %54 = call i32 (ptr, ...) @printf(ptr noundef @.str.5)
  %55 = load i32, ptr %10, align 4, !tbaa !5
  call void @print_bitstring(i32 noundef %55, i32 noundef 24)
  %56 = load i32, ptr %9, align 4, !tbaa !5
  %57 = load i32, ptr %10, align 4, !tbaa !5
  %58 = xor i32 %56, %57
  store i32 %58, ptr %11, align 4, !tbaa !5
  %59 = call i32 (ptr, ...) @printf(ptr noundef @.str.6)
  %60 = load i32, ptr %11, align 4, !tbaa !5
  call void @print_bitstring(i32 noundef %60, i32 noundef 24)
  store i32 0, ptr %12, align 4, !tbaa !5
  store i32 0, ptr %6, align 4, !tbaa !5
  br label %61

61:                                               ; preds = %76, %50
  %62 = load i32, ptr %6, align 4, !tbaa !5
  %63 = icmp ult i32 %62, 12
  br i1 %63, label %64, label %79

64:                                               ; preds = %61
  %65 = load i32, ptr %12, align 4, !tbaa !5
  %66 = shl i32 %65, 1
  store i32 %66, ptr %12, align 4, !tbaa !5
  %67 = load i32, ptr %6, align 4, !tbaa !5
  %68 = zext i32 %67 to i64
  %69 = getelementptr inbounds [12 x i32], ptr @H, i64 0, i64 %68
  %70 = load i32, ptr %69, align 4, !tbaa !5
  %71 = load i32, ptr %11, align 4, !tbaa !5
  %72 = and i32 %70, %71
  %73 = call i32 @liquid_count_ones_mod2(i32 noundef %72)
  %74 = load i32, ptr %12, align 4, !tbaa !5
  %75 = or i32 %74, %73
  store i32 %75, ptr %12, align 4, !tbaa !5
  br label %76

76:                                               ; preds = %64
  %77 = load i32, ptr %6, align 4, !tbaa !5
  %78 = add i32 %77, 1
  store i32 %78, ptr %6, align 4, !tbaa !5
  br label %61, !llvm.loop !13

79:                                               ; preds = %61
  %80 = call i32 (ptr, ...) @printf(ptr noundef @.str.7)
  %81 = load i32, ptr %12, align 4, !tbaa !5
  call void @print_bitstring(i32 noundef %81, i32 noundef 12)
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #3
  %82 = load i32, ptr %12, align 4, !tbaa !5
  %83 = call i32 @liquid_count_ones(i32 noundef %82)
  store i32 %83, ptr %16, align 4, !tbaa !5
  %84 = load i32, ptr %16, align 4, !tbaa !5
  %85 = call i32 (ptr, ...) @printf(ptr noundef @.str.8, i32 noundef %84)
  store i32 0, ptr %13, align 4, !tbaa !5
  %86 = load i32, ptr %16, align 4, !tbaa !5
  %87 = icmp ule i32 %86, 3
  br i1 %87, label %88, label %92

88:                                               ; preds = %79
  %89 = call i32 (ptr, ...) @printf(ptr noundef @.str.9)
  %90 = load i32, ptr %12, align 4, !tbaa !5
  %91 = shl i32 %90, 12
  store i32 %91, ptr %13, align 4, !tbaa !5
  br label %232

92:                                               ; preds = %79
  %93 = call i32 (ptr, ...) @printf(ptr noundef @.str.10)
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #3
  store i32 0, ptr %19, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #3
  store i32 0, ptr %20, align 4, !tbaa !5
  store i32 0, ptr %17, align 4, !tbaa !5
  br label %94

94:                                               ; preds = %121, %92
  %95 = load i32, ptr %17, align 4, !tbaa !5
  %96 = icmp ult i32 %95, 12
  br i1 %96, label %97, label %124

97:                                               ; preds = %94
  %98 = load i32, ptr %12, align 4, !tbaa !5
  %99 = load i32, ptr %17, align 4, !tbaa !5
  %100 = zext i32 %99 to i64
  %101 = getelementptr inbounds [12 x i32], ptr @P, i64 0, i64 %100
  %102 = load i32, ptr %101, align 4, !tbaa !5
  %103 = xor i32 %98, %102
  store i32 %103, ptr %18, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #3
  %104 = load i32, ptr %18, align 4, !tbaa !5
  %105 = call i32 @liquid_count_ones(i32 noundef %104)
  store i32 %105, ptr %21, align 4, !tbaa !5
  %106 = load i32, ptr %17, align 4, !tbaa !5
  %107 = load i32, ptr %21, align 4, !tbaa !5
  %108 = load i32, ptr %21, align 4, !tbaa !5
  %109 = icmp ule i32 %108, 2
  %110 = zext i1 %109 to i64
  %111 = select i1 %109, ptr @.str.12, ptr @.str.13
  %112 = call i32 (ptr, ...) @printf(ptr noundef @.str.11, i32 noundef %106, i32 noundef %107, ptr noundef %111)
  %113 = load i32, ptr %21, align 4, !tbaa !5
  %114 = icmp ule i32 %113, 2
  br i1 %114, label %115, label %117

115:                                              ; preds = %97
  store i32 1, ptr %19, align 4, !tbaa !5
  %116 = load i32, ptr %17, align 4, !tbaa !5
  store i32 %116, ptr %20, align 4, !tbaa !5
  store i32 8, ptr %22, align 4
  br label %118

117:                                              ; preds = %97
  store i32 0, ptr %22, align 4
  br label %118

118:                                              ; preds = %117, %115
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #3
  %119 = load i32, ptr %22, align 4
  switch i32 %119, label %252 [
    i32 0, label %120
    i32 8, label %124
  ]

120:                                              ; preds = %118
  br label %121

121:                                              ; preds = %120
  %122 = load i32, ptr %17, align 4, !tbaa !5
  %123 = add i32 %122, 1
  store i32 %123, ptr %17, align 4, !tbaa !5
  br label %94, !llvm.loop !14

124:                                              ; preds = %118, %94
  %125 = load i32, ptr %19, align 4, !tbaa !5
  %126 = icmp ne i32 %125, 0
  br i1 %126, label %127, label %143

127:                                              ; preds = %124
  %128 = load i32, ptr %20, align 4, !tbaa !5
  %129 = load i32, ptr %20, align 4, !tbaa !5
  %130 = load i32, ptr %20, align 4, !tbaa !5
  %131 = call i32 (ptr, ...) @printf(ptr noundef @.str.14, i32 noundef %128, i32 noundef %129, i32 noundef %130)
  %132 = load i32, ptr %12, align 4, !tbaa !5
  %133 = load i32, ptr %20, align 4, !tbaa !5
  %134 = zext i32 %133 to i64
  %135 = getelementptr inbounds [12 x i32], ptr @P, i64 0, i64 %134
  %136 = load i32, ptr %135, align 4, !tbaa !5
  %137 = xor i32 %132, %136
  %138 = shl i32 %137, 12
  %139 = load i32, ptr %20, align 4, !tbaa !5
  %140 = sub i32 11, %139
  %141 = shl i32 1, %140
  %142 = or i32 %138, %141
  store i32 %142, ptr %13, align 4, !tbaa !5
  br label %231

143:                                              ; preds = %124
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #3
  store i32 0, ptr %23, align 4, !tbaa !5
  store i32 0, ptr %6, align 4, !tbaa !5
  br label %144

144:                                              ; preds = %159, %143
  %145 = load i32, ptr %6, align 4, !tbaa !5
  %146 = icmp ult i32 %145, 12
  br i1 %146, label %147, label %162

147:                                              ; preds = %144
  %148 = load i32, ptr %23, align 4, !tbaa !5
  %149 = shl i32 %148, 1
  store i32 %149, ptr %23, align 4, !tbaa !5
  %150 = load i32, ptr %12, align 4, !tbaa !5
  %151 = load i32, ptr %6, align 4, !tbaa !5
  %152 = zext i32 %151 to i64
  %153 = getelementptr inbounds [12 x i32], ptr @P, i64 0, i64 %152
  %154 = load i32, ptr %153, align 4, !tbaa !5
  %155 = and i32 %150, %154
  %156 = call i32 @liquid_count_ones_mod2(i32 noundef %155)
  %157 = load i32, ptr %23, align 4, !tbaa !5
  %158 = or i32 %157, %156
  store i32 %158, ptr %23, align 4, !tbaa !5
  br label %159

159:                                              ; preds = %147
  %160 = load i32, ptr %6, align 4, !tbaa !5
  %161 = add i32 %160, 1
  store i32 %161, ptr %6, align 4, !tbaa !5
  br label %144, !llvm.loop !15

162:                                              ; preds = %144
  %163 = call i32 (ptr, ...) @printf(ptr noundef @.str.15)
  %164 = load i32, ptr %23, align 4, !tbaa !5
  call void @print_bitstring(i32 noundef %164, i32 noundef 12)
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #3
  %165 = load i32, ptr %23, align 4, !tbaa !5
  %166 = call i32 @liquid_count_ones(i32 noundef %165)
  store i32 %166, ptr %24, align 4, !tbaa !5
  %167 = load i32, ptr %24, align 4, !tbaa !5
  %168 = call i32 (ptr, ...) @printf(ptr noundef @.str.16, i32 noundef %167)
  %169 = load i32, ptr %24, align 4, !tbaa !5
  %170 = icmp eq i32 %169, 2
  br i1 %170, label %174, label %171

171:                                              ; preds = %162
  %172 = load i32, ptr %24, align 4, !tbaa !5
  %173 = icmp eq i32 %172, 3
  br i1 %173, label %174, label %177

174:                                              ; preds = %171, %162
  %175 = call i32 (ptr, ...) @printf(ptr noundef @.str.17)
  %176 = load i32, ptr %23, align 4, !tbaa !5
  store i32 %176, ptr %13, align 4, !tbaa !5
  br label %230

177:                                              ; preds = %171
  %178 = call i32 (ptr, ...) @printf(ptr noundef @.str.18)
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #3
  store i32 0, ptr %27, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #3
  store i32 0, ptr %28, align 4, !tbaa !5
  store i32 0, ptr %25, align 4, !tbaa !5
  br label %179

179:                                              ; preds = %206, %177
  %180 = load i32, ptr %25, align 4, !tbaa !5
  %181 = icmp ult i32 %180, 12
  br i1 %181, label %182, label %209

182:                                              ; preds = %179
  %183 = load i32, ptr %23, align 4, !tbaa !5
  %184 = load i32, ptr %25, align 4, !tbaa !5
  %185 = zext i32 %184 to i64
  %186 = getelementptr inbounds [12 x i32], ptr @P, i64 0, i64 %185
  %187 = load i32, ptr %186, align 4, !tbaa !5
  %188 = xor i32 %183, %187
  store i32 %188, ptr %26, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #3
  %189 = load i32, ptr %26, align 4, !tbaa !5
  %190 = call i32 @liquid_count_ones(i32 noundef %189)
  store i32 %190, ptr %29, align 4, !tbaa !5
  %191 = load i32, ptr %25, align 4, !tbaa !5
  %192 = load i32, ptr %29, align 4, !tbaa !5
  %193 = load i32, ptr %29, align 4, !tbaa !5
  %194 = icmp eq i32 %193, 2
  %195 = zext i1 %194 to i64
  %196 = select i1 %194, ptr @.str.12, ptr @.str.13
  %197 = call i32 (ptr, ...) @printf(ptr noundef @.str.19, i32 noundef %191, i32 noundef %192, ptr noundef %196)
  %198 = load i32, ptr %29, align 4, !tbaa !5
  %199 = icmp eq i32 %198, 2
  br i1 %199, label %200, label %202

200:                                              ; preds = %182
  store i32 1, ptr %27, align 4, !tbaa !5
  %201 = load i32, ptr %25, align 4, !tbaa !5
  store i32 %201, ptr %28, align 4, !tbaa !5
  store i32 14, ptr %22, align 4
  br label %203

202:                                              ; preds = %182
  store i32 0, ptr %22, align 4
  br label %203

203:                                              ; preds = %202, %200
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #3
  %204 = load i32, ptr %22, align 4
  switch i32 %204, label %252 [
    i32 0, label %205
    i32 14, label %209
  ]

205:                                              ; preds = %203
  br label %206

206:                                              ; preds = %205
  %207 = load i32, ptr %25, align 4, !tbaa !5
  %208 = add i32 %207, 1
  store i32 %208, ptr %25, align 4, !tbaa !5
  br label %179, !llvm.loop !16

209:                                              ; preds = %203, %179
  %210 = load i32, ptr %27, align 4, !tbaa !5
  %211 = icmp ne i32 %210, 0
  br i1 %211, label %212, label %227

212:                                              ; preds = %209
  %213 = load i32, ptr %28, align 4, !tbaa !5
  %214 = load i32, ptr %28, align 4, !tbaa !5
  %215 = load i32, ptr %28, align 4, !tbaa !5
  %216 = call i32 (ptr, ...) @printf(ptr noundef @.str.20, i32 noundef %213, i32 noundef %214, i32 noundef %215)
  %217 = load i32, ptr %28, align 4, !tbaa !5
  %218 = sub i32 23, %217
  %219 = shl i32 1, %218
  %220 = load i32, ptr %23, align 4, !tbaa !5
  %221 = load i32, ptr %28, align 4, !tbaa !5
  %222 = zext i32 %221 to i64
  %223 = getelementptr inbounds [12 x i32], ptr @P, i64 0, i64 %222
  %224 = load i32, ptr %223, align 4, !tbaa !5
  %225 = xor i32 %220, %224
  %226 = or i32 %219, %225
  store i32 %226, ptr %13, align 4, !tbaa !5
  br label %229

227:                                              ; preds = %209
  %228 = call i32 (ptr, ...) @printf(ptr noundef @.str.21)
  br label %229

229:                                              ; preds = %227, %212
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #3
  br label %230

230:                                              ; preds = %229, %174
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #3
  br label %231

231:                                              ; preds = %230, %127
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #3
  br label %232

232:                                              ; preds = %231, %88
  %233 = call i32 (ptr, ...) @printf(ptr noundef @.str.22)
  %234 = load i32, ptr %13, align 4, !tbaa !5
  call void @print_bitstring(i32 noundef %234, i32 noundef 24)
  %235 = load i32, ptr %11, align 4, !tbaa !5
  %236 = load i32, ptr %13, align 4, !tbaa !5
  %237 = xor i32 %235, %236
  store i32 %237, ptr %14, align 4, !tbaa !5
  %238 = call i32 (ptr, ...) @printf(ptr noundef @.str.23)
  %239 = load i32, ptr %14, align 4, !tbaa !5
  call void @print_bitstring(i32 noundef %239, i32 noundef 24)
  %240 = load i32, ptr %9, align 4, !tbaa !5
  call void @print_bitstring(i32 noundef %240, i32 noundef 24)
  %241 = load i32, ptr %9, align 4, !tbaa !5
  %242 = load i32, ptr %14, align 4, !tbaa !5
  %243 = call i32 @count_bit_errors(i32 noundef %241, i32 noundef %242)
  %244 = call i32 (ptr, ...) @printf(ptr noundef @.str.24, i32 noundef %243)
  %245 = load i32, ptr %14, align 4, !tbaa !5
  %246 = and i32 %245, 4095
  store i32 %246, ptr %15, align 4, !tbaa !5
  %247 = load i32, ptr %8, align 4, !tbaa !5
  %248 = load i32, ptr %15, align 4, !tbaa !5
  %249 = call i32 @count_bit_errors(i32 noundef %247, i32 noundef %248)
  %250 = call i32 (ptr, ...) @printf(ptr noundef @.str.25, i32 noundef %249)
  store i32 0, ptr %3, align 4
  store i32 1, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #3
  %251 = load i32, ptr %3, align 4
  ret i32 %251

252:                                              ; preds = %203, %118
  unreachable
}

declare i32 @liquid_count_ones_mod2(i32 noundef) #2

declare i32 @liquid_count_ones(i32 noundef) #2

declare i32 @count_bit_errors(i32 noundef, i32 noundef) #2

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 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { "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 }

!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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}
!11 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}
!13 = distinct !{!13, !12}
!14 = distinct !{!14, !12}
!15 = distinct !{!15, !12}
!16 = distinct !{!16, !12}


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

@P = external dso_local local_unnamed_addr global [12 x i32], align 16
@Gt = external dso_local local_unnamed_addr global [24 x i32], align 16
@H = external dso_local local_unnamed_addr global [12 x i32], align 16
@.str.3 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [54 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [1 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [70 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [62 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [74 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [39 x i8], align 1

; Function Attrs: nounwind uwtable
declare dso_local void @print_bitstring(i32 noundef, i32 noundef) local_unnamed_addr #0

; Function Attrs: nofree nounwind
declare noundef i32 @printf(ptr nocapture noundef readonly, ...) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
define dso_local noundef i32 @main(i32 noundef %0, ptr nocapture noundef readnone %1) local_unnamed_addr #0 {
  %3 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.3)
  tail call void @print_bitstring(i32 noundef 3021, i32 noundef 12)
  %4 = load i32, ptr @Gt, align 16, !tbaa !5
  %5 = and i32 %4, 3021
  %6 = tail call i32 @liquid_count_ones_mod2(i32 noundef %5) #3
  %7 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 4), align 4, !tbaa !5
  %8 = and i32 %7, 3021
  %9 = tail call i32 @liquid_count_ones_mod2(i32 noundef %8) #3
  %10 = shl i32 %6, 2
  %11 = shl i32 %9, 1
  %12 = or i32 %10, %11
  %13 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 8), align 8, !tbaa !5
  %14 = and i32 %13, 3021
  %15 = tail call i32 @liquid_count_ones_mod2(i32 noundef %14) #3
  %16 = or i32 %15, %12
  %17 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 12), align 4, !tbaa !5
  %18 = and i32 %17, 3021
  %19 = tail call i32 @liquid_count_ones_mod2(i32 noundef %18) #3
  %20 = shl i32 %16, 2
  %21 = shl i32 %19, 1
  %22 = or i32 %20, %21
  %23 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 16), align 16, !tbaa !5
  %24 = and i32 %23, 3021
  %25 = tail call i32 @liquid_count_ones_mod2(i32 noundef %24) #3
  %26 = or i32 %25, %22
  %27 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 20), align 4, !tbaa !5
  %28 = and i32 %27, 3021
  %29 = tail call i32 @liquid_count_ones_mod2(i32 noundef %28) #3
  %30 = shl i32 %26, 2
  %31 = shl i32 %29, 1
  %32 = or i32 %30, %31
  %33 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 24), align 8, !tbaa !5
  %34 = and i32 %33, 3021
  %35 = tail call i32 @liquid_count_ones_mod2(i32 noundef %34) #3
  %36 = or i32 %35, %32
  %37 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 28), align 4, !tbaa !5
  %38 = and i32 %37, 3021
  %39 = tail call i32 @liquid_count_ones_mod2(i32 noundef %38) #3
  %40 = shl i32 %36, 2
  %41 = shl i32 %39, 1
  %42 = or i32 %40, %41
  %43 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 32), align 16, !tbaa !5
  %44 = and i32 %43, 3021
  %45 = tail call i32 @liquid_count_ones_mod2(i32 noundef %44) #3
  %46 = or i32 %45, %42
  %47 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 36), align 4, !tbaa !5
  %48 = and i32 %47, 3021
  %49 = tail call i32 @liquid_count_ones_mod2(i32 noundef %48) #3
  %50 = shl i32 %46, 2
  %51 = shl i32 %49, 1
  %52 = or i32 %50, %51
  %53 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 40), align 8, !tbaa !5
  %54 = and i32 %53, 3021
  %55 = tail call i32 @liquid_count_ones_mod2(i32 noundef %54) #3
  %56 = or i32 %55, %52
  %57 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 44), align 4, !tbaa !5
  %58 = and i32 %57, 3021
  %59 = tail call i32 @liquid_count_ones_mod2(i32 noundef %58) #3
  %60 = shl i32 %56, 2
  %61 = shl i32 %59, 1
  %62 = or i32 %60, %61
  %63 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 48), align 16, !tbaa !5
  %64 = and i32 %63, 3021
  %65 = tail call i32 @liquid_count_ones_mod2(i32 noundef %64) #3
  %66 = or i32 %65, %62
  %67 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 52), align 4, !tbaa !5
  %68 = and i32 %67, 3021
  %69 = tail call i32 @liquid_count_ones_mod2(i32 noundef %68) #3
  %70 = shl i32 %66, 2
  %71 = shl i32 %69, 1
  %72 = or i32 %70, %71
  %73 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 56), align 8, !tbaa !5
  %74 = and i32 %73, 3021
  %75 = tail call i32 @liquid_count_ones_mod2(i32 noundef %74) #3
  %76 = or i32 %75, %72
  %77 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 60), align 4, !tbaa !5
  %78 = and i32 %77, 3021
  %79 = tail call i32 @liquid_count_ones_mod2(i32 noundef %78) #3
  %80 = shl i32 %76, 2
  %81 = shl i32 %79, 1
  %82 = or i32 %80, %81
  %83 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 64), align 16, !tbaa !5
  %84 = and i32 %83, 3021
  %85 = tail call i32 @liquid_count_ones_mod2(i32 noundef %84) #3
  %86 = or i32 %85, %82
  %87 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 68), align 4, !tbaa !5
  %88 = and i32 %87, 3021
  %89 = tail call i32 @liquid_count_ones_mod2(i32 noundef %88) #3
  %90 = shl i32 %86, 2
  %91 = shl i32 %89, 1
  %92 = or i32 %90, %91
  %93 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 72), align 8, !tbaa !5
  %94 = and i32 %93, 3021
  %95 = tail call i32 @liquid_count_ones_mod2(i32 noundef %94) #3
  %96 = or i32 %95, %92
  %97 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 76), align 4, !tbaa !5
  %98 = and i32 %97, 3021
  %99 = tail call i32 @liquid_count_ones_mod2(i32 noundef %98) #3
  %100 = shl i32 %96, 2
  %101 = shl i32 %99, 1
  %102 = or i32 %100, %101
  %103 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 80), align 16, !tbaa !5
  %104 = and i32 %103, 3021
  %105 = tail call i32 @liquid_count_ones_mod2(i32 noundef %104) #3
  %106 = or i32 %105, %102
  %107 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 84), align 4, !tbaa !5
  %108 = and i32 %107, 3021
  %109 = tail call i32 @liquid_count_ones_mod2(i32 noundef %108) #3
  %110 = shl i32 %106, 2
  %111 = shl i32 %109, 1
  %112 = or i32 %110, %111
  %113 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 88), align 8, !tbaa !5
  %114 = and i32 %113, 3021
  %115 = tail call i32 @liquid_count_ones_mod2(i32 noundef %114) #3
  %116 = or i32 %115, %112
  %117 = shl i32 %116, 1
  %118 = load i32, ptr getelementptr inbounds (i8, ptr @Gt, i64 92), align 4, !tbaa !5
  %119 = and i32 %118, 3021
  %120 = tail call i32 @liquid_count_ones_mod2(i32 noundef %119) #3
  %121 = or i32 %120, %117
  %122 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.4)
  tail call void @print_bitstring(i32 noundef %121, i32 noundef 24)
  %123 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.5)
  tail call void @print_bitstring(i32 noundef 3328, i32 noundef 24)
  %124 = xor i32 %121, 3328
  %125 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.6)
  tail call void @print_bitstring(i32 noundef %124, i32 noundef 24)
  %126 = load i32, ptr @H, align 16, !tbaa !5
  %127 = and i32 %126, %124
  %128 = tail call i32 @liquid_count_ones_mod2(i32 noundef %127) #3
  %129 = load i32, ptr getelementptr inbounds (i8, ptr @H, i64 4), align 4, !tbaa !5
  %130 = and i32 %129, %124
  %131 = tail call i32 @liquid_count_ones_mod2(i32 noundef %130) #3
  %132 = shl i32 %128, 2
  %133 = shl i32 %131, 1
  %134 = or i32 %132, %133
  %135 = load i32, ptr getelementptr inbounds (i8, ptr @H, i64 8), align 8, !tbaa !5
  %136 = and i32 %135, %124
  %137 = tail call i32 @liquid_count_ones_mod2(i32 noundef %136) #3
  %138 = or i32 %137, %134
  %139 = load i32, ptr getelementptr inbounds (i8, ptr @H, i64 12), align 4, !tbaa !5
  %140 = and i32 %139, %124
  %141 = tail call i32 @liquid_count_ones_mod2(i32 noundef %140) #3
  %142 = shl i32 %138, 2
  %143 = shl i32 %141, 1
  %144 = or i32 %142, %143
  %145 = load i32, ptr getelementptr inbounds (i8, ptr @H, i64 16), align 16, !tbaa !5
  %146 = and i32 %145, %124
  %147 = tail call i32 @liquid_count_ones_mod2(i32 noundef %146) #3
  %148 = or i32 %147, %144
  %149 = load i32, ptr getelementptr inbounds (i8, ptr @H, i64 20), align 4, !tbaa !5
  %150 = and i32 %149, %124
  %151 = tail call i32 @liquid_count_ones_mod2(i32 noundef %150) #3
  %152 = shl i32 %148, 2
  %153 = shl i32 %151, 1
  %154 = or i32 %152, %153
  %155 = load i32, ptr getelementptr inbounds (i8, ptr @H, i64 24), align 8, !tbaa !5
  %156 = and i32 %155, %124
  %157 = tail call i32 @liquid_count_ones_mod2(i32 noundef %156) #3
  %158 = or i32 %157, %154
  %159 = load i32, ptr getelementptr inbounds (i8, ptr @H, i64 28), align 4, !tbaa !5
  %160 = and i32 %159, %124
  %161 = tail call i32 @liquid_count_ones_mod2(i32 noundef %160) #3
  %162 = shl i32 %158, 2
  %163 = shl i32 %161, 1
  %164 = or i32 %162, %163
  %165 = load i32, ptr getelementptr inbounds (i8, ptr @H, i64 32), align 16, !tbaa !5
  %166 = and i32 %165, %124
  %167 = tail call i32 @liquid_count_ones_mod2(i32 noundef %166) #3
  %168 = or i32 %167, %164
  %169 = load i32, ptr getelementptr inbounds (i8, ptr @H, i64 36), align 4, !tbaa !5
  %170 = and i32 %169, %124
  %171 = tail call i32 @liquid_count_ones_mod2(i32 noundef %170) #3
  %172 = shl i32 %168, 2
  %173 = shl i32 %171, 1
  %174 = or i32 %172, %173
  %175 = load i32, ptr getelementptr inbounds (i8, ptr @H, i64 40), align 8, !tbaa !5
  %176 = and i32 %175, %124
  %177 = tail call i32 @liquid_count_ones_mod2(i32 noundef %176) #3
  %178 = or i32 %177, %174
  %179 = shl i32 %178, 1
  %180 = load i32, ptr getelementptr inbounds (i8, ptr @H, i64 44), align 4, !tbaa !5
  %181 = and i32 %180, %124
  %182 = tail call i32 @liquid_count_ones_mod2(i32 noundef %181) #3
  %183 = or i32 %182, %179
  %184 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.7)
  tail call void @print_bitstring(i32 noundef %183, i32 noundef 12)
  %185 = tail call i32 @liquid_count_ones(i32 noundef %183) #3
  %186 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.8, i32 noundef %185)
  %187 = icmp ult i32 %185, 4
  br i1 %187, label %188, label %191

188:                                              ; preds = %2
  %189 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.9)
  %190 = shl i32 %183, 12
  br label %446

191:                                              ; preds = %2
  %192 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.10)
  %193 = load i32, ptr @P, align 16, !tbaa !5
  %194 = xor i32 %193, %183
  %195 = tail call i32 @liquid_count_ones(i32 noundef %194) #3
  %196 = icmp ult i32 %195, 3
  %197 = select i1 %196, ptr @.str.12, ptr @.str.13
  %198 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.11, i32 noundef 0, i32 noundef %195, ptr noundef nonnull %197)
  br i1 %196, label %338, label %199

199:                                              ; preds = %191
  %200 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 4), align 4, !tbaa !5
  %201 = xor i32 %200, %183
  %202 = tail call i32 @liquid_count_ones(i32 noundef %201) #3
  %203 = icmp ult i32 %202, 3
  %204 = select i1 %203, ptr @.str.12, ptr @.str.13
  %205 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.11, i32 noundef 1, i32 noundef %202, ptr noundef nonnull %204)
  br i1 %203, label %338, label %206

206:                                              ; preds = %199
  %207 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 8), align 8, !tbaa !5
  %208 = xor i32 %207, %183
  %209 = tail call i32 @liquid_count_ones(i32 noundef %208) #3
  %210 = icmp ult i32 %209, 3
  %211 = select i1 %210, ptr @.str.12, ptr @.str.13
  %212 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.11, i32 noundef 2, i32 noundef %209, ptr noundef nonnull %211)
  br i1 %210, label %338, label %213

213:                                              ; preds = %206
  %214 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 12), align 4, !tbaa !5
  %215 = xor i32 %214, %183
  %216 = tail call i32 @liquid_count_ones(i32 noundef %215) #3
  %217 = icmp ult i32 %216, 3
  %218 = select i1 %217, ptr @.str.12, ptr @.str.13
  %219 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.11, i32 noundef 3, i32 noundef %216, ptr noundef nonnull %218)
  br i1 %217, label %338, label %220

220:                                              ; preds = %213
  %221 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 16), align 16, !tbaa !5
  %222 = xor i32 %221, %183
  %223 = tail call i32 @liquid_count_ones(i32 noundef %222) #3
  %224 = icmp ult i32 %223, 3
  %225 = select i1 %224, ptr @.str.12, ptr @.str.13
  %226 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.11, i32 noundef 4, i32 noundef %223, ptr noundef nonnull %225)
  br i1 %224, label %338, label %227

227:                                              ; preds = %220
  %228 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 20), align 4, !tbaa !5
  %229 = xor i32 %228, %183
  %230 = tail call i32 @liquid_count_ones(i32 noundef %229) #3
  %231 = icmp ult i32 %230, 3
  %232 = select i1 %231, ptr @.str.12, ptr @.str.13
  %233 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.11, i32 noundef 5, i32 noundef %230, ptr noundef nonnull %232)
  br i1 %231, label %338, label %234

234:                                              ; preds = %227
  %235 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 24), align 8, !tbaa !5
  %236 = xor i32 %235, %183
  %237 = tail call i32 @liquid_count_ones(i32 noundef %236) #3
  %238 = icmp ult i32 %237, 3
  %239 = select i1 %238, ptr @.str.12, ptr @.str.13
  %240 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.11, i32 noundef 6, i32 noundef %237, ptr noundef nonnull %239)
  br i1 %238, label %338, label %241

241:                                              ; preds = %234
  %242 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 28), align 4, !tbaa !5
  %243 = xor i32 %242, %183
  %244 = tail call i32 @liquid_count_ones(i32 noundef %243) #3
  %245 = icmp ult i32 %244, 3
  %246 = select i1 %245, ptr @.str.12, ptr @.str.13
  %247 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.11, i32 noundef 7, i32 noundef %244, ptr noundef nonnull %246)
  br i1 %245, label %338, label %248

248:                                              ; preds = %241
  %249 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 32), align 16, !tbaa !5
  %250 = xor i32 %249, %183
  %251 = tail call i32 @liquid_count_ones(i32 noundef %250) #3
  %252 = icmp ult i32 %251, 3
  %253 = select i1 %252, ptr @.str.12, ptr @.str.13
  %254 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.11, i32 noundef 8, i32 noundef %251, ptr noundef nonnull %253)
  br i1 %252, label %338, label %255

255:                                              ; preds = %248
  %256 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 36), align 4, !tbaa !5
  %257 = xor i32 %256, %183
  %258 = tail call i32 @liquid_count_ones(i32 noundef %257) #3
  %259 = icmp ult i32 %258, 3
  %260 = select i1 %259, ptr @.str.12, ptr @.str.13
  %261 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.11, i32 noundef 9, i32 noundef %258, ptr noundef nonnull %260)
  br i1 %259, label %338, label %262

262:                                              ; preds = %255
  %263 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 40), align 8, !tbaa !5
  %264 = xor i32 %263, %183
  %265 = tail call i32 @liquid_count_ones(i32 noundef %264) #3
  %266 = icmp ult i32 %265, 3
  %267 = select i1 %266, ptr @.str.12, ptr @.str.13
  %268 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.11, i32 noundef 10, i32 noundef %265, ptr noundef nonnull %267)
  br i1 %266, label %338, label %269

269:                                              ; preds = %262
  %270 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 44), align 4, !tbaa !5
  %271 = xor i32 %270, %183
  %272 = tail call i32 @liquid_count_ones(i32 noundef %271) #3
  %273 = icmp ult i32 %272, 3
  %274 = select i1 %273, ptr @.str.12, ptr @.str.13
  %275 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.11, i32 noundef 11, i32 noundef %272, ptr noundef nonnull %274)
  br i1 %273, label %338, label %.preheader.preheader

.preheader.preheader:                             ; preds = %269
  %276 = load i32, ptr @P, align 16, !tbaa !5
  %277 = and i32 %276, %183
  %278 = tail call i32 @liquid_count_ones_mod2(i32 noundef %277) #3
  %279 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 4), align 4, !tbaa !5
  %280 = and i32 %279, %183
  %281 = tail call i32 @liquid_count_ones_mod2(i32 noundef %280) #3
  %282 = shl i32 %278, 2
  %283 = shl i32 %281, 1
  %284 = or i32 %282, %283
  %285 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 8), align 8, !tbaa !5
  %286 = and i32 %285, %183
  %287 = tail call i32 @liquid_count_ones_mod2(i32 noundef %286) #3
  %288 = or i32 %287, %284
  %289 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 12), align 4, !tbaa !5
  %290 = and i32 %289, %183
  %291 = tail call i32 @liquid_count_ones_mod2(i32 noundef %290) #3
  %292 = shl i32 %288, 2
  %293 = shl i32 %291, 1
  %294 = or i32 %292, %293
  %295 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 16), align 16, !tbaa !5
  %296 = and i32 %295, %183
  %297 = tail call i32 @liquid_count_ones_mod2(i32 noundef %296) #3
  %298 = or i32 %297, %294
  %299 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 20), align 4, !tbaa !5
  %300 = and i32 %299, %183
  %301 = tail call i32 @liquid_count_ones_mod2(i32 noundef %300) #3
  %302 = shl i32 %298, 2
  %303 = shl i32 %301, 1
  %304 = or i32 %302, %303
  %305 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 24), align 8, !tbaa !5
  %306 = and i32 %305, %183
  %307 = tail call i32 @liquid_count_ones_mod2(i32 noundef %306) #3
  %308 = or i32 %307, %304
  %309 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 28), align 4, !tbaa !5
  %310 = and i32 %309, %183
  %311 = tail call i32 @liquid_count_ones_mod2(i32 noundef %310) #3
  %312 = shl i32 %308, 2
  %313 = shl i32 %311, 1
  %314 = or i32 %312, %313
  %315 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 32), align 16, !tbaa !5
  %316 = and i32 %315, %183
  %317 = tail call i32 @liquid_count_ones_mod2(i32 noundef %316) #3
  %318 = or i32 %317, %314
  %319 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 36), align 4, !tbaa !5
  %320 = and i32 %319, %183
  %321 = tail call i32 @liquid_count_ones_mod2(i32 noundef %320) #3
  %322 = shl i32 %318, 2
  %323 = shl i32 %321, 1
  %324 = or i32 %322, %323
  %325 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 40), align 8, !tbaa !5
  %326 = and i32 %325, %183
  %327 = tail call i32 @liquid_count_ones_mod2(i32 noundef %326) #3
  %328 = or i32 %327, %324
  %329 = shl i32 %328, 1
  %330 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 44), align 4, !tbaa !5
  %331 = and i32 %330, %183
  %332 = tail call i32 @liquid_count_ones_mod2(i32 noundef %331) #3
  %333 = or i32 %332, %329
  %334 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.15)
  tail call void @print_bitstring(i32 noundef %333, i32 noundef 12)
  %335 = tail call i32 @liquid_count_ones(i32 noundef %333) #3
  %336 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.16, i32 noundef %335)
  %337 = and i32 %335, -2
  %or.cond = icmp eq i32 %337, 2
  br i1 %or.cond, label %348, label %350

338:                                              ; preds = %191, %199, %206, %213, %220, %227, %234, %241, %248, %255, %262, %269
  %.298.ph = phi i32 [ 11, %269 ], [ 10, %262 ], [ 9, %255 ], [ 8, %248 ], [ 7, %241 ], [ 6, %234 ], [ 5, %227 ], [ 4, %220 ], [ 3, %213 ], [ 2, %206 ], [ 1, %199 ], [ 0, %191 ]
  %339 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.14, i32 noundef %.298.ph, i32 noundef %.298.ph, i32 noundef %.298.ph)
  %340 = zext nneg i32 %.298.ph to i64
  %341 = getelementptr inbounds [12 x i32], ptr @P, i64 0, i64 %340
  %342 = load i32, ptr %341, align 4, !tbaa !5
  %343 = xor i32 %342, %183
  %344 = shl i32 %343, 12
  %345 = sub nuw nsw i32 11, %.298.ph
  %346 = shl nuw nsw i32 1, %345
  %347 = or i32 %344, %346
  br label %446

348:                                              ; preds = %.preheader.preheader
  %349 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.17)
  br label %446

350:                                              ; preds = %.preheader.preheader
  %351 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.18)
  %352 = load i32, ptr @P, align 16, !tbaa !5
  %353 = xor i32 %352, %333
  %354 = tail call i32 @liquid_count_ones(i32 noundef %353) #3
  %355 = icmp eq i32 %354, 2
  %356 = select i1 %355, ptr @.str.12, ptr @.str.13
  %357 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.19, i32 noundef 0, i32 noundef %354, ptr noundef nonnull %356)
  br i1 %355, label %435, label %358

358:                                              ; preds = %350
  %359 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 4), align 4, !tbaa !5
  %360 = xor i32 %359, %333
  %361 = tail call i32 @liquid_count_ones(i32 noundef %360) #3
  %362 = icmp eq i32 %361, 2
  %363 = select i1 %362, ptr @.str.12, ptr @.str.13
  %364 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.19, i32 noundef 1, i32 noundef %361, ptr noundef nonnull %363)
  br i1 %362, label %435, label %365

365:                                              ; preds = %358
  %366 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 8), align 8, !tbaa !5
  %367 = xor i32 %366, %333
  %368 = tail call i32 @liquid_count_ones(i32 noundef %367) #3
  %369 = icmp eq i32 %368, 2
  %370 = select i1 %369, ptr @.str.12, ptr @.str.13
  %371 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.19, i32 noundef 2, i32 noundef %368, ptr noundef nonnull %370)
  br i1 %369, label %435, label %372

372:                                              ; preds = %365
  %373 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 12), align 4, !tbaa !5
  %374 = xor i32 %373, %333
  %375 = tail call i32 @liquid_count_ones(i32 noundef %374) #3
  %376 = icmp eq i32 %375, 2
  %377 = select i1 %376, ptr @.str.12, ptr @.str.13
  %378 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.19, i32 noundef 3, i32 noundef %375, ptr noundef nonnull %377)
  br i1 %376, label %435, label %379

379:                                              ; preds = %372
  %380 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 16), align 16, !tbaa !5
  %381 = xor i32 %380, %333
  %382 = tail call i32 @liquid_count_ones(i32 noundef %381) #3
  %383 = icmp eq i32 %382, 2
  %384 = select i1 %383, ptr @.str.12, ptr @.str.13
  %385 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.19, i32 noundef 4, i32 noundef %382, ptr noundef nonnull %384)
  br i1 %383, label %435, label %386

386:                                              ; preds = %379
  %387 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 20), align 4, !tbaa !5
  %388 = xor i32 %387, %333
  %389 = tail call i32 @liquid_count_ones(i32 noundef %388) #3
  %390 = icmp eq i32 %389, 2
  %391 = select i1 %390, ptr @.str.12, ptr @.str.13
  %392 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.19, i32 noundef 5, i32 noundef %389, ptr noundef nonnull %391)
  br i1 %390, label %435, label %393

393:                                              ; preds = %386
  %394 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 24), align 8, !tbaa !5
  %395 = xor i32 %394, %333
  %396 = tail call i32 @liquid_count_ones(i32 noundef %395) #3
  %397 = icmp eq i32 %396, 2
  %398 = select i1 %397, ptr @.str.12, ptr @.str.13
  %399 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.19, i32 noundef 6, i32 noundef %396, ptr noundef nonnull %398)
  br i1 %397, label %435, label %400

400:                                              ; preds = %393
  %401 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 28), align 4, !tbaa !5
  %402 = xor i32 %401, %333
  %403 = tail call i32 @liquid_count_ones(i32 noundef %402) #3
  %404 = icmp eq i32 %403, 2
  %405 = select i1 %404, ptr @.str.12, ptr @.str.13
  %406 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.19, i32 noundef 7, i32 noundef %403, ptr noundef nonnull %405)
  br i1 %404, label %435, label %407

407:                                              ; preds = %400
  %408 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 32), align 16, !tbaa !5
  %409 = xor i32 %408, %333
  %410 = tail call i32 @liquid_count_ones(i32 noundef %409) #3
  %411 = icmp eq i32 %410, 2
  %412 = select i1 %411, ptr @.str.12, ptr @.str.13
  %413 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.19, i32 noundef 8, i32 noundef %410, ptr noundef nonnull %412)
  br i1 %411, label %435, label %414

414:                                              ; preds = %407
  %415 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 36), align 4, !tbaa !5
  %416 = xor i32 %415, %333
  %417 = tail call i32 @liquid_count_ones(i32 noundef %416) #3
  %418 = icmp eq i32 %417, 2
  %419 = select i1 %418, ptr @.str.12, ptr @.str.13
  %420 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.19, i32 noundef 9, i32 noundef %417, ptr noundef nonnull %419)
  br i1 %418, label %435, label %421

421:                                              ; preds = %414
  %422 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 40), align 8, !tbaa !5
  %423 = xor i32 %422, %333
  %424 = tail call i32 @liquid_count_ones(i32 noundef %423) #3
  %425 = icmp eq i32 %424, 2
  %426 = select i1 %425, ptr @.str.12, ptr @.str.13
  %427 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.19, i32 noundef 10, i32 noundef %424, ptr noundef nonnull %426)
  br i1 %425, label %435, label %428

428:                                              ; preds = %421
  %429 = load i32, ptr getelementptr inbounds (i8, ptr @P, i64 44), align 4, !tbaa !5
  %430 = xor i32 %429, %333
  %431 = tail call i32 @liquid_count_ones(i32 noundef %430) #3
  %432 = icmp eq i32 %431, 2
  %433 = select i1 %432, ptr @.str.12, ptr @.str.13
  %434 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.19, i32 noundef 11, i32 noundef %431, ptr noundef nonnull %433)
  br i1 %432, label %435, label %444

435:                                              ; preds = %350, %358, %365, %372, %379, %386, %393, %400, %407, %414, %421, %428
  %.2.ph = phi i32 [ 11, %428 ], [ 10, %421 ], [ 9, %414 ], [ 8, %407 ], [ 7, %400 ], [ 6, %393 ], [ 5, %386 ], [ 4, %379 ], [ 3, %372 ], [ 2, %365 ], [ 1, %358 ], [ 0, %350 ]
  %436 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.20, i32 noundef %.2.ph, i32 noundef %.2.ph, i32 noundef %.2.ph)
  %437 = sub nuw nsw i32 23, %.2.ph
  %438 = shl nuw nsw i32 1, %437
  %439 = zext nneg i32 %.2.ph to i64
  %440 = getelementptr inbounds [12 x i32], ptr @P, i64 0, i64 %439
  %441 = load i32, ptr %440, align 4, !tbaa !5
  %442 = xor i32 %441, %333
  %443 = or i32 %442, %438
  br label %446

444:                                              ; preds = %428
  %445 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.21)
  br label %446

446:                                              ; preds = %338, %435, %444, %348, %188
  %.3 = phi i32 [ %190, %188 ], [ %347, %338 ], [ %333, %348 ], [ %443, %435 ], [ 0, %444 ]
  %447 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.22)
  tail call void @print_bitstring(i32 noundef %.3, i32 noundef 24)
  %448 = xor i32 %.3, %124
  %449 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.23)
  tail call void @print_bitstring(i32 noundef %448, i32 noundef 24)
  tail call void @print_bitstring(i32 noundef %121, i32 noundef 24)
  %450 = tail call i32 @count_bit_errors(i32 noundef %121, i32 noundef %448) #3
  %451 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.24, i32 noundef %450)
  %452 = and i32 %448, 4095
  %453 = tail call i32 @count_bit_errors(i32 noundef 3021, i32 noundef %452) #3
  %454 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.25, i32 noundef %453)
  ret i32 0
}

declare i32 @liquid_count_ones_mod2(i32 noundef) local_unnamed_addr #2

declare i32 @liquid_count_ones(i32 noundef) local_unnamed_addr #2

declare i32 @count_bit_errors(i32 noundef, i32 noundef) local_unnamed_addr #2

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 = { nofree 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 #2 = { "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 }

!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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LCSSAPass,LoopRotatePass,LoopSimplifyPass,PostOrderFunctionAttrsPass,ReassociatePass,SCCPPass,SROAPass,SimplifyCFGPass,TailCallElimPass