; LLVM IR from IlyaGrebnov/libbsc :: libbsc/coder/qlfc/qlfc.ll (Z22bsc_qlfc_static_decodePKhPhP21QlfcStatisticalModel1)

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

%class.RangeCoder = type { %"union.RangeCoder::ari", i32, i32, i32, i32, ptr, ptr, ptr, ptr }
%"union.RangeCoder::ari" = type { i64 }
%struct.QlfcStatisticalModel1 = type { %"struct.QlfcStatisticalModel1::Rank", %"struct.QlfcStatisticalModel1::Run", [256 x %struct.ProbabilityMixer], [8 x [8 x %struct.ProbabilityMixer]], [8 x %struct.ProbabilityMixer], [256 x %struct.ProbabilityMixer], [256 x %struct.ProbabilityMixer], [32 x [32 x %struct.ProbabilityMixer]], [32 x %struct.ProbabilityMixer] }
%"struct.QlfcStatisticalModel1::Rank" = type { i16, [256 x i16], [256 x i16], %"struct.QlfcStatisticalModel1::Rank::Exponent", [8 x %"struct.QlfcStatisticalModel1::Rank::Mantissa"], %"struct.QlfcStatisticalModel1::Rank::Escape" }
%"struct.QlfcStatisticalModel1::Rank::Exponent" = type { [8 x i16], [256 x [8 x i16]], [256 x [8 x i16]] }
%"struct.QlfcStatisticalModel1::Rank::Mantissa" = type { [256 x i16], [256 x [256 x i16]], [256 x [256 x i16]] }
%"struct.QlfcStatisticalModel1::Rank::Escape" = type { [256 x i16], [256 x [256 x i16]], [256 x [256 x i16]] }
%"struct.QlfcStatisticalModel1::Run" = type { i16, [256 x i16], [256 x i16], %"struct.QlfcStatisticalModel1::Run::Exponent", [32 x %"struct.QlfcStatisticalModel1::Run::Mantissa"] }
%"struct.QlfcStatisticalModel1::Run::Exponent" = type { [32 x i16], [256 x [32 x i16]], [256 x [32 x i16]] }
%"struct.QlfcStatisticalModel1::Run::Mantissa" = type { [32 x i16], [256 x [32 x i16]], [256 x [32 x i16]] }
%struct.ProbabilityMixer = type { i16, i16, i16, i32, i32, [17 x i16], i32, i32, i32 }

; 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

declare void @_Z19bsc_qlfc_init_modelP21QlfcStatisticalModel1(ptr noundef) #1

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.ctlz.i32(i32, i1 immarg) #2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare hidden noundef i32 @_ZL16model_rank_stateiii(i32 noundef, i32 noundef, i32 noundef) #3

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2), i32 noundef, i32 noundef) #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2), i32 noundef, i32 noundef) #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare hidden noundef i32 @_ZL15model_run_stateiiii(i32 noundef, i32 noundef, i32 noundef, i32 noundef) #3

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN18ProbabilityCounter9UpdateBitEjRsiiii(i32 noundef, ptr noundef nonnull align 2 dereferenceable(2), i32 noundef, i32 noundef, i32 noundef, i32 noundef) #3 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN10RangeCoder11InitDecoderEPKh(ptr noundef nonnull align 8 dereferenceable(56), ptr noundef) #4 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef i32 @_ZN10RangeCoder10DecodeWordEv(ptr noundef nonnull align 8 dereferenceable(56)) #4 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef i32 @_ZN10RangeCoder9DecodeBitEv(ptr noundef nonnull align 8 dereferenceable(56)) #4 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZN10RangeCoder9DecodeBitILi12EEEii(ptr noundef nonnull align 8 dereferenceable(56), i32 noundef) #3 align 2

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_Z22bsc_qlfc_static_decodePKhPhP21QlfcStatisticalModel1(ptr noundef %0, ptr noundef %1, ptr noundef %2) #5 {
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca %class.RangeCoder, align 8
  %8 = alloca [256 x i8], align 64
  %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 [256 x i8], align 16
  %15 = alloca [256 x i8], align 16
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca [256 x i8], align 16
  %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 i8, align 1
  %26 = alloca i8, align 1
  %27 = alloca i32, align 4
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca i32, align 4
  %32 = alloca ptr, align 8
  %33 = alloca ptr, align 8
  %34 = alloca ptr, align 8
  %35 = alloca i32, align 4
  %36 = alloca i32, align 4
  %37 = alloca i32, align 4
  %38 = alloca i32, align 4
  %39 = alloca i32, align 4
  %40 = alloca i32, align 4
  %41 = alloca i32, align 4
  %42 = alloca i32, align 4
  %43 = alloca i32, align 4
  %44 = alloca i32, align 4
  %45 = alloca i32, align 4
  %46 = alloca i32, align 4
  %47 = alloca i32, align 4
  %48 = alloca i32, align 4
  store ptr %0, ptr %4, align 8, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !5
  store ptr %2, ptr %6, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 56, ptr %7) #6
  call void @llvm.lifetime.start.p0(i64 256, ptr %8) #6
  %49 = load ptr, ptr %6, align 8, !tbaa !5
  call void @_Z19bsc_qlfc_init_modelP21QlfcStatisticalModel1(ptr noundef %49)
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #6
  store i32 0, ptr %9, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #6
  store i32 0, ptr %10, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #6
  store i32 0, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #6
  store i32 7, ptr %12, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #6
  store i32 0, ptr %13, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 256, ptr %14) #6
  call void @llvm.lifetime.start.p0(i64 256, ptr %15) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #6
  store i32 0, ptr %16, align 4, !tbaa !9
  br label %50

50:                                               ; preds = %61, %3
  %51 = load i32, ptr %16, align 4, !tbaa !9
  %52 = icmp slt i32 %51, 256
  br i1 %52, label %54, label %53

53:                                               ; preds = %50
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #6
  br label %64

54:                                               ; preds = %50
  %55 = load i32, ptr %16, align 4, !tbaa !9
  %56 = sext i32 %55 to i64
  %57 = getelementptr inbounds [256 x i8], ptr %15, i64 0, i64 %56
  store i8 0, ptr %57, align 1, !tbaa !11
  %58 = load i32, ptr %16, align 4, !tbaa !9
  %59 = sext i32 %58 to i64
  %60 = getelementptr inbounds [256 x i8], ptr %14, i64 0, i64 %59
  store i8 0, ptr %60, align 1, !tbaa !11
  br label %61

61:                                               ; preds = %54
  %62 = load i32, ptr %16, align 4, !tbaa !9
  %63 = add nsw i32 %62, 1
  store i32 %63, ptr %16, align 4, !tbaa !9
  br label %50, !llvm.loop !12

64:                                               ; preds = %53
  %65 = load ptr, ptr %4, align 8, !tbaa !5
  call void @_ZN10RangeCoder11InitDecoderEPKh(ptr noundef nonnull align 8 dereferenceable(56) %7, ptr noundef %65)
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #6
  %66 = call noundef i32 @_ZN10RangeCoder10DecodeWordEv(ptr noundef nonnull align 8 dereferenceable(56) %7)
  store i32 %66, ptr %17, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 256, ptr %18) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #6
  store i32 0, ptr %19, align 4, !tbaa !9
  br label %67

67:                                               ; preds = %75, %64
  %68 = load i32, ptr %19, align 4, !tbaa !9
  %69 = icmp slt i32 %68, 256
  br i1 %69, label %71, label %70

70:                                               ; preds = %67
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #6
  br label %78

71:                                               ; preds = %67
  %72 = load i32, ptr %19, align 4, !tbaa !9
  %73 = sext i32 %72 to i64
  %74 = getelementptr inbounds [256 x i8], ptr %18, i64 0, i64 %73
  store i8 0, ptr %74, align 1, !tbaa !11
  br label %75

75:                                               ; preds = %71
  %76 = load i32, ptr %19, align 4, !tbaa !9
  %77 = add nsw i32 %76, 1
  store i32 %77, ptr %19, align 4, !tbaa !9
  br label %67, !llvm.loop !14

78:                                               ; preds = %70
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #6
  store i32 -1, ptr %20, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #6
  store i32 0, ptr %21, align 4, !tbaa !9
  br label %79

79:                                               ; preds = %188, %78
  %80 = load i32, ptr %21, align 4, !tbaa !9
  %81 = icmp slt i32 %80, 256
  br i1 %81, label %83, label %82

82:                                               ; preds = %79
  store i32 8, ptr %22, align 4
  br label %191

83:                                               ; preds = %79
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #6
  store i32 0, ptr %23, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #6
  store i32 7, ptr %24, align 4, !tbaa !9
  br label %84

84:                                               ; preds = %163, %83
  %85 = load i32, ptr %24, align 4, !tbaa !9
  %86 = icmp sge i32 %85, 0
  br i1 %86, label %88, label %87

87:                                               ; preds = %84
  store i32 11, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #6
  br label %166

88:                                               ; preds = %84
  call void @llvm.lifetime.start.p0(i64 1, ptr %25) #6
  store i8 0, ptr %25, align 1, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 1, ptr %26) #6
  store i8 0, ptr %26, align 1, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #6
  store i32 0, ptr %27, align 4, !tbaa !9
  br label %89

89:                                               ; preds = %129, %88
  %90 = load i32, ptr %27, align 4, !tbaa !9
  %91 = icmp slt i32 %90, 256
  br i1 %91, label %93, label %92

92:                                               ; preds = %89
  store i32 14, ptr %22, align 4
  br label %132

93:                                               ; preds = %89
  %94 = load i32, ptr %27, align 4, !tbaa !9
  %95 = load i32, ptr %20, align 4, !tbaa !9
  %96 = icmp eq i32 %94, %95
  br i1 %96, label %104, label %97

97:                                               ; preds = %93
  %98 = load i32, ptr %27, align 4, !tbaa !9
  %99 = sext i32 %98 to i64
  %100 = getelementptr inbounds [256 x i8], ptr %18, i64 0, i64 %99
  %101 = load i8, ptr %100, align 1, !tbaa !11
  %102 = zext i8 %101 to i32
  %103 = icmp eq i32 %102, 0
  br i1 %103, label %104, label %128

104:                                              ; preds = %97, %93
  %105 = load i32, ptr %23, align 4, !tbaa !9
  %106 = load i32, ptr %27, align 4, !tbaa !9
  %107 = load i32, ptr %24, align 4, !tbaa !9
  %108 = add nsw i32 %107, 1
  %109 = ashr i32 %106, %108
  %110 = icmp eq i32 %105, %109
  br i1 %110, label %111, label %127

111:                                              ; preds = %104
  %112 = load i32, ptr %27, align 4, !tbaa !9
  %113 = load i32, ptr %24, align 4, !tbaa !9
  %114 = shl i32 1, %113
  %115 = and i32 %112, %114
  %116 = icmp ne i32 %115, 0
  br i1 %116, label %117, label %118

117:                                              ; preds = %111
  store i8 1, ptr %26, align 1, !tbaa !15
  br label %119

118:                                              ; preds = %111
  store i8 1, ptr %25, align 1, !tbaa !15
  br label %119

119:                                              ; preds = %118, %117
  %120 = load i8, ptr %25, align 1, !tbaa !15, !range !17, !noundef !18
  %121 = trunc i8 %120 to i1
  br i1 %121, label %122, label %126

122:                                              ; preds = %119
  %123 = load i8, ptr %26, align 1, !tbaa !15, !range !17, !noundef !18
  %124 = trunc i8 %123 to i1
  br i1 %124, label %125, label %126

125:                                              ; preds = %122
  store i32 14, ptr %22, align 4
  br label %132

126:                                              ; preds = %122, %119
  br label %127

127:                                              ; preds = %126, %104
  br label %128

128:                                              ; preds = %127, %97
  br label %129

129:                                              ; preds = %128
  %130 = load i32, ptr %27, align 4, !tbaa !9
  %131 = add nsw i32 %130, 1
  store i32 %131, ptr %27, align 4, !tbaa !9
  br label %89, !llvm.loop !19

132:                                              ; preds = %125, %92
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #6
  br label %133

133:                                              ; preds = %132
  %134 = load i8, ptr %25, align 1, !tbaa !15, !range !17, !noundef !18
  %135 = trunc i8 %134 to i1
  br i1 %135, label %136, label %145

136:                                              ; preds = %133
  %137 = load i8, ptr %26, align 1, !tbaa !15, !range !17, !noundef !18
  %138 = trunc i8 %137 to i1
  br i1 %138, label %139, label %145

139:                                              ; preds = %136
  %140 = load i32, ptr %23, align 4, !tbaa !9
  %141 = call noundef i32 @_ZN10RangeCoder9DecodeBitEv(ptr noundef nonnull align 8 dereferenceable(56) %7)
  %142 = add i32 %140, %141
  %143 = load i32, ptr %23, align 4, !tbaa !9
  %144 = add i32 %143, %142
  store i32 %144, ptr %23, align 4, !tbaa !9
  br label %162

145:                                              ; preds = %136, %133
  %146 = load i8, ptr %25, align 1, !tbaa !15, !range !17, !noundef !18
  %147 = trunc i8 %146 to i1
  br i1 %147, label %148, label %153

148:                                              ; preds = %145
  %149 = load i32, ptr %23, align 4, !tbaa !9
  %150 = add nsw i32 %149, 0
  %151 = load i32, ptr %23, align 4, !tbaa !9
  %152 = add nsw i32 %151, %150
  store i32 %152, ptr %23, align 4, !tbaa !9
  br label %153

153:                                              ; preds = %148, %145
  %154 = load i8, ptr %26, align 1, !tbaa !15, !range !17, !noundef !18
  %155 = trunc i8 %154 to i1
  br i1 %155, label %156, label %161

156:                                              ; preds = %153
  %157 = load i32, ptr %23, align 4, !tbaa !9
  %158 = add nsw i32 %157, 1
  %159 = load i32, ptr %23, align 4, !tbaa !9
  %160 = add nsw i32 %159, %158
  store i32 %160, ptr %23, align 4, !tbaa !9
  br label %161

161:                                              ; preds = %156, %153
  br label %162

162:                                              ; preds = %161, %139
  call void @llvm.lifetime.end.p0(i64 1, ptr %26) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %25) #6
  br label %163

163:                                              ; preds = %162
  %164 = load i32, ptr %24, align 4, !tbaa !9
  %165 = add nsw i32 %164, -1
  store i32 %165, ptr %24, align 4, !tbaa !9
  br label %84, !llvm.loop !20

166:                                              ; preds = %87
  %167 = load i32, ptr %23, align 4, !tbaa !9
  %168 = trunc i32 %167 to i8
  %169 = load i32, ptr %21, align 4, !tbaa !9
  %170 = sext i32 %169 to i64
  %171 = getelementptr inbounds [256 x i8], ptr %8, i64 0, i64 %170
  store i8 %168, ptr %171, align 1, !tbaa !11
  %172 = load i32, ptr %23, align 4, !tbaa !9
  %173 = load i32, ptr %20, align 4, !tbaa !9
  %174 = icmp eq i32 %172, %173
  br i1 %174, label %175, label %180

175:                                              ; preds = %166
  %176 = load i32, ptr %21, align 4, !tbaa !9
  %177 = sub nsw i32 %176, 1
  %178 = call i32 @llvm.ctlz.i32(i32 %177, i1 true)
  %179 = xor i32 %178, 31
  store i32 %179, ptr %12, align 4, !tbaa !9
  store i32 8, ptr %22, align 4
  br label %185

180:                                              ; preds = %166
  %181 = load i32, ptr %23, align 4, !tbaa !9
  store i32 %181, ptr %20, align 4, !tbaa !9
  %182 = load i32, ptr %23, align 4, !tbaa !9
  %183 = sext i32 %182 to i64
  %184 = getelementptr inbounds [256 x i8], ptr %18, i64 0, i64 %183
  store i8 1, ptr %184, align 1, !tbaa !11
  store i32 0, ptr %22, align 4
  br label %185

185:                                              ; preds = %180, %175
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #6
  %186 = load i32, ptr %22, align 4
  switch i32 %186, label %191 [
    i32 0, label %187
  ]

187:                                              ; preds = %185
  br label %188

188:                                              ; preds = %187
  %189 = load i32, ptr %21, align 4, !tbaa !9
  %190 = add nsw i32 %189, 1
  store i32 %190, ptr %21, align 4, !tbaa !9
  br label %79, !llvm.loop !21

191:                                              ; preds = %185, %82
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #6
  br label %192

192:                                              ; preds = %191
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #6
  store i32 0, ptr %28, align 4, !tbaa !9
  br label %193

193:                                              ; preds = %806, %192
  %194 = load i32, ptr %28, align 4, !tbaa !9
  %195 = load i32, ptr %17, align 4, !tbaa !9
  %196 = icmp slt i32 %194, %195
  br i1 %196, label %198, label %197

197:                                              ; preds = %193
  store i32 17, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #6
  br label %807

198:                                              ; preds = %193
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #6
  %199 = getelementptr inbounds [256 x i8], ptr %8, i64 0, i64 0
  %200 = load i8, ptr %199, align 64, !tbaa !11
  %201 = zext i8 %200 to i32
  store i32 %201, ptr %29, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #6
  %202 = load i32, ptr %29, align 4, !tbaa !9
  %203 = sext i32 %202 to i64
  %204 = getelementptr inbounds [256 x i8], ptr %14, i64 0, i64 %203
  %205 = load i8, ptr %204, align 1, !tbaa !11
  %206 = zext i8 %205 to i32
  store i32 %206, ptr %30, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #6
  %207 = load i32, ptr %10, align 4, !tbaa !9
  %208 = load i32, ptr %11, align 4, !tbaa !9
  %209 = load i32, ptr %30, align 4, !tbaa !9
  %210 = call noundef i32 @_ZL16model_rank_stateiii(i32 noundef %207, i32 noundef %208, i32 noundef %209)
  store i32 %210, ptr %31, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #6
  %211 = load ptr, ptr %6, align 8, !tbaa !5
  %212 = getelementptr inbounds %struct.QlfcStatisticalModel1, ptr %211, i32 0, i32 0
  %213 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Rank", ptr %212, i32 0, i32 1
  %214 = load i32, ptr %31, align 4, !tbaa !9
  %215 = sext i32 %214 to i64
  %216 = getelementptr inbounds [256 x i16], ptr %213, i64 0, i64 %215
  store ptr %216, ptr %32, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #6
  %217 = load ptr, ptr %6, align 8, !tbaa !5
  %218 = getelementptr inbounds %struct.QlfcStatisticalModel1, ptr %217, i32 0, i32 0
  %219 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Rank", ptr %218, i32 0, i32 2
  %220 = load i32, ptr %29, align 4, !tbaa !9
  %221 = sext i32 %220 to i64
  %222 = getelementptr inbounds [256 x i16], ptr %219, i64 0, i64 %221
  store ptr %222, ptr %33, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #6
  %223 = load ptr, ptr %6, align 8, !tbaa !5
  %224 = getelementptr inbounds %struct.QlfcStatisticalModel1, ptr %223, i32 0, i32 0
  %225 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Rank", ptr %224, i32 0, i32 0
  store ptr %225, ptr %34, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #6
  store i32 1, ptr %35, align 4, !tbaa !9
  %226 = load i32, ptr %13, align 4, !tbaa !9
  %227 = icmp slt i32 %226, 32
  br i1 %227, label %228, label %412

228:                                              ; preds = %198
  %229 = load ptr, ptr %33, align 8, !tbaa !5
  %230 = load i16, ptr %229, align 2, !tbaa !22
  %231 = sext i16 %230 to i32
  %232 = mul nsw i32 %231, 17
  %233 = load ptr, ptr %32, align 8, !tbaa !5
  %234 = load i16, ptr %233, align 2, !tbaa !22
  %235 = sext i16 %234 to i32
  %236 = mul nsw i32 %235, 14
  %237 = add nsw i32 %232, %236
  %238 = load ptr, ptr %34, align 8, !tbaa !5
  %239 = load i16, ptr %238, align 2, !tbaa !22
  %240 = sext i16 %239 to i32
  %241 = mul nsw i32 %240, 1
  %242 = add nsw i32 %237, %241
  %243 = ashr i32 %242, 5
  %244 = call noundef i32 @_ZN10RangeCoder9DecodeBitILi12EEEii(ptr noundef nonnull align 8 dereferenceable(56) %7, i32 noundef %243)
  %245 = icmp ne i32 %244, 0
  br i1 %245, label %246, label %404

246:                                              ; preds = %228
  %247 = load ptr, ptr %32, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %247, i32 noundef -78, i32 noundef 34)
  %248 = load ptr, ptr %33, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %248, i32 noundef 12, i32 noundef 274)
  %249 = load ptr, ptr %34, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %249, i32 noundef 55, i32 noundef 1185)
  %250 = load ptr, ptr %6, align 8, !tbaa !5
  %251 = getelementptr inbounds %struct.QlfcStatisticalModel1, ptr %250, i32 0, i32 0
  %252 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Rank", ptr %251, i32 0, i32 3
  %253 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Rank::Exponent", ptr %252, i32 0, i32 1
  %254 = load i32, ptr %31, align 4, !tbaa !9
  %255 = sext i32 %254 to i64
  %256 = getelementptr inbounds [256 x [8 x i16]], ptr %253, i64 0, i64 %255
  %257 = getelementptr inbounds [8 x i16], ptr %256, i64 0, i64 0
  store ptr %257, ptr %32, align 8, !tbaa !5
  %258 = load ptr, ptr %6, align 8, !tbaa !5
  %259 = getelementptr inbounds %struct.QlfcStatisticalModel1, ptr %258, i32 0, i32 0
  %260 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Rank", ptr %259, i32 0, i32 3
  %261 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Rank::Exponent", ptr %260, i32 0, i32 2
  %262 = load i32, ptr %29, align 4, !tbaa !9
  %263 = sext i32 %262 to i64
  %264 = getelementptr inbounds [256 x [8 x i16]], ptr %261, i64 0, i64 %263
  %265 = getelementptr inbounds [8 x i16], ptr %264, i64 0, i64 0
  store ptr %265, ptr %33, align 8, !tbaa !5
  %266 = load ptr, ptr %6, align 8, !tbaa !5
  %267 = getelementptr inbounds %struct.QlfcStatisticalModel1, ptr %266, i32 0, i32 0
  %268 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Rank", ptr %267, i32 0, i32 3
  %269 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Rank::Exponent", ptr %268, i32 0, i32 0
  %270 = getelementptr inbounds [8 x i16], ptr %269, i64 0, i64 0
  store ptr %270, ptr %34, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %36) #6
  store i32 1, ptr %36, align 4, !tbaa !9
  br label %271

271:                                              ; preds = %311, %246
  br label %272

272:                                              ; preds = %271
  %273 = load i32, ptr %36, align 4, !tbaa !9
  %274 = load i32, ptr %12, align 4, !tbaa !9
  %275 = icmp eq i32 %273, %274
  br i1 %275, label %276, label %277

276:                                              ; preds = %272
  br label %312

277:                                              ; preds = %272
  %278 = load ptr, ptr %33, align 8, !tbaa !5
  %279 = load i16, ptr %278, align 2, !tbaa !22
  %280 = sext i16 %279 to i32
  %281 = mul nsw i32 %280, 22
  %282 = load ptr, ptr %32, align 8, !tbaa !5
  %283 = load i16, ptr %282, align 2, !tbaa !22
  %284 = sext i16 %283 to i32
  %285 = mul nsw i32 %284, 6
  %286 = add nsw i32 %281, %285
  %287 = load ptr, ptr %34, align 8, !tbaa !5
  %288 = load i16, ptr %287, align 2, !tbaa !22
  %289 = sext i16 %288 to i32
  %290 = mul nsw i32 %289, 4
  %291 = add nsw i32 %286, %290
  %292 = ashr i32 %291, 5
  %293 = call noundef i32 @_ZN10RangeCoder9DecodeBitILi12EEEii(ptr noundef nonnull align 8 dereferenceable(56) %7, i32 noundef %292)
  %294 = icmp ne i32 %293, 0
  br i1 %294, label %295, label %307

295:                                              ; preds = %277
  %296 = load ptr, ptr %32, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %296, i32 noundef -370, i32 noundef 11)
  %297 = load ptr, ptr %32, align 8, !tbaa !5
  %298 = getelementptr inbounds i16, ptr %297, i32 1
  store ptr %298, ptr %32, align 8, !tbaa !5
  %299 = load ptr, ptr %33, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %299, i32 noundef 3, i32 noundef 308)
  %300 = load ptr, ptr %33, align 8, !tbaa !5
  %301 = getelementptr inbounds i16, ptr %300, i32 1
  store ptr %301, ptr %33, align 8, !tbaa !5
  %302 = load ptr, ptr %34, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %302, i32 noundef 135, i32 noundef 1364)
  %303 = load ptr, ptr %34, align 8, !tbaa !5
  %304 = getelementptr inbounds i16, ptr %303, i32 1
  store ptr %304, ptr %34, align 8, !tbaa !5
  %305 = load i32, ptr %36, align 4, !tbaa !9
  %306 = add nsw i32 %305, 1
  store i32 %306, ptr %36, align 4, !tbaa !9
  br label %311

307:                                              ; preds = %277
  %308 = load ptr, ptr %32, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %308, i32 noundef -177, i32 noundef 23)
  %309 = load ptr, ptr %33, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %309, i32 noundef -14, i32 noundef 271)
  %310 = load ptr, ptr %34, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %310, i32 noundef -3, i32 noundef 788)
  br label %312

311:                                              ; preds = %295
  br label %271, !llvm.loop !24

312:                                              ; preds = %307, %276
  %313 = load i32, ptr %36, align 4, !tbaa !9
  %314 = trunc i32 %313 to i8
  %315 = load i32, ptr %29, align 4, !tbaa !9
  %316 = sext i32 %315 to i64
  %317 = getelementptr inbounds [256 x i8], ptr %14, i64 0, i64 %316
  store i8 %314, ptr %317, align 1, !tbaa !11
  %318 = load ptr, ptr %6, align 8, !tbaa !5
  %319 = getelementptr inbounds %struct.QlfcStatisticalModel1, ptr %318, i32 0, i32 0
  %320 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Rank", ptr %319, i32 0, i32 4
  %321 = load i32, ptr %36, align 4, !tbaa !9
  %322 = sext i32 %321 to i64
  %323 = getelementptr inbounds [8 x %"struct.QlfcStatisticalModel1::Rank::Mantissa"], ptr %320, i64 0, i64 %322
  %324 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Rank::Mantissa", ptr %323, i32 0, i32 1
  %325 = load i32, ptr %31, align 4, !tbaa !9
  %326 = sext i32 %325 to i64
  %327 = getelementptr inbounds [256 x [256 x i16]], ptr %324, i64 0, i64 %326
  %328 = getelementptr inbounds [256 x i16], ptr %327, i64 0, i64 0
  store ptr %328, ptr %32, align 8, !tbaa !5
  %329 = load ptr, ptr %6, align 8, !tbaa !5
  %330 = getelementptr inbounds %struct.QlfcStatisticalModel1, ptr %329, i32 0, i32 0
  %331 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Rank", ptr %330, i32 0, i32 4
  %332 = load i32, ptr %36, align 4, !tbaa !9
  %333 = sext i32 %332 to i64
  %334 = getelementptr inbounds [8 x %"struct.QlfcStatisticalModel1::Rank::Mantissa"], ptr %331, i64 0, i64 %333
  %335 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Rank::Mantissa", ptr %334, i32 0, i32 2
  %336 = load i32, ptr %29, align 4, !tbaa !9
  %337 = sext i32 %336 to i64
  %338 = getelementptr inbounds [256 x [256 x i16]], ptr %335, i64 0, i64 %337
  %339 = getelementptr inbounds [256 x i16], ptr %338, i64 0, i64 0
  store ptr %339, ptr %33, align 8, !tbaa !5
  %340 = load ptr, ptr %6, align 8, !tbaa !5
  %341 = getelementptr inbounds %struct.QlfcStatisticalModel1, ptr %340, i32 0, i32 0
  %342 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Rank", ptr %341, i32 0, i32 4
  %343 = load i32, ptr %36, align 4, !tbaa !9
  %344 = sext i32 %343 to i64
  %345 = getelementptr inbounds [8 x %"struct.QlfcStatisticalModel1::Rank::Mantissa"], ptr %342, i64 0, i64 %344
  %346 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Rank::Mantissa", ptr %345, i32 0, i32 0
  %347 = getelementptr inbounds [256 x i16], ptr %346, i64 0, i64 0
  store ptr %347, ptr %34, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #6
  %348 = load i32, ptr %36, align 4, !tbaa !9
  %349 = sub nsw i32 %348, 1
  store i32 %349, ptr %37, align 4, !tbaa !9
  br label %350

350:                                              ; preds = %400, %312
  %351 = load i32, ptr %37, align 4, !tbaa !9
  %352 = icmp sge i32 %351, 0
  br i1 %352, label %354, label %353

353:                                              ; preds = %350
  store i32 21, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #6
  br label %403

354:                                              ; preds = %350
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #6
  %355 = load ptr, ptr %33, align 8, !tbaa !5
  %356 = load i32, ptr %35, align 4, !tbaa !9
  %357 = sext i32 %356 to i64
  %358 = getelementptr inbounds i16, ptr %355, i64 %357
  %359 = load i16, ptr %358, align 2, !tbaa !22
  %360 = sext i16 %359 to i32
  %361 = mul nsw i32 %360, 15
  %362 = load ptr, ptr %32, align 8, !tbaa !5
  %363 = load i32, ptr %35, align 4, !tbaa !9
  %364 = sext i32 %363 to i64
  %365 = getelementptr inbounds i16, ptr %362, i64 %364
  %366 = load i16, ptr %365, align 2, !tbaa !22
  %367 = sext i16 %366 to i32
  %368 = mul nsw i32 %367, 10
  %369 = add nsw i32 %361, %368
  %370 = load ptr, ptr %34, align 8, !tbaa !5
  %371 = load i32, ptr %35, align 4, !tbaa !9
  %372 = sext i32 %371 to i64
  %373 = getelementptr inbounds i16, ptr %370, i64 %372
  %374 = load i16, ptr %373, align 2, !tbaa !22
  %375 = sext i16 %374 to i32
  %376 = mul nsw i32 %375, 7
  %377 = add nsw i32 %369, %376
  %378 = ashr i32 %377, 5
  %379 = call noundef i32 @_ZN10RangeCoder9DecodeBitILi12EEEii(ptr noundef nonnull align 8 dereferenceable(56) %7, i32 noundef %378)
  store i32 %379, ptr %38, align 4, !tbaa !9
  %380 = load i32, ptr %38, align 4, !tbaa !9
  %381 = load ptr, ptr %32, align 8, !tbaa !5
  %382 = load i32, ptr %35, align 4, !tbaa !9
  %383 = sext i32 %382 to i64
  %384 = getelementptr inbounds i16, ptr %381, i64 %383
  call void @_ZN18ProbabilityCounter9UpdateBitEjRsiiii(i32 noundef %380, ptr noundef nonnull align 2 dereferenceable(2) %384, i32 noundef -254, i32 noundef 16, i32 noundef -177, i32 noundef 20)
  %385 = load i32, ptr %38, align 4, !tbaa !9
  %386 = load ptr, ptr %33, align 8, !tbaa !5
  %387 = load i32, ptr %35, align 4, !tbaa !9
  %388 = sext i32 %387 to i64
  %389 = getelementptr inbounds i16, ptr %386, i64 %388
  call void @_ZN18ProbabilityCounter9UpdateBitEjRsiiii(i32 noundef %385, ptr noundef nonnull align 2 dereferenceable(2) %389, i32 noundef -55, i32 noundef 73, i32 noundef -54, i32 noundef 74)
  %390 = load i32, ptr %38, align 4, !tbaa !9
  %391 = load ptr, ptr %34, align 8, !tbaa !5
  %392 = load i32, ptr %35, align 4, !tbaa !9
  %393 = sext i32 %392 to i64
  %394 = getelementptr inbounds i16, ptr %391, i64 %393
  call void @_ZN18ProbabilityCounter9UpdateBitEjRsiiii(i32 noundef %390, ptr noundef nonnull align 2 dereferenceable(2) %394, i32 noundef -6, i32 noundef 575, i32 noundef 1670, i32 noundef 1173)
  %395 = load i32, ptr %35, align 4, !tbaa !9
  %396 = load i32, ptr %38, align 4, !tbaa !9
  %397 = add i32 %395, %396
  %398 = load i32, ptr %35, align 4, !tbaa !9
  %399 = add i32 %398, %397
  store i32 %399, ptr %35, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #6
  br label %400

400:                                              ; preds = %354
  %401 = load i32, ptr %37, align 4, !tbaa !9
  %402 = add nsw i32 %401, -1
  store i32 %402, ptr %37, align 4, !tbaa !9
  br label %350, !llvm.loop !25

403:                                              ; preds = %353
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #6
  br label %411

404:                                              ; preds = %228
  %405 = load i32, ptr %29, align 4, !tbaa !9
  %406 = sext i32 %405 to i64
  %407 = getelementptr inbounds [256 x i8], ptr %14, i64 0, i64 %406
  store i8 0, ptr %407, align 1, !tbaa !11
  %408 = load ptr, ptr %32, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %408, i32 noundef -116, i32 noundef 33)
  %409 = load ptr, ptr %33, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %409, i32 noundef -2, i32 noundef 282)
  %410 = load ptr, ptr %34, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %410, i32 noundef 4, i32 noundef 697)
  br label %411

411:                                              ; preds = %404, %403
  br label %501

412:                                              ; preds = %198
  %413 = load ptr, ptr %6, align 8, !tbaa !5
  %414 = getelementptr inbounds %struct.QlfcStatisticalModel1, ptr %413, i32 0, i32 0
  %415 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Rank", ptr %414, i32 0, i32 5
  %416 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Rank::Escape", ptr %415, i32 0, i32 1
  %417 = load i32, ptr %31, align 4, !tbaa !9
  %418 = sext i32 %417 to i64
  %419 = getelementptr inbounds [256 x [256 x i16]], ptr %416, i64 0, i64 %418
  %420 = getelementptr inbounds [256 x i16], ptr %419, i64 0, i64 0
  store ptr %420, ptr %32, align 8, !tbaa !5
  %421 = load ptr, ptr %6, align 8, !tbaa !5
  %422 = getelementptr inbounds %struct.QlfcStatisticalModel1, ptr %421, i32 0, i32 0
  %423 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Rank", ptr %422, i32 0, i32 5
  %424 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Rank::Escape", ptr %423, i32 0, i32 2
  %425 = load i32, ptr %29, align 4, !tbaa !9
  %426 = sext i32 %425 to i64
  %427 = getelementptr inbounds [256 x [256 x i16]], ptr %424, i64 0, i64 %426
  %428 = getelementptr inbounds [256 x i16], ptr %427, i64 0, i64 0
  store ptr %428, ptr %33, align 8, !tbaa !5
  %429 = load ptr, ptr %6, align 8, !tbaa !5
  %430 = getelementptr inbounds %struct.QlfcStatisticalModel1, ptr %429, i32 0, i32 0
  %431 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Rank", ptr %430, i32 0, i32 5
  %432 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Rank::Escape", ptr %431, i32 0, i32 0
  %433 = getelementptr inbounds [256 x i16], ptr %432, i64 0, i64 0
  store ptr %433, ptr %34, align 8, !tbaa !5
  store i32 0, ptr %35, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #6
  store i32 1, ptr %39, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #6
  %434 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %434, ptr %40, align 4, !tbaa !9
  br label %435

435:                                              ; preds = %490, %412
  %436 = load i32, ptr %40, align 4, !tbaa !9
  %437 = icmp sge i32 %436, 0
  br i1 %437, label %439, label %438

438:                                              ; preds = %435
  store i32 24, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #6
  br label %493

439:                                              ; preds = %435
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #6
  %440 = load ptr, ptr %33, align 8, !tbaa !5
  %441 = load i32, ptr %39, align 4, !tbaa !9
  %442 = sext i32 %441 to i64
  %443 = getelementptr inbounds i16, ptr %440, i64 %442
  %444 = load i16, ptr %443, align 2, !tbaa !22
  %445 = sext i16 %444 to i32
  %446 = mul nsw i32 %445, 16
  %447 = load ptr, ptr %32, align 8, !tbaa !5
  %448 = load i32, ptr %39, align 4, !tbaa !9
  %449 = sext i32 %448 to i64
  %450 = getelementptr inbounds i16, ptr %447, i64 %449
  %451 = load i16, ptr %450, align 2, !tbaa !22
  %452 = sext i16 %451 to i32
  %453 = mul nsw i32 %452, 11
  %454 = add nsw i32 %446, %453
  %455 = load ptr, ptr %34, align 8, !tbaa !5
  %456 = load i32, ptr %39, align 4, !tbaa !9
  %457 = sext i32 %456 to i64
  %458 = getelementptr inbounds i16, ptr %455, i64 %457
  %459 = load i16, ptr %458, align 2, !tbaa !22
  %460 = sext i16 %459 to i32
  %461 = mul nsw i32 %460, 5
  %462 = add nsw i32 %454, %461
  %463 = ashr i32 %462, 5
  %464 = call noundef i32 @_ZN10RangeCoder9DecodeBitILi12EEEii(ptr noundef nonnull align 8 dereferenceable(56) %7, i32 noundef %463)
  store i32 %464, ptr %41, align 4, !tbaa !9
  %465 = load i32, ptr %41, align 4, !tbaa !9
  %466 = load ptr, ptr %32, align 8, !tbaa !5
  %467 = load i32, ptr %39, align 4, !tbaa !9
  %468 = sext i32 %467 to i64
  %469 = getelementptr inbounds i16, ptr %466, i64 %468
  call void @_ZN18ProbabilityCounter9UpdateBitEjRsiiii(i32 noundef %465, ptr noundef nonnull align 2 dereferenceable(2) %469, i32 noundef -126, i32 noundef 32, i32 noundef -126, i32 noundef 32)
  %470 = load i32, ptr %41, align 4, !tbaa !9
  %471 = load ptr, ptr %33, align 8, !tbaa !5
  %472 = load i32, ptr %39, align 4, !tbaa !9
  %473 = sext i32 %472 to i64
  %474 = getelementptr inbounds i16, ptr %471, i64 %473
  call void @_ZN18ProbabilityCounter9UpdateBitEjRsiiii(i32 noundef %470, ptr noundef nonnull align 2 dereferenceable(2) %474, i32 noundef -33, i32 noundef 120, i32 noundef -25, i32 noundef 157)
  %475 = load i32, ptr %41, align 4, !tbaa !9
  %476 = load ptr, ptr %34, align 8, !tbaa !5
  %477 = load i32, ptr %39, align 4, !tbaa !9
  %478 = sext i32 %477 to i64
  %479 = getelementptr inbounds i16, ptr %476, i64 %478
  call void @_ZN18ProbabilityCounter9UpdateBitEjRsiiii(i32 noundef %475, ptr noundef nonnull align 2 dereferenceable(2) %479, i32 noundef -6, i32 noundef 585, i32 noundef 150, i32 noundef 275)
  %480 = load i32, ptr %39, align 4, !tbaa !9
  %481 = load i32, ptr %41, align 4, !tbaa !9
  %482 = add i32 %480, %481
  %483 = load i32, ptr %39, align 4, !tbaa !9
  %484 = add i32 %483, %482
  store i32 %484, ptr %39, align 4, !tbaa !9
  %485 = load i32, ptr %35, align 4, !tbaa !9
  %486 = load i32, ptr %41, align 4, !tbaa !9
  %487 = add i32 %485, %486
  %488 = load i32, ptr %35, align 4, !tbaa !9
  %489 = add i32 %488, %487
  store i32 %489, ptr %35, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #6
  br label %490

490:                                              ; preds = %439
  %491 = load i32, ptr %40, align 4, !tbaa !9
  %492 = add nsw i32 %491, -1
  store i32 %492, ptr %40, align 4, !tbaa !9
  br label %435, !llvm.loop !26

493:                                              ; preds = %438
  %494 = load i32, ptr %35, align 4, !tbaa !9
  %495 = call i32 @llvm.ctlz.i32(i32 %494, i1 true)
  %496 = xor i32 %495, 31
  %497 = trunc i32 %496 to i8
  %498 = load i32, ptr %29, align 4, !tbaa !9
  %499 = sext i32 %498 to i64
  %500 = getelementptr inbounds [256 x i8], ptr %14, i64 0, i64 %499
  store i8 %497, ptr %500, align 1, !tbaa !11
  br label %501

501:                                              ; preds = %493, %411
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #6
  store i32 0, ptr %42, align 4, !tbaa !9
  br label %502

502:                                              ; preds = %516, %501
  %503 = load i32, ptr %42, align 4, !tbaa !9
  %504 = load i32, ptr %35, align 4, !tbaa !9
  %505 = icmp slt i32 %503, %504
  br i1 %505, label %507, label %506

506:                                              ; preds = %502
  store i32 27, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #6
  br label %519

507:                                              ; preds = %502
  %508 = load i32, ptr %42, align 4, !tbaa !9
  %509 = add nsw i32 %508, 1
  %510 = sext i32 %509 to i64
  %511 = getelementptr inbounds [256 x i8], ptr %8, i64 0, i64 %510
  %512 = load i8, ptr %511, align 1, !tbaa !11
  %513 = load i32, ptr %42, align 4, !tbaa !9
  %514 = sext i32 %513 to i64
  %515 = getelementptr inbounds [256 x i8], ptr %8, i64 0, i64 %514
  store i8 %512, ptr %515, align 1, !tbaa !11
  br label %516

516:                                              ; preds = %507
  %517 = load i32, ptr %42, align 4, !tbaa !9
  %518 = add nsw i32 %517, 1
  store i32 %518, ptr %42, align 4, !tbaa !9
  br label %502, !llvm.loop !27

519:                                              ; preds = %506
  %520 = load i32, ptr %29, align 4, !tbaa !9
  %521 = trunc i32 %520 to i8
  %522 = load i32, ptr %35, align 4, !tbaa !9
  %523 = sext i32 %522 to i64
  %524 = getelementptr inbounds [256 x i8], ptr %8, i64 0, i64 %523
  store i8 %521, ptr %524, align 1, !tbaa !11
  %525 = load i32, ptr %13, align 4, !tbaa !9
  %526 = mul nsw i32 %525, 124
  %527 = load i32, ptr %35, align 4, !tbaa !9
  %528 = mul nsw i32 %527, 4
  %529 = add nsw i32 %526, %528
  %530 = ashr i32 %529, 7
  store i32 %530, ptr %13, align 4, !tbaa !9
  %531 = load i32, ptr %35, align 4, !tbaa !9
  %532 = sub nsw i32 %531, 1
  store i32 %532, ptr %35, align 4, !tbaa !9
  %533 = load i32, ptr %29, align 4, !tbaa !9
  %534 = sext i32 %533 to i64
  %535 = getelementptr inbounds [256 x i8], ptr %15, i64 0, i64 %534
  %536 = load i8, ptr %535, align 1, !tbaa !11
  %537 = zext i8 %536 to i32
  store i32 %537, ptr %30, align 4, !tbaa !9
  %538 = load i32, ptr %9, align 4, !tbaa !9
  %539 = load i32, ptr %11, align 4, !tbaa !9
  %540 = load i32, ptr %35, align 4, !tbaa !9
  %541 = load i32, ptr %30, align 4, !tbaa !9
  %542 = call noundef i32 @_ZL15model_run_stateiiii(i32 noundef %538, i32 noundef %539, i32 noundef %540, i32 noundef %541)
  store i32 %542, ptr %31, align 4, !tbaa !9
  %543 = load ptr, ptr %6, align 8, !tbaa !5
  %544 = getelementptr inbounds %struct.QlfcStatisticalModel1, ptr %543, i32 0, i32 1
  %545 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Run", ptr %544, i32 0, i32 1
  %546 = load i32, ptr %31, align 4, !tbaa !9
  %547 = sext i32 %546 to i64
  %548 = getelementptr inbounds [256 x i16], ptr %545, i64 0, i64 %547
  store ptr %548, ptr %32, align 8, !tbaa !5
  %549 = load ptr, ptr %6, align 8, !tbaa !5
  %550 = getelementptr inbounds %struct.QlfcStatisticalModel1, ptr %549, i32 0, i32 1
  %551 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Run", ptr %550, i32 0, i32 2
  %552 = load i32, ptr %29, align 4, !tbaa !9
  %553 = sext i32 %552 to i64
  %554 = getelementptr inbounds [256 x i16], ptr %551, i64 0, i64 %553
  store ptr %554, ptr %33, align 8, !tbaa !5
  %555 = load ptr, ptr %6, align 8, !tbaa !5
  %556 = getelementptr inbounds %struct.QlfcStatisticalModel1, ptr %555, i32 0, i32 1
  %557 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Run", ptr %556, i32 0, i32 0
  store ptr %557, ptr %34, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %43) #6
  store i32 1, ptr %43, align 4, !tbaa !9
  %558 = load ptr, ptr %33, align 8, !tbaa !5
  %559 = load i16, ptr %558, align 2, !tbaa !22
  %560 = sext i16 %559 to i32
  %561 = mul nsw i32 %560, 14
  %562 = load ptr, ptr %32, align 8, !tbaa !5
  %563 = load i16, ptr %562, align 2, !tbaa !22
  %564 = sext i16 %563 to i32
  %565 = mul nsw i32 %564, 18
  %566 = add nsw i32 %561, %565
  %567 = load ptr, ptr %34, align 8, !tbaa !5
  %568 = load i16, ptr %567, align 2, !tbaa !22
  %569 = sext i16 %568 to i32
  %570 = mul nsw i32 %569, 0
  %571 = add nsw i32 %566, %570
  %572 = ashr i32 %571, 5
  %573 = call noundef i32 @_ZN10RangeCoder9DecodeBitILi12EEEii(ptr noundef nonnull align 8 dereferenceable(56) %7, i32 noundef %572)
  %574 = icmp ne i32 %573, 0
  br i1 %574, label %575, label %749

575:                                              ; preds = %519
  %576 = load ptr, ptr %32, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %576, i32 noundef -112, i32 noundef 36)
  %577 = load ptr, ptr %33, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %577, i32 noundef -13, i32 noundef 231)
  %578 = load ptr, ptr %34, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %578, i32 noundef 0, i32 noundef 0)
  %579 = load ptr, ptr %6, align 8, !tbaa !5
  %580 = getelementptr inbounds %struct.QlfcStatisticalModel1, ptr %579, i32 0, i32 1
  %581 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Run", ptr %580, i32 0, i32 3
  %582 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Run::Exponent", ptr %581, i32 0, i32 1
  %583 = load i32, ptr %31, align 4, !tbaa !9
  %584 = sext i32 %583 to i64
  %585 = getelementptr inbounds [256 x [32 x i16]], ptr %582, i64 0, i64 %584
  %586 = getelementptr inbounds [32 x i16], ptr %585, i64 0, i64 0
  store ptr %586, ptr %32, align 8, !tbaa !5
  %587 = load ptr, ptr %6, align 8, !tbaa !5
  %588 = getelementptr inbounds %struct.QlfcStatisticalModel1, ptr %587, i32 0, i32 1
  %589 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Run", ptr %588, i32 0, i32 3
  %590 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Run::Exponent", ptr %589, i32 0, i32 2
  %591 = load i32, ptr %29, align 4, !tbaa !9
  %592 = sext i32 %591 to i64
  %593 = getelementptr inbounds [256 x [32 x i16]], ptr %590, i64 0, i64 %592
  %594 = getelementptr inbounds [32 x i16], ptr %593, i64 0, i64 0
  store ptr %594, ptr %33, align 8, !tbaa !5
  %595 = load ptr, ptr %6, align 8, !tbaa !5
  %596 = getelementptr inbounds %struct.QlfcStatisticalModel1, ptr %595, i32 0, i32 1
  %597 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Run", ptr %596, i32 0, i32 3
  %598 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Run::Exponent", ptr %597, i32 0, i32 0
  %599 = getelementptr inbounds [32 x i16], ptr %598, i64 0, i64 0
  store ptr %599, ptr %34, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %44) #6
  store i32 1, ptr %44, align 4, !tbaa !9
  br label %600

600:                                              ; preds = %635, %575
  br label %601

601:                                              ; preds = %600
  %602 = load ptr, ptr %33, align 8, !tbaa !5
  %603 = load i16, ptr %602, align 2, !tbaa !22
  %604 = sext i16 %603 to i32
  %605 = mul nsw i32 %604, 14
  %606 = load ptr, ptr %32, align 8, !tbaa !5
  %607 = load i16, ptr %606, align 2, !tbaa !22
  %608 = sext i16 %607 to i32
  %609 = mul nsw i32 %608, 15
  %610 = add nsw i32 %605, %609
  %611 = load ptr, ptr %34, align 8, !tbaa !5
  %612 = load i16, ptr %611, align 2, !tbaa !22
  %613 = sext i16 %612 to i32
  %614 = mul nsw i32 %613, 3
  %615 = add nsw i32 %610, %614
  %616 = ashr i32 %615, 5
  %617 = call noundef i32 @_ZN10RangeCoder9DecodeBitILi12EEEii(ptr noundef nonnull align 8 dereferenceable(56) %7, i32 noundef %616)
  %618 = icmp ne i32 %617, 0
  br i1 %618, label %619, label %631

619:                                              ; preds = %601
  %620 = load ptr, ptr %32, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %620, i32 noundef -92, i32 noundef 44)
  %621 = load ptr, ptr %32, align 8, !tbaa !5
  %622 = getelementptr inbounds i16, ptr %621, i32 1
  store ptr %622, ptr %32, align 8, !tbaa !5
  %623 = load ptr, ptr %33, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %623, i32 noundef -11, i32 noundef 341)
  %624 = load ptr, ptr %33, align 8, !tbaa !5
  %625 = getelementptr inbounds i16, ptr %624, i32 1
  store ptr %625, ptr %33, align 8, !tbaa !5
  %626 = load ptr, ptr %34, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %626, i32 noundef -4, i32 noundef 765)
  %627 = load ptr, ptr %34, align 8, !tbaa !5
  %628 = getelementptr inbounds i16, ptr %627, i32 1
  store ptr %628, ptr %34, align 8, !tbaa !5
  %629 = load i32, ptr %44, align 4, !tbaa !9
  %630 = add nsw i32 %629, 1
  store i32 %630, ptr %44, align 4, !tbaa !9
  br label %635

631:                                              ; preds = %601
  %632 = load ptr, ptr %32, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %632, i32 noundef -90, i32 noundef 45)
  %633 = load ptr, ptr %33, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %633, i32 noundef -3, i32 noundef 325)
  %634 = load ptr, ptr %34, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %634, i32 noundef 24, i32 noundef 887)
  br label %636

635:                                              ; preds = %619
  br label %600, !llvm.loop !28

636:                                              ; preds = %631
  %637 = load i32, ptr %29, align 4, !tbaa !9
  %638 = sext i32 %637 to i64
  %639 = getelementptr inbounds [256 x i8], ptr %15, i64 0, i64 %638
  %640 = load i8, ptr %639, align 1, !tbaa !11
  %641 = zext i8 %640 to i32
  %642 = load i32, ptr %44, align 4, !tbaa !9
  %643 = mul nsw i32 3, %642
  %644 = add nsw i32 %641, %643
  %645 = add nsw i32 %644, 3
  %646 = ashr i32 %645, 2
  %647 = trunc i32 %646 to i8
  %648 = load i32, ptr %29, align 4, !tbaa !9
  %649 = sext i32 %648 to i64
  %650 = getelementptr inbounds [256 x i8], ptr %15, i64 0, i64 %649
  store i8 %647, ptr %650, align 1, !tbaa !11
  %651 = load ptr, ptr %6, align 8, !tbaa !5
  %652 = getelementptr inbounds %struct.QlfcStatisticalModel1, ptr %651, i32 0, i32 1
  %653 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Run", ptr %652, i32 0, i32 4
  %654 = load i32, ptr %44, align 4, !tbaa !9
  %655 = sext i32 %654 to i64
  %656 = getelementptr inbounds [32 x %"struct.QlfcStatisticalModel1::Run::Mantissa"], ptr %653, i64 0, i64 %655
  %657 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Run::Mantissa", ptr %656, i32 0, i32 1
  %658 = load i32, ptr %31, align 4, !tbaa !9
  %659 = sext i32 %658 to i64
  %660 = getelementptr inbounds [256 x [32 x i16]], ptr %657, i64 0, i64 %659
  %661 = getelementptr inbounds [32 x i16], ptr %660, i64 0, i64 0
  store ptr %661, ptr %32, align 8, !tbaa !5
  %662 = load ptr, ptr %6, align 8, !tbaa !5
  %663 = getelementptr inbounds %struct.QlfcStatisticalModel1, ptr %662, i32 0, i32 1
  %664 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Run", ptr %663, i32 0, i32 4
  %665 = load i32, ptr %44, align 4, !tbaa !9
  %666 = sext i32 %665 to i64
  %667 = getelementptr inbounds [32 x %"struct.QlfcStatisticalModel1::Run::Mantissa"], ptr %664, i64 0, i64 %666
  %668 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Run::Mantissa", ptr %667, i32 0, i32 2
  %669 = load i32, ptr %29, align 4, !tbaa !9
  %670 = sext i32 %669 to i64
  %671 = getelementptr inbounds [256 x [32 x i16]], ptr %668, i64 0, i64 %670
  %672 = getelementptr inbounds [32 x i16], ptr %671, i64 0, i64 0
  store ptr %672, ptr %33, align 8, !tbaa !5
  %673 = load ptr, ptr %6, align 8, !tbaa !5
  %674 = getelementptr inbounds %struct.QlfcStatisticalModel1, ptr %673, i32 0, i32 1
  %675 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Run", ptr %674, i32 0, i32 4
  %676 = load i32, ptr %44, align 4, !tbaa !9
  %677 = sext i32 %676 to i64
  %678 = getelementptr inbounds [32 x %"struct.QlfcStatisticalModel1::Run::Mantissa"], ptr %675, i64 0, i64 %677
  %679 = getelementptr inbounds %"struct.QlfcStatisticalModel1::Run::Mantissa", ptr %678, i32 0, i32 0
  %680 = getelementptr inbounds [32 x i16], ptr %679, i64 0, i64 0
  store ptr %680, ptr %34, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %45) #6
  store i32 1, ptr %45, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %46) #6
  %681 = load i32, ptr %44, align 4, !tbaa !9
  %682 = sub nsw i32 %681, 1
  store i32 %682, ptr %46, align 4, !tbaa !9
  br label %683

683:                                              ; preds = %745, %636
  %684 = load i32, ptr %46, align 4, !tbaa !9
  %685 = icmp sge i32 %684, 0
  br i1 %685, label %687, label %686

686:                                              ; preds = %683
  store i32 32, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %46) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %45) #6
  br label %748

687:                                              ; preds = %683
  call void @llvm.lifetime.start.p0(i64 4, ptr %47) #6
  %688 = load ptr, ptr %33, align 8, !tbaa !5
  %689 = load i32, ptr %45, align 4, !tbaa !9
  %690 = sext i32 %689 to i64
  %691 = getelementptr inbounds i16, ptr %688, i64 %690
  %692 = load i16, ptr %691, align 2, !tbaa !22
  %693 = sext i16 %692 to i32
  %694 = mul nsw i32 %693, 7
  %695 = load ptr, ptr %32, align 8, !tbaa !5
  %696 = load i32, ptr %45, align 4, !tbaa !9
  %697 = sext i32 %696 to i64
  %698 = getelementptr inbounds i16, ptr %695, i64 %697
  %699 = load i16, ptr %698, align 2, !tbaa !22
  %700 = sext i16 %699 to i32
  %701 = mul nsw i32 %700, 15
  %702 = add nsw i32 %694, %701
  %703 = load ptr, ptr %34, align 8, !tbaa !5
  %704 = load i32, ptr %45, align 4, !tbaa !9
  %705 = sext i32 %704 to i64
  %706 = getelementptr inbounds i16, ptr %703, i64 %705
  %707 = load i16, ptr %706, align 2, !tbaa !22
  %708 = sext i16 %707 to i32
  %709 = mul nsw i32 %708, 10
  %710 = add nsw i32 %702, %709
  %711 = ashr i32 %710, 5
  %712 = call noundef i32 @_ZN10RangeCoder9DecodeBitILi12EEEii(ptr noundef nonnull align 8 dereferenceable(56) %7, i32 noundef %711)
  store i32 %712, ptr %47, align 4, !tbaa !9
  %713 = load i32, ptr %47, align 4, !tbaa !9
  %714 = load ptr, ptr %32, align 8, !tbaa !5
  %715 = load i32, ptr %45, align 4, !tbaa !9
  %716 = sext i32 %715 to i64
  %717 = getelementptr inbounds i16, ptr %714, i64 %716
  call void @_ZN18ProbabilityCounter9UpdateBitEjRsiiii(i32 noundef %713, ptr noundef nonnull align 2 dereferenceable(2) %717, i32 noundef -275, i32 noundef 14, i32 noundef -185, i32 noundef 22)
  %718 = load i32, ptr %47, align 4, !tbaa !9
  %719 = load ptr, ptr %33, align 8, !tbaa !5
  %720 = load i32, ptr %45, align 4, !tbaa !9
  %721 = sext i32 %720 to i64
  %722 = getelementptr inbounds i16, ptr %719, i64 %721
  call void @_ZN18ProbabilityCounter9UpdateBitEjRsiiii(i32 noundef %718, ptr noundef nonnull align 2 dereferenceable(2) %722, i32 noundef -18, i32 noundef 191, i32 noundef -15, i32 noundef 241)
  %723 = load i32, ptr %47, align 4, !tbaa !9
  %724 = load ptr, ptr %34, align 8, !tbaa !5
  %725 = load i32, ptr %45, align 4, !tbaa !9
  %726 = sext i32 %725 to i64
  %727 = getelementptr inbounds i16, ptr %724, i64 %726
  call void @_ZN18ProbabilityCounter9UpdateBitEjRsiiii(i32 noundef %723, ptr noundef nonnull align 2 dereferenceable(2) %727, i32 noundef -73, i32 noundef 54, i32 noundef -214, i32 noundef 19)
  %728 = load i32, ptr %43, align 4, !tbaa !9
  %729 = load i32, ptr %47, align 4, !tbaa !9
  %730 = add i32 %728, %729
  %731 = load i32, ptr %43, align 4, !tbaa !9
  %732 = add i32 %731, %730
  store i32 %732, ptr %43, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %48) #6
  %733 = load i32, ptr %45, align 4, !tbaa !9
  %734 = load i32, ptr %45, align 4, !tbaa !9
  %735 = add nsw i32 %733, %734
  %736 = load i32, ptr %47, align 4, !tbaa !9
  %737 = add i32 %735, %736
  store i32 %737, ptr %48, align 4, !tbaa !9
  %738 = load i32, ptr %45, align 4, !tbaa !9
  %739 = add nsw i32 %738, 1
  store i32 %739, ptr %45, align 4, !tbaa !9
  %740 = load i32, ptr %44, align 4, !tbaa !9
  %741 = icmp sle i32 %740, 5
  br i1 %741, label %742, label %744

742:                                              ; preds = %687
  %743 = load i32, ptr %48, align 4, !tbaa !9
  store i32 %743, ptr %45, align 4, !tbaa !9
  br label %744

744:                                              ; preds = %742, %687
  call void @llvm.lifetime.end.p0(i64 4, ptr %48) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %47) #6
  br label %745

745:                                              ; preds = %744
  %746 = load i32, ptr %46, align 4, !tbaa !9
  %747 = add nsw i32 %746, -1
  store i32 %747, ptr %46, align 4, !tbaa !9
  br label %683, !llvm.loop !29

748:                                              ; preds = %686
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #6
  br label %764

749:                                              ; preds = %519
  %750 = load i32, ptr %29, align 4, !tbaa !9
  %751 = sext i32 %750 to i64
  %752 = getelementptr inbounds [256 x i8], ptr %15, i64 0, i64 %751
  %753 = load i8, ptr %752, align 1, !tbaa !11
  %754 = zext i8 %753 to i32
  %755 = add nsw i32 %754, 2
  %756 = ashr i32 %755, 2
  %757 = trunc i32 %756 to i8
  %758 = load i32, ptr %29, align 4, !tbaa !9
  %759 = sext i32 %758 to i64
  %760 = getelementptr inbounds [256 x i8], ptr %15, i64 0, i64 %759
  store i8 %757, ptr %760, align 1, !tbaa !11
  %761 = load ptr, ptr %32, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %761, i32 noundef -68, i32 noundef 38)
  %762 = load ptr, ptr %33, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %762, i32 noundef -4, i32 noundef 221)
  %763 = load ptr, ptr %34, align 8, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %763, i32 noundef 0, i32 noundef 0)
  br label %764

764:                                              ; preds = %749, %748
  %765 = load i32, ptr %9, align 4, !tbaa !9
  %766 = shl i32 %765, 1
  %767 = load i32, ptr %35, align 4, !tbaa !9
  %768 = icmp eq i32 %767, 0
  %769 = zext i1 %768 to i64
  %770 = select i1 %768, i32 1, i32 0
  %771 = or i32 %766, %770
  %772 = and i32 %771, 7
  store i32 %772, ptr %9, align 4, !tbaa !9
  %773 = load i32, ptr %10, align 4, !tbaa !9
  %774 = shl i32 %773, 2
  %775 = load i32, ptr %35, align 4, !tbaa !9
  %776 = icmp slt i32 %775, 3
  br i1 %776, label %777, label %779

777:                                              ; preds = %764
  %778 = load i32, ptr %35, align 4, !tbaa !9
  br label %780

779:                                              ; preds = %764
  br label %780

780:                                              ; preds = %779, %777
  %781 = phi i32 [ %778, %777 ], [ 3, %779 ]
  %782 = or i32 %774, %781
  %783 = and i32 %782, 255
  store i32 %783, ptr %10, align 4, !tbaa !9
  %784 = load i32, ptr %11, align 4, !tbaa !9
  %785 = shl i32 %784, 1
  %786 = load i32, ptr %43, align 4, !tbaa !9
  %787 = icmp slt i32 %786, 3
  %788 = zext i1 %787 to i64
  %789 = select i1 %787, i32 1, i32 0
  %790 = or i32 %785, %789
  %791 = and i32 %790, 15
  store i32 %791, ptr %11, align 4, !tbaa !9
  br label %792

792:                                              ; preds = %803, %780
  %793 = load i32, ptr %43, align 4, !tbaa !9
  %794 = icmp sgt i32 %793, 0
  br i1 %794, label %795, label %806

795:                                              ; preds = %792
  %796 = load i32, ptr %29, align 4, !tbaa !9
  %797 = trunc i32 %796 to i8
  %798 = load ptr, ptr %5, align 8, !tbaa !5
  %799 = load i32, ptr %28, align 4, !tbaa !9
  %800 = add nsw i32 %799, 1
  store i32 %800, ptr %28, align 4, !tbaa !9
  %801 = sext i32 %799 to i64
  %802 = getelementptr inbounds i8, ptr %798, i64 %801
  store i8 %797, ptr %802, align 1, !tbaa !11
  br label %803

803:                                              ; preds = %795
  %804 = load i32, ptr %43, align 4, !tbaa !9
  %805 = add nsw i32 %804, -1
  store i32 %805, ptr %43, align 4, !tbaa !9
  br label %792, !llvm.loop !30

806:                                              ; preds = %792
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #6
  br label %193, !llvm.loop !31

807:                                              ; preds = %197
  %808 = load i32, ptr %17, align 4, !tbaa !9
  store i32 1, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #6
  call void @llvm.lifetime.end.p0(i64 256, ptr %18) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #6
  call void @llvm.lifetime.end.p0(i64 256, ptr %15) #6
  call void @llvm.lifetime.end.p0(i64 256, ptr %14) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #6
  call void @llvm.lifetime.end.p0(i64 256, ptr %8) #6
  call void @llvm.lifetime.end.p0(i64 56, ptr %7) #6
  ret i32 %808
}

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #3 = { inlinehint mustprogress 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 #4 = { inlinehint mustprogress 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 #5 = { mustprogress 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 #6 = { 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++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!7, !7, i64 0}
!12 = distinct !{!12, !13}
!13 = !{!"llvm.loop.mustprogress"}
!14 = distinct !{!14, !13}
!15 = !{!16, !16, i64 0}
!16 = !{!"bool", !7, i64 0}
!17 = !{i8 0, i8 2}
!18 = !{}
!19 = distinct !{!19, !13}
!20 = distinct !{!20, !13}
!21 = distinct !{!21, !13}
!22 = !{!23, !23, i64 0}
!23 = !{!"short", !7, i64 0}
!24 = distinct !{!24, !13}
!25 = distinct !{!25, !13}
!26 = distinct !{!26, !13}
!27 = distinct !{!27, !13}
!28 = distinct !{!28, !13}
!29 = distinct !{!29, !13}
!30 = distinct !{!30, !13}
!31 = distinct !{!31, !13}


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

%class.RangeCoder = type { %"union.RangeCoder::ari", i32, i32, i32, i32, ptr, ptr, ptr, ptr }
%"union.RangeCoder::ari" = type { i64 }
%"struct.QlfcStatisticalModel1::Rank::Mantissa" = type { [256 x i16], [256 x [256 x i16]], [256 x [256 x i16]] }
%"struct.QlfcStatisticalModel1::Run::Mantissa" = type { [32 x i16], [256 x [32 x i16]], [256 x [32 x i16]] }

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

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

declare void @_Z19bsc_qlfc_init_modelP21QlfcStatisticalModel1(ptr noundef) local_unnamed_addr #1

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.ctlz.i32(i32, i1 immarg) #2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare hidden noundef i32 @_ZL16model_rank_stateiii(i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #3

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2), i32 noundef, i32 noundef) local_unnamed_addr #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2), i32 noundef, i32 noundef) local_unnamed_addr #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare hidden noundef i32 @_ZL15model_run_stateiiii(i32 noundef, i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #3

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN18ProbabilityCounter9UpdateBitEjRsiiii(i32 noundef, ptr noundef nonnull align 2 dereferenceable(2), i32 noundef, i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #3 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN10RangeCoder11InitDecoderEPKh(ptr noundef nonnull align 8 dereferenceable(56), ptr noundef) local_unnamed_addr #4 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef i32 @_ZN10RangeCoder10DecodeWordEv(ptr noundef nonnull align 8 dereferenceable(56)) local_unnamed_addr #4 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef i32 @_ZN10RangeCoder9DecodeBitEv(ptr noundef nonnull align 8 dereferenceable(56)) local_unnamed_addr #4 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZN10RangeCoder9DecodeBitILi12EEEii(ptr noundef nonnull align 8 dereferenceable(56), i32 noundef) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_Z22bsc_qlfc_static_decodePKhPhP21QlfcStatisticalModel1(ptr noundef %0, ptr nocapture noundef writeonly %1, ptr noundef %2) local_unnamed_addr #5 {
.preheader308.preheader:
  %3 = alloca %class.RangeCoder, align 8
  %4 = alloca [256 x i8], align 64
  %5 = alloca [256 x i8], align 16
  %6 = alloca [256 x i8], align 16
  %7 = alloca [256 x i8], align 16
  call void @llvm.lifetime.start.p0(i64 56, ptr nonnull %3) #9
  call void @llvm.lifetime.start.p0(i64 256, ptr nonnull %4) #9
  tail call void @_Z19bsc_qlfc_init_modelP21QlfcStatisticalModel1(ptr noundef %2)
  call void @llvm.lifetime.start.p0(i64 256, ptr nonnull %5) #9
  call void @llvm.lifetime.start.p0(i64 256, ptr nonnull %6) #9
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(256) %6, i8 0, i64 256, i1 false), !tbaa !5
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(256) %5, i8 0, i64 256, i1 false), !tbaa !5
  call void @_ZN10RangeCoder11InitDecoderEPKh(ptr noundef nonnull align 8 dereferenceable(56) %3, ptr noundef %0)
  %8 = call noundef i32 @_ZN10RangeCoder10DecodeWordEv(ptr noundef nonnull align 8 dereferenceable(56) %3)
  call void @llvm.lifetime.start.p0(i64 256, ptr nonnull %7) #9
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 16 dereferenceable(256) %7, i8 0, i64 256, i1 false), !tbaa !5
  br label %.preheader308

.preheader308:                                    ; preds = %.preheader308.preheader, %49
  %indvars.iv386 = phi i64 [ 0, %.preheader308.preheader ], [ %indvars.iv.next387, %49 ]
  %.0287324 = phi i32 [ -1, %.preheader308.preheader ], [ %.2284, %49 ]
  %9 = zext i32 %.0287324 to i64
  br label %.preheader

.preheader:                                       ; preds = %.preheader308, %43
  %.0281323 = phi i32 [ 7, %.preheader308 ], [ %44, %43 ]
  %.0282322 = phi i32 [ 0, %.preheader308 ], [ %.2284, %43 ]
  %10 = add nuw nsw i32 %.0281323, 1
  %11 = shl nuw i32 1, %.0281323
  %.old = lshr i32 %.0287324, %10
  %.old370 = icmp eq i32 %.0282322, %.old
  br label %15

12:                                               ; preds = %43
  %13 = trunc i32 %.2284 to i8
  %14 = getelementptr inbounds [256 x i8], ptr %4, i64 0, i64 %indvars.iv386
  store i8 %13, ptr %14, align 1, !tbaa !5
  %.not = icmp eq i32 %.2284, %.0287324
  br i1 %.not, label %.thread, label %49

15:                                               ; preds = %.preheader, %30
  %indvars.iv = phi i64 [ 0, %.preheader ], [ %indvars.iv.next, %30 ]
  %.0274320 = phi i8 [ 0, %.preheader ], [ %.2276, %30 ]
  %.0277319 = phi i8 [ 0, %.preheader ], [ %.2279, %30 ]
  %16 = icmp eq i64 %indvars.iv, %9
  br i1 %16, label %24, label %17

17:                                               ; preds = %15
  %18 = getelementptr inbounds [256 x i8], ptr %7, i64 0, i64 %indvars.iv
  %19 = load i8, ptr %18, align 1, !tbaa !5
  %20 = icmp eq i8 %19, 0
  %21 = trunc nuw nsw i64 %indvars.iv to i32
  %22 = lshr i32 %21, %10
  %23 = icmp eq i32 %.0282322, %22
  %or.cond = select i1 %20, i1 %23, i1 false
  br i1 %or.cond, label %25, label %30

24:                                               ; preds = %15
  br i1 %.old370, label %._crit_edge398, label %30

._crit_edge398:                                   ; preds = %24
  %.pre = trunc nuw nsw i64 %indvars.iv to i32
  br label %25

25:                                               ; preds = %._crit_edge398, %17
  %.pre-phi = phi i32 [ %.pre, %._crit_edge398 ], [ %21, %17 ]
  %26 = and i32 %.pre-phi, %11
  %.not300 = icmp eq i32 %26, 0
  %..0277 = select i1 %.not300, i8 1, i8 %.0277319
  %.0274. = select i1 %.not300, i8 %.0274320, i8 1
  %27 = trunc nuw i8 %..0277 to i1
  br i1 %27, label %28, label %30

28:                                               ; preds = %25
  %29 = trunc nuw i8 %.0274. to i1
  br i1 %29, label %31, label %30

30:                                               ; preds = %17, %25, %28, %24
  %.2279 = phi i8 [ %..0277, %28 ], [ %..0277, %25 ], [ %.0277319, %24 ], [ %.0277319, %17 ]
  %.2276 = phi i8 [ %.0274., %28 ], [ %.0274., %25 ], [ %.0274320, %24 ], [ %.0274320, %17 ]
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, 256
  br i1 %exitcond.not, label %31, label %15, !llvm.loop !8

31:                                               ; preds = %28, %30
  %.3280 = phi i8 [ %.2279, %30 ], [ %..0277, %28 ]
  %.3 = phi i8 [ %.2276, %30 ], [ %.0274., %28 ]
  %32 = trunc nuw i8 %.3280 to i1
  %33 = trunc i8 %.3 to i1
  br i1 %32, label %34, label %39

34:                                               ; preds = %31
  br i1 %33, label %36, label %.thread402

.thread402:                                       ; preds = %34
  %.mask404 = and i8 %.3280, 1
  %35 = zext nneg i8 %.mask404 to i32
  %spec.select405 = shl nsw i32 %.0282322, %35
  br label %43

36:                                               ; preds = %34
  %37 = call noundef i32 @_ZN10RangeCoder9DecodeBitEv(ptr noundef nonnull align 8 dereferenceable(56) %3)
  %reass.add302 = shl i32 %.0282322, 1
  %38 = add i32 %37, %reass.add302
  br label %43

39:                                               ; preds = %31
  %.mask = and i8 %.3280, 1
  %40 = zext nneg i8 %.mask to i32
  %spec.select = shl nsw i32 %.0282322, %40
  br i1 %33, label %41, label %43

41:                                               ; preds = %39
  %reass.add301 = shl i32 %spec.select, 1
  %42 = or disjoint i32 %reass.add301, 1
  br label %43

43:                                               ; preds = %.thread402, %39, %41, %36
  %.2284 = phi i32 [ %38, %36 ], [ %42, %41 ], [ %spec.select, %39 ], [ %spec.select405, %.thread402 ]
  %44 = add nsw i32 %.0281323, -1
  %.not401 = icmp eq i32 %.0281323, 0
  br i1 %.not401, label %12, label %.preheader, !llvm.loop !10

.thread:                                          ; preds = %12
  %45 = trunc nuw nsw i64 %indvars.iv386 to i32
  %46 = add nsw i32 %45, -1
  %47 = call range(i32 0, 33) i32 @llvm.ctlz.i32(i32 %46, i1 true)
  %48 = xor i32 %47, 31
  br label %.loopexit310

49:                                               ; preds = %12
  %50 = sext i32 %.2284 to i64
  %51 = getelementptr inbounds [256 x i8], ptr %7, i64 0, i64 %50
  store i8 1, ptr %51, align 1, !tbaa !5
  %indvars.iv.next387 = add nuw nsw i64 %indvars.iv386, 1
  %exitcond389.not = icmp eq i64 %indvars.iv.next387, 256
  br i1 %exitcond389.not, label %.loopexit310, label %.preheader308, !llvm.loop !11

.loopexit310:                                     ; preds = %49, %.thread
  %.2258 = phi i32 [ %48, %.thread ], [ 7, %49 ]
  %52 = icmp sgt i32 %8, 0
  br i1 %52, label %.lr.ph368, label %._crit_edge369

.lr.ph368:                                        ; preds = %.loopexit310
  %53 = getelementptr inbounds i8, ptr %2, i64 2
  %54 = getelementptr inbounds i8, ptr %2, i64 514
  %55 = getelementptr inbounds i8, ptr %2, i64 2110482
  %56 = getelementptr inbounds i8, ptr %2, i64 2110994
  %57 = getelementptr inbounds i8, ptr %2, i64 2242066
  %58 = getelementptr inbounds i8, ptr %2, i64 1026
  %59 = getelementptr inbounds i8, ptr %2, i64 1042
  %60 = getelementptr inbounds i8, ptr %2, i64 5138
  %61 = icmp eq i32 %.2258, 1
  %62 = getelementptr inbounds i8, ptr %2, i64 9234
  %63 = getelementptr inbounds i8, ptr %2, i64 2373138
  %64 = getelementptr inbounds i8, ptr %2, i64 2373140
  %65 = getelementptr inbounds i8, ptr %2, i64 2373652
  %66 = getelementptr inbounds i8, ptr %2, i64 2374164
  %67 = getelementptr inbounds i8, ptr %2, i64 2374228
  %68 = getelementptr inbounds i8, ptr %2, i64 2390612
  %69 = getelementptr inbounds i8, ptr %2, i64 2406996
  %scevgep = getelementptr inbounds i8, ptr %4, i64 1
  br label %71

.loopexit:                                        ; preds = %.lr.ph360.preheader, %.loopexit305
  %.1272.lcssa = phi i32 [ %.0271362, %.loopexit305 ], [ %284, %.lr.ph360.preheader ]
  %70 = icmp slt i32 %.1272.lcssa, %8
  br i1 %70, label %71, label %._crit_edge369, !llvm.loop !12

._crit_edge369:                                   ; preds = %.loopexit, %.loopexit310
  call void @llvm.lifetime.end.p0(i64 256, ptr nonnull %7) #9
  call void @llvm.lifetime.end.p0(i64 256, ptr nonnull %6) #9
  call void @llvm.lifetime.end.p0(i64 256, ptr nonnull %5) #9
  call void @llvm.lifetime.end.p0(i64 256, ptr nonnull %4) #9
  call void @llvm.lifetime.end.p0(i64 56, ptr nonnull %3) #9
  ret i32 %8

71:                                               ; preds = %.lr.ph368, %.loopexit
  %.0366 = phi i32 [ 0, %.lr.ph368 ], [ %272, %.loopexit ]
  %.0246365 = phi i32 [ 0, %.lr.ph368 ], [ %276, %.loopexit ]
  %.0253364 = phi i32 [ 0, %.lr.ph368 ], [ %280, %.loopexit ]
  %.0270363 = phi i32 [ 0, %.lr.ph368 ], [ %178, %.loopexit ]
  %.0271362 = phi i32 [ 0, %.lr.ph368 ], [ %.1272.lcssa, %.loopexit ]
  %72 = load i8, ptr %4, align 64, !tbaa !5
  %73 = zext i8 %72 to i64
  %74 = getelementptr inbounds [256 x i8], ptr %5, i64 0, i64 %73
  %75 = load i8, ptr %74, align 1, !tbaa !5
  %76 = zext i8 %75 to i32
  %77 = call noundef i32 @_ZL16model_rank_stateiii(i32 noundef %.0246365, i32 noundef %.0253364, i32 noundef %76)
  %78 = sext i32 %77 to i64
  %79 = getelementptr inbounds [256 x i16], ptr %53, i64 0, i64 %78
  %80 = getelementptr inbounds [256 x i16], ptr %54, i64 0, i64 %73
  %81 = icmp slt i32 %.0270363, 32
  br i1 %81, label %82, label %.lr.ph.preheader

82:                                               ; preds = %71
  %83 = load i16, ptr %80, align 2, !tbaa !13
  %84 = sext i16 %83 to i32
  %85 = mul nsw i32 %84, 17
  %86 = load i16, ptr %79, align 2, !tbaa !13
  %87 = sext i16 %86 to i32
  %88 = mul nsw i32 %87, 14
  %89 = add nsw i32 %88, %85
  %90 = load i16, ptr %2, align 2, !tbaa !13
  %91 = sext i16 %90 to i32
  %92 = add nsw i32 %89, %91
  %93 = ashr i32 %92, 5
  %94 = call noundef i32 @_ZN10RangeCoder9DecodeBitILi12EEEii(ptr noundef nonnull align 8 dereferenceable(56) %3, i32 noundef %93)
  %.not293 = icmp eq i32 %94, 0
  br i1 %.not293, label %.loopexit306.thread, label %95

95:                                               ; preds = %82
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %79, i32 noundef -78, i32 noundef 34)
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %80, i32 noundef 12, i32 noundef 274)
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %2, i32 noundef 55, i32 noundef 1185)
  br i1 %61, label %.loopexit307, label %.lr.ph334.preheader

.lr.ph334.preheader:                              ; preds = %95
  %96 = getelementptr inbounds [256 x [8 x i16]], ptr %60, i64 0, i64 %73
  %97 = getelementptr inbounds [256 x [8 x i16]], ptr %59, i64 0, i64 %78
  br label %.lr.ph334

.lr.ph334:                                        ; preds = %.lr.ph334.preheader, %111
  %.0260332 = phi i32 [ %115, %111 ], [ 1, %.lr.ph334.preheader ]
  %.0264331 = phi ptr [ %114, %111 ], [ %58, %.lr.ph334.preheader ]
  %.0266330 = phi ptr [ %113, %111 ], [ %96, %.lr.ph334.preheader ]
  %.0268329 = phi ptr [ %112, %111 ], [ %97, %.lr.ph334.preheader ]
  %98 = load i16, ptr %.0266330, align 2, !tbaa !13
  %99 = sext i16 %98 to i32
  %100 = mul nsw i32 %99, 22
  %101 = load i16, ptr %.0268329, align 2, !tbaa !13
  %102 = sext i16 %101 to i32
  %103 = mul nsw i32 %102, 6
  %104 = add nsw i32 %103, %100
  %105 = load i16, ptr %.0264331, align 2, !tbaa !13
  %106 = sext i16 %105 to i32
  %107 = shl nsw i32 %106, 2
  %108 = add nsw i32 %104, %107
  %109 = ashr i32 %108, 5
  %110 = call noundef i32 @_ZN10RangeCoder9DecodeBitILi12EEEii(ptr noundef nonnull align 8 dereferenceable(56) %3, i32 noundef %109)
  %.not294 = icmp eq i32 %110, 0
  br i1 %.not294, label %117, label %111

111:                                              ; preds = %.lr.ph334
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %.0268329, i32 noundef -370, i32 noundef 11)
  %112 = getelementptr inbounds i8, ptr %.0268329, i64 2
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %.0266330, i32 noundef 3, i32 noundef 308)
  %113 = getelementptr inbounds i8, ptr %.0266330, i64 2
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %.0264331, i32 noundef 135, i32 noundef 1364)
  %114 = getelementptr inbounds i8, ptr %.0264331, i64 2
  %115 = add nuw nsw i32 %.0260332, 1
  %116 = icmp eq i32 %115, %.2258
  br i1 %116, label %.loopexit307, label %.lr.ph334, !llvm.loop !15

117:                                              ; preds = %.lr.ph334
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %.0268329, i32 noundef -177, i32 noundef 23)
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %.0266330, i32 noundef -14, i32 noundef 271)
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %.0264331, i32 noundef -3, i32 noundef 788)
  br label %.loopexit307

.loopexit307:                                     ; preds = %111, %95, %117
  %.0260312 = phi i32 [ %.0260332, %117 ], [ 1, %95 ], [ %.2258, %111 ]
  %118 = trunc i32 %.0260312 to i8
  store i8 %118, ptr %74, align 1, !tbaa !5
  %119 = zext nneg i32 %.0260312 to i64
  %120 = getelementptr inbounds [8 x %"struct.QlfcStatisticalModel1::Rank::Mantissa"], ptr %62, i64 0, i64 %119
  %121 = getelementptr inbounds i8, ptr %120, i64 512
  %122 = getelementptr inbounds [256 x [256 x i16]], ptr %121, i64 0, i64 %78
  %123 = getelementptr inbounds i8, ptr %120, i64 131584
  %124 = getelementptr inbounds [256 x [256 x i16]], ptr %123, i64 0, i64 %73
  br label %125

125:                                              ; preds = %.loopexit307, %125
  %.0259.in337 = phi i32 [ %.0260312, %.loopexit307 ], [ %.0259, %125 ]
  %.0261336 = phi i32 [ 1, %.loopexit307 ], [ %143, %125 ]
  %.0259 = add nsw i32 %.0259.in337, -1
  %126 = sext i32 %.0261336 to i64
  %127 = getelementptr inbounds i16, ptr %124, i64 %126
  %128 = load i16, ptr %127, align 2, !tbaa !13
  %129 = sext i16 %128 to i32
  %130 = mul nsw i32 %129, 15
  %131 = getelementptr inbounds i16, ptr %122, i64 %126
  %132 = load i16, ptr %131, align 2, !tbaa !13
  %133 = sext i16 %132 to i32
  %134 = mul nsw i32 %133, 10
  %135 = add nsw i32 %134, %130
  %136 = getelementptr inbounds i16, ptr %120, i64 %126
  %137 = load i16, ptr %136, align 2, !tbaa !13
  %138 = sext i16 %137 to i32
  %139 = mul nsw i32 %138, 7
  %140 = add nsw i32 %135, %139
  %141 = ashr i32 %140, 5
  %142 = call noundef i32 @_ZN10RangeCoder9DecodeBitILi12EEEii(ptr noundef nonnull align 8 dereferenceable(56) %3, i32 noundef %141)
  call void @_ZN18ProbabilityCounter9UpdateBitEjRsiiii(i32 noundef %142, ptr noundef nonnull align 2 dereferenceable(2) %131, i32 noundef -254, i32 noundef 16, i32 noundef -177, i32 noundef 20)
  call void @_ZN18ProbabilityCounter9UpdateBitEjRsiiii(i32 noundef %142, ptr noundef nonnull align 2 dereferenceable(2) %127, i32 noundef -55, i32 noundef 73, i32 noundef -54, i32 noundef 74)
  call void @_ZN18ProbabilityCounter9UpdateBitEjRsiiii(i32 noundef %142, ptr noundef nonnull align 2 dereferenceable(2) %136, i32 noundef -6, i32 noundef 575, i32 noundef 1670, i32 noundef 1173)
  %reass.add299 = shl i32 %.0261336, 1
  %143 = add i32 %142, %reass.add299
  %144 = icmp sgt i32 %.0259.in337, 1
  br i1 %144, label %125, label %.loopexit306, !llvm.loop !16

.loopexit306.thread:                              ; preds = %82
  store i8 0, ptr %74, align 1, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %79, i32 noundef -116, i32 noundef 33)
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %80, i32 noundef -2, i32 noundef 282)
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %2, i32 noundef 4, i32 noundef 697)
  br label %.lr.ph340.preheader

.lr.ph.preheader:                                 ; preds = %71
  %145 = getelementptr inbounds [256 x [256 x i16]], ptr %56, i64 0, i64 %78
  %146 = getelementptr inbounds [256 x [256 x i16]], ptr %57, i64 0, i64 %73
  br label %.lr.ph

._crit_edge:                                      ; preds = %.lr.ph
  %147 = call range(i32 0, 33) i32 @llvm.ctlz.i32(i32 %168, i1 true)
  %148 = trunc nuw nsw i32 %147 to i8
  %149 = xor i8 %148, 31
  store i8 %149, ptr %74, align 1, !tbaa !5
  br label %.loopexit306

.lr.ph:                                           ; preds = %.lr.ph.preheader, %.lr.ph
  %.0254328 = phi i32 [ %169, %.lr.ph ], [ %.2258, %.lr.ph.preheader ]
  %.0255327 = phi i32 [ %167, %.lr.ph ], [ 1, %.lr.ph.preheader ]
  %.1262326 = phi i32 [ %168, %.lr.ph ], [ 0, %.lr.ph.preheader ]
  %150 = sext i32 %.0255327 to i64
  %151 = getelementptr inbounds i16, ptr %146, i64 %150
  %152 = load i16, ptr %151, align 2, !tbaa !13
  %153 = sext i16 %152 to i32
  %154 = shl nsw i32 %153, 4
  %155 = getelementptr inbounds i16, ptr %145, i64 %150
  %156 = load i16, ptr %155, align 2, !tbaa !13
  %157 = sext i16 %156 to i32
  %158 = mul nsw i32 %157, 11
  %159 = add nsw i32 %158, %154
  %160 = getelementptr inbounds i16, ptr %55, i64 %150
  %161 = load i16, ptr %160, align 2, !tbaa !13
  %162 = sext i16 %161 to i32
  %163 = mul nsw i32 %162, 5
  %164 = add nsw i32 %159, %163
  %165 = ashr i32 %164, 5
  %166 = call noundef i32 @_ZN10RangeCoder9DecodeBitILi12EEEii(ptr noundef nonnull align 8 dereferenceable(56) %3, i32 noundef %165)
  call void @_ZN18ProbabilityCounter9UpdateBitEjRsiiii(i32 noundef %166, ptr noundef nonnull align 2 dereferenceable(2) %155, i32 noundef -126, i32 noundef 32, i32 noundef -126, i32 noundef 32)
  call void @_ZN18ProbabilityCounter9UpdateBitEjRsiiii(i32 noundef %166, ptr noundef nonnull align 2 dereferenceable(2) %151, i32 noundef -33, i32 noundef 120, i32 noundef -25, i32 noundef 157)
  call void @_ZN18ProbabilityCounter9UpdateBitEjRsiiii(i32 noundef %166, ptr noundef nonnull align 2 dereferenceable(2) %160, i32 noundef -6, i32 noundef 585, i32 noundef 150, i32 noundef 275)
  %reass.add = shl i32 %.0255327, 1
  %167 = add i32 %166, %reass.add
  %reass.add292 = shl i32 %.1262326, 1
  %168 = add i32 %166, %reass.add292
  %169 = add nsw i32 %.0254328, -1
  %170 = icmp sgt i32 %.0254328, 0
  br i1 %170, label %.lr.ph, label %._crit_edge, !llvm.loop !17

.loopexit306:                                     ; preds = %125, %._crit_edge
  %.2263 = phi i32 [ %168, %._crit_edge ], [ %143, %125 ]
  %171 = icmp sgt i32 %.2263, 0
  br i1 %171, label %.lr.ph340.preheader, label %._crit_edge341

.lr.ph340.preheader:                              ; preds = %.loopexit306.thread, %.loopexit306
  %.2263408 = phi i32 [ 1, %.loopexit306.thread ], [ %.2263, %.loopexit306 ]
  %172 = zext nneg i32 %.2263408 to i64
  call void @llvm.memmove.p0.p0.i64(ptr noundef nonnull align 64 dereferenceable(1) %4, ptr noundef nonnull align 1 dereferenceable(1) %scevgep, i64 %172, i1 false), !tbaa !5
  br label %._crit_edge341

._crit_edge341:                                   ; preds = %.lr.ph340.preheader, %.loopexit306
  %.2263407 = phi i32 [ %.2263408, %.lr.ph340.preheader ], [ %.2263, %.loopexit306 ]
  %173 = sext i32 %.2263407 to i64
  %174 = getelementptr inbounds [256 x i8], ptr %4, i64 0, i64 %173
  store i8 %72, ptr %174, align 1, !tbaa !5
  %175 = mul nsw i32 %.0270363, 124
  %176 = shl nsw i32 %.2263407, 2
  %177 = add nsw i32 %176, %175
  %178 = ashr i32 %177, 7
  %179 = add nsw i32 %.2263407, -1
  %180 = getelementptr inbounds [256 x i8], ptr %6, i64 0, i64 %73
  %181 = load i8, ptr %180, align 1, !tbaa !5
  %182 = zext i8 %181 to i32
  %183 = call noundef i32 @_ZL15model_run_stateiiii(i32 noundef %.0366, i32 noundef %.0253364, i32 noundef %179, i32 noundef %182)
  %184 = sext i32 %183 to i64
  %185 = getelementptr inbounds [256 x i16], ptr %64, i64 0, i64 %184
  %186 = getelementptr inbounds [256 x i16], ptr %65, i64 0, i64 %73
  %187 = load i16, ptr %186, align 2, !tbaa !13
  %188 = sext i16 %187 to i32
  %189 = mul nsw i32 %188, 14
  %190 = load i16, ptr %185, align 2, !tbaa !13
  %191 = sext i16 %190 to i32
  %192 = mul nsw i32 %191, 18
  %193 = add nsw i32 %192, %189
  %194 = ashr i32 %193, 5
  %195 = call noundef i32 @_ZN10RangeCoder9DecodeBitILi12EEEii(ptr noundef nonnull align 8 dereferenceable(56) %3, i32 noundef %194)
  %.not295 = icmp eq i32 %195, 0
  br i1 %.not295, label %264, label %196

196:                                              ; preds = %._crit_edge341
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %185, i32 noundef -112, i32 noundef 36)
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %186, i32 noundef -13, i32 noundef 231)
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %63, i32 noundef 0, i32 noundef 0)
  %197 = getelementptr inbounds [256 x [32 x i16]], ptr %67, i64 0, i64 %184
  %198 = getelementptr inbounds [256 x [32 x i16]], ptr %68, i64 0, i64 %73
  %199 = load i16, ptr %198, align 2, !tbaa !13
  %200 = sext i16 %199 to i32
  %201 = mul nsw i32 %200, 14
  %202 = load i16, ptr %197, align 2, !tbaa !13
  %203 = sext i16 %202 to i32
  %204 = mul nsw i32 %203, 15
  %205 = add nsw i32 %204, %201
  %206 = load i16, ptr %66, align 2, !tbaa !13
  %207 = sext i16 %206 to i32
  %208 = mul nsw i32 %207, 3
  %209 = add nsw i32 %205, %208
  %210 = ashr i32 %209, 5
  %211 = call noundef i32 @_ZN10RangeCoder9DecodeBitILi12EEEii(ptr noundef nonnull align 8 dereferenceable(56) %3, i32 noundef %210)
  %.not296342 = icmp eq i32 %211, 0
  br i1 %.not296342, label %._crit_edge349, label %.lr.ph348

.lr.ph348:                                        ; preds = %196, %.lr.ph348
  %.0249346 = phi i32 [ %215, %.lr.ph348 ], [ 1, %196 ]
  %.1265345 = phi ptr [ %214, %.lr.ph348 ], [ %66, %196 ]
  %.1267344 = phi ptr [ %213, %.lr.ph348 ], [ %198, %196 ]
  %.1269343 = phi ptr [ %212, %.lr.ph348 ], [ %197, %196 ]
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %.1269343, i32 noundef -92, i32 noundef 44)
  %212 = getelementptr inbounds i8, ptr %.1269343, i64 2
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %.1267344, i32 noundef -11, i32 noundef 341)
  %213 = getelementptr inbounds i8, ptr %.1267344, i64 2
  call void @_ZN18ProbabilityCounter10UpdateBit1ERsii(ptr noundef nonnull align 2 dereferenceable(2) %.1265345, i32 noundef -4, i32 noundef 765)
  %214 = getelementptr inbounds i8, ptr %.1265345, i64 2
  %215 = add nuw nsw i32 %.0249346, 1
  %216 = load i16, ptr %213, align 2, !tbaa !13
  %217 = sext i16 %216 to i32
  %218 = mul nsw i32 %217, 14
  %219 = load i16, ptr %212, align 2, !tbaa !13
  %220 = sext i16 %219 to i32
  %221 = mul nsw i32 %220, 15
  %222 = add nsw i32 %221, %218
  %223 = load i16, ptr %214, align 2, !tbaa !13
  %224 = sext i16 %223 to i32
  %225 = mul nsw i32 %224, 3
  %226 = add nsw i32 %222, %225
  %227 = ashr i32 %226, 5
  %228 = call noundef i32 @_ZN10RangeCoder9DecodeBitILi12EEEii(ptr noundef nonnull align 8 dereferenceable(56) %3, i32 noundef %227)
  %.not296 = icmp eq i32 %228, 0
  br i1 %.not296, label %._crit_edge349, label %.lr.ph348, !llvm.loop !18

._crit_edge349:                                   ; preds = %.lr.ph348, %196
  %.1269.lcssa = phi ptr [ %197, %196 ], [ %212, %.lr.ph348 ]
  %.1267.lcssa = phi ptr [ %198, %196 ], [ %213, %.lr.ph348 ]
  %.1265.lcssa = phi ptr [ %66, %196 ], [ %214, %.lr.ph348 ]
  %.0249.lcssa = phi i32 [ 1, %196 ], [ %215, %.lr.ph348 ]
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %.1269.lcssa, i32 noundef -90, i32 noundef 45)
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %.1267.lcssa, i32 noundef -3, i32 noundef 325)
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %.1265.lcssa, i32 noundef 24, i32 noundef 887)
  %229 = mul nuw nsw i32 %.0249.lcssa, 3
  %230 = add nuw nsw i32 %182, 3
  %231 = add nuw nsw i32 %230, %229
  %232 = lshr i32 %231, 2
  %233 = trunc i32 %232 to i8
  store i8 %233, ptr %180, align 1, !tbaa !5
  %234 = zext nneg i32 %.0249.lcssa to i64
  %235 = getelementptr inbounds [32 x %"struct.QlfcStatisticalModel1::Run::Mantissa"], ptr %69, i64 0, i64 %234
  %236 = getelementptr inbounds i8, ptr %235, i64 64
  %237 = getelementptr inbounds [256 x [32 x i16]], ptr %236, i64 0, i64 %184
  %238 = getelementptr inbounds i8, ptr %235, i64 16448
  %239 = getelementptr inbounds [256 x [32 x i16]], ptr %238, i64 0, i64 %73
  %240 = icmp ult i32 %.0249.lcssa, 6
  br label %241

241:                                              ; preds = %._crit_edge349, %241
  %.0247.in356 = phi i32 [ %.0249.lcssa, %._crit_edge349 ], [ %.0247, %241 ]
  %.0248355 = phi i32 [ 1, %._crit_edge349 ], [ %.1, %241 ]
  %.0250354 = phi i32 [ 1, %._crit_edge349 ], [ %259, %241 ]
  %.0247 = add nsw i32 %.0247.in356, -1
  %242 = sext i32 %.0248355 to i64
  %243 = getelementptr inbounds i16, ptr %239, i64 %242
  %244 = load i16, ptr %243, align 2, !tbaa !13
  %245 = sext i16 %244 to i32
  %246 = mul nsw i32 %245, 7
  %247 = getelementptr inbounds i16, ptr %237, i64 %242
  %248 = load i16, ptr %247, align 2, !tbaa !13
  %249 = sext i16 %248 to i32
  %250 = mul nsw i32 %249, 15
  %251 = add nsw i32 %250, %246
  %252 = getelementptr inbounds i16, ptr %235, i64 %242
  %253 = load i16, ptr %252, align 2, !tbaa !13
  %254 = sext i16 %253 to i32
  %255 = mul nsw i32 %254, 10
  %256 = add nsw i32 %251, %255
  %257 = ashr i32 %256, 5
  %258 = call noundef i32 @_ZN10RangeCoder9DecodeBitILi12EEEii(ptr noundef nonnull align 8 dereferenceable(56) %3, i32 noundef %257)
  call void @_ZN18ProbabilityCounter9UpdateBitEjRsiiii(i32 noundef %258, ptr noundef nonnull align 2 dereferenceable(2) %247, i32 noundef -275, i32 noundef 14, i32 noundef -185, i32 noundef 22)
  call void @_ZN18ProbabilityCounter9UpdateBitEjRsiiii(i32 noundef %258, ptr noundef nonnull align 2 dereferenceable(2) %243, i32 noundef -18, i32 noundef 191, i32 noundef -15, i32 noundef 241)
  call void @_ZN18ProbabilityCounter9UpdateBitEjRsiiii(i32 noundef %258, ptr noundef nonnull align 2 dereferenceable(2) %252, i32 noundef -73, i32 noundef 54, i32 noundef -214, i32 noundef 19)
  %reass.add298 = shl i32 %.0250354, 1
  %259 = add i32 %258, %reass.add298
  %260 = add nsw i32 %.0248355, 1
  %261 = shl nsw i32 %.0248355, 1
  %262 = add i32 %258, %261
  %.1 = select i1 %240, i32 %262, i32 %260
  %263 = icmp sgt i32 %.0247.in356, 1
  br i1 %263, label %241, label %.loopexit305, !llvm.loop !19

264:                                              ; preds = %._crit_edge341
  %265 = zext i8 %181 to i16
  %266 = add nuw nsw i16 %265, 2
  %267 = lshr i16 %266, 2
  %268 = trunc nuw nsw i16 %267 to i8
  store i8 %268, ptr %180, align 1, !tbaa !5
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %185, i32 noundef -68, i32 noundef 38)
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %186, i32 noundef -4, i32 noundef 221)
  call void @_ZN18ProbabilityCounter10UpdateBit0ERsii(ptr noundef nonnull align 2 dereferenceable(2) %63, i32 noundef 0, i32 noundef 0)
  br label %.loopexit305

.loopexit305:                                     ; preds = %241, %264
  %.1251 = phi i32 [ 1, %264 ], [ %259, %241 ]
  %269 = shl nuw nsw i32 %.0366, 1
  %270 = icmp eq i32 %179, 0
  %271 = zext i1 %270 to i32
  %.masked = and i32 %269, 6
  %272 = or disjoint i32 %.masked, %271
  %273 = shl nuw nsw i32 %.0246365, 2
  %274 = call i32 @llvm.smin.i32(i32 %179, i32 3)
  %275 = or i32 %274, %273
  %276 = and i32 %275, 255
  %277 = shl nuw nsw i32 %.0253364, 1
  %278 = icmp slt i32 %.1251, 3
  %279 = zext i1 %278 to i32
  %.masked297 = and i32 %277, 14
  %280 = or disjoint i32 %.masked297, %279
  %281 = icmp sgt i32 %.1251, 0
  br i1 %281, label %.lr.ph360.preheader, label %.loopexit

.lr.ph360.preheader:                              ; preds = %.loopexit305
  %282 = sext i32 %.0271362 to i64
  %scevgep393 = getelementptr i8, ptr %1, i64 %282
  %283 = zext nneg i32 %.1251 to i64
  call void @llvm.memset.p0.i64(ptr align 1 %scevgep393, i8 %72, i64 %283, i1 false), !tbaa !5
  %284 = add i32 %.0271362, %.1251
  br label %.loopexit
}

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.smin.i32(i32, i32) #6

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #7

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memmove.p0.p0.i64(ptr nocapture writeonly, ptr nocapture readonly, i64, i1 immarg) #8

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #3 = { inlinehint mustprogress 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 #4 = { inlinehint mustprogress 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 #5 = { mustprogress 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 #6 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #7 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #8 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #9 = { 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 = !{!"omnipotent char", !7, i64 0}
!7 = !{!"Simple C++ TBAA"}
!8 = distinct !{!8, !9}
!9 = !{!"llvm.loop.mustprogress"}
!10 = distinct !{!10, !9}
!11 = distinct !{!11, !9}
!12 = distinct !{!12, !9}
!13 = !{!14, !14, i64 0}
!14 = !{!"short", !6, i64 0}
!15 = distinct !{!15, !9}
!16 = distinct !{!16, !9}
!17 = distinct !{!17, !9}
!18 = distinct !{!18, !9}
!19 = distinct !{!19, !9}


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