; LLVM IR from MBMS/C-CODE_FOR_MEMBRANE_BASED_MODEL :: CODE_MODEL/HXM.ll (ZN3HXMC2Eddddddddddiiii)

; 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.std::basic_ostream" = type { ptr, %"class.std::basic_ios" }
%"class.std::basic_ios" = type { %"class.std::ios_base", ptr, i8, i8, ptr, ptr, ptr, ptr }
%"class.std::ios_base" = type { ptr, i64, i64, i32, i32, i32, ptr, %"struct.std::ios_base::_Words", [8 x %"struct.std::ios_base::_Words"], i32, ptr, %"class.std::locale" }
%"struct.std::ios_base::_Words" = type { ptr, i64 }
%"class.std::locale" = type { ptr }
%class.HXM = type { double, double, double, double, double, double, double, double, double, double, i32, i32, i32, i32, double, double, double, double, double, double, double, double, i32, i32 }

@_ZSt4cout = external global %"class.std::basic_ostream", align 8
@.str = external hidden unnamed_addr constant [56 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [54 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [26 x i8], align 1

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN3HXMC2Eddddddddddiiii(ptr noundef nonnull align 8 dereferenceable(168) %0, double noundef %1, double noundef %2, double noundef %3, double noundef %4, double noundef %5, double noundef %6, double noundef %7, double noundef %8, double noundef %9, double noundef %10, i32 noundef %11, i32 noundef %12, i32 noundef %13, i32 noundef %14) unnamed_addr #0 align 2 {
  %16 = alloca ptr, align 8
  %17 = alloca double, align 8
  %18 = alloca double, align 8
  %19 = alloca double, align 8
  %20 = alloca double, align 8
  %21 = alloca double, align 8
  %22 = alloca double, align 8
  %23 = alloca double, align 8
  %24 = alloca double, align 8
  %25 = alloca double, align 8
  %26 = alloca double, align 8
  %27 = alloca i32, align 4
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  store ptr %0, ptr %16, align 8, !tbaa !5
  store double %1, ptr %17, align 8, !tbaa !9
  store double %2, ptr %18, align 8, !tbaa !9
  store double %3, ptr %19, align 8, !tbaa !9
  store double %4, ptr %20, align 8, !tbaa !9
  store double %5, ptr %21, align 8, !tbaa !9
  store double %6, ptr %22, align 8, !tbaa !9
  store double %7, ptr %23, align 8, !tbaa !9
  store double %8, ptr %24, align 8, !tbaa !9
  store double %9, ptr %25, align 8, !tbaa !9
  store double %10, ptr %26, align 8, !tbaa !9
  store i32 %11, ptr %27, align 4, !tbaa !11
  store i32 %12, ptr %28, align 4, !tbaa !11
  store i32 %13, ptr %29, align 4, !tbaa !11
  store i32 %14, ptr %30, align 4, !tbaa !11
  %31 = load ptr, ptr %16, align 8
  %32 = load double, ptr %17, align 8, !tbaa !9
  %33 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 0
  store double %32, ptr %33, align 8, !tbaa !13
  %34 = load double, ptr %18, align 8, !tbaa !9
  %35 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 1
  store double %34, ptr %35, align 8, !tbaa !15
  %36 = load double, ptr %19, align 8, !tbaa !9
  %37 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 2
  store double %36, ptr %37, align 8, !tbaa !16
  %38 = load double, ptr %20, align 8, !tbaa !9
  %39 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 3
  store double %38, ptr %39, align 8, !tbaa !17
  %40 = load double, ptr %21, align 8, !tbaa !9
  %41 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 4
  store double %40, ptr %41, align 8, !tbaa !18
  %42 = load double, ptr %22, align 8, !tbaa !9
  %43 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 5
  store double %42, ptr %43, align 8, !tbaa !19
  %44 = load double, ptr %23, align 8, !tbaa !9
  %45 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 6
  store double %44, ptr %45, align 8, !tbaa !20
  %46 = load double, ptr %24, align 8, !tbaa !9
  %47 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 7
  store double %46, ptr %47, align 8, !tbaa !21
  %48 = load double, ptr %25, align 8, !tbaa !9
  %49 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 8
  store double %48, ptr %49, align 8, !tbaa !22
  %50 = load double, ptr %26, align 8, !tbaa !9
  %51 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 9
  store double %50, ptr %51, align 8, !tbaa !23
  %52 = load i32, ptr %27, align 4, !tbaa !11
  %53 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 10
  store i32 %52, ptr %53, align 8, !tbaa !24
  %54 = load i32, ptr %28, align 4, !tbaa !11
  %55 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 11
  store i32 %54, ptr %55, align 4, !tbaa !25
  %56 = load i32, ptr %29, align 4, !tbaa !11
  %57 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 12
  store i32 %56, ptr %57, align 8, !tbaa !26
  %58 = load i32, ptr %30, align 4, !tbaa !11
  %59 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 13
  store i32 %58, ptr %59, align 4, !tbaa !27
  %60 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 12
  %61 = load i32, ptr %60, align 8, !tbaa !26
  %62 = sdiv i32 %61, 2
  %63 = add nsw i32 %62, 1
  %64 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 22
  store i32 %63, ptr %64, align 8, !tbaa !28
  %65 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 12
  %66 = load i32, ptr %65, align 8, !tbaa !26
  %67 = add nsw i32 %66, 1
  %68 = sdiv i32 %67, 2
  %69 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 23
  store i32 %68, ptr %69, align 4, !tbaa !29
  %70 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 12
  %71 = load i32, ptr %70, align 8, !tbaa !26
  %72 = icmp sgt i32 %71, 2
  br i1 %72, label %73, label %84

73:                                               ; preds = %15
  %74 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 12
  %75 = load i32, ptr %74, align 8, !tbaa !26
  %76 = add nsw i32 %75, 1
  %77 = sdiv i32 %76, 2
  %78 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 22
  store i32 %77, ptr %78, align 8, !tbaa !28
  %79 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 12
  %80 = load i32, ptr %79, align 8, !tbaa !26
  %81 = add nsw i32 %80, 1
  %82 = sdiv i32 %81, 2
  %83 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 23
  store i32 %82, ptr %83, align 4, !tbaa !29
  br label %84

84:                                               ; preds = %73, %15
  %85 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 13
  %86 = load i32, ptr %85, align 4, !tbaa !27
  %87 = icmp eq i32 %86, 1
  br i1 %87, label %88, label %151

88:                                               ; preds = %84
  %89 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str)
  %90 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %89, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  %91 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 0
  %92 = load double, ptr %91, align 8, !tbaa !13
  %93 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 10
  %94 = load i32, ptr %93, align 8, !tbaa !24
  %95 = sitofp i32 %94 to double
  %96 = fdiv double %92, %95
  %97 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 14
  store double %96, ptr %97, align 8, !tbaa !30
  %98 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 1
  %99 = load double, ptr %98, align 8, !tbaa !15
  %100 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 11
  %101 = load i32, ptr %100, align 4, !tbaa !25
  %102 = sitofp i32 %101 to double
  %103 = fdiv double %99, %102
  %104 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 15
  store double %103, ptr %104, align 8, !tbaa !31
  %105 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 5
  %106 = load double, ptr %105, align 8, !tbaa !19
  %107 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 10
  %108 = load i32, ptr %107, align 8, !tbaa !24
  %109 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 22
  %110 = load i32, ptr %109, align 8, !tbaa !28
  %111 = mul nsw i32 %108, %110
  %112 = sitofp i32 %111 to double
  %113 = fdiv double %106, %112
  %114 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 16
  store double %113, ptr %114, align 8, !tbaa !32
  %115 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 6
  %116 = load double, ptr %115, align 8, !tbaa !20
  %117 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 10
  %118 = load i32, ptr %117, align 8, !tbaa !24
  %119 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 22
  %120 = load i32, ptr %119, align 8, !tbaa !28
  %121 = mul nsw i32 %118, %120
  %122 = sitofp i32 %121 to double
  %123 = fdiv double %116, %122
  %124 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 17
  store double %123, ptr %124, align 8, !tbaa !33
  %125 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 14
  %126 = load double, ptr %125, align 8, !tbaa !30
  %127 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 18
  store double %126, ptr %127, align 8, !tbaa !34
  %128 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 15
  %129 = load double, ptr %128, align 8, !tbaa !31
  %130 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 19
  store double %129, ptr %130, align 8, !tbaa !35
  %131 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 7
  %132 = load double, ptr %131, align 8, !tbaa !21
  %133 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 10
  %134 = load i32, ptr %133, align 8, !tbaa !24
  %135 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 23
  %136 = load i32, ptr %135, align 4, !tbaa !29
  %137 = mul nsw i32 %134, %136
  %138 = sitofp i32 %137 to double
  %139 = fdiv double %132, %138
  %140 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 20
  store double %139, ptr %140, align 8, !tbaa !36
  %141 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 8
  %142 = load double, ptr %141, align 8, !tbaa !22
  %143 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 10
  %144 = load i32, ptr %143, align 8, !tbaa !24
  %145 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 23
  %146 = load i32, ptr %145, align 4, !tbaa !29
  %147 = mul nsw i32 %144, %146
  %148 = sitofp i32 %147 to double
  %149 = fdiv double %142, %148
  %150 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 21
  store double %149, ptr %150, align 8, !tbaa !37
  br label %282

151:                                              ; preds = %84
  %152 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 13
  %153 = load i32, ptr %152, align 4, !tbaa !27
  %154 = icmp eq i32 %153, 2
  br i1 %154, label %155, label %218

155:                                              ; preds = %151
  %156 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.1)
  %157 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %156, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  %158 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 0
  %159 = load double, ptr %158, align 8, !tbaa !13
  %160 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 10
  %161 = load i32, ptr %160, align 8, !tbaa !24
  %162 = sitofp i32 %161 to double
  %163 = fdiv double %159, %162
  %164 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 14
  store double %163, ptr %164, align 8, !tbaa !30
  %165 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 1
  %166 = load double, ptr %165, align 8, !tbaa !15
  %167 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 11
  %168 = load i32, ptr %167, align 4, !tbaa !25
  %169 = sitofp i32 %168 to double
  %170 = fdiv double %166, %169
  %171 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 15
  store double %170, ptr %171, align 8, !tbaa !31
  %172 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 5
  %173 = load double, ptr %172, align 8, !tbaa !19
  %174 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 10
  %175 = load i32, ptr %174, align 8, !tbaa !24
  %176 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 22
  %177 = load i32, ptr %176, align 8, !tbaa !28
  %178 = mul nsw i32 %175, %177
  %179 = sitofp i32 %178 to double
  %180 = fdiv double %173, %179
  %181 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 16
  store double %180, ptr %181, align 8, !tbaa !32
  %182 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 6
  %183 = load double, ptr %182, align 8, !tbaa !20
  %184 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 10
  %185 = load i32, ptr %184, align 8, !tbaa !24
  %186 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 22
  %187 = load i32, ptr %186, align 8, !tbaa !28
  %188 = mul nsw i32 %185, %187
  %189 = sitofp i32 %188 to double
  %190 = fdiv double %183, %189
  %191 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 17
  store double %190, ptr %191, align 8, !tbaa !33
  %192 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 14
  %193 = load double, ptr %192, align 8, !tbaa !30
  %194 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 18
  store double %193, ptr %194, align 8, !tbaa !34
  %195 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 15
  %196 = load double, ptr %195, align 8, !tbaa !31
  %197 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 19
  store double %196, ptr %197, align 8, !tbaa !35
  %198 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 7
  %199 = load double, ptr %198, align 8, !tbaa !21
  %200 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 10
  %201 = load i32, ptr %200, align 8, !tbaa !24
  %202 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 23
  %203 = load i32, ptr %202, align 4, !tbaa !29
  %204 = mul nsw i32 %201, %203
  %205 = sitofp i32 %204 to double
  %206 = fdiv double %199, %205
  %207 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 20
  store double %206, ptr %207, align 8, !tbaa !36
  %208 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 8
  %209 = load double, ptr %208, align 8, !tbaa !22
  %210 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 10
  %211 = load i32, ptr %210, align 8, !tbaa !24
  %212 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 23
  %213 = load i32, ptr %212, align 4, !tbaa !29
  %214 = mul nsw i32 %211, %213
  %215 = sitofp i32 %214 to double
  %216 = fdiv double %209, %215
  %217 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 21
  store double %216, ptr %217, align 8, !tbaa !37
  br label %281

218:                                              ; preds = %151
  %219 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.2)
  %220 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %219, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  %221 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 0
  %222 = load double, ptr %221, align 8, !tbaa !13
  %223 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 10
  %224 = load i32, ptr %223, align 8, !tbaa !24
  %225 = sitofp i32 %224 to double
  %226 = fdiv double %222, %225
  %227 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 14
  store double %226, ptr %227, align 8, !tbaa !30
  %228 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 1
  %229 = load double, ptr %228, align 8, !tbaa !15
  %230 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 11
  %231 = load i32, ptr %230, align 4, !tbaa !25
  %232 = sitofp i32 %231 to double
  %233 = fdiv double %229, %232
  %234 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 15
  store double %233, ptr %234, align 8, !tbaa !31
  %235 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 5
  %236 = load double, ptr %235, align 8, !tbaa !19
  %237 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 10
  %238 = load i32, ptr %237, align 8, !tbaa !24
  %239 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 22
  %240 = load i32, ptr %239, align 8, !tbaa !28
  %241 = mul nsw i32 %238, %240
  %242 = sitofp i32 %241 to double
  %243 = fdiv double %236, %242
  %244 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 16
  store double %243, ptr %244, align 8, !tbaa !32
  %245 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 6
  %246 = load double, ptr %245, align 8, !tbaa !20
  %247 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 10
  %248 = load i32, ptr %247, align 8, !tbaa !24
  %249 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 22
  %250 = load i32, ptr %249, align 8, !tbaa !28
  %251 = mul nsw i32 %248, %250
  %252 = sitofp i32 %251 to double
  %253 = fdiv double %246, %252
  %254 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 17
  store double %253, ptr %254, align 8, !tbaa !33
  %255 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 15
  %256 = load double, ptr %255, align 8, !tbaa !31
  %257 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 18
  store double %256, ptr %257, align 8, !tbaa !34
  %258 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 14
  %259 = load double, ptr %258, align 8, !tbaa !30
  %260 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 19
  store double %259, ptr %260, align 8, !tbaa !35
  %261 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 7
  %262 = load double, ptr %261, align 8, !tbaa !21
  %263 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 11
  %264 = load i32, ptr %263, align 4, !tbaa !25
  %265 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 23
  %266 = load i32, ptr %265, align 4, !tbaa !29
  %267 = mul nsw i32 %264, %266
  %268 = sitofp i32 %267 to double
  %269 = fdiv double %262, %268
  %270 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 20
  store double %269, ptr %270, align 8, !tbaa !36
  %271 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 8
  %272 = load double, ptr %271, align 8, !tbaa !22
  %273 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 11
  %274 = load i32, ptr %273, align 4, !tbaa !25
  %275 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 23
  %276 = load i32, ptr %275, align 4, !tbaa !29
  %277 = mul nsw i32 %274, %276
  %278 = sitofp i32 %277 to double
  %279 = fdiv double %272, %278
  %280 = getelementptr inbounds %class.HXM, ptr %31, i32 0, i32 21
  store double %279, ptr %280, align 8, !tbaa !37
  br label %281

281:                                              ; preds = %218, %155
  br label %282

282:                                              ; preds = %281, %88
  ret void
}

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) #1

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) #0 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_(ptr noundef nonnull align 8 dereferenceable(8)) #1

attributes #0 = { 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 #1 = { 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" }

!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 = !{!"double", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"int", !7, i64 0}
!13 = !{!14, !10, i64 0}
!14 = !{!"_ZTS3HXM", !10, i64 0, !10, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !10, i64 40, !10, i64 48, !10, i64 56, !10, i64 64, !10, i64 72, !12, i64 80, !12, i64 84, !12, i64 88, !12, i64 92, !10, i64 96, !10, i64 104, !10, i64 112, !10, i64 120, !10, i64 128, !10, i64 136, !10, i64 144, !10, i64 152, !12, i64 160, !12, i64 164}
!15 = !{!14, !10, i64 8}
!16 = !{!14, !10, i64 16}
!17 = !{!14, !10, i64 24}
!18 = !{!14, !10, i64 32}
!19 = !{!14, !10, i64 40}
!20 = !{!14, !10, i64 48}
!21 = !{!14, !10, i64 56}
!22 = !{!14, !10, i64 64}
!23 = !{!14, !10, i64 72}
!24 = !{!14, !12, i64 80}
!25 = !{!14, !12, i64 84}
!26 = !{!14, !12, i64 88}
!27 = !{!14, !12, i64 92}
!28 = !{!14, !12, i64 160}
!29 = !{!14, !12, i64 164}
!30 = !{!14, !10, i64 96}
!31 = !{!14, !10, i64 104}
!32 = !{!14, !10, i64 112}
!33 = !{!14, !10, i64 120}
!34 = !{!14, !10, i64 128}
!35 = !{!14, !10, i64 136}
!36 = !{!14, !10, i64 144}
!37 = !{!14, !10, i64 152}


; 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.std::basic_ostream" = type { ptr, %"class.std::basic_ios" }
%"class.std::basic_ios" = type { %"class.std::ios_base", ptr, i8, i8, ptr, ptr, ptr, ptr }
%"class.std::ios_base" = type { ptr, i64, i64, i32, i32, i32, ptr, %"struct.std::ios_base::_Words", [8 x %"struct.std::ios_base::_Words"], i32, ptr, %"class.std::locale" }
%"struct.std::ios_base::_Words" = type { ptr, i64 }
%"class.std::locale" = type { ptr }

@_ZSt4cout = external global %"class.std::basic_ostream", align 8
@.str = external hidden unnamed_addr constant [56 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [54 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [26 x i8], align 1

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN3HXMC2Eddddddddddiiii(ptr nocapture noundef nonnull align 8 dereferenceable(168) %0, double noundef %1, double noundef %2, double noundef %3, double noundef %4, double noundef %5, double noundef %6, double noundef %7, double noundef %8, double noundef %9, double noundef %10, i32 noundef %11, i32 noundef %12, i32 noundef %13, i32 noundef %14) unnamed_addr #0 align 2 {
  store double %1, ptr %0, align 8, !tbaa !5
  %16 = getelementptr inbounds i8, ptr %0, i64 8
  store double %2, ptr %16, align 8, !tbaa !11
  %17 = getelementptr inbounds i8, ptr %0, i64 16
  store double %3, ptr %17, align 8, !tbaa !12
  %18 = getelementptr inbounds i8, ptr %0, i64 24
  store double %4, ptr %18, align 8, !tbaa !13
  %19 = getelementptr inbounds i8, ptr %0, i64 32
  store double %5, ptr %19, align 8, !tbaa !14
  %20 = getelementptr inbounds i8, ptr %0, i64 40
  store double %6, ptr %20, align 8, !tbaa !15
  %21 = getelementptr inbounds i8, ptr %0, i64 48
  store double %7, ptr %21, align 8, !tbaa !16
  %22 = getelementptr inbounds i8, ptr %0, i64 56
  store double %8, ptr %22, align 8, !tbaa !17
  %23 = getelementptr inbounds i8, ptr %0, i64 64
  store double %9, ptr %23, align 8, !tbaa !18
  %24 = getelementptr inbounds i8, ptr %0, i64 72
  store double %10, ptr %24, align 8, !tbaa !19
  %25 = getelementptr inbounds i8, ptr %0, i64 80
  store i32 %11, ptr %25, align 8, !tbaa !20
  %26 = getelementptr inbounds i8, ptr %0, i64 84
  store i32 %12, ptr %26, align 4, !tbaa !21
  %27 = getelementptr inbounds i8, ptr %0, i64 88
  store i32 %13, ptr %27, align 8, !tbaa !22
  %28 = getelementptr inbounds i8, ptr %0, i64 92
  store i32 %14, ptr %28, align 4, !tbaa !23
  %29 = sdiv i32 %13, 2
  %30 = add nsw i32 %29, 1
  %31 = getelementptr inbounds i8, ptr %0, i64 160
  store i32 %30, ptr %31, align 8, !tbaa !24
  %32 = add nsw i32 %13, 1
  %33 = sdiv i32 %32, 2
  %34 = getelementptr inbounds i8, ptr %0, i64 164
  store i32 %33, ptr %34, align 4, !tbaa !25
  %35 = icmp sgt i32 %13, 2
  br i1 %35, label %36, label %38

36:                                               ; preds = %15
  %37 = lshr i32 %32, 1
  store i32 %37, ptr %31, align 8, !tbaa !24
  br label %38

38:                                               ; preds = %36, %15
  %39 = getelementptr inbounds i8, ptr %0, i64 96
  switch i32 %14, label %60 [
    i32 1, label %40
    i32 2, label %50
  ]

40:                                               ; preds = %38
  %41 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str)
  %42 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %41, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  %43 = load <2 x double>, ptr %0, align 8, !tbaa !26
  %44 = load <2 x i32>, ptr %25, align 8, !tbaa !27
  %45 = sitofp <2 x i32> %44 to <2 x double>
  %46 = fdiv <2 x double> %43, %45
  %47 = extractelement <2 x double> %46, i64 0
  store double %47, ptr %39, align 8, !tbaa !28
  %48 = extractelement <2 x double> %46, i64 1
  %49 = extractelement <2 x i32> %44, i64 0
  br label %72

50:                                               ; preds = %38
  %51 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.1)
  %52 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %51, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  %53 = load <2 x double>, ptr %0, align 8, !tbaa !26
  %54 = load <2 x i32>, ptr %25, align 8, !tbaa !27
  %55 = sitofp <2 x i32> %54 to <2 x double>
  %56 = fdiv <2 x double> %53, %55
  %57 = extractelement <2 x double> %56, i64 0
  store double %57, ptr %39, align 8, !tbaa !28
  %58 = extractelement <2 x double> %56, i64 1
  %59 = extractelement <2 x i32> %54, i64 0
  br label %72

60:                                               ; preds = %38
  %61 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.2)
  %62 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %61, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  %63 = load <2 x double>, ptr %0, align 8, !tbaa !26
  %64 = load <2 x i32>, ptr %25, align 8, !tbaa !27
  %65 = sitofp <2 x i32> %64 to <2 x double>
  %66 = fdiv <2 x double> %63, %65
  %67 = shufflevector <2 x double> %66, <2 x double> poison, <2 x i32> <i32 1, i32 0>
  %68 = extractelement <2 x double> %66, i64 0
  store double %68, ptr %39, align 8, !tbaa !28
  %69 = extractelement <2 x double> %66, i64 1
  %70 = extractelement <2 x i32> %64, i64 0
  %71 = extractelement <2 x i32> %64, i64 1
  br label %72

72:                                               ; preds = %50, %60, %40
  %.sink35 = phi double [ %58, %50 ], [ %69, %60 ], [ %48, %40 ]
  %.sink34 = phi i32 [ %59, %50 ], [ %70, %60 ], [ %49, %40 ]
  %.sink22 = phi i32 [ %59, %50 ], [ %71, %60 ], [ %49, %40 ]
  %73 = phi <2 x double> [ %56, %50 ], [ %67, %60 ], [ %46, %40 ]
  %74 = getelementptr inbounds i8, ptr %0, i64 112
  %75 = getelementptr inbounds i8, ptr %0, i64 104
  store double %.sink35, ptr %75, align 8, !tbaa !29
  %76 = load i32, ptr %31, align 8, !tbaa !24
  %77 = mul nsw i32 %76, %.sink34
  %78 = sitofp i32 %77 to double
  %79 = load <2 x double>, ptr %20, align 8, !tbaa !26
  %80 = insertelement <2 x double> poison, double %78, i64 0
  %81 = shufflevector <2 x double> %80, <2 x double> poison, <2 x i32> zeroinitializer
  %82 = fdiv <2 x double> %79, %81
  store <2 x double> %82, ptr %74, align 8, !tbaa !26
  %83 = getelementptr inbounds i8, ptr %0, i64 128
  store <2 x double> %73, ptr %83, align 8, !tbaa !26
  %84 = load i32, ptr %34, align 4, !tbaa !25
  %85 = mul nsw i32 %84, %.sink22
  %86 = sitofp i32 %85 to double
  %87 = getelementptr inbounds i8, ptr %0, i64 144
  %88 = load <2 x double>, ptr %22, align 8, !tbaa !26
  %89 = insertelement <2 x double> poison, double %86, i64 0
  %90 = shufflevector <2 x double> %89, <2 x double> poison, <2 x i32> zeroinitializer
  %91 = fdiv <2 x double> %88, %90
  store <2 x double> %91, ptr %87, align 8, !tbaa !26
  ret void
}

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) local_unnamed_addr #1

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) local_unnamed_addr #0 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_(ptr noundef nonnull align 8 dereferenceable(8)) #1

attributes #0 = { 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 #1 = { 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" }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !7, i64 0}
!6 = !{!"_ZTS3HXM", !7, i64 0, !7, i64 8, !7, i64 16, !7, i64 24, !7, i64 32, !7, i64 40, !7, i64 48, !7, i64 56, !7, i64 64, !7, i64 72, !10, i64 80, !10, i64 84, !10, i64 88, !10, i64 92, !7, i64 96, !7, i64 104, !7, i64 112, !7, i64 120, !7, i64 128, !7, i64 136, !7, i64 144, !7, i64 152, !10, i64 160, !10, i64 164}
!7 = !{!"double", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!"int", !8, i64 0}
!11 = !{!6, !7, i64 8}
!12 = !{!6, !7, i64 16}
!13 = !{!6, !7, i64 24}
!14 = !{!6, !7, i64 32}
!15 = !{!6, !7, i64 40}
!16 = !{!6, !7, i64 48}
!17 = !{!6, !7, i64 56}
!18 = !{!6, !7, i64 64}
!19 = !{!6, !7, i64 72}
!20 = !{!6, !10, i64 80}
!21 = !{!6, !10, i64 84}
!22 = !{!6, !10, i64 88}
!23 = !{!6, !10, i64 92}
!24 = !{!6, !10, i64 160}
!25 = !{!6, !10, i64 164}
!26 = !{!7, !7, i64 0}
!27 = !{!10, !10, i64 0}
!28 = !{!6, !7, i64 96}
!29 = !{!6, !7, i64 104}


; Effective O3 passes: DSEPass,EarlyCSEPass,GlobalOptPass,IPSCCPPass,InstCombinePass,PostOrderFunctionAttrsPass,ReassociatePass,SLPVectorizerPass,SROAPass,SimplifyCFGPass,TailCallElimPass