; LLVM IR from gem5/gem5 :: ext/softfloat (s_mulAddF64)

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

%struct.float64_t = type { i64 }
%struct.exp16_sig64 = type { i64, i64 }
%union.ui64_f64 = type { i64 }

@softfloat_roundingMode = external global i8, align 1

; Function Attrs: nounwind uwtable
define dso_local i64 @softfloat_mulAddF64(i64 noundef %0, i64 noundef %1, i64 noundef %2, i8 noundef zeroext %3) #0 {
  %5 = alloca %struct.float64_t, align 8
  %6 = alloca i64, align 8
  %7 = alloca i64, align 8
  %8 = alloca i64, align 8
  %9 = alloca i8, align 1
  %10 = alloca i8, align 1
  %11 = alloca i64, align 8
  %12 = alloca i64, align 8
  %13 = alloca i8, align 1
  %14 = alloca i64, align 8
  %15 = alloca i64, align 8
  %16 = alloca i8, align 1
  %17 = alloca i64, align 8
  %18 = alloca i64, align 8
  %19 = alloca i8, align 1
  %20 = alloca i64, align 8
  %21 = alloca i64, align 8
  %22 = alloca %struct.exp16_sig64, align 8
  %23 = alloca i64, align 8
  %24 = alloca [4 x i32], align 16
  %25 = alloca i64, align 8
  %26 = alloca i64, align 8
  %27 = alloca i64, align 8
  %28 = alloca [4 x i32], align 16
  %29 = alloca %union.ui64_f64, align 8
  %30 = alloca %struct.exp16_sig64, align 8
  %31 = alloca %struct.exp16_sig64, align 8
  %32 = alloca %struct.exp16_sig64, align 8
  %33 = alloca i32, align 4
  store i64 %0, ptr %6, align 8, !tbaa !5
  store i64 %1, ptr %7, align 8, !tbaa !5
  store i64 %2, ptr %8, align 8, !tbaa !5
  store i8 %3, ptr %9, align 1, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %10) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #5
  call void @llvm.lifetime.start.p0(i64 1, ptr %13) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #5
  call void @llvm.lifetime.start.p0(i64 1, ptr %16) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #5
  call void @llvm.lifetime.start.p0(i64 1, ptr %19) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr %22) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr %24) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr %28) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #5
  %34 = load i64, ptr %6, align 8, !tbaa !5
  %35 = lshr i64 %34, 63
  %36 = icmp ne i64 %35, 0
  %37 = zext i1 %36 to i8
  store i8 %37, ptr %10, align 1, !tbaa !10
  %38 = load i64, ptr %6, align 8, !tbaa !5
  %39 = lshr i64 %38, 52
  %40 = and i64 %39, 2047
  store i64 %40, ptr %11, align 8, !tbaa !5
  %41 = load i64, ptr %6, align 8, !tbaa !5
  %42 = and i64 %41, 4503599627370495
  store i64 %42, ptr %12, align 8, !tbaa !5
  %43 = load i64, ptr %7, align 8, !tbaa !5
  %44 = lshr i64 %43, 63
  %45 = icmp ne i64 %44, 0
  %46 = zext i1 %45 to i8
  store i8 %46, ptr %13, align 1, !tbaa !10
  %47 = load i64, ptr %7, align 8, !tbaa !5
  %48 = lshr i64 %47, 52
  %49 = and i64 %48, 2047
  store i64 %49, ptr %14, align 8, !tbaa !5
  %50 = load i64, ptr %7, align 8, !tbaa !5
  %51 = and i64 %50, 4503599627370495
  store i64 %51, ptr %15, align 8, !tbaa !5
  %52 = load i64, ptr %8, align 8, !tbaa !5
  %53 = lshr i64 %52, 63
  %54 = icmp ne i64 %53, 0
  %55 = zext i1 %54 to i32
  %56 = load i8, ptr %9, align 1, !tbaa !9
  %57 = zext i8 %56 to i32
  %58 = icmp eq i32 %57, 1
  %59 = zext i1 %58 to i32
  %60 = xor i32 %55, %59
  %61 = icmp ne i32 %60, 0
  %62 = zext i1 %61 to i8
  store i8 %62, ptr %16, align 1, !tbaa !10
  %63 = load i64, ptr %8, align 8, !tbaa !5
  %64 = lshr i64 %63, 52
  %65 = and i64 %64, 2047
  store i64 %65, ptr %17, align 8, !tbaa !5
  %66 = load i64, ptr %8, align 8, !tbaa !5
  %67 = and i64 %66, 4503599627370495
  store i64 %67, ptr %18, align 8, !tbaa !5
  %68 = load i8, ptr %10, align 1, !tbaa !10, !range !12, !noundef !13
  %69 = trunc i8 %68 to i1
  %70 = zext i1 %69 to i32
  %71 = load i8, ptr %13, align 1, !tbaa !10, !range !12, !noundef !13
  %72 = trunc i8 %71 to i1
  %73 = zext i1 %72 to i32
  %74 = xor i32 %70, %73
  %75 = load i8, ptr %9, align 1, !tbaa !9
  %76 = zext i8 %75 to i32
  %77 = icmp eq i32 %76, 2
  %78 = zext i1 %77 to i32
  %79 = xor i32 %74, %78
  %80 = icmp ne i32 %79, 0
  %81 = zext i1 %80 to i8
  store i8 %81, ptr %19, align 1, !tbaa !10
  %82 = load i64, ptr %11, align 8, !tbaa !5
  %83 = icmp eq i64 %82, 2047
  br i1 %83, label %84, label %98

84:                                               ; preds = %4
  %85 = load i64, ptr %12, align 8, !tbaa !5
  %86 = icmp ne i64 %85, 0
  br i1 %86, label %93, label %87

87:                                               ; preds = %84
  %88 = load i64, ptr %14, align 8, !tbaa !5
  %89 = icmp eq i64 %88, 2047
  br i1 %89, label %90, label %94

90:                                               ; preds = %87
  %91 = load i64, ptr %15, align 8, !tbaa !5
  %92 = icmp ne i64 %91, 0
  br i1 %92, label %93, label %94

93:                                               ; preds = %90, %84
  br label %495

94:                                               ; preds = %90, %87
  %95 = load i64, ptr %14, align 8, !tbaa !5
  %96 = load i64, ptr %15, align 8, !tbaa !5
  %97 = or i64 %95, %96
  store i64 %97, ptr %20, align 8, !tbaa !5
  br label %499

98:                                               ; preds = %4
  %99 = load i64, ptr %14, align 8, !tbaa !5
  %100 = icmp eq i64 %99, 2047
  br i1 %100, label %101, label %109

101:                                              ; preds = %98
  %102 = load i64, ptr %15, align 8, !tbaa !5
  %103 = icmp ne i64 %102, 0
  br i1 %103, label %104, label %105

104:                                              ; preds = %101
  br label %495

105:                                              ; preds = %101
  %106 = load i64, ptr %11, align 8, !tbaa !5
  %107 = load i64, ptr %12, align 8, !tbaa !5
  %108 = or i64 %106, %107
  store i64 %108, ptr %20, align 8, !tbaa !5
  br label %499

109:                                              ; preds = %98
  %110 = load i64, ptr %17, align 8, !tbaa !5
  %111 = icmp eq i64 %110, 2047
  br i1 %111, label %112, label %118

112:                                              ; preds = %109
  %113 = load i64, ptr %18, align 8, !tbaa !5
  %114 = icmp ne i64 %113, 0
  br i1 %114, label %115, label %116

115:                                              ; preds = %112
  store i64 0, ptr %21, align 8, !tbaa !5
  br label %527

116:                                              ; preds = %112
  %117 = load i64, ptr %8, align 8, !tbaa !5
  store i64 %117, ptr %21, align 8, !tbaa !5
  br label %556

118:                                              ; preds = %109
  %119 = load i64, ptr %11, align 8, !tbaa !5
  %120 = icmp ne i64 %119, 0
  br i1 %120, label %136, label %121

121:                                              ; preds = %118
  %122 = load i64, ptr %12, align 8, !tbaa !5
  %123 = icmp ne i64 %122, 0
  br i1 %123, label %125, label %124

124:                                              ; preds = %121
  br label %531

125:                                              ; preds = %121
  call void @llvm.lifetime.start.p0(i64 16, ptr %30) #5
  %126 = load i64, ptr %12, align 8, !tbaa !5
  %127 = call { i64, i64 } @softfloat_normSubnormalF64Sig(i64 noundef %126)
  %128 = getelementptr inbounds { i64, i64 }, ptr %30, i32 0, i32 0
  %129 = extractvalue { i64, i64 } %127, 0
  store i64 %129, ptr %128, align 8
  %130 = getelementptr inbounds { i64, i64 }, ptr %30, i32 0, i32 1
  %131 = extractvalue { i64, i64 } %127, 1
  store i64 %131, ptr %130, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %22, ptr align 8 %30, i64 16, i1 false), !tbaa.struct !14
  call void @llvm.lifetime.end.p0(i64 16, ptr %30) #5
  %132 = getelementptr inbounds %struct.exp16_sig64, ptr %22, i32 0, i32 0
  %133 = load i64, ptr %132, align 8, !tbaa !15
  store i64 %133, ptr %11, align 8, !tbaa !5
  %134 = getelementptr inbounds %struct.exp16_sig64, ptr %22, i32 0, i32 1
  %135 = load i64, ptr %134, align 8, !tbaa !17
  store i64 %135, ptr %12, align 8, !tbaa !5
  br label %136

136:                                              ; preds = %125, %118
  %137 = load i64, ptr %14, align 8, !tbaa !5
  %138 = icmp ne i64 %137, 0
  br i1 %138, label %154, label %139

139:                                              ; preds = %136
  %140 = load i64, ptr %15, align 8, !tbaa !5
  %141 = icmp ne i64 %140, 0
  br i1 %141, label %143, label %142

142:                                              ; preds = %139
  br label %531

143:                                              ; preds = %139
  call void @llvm.lifetime.start.p0(i64 16, ptr %31) #5
  %144 = load i64, ptr %15, align 8, !tbaa !5
  %145 = call { i64, i64 } @softfloat_normSubnormalF64Sig(i64 noundef %144)
  %146 = getelementptr inbounds { i64, i64 }, ptr %31, i32 0, i32 0
  %147 = extractvalue { i64, i64 } %145, 0
  store i64 %147, ptr %146, align 8
  %148 = getelementptr inbounds { i64, i64 }, ptr %31, i32 0, i32 1
  %149 = extractvalue { i64, i64 } %145, 1
  store i64 %149, ptr %148, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %22, ptr align 8 %31, i64 16, i1 false), !tbaa.struct !14
  call void @llvm.lifetime.end.p0(i64 16, ptr %31) #5
  %150 = getelementptr inbounds %struct.exp16_sig64, ptr %22, i32 0, i32 0
  %151 = load i64, ptr %150, align 8, !tbaa !15
  store i64 %151, ptr %14, align 8, !tbaa !5
  %152 = getelementptr inbounds %struct.exp16_sig64, ptr %22, i32 0, i32 1
  %153 = load i64, ptr %152, align 8, !tbaa !17
  store i64 %153, ptr %15, align 8, !tbaa !5
  br label %154

154:                                              ; preds = %143, %136
  %155 = load i64, ptr %11, align 8, !tbaa !5
  %156 = load i64, ptr %14, align 8, !tbaa !5
  %157 = add nsw i64 %155, %156
  %158 = sub nsw i64 %157, 1022
  store i64 %158, ptr %23, align 8, !tbaa !5
  %159 = load i64, ptr %12, align 8, !tbaa !5
  %160 = or i64 %159, 4503599627370496
  %161 = shl i64 %160, 10
  store i64 %161, ptr %12, align 8, !tbaa !5
  %162 = load i64, ptr %15, align 8, !tbaa !5
  %163 = or i64 %162, 4503599627370496
  %164 = shl i64 %163, 11
  store i64 %164, ptr %15, align 8, !tbaa !5
  %165 = load i64, ptr %12, align 8, !tbaa !5
  %166 = load i64, ptr %15, align 8, !tbaa !5
  %167 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 0
  call void @softfloat_mul64To128M(i64 noundef %165, i64 noundef %166, ptr noundef %167)
  %168 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 3
  %169 = load i32, ptr %168, align 4, !tbaa !18
  %170 = zext i32 %169 to i64
  %171 = shl i64 %170, 32
  %172 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 2
  %173 = load i32, ptr %172, align 8, !tbaa !18
  %174 = zext i32 %173 to i64
  %175 = or i64 %171, %174
  store i64 %175, ptr %25, align 8, !tbaa !5
  store i64 0, ptr %26, align 8, !tbaa !5
  %176 = load i64, ptr %25, align 8, !tbaa !5
  %177 = and i64 %176, 4611686018427387904
  %178 = icmp ne i64 %177, 0
  br i1 %178, label %182, label %179

179:                                              ; preds = %154
  %180 = load i64, ptr %23, align 8, !tbaa !5
  %181 = add nsw i64 %180, -1
  store i64 %181, ptr %23, align 8, !tbaa !5
  store i64 -1, ptr %26, align 8, !tbaa !5
  br label %182

182:                                              ; preds = %179, %154
  %183 = load i64, ptr %17, align 8, !tbaa !5
  %184 = icmp ne i64 %183, 0
  br i1 %184, label %206, label %185

185:                                              ; preds = %182
  %186 = load i64, ptr %18, align 8, !tbaa !5
  %187 = icmp ne i64 %186, 0
  br i1 %187, label %195, label %188

188:                                              ; preds = %185
  %189 = load i64, ptr %26, align 8, !tbaa !5
  %190 = icmp ne i64 %189, 0
  br i1 %190, label %191, label %194

191:                                              ; preds = %188
  %192 = load i64, ptr %25, align 8, !tbaa !5
  %193 = shl i64 %192, 1
  store i64 %193, ptr %25, align 8, !tbaa !5
  br label %194

194:                                              ; preds = %191, %188
  br label %475

195:                                              ; preds = %185
  call void @llvm.lifetime.start.p0(i64 16, ptr %32) #5
  %196 = load i64, ptr %18, align 8, !tbaa !5
  %197 = call { i64, i64 } @softfloat_normSubnormalF64Sig(i64 noundef %196)
  %198 = getelementptr inbounds { i64, i64 }, ptr %32, i32 0, i32 0
  %199 = extractvalue { i64, i64 } %197, 0
  store i64 %199, ptr %198, align 8
  %200 = getelementptr inbounds { i64, i64 }, ptr %32, i32 0, i32 1
  %201 = extractvalue { i64, i64 } %197, 1
  store i64 %201, ptr %200, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %22, ptr align 8 %32, i64 16, i1 false), !tbaa.struct !14
  call void @llvm.lifetime.end.p0(i64 16, ptr %32) #5
  %202 = getelementptr inbounds %struct.exp16_sig64, ptr %22, i32 0, i32 0
  %203 = load i64, ptr %202, align 8, !tbaa !15
  store i64 %203, ptr %17, align 8, !tbaa !5
  %204 = getelementptr inbounds %struct.exp16_sig64, ptr %22, i32 0, i32 1
  %205 = load i64, ptr %204, align 8, !tbaa !17
  store i64 %205, ptr %18, align 8, !tbaa !5
  br label %206

206:                                              ; preds = %195, %182
  %207 = load i64, ptr %18, align 8, !tbaa !5
  %208 = or i64 %207, 4503599627370496
  %209 = shl i64 %208, 10
  store i64 %209, ptr %18, align 8, !tbaa !5
  %210 = load i64, ptr %23, align 8, !tbaa !5
  %211 = load i64, ptr %17, align 8, !tbaa !5
  %212 = sub nsw i64 %210, %211
  store i64 %212, ptr %27, align 8, !tbaa !5
  %213 = load i64, ptr %27, align 8, !tbaa !5
  %214 = icmp slt i64 %213, 0
  br i1 %214, label %215, label %246

215:                                              ; preds = %206
  %216 = load i64, ptr %17, align 8, !tbaa !5
  store i64 %216, ptr %23, align 8, !tbaa !5
  %217 = load i8, ptr %19, align 1, !tbaa !10, !range !12, !noundef !13
  %218 = trunc i8 %217 to i1
  %219 = zext i1 %218 to i32
  %220 = load i8, ptr %16, align 1, !tbaa !10, !range !12, !noundef !13
  %221 = trunc i8 %220 to i1
  %222 = zext i1 %221 to i32
  %223 = icmp eq i32 %219, %222
  br i1 %223, label %227, label %224

224:                                              ; preds = %215
  %225 = load i64, ptr %27, align 8, !tbaa !5
  %226 = icmp slt i64 %225, -1
  br i1 %226, label %227, label %238

227:                                              ; preds = %224, %215
  %228 = load i64, ptr %27, align 8, !tbaa !5
  %229 = load i64, ptr %26, align 8, !tbaa !5
  %230 = sub nsw i64 %229, %228
  store i64 %230, ptr %26, align 8, !tbaa !5
  %231 = load i64, ptr %26, align 8, !tbaa !5
  %232 = icmp ne i64 %231, 0
  br i1 %232, label %233, label %237

233:                                              ; preds = %227
  %234 = load i64, ptr %25, align 8, !tbaa !5
  %235 = load i64, ptr %26, align 8, !tbaa !5
  %236 = call i64 @softfloat_shiftRightJam64(i64 noundef %234, i64 noundef %235)
  store i64 %236, ptr %25, align 8, !tbaa !5
  br label %237

237:                                              ; preds = %233, %227
  br label %245

238:                                              ; preds = %224
  %239 = load i64, ptr %26, align 8, !tbaa !5
  %240 = icmp ne i64 %239, 0
  br i1 %240, label %244, label %241

241:                                              ; preds = %238
  %242 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 0
  %243 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 0
  call void @softfloat_shortShiftRightM(i8 noundef zeroext 4, ptr noundef %242, i8 noundef zeroext 1, ptr noundef %243)
  br label %244

244:                                              ; preds = %241, %238
  br label %245

245:                                              ; preds = %244, %237
  br label %280

246:                                              ; preds = %206
  %247 = load i64, ptr %26, align 8, !tbaa !5
  %248 = icmp ne i64 %247, 0
  br i1 %248, label %249, label %253

249:                                              ; preds = %246
  %250 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 0
  %251 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 0
  %252 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 0
  call void @softfloat_addM(i8 noundef zeroext 4, ptr noundef %250, ptr noundef %251, ptr noundef %252)
  br label %253

253:                                              ; preds = %249, %246
  %254 = load i64, ptr %27, align 8, !tbaa !5
  %255 = icmp ne i64 %254, 0
  br i1 %255, label %265, label %256

256:                                              ; preds = %253
  %257 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 3
  %258 = load i32, ptr %257, align 4, !tbaa !18
  %259 = zext i32 %258 to i64
  %260 = shl i64 %259, 32
  %261 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 2
  %262 = load i32, ptr %261, align 8, !tbaa !18
  %263 = zext i32 %262 to i64
  %264 = or i64 %260, %263
  store i64 %264, ptr %25, align 8, !tbaa !5
  br label %279

265:                                              ; preds = %253
  %266 = load i64, ptr %18, align 8, !tbaa !5
  %267 = lshr i64 %266, 32
  %268 = trunc i64 %267 to i32
  %269 = getelementptr inbounds [4 x i32], ptr %28, i64 0, i64 3
  store i32 %268, ptr %269, align 4, !tbaa !18
  %270 = load i64, ptr %18, align 8, !tbaa !5
  %271 = trunc i64 %270 to i32
  %272 = getelementptr inbounds [4 x i32], ptr %28, i64 0, i64 2
  store i32 %271, ptr %272, align 8, !tbaa !18
  %273 = getelementptr inbounds [4 x i32], ptr %28, i64 0, i64 1
  store i32 0, ptr %273, align 4, !tbaa !18
  %274 = getelementptr inbounds [4 x i32], ptr %28, i64 0, i64 0
  store i32 0, ptr %274, align 16, !tbaa !18
  %275 = getelementptr inbounds [4 x i32], ptr %28, i64 0, i64 0
  %276 = load i64, ptr %27, align 8, !tbaa !5
  %277 = trunc i64 %276 to i32
  %278 = getelementptr inbounds [4 x i32], ptr %28, i64 0, i64 0
  call void @softfloat_shiftRightJamM(i8 noundef zeroext 4, ptr noundef %275, i32 noundef %277, ptr noundef %278)
  br label %279

279:                                              ; preds = %265, %256
  br label %280

280:                                              ; preds = %279, %245
  %281 = load i8, ptr %19, align 1, !tbaa !10, !range !12, !noundef !13
  %282 = trunc i8 %281 to i1
  %283 = zext i1 %282 to i32
  %284 = load i8, ptr %16, align 1, !tbaa !10, !range !12, !noundef !13
  %285 = trunc i8 %284 to i1
  %286 = zext i1 %285 to i32
  %287 = icmp eq i32 %283, %286
  br i1 %287, label %288, label %317

288:                                              ; preds = %280
  %289 = load i64, ptr %27, align 8, !tbaa !5
  %290 = icmp sle i64 %289, 0
  br i1 %290, label %291, label %295

291:                                              ; preds = %288
  %292 = load i64, ptr %18, align 8, !tbaa !5
  %293 = load i64, ptr %25, align 8, !tbaa !5
  %294 = add i64 %293, %292
  store i64 %294, ptr %25, align 8, !tbaa !5
  br label %307

295:                                              ; preds = %288
  %296 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 0
  %297 = getelementptr inbounds [4 x i32], ptr %28, i64 0, i64 0
  %298 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 0
  call void @softfloat_addM(i8 noundef zeroext 4, ptr noundef %296, ptr noundef %297, ptr noundef %298)
  %299 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 3
  %300 = load i32, ptr %299, align 4, !tbaa !18
  %301 = zext i32 %300 to i64
  %302 = shl i64 %301, 32
  %303 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 2
  %304 = load i32, ptr %303, align 8, !tbaa !18
  %305 = zext i32 %304 to i64
  %306 = or i64 %302, %305
  store i64 %306, ptr %25, align 8, !tbaa !5
  br label %307

307:                                              ; preds = %295, %291
  %308 = load i64, ptr %25, align 8, !tbaa !5
  %309 = and i64 %308, -9223372036854775808
  %310 = icmp ne i64 %309, 0
  br i1 %310, label %311, label %316

311:                                              ; preds = %307
  %312 = load i64, ptr %23, align 8, !tbaa !5
  %313 = add nsw i64 %312, 1
  store i64 %313, ptr %23, align 8, !tbaa !5
  %314 = load i64, ptr %25, align 8, !tbaa !5
  %315 = call i64 @softfloat_shortShiftRightJam64(i64 noundef %314, i8 noundef zeroext 1)
  store i64 %315, ptr %25, align 8, !tbaa !5
  br label %316

316:                                              ; preds = %311, %307
  br label %474

317:                                              ; preds = %280
  %318 = load i64, ptr %27, align 8, !tbaa !5
  %319 = icmp slt i64 %318, 0
  br i1 %319, label %320, label %365

320:                                              ; preds = %317
  %321 = load i8, ptr %16, align 1, !tbaa !10, !range !12, !noundef !13
  %322 = trunc i8 %321 to i1
  %323 = zext i1 %322 to i8
  store i8 %323, ptr %19, align 1, !tbaa !10
  %324 = load i64, ptr %27, align 8, !tbaa !5
  %325 = icmp slt i64 %324, -1
  br i1 %325, label %326, label %351

326:                                              ; preds = %320
  %327 = load i64, ptr %18, align 8, !tbaa !5
  %328 = load i64, ptr %25, align 8, !tbaa !5
  %329 = sub i64 %327, %328
  store i64 %329, ptr %25, align 8, !tbaa !5
  %330 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 1
  %331 = load i32, ptr %330, align 4, !tbaa !18
  %332 = icmp ne i32 %331, 0
  br i1 %332, label %337, label %333

333:                                              ; preds = %326
  %334 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 0
  %335 = load i32, ptr %334, align 16, !tbaa !18
  %336 = icmp ne i32 %335, 0
  br i1 %336, label %337, label %341

337:                                              ; preds = %333, %326
  %338 = load i64, ptr %25, align 8, !tbaa !5
  %339 = sub i64 %338, 1
  %340 = or i64 %339, 1
  store i64 %340, ptr %25, align 8, !tbaa !5
  br label %341

341:                                              ; preds = %337, %333
  %342 = load i64, ptr %25, align 8, !tbaa !5
  %343 = and i64 %342, 4611686018427387904
  %344 = icmp ne i64 %343, 0
  br i1 %344, label %350, label %345

345:                                              ; preds = %341
  %346 = load i64, ptr %23, align 8, !tbaa !5
  %347 = add nsw i64 %346, -1
  store i64 %347, ptr %23, align 8, !tbaa !5
  %348 = load i64, ptr %25, align 8, !tbaa !5
  %349 = shl i64 %348, 1
  store i64 %349, ptr %25, align 8, !tbaa !5
  br label %350

350:                                              ; preds = %345, %341
  br label %487

351:                                              ; preds = %320
  %352 = load i64, ptr %18, align 8, !tbaa !5
  %353 = lshr i64 %352, 32
  %354 = trunc i64 %353 to i32
  %355 = getelementptr inbounds [4 x i32], ptr %28, i64 0, i64 3
  store i32 %354, ptr %355, align 4, !tbaa !18
  %356 = load i64, ptr %18, align 8, !tbaa !5
  %357 = trunc i64 %356 to i32
  %358 = getelementptr inbounds [4 x i32], ptr %28, i64 0, i64 2
  store i32 %357, ptr %358, align 8, !tbaa !18
  %359 = getelementptr inbounds [4 x i32], ptr %28, i64 0, i64 1
  store i32 0, ptr %359, align 4, !tbaa !18
  %360 = getelementptr inbounds [4 x i32], ptr %28, i64 0, i64 0
  store i32 0, ptr %360, align 16, !tbaa !18
  %361 = getelementptr inbounds [4 x i32], ptr %28, i64 0, i64 0
  %362 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 0
  %363 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 0
  call void @softfloat_subM(i8 noundef zeroext 4, ptr noundef %361, ptr noundef %362, ptr noundef %363)
  br label %364

364:                                              ; preds = %351
  br label %427

365:                                              ; preds = %317
  %366 = load i64, ptr %27, align 8, !tbaa !5
  %367 = icmp ne i64 %366, 0
  br i1 %367, label %401, label %368

368:                                              ; preds = %365
  %369 = load i64, ptr %18, align 8, !tbaa !5
  %370 = load i64, ptr %25, align 8, !tbaa !5
  %371 = sub i64 %370, %369
  store i64 %371, ptr %25, align 8, !tbaa !5
  %372 = load i64, ptr %25, align 8, !tbaa !5
  %373 = icmp ne i64 %372, 0
  br i1 %373, label %383, label %374

374:                                              ; preds = %368
  %375 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 1
  %376 = load i32, ptr %375, align 4, !tbaa !18
  %377 = icmp ne i32 %376, 0
  br i1 %377, label %383, label %378

378:                                              ; preds = %374
  %379 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 0
  %380 = load i32, ptr %379, align 16, !tbaa !18
  %381 = icmp ne i32 %380, 0
  br i1 %381, label %383, label %382

382:                                              ; preds = %378
  br label %546

383:                                              ; preds = %378, %374, %368
  %384 = load i64, ptr %25, align 8, !tbaa !5
  %385 = lshr i64 %384, 32
  %386 = trunc i64 %385 to i32
  %387 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 3
  store i32 %386, ptr %387, align 4, !tbaa !18
  %388 = load i64, ptr %25, align 8, !tbaa !5
  %389 = trunc i64 %388 to i32
  %390 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 2
  store i32 %389, ptr %390, align 8, !tbaa !18
  %391 = load i64, ptr %25, align 8, !tbaa !5
  %392 = and i64 %391, -9223372036854775808
  %393 = icmp ne i64 %392, 0
  br i1 %393, label %394, label %400

394:                                              ; preds = %383
  %395 = load i8, ptr %19, align 1, !tbaa !10, !range !12, !noundef !13
  %396 = trunc i8 %395 to i1
  %397 = xor i1 %396, true
  %398 = zext i1 %397 to i8
  store i8 %398, ptr %19, align 1, !tbaa !10
  %399 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 0
  call void @softfloat_negXM(i8 noundef zeroext 4, ptr noundef %399)
  br label %400

400:                                              ; preds = %394, %383
  br label %426

401:                                              ; preds = %365
  %402 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 0
  %403 = getelementptr inbounds [4 x i32], ptr %28, i64 0, i64 0
  %404 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 0
  call void @softfloat_subM(i8 noundef zeroext 4, ptr noundef %402, ptr noundef %403, ptr noundef %404)
  %405 = load i64, ptr %27, align 8, !tbaa !5
  %406 = icmp slt i64 1, %405
  br i1 %406, label %407, label %425

407:                                              ; preds = %401
  %408 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 3
  %409 = load i32, ptr %408, align 4, !tbaa !18
  %410 = zext i32 %409 to i64
  %411 = shl i64 %410, 32
  %412 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 2
  %413 = load i32, ptr %412, align 8, !tbaa !18
  %414 = zext i32 %413 to i64
  %415 = or i64 %411, %414
  store i64 %415, ptr %25, align 8, !tbaa !5
  %416 = load i64, ptr %25, align 8, !tbaa !5
  %417 = and i64 %416, 4611686018427387904
  %418 = icmp ne i64 %417, 0
  br i1 %418, label %424, label %419

419:                                              ; preds = %407
  %420 = load i64, ptr %23, align 8, !tbaa !5
  %421 = add nsw i64 %420, -1
  store i64 %421, ptr %23, align 8, !tbaa !5
  %422 = load i64, ptr %25, align 8, !tbaa !5
  %423 = shl i64 %422, 1
  store i64 %423, ptr %25, align 8, !tbaa !5
  br label %424

424:                                              ; preds = %419, %407
  br label %475

425:                                              ; preds = %401
  br label %426

426:                                              ; preds = %425, %400
  br label %427

427:                                              ; preds = %426, %364
  store i64 0, ptr %26, align 8, !tbaa !5
  %428 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 3
  %429 = load i32, ptr %428, align 4, !tbaa !18
  %430 = zext i32 %429 to i64
  %431 = shl i64 %430, 32
  %432 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 2
  %433 = load i32, ptr %432, align 8, !tbaa !18
  %434 = zext i32 %433 to i64
  %435 = or i64 %431, %434
  store i64 %435, ptr %25, align 8, !tbaa !5
  %436 = load i64, ptr %25, align 8, !tbaa !5
  %437 = icmp ne i64 %436, 0
  br i1 %437, label %447, label %438

438:                                              ; preds = %427
  store i64 64, ptr %26, align 8, !tbaa !5
  %439 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 1
  %440 = load i32, ptr %439, align 4, !tbaa !18
  %441 = zext i32 %440 to i64
  %442 = shl i64 %441, 32
  %443 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 0
  %444 = load i32, ptr %443, align 16, !tbaa !18
  %445 = zext i32 %444 to i64
  %446 = or i64 %442, %445
  store i64 %446, ptr %25, align 8, !tbaa !5
  br label %447

447:                                              ; preds = %438, %427
  %448 = load i64, ptr %25, align 8, !tbaa !5
  %449 = call zeroext i8 @softfloat_countLeadingZeros64(i64 noundef %448)
  %450 = zext i8 %449 to i32
  %451 = sub nsw i32 %450, 1
  %452 = sext i32 %451 to i64
  %453 = load i64, ptr %26, align 8, !tbaa !5
  %454 = add nsw i64 %453, %452
  store i64 %454, ptr %26, align 8, !tbaa !5
  %455 = load i64, ptr %26, align 8, !tbaa !5
  %456 = icmp ne i64 %455, 0
  br i1 %456, label %457, label %473

457:                                              ; preds = %447
  %458 = load i64, ptr %26, align 8, !tbaa !5
  %459 = load i64, ptr %23, align 8, !tbaa !5
  %460 = sub nsw i64 %459, %458
  store i64 %460, ptr %23, align 8, !tbaa !5
  %461 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 0
  %462 = load i64, ptr %26, align 8, !tbaa !5
  %463 = trunc i64 %462 to i32
  %464 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 0
  call void @softfloat_shiftLeftM(i8 noundef zeroext 4, ptr noundef %461, i32 noundef %463, ptr noundef %464)
  %465 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 3
  %466 = load i32, ptr %465, align 4, !tbaa !18
  %467 = zext i32 %466 to i64
  %468 = shl i64 %467, 32
  %469 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 2
  %470 = load i32, ptr %469, align 8, !tbaa !18
  %471 = zext i32 %470 to i64
  %472 = or i64 %468, %471
  store i64 %472, ptr %25, align 8, !tbaa !5
  br label %473

473:                                              ; preds = %457, %447
  br label %474

474:                                              ; preds = %473, %316
  br label %475

475:                                              ; preds = %474, %424, %194
  %476 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 1
  %477 = load i32, ptr %476, align 4, !tbaa !18
  %478 = icmp ne i32 %477, 0
  br i1 %478, label %483, label %479

479:                                              ; preds = %475
  %480 = getelementptr inbounds [4 x i32], ptr %24, i64 0, i64 0
  %481 = load i32, ptr %480, align 16, !tbaa !18
  %482 = icmp ne i32 %481, 0
  br i1 %482, label %483, label %486

483:                                              ; preds = %479, %475
  %484 = load i64, ptr %25, align 8, !tbaa !5
  %485 = or i64 %484, 1
  store i64 %485, ptr %25, align 8, !tbaa !5
  br label %486

486:                                              ; preds = %483, %479
  br label %487

487:                                              ; preds = %486, %350
  %488 = load i8, ptr %19, align 1, !tbaa !10, !range !12, !noundef !13
  %489 = trunc i8 %488 to i1
  %490 = load i64, ptr %23, align 8, !tbaa !5
  %491 = sub nsw i64 %490, 1
  %492 = load i64, ptr %25, align 8, !tbaa !5
  %493 = call i64 @softfloat_roundPackToF64(i1 noundef zeroext %489, i64 noundef %491, i64 noundef %492)
  %494 = getelementptr inbounds %struct.float64_t, ptr %5, i32 0, i32 0
  store i64 %493, ptr %494, align 8
  store i32 1, ptr %33, align 4
  br label %558

495:                                              ; preds = %104, %93
  %496 = load i64, ptr %6, align 8, !tbaa !5
  %497 = load i64, ptr %7, align 8, !tbaa !5
  %498 = call i64 @softfloat_propagateNaNF64UI(i64 noundef %496, i64 noundef %497)
  store i64 %498, ptr %21, align 8, !tbaa !5
  br label %527

499:                                              ; preds = %105, %94
  %500 = load i64, ptr %20, align 8, !tbaa !5
  %501 = icmp ne i64 %500, 0
  br i1 %501, label %502, label %526

502:                                              ; preds = %499
  %503 = load i8, ptr %19, align 1, !tbaa !10, !range !12, !noundef !13
  %504 = trunc i8 %503 to i1
  %505 = zext i1 %504 to i64
  %506 = shl i64 %505, 63
  %507 = add i64 %506, 9218868437227405312
  %508 = add i64 %507, 0
  store i64 %508, ptr %21, align 8, !tbaa !5
  %509 = load i64, ptr %17, align 8, !tbaa !5
  %510 = icmp ne i64 %509, 2047
  br i1 %510, label %511, label %512

511:                                              ; preds = %502
  br label %556

512:                                              ; preds = %502
  %513 = load i64, ptr %18, align 8, !tbaa !5
  %514 = icmp ne i64 %513, 0
  br i1 %514, label %515, label %516

515:                                              ; preds = %512
  br label %527

516:                                              ; preds = %512
  %517 = load i8, ptr %19, align 1, !tbaa !10, !range !12, !noundef !13
  %518 = trunc i8 %517 to i1
  %519 = zext i1 %518 to i32
  %520 = load i8, ptr %16, align 1, !tbaa !10, !range !12, !noundef !13
  %521 = trunc i8 %520 to i1
  %522 = zext i1 %521 to i32
  %523 = icmp eq i32 %519, %522
  br i1 %523, label %524, label %525

524:                                              ; preds = %516
  br label %556

525:                                              ; preds = %516
  br label %526

526:                                              ; preds = %525, %499
  call void @softfloat_raiseFlags(i8 noundef zeroext 16)
  store i64 9221120237041090560, ptr %21, align 8, !tbaa !5
  br label %527

527:                                              ; preds = %526, %515, %495, %115
  %528 = load i64, ptr %21, align 8, !tbaa !5
  %529 = load i64, ptr %8, align 8, !tbaa !5
  %530 = call i64 @softfloat_propagateNaNF64UI(i64 noundef %528, i64 noundef %529)
  store i64 %530, ptr %21, align 8, !tbaa !5
  br label %556

531:                                              ; preds = %142, %124
  %532 = load i64, ptr %8, align 8, !tbaa !5
  store i64 %532, ptr %21, align 8, !tbaa !5
  %533 = load i64, ptr %17, align 8, !tbaa !5
  %534 = load i64, ptr %18, align 8, !tbaa !5
  %535 = or i64 %533, %534
  %536 = icmp ne i64 %535, 0
  br i1 %536, label %555, label %537

537:                                              ; preds = %531
  %538 = load i8, ptr %19, align 1, !tbaa !10, !range !12, !noundef !13
  %539 = trunc i8 %538 to i1
  %540 = zext i1 %539 to i32
  %541 = load i8, ptr %16, align 1, !tbaa !10, !range !12, !noundef !13
  %542 = trunc i8 %541 to i1
  %543 = zext i1 %542 to i32
  %544 = icmp ne i32 %540, %543
  br i1 %544, label %545, label %555

545:                                              ; preds = %537
  br label %546

546:                                              ; preds = %545, %382
  %547 = load i8, ptr @softfloat_roundingMode, align 1, !tbaa !9
  %548 = zext i8 %547 to i32
  %549 = icmp eq i32 %548, 2
  %550 = zext i1 %549 to i32
  %551 = sext i32 %550 to i64
  %552 = shl i64 %551, 63
  %553 = add i64 %552, 0
  %554 = add i64 %553, 0
  store i64 %554, ptr %21, align 8, !tbaa !5
  br label %555

555:                                              ; preds = %546, %537, %531
  br label %556

556:                                              ; preds = %555, %527, %524, %511, %116
  %557 = load i64, ptr %21, align 8, !tbaa !5
  store i64 %557, ptr %29, align 8, !tbaa !9
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %5, ptr align 8 %29, i64 8, i1 false), !tbaa.struct !20
  store i32 1, ptr %33, align 4
  br label %558

558:                                              ; preds = %556, %487
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %28) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %24) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %22) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %19) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %16) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %13) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %10) #5
  %559 = getelementptr inbounds %struct.float64_t, ptr %5, i32 0, i32 0
  %560 = load i64, ptr %559, align 8
  ret i64 %560
}

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

declare { i64, i64 } @softfloat_normSubnormalF64Sig(i64 noundef) #2

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

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

declare void @softfloat_mul64To128M(i64 noundef, i64 noundef, ptr noundef) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @softfloat_shiftRightJam64(i64 noundef, i64 noundef) #4

declare void @softfloat_shortShiftRightM(i8 noundef zeroext, ptr noundef, i8 noundef zeroext, ptr noundef) #2

declare void @softfloat_addM(i8 noundef zeroext, ptr noundef, ptr noundef, ptr noundef) #2

declare void @softfloat_shiftRightJamM(i8 noundef zeroext, ptr noundef, i32 noundef, ptr noundef) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @softfloat_shortShiftRightJam64(i64 noundef, i8 noundef zeroext) #4

declare void @softfloat_subM(i8 noundef zeroext, ptr noundef, ptr noundef, ptr noundef) #2

declare void @softfloat_negXM(i8 noundef zeroext, ptr noundef) #2

declare zeroext i8 @softfloat_countLeadingZeros64(i64 noundef) #2

declare void @softfloat_shiftLeftM(i8 noundef zeroext, ptr noundef, i32 noundef, ptr noundef) #2

declare i64 @softfloat_roundPackToF64(i1 noundef zeroext, i64 noundef, i64 noundef) #2

declare i64 @softfloat_propagateNaNF64UI(i64 noundef, i64 noundef) #2

declare void @softfloat_raiseFlags(i8 noundef zeroext) #2

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { inlinehint 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 #5 = { 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 = !{!"long", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!7, !7, i64 0}
!10 = !{!11, !11, i64 0}
!11 = !{!"_Bool", !7, i64 0}
!12 = !{i8 0, i8 2}
!13 = !{}
!14 = !{i64 0, i64 8, !5, i64 8, i64 8, !5}
!15 = !{!16, !6, i64 0}
!16 = !{!"exp16_sig64", !6, i64 0, !6, i64 8}
!17 = !{!16, !6, i64 8}
!18 = !{!19, !19, i64 0}
!19 = !{!"int", !7, i64 0}
!20 = !{i64 0, i64 8, !5}


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

@softfloat_roundingMode = external local_unnamed_addr global i8, align 1

; Function Attrs: nounwind uwtable
define dso_local i64 @softfloat_mulAddF64(i64 noundef %0, i64 noundef %1, i64 noundef %2, i8 noundef zeroext %3) local_unnamed_addr #0 {
  %5 = alloca [4 x i32], align 16
  %6 = alloca [4 x i32], align 16
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %5) #4
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %6) #4
  %7 = lshr i64 %0, 52
  %8 = and i64 %7, 2047
  %9 = and i64 %0, 4503599627370495
  %10 = lshr i64 %1, 52
  %11 = and i64 %10, 2047
  %12 = and i64 %1, 4503599627370495
  %13 = icmp eq i8 %3, 1
  %14 = icmp slt i64 %2, 0
  %15 = xor i1 %14, %13
  %16 = lshr i64 %2, 52
  %17 = and i64 %16, 2047
  %18 = and i64 %2, 4503599627370495
  %.lobit180 = xor i64 %1, %0
  %19 = icmp eq i8 %3, 2
  %20 = icmp slt i64 %.lobit180, 0
  %21 = xor i1 %20, %19
  %22 = icmp eq i64 %8, 2047
  br i1 %22, label %23, label %29

23:                                               ; preds = %4
  %.not205 = icmp eq i64 %9, 0
  br i1 %.not205, label %24, label %186

24:                                               ; preds = %23
  %25 = icmp eq i64 %11, 2047
  %26 = icmp ne i64 %12, 0
  %or.cond = and i1 %26, %25
  br i1 %or.cond, label %186, label %27

27:                                               ; preds = %24
  %28 = or i64 %11, %12
  br label %188

29:                                               ; preds = %4
  %30 = icmp eq i64 %11, 2047
  br i1 %30, label %31, label %34

31:                                               ; preds = %29
  %.not204 = icmp eq i64 %12, 0
  br i1 %.not204, label %32, label %186

32:                                               ; preds = %31
  %33 = or i64 %8, %9
  br label %188

34:                                               ; preds = %29
  %35 = icmp eq i64 %17, 2047
  br i1 %35, label %36, label %37

36:                                               ; preds = %34
  %.not203 = icmp eq i64 %18, 0
  br i1 %.not203, label %204, label %195

37:                                               ; preds = %34
  %.not = icmp eq i64 %8, 0
  br i1 %.not, label %38, label %43

38:                                               ; preds = %37
  %.not181 = icmp eq i64 %9, 0
  br i1 %.not181, label %197, label %39

39:                                               ; preds = %38
  %40 = tail call { i64, i64 } @softfloat_normSubnormalF64Sig(i64 noundef %9) #4
  %41 = extractvalue { i64, i64 } %40, 0
  %42 = extractvalue { i64, i64 } %40, 1
  br label %43

43:                                               ; preds = %39, %37
  %.0148 = phi i64 [ %9, %37 ], [ %42, %39 ]
  %.0 = phi i64 [ %8, %37 ], [ %41, %39 ]
  %.not182 = icmp eq i64 %11, 0
  br i1 %.not182, label %44, label %49

44:                                               ; preds = %43
  %.not183 = icmp eq i64 %12, 0
  br i1 %.not183, label %197, label %45

45:                                               ; preds = %44
  %46 = tail call { i64, i64 } @softfloat_normSubnormalF64Sig(i64 noundef %12) #4
  %47 = extractvalue { i64, i64 } %46, 0
  %48 = extractvalue { i64, i64 } %46, 1
  br label %49

49:                                               ; preds = %45, %43
  %.0150 = phi i64 [ %12, %43 ], [ %48, %45 ]
  %.0149 = phi i64 [ %11, %43 ], [ %47, %45 ]
  %50 = add nsw i64 %.0149, %.0
  %51 = shl i64 %.0148, 10
  %52 = or i64 %51, 4611686018427387904
  %53 = shl i64 %.0150, 11
  %54 = or i64 %53, -9223372036854775808
  call void @softfloat_mul64To128M(i64 noundef %52, i64 noundef %54, ptr noundef nonnull %5) #4
  %55 = getelementptr inbounds i8, ptr %5, i64 12
  %56 = load i32, ptr %55, align 4, !tbaa !5
  %57 = zext i32 %56 to i64
  %58 = shl nuw i64 %57, 32
  %59 = getelementptr inbounds i8, ptr %5, i64 8
  %60 = load i32, ptr %59, align 8, !tbaa !5
  %61 = zext i32 %60 to i64
  %62 = or disjoint i64 %58, %61
  %63 = and i64 %57, 1073741824
  %.not186.not.not.not = icmp eq i64 %63, 0
  %spec.select.v = select i1 %.not186.not.not.not, i64 -1023, i64 -1022
  %spec.select = add nsw i64 %50, %spec.select.v
  %spec.select209 = sext i1 %.not186.not.not.not to i64
  %.not187 = icmp eq i64 %17, 0
  br i1 %.not187, label %64, label %71

64:                                               ; preds = %49
  %.not188 = icmp eq i64 %18, 0
  br i1 %.not188, label %65, label %67

65:                                               ; preds = %64
  %.lobit = lshr exact i64 %63, 30
  %66 = xor i64 %.lobit, 1
  %spec.select210 = shl i64 %62, %66
  br label %176

67:                                               ; preds = %64
  %68 = call { i64, i64 } @softfloat_normSubnormalF64Sig(i64 noundef %18) #4
  %69 = extractvalue { i64, i64 } %68, 0
  %70 = extractvalue { i64, i64 } %68, 1
  br label %71

71:                                               ; preds = %67, %49
  %.0152 = phi i64 [ %18, %49 ], [ %70, %67 ]
  %.0151 = phi i64 [ %17, %49 ], [ %69, %67 ]
  %72 = shl i64 %.0152, 10
  %73 = or i64 %72, 4611686018427387904
  %74 = sub nsw i64 %spec.select, %.0151
  %75 = icmp slt i64 %74, 0
  br i1 %75, label %76, label %85

76:                                               ; preds = %71
  %77 = xor i1 %21, %15
  %78 = icmp eq i64 %74, -1
  %or.cond3.not = and i1 %77, %78
  br i1 %or.cond3.not, label %83, label %79

79:                                               ; preds = %76
  %.not194 = icmp eq i64 %74, %spec.select209
  br i1 %.not194, label %98, label %80

80:                                               ; preds = %79
  %81 = sub nsw i64 %spec.select209, %74
  %82 = call i64 @softfloat_shiftRightJam64(i64 noundef %62, i64 noundef %81)
  br label %98

83:                                               ; preds = %76
  br i1 %.not186.not.not.not, label %98, label %84

84:                                               ; preds = %83
  call void @softfloat_shortShiftRightM(i8 noundef zeroext 4, ptr noundef nonnull %5, i8 noundef zeroext 1, ptr noundef nonnull %5) #4
  br label %98

85:                                               ; preds = %71
  br i1 %.not186.not.not.not, label %86, label %87

86:                                               ; preds = %85
  call void @softfloat_addM(i8 noundef zeroext 4, ptr noundef nonnull %5, ptr noundef nonnull %5, ptr noundef nonnull %5) #4
  br label %87

87:                                               ; preds = %86, %85
  %.not191 = icmp eq i64 %spec.select, %.0151
  br i1 %.not191, label %88, label %90

88:                                               ; preds = %87
  %89 = load i64, ptr %59, align 8
  br label %98

90:                                               ; preds = %87
  %91 = lshr i64 %73, 32
  %92 = trunc nuw i64 %91 to i32
  %93 = getelementptr inbounds i8, ptr %6, i64 12
  store i32 %92, ptr %93, align 4, !tbaa !5
  %94 = trunc i64 %72 to i32
  %95 = getelementptr inbounds i8, ptr %6, i64 8
  store i32 %94, ptr %95, align 8, !tbaa !5
  %96 = getelementptr inbounds i8, ptr %6, i64 4
  store i32 0, ptr %96, align 4, !tbaa !5
  store i32 0, ptr %6, align 16, !tbaa !5
  %97 = trunc i64 %74 to i32
  call void @softfloat_shiftRightJamM(i8 noundef zeroext 4, ptr noundef nonnull %6, i32 noundef %97, ptr noundef nonnull %6) #4
  br label %98

98:                                               ; preds = %88, %90, %80, %79, %84, %83
  %.1160 = phi i64 [ %.0151, %80 ], [ %.0151, %79 ], [ %.0151, %83 ], [ %.0151, %84 ], [ %spec.select, %90 ], [ %spec.select, %88 ]
  %.0156 = phi i64 [ %82, %80 ], [ %62, %79 ], [ %62, %83 ], [ %62, %84 ], [ %62, %90 ], [ %89, %88 ]
  %99 = xor i1 %21, %15
  br i1 %99, label %110, label %100

100:                                              ; preds = %98
  %101 = icmp slt i64 %74, 1
  br i1 %101, label %102, label %104

102:                                              ; preds = %100
  %103 = add i64 %.0156, %73
  br label %106

104:                                              ; preds = %100
  call void @softfloat_addM(i8 noundef zeroext 4, ptr noundef nonnull %5, ptr noundef nonnull %6, ptr noundef nonnull %5) #4
  %105 = load i64, ptr %59, align 8
  br label %106

106:                                              ; preds = %104, %102
  %.1157 = phi i64 [ %103, %102 ], [ %105, %104 ]
  %.not202 = icmp sgt i64 %.1157, -1
  br i1 %.not202, label %176, label %107

107:                                              ; preds = %106
  %108 = add nsw i64 %.1160, 1
  %109 = call i64 @softfloat_shortShiftRightJam64(i64 noundef %.1157, i8 noundef zeroext 1)
  br label %176

110:                                              ; preds = %98
  br i1 %75, label %111, label %132

111:                                              ; preds = %110
  %.not198 = icmp eq i64 %74, -1
  br i1 %.not198, label %125, label %112

112:                                              ; preds = %111
  %113 = sub i64 %73, %.0156
  %114 = getelementptr inbounds i8, ptr %5, i64 4
  %115 = load i32, ptr %114, align 4, !tbaa !5
  %116 = icmp ne i32 %115, 0
  %117 = load i32, ptr %5, align 16
  %118 = icmp ne i32 %117, 0
  %or.cond6 = select i1 %116, i1 true, i1 %118
  %119 = add i64 %113, -1
  %120 = or i64 %119, 1
  %.2158 = select i1 %or.cond6, i64 %120, i64 %113
  %121 = and i64 %.2158, 4611686018427387904
  %.not201 = icmp eq i64 %121, 0
  br i1 %.not201, label %122, label %183

122:                                              ; preds = %112
  %123 = add nsw i64 %.1160, -1
  %124 = shl i64 %.2158, 1
  br label %183

125:                                              ; preds = %111
  %126 = lshr i64 %73, 32
  %127 = trunc nuw i64 %126 to i32
  %128 = getelementptr inbounds i8, ptr %6, i64 12
  store i32 %127, ptr %128, align 4, !tbaa !5
  %129 = trunc i64 %72 to i32
  %130 = getelementptr inbounds i8, ptr %6, i64 8
  store i32 %129, ptr %130, align 8, !tbaa !5
  %131 = getelementptr inbounds i8, ptr %6, i64 4
  store i32 0, ptr %131, align 4, !tbaa !5
  store i32 0, ptr %6, align 16, !tbaa !5
  call void @softfloat_subM(i8 noundef zeroext 4, ptr noundef nonnull %6, ptr noundef nonnull %5, ptr noundef nonnull %5) #4
  br label %160

132:                                              ; preds = %110
  %.not195 = icmp eq i64 %spec.select, %.0151
  br i1 %.not195, label %133, label %147

133:                                              ; preds = %132
  %134 = icmp ne i64 %.0156, %73
  %135 = getelementptr inbounds i8, ptr %5, i64 4
  %136 = load i32, ptr %135, align 4
  %137 = icmp ne i32 %136, 0
  %or.cond9 = select i1 %134, i1 true, i1 %137
  %138 = load i32, ptr %5, align 16
  %139 = icmp ne i32 %138, 0
  %or.cond12 = select i1 %or.cond9, i1 true, i1 %139
  br i1 %or.cond12, label %140, label %200

140:                                              ; preds = %133
  %141 = sub i64 %.0156, %73
  %142 = lshr i64 %141, 32
  %143 = trunc nuw i64 %142 to i32
  store i32 %143, ptr %55, align 4, !tbaa !5
  %144 = trunc i64 %141 to i32
  store i32 %144, ptr %59, align 8, !tbaa !5
  %.not196 = icmp sgt i64 %141, -1
  br i1 %.not196, label %160, label %145

145:                                              ; preds = %140
  %146 = xor i1 %21, true
  call void @softfloat_negXM(i8 noundef zeroext 4, ptr noundef nonnull %5) #4
  br label %160

147:                                              ; preds = %132
  call void @softfloat_subM(i8 noundef zeroext 4, ptr noundef nonnull %5, ptr noundef nonnull %6, ptr noundef nonnull %5) #4
  %148 = icmp ugt i64 %74, 1
  br i1 %148, label %149, label %160

149:                                              ; preds = %147
  %150 = load i32, ptr %55, align 4, !tbaa !5
  %151 = zext i32 %150 to i64
  %152 = shl nuw i64 %151, 32
  %153 = load i32, ptr %59, align 8, !tbaa !5
  %154 = zext i32 %153 to i64
  %155 = or disjoint i64 %152, %154
  %156 = and i64 %151, 1073741824
  %.not197 = icmp eq i64 %156, 0
  br i1 %.not197, label %157, label %176

157:                                              ; preds = %149
  %158 = add nsw i64 %.1160, -1
  %159 = shl i64 %155, 1
  br label %176

160:                                              ; preds = %145, %140, %147, %125
  %.0153 = phi i1 [ %15, %125 ], [ %21, %147 ], [ %146, %145 ], [ %21, %140 ]
  %161 = load i32, ptr %55, align 4, !tbaa !5
  %162 = zext i32 %161 to i64
  %163 = shl nuw i64 %162, 32
  %164 = load i32, ptr %59, align 8, !tbaa !5
  %165 = zext i32 %164 to i64
  %166 = or disjoint i64 %163, %165
  %.not199 = icmp eq i64 %166, 0
  %167 = load i64, ptr %5, align 16
  %.3 = select i1 %.not199, i64 %167, i64 %166
  %.1155 = select i1 %.not199, i64 64, i64 0
  %168 = call zeroext i8 @softfloat_countLeadingZeros64(i64 noundef %.3) #4
  %169 = zext i8 %168 to i64
  %170 = add nsw i64 %169, -1
  %171 = add nsw i64 %170, %.1155
  %.not200 = icmp eq i64 %171, 0
  br i1 %.not200, label %176, label %172

172:                                              ; preds = %160
  %173 = sub nsw i64 %.1160, %171
  %174 = trunc nsw i64 %171 to i32
  call void @softfloat_shiftLeftM(i8 noundef zeroext 4, ptr noundef nonnull %5, i32 noundef %174, ptr noundef nonnull %5) #4
  %175 = load i64, ptr %59, align 8
  br label %176

176:                                              ; preds = %65, %107, %106, %172, %160, %149, %157
  %.2161 = phi i64 [ %108, %107 ], [ %.1160, %106 ], [ %173, %172 ], [ %.1160, %160 ], [ %.1160, %149 ], [ %158, %157 ], [ %spec.select, %65 ]
  %.4 = phi i64 [ %109, %107 ], [ %.1157, %106 ], [ %175, %172 ], [ %.3, %160 ], [ %155, %149 ], [ %159, %157 ], [ %spec.select210, %65 ]
  %.1 = phi i1 [ %21, %107 ], [ %21, %106 ], [ %.0153, %172 ], [ %.0153, %160 ], [ %21, %149 ], [ %21, %157 ], [ %21, %65 ]
  %177 = getelementptr inbounds i8, ptr %5, i64 4
  %178 = load i32, ptr %177, align 4, !tbaa !5
  %179 = icmp ne i32 %178, 0
  %180 = load i32, ptr %5, align 16
  %181 = icmp ne i32 %180, 0
  %or.cond15 = select i1 %179, i1 true, i1 %181
  %182 = zext i1 %or.cond15 to i64
  %spec.select211 = or i64 %.4, %182
  br label %183

183:                                              ; preds = %176, %112, %122
  %.3162 = phi i64 [ %.1160, %112 ], [ %123, %122 ], [ %.2161, %176 ]
  %.5 = phi i64 [ %.2158, %112 ], [ %124, %122 ], [ %spec.select211, %176 ]
  %.2 = phi i1 [ %15, %112 ], [ %15, %122 ], [ %.1, %176 ]
  %184 = add nsw i64 %.3162, -1
  %185 = call i64 @softfloat_roundPackToF64(i1 noundef zeroext %.2, i64 noundef %184, i64 noundef %.5) #4
  br label %204

186:                                              ; preds = %31, %23, %24
  %187 = tail call i64 @softfloat_propagateNaNF64UI(i64 noundef %0, i64 noundef %1) #4
  br label %195

188:                                              ; preds = %32, %27
  %.0165 = phi i64 [ %28, %27 ], [ %33, %32 ]
  %.not206 = icmp eq i64 %.0165, 0
  br i1 %.not206, label %194, label %189

189:                                              ; preds = %188
  %190 = select i1 %21, i64 -4503599627370496, i64 9218868437227405312
  %.not207 = icmp eq i64 %17, 2047
  br i1 %.not207, label %191, label %204

191:                                              ; preds = %189
  %.not208 = icmp eq i64 %18, 0
  br i1 %.not208, label %192, label %195

192:                                              ; preds = %191
  %193 = xor i1 %21, %15
  br i1 %193, label %194, label %204

194:                                              ; preds = %192, %188
  tail call void @softfloat_raiseFlags(i8 noundef zeroext 16) #4
  br label %195

195:                                              ; preds = %36, %191, %194, %186
  %.0163 = phi i64 [ %187, %186 ], [ %190, %191 ], [ 9221120237041090560, %194 ], [ 0, %36 ]
  %196 = tail call i64 @softfloat_propagateNaNF64UI(i64 noundef %.0163, i64 noundef %2) #4
  br label %204

197:                                              ; preds = %44, %38
  %198 = or i64 %17, %18
  %.not184 = icmp eq i64 %198, 0
  %199 = xor i1 %21, %15
  %or.cond212 = and i1 %.not184, %199
  br i1 %or.cond212, label %200, label %204

200:                                              ; preds = %197, %133
  %201 = load i8, ptr @softfloat_roundingMode, align 1, !tbaa !9
  %202 = icmp eq i8 %201, 2
  %203 = select i1 %202, i64 -9223372036854775808, i64 0
  br label %204

204:                                              ; preds = %195, %189, %192, %200, %197, %36, %183
  %.sroa.0147.0 = phi i64 [ %185, %183 ], [ %196, %195 ], [ %190, %189 ], [ %190, %192 ], [ %203, %200 ], [ %2, %197 ], [ %2, %36 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %6) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %5) #4
  ret i64 %.sroa.0147.0
}

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

declare { i64, i64 } @softfloat_normSubnormalF64Sig(i64 noundef) local_unnamed_addr #2

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

declare void @softfloat_mul64To128M(i64 noundef, i64 noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @softfloat_shiftRightJam64(i64 noundef, i64 noundef) local_unnamed_addr #3

declare void @softfloat_shortShiftRightM(i8 noundef zeroext, ptr noundef, i8 noundef zeroext, ptr noundef) local_unnamed_addr #2

declare void @softfloat_addM(i8 noundef zeroext, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

declare void @softfloat_shiftRightJamM(i8 noundef zeroext, ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @softfloat_shortShiftRightJam64(i64 noundef, i8 noundef zeroext) local_unnamed_addr #3

declare void @softfloat_subM(i8 noundef zeroext, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

declare void @softfloat_negXM(i8 noundef zeroext, ptr noundef) local_unnamed_addr #2

declare zeroext i8 @softfloat_countLeadingZeros64(i64 noundef) local_unnamed_addr #2

declare void @softfloat_shiftLeftM(i8 noundef zeroext, ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #2

declare i64 @softfloat_roundPackToF64(i1 noundef zeroext, i64 noundef, i64 noundef) local_unnamed_addr #2

declare i64 @softfloat_propagateNaNF64UI(i64 noundef, i64 noundef) local_unnamed_addr #2

declare void @softfloat_raiseFlags(i8 noundef zeroext) local_unnamed_addr #2

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!7, !7, i64 0}


; Effective O3 passes: AggressiveInstCombinePass,CorrelatedValuePropagationPass,EarlyCSEPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass