; LLVM IR from gem5/gem5 :: ext/dsent/model/electrical (Multiplexer)

; 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.LibUtil::String" = type { %"class.std::__cxx11::basic_string" }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }

@.str = external hidden unnamed_addr constant [13 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.35 = external hidden unnamed_addr constant [9 x i8], align 1

declare i32 @__gxx_personality_v0(...)

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

declare void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef) unnamed_addr #1

; Function Attrs: nounwind
declare void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #2

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

declare void @_ZNK5DSENT5Model12getParameterERKN7LibUtil6StringE(ptr dead_on_unwind writable sret(%"class.LibUtil::String") align 8, ptr noundef nonnull align 8 dereferenceable(131), ptr noundef nonnull align 8 dereferenceable(32)) #1

declare noundef i32 @_ZNK7LibUtil6StringcvjEv(ptr noundef nonnull align 8 dereferenceable(32)) #1

; Function Attrs: nounwind
declare double @log2(double noundef) #2

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.ceil.f64(double) #3

declare noundef zeroext i1 @_ZNK7LibUtil6StringcvbEv(ptr noundef nonnull align 8 dereferenceable(32)) #1

declare noundef zeroext i1 @_ZNK7LibUtil6String6toBoolEv(ptr noundef nonnull align 8 dereferenceable(32)) #1

declare void @_ZN7LibUtil6String6formatERKS0_z(ptr dead_on_unwind writable sret(%"class.LibUtil::String") align 8, ptr noundef nonnull align 8 dereferenceable(32), ...) #1

declare void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #1

; Function Attrs: mustprogress nounwind uwtable
declare void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #4 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef, ptr noundef nonnull align 8 dereferenceable(32)) #5

declare void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32), i32 noundef) unnamed_addr #1

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.floor.f64(double) #3

declare noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131), ptr noundef nonnull align 8 dereferenceable(32)) #1

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN5DSENT11Multiplexer23propagateTransitionInfoEv(ptr noundef nonnull align 8 dereferenceable(240) %0) unnamed_addr #6 align 2 personality ptr @__gxx_personality_v0 {
  %2 = alloca ptr, align 8
  %3 = alloca i32, align 4
  %4 = alloca %"class.LibUtil::String", align 8
  %5 = alloca %"class.LibUtil::String", align 8
  %6 = alloca ptr, align 8
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca %"class.LibUtil::String", align 8
  %10 = alloca %"class.LibUtil::String", align 8
  %11 = alloca i32, align 4
  %12 = alloca i8, align 1
  %13 = alloca %"class.LibUtil::String", align 8
  %14 = alloca %"class.LibUtil::String", align 8
  %15 = alloca i8, align 1
  %16 = alloca %"class.LibUtil::String", align 8
  %17 = alloca %"class.LibUtil::String", align 8
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca %"class.LibUtil::String", align 8
  %23 = alloca %"class.LibUtil::String", align 8
  %24 = alloca ptr, align 8
  %25 = alloca %"class.LibUtil::String", align 8
  %26 = alloca i32, align 4
  %27 = alloca %"class.LibUtil::String", align 8
  %28 = alloca %"class.std::__cxx11::basic_string", align 8
  %29 = alloca %"class.LibUtil::String", align 8
  %30 = alloca %"class.LibUtil::String", align 8
  %31 = alloca %"class.std::__cxx11::basic_string", align 8
  %32 = alloca %"class.LibUtil::String", align 8
  %33 = alloca i32, align 4
  %34 = alloca %"class.LibUtil::String", align 8
  %35 = alloca %"class.std::__cxx11::basic_string", align 8
  %36 = alloca %"class.LibUtil::String", align 8
  %37 = alloca %"class.LibUtil::String", align 8
  %38 = alloca %"class.std::__cxx11::basic_string", align 8
  %39 = alloca %"class.LibUtil::String", align 8
  %40 = alloca ptr, align 8
  %41 = alloca %"class.LibUtil::String", align 8
  %42 = alloca i32, align 4
  %43 = alloca %"class.LibUtil::String", align 8
  %44 = alloca %"class.std::__cxx11::basic_string", align 8
  %45 = alloca %"class.LibUtil::String", align 8
  %46 = alloca %"class.LibUtil::String", align 8
  %47 = alloca %"class.std::__cxx11::basic_string", align 8
  %48 = alloca %"class.LibUtil::String", align 8
  %49 = alloca i32, align 4
  %50 = alloca %"class.LibUtil::String", align 8
  %51 = alloca %"class.std::__cxx11::basic_string", align 8
  %52 = alloca %"class.LibUtil::String", align 8
  %53 = alloca %"class.LibUtil::String", align 8
  %54 = alloca %"class.std::__cxx11::basic_string", align 8
  %55 = alloca %"class.LibUtil::String", align 8
  %56 = alloca ptr, align 8
  %57 = alloca %"class.LibUtil::String", align 8
  %58 = alloca %"class.std::__cxx11::basic_string", align 8
  %59 = alloca %"class.LibUtil::String", align 8
  %60 = alloca %"class.LibUtil::String", align 8
  %61 = alloca %"class.LibUtil::String", align 8
  %62 = alloca %"class.LibUtil::String", align 8
  %63 = alloca %"class.LibUtil::String", align 8
  %64 = alloca %"class.LibUtil::String", align 8
  %65 = alloca %"class.LibUtil::String", align 8
  %66 = alloca %"class.std::__cxx11::basic_string", align 8
  %67 = alloca %"class.LibUtil::String", align 8
  %68 = alloca i32, align 4
  %69 = alloca ptr, align 8
  %70 = alloca %"class.LibUtil::String", align 8
  %71 = alloca %"class.LibUtil::String", align 8
  %72 = alloca ptr, align 8
  %73 = alloca %"class.LibUtil::String", align 8
  %74 = alloca %"class.LibUtil::String", align 8
  %75 = alloca %"class.LibUtil::String", align 8
  %76 = alloca %"class.LibUtil::String", align 8
  %77 = alloca %"class.std::__cxx11::basic_string", align 8
  %78 = alloca %"class.LibUtil::String", align 8
  %79 = alloca %"class.LibUtil::String", align 8
  %80 = alloca %"class.LibUtil::String", align 8
  %81 = alloca %"class.LibUtil::String", align 8
  %82 = alloca %"class.LibUtil::String", align 8
  %83 = alloca i32, align 4
  %84 = alloca i32, align 4
  %85 = alloca ptr, align 8
  %86 = alloca %"class.LibUtil::String", align 8
  %87 = alloca %"class.std::__cxx11::basic_string", align 8
  %88 = alloca %"class.LibUtil::String", align 8
  %89 = alloca i32, align 4
  %90 = alloca %"class.LibUtil::String", align 8
  %91 = alloca %"class.std::__cxx11::basic_string", align 8
  %92 = alloca %"class.LibUtil::String", align 8
  %93 = alloca %"class.LibUtil::String", align 8
  %94 = alloca %"class.std::__cxx11::basic_string", align 8
  %95 = alloca %"class.LibUtil::String", align 8
  %96 = alloca i32, align 4
  %97 = alloca %"class.LibUtil::String", align 8
  %98 = alloca %"class.std::__cxx11::basic_string", align 8
  %99 = alloca %"class.LibUtil::String", align 8
  %100 = alloca %"class.LibUtil::String", align 8
  %101 = alloca %"class.std::__cxx11::basic_string", align 8
  %102 = alloca %"class.LibUtil::String", align 8
  %103 = alloca ptr, align 8
  %104 = alloca %"class.LibUtil::String", align 8
  %105 = alloca %"class.LibUtil::String", align 8
  %106 = alloca %"class.LibUtil::String", align 8
  store ptr %0, ptr %2, align 8, !tbaa !5
  %107 = load ptr, ptr %2, align 8
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %4) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %5) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %5, ptr noundef @.str.1)
  invoke void @_ZNK5DSENT5Model12getParameterERKN7LibUtil6StringE(ptr dead_on_unwind writable sret(%"class.LibUtil::String") align 8 %4, ptr noundef nonnull align 8 dereferenceable(131) %107, ptr noundef nonnull align 8 dereferenceable(32) %5)
          to label %108 unwind label %158

108:                                              ; preds = %1
  %109 = invoke noundef i32 @_ZNK7LibUtil6StringcvjEv(ptr noundef nonnull align 8 dereferenceable(32) %4)
          to label %110 unwind label %162

110:                                              ; preds = %108
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %4) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %5) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %5) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %4) #7
  store i32 %109, ptr %3, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %9) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %10) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %10, ptr noundef @.str)
  invoke void @_ZNK5DSENT5Model12getParameterERKN7LibUtil6StringE(ptr dead_on_unwind writable sret(%"class.LibUtil::String") align 8 %9, ptr noundef nonnull align 8 dereferenceable(131) %107, ptr noundef nonnull align 8 dereferenceable(32) %10)
          to label %111 unwind label %167

111:                                              ; preds = %110
  %112 = invoke noundef i32 @_ZNK7LibUtil6StringcvjEv(ptr noundef nonnull align 8 dereferenceable(32) %9)
          to label %113 unwind label %171

113:                                              ; preds = %111
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %9) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %10) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %9) #7
  store i32 %112, ptr %8, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #7
  %114 = load i32, ptr %8, align 4, !tbaa !9
  %115 = uitofp i32 %114 to double
  %116 = call double @log2(double noundef %115) #7
  %117 = call double @llvm.ceil.f64(double %116)
  %118 = fptoui double %117 to i32
  store i32 %118, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %12) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %13) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %14) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %14, ptr noundef @.str.2)
  invoke void @_ZNK5DSENT5Model12getParameterERKN7LibUtil6StringE(ptr dead_on_unwind writable sret(%"class.LibUtil::String") align 8 %13, ptr noundef nonnull align 8 dereferenceable(131) %107, ptr noundef nonnull align 8 dereferenceable(32) %14)
          to label %119 unwind label %176

119:                                              ; preds = %113
  %120 = invoke noundef zeroext i1 @_ZNK7LibUtil6StringcvbEv(ptr noundef nonnull align 8 dereferenceable(32) %13)
          to label %121 unwind label %180

121:                                              ; preds = %119
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %14) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %13) #7
  %122 = zext i1 %120 to i8
  store i8 %122, ptr %12, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %15) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %16) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %17) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %17, ptr noundef @.str.4)
  invoke void @_ZNK5DSENT5Model12getParameterERKN7LibUtil6StringE(ptr dead_on_unwind writable sret(%"class.LibUtil::String") align 8 %16, ptr noundef nonnull align 8 dereferenceable(131) %107, ptr noundef nonnull align 8 dereferenceable(32) %17)
          to label %123 unwind label %185

123:                                              ; preds = %121
  %124 = invoke noundef zeroext i1 @_ZNK7LibUtil6String6toBoolEv(ptr noundef nonnull align 8 dereferenceable(32) %16)
          to label %125 unwind label %189

125:                                              ; preds = %123
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %17) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %17) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %16) #7
  %126 = zext i1 %124 to i8
  store i8 %126, ptr %15, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #7
  %127 = load i32, ptr %8, align 4, !tbaa !9
  %128 = uitofp i32 %127 to double
  %129 = fdiv double %128, 2.000000e+00
  %130 = call double @llvm.ceil.f64(double %129)
  %131 = fptoui double %130 to i32
  store i32 %131, ptr %18, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #7
  %132 = load i32, ptr %18, align 4, !tbaa !9
  %133 = uitofp i32 %132 to double
  %134 = call double @log2(double noundef %133) #7
  %135 = call double @llvm.ceil.f64(double %134)
  %136 = fptoui double %135 to i32
  store i32 %136, ptr %19, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #7
  %137 = load i32, ptr %8, align 4, !tbaa !9
  %138 = uitofp i32 %137 to double
  %139 = fdiv double %138, 2.000000e+00
  %140 = call double @llvm.floor.f64(double %139)
  %141 = fptoui double %140 to i32
  store i32 %141, ptr %20, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #7
  %142 = load i32, ptr %20, align 4, !tbaa !9
  %143 = uitofp i32 %142 to double
  %144 = call double @log2(double noundef %143) #7
  %145 = call double @llvm.ceil.f64(double %144)
  %146 = fptoui double %145 to i32
  store i32 %146, ptr %21, align 4, !tbaa !9
  %147 = load i8, ptr %12, align 1, !tbaa !11, !range !13, !noundef !14
  %148 = trunc i8 %147 to i1
  br i1 %148, label %152, label %149

149:                                              ; preds = %125
  %150 = load i32, ptr %3, align 4, !tbaa !9
  %151 = icmp eq i32 %150, 1
  br i1 %151, label %152, label %582

152:                                              ; preds = %149, %125
  %153 = load i32, ptr %8, align 4, !tbaa !9
  %154 = icmp eq i32 %153, 1
  br i1 %154, label %155, label %203

155:                                              ; preds = %152
  call void @llvm.lifetime.start.p0(i64 32, ptr %22) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %22, ptr noundef @.str.12)
  call void @llvm.lifetime.start.p0(i64 32, ptr %23) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %23, ptr noundef @.str.15)
          to label %156 unwind label %194

156:                                              ; preds = %155
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoERKN7LibUtil6StringES4_(ptr noundef nonnull align 8 dereferenceable(240) %107, ptr noundef nonnull align 8 dereferenceable(32) %22, ptr noundef nonnull align 8 dereferenceable(32) %23)
          to label %157 unwind label %198

157:                                              ; preds = %156
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %23) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %23) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %22) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %22) #7
  br label %581

158:                                              ; preds = %1
  %159 = landingpad { ptr, i32 }
          cleanup
  %160 = extractvalue { ptr, i32 } %159, 0
  store ptr %160, ptr %6, align 8
  %161 = extractvalue { ptr, i32 } %159, 1
  store i32 %161, ptr %7, align 4
  br label %166

162:                                              ; preds = %108
  %163 = landingpad { ptr, i32 }
          cleanup
  %164 = extractvalue { ptr, i32 } %163, 0
  store ptr %164, ptr %6, align 8
  %165 = extractvalue { ptr, i32 } %163, 1
  store i32 %165, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %4) #7
  br label %166

166:                                              ; preds = %162, %158
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %5) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %5) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %4) #7
  br label %734

167:                                              ; preds = %110
  %168 = landingpad { ptr, i32 }
          cleanup
  %169 = extractvalue { ptr, i32 } %168, 0
  store ptr %169, ptr %6, align 8
  %170 = extractvalue { ptr, i32 } %168, 1
  store i32 %170, ptr %7, align 4
  br label %175

171:                                              ; preds = %111
  %172 = landingpad { ptr, i32 }
          cleanup
  %173 = extractvalue { ptr, i32 } %172, 0
  store ptr %173, ptr %6, align 8
  %174 = extractvalue { ptr, i32 } %172, 1
  store i32 %174, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %9) #7
  br label %175

175:                                              ; preds = %171, %167
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %10) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %9) #7
  br label %733

176:                                              ; preds = %113
  %177 = landingpad { ptr, i32 }
          cleanup
  %178 = extractvalue { ptr, i32 } %177, 0
  store ptr %178, ptr %6, align 8
  %179 = extractvalue { ptr, i32 } %177, 1
  store i32 %179, ptr %7, align 4
  br label %184

180:                                              ; preds = %119
  %181 = landingpad { ptr, i32 }
          cleanup
  %182 = extractvalue { ptr, i32 } %181, 0
  store ptr %182, ptr %6, align 8
  %183 = extractvalue { ptr, i32 } %181, 1
  store i32 %183, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #7
  br label %184

184:                                              ; preds = %180, %176
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %14) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %13) #7
  br label %732

185:                                              ; preds = %121
  %186 = landingpad { ptr, i32 }
          cleanup
  %187 = extractvalue { ptr, i32 } %186, 0
  store ptr %187, ptr %6, align 8
  %188 = extractvalue { ptr, i32 } %186, 1
  store i32 %188, ptr %7, align 4
  br label %193

189:                                              ; preds = %123
  %190 = landingpad { ptr, i32 }
          cleanup
  %191 = extractvalue { ptr, i32 } %190, 0
  store ptr %191, ptr %6, align 8
  %192 = extractvalue { ptr, i32 } %190, 1
  store i32 %192, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #7
  br label %193

193:                                              ; preds = %189, %185
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %17) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %17) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %16) #7
  br label %731

194:                                              ; preds = %155
  %195 = landingpad { ptr, i32 }
          cleanup
  %196 = extractvalue { ptr, i32 } %195, 0
  store ptr %196, ptr %6, align 8
  %197 = extractvalue { ptr, i32 } %195, 1
  store i32 %197, ptr %7, align 4
  br label %202

198:                                              ; preds = %156
  %199 = landingpad { ptr, i32 }
          cleanup
  %200 = extractvalue { ptr, i32 } %199, 0
  store ptr %200, ptr %6, align 8
  %201 = extractvalue { ptr, i32 } %199, 1
  store i32 %201, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %23) #7
  br label %202

202:                                              ; preds = %198, %194
  call void @llvm.lifetime.end.p0(i64 32, ptr %23) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %22) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %22) #7
  br label %730

203:                                              ; preds = %152
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %25) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %25, ptr noundef @.str.16)
  %204 = invoke noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131) %107, ptr noundef nonnull align 8 dereferenceable(32) %25)
          to label %205 unwind label %211

205:                                              ; preds = %203
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %25) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %25) #7
  store ptr %204, ptr %24, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #7
  store i32 0, ptr %26, align 4, !tbaa !9
  br label %206

206:                                              ; preds = %225, %205
  %207 = load i32, ptr %26, align 4, !tbaa !9
  %208 = load i32, ptr %18, align 4, !tbaa !9
  %209 = icmp ult i32 %207, %208
  br i1 %209, label %215, label %210

210:                                              ; preds = %206
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #7
  br label %257

211:                                              ; preds = %203
  %212 = landingpad { ptr, i32 }
          cleanup
  %213 = extractvalue { ptr, i32 } %212, 0
  store ptr %213, ptr %6, align 8
  %214 = extractvalue { ptr, i32 } %212, 1
  store i32 %214, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %25) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %25) #7
  br label %580

215:                                              ; preds = %206
  %216 = load ptr, ptr %24, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %27) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %28) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %29) #7
  %217 = load i32, ptr %26, align 4, !tbaa !9
  call void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %29, i32 noundef %217)
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %28, ptr noundef @.str.10, ptr noundef nonnull align 8 dereferenceable(32) %29)
          to label %218 unwind label %228

218:                                              ; preds = %215
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %27, ptr noundef nonnull align 8 dereferenceable(32) %28)
          to label %219 unwind label %232

219:                                              ; preds = %218
  call void @llvm.lifetime.start.p0(i64 32, ptr %30) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %31) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %32) #7
  %220 = load i32, ptr %26, align 4, !tbaa !9
  invoke void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %32, i32 noundef %220)
          to label %221 unwind label %236

221:                                              ; preds = %219
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %31, ptr noundef @.str.10, ptr noundef nonnull align 8 dereferenceable(32) %32)
          to label %222 unwind label %240

222:                                              ; preds = %221
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %30, ptr noundef nonnull align 8 dereferenceable(32) %31)
          to label %223 unwind label %244

223:                                              ; preds = %222
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240) %107, ptr noundef %216, ptr noundef nonnull align 8 dereferenceable(32) %27, ptr noundef nonnull align 8 dereferenceable(32) %30)
          to label %224 unwind label %248

224:                                              ; preds = %223
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %30) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %31) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %32) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %32) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %31) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %30) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %27) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %28) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %29) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %29) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %28) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %27) #7
  br label %225

225:                                              ; preds = %224
  %226 = load i32, ptr %26, align 4, !tbaa !9
  %227 = add i32 %226, 1
  store i32 %227, ptr %26, align 4, !tbaa !9
  br label %206, !llvm.loop !15

228:                                              ; preds = %215
  %229 = landingpad { ptr, i32 }
          cleanup
  %230 = extractvalue { ptr, i32 } %229, 0
  store ptr %230, ptr %6, align 8
  %231 = extractvalue { ptr, i32 } %229, 1
  store i32 %231, ptr %7, align 4
  br label %256

232:                                              ; preds = %218
  %233 = landingpad { ptr, i32 }
          cleanup
  %234 = extractvalue { ptr, i32 } %233, 0
  store ptr %234, ptr %6, align 8
  %235 = extractvalue { ptr, i32 } %233, 1
  store i32 %235, ptr %7, align 4
  br label %255

236:                                              ; preds = %219
  %237 = landingpad { ptr, i32 }
          cleanup
  %238 = extractvalue { ptr, i32 } %237, 0
  store ptr %238, ptr %6, align 8
  %239 = extractvalue { ptr, i32 } %237, 1
  store i32 %239, ptr %7, align 4
  br label %254

240:                                              ; preds = %221
  %241 = landingpad { ptr, i32 }
          cleanup
  %242 = extractvalue { ptr, i32 } %241, 0
  store ptr %242, ptr %6, align 8
  %243 = extractvalue { ptr, i32 } %241, 1
  store i32 %243, ptr %7, align 4
  br label %253

244:                                              ; preds = %222
  %245 = landingpad { ptr, i32 }
          cleanup
  %246 = extractvalue { ptr, i32 } %245, 0
  store ptr %246, ptr %6, align 8
  %247 = extractvalue { ptr, i32 } %245, 1
  store i32 %247, ptr %7, align 4
  br label %252

248:                                              ; preds = %223
  %249 = landingpad { ptr, i32 }
          cleanup
  %250 = extractvalue { ptr, i32 } %249, 0
  store ptr %250, ptr %6, align 8
  %251 = extractvalue { ptr, i32 } %249, 1
  store i32 %251, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %30) #7
  br label %252

252:                                              ; preds = %248, %244
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %31) #7
  br label %253

253:                                              ; preds = %252, %240
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %32) #7
  br label %254

254:                                              ; preds = %253, %236
  call void @llvm.lifetime.end.p0(i64 32, ptr %32) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %31) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %30) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %27) #7
  br label %255

255:                                              ; preds = %254, %232
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %28) #7
  br label %256

256:                                              ; preds = %255, %228
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %29) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %29) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %28) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %27) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #7
  br label %580

257:                                              ; preds = %210
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #7
  store i32 0, ptr %33, align 4, !tbaa !9
  br label %258

258:                                              ; preds = %273, %257
  %259 = load i32, ptr %33, align 4, !tbaa !9
  %260 = load i32, ptr %19, align 4, !tbaa !9
  %261 = icmp ult i32 %259, %260
  br i1 %261, label %263, label %262

262:                                              ; preds = %258
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #7
  br label %305

263:                                              ; preds = %258
  %264 = load ptr, ptr %24, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %34) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %35) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %36) #7
  %265 = load i32, ptr %33, align 4, !tbaa !9
  call void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %36, i32 noundef %265)
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %35, ptr noundef @.str.11, ptr noundef nonnull align 8 dereferenceable(32) %36)
          to label %266 unwind label %276

266:                                              ; preds = %263
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %34, ptr noundef nonnull align 8 dereferenceable(32) %35)
          to label %267 unwind label %280

267:                                              ; preds = %266
  call void @llvm.lifetime.start.p0(i64 32, ptr %37) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %38) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %39) #7
  %268 = load i32, ptr %33, align 4, !tbaa !9
  invoke void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %39, i32 noundef %268)
          to label %269 unwind label %284

269:                                              ; preds = %267
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %38, ptr noundef @.str.11, ptr noundef nonnull align 8 dereferenceable(32) %39)
          to label %270 unwind label %288

270:                                              ; preds = %269
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %37, ptr noundef nonnull align 8 dereferenceable(32) %38)
          to label %271 unwind label %292

271:                                              ; preds = %270
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240) %107, ptr noundef %264, ptr noundef nonnull align 8 dereferenceable(32) %34, ptr noundef nonnull align 8 dereferenceable(32) %37)
          to label %272 unwind label %296

272:                                              ; preds = %271
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %37) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %38) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %39) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %39) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %38) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %37) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %34) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %35) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %36) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %36) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %35) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %34) #7
  br label %273

273:                                              ; preds = %272
  %274 = load i32, ptr %33, align 4, !tbaa !9
  %275 = add i32 %274, 1
  store i32 %275, ptr %33, align 4, !tbaa !9
  br label %258, !llvm.loop !17

276:                                              ; preds = %263
  %277 = landingpad { ptr, i32 }
          cleanup
  %278 = extractvalue { ptr, i32 } %277, 0
  store ptr %278, ptr %6, align 8
  %279 = extractvalue { ptr, i32 } %277, 1
  store i32 %279, ptr %7, align 4
  br label %304

280:                                              ; preds = %266
  %281 = landingpad { ptr, i32 }
          cleanup
  %282 = extractvalue { ptr, i32 } %281, 0
  store ptr %282, ptr %6, align 8
  %283 = extractvalue { ptr, i32 } %281, 1
  store i32 %283, ptr %7, align 4
  br label %303

284:                                              ; preds = %267
  %285 = landingpad { ptr, i32 }
          cleanup
  %286 = extractvalue { ptr, i32 } %285, 0
  store ptr %286, ptr %6, align 8
  %287 = extractvalue { ptr, i32 } %285, 1
  store i32 %287, ptr %7, align 4
  br label %302

288:                                              ; preds = %269
  %289 = landingpad { ptr, i32 }
          cleanup
  %290 = extractvalue { ptr, i32 } %289, 0
  store ptr %290, ptr %6, align 8
  %291 = extractvalue { ptr, i32 } %289, 1
  store i32 %291, ptr %7, align 4
  br label %301

292:                                              ; preds = %270
  %293 = landingpad { ptr, i32 }
          cleanup
  %294 = extractvalue { ptr, i32 } %293, 0
  store ptr %294, ptr %6, align 8
  %295 = extractvalue { ptr, i32 } %293, 1
  store i32 %295, ptr %7, align 4
  br label %300

296:                                              ; preds = %271
  %297 = landingpad { ptr, i32 }
          cleanup
  %298 = extractvalue { ptr, i32 } %297, 0
  store ptr %298, ptr %6, align 8
  %299 = extractvalue { ptr, i32 } %297, 1
  store i32 %299, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %37) #7
  br label %300

300:                                              ; preds = %296, %292
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %38) #7
  br label %301

301:                                              ; preds = %300, %288
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %39) #7
  br label %302

302:                                              ; preds = %301, %284
  call void @llvm.lifetime.end.p0(i64 32, ptr %39) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %38) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %37) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %34) #7
  br label %303

303:                                              ; preds = %302, %280
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %35) #7
  br label %304

304:                                              ; preds = %303, %276
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %36) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %36) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %35) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %34) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #7
  br label %580

305:                                              ; preds = %262
  %306 = load ptr, ptr %24, align 8, !tbaa !5
  call void @_ZN5DSENT5Model3useEv(ptr noundef nonnull align 8 dereferenceable(131) %306)
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %41) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %41, ptr noundef @.str.17)
  %307 = invoke noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131) %107, ptr noundef nonnull align 8 dereferenceable(32) %41)
          to label %308 unwind label %314

308:                                              ; preds = %305
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %41) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %41) #7
  store ptr %307, ptr %40, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #7
  store i32 0, ptr %42, align 4, !tbaa !9
  br label %309

309:                                              ; preds = %330, %308
  %310 = load i32, ptr %42, align 4, !tbaa !9
  %311 = load i32, ptr %20, align 4, !tbaa !9
  %312 = icmp ult i32 %310, %311
  br i1 %312, label %318, label %313

313:                                              ; preds = %309
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #7
  br label %362

314:                                              ; preds = %305
  %315 = landingpad { ptr, i32 }
          cleanup
  %316 = extractvalue { ptr, i32 } %315, 0
  store ptr %316, ptr %6, align 8
  %317 = extractvalue { ptr, i32 } %315, 1
  store i32 %317, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %41) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %41) #7
  br label %579

318:                                              ; preds = %309
  %319 = load ptr, ptr %40, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %43) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %44) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %45) #7
  %320 = load i32, ptr %42, align 4, !tbaa !9
  call void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %45, i32 noundef %320)
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %44, ptr noundef @.str.10, ptr noundef nonnull align 8 dereferenceable(32) %45)
          to label %321 unwind label %333

321:                                              ; preds = %318
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %43, ptr noundef nonnull align 8 dereferenceable(32) %44)
          to label %322 unwind label %337

322:                                              ; preds = %321
  call void @llvm.lifetime.start.p0(i64 32, ptr %46) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %47) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %48) #7
  %323 = load i32, ptr %42, align 4, !tbaa !9
  %324 = load i32, ptr %18, align 4, !tbaa !9
  %325 = add i32 %323, %324
  invoke void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %48, i32 noundef %325)
          to label %326 unwind label %341

326:                                              ; preds = %322
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %47, ptr noundef @.str.10, ptr noundef nonnull align 8 dereferenceable(32) %48)
          to label %327 unwind label %345

327:                                              ; preds = %326
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %46, ptr noundef nonnull align 8 dereferenceable(32) %47)
          to label %328 unwind label %349

328:                                              ; preds = %327
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240) %107, ptr noundef %319, ptr noundef nonnull align 8 dereferenceable(32) %43, ptr noundef nonnull align 8 dereferenceable(32) %46)
          to label %329 unwind label %353

329:                                              ; preds = %328
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %46) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %47) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %48) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %48) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %47) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %46) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %43) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %44) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %45) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %45) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %44) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %43) #7
  br label %330

330:                                              ; preds = %329
  %331 = load i32, ptr %42, align 4, !tbaa !9
  %332 = add i32 %331, 1
  store i32 %332, ptr %42, align 4, !tbaa !9
  br label %309, !llvm.loop !18

333:                                              ; preds = %318
  %334 = landingpad { ptr, i32 }
          cleanup
  %335 = extractvalue { ptr, i32 } %334, 0
  store ptr %335, ptr %6, align 8
  %336 = extractvalue { ptr, i32 } %334, 1
  store i32 %336, ptr %7, align 4
  br label %361

337:                                              ; preds = %321
  %338 = landingpad { ptr, i32 }
          cleanup
  %339 = extractvalue { ptr, i32 } %338, 0
  store ptr %339, ptr %6, align 8
  %340 = extractvalue { ptr, i32 } %338, 1
  store i32 %340, ptr %7, align 4
  br label %360

341:                                              ; preds = %322
  %342 = landingpad { ptr, i32 }
          cleanup
  %343 = extractvalue { ptr, i32 } %342, 0
  store ptr %343, ptr %6, align 8
  %344 = extractvalue { ptr, i32 } %342, 1
  store i32 %344, ptr %7, align 4
  br label %359

345:                                              ; preds = %326
  %346 = landingpad { ptr, i32 }
          cleanup
  %347 = extractvalue { ptr, i32 } %346, 0
  store ptr %347, ptr %6, align 8
  %348 = extractvalue { ptr, i32 } %346, 1
  store i32 %348, ptr %7, align 4
  br label %358

349:                                              ; preds = %327
  %350 = landingpad { ptr, i32 }
          cleanup
  %351 = extractvalue { ptr, i32 } %350, 0
  store ptr %351, ptr %6, align 8
  %352 = extractvalue { ptr, i32 } %350, 1
  store i32 %352, ptr %7, align 4
  br label %357

353:                                              ; preds = %328
  %354 = landingpad { ptr, i32 }
          cleanup
  %355 = extractvalue { ptr, i32 } %354, 0
  store ptr %355, ptr %6, align 8
  %356 = extractvalue { ptr, i32 } %354, 1
  store i32 %356, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %46) #7
  br label %357

357:                                              ; preds = %353, %349
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %47) #7
  br label %358

358:                                              ; preds = %357, %345
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %48) #7
  br label %359

359:                                              ; preds = %358, %341
  call void @llvm.lifetime.end.p0(i64 32, ptr %48) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %47) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %46) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %43) #7
  br label %360

360:                                              ; preds = %359, %337
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %44) #7
  br label %361

361:                                              ; preds = %360, %333
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %45) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %45) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %44) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %43) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #7
  br label %579

362:                                              ; preds = %313
  call void @llvm.lifetime.start.p0(i64 4, ptr %49) #7
  store i32 0, ptr %49, align 4, !tbaa !9
  br label %363

363:                                              ; preds = %378, %362
  %364 = load i32, ptr %49, align 4, !tbaa !9
  %365 = load i32, ptr %21, align 4, !tbaa !9
  %366 = icmp ult i32 %364, %365
  br i1 %366, label %368, label %367

367:                                              ; preds = %363
  call void @llvm.lifetime.end.p0(i64 4, ptr %49) #7
  br label %410

368:                                              ; preds = %363
  %369 = load ptr, ptr %40, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %50) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %51) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %52) #7
  %370 = load i32, ptr %49, align 4, !tbaa !9
  call void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %52, i32 noundef %370)
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %51, ptr noundef @.str.11, ptr noundef nonnull align 8 dereferenceable(32) %52)
          to label %371 unwind label %381

371:                                              ; preds = %368
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %50, ptr noundef nonnull align 8 dereferenceable(32) %51)
          to label %372 unwind label %385

372:                                              ; preds = %371
  call void @llvm.lifetime.start.p0(i64 32, ptr %53) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %54) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %55) #7
  %373 = load i32, ptr %49, align 4, !tbaa !9
  invoke void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %55, i32 noundef %373)
          to label %374 unwind label %389

374:                                              ; preds = %372
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %54, ptr noundef @.str.11, ptr noundef nonnull align 8 dereferenceable(32) %55)
          to label %375 unwind label %393

375:                                              ; preds = %374
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %53, ptr noundef nonnull align 8 dereferenceable(32) %54)
          to label %376 unwind label %397

376:                                              ; preds = %375
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240) %107, ptr noundef %369, ptr noundef nonnull align 8 dereferenceable(32) %50, ptr noundef nonnull align 8 dereferenceable(32) %53)
          to label %377 unwind label %401

377:                                              ; preds = %376
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %53) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %54) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %55) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %55) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %54) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %53) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %50) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %51) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %52) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %52) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %51) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %50) #7
  br label %378

378:                                              ; preds = %377
  %379 = load i32, ptr %49, align 4, !tbaa !9
  %380 = add i32 %379, 1
  store i32 %380, ptr %49, align 4, !tbaa !9
  br label %363, !llvm.loop !19

381:                                              ; preds = %368
  %382 = landingpad { ptr, i32 }
          cleanup
  %383 = extractvalue { ptr, i32 } %382, 0
  store ptr %383, ptr %6, align 8
  %384 = extractvalue { ptr, i32 } %382, 1
  store i32 %384, ptr %7, align 4
  br label %409

385:                                              ; preds = %371
  %386 = landingpad { ptr, i32 }
          cleanup
  %387 = extractvalue { ptr, i32 } %386, 0
  store ptr %387, ptr %6, align 8
  %388 = extractvalue { ptr, i32 } %386, 1
  store i32 %388, ptr %7, align 4
  br label %408

389:                                              ; preds = %372
  %390 = landingpad { ptr, i32 }
          cleanup
  %391 = extractvalue { ptr, i32 } %390, 0
  store ptr %391, ptr %6, align 8
  %392 = extractvalue { ptr, i32 } %390, 1
  store i32 %392, ptr %7, align 4
  br label %407

393:                                              ; preds = %374
  %394 = landingpad { ptr, i32 }
          cleanup
  %395 = extractvalue { ptr, i32 } %394, 0
  store ptr %395, ptr %6, align 8
  %396 = extractvalue { ptr, i32 } %394, 1
  store i32 %396, ptr %7, align 4
  br label %406

397:                                              ; preds = %375
  %398 = landingpad { ptr, i32 }
          cleanup
  %399 = extractvalue { ptr, i32 } %398, 0
  store ptr %399, ptr %6, align 8
  %400 = extractvalue { ptr, i32 } %398, 1
  store i32 %400, ptr %7, align 4
  br label %405

401:                                              ; preds = %376
  %402 = landingpad { ptr, i32 }
          cleanup
  %403 = extractvalue { ptr, i32 } %402, 0
  store ptr %403, ptr %6, align 8
  %404 = extractvalue { ptr, i32 } %402, 1
  store i32 %404, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %53) #7
  br label %405

405:                                              ; preds = %401, %397
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %54) #7
  br label %406

406:                                              ; preds = %405, %393
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %55) #7
  br label %407

407:                                              ; preds = %406, %389
  call void @llvm.lifetime.end.p0(i64 32, ptr %55) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %54) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %53) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %50) #7
  br label %408

408:                                              ; preds = %407, %385
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %51) #7
  br label %409

409:                                              ; preds = %408, %381
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %52) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %52) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %51) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %50) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %49) #7
  br label %579

410:                                              ; preds = %367
  %411 = load ptr, ptr %40, align 8, !tbaa !5
  call void @_ZN5DSENT5Model3useEv(ptr noundef nonnull align 8 dereferenceable(131) %411)
  call void @llvm.lifetime.start.p0(i64 8, ptr %56) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %57) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %58) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %59) #7
  %412 = load i32, ptr %8, align 4, !tbaa !9
  call void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %59, i32 noundef %412)
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %58, ptr noundef @.str.18, ptr noundef nonnull align 8 dereferenceable(32) %59)
          to label %413 unwind label %441

413:                                              ; preds = %410
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %57, ptr noundef nonnull align 8 dereferenceable(32) %58)
          to label %414 unwind label %445

414:                                              ; preds = %413
  %415 = invoke noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131) %107, ptr noundef nonnull align 8 dereferenceable(32) %57)
          to label %416 unwind label %449

416:                                              ; preds = %414
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %57) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %58) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %59) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %59) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %58) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %57) #7
  store ptr %415, ptr %56, align 8, !tbaa !5
  %417 = load ptr, ptr %56, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %60) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %60, ptr noundef @.str.26)
  %418 = load ptr, ptr %24, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %61) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %61, ptr noundef @.str.12)
          to label %419 unwind label %455

419:                                              ; preds = %416
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringEPKS0_S5_(ptr noundef nonnull align 8 dereferenceable(240) %107, ptr noundef %417, ptr noundef nonnull align 8 dereferenceable(32) %60, ptr noundef %418, ptr noundef nonnull align 8 dereferenceable(32) %61)
          to label %420 unwind label %459

420:                                              ; preds = %419
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %61) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %61) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %60) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %60) #7
  %421 = load ptr, ptr %56, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %62) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %62, ptr noundef @.str.27)
  %422 = load ptr, ptr %40, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %63) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %63, ptr noundef @.str.12)
          to label %423 unwind label %464

423:                                              ; preds = %420
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringEPKS0_S5_(ptr noundef nonnull align 8 dereferenceable(240) %107, ptr noundef %421, ptr noundef nonnull align 8 dereferenceable(32) %62, ptr noundef %422, ptr noundef nonnull align 8 dereferenceable(32) %63)
          to label %424 unwind label %468

424:                                              ; preds = %423
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %63) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %63) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %62) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %62) #7
  %425 = load ptr, ptr %56, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %64) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %64, ptr noundef @.str.31)
  call void @llvm.lifetime.start.p0(i64 32, ptr %65) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %66) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %67) #7
  %426 = load i32, ptr %11, align 4, !tbaa !9
  %427 = sub i32 %426, 1
  invoke void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %67, i32 noundef %427)
          to label %428 unwind label %473

428:                                              ; preds = %424
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %66, ptr noundef @.str.11, ptr noundef nonnull align 8 dereferenceable(32) %67)
          to label %429 unwind label %477

429:                                              ; preds = %428
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %65, ptr noundef nonnull align 8 dereferenceable(32) %66)
          to label %430 unwind label %481

430:                                              ; preds = %429
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240) %107, ptr noundef %425, ptr noundef nonnull align 8 dereferenceable(32) %64, ptr noundef nonnull align 8 dereferenceable(32) %65)
          to label %431 unwind label %485

431:                                              ; preds = %430
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %65) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %66) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %67) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %67) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %66) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %65) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %64) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %64) #7
  %432 = load ptr, ptr %56, align 8, !tbaa !5
  call void @_ZN5DSENT5Model3useEv(ptr noundef nonnull align 8 dereferenceable(131) %432)
  %433 = load i8, ptr %15, align 1, !tbaa !11, !range !13, !noundef !14
  %434 = trunc i8 %433 to i1
  br i1 %434, label %435, label %565

435:                                              ; preds = %431
  call void @llvm.lifetime.start.p0(i64 4, ptr %68) #7
  store i32 0, ptr %68, align 4, !tbaa !9
  br label %436

436:                                              ; preds = %513, %435
  %437 = load i32, ptr %68, align 4, !tbaa !9
  %438 = load i32, ptr %11, align 4, !tbaa !9
  %439 = icmp ult i32 %437, %438
  br i1 %439, label %492, label %440

440:                                              ; preds = %436
  call void @llvm.lifetime.end.p0(i64 4, ptr %68) #7
  br label %564

441:                                              ; preds = %410
  %442 = landingpad { ptr, i32 }
          cleanup
  %443 = extractvalue { ptr, i32 } %442, 0
  store ptr %443, ptr %6, align 8
  %444 = extractvalue { ptr, i32 } %442, 1
  store i32 %444, ptr %7, align 4
  br label %454

445:                                              ; preds = %413
  %446 = landingpad { ptr, i32 }
          cleanup
  %447 = extractvalue { ptr, i32 } %446, 0
  store ptr %447, ptr %6, align 8
  %448 = extractvalue { ptr, i32 } %446, 1
  store i32 %448, ptr %7, align 4
  br label %453

449:                                              ; preds = %414
  %450 = landingpad { ptr, i32 }
          cleanup
  %451 = extractvalue { ptr, i32 } %450, 0
  store ptr %451, ptr %6, align 8
  %452 = extractvalue { ptr, i32 } %450, 1
  store i32 %452, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %57) #7
  br label %453

453:                                              ; preds = %449, %445
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %58) #7
  br label %454

454:                                              ; preds = %453, %441
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %59) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %59) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %58) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %57) #7
  br label %578

455:                                              ; preds = %416
  %456 = landingpad { ptr, i32 }
          cleanup
  %457 = extractvalue { ptr, i32 } %456, 0
  store ptr %457, ptr %6, align 8
  %458 = extractvalue { ptr, i32 } %456, 1
  store i32 %458, ptr %7, align 4
  br label %463

459:                                              ; preds = %419
  %460 = landingpad { ptr, i32 }
          cleanup
  %461 = extractvalue { ptr, i32 } %460, 0
  store ptr %461, ptr %6, align 8
  %462 = extractvalue { ptr, i32 } %460, 1
  store i32 %462, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %61) #7
  br label %463

463:                                              ; preds = %459, %455
  call void @llvm.lifetime.end.p0(i64 32, ptr %61) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %60) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %60) #7
  br label %578

464:                                              ; preds = %420
  %465 = landingpad { ptr, i32 }
          cleanup
  %466 = extractvalue { ptr, i32 } %465, 0
  store ptr %466, ptr %6, align 8
  %467 = extractvalue { ptr, i32 } %465, 1
  store i32 %467, ptr %7, align 4
  br label %472

468:                                              ; preds = %423
  %469 = landingpad { ptr, i32 }
          cleanup
  %470 = extractvalue { ptr, i32 } %469, 0
  store ptr %470, ptr %6, align 8
  %471 = extractvalue { ptr, i32 } %469, 1
  store i32 %471, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %63) #7
  br label %472

472:                                              ; preds = %468, %464
  call void @llvm.lifetime.end.p0(i64 32, ptr %63) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %62) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %62) #7
  br label %578

473:                                              ; preds = %424
  %474 = landingpad { ptr, i32 }
          cleanup
  %475 = extractvalue { ptr, i32 } %474, 0
  store ptr %475, ptr %6, align 8
  %476 = extractvalue { ptr, i32 } %474, 1
  store i32 %476, ptr %7, align 4
  br label %491

477:                                              ; preds = %428
  %478 = landingpad { ptr, i32 }
          cleanup
  %479 = extractvalue { ptr, i32 } %478, 0
  store ptr %479, ptr %6, align 8
  %480 = extractvalue { ptr, i32 } %478, 1
  store i32 %480, ptr %7, align 4
  br label %490

481:                                              ; preds = %429
  %482 = landingpad { ptr, i32 }
          cleanup
  %483 = extractvalue { ptr, i32 } %482, 0
  store ptr %483, ptr %6, align 8
  %484 = extractvalue { ptr, i32 } %482, 1
  store i32 %484, ptr %7, align 4
  br label %489

485:                                              ; preds = %430
  %486 = landingpad { ptr, i32 }
          cleanup
  %487 = extractvalue { ptr, i32 } %486, 0
  store ptr %487, ptr %6, align 8
  %488 = extractvalue { ptr, i32 } %486, 1
  store i32 %488, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %65) #7
  br label %489

489:                                              ; preds = %485, %481
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %66) #7
  br label %490

490:                                              ; preds = %489, %477
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %67) #7
  br label %491

491:                                              ; preds = %490, %473
  call void @llvm.lifetime.end.p0(i64 32, ptr %67) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %66) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %65) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %64) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %64) #7
  br label %578

492:                                              ; preds = %436
  call void @llvm.lifetime.start.p0(i64 8, ptr %69) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %70) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %71) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %71, ptr noundef @.str.22)
  %493 = load i32, ptr %68, align 4, !tbaa !9
  invoke void (ptr, ptr, ...) @_ZN7LibUtil6String6formatERKS0_z(ptr dead_on_unwind writable sret(%"class.LibUtil::String") align 8 %70, ptr noundef nonnull align 8 dereferenceable(32) %71, i32 noundef %493)
          to label %494 unwind label %516

494:                                              ; preds = %492
  %495 = invoke noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131) %107, ptr noundef nonnull align 8 dereferenceable(32) %70)
          to label %496 unwind label %520

496:                                              ; preds = %494
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %70) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %71) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %71) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %70) #7
  store ptr %495, ptr %69, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %72) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %73) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %74) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %74, ptr noundef @.str.23)
  %497 = load i32, ptr %68, align 4, !tbaa !9
  invoke void (ptr, ptr, ...) @_ZN7LibUtil6String6formatERKS0_z(ptr dead_on_unwind writable sret(%"class.LibUtil::String") align 8 %73, ptr noundef nonnull align 8 dereferenceable(32) %74, i32 noundef %497)
          to label %498 unwind label %525

498:                                              ; preds = %496
  %499 = invoke noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131) %107, ptr noundef nonnull align 8 dereferenceable(32) %73)
          to label %500 unwind label %529

500:                                              ; preds = %498
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %73) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %74) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %74) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %73) #7
  store ptr %499, ptr %72, align 8, !tbaa !5
  %501 = load ptr, ptr %69, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %75) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %75, ptr noundef @.str.26)
  call void @llvm.lifetime.start.p0(i64 32, ptr %76) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %77) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %78) #7
  %502 = load i32, ptr %68, align 4, !tbaa !9
  invoke void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %78, i32 noundef %502)
          to label %503 unwind label %534

503:                                              ; preds = %500
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %77, ptr noundef @.str.11, ptr noundef nonnull align 8 dereferenceable(32) %78)
          to label %504 unwind label %538

504:                                              ; preds = %503
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %76, ptr noundef nonnull align 8 dereferenceable(32) %77)
          to label %505 unwind label %542

505:                                              ; preds = %504
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240) %107, ptr noundef %501, ptr noundef nonnull align 8 dereferenceable(32) %75, ptr noundef nonnull align 8 dereferenceable(32) %76)
          to label %506 unwind label %546

506:                                              ; preds = %505
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %76) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %77) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %78) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %78) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %77) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %76) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %75) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %75) #7
  %507 = load ptr, ptr %69, align 8, !tbaa !5
  call void @_ZN5DSENT5Model3useEv(ptr noundef nonnull align 8 dereferenceable(131) %507)
  %508 = load ptr, ptr %72, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %79) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %79, ptr noundef @.str.26)
  %509 = load ptr, ptr %69, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %80) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %80, ptr noundef @.str.30)
          to label %510 unwind label %553

510:                                              ; preds = %506
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringEPKS0_S5_(ptr noundef nonnull align 8 dereferenceable(240) %107, ptr noundef %508, ptr noundef nonnull align 8 dereferenceable(32) %79, ptr noundef %509, ptr noundef nonnull align 8 dereferenceable(32) %80)
          to label %511 unwind label %557

511:                                              ; preds = %510
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %80) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %80) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %79) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %79) #7
  %512 = load ptr, ptr %72, align 8, !tbaa !5
  call void @_ZN5DSENT5Model3useEv(ptr noundef nonnull align 8 dereferenceable(131) %512)
  call void @llvm.lifetime.end.p0(i64 8, ptr %72) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %69) #7
  br label %513

513:                                              ; preds = %511
  %514 = load i32, ptr %68, align 4, !tbaa !9
  %515 = add i32 %514, 1
  store i32 %515, ptr %68, align 4, !tbaa !9
  br label %436, !llvm.loop !20

516:                                              ; preds = %492
  %517 = landingpad { ptr, i32 }
          cleanup
  %518 = extractvalue { ptr, i32 } %517, 0
  store ptr %518, ptr %6, align 8
  %519 = extractvalue { ptr, i32 } %517, 1
  store i32 %519, ptr %7, align 4
  br label %524

520:                                              ; preds = %494
  %521 = landingpad { ptr, i32 }
          cleanup
  %522 = extractvalue { ptr, i32 } %521, 0
  store ptr %522, ptr %6, align 8
  %523 = extractvalue { ptr, i32 } %521, 1
  store i32 %523, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %70) #7
  br label %524

524:                                              ; preds = %520, %516
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %71) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %71) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %70) #7
  br label %563

525:                                              ; preds = %496
  %526 = landingpad { ptr, i32 }
          cleanup
  %527 = extractvalue { ptr, i32 } %526, 0
  store ptr %527, ptr %6, align 8
  %528 = extractvalue { ptr, i32 } %526, 1
  store i32 %528, ptr %7, align 4
  br label %533

529:                                              ; preds = %498
  %530 = landingpad { ptr, i32 }
          cleanup
  %531 = extractvalue { ptr, i32 } %530, 0
  store ptr %531, ptr %6, align 8
  %532 = extractvalue { ptr, i32 } %530, 1
  store i32 %532, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %73) #7
  br label %533

533:                                              ; preds = %529, %525
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %74) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %74) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %73) #7
  br label %562

534:                                              ; preds = %500
  %535 = landingpad { ptr, i32 }
          cleanup
  %536 = extractvalue { ptr, i32 } %535, 0
  store ptr %536, ptr %6, align 8
  %537 = extractvalue { ptr, i32 } %535, 1
  store i32 %537, ptr %7, align 4
  br label %552

538:                                              ; preds = %503
  %539 = landingpad { ptr, i32 }
          cleanup
  %540 = extractvalue { ptr, i32 } %539, 0
  store ptr %540, ptr %6, align 8
  %541 = extractvalue { ptr, i32 } %539, 1
  store i32 %541, ptr %7, align 4
  br label %551

542:                                              ; preds = %504
  %543 = landingpad { ptr, i32 }
          cleanup
  %544 = extractvalue { ptr, i32 } %543, 0
  store ptr %544, ptr %6, align 8
  %545 = extractvalue { ptr, i32 } %543, 1
  store i32 %545, ptr %7, align 4
  br label %550

546:                                              ; preds = %505
  %547 = landingpad { ptr, i32 }
          cleanup
  %548 = extractvalue { ptr, i32 } %547, 0
  store ptr %548, ptr %6, align 8
  %549 = extractvalue { ptr, i32 } %547, 1
  store i32 %549, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %76) #7
  br label %550

550:                                              ; preds = %546, %542
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %77) #7
  br label %551

551:                                              ; preds = %550, %538
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %78) #7
  br label %552

552:                                              ; preds = %551, %534
  call void @llvm.lifetime.end.p0(i64 32, ptr %78) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %77) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %76) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %75) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %75) #7
  br label %562

553:                                              ; preds = %506
  %554 = landingpad { ptr, i32 }
          cleanup
  %555 = extractvalue { ptr, i32 } %554, 0
  store ptr %555, ptr %6, align 8
  %556 = extractvalue { ptr, i32 } %554, 1
  store i32 %556, ptr %7, align 4
  br label %561

557:                                              ; preds = %510
  %558 = landingpad { ptr, i32 }
          cleanup
  %559 = extractvalue { ptr, i32 } %558, 0
  store ptr %559, ptr %6, align 8
  %560 = extractvalue { ptr, i32 } %558, 1
  store i32 %560, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %80) #7
  br label %561

561:                                              ; preds = %557, %553
  call void @llvm.lifetime.end.p0(i64 32, ptr %80) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %79) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %79) #7
  br label %562

562:                                              ; preds = %561, %552, %533
  call void @llvm.lifetime.end.p0(i64 8, ptr %72) #7
  br label %563

563:                                              ; preds = %562, %524
  call void @llvm.lifetime.end.p0(i64 8, ptr %69) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %68) #7
  br label %578

564:                                              ; preds = %440
  br label %565

565:                                              ; preds = %564, %431
  call void @llvm.lifetime.start.p0(i64 32, ptr %81) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %81, ptr noundef @.str.12)
  %566 = load ptr, ptr %56, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %82) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %82, ptr noundef @.str.30)
          to label %567 unwind label %569

567:                                              ; preds = %565
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoERKN7LibUtil6StringEPKS0_S4_(ptr noundef nonnull align 8 dereferenceable(240) %107, ptr noundef nonnull align 8 dereferenceable(32) %81, ptr noundef %566, ptr noundef nonnull align 8 dereferenceable(32) %82)
          to label %568 unwind label %573

568:                                              ; preds = %567
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %82) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %82) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %81) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %81) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %56) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #7
  br label %581

569:                                              ; preds = %565
  %570 = landingpad { ptr, i32 }
          cleanup
  %571 = extractvalue { ptr, i32 } %570, 0
  store ptr %571, ptr %6, align 8
  %572 = extractvalue { ptr, i32 } %570, 1
  store i32 %572, ptr %7, align 4
  br label %577

573:                                              ; preds = %567
  %574 = landingpad { ptr, i32 }
          cleanup
  %575 = extractvalue { ptr, i32 } %574, 0
  store ptr %575, ptr %6, align 8
  %576 = extractvalue { ptr, i32 } %574, 1
  store i32 %576, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %82) #7
  br label %577

577:                                              ; preds = %573, %569
  call void @llvm.lifetime.end.p0(i64 32, ptr %82) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %81) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %81) #7
  br label %578

578:                                              ; preds = %577, %563, %491, %472, %463, %454
  call void @llvm.lifetime.end.p0(i64 8, ptr %56) #7
  br label %579

579:                                              ; preds = %578, %409, %361, %314
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #7
  br label %580

580:                                              ; preds = %579, %304, %256, %211
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #7
  br label %730

581:                                              ; preds = %568, %157
  br label %729

582:                                              ; preds = %149
  call void @llvm.lifetime.start.p0(i64 4, ptr %83) #7
  store i32 0, ptr %83, align 4, !tbaa !9
  br label %583

583:                                              ; preds = %705, %582
  %584 = load i32, ptr %83, align 4, !tbaa !9
  %585 = load i32, ptr %3, align 4, !tbaa !9
  %586 = icmp ult i32 %584, %585
  br i1 %586, label %588, label %587

587:                                              ; preds = %583
  store i32 17, ptr %84, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %83) #7
  br label %709

588:                                              ; preds = %583
  call void @llvm.lifetime.start.p0(i64 8, ptr %85) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %86) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %87) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %88) #7
  %589 = load i32, ptr %83, align 4, !tbaa !9
  call void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %88, i32 noundef %589)
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %87, ptr noundef @.str.34, ptr noundef nonnull align 8 dereferenceable(32) %88)
          to label %590 unwind label %599

590:                                              ; preds = %588
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %86, ptr noundef nonnull align 8 dereferenceable(32) %87)
          to label %591 unwind label %603

591:                                              ; preds = %590
  %592 = invoke noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131) %107, ptr noundef nonnull align 8 dereferenceable(32) %86)
          to label %593 unwind label %607

593:                                              ; preds = %591
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %86) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %87) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %88) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %88) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %87) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %86) #7
  store ptr %592, ptr %85, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %89) #7
  store i32 0, ptr %89, align 4, !tbaa !9
  br label %594

594:                                              ; preds = %623, %593
  %595 = load i32, ptr %89, align 4, !tbaa !9
  %596 = load i32, ptr %8, align 4, !tbaa !9
  %597 = icmp ult i32 %595, %596
  br i1 %597, label %613, label %598

598:                                              ; preds = %594
  store i32 20, ptr %84, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %89) #7
  br label %655

599:                                              ; preds = %588
  %600 = landingpad { ptr, i32 }
          cleanup
  %601 = extractvalue { ptr, i32 } %600, 0
  store ptr %601, ptr %6, align 8
  %602 = extractvalue { ptr, i32 } %600, 1
  store i32 %602, ptr %7, align 4
  br label %612

603:                                              ; preds = %590
  %604 = landingpad { ptr, i32 }
          cleanup
  %605 = extractvalue { ptr, i32 } %604, 0
  store ptr %605, ptr %6, align 8
  %606 = extractvalue { ptr, i32 } %604, 1
  store i32 %606, ptr %7, align 4
  br label %611

607:                                              ; preds = %591
  %608 = landingpad { ptr, i32 }
          cleanup
  %609 = extractvalue { ptr, i32 } %608, 0
  store ptr %609, ptr %6, align 8
  %610 = extractvalue { ptr, i32 } %608, 1
  store i32 %610, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %86) #7
  br label %611

611:                                              ; preds = %607, %603
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %87) #7
  br label %612

612:                                              ; preds = %611, %599
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %88) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %88) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %87) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %86) #7
  br label %708

613:                                              ; preds = %594
  %614 = load ptr, ptr %85, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %90) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %91) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %92) #7
  %615 = load i32, ptr %89, align 4, !tbaa !9
  call void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %92, i32 noundef %615)
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %91, ptr noundef @.str.10, ptr noundef nonnull align 8 dereferenceable(32) %92)
          to label %616 unwind label %626

616:                                              ; preds = %613
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %90, ptr noundef nonnull align 8 dereferenceable(32) %91)
          to label %617 unwind label %630

617:                                              ; preds = %616
  call void @llvm.lifetime.start.p0(i64 32, ptr %93) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %94) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %95) #7
  %618 = load i32, ptr %89, align 4, !tbaa !9
  invoke void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %95, i32 noundef %618)
          to label %619 unwind label %634

619:                                              ; preds = %617
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %94, ptr noundef @.str.10, ptr noundef nonnull align 8 dereferenceable(32) %95)
          to label %620 unwind label %638

620:                                              ; preds = %619
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %93, ptr noundef nonnull align 8 dereferenceable(32) %94)
          to label %621 unwind label %642

621:                                              ; preds = %620
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240) %107, ptr noundef %614, ptr noundef nonnull align 8 dereferenceable(32) %90, ptr noundef nonnull align 8 dereferenceable(32) %93)
          to label %622 unwind label %646

622:                                              ; preds = %621
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %93) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %94) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %95) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %95) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %94) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %93) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %90) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %91) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %92) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %92) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %91) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %90) #7
  br label %623

623:                                              ; preds = %622
  %624 = load i32, ptr %89, align 4, !tbaa !9
  %625 = add i32 %624, 1
  store i32 %625, ptr %89, align 4, !tbaa !9
  br label %594, !llvm.loop !21

626:                                              ; preds = %613
  %627 = landingpad { ptr, i32 }
          cleanup
  %628 = extractvalue { ptr, i32 } %627, 0
  store ptr %628, ptr %6, align 8
  %629 = extractvalue { ptr, i32 } %627, 1
  store i32 %629, ptr %7, align 4
  br label %654

630:                                              ; preds = %616
  %631 = landingpad { ptr, i32 }
          cleanup
  %632 = extractvalue { ptr, i32 } %631, 0
  store ptr %632, ptr %6, align 8
  %633 = extractvalue { ptr, i32 } %631, 1
  store i32 %633, ptr %7, align 4
  br label %653

634:                                              ; preds = %617
  %635 = landingpad { ptr, i32 }
          cleanup
  %636 = extractvalue { ptr, i32 } %635, 0
  store ptr %636, ptr %6, align 8
  %637 = extractvalue { ptr, i32 } %635, 1
  store i32 %637, ptr %7, align 4
  br label %652

638:                                              ; preds = %619
  %639 = landingpad { ptr, i32 }
          cleanup
  %640 = extractvalue { ptr, i32 } %639, 0
  store ptr %640, ptr %6, align 8
  %641 = extractvalue { ptr, i32 } %639, 1
  store i32 %641, ptr %7, align 4
  br label %651

642:                                              ; preds = %620
  %643 = landingpad { ptr, i32 }
          cleanup
  %644 = extractvalue { ptr, i32 } %643, 0
  store ptr %644, ptr %6, align 8
  %645 = extractvalue { ptr, i32 } %643, 1
  store i32 %645, ptr %7, align 4
  br label %650

646:                                              ; preds = %621
  %647 = landingpad { ptr, i32 }
          cleanup
  %648 = extractvalue { ptr, i32 } %647, 0
  store ptr %648, ptr %6, align 8
  %649 = extractvalue { ptr, i32 } %647, 1
  store i32 %649, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %93) #7
  br label %650

650:                                              ; preds = %646, %642
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %94) #7
  br label %651

651:                                              ; preds = %650, %638
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %95) #7
  br label %652

652:                                              ; preds = %651, %634
  call void @llvm.lifetime.end.p0(i64 32, ptr %95) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %94) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %93) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %90) #7
  br label %653

653:                                              ; preds = %652, %630
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %91) #7
  br label %654

654:                                              ; preds = %653, %626
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %92) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %92) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %91) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %90) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %89) #7
  br label %708

655:                                              ; preds = %598
  call void @llvm.lifetime.start.p0(i64 4, ptr %96) #7
  store i32 0, ptr %96, align 4, !tbaa !9
  br label %656

656:                                              ; preds = %671, %655
  %657 = load i32, ptr %96, align 4, !tbaa !9
  %658 = load i32, ptr %11, align 4, !tbaa !9
  %659 = icmp ult i32 %657, %658
  br i1 %659, label %661, label %660

660:                                              ; preds = %656
  store i32 23, ptr %84, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %96) #7
  br label %703

661:                                              ; preds = %656
  %662 = load ptr, ptr %85, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %97) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %98) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %99) #7
  %663 = load i32, ptr %96, align 4, !tbaa !9
  call void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %99, i32 noundef %663)
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %98, ptr noundef @.str.11, ptr noundef nonnull align 8 dereferenceable(32) %99)
          to label %664 unwind label %674

664:                                              ; preds = %661
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %97, ptr noundef nonnull align 8 dereferenceable(32) %98)
          to label %665 unwind label %678

665:                                              ; preds = %664
  call void @llvm.lifetime.start.p0(i64 32, ptr %100) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %101) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %102) #7
  %666 = load i32, ptr %96, align 4, !tbaa !9
  invoke void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %102, i32 noundef %666)
          to label %667 unwind label %682

667:                                              ; preds = %665
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %101, ptr noundef @.str.11, ptr noundef nonnull align 8 dereferenceable(32) %102)
          to label %668 unwind label %686

668:                                              ; preds = %667
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %100, ptr noundef nonnull align 8 dereferenceable(32) %101)
          to label %669 unwind label %690

669:                                              ; preds = %668
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240) %107, ptr noundef %662, ptr noundef nonnull align 8 dereferenceable(32) %97, ptr noundef nonnull align 8 dereferenceable(32) %100)
          to label %670 unwind label %694

670:                                              ; preds = %669
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %100) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %101) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %102) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %102) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %101) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %100) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %97) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %98) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %99) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %99) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %98) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %97) #7
  br label %671

671:                                              ; preds = %670
  %672 = load i32, ptr %96, align 4, !tbaa !9
  %673 = add i32 %672, 1
  store i32 %673, ptr %96, align 4, !tbaa !9
  br label %656, !llvm.loop !22

674:                                              ; preds = %661
  %675 = landingpad { ptr, i32 }
          cleanup
  %676 = extractvalue { ptr, i32 } %675, 0
  store ptr %676, ptr %6, align 8
  %677 = extractvalue { ptr, i32 } %675, 1
  store i32 %677, ptr %7, align 4
  br label %702

678:                                              ; preds = %664
  %679 = landingpad { ptr, i32 }
          cleanup
  %680 = extractvalue { ptr, i32 } %679, 0
  store ptr %680, ptr %6, align 8
  %681 = extractvalue { ptr, i32 } %679, 1
  store i32 %681, ptr %7, align 4
  br label %701

682:                                              ; preds = %665
  %683 = landingpad { ptr, i32 }
          cleanup
  %684 = extractvalue { ptr, i32 } %683, 0
  store ptr %684, ptr %6, align 8
  %685 = extractvalue { ptr, i32 } %683, 1
  store i32 %685, ptr %7, align 4
  br label %700

686:                                              ; preds = %667
  %687 = landingpad { ptr, i32 }
          cleanup
  %688 = extractvalue { ptr, i32 } %687, 0
  store ptr %688, ptr %6, align 8
  %689 = extractvalue { ptr, i32 } %687, 1
  store i32 %689, ptr %7, align 4
  br label %699

690:                                              ; preds = %668
  %691 = landingpad { ptr, i32 }
          cleanup
  %692 = extractvalue { ptr, i32 } %691, 0
  store ptr %692, ptr %6, align 8
  %693 = extractvalue { ptr, i32 } %691, 1
  store i32 %693, ptr %7, align 4
  br label %698

694:                                              ; preds = %669
  %695 = landingpad { ptr, i32 }
          cleanup
  %696 = extractvalue { ptr, i32 } %695, 0
  store ptr %696, ptr %6, align 8
  %697 = extractvalue { ptr, i32 } %695, 1
  store i32 %697, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %100) #7
  br label %698

698:                                              ; preds = %694, %690
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %101) #7
  br label %699

699:                                              ; preds = %698, %686
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %102) #7
  br label %700

700:                                              ; preds = %699, %682
  call void @llvm.lifetime.end.p0(i64 32, ptr %102) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %101) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %100) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %97) #7
  br label %701

701:                                              ; preds = %700, %678
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %98) #7
  br label %702

702:                                              ; preds = %701, %674
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %99) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %99) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %98) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %97) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %96) #7
  br label %708

703:                                              ; preds = %660
  %704 = load ptr, ptr %85, align 8, !tbaa !5
  call void @_ZN5DSENT5Model3useEv(ptr noundef nonnull align 8 dereferenceable(131) %704)
  call void @llvm.lifetime.end.p0(i64 8, ptr %85) #7
  br label %705

705:                                              ; preds = %703
  %706 = load i32, ptr %83, align 4, !tbaa !9
  %707 = add i32 %706, 1
  store i32 %707, ptr %83, align 4, !tbaa !9
  br label %583, !llvm.loop !23

708:                                              ; preds = %702, %654, %612
  call void @llvm.lifetime.end.p0(i64 8, ptr %85) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %83) #7
  br label %730

709:                                              ; preds = %587
  call void @llvm.lifetime.start.p0(i64 8, ptr %103) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %104) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %104, ptr noundef @.str.35)
  %710 = invoke noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131) %107, ptr noundef nonnull align 8 dereferenceable(32) %104)
          to label %711 unwind label %715

711:                                              ; preds = %709
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %104) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %104) #7
  store ptr %710, ptr %103, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %105) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %105, ptr noundef @.str.12)
  %712 = load ptr, ptr %103, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %106) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %106, ptr noundef @.str.12)
          to label %713 unwind label %719

713:                                              ; preds = %711
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoERKN7LibUtil6StringEPKS0_S4_(ptr noundef nonnull align 8 dereferenceable(240) %107, ptr noundef nonnull align 8 dereferenceable(32) %105, ptr noundef %712, ptr noundef nonnull align 8 dereferenceable(32) %106)
          to label %714 unwind label %723

714:                                              ; preds = %713
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %106) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %106) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %105) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %105) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %103) #7
  br label %729

715:                                              ; preds = %709
  %716 = landingpad { ptr, i32 }
          cleanup
  %717 = extractvalue { ptr, i32 } %716, 0
  store ptr %717, ptr %6, align 8
  %718 = extractvalue { ptr, i32 } %716, 1
  store i32 %718, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %104) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %104) #7
  br label %728

719:                                              ; preds = %711
  %720 = landingpad { ptr, i32 }
          cleanup
  %721 = extractvalue { ptr, i32 } %720, 0
  store ptr %721, ptr %6, align 8
  %722 = extractvalue { ptr, i32 } %720, 1
  store i32 %722, ptr %7, align 4
  br label %727

723:                                              ; preds = %713
  %724 = landingpad { ptr, i32 }
          cleanup
  %725 = extractvalue { ptr, i32 } %724, 0
  store ptr %725, ptr %6, align 8
  %726 = extractvalue { ptr, i32 } %724, 1
  store i32 %726, ptr %7, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %106) #7
  br label %727

727:                                              ; preds = %723, %719
  call void @llvm.lifetime.end.p0(i64 32, ptr %106) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %105) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %105) #7
  br label %728

728:                                              ; preds = %727, %715
  call void @llvm.lifetime.end.p0(i64 8, ptr %103) #7
  br label %730

729:                                              ; preds = %714, %581
  store i32 1, ptr %84, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %15) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %12) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #7
  ret void

730:                                              ; preds = %728, %708, %580, %202
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #7
  br label %731

731:                                              ; preds = %730, %193
  call void @llvm.lifetime.end.p0(i64 1, ptr %15) #7
  br label %732

732:                                              ; preds = %731, %184
  call void @llvm.lifetime.end.p0(i64 1, ptr %12) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #7
  br label %733

733:                                              ; preds = %732, %175
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #7
  br label %734

734:                                              ; preds = %733, %166
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #7
  br label %735

735:                                              ; preds = %734
  %736 = load ptr, ptr %6, align 8
  %737 = load i32, ptr %7, align 4
  %738 = insertvalue { ptr, i32 } poison, ptr %736, 0
  %739 = insertvalue { ptr, i32 } %738, i32 %737, 1
  resume { ptr, i32 } %739
}

declare void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoERKN7LibUtil6StringES4_(ptr noundef nonnull align 8 dereferenceable(240), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(32)) #1

declare void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240), ptr noundef, ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(32)) #1

declare void @_ZN5DSENT5Model3useEv(ptr noundef nonnull align 8 dereferenceable(131)) #1

declare void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringEPKS0_S5_(ptr noundef nonnull align 8 dereferenceable(240), ptr noundef, ptr noundef nonnull align 8 dereferenceable(32), ptr noundef, ptr noundef nonnull align 8 dereferenceable(32)) #1

declare void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoERKN7LibUtil6StringEPKS0_S4_(ptr noundef nonnull align 8 dereferenceable(240), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef, ptr noundef nonnull align 8 dereferenceable(32)) #1

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"bool", !7, i64 0}
!13 = !{i8 0, i8 2}
!14 = !{}
!15 = distinct !{!15, !16}
!16 = !{!"llvm.loop.mustprogress"}
!17 = distinct !{!17, !16}
!18 = distinct !{!18, !16}
!19 = distinct !{!19, !16}
!20 = distinct !{!20, !16}
!21 = distinct !{!21, !16}
!22 = distinct !{!22, !16}
!23 = distinct !{!23, !16}


; 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.LibUtil::String" = type { %"class.std::__cxx11::basic_string" }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }

@.str = external hidden unnamed_addr constant [13 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.35 = external hidden unnamed_addr constant [9 x i8], align 1

declare i32 @__gxx_personality_v0(...)

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

declare void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef) unnamed_addr #1

; Function Attrs: nounwind
declare void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #2

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

declare void @_ZNK5DSENT5Model12getParameterERKN7LibUtil6StringE(ptr dead_on_unwind writable sret(%"class.LibUtil::String") align 8, ptr noundef nonnull align 8 dereferenceable(131), ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #1

declare noundef i32 @_ZNK7LibUtil6StringcvjEv(ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #1

; Function Attrs: mustprogress nofree nounwind willreturn memory(write)
declare double @log2(double noundef) local_unnamed_addr #3

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.ceil.f64(double) #4

declare noundef zeroext i1 @_ZNK7LibUtil6StringcvbEv(ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #1

declare noundef zeroext i1 @_ZNK7LibUtil6String6toBoolEv(ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #1

declare void @_ZN7LibUtil6String6formatERKS0_z(ptr dead_on_unwind writable sret(%"class.LibUtil::String") align 8, ptr noundef nonnull align 8 dereferenceable(32), ...) local_unnamed_addr #1

declare void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #1

; Function Attrs: mustprogress nounwind uwtable
declare void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #5 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef, ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #6

declare void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32), i32 noundef) unnamed_addr #1

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.floor.f64(double) #4

declare noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131), ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #1

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN5DSENT11Multiplexer23propagateTransitionInfoEv(ptr noundef nonnull align 8 dereferenceable(240) %0) unnamed_addr #7 align 2 personality ptr @__gxx_personality_v0 {
  %2 = alloca %"class.LibUtil::String", align 8
  %3 = alloca %"class.LibUtil::String", align 8
  %4 = alloca %"class.LibUtil::String", align 8
  %5 = alloca %"class.LibUtil::String", align 8
  %6 = alloca %"class.LibUtil::String", align 8
  %7 = alloca %"class.LibUtil::String", align 8
  %8 = alloca %"class.LibUtil::String", align 8
  %9 = alloca %"class.LibUtil::String", align 8
  %10 = alloca %"class.LibUtil::String", align 8
  %11 = alloca %"class.LibUtil::String", align 8
  %12 = alloca %"class.LibUtil::String", align 8
  %13 = alloca %"class.LibUtil::String", align 8
  %14 = alloca %"class.std::__cxx11::basic_string", align 8
  %15 = alloca %"class.LibUtil::String", align 8
  %16 = alloca %"class.LibUtil::String", align 8
  %17 = alloca %"class.std::__cxx11::basic_string", align 8
  %18 = alloca %"class.LibUtil::String", align 8
  %19 = alloca %"class.LibUtil::String", align 8
  %20 = alloca %"class.std::__cxx11::basic_string", align 8
  %21 = alloca %"class.LibUtil::String", align 8
  %22 = alloca %"class.LibUtil::String", align 8
  %23 = alloca %"class.std::__cxx11::basic_string", align 8
  %24 = alloca %"class.LibUtil::String", align 8
  %25 = alloca %"class.LibUtil::String", align 8
  %26 = alloca %"class.LibUtil::String", align 8
  %27 = alloca %"class.std::__cxx11::basic_string", align 8
  %28 = alloca %"class.LibUtil::String", align 8
  %29 = alloca %"class.LibUtil::String", align 8
  %30 = alloca %"class.std::__cxx11::basic_string", align 8
  %31 = alloca %"class.LibUtil::String", align 8
  %32 = alloca %"class.LibUtil::String", align 8
  %33 = alloca %"class.std::__cxx11::basic_string", align 8
  %34 = alloca %"class.LibUtil::String", align 8
  %35 = alloca %"class.LibUtil::String", align 8
  %36 = alloca %"class.std::__cxx11::basic_string", align 8
  %37 = alloca %"class.LibUtil::String", align 8
  %38 = alloca %"class.LibUtil::String", align 8
  %39 = alloca %"class.std::__cxx11::basic_string", align 8
  %40 = alloca %"class.LibUtil::String", align 8
  %41 = alloca %"class.LibUtil::String", align 8
  %42 = alloca %"class.LibUtil::String", align 8
  %43 = alloca %"class.LibUtil::String", align 8
  %44 = alloca %"class.LibUtil::String", align 8
  %45 = alloca %"class.LibUtil::String", align 8
  %46 = alloca %"class.LibUtil::String", align 8
  %47 = alloca %"class.std::__cxx11::basic_string", align 8
  %48 = alloca %"class.LibUtil::String", align 8
  %49 = alloca %"class.LibUtil::String", align 8
  %50 = alloca %"class.LibUtil::String", align 8
  %51 = alloca %"class.LibUtil::String", align 8
  %52 = alloca %"class.LibUtil::String", align 8
  %53 = alloca %"class.LibUtil::String", align 8
  %54 = alloca %"class.LibUtil::String", align 8
  %55 = alloca %"class.std::__cxx11::basic_string", align 8
  %56 = alloca %"class.LibUtil::String", align 8
  %57 = alloca %"class.LibUtil::String", align 8
  %58 = alloca %"class.LibUtil::String", align 8
  %59 = alloca %"class.LibUtil::String", align 8
  %60 = alloca %"class.LibUtil::String", align 8
  %61 = alloca %"class.LibUtil::String", align 8
  %62 = alloca %"class.std::__cxx11::basic_string", align 8
  %63 = alloca %"class.LibUtil::String", align 8
  %64 = alloca %"class.LibUtil::String", align 8
  %65 = alloca %"class.std::__cxx11::basic_string", align 8
  %66 = alloca %"class.LibUtil::String", align 8
  %67 = alloca %"class.LibUtil::String", align 8
  %68 = alloca %"class.std::__cxx11::basic_string", align 8
  %69 = alloca %"class.LibUtil::String", align 8
  %70 = alloca %"class.LibUtil::String", align 8
  %71 = alloca %"class.std::__cxx11::basic_string", align 8
  %72 = alloca %"class.LibUtil::String", align 8
  %73 = alloca %"class.LibUtil::String", align 8
  %74 = alloca %"class.std::__cxx11::basic_string", align 8
  %75 = alloca %"class.LibUtil::String", align 8
  %76 = alloca %"class.LibUtil::String", align 8
  %77 = alloca %"class.LibUtil::String", align 8
  %78 = alloca %"class.LibUtil::String", align 8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %2) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %3) #8
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %3, ptr noundef nonnull @.str.1)
  invoke void @_ZNK5DSENT5Model12getParameterERKN7LibUtil6StringE(ptr dead_on_unwind nonnull writable sret(%"class.LibUtil::String") align 8 %2, ptr noundef nonnull align 8 dereferenceable(131) %0, ptr noundef nonnull align 8 dereferenceable(32) %3)
          to label %79 unwind label %114

79:                                               ; preds = %1
  %80 = invoke noundef i32 @_ZNK7LibUtil6StringcvjEv(ptr noundef nonnull align 8 dereferenceable(32) %2)
          to label %81 unwind label %116

81:                                               ; preds = %79
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %2) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %3) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %3) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %2) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %4) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %5) #8
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %5, ptr noundef nonnull @.str)
  invoke void @_ZNK5DSENT5Model12getParameterERKN7LibUtil6StringE(ptr dead_on_unwind nonnull writable sret(%"class.LibUtil::String") align 8 %4, ptr noundef nonnull align 8 dereferenceable(131) %0, ptr noundef nonnull align 8 dereferenceable(32) %5)
          to label %82 unwind label %119

82:                                               ; preds = %81
  %83 = invoke noundef i32 @_ZNK7LibUtil6StringcvjEv(ptr noundef nonnull align 8 dereferenceable(32) %4)
          to label %84 unwind label %121

84:                                               ; preds = %82
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %4) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %5) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %5) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %4) #8
  %85 = uitofp i32 %83 to double
  %86 = call double @log2(double noundef %85) #8
  %87 = call double @llvm.ceil.f64(double %86)
  %88 = fptoui double %87 to i32
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %6) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %7) #8
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %7, ptr noundef nonnull @.str.2)
  invoke void @_ZNK5DSENT5Model12getParameterERKN7LibUtil6StringE(ptr dead_on_unwind nonnull writable sret(%"class.LibUtil::String") align 8 %6, ptr noundef nonnull align 8 dereferenceable(131) %0, ptr noundef nonnull align 8 dereferenceable(32) %7)
          to label %89 unwind label %124

89:                                               ; preds = %84
  %90 = invoke noundef zeroext i1 @_ZNK7LibUtil6StringcvbEv(ptr noundef nonnull align 8 dereferenceable(32) %6)
          to label %91 unwind label %126

91:                                               ; preds = %89
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %6) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %7) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %6) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %8) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %9) #8
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %9, ptr noundef nonnull @.str.4)
  invoke void @_ZNK5DSENT5Model12getParameterERKN7LibUtil6StringE(ptr dead_on_unwind nonnull writable sret(%"class.LibUtil::String") align 8 %8, ptr noundef nonnull align 8 dereferenceable(131) %0, ptr noundef nonnull align 8 dereferenceable(32) %9)
          to label %92 unwind label %129

92:                                               ; preds = %91
  %93 = invoke noundef zeroext i1 @_ZNK7LibUtil6String6toBoolEv(ptr noundef nonnull align 8 dereferenceable(32) %8)
          to label %94 unwind label %131

94:                                               ; preds = %92
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %9) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %9) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %8) #8
  %95 = fmul double %85, 5.000000e-01
  %96 = call double @llvm.ceil.f64(double %95)
  %97 = fptoui double %96 to i32
  %98 = uitofp i32 %97 to double
  %99 = call double @log2(double noundef %98) #8
  %100 = call double @llvm.ceil.f64(double %99)
  %101 = fptoui double %100 to i32
  %102 = call double @llvm.floor.f64(double %95)
  %103 = fptoui double %102 to i32
  %104 = uitofp i32 %103 to double
  %105 = call double @log2(double noundef %104) #8
  %106 = call double @llvm.ceil.f64(double %105)
  %107 = fptoui double %106 to i32
  %108 = icmp eq i32 %80, 1
  %or.cond = or i1 %108, %90
  br i1 %or.cond, label %109, label %.preheader240

.preheader240:                                    ; preds = %94
  %.not = icmp eq i32 %80, 0
  br i1 %.not, label %._crit_edge246, label %.lr.ph245

.lr.ph245:                                        ; preds = %.preheader240
  %.not262 = icmp eq i32 %83, 0
  %.not263 = icmp eq i32 %88, 0
  br label %335

109:                                              ; preds = %94
  %110 = icmp eq i32 %83, 1
  br i1 %110, label %111, label %139

111:                                              ; preds = %109
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %10) #8
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %10, ptr noundef nonnull @.str.12)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %11) #8
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %11, ptr noundef nonnull @.str.15)
          to label %112 unwind label %134

112:                                              ; preds = %111
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoERKN7LibUtil6StringES4_(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef nonnull align 8 dereferenceable(32) %10, ptr noundef nonnull align 8 dereferenceable(32) %11)
          to label %113 unwind label %136

113:                                              ; preds = %112
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %11) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %10) #8
  br label %407

114:                                              ; preds = %1
  %115 = landingpad { ptr, i32 }
          cleanup
  br label %118

116:                                              ; preds = %79
  %117 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %2) #8
  br label %118

118:                                              ; preds = %116, %114
  %.pn = phi { ptr, i32 } [ %117, %116 ], [ %115, %114 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %3) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %3) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %2) #8
  br label %408

119:                                              ; preds = %81
  %120 = landingpad { ptr, i32 }
          cleanup
  br label %123

121:                                              ; preds = %82
  %122 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %4) #8
  br label %123

123:                                              ; preds = %121, %119
  %.pn153 = phi { ptr, i32 } [ %122, %121 ], [ %120, %119 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %5) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %5) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %4) #8
  br label %408

124:                                              ; preds = %84
  %125 = landingpad { ptr, i32 }
          cleanup
  br label %128

126:                                              ; preds = %89
  %127 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %6) #8
  br label %128

128:                                              ; preds = %126, %124
  %.pn155 = phi { ptr, i32 } [ %127, %126 ], [ %125, %124 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %7) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %6) #8
  br label %408

129:                                              ; preds = %91
  %130 = landingpad { ptr, i32 }
          cleanup
  br label %133

131:                                              ; preds = %92
  %132 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #8
  br label %133

133:                                              ; preds = %131, %129
  %.pn157 = phi { ptr, i32 } [ %132, %131 ], [ %130, %129 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %9) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %9) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %8) #8
  br label %408

134:                                              ; preds = %111
  %135 = landingpad { ptr, i32 }
          cleanup
  br label %138

136:                                              ; preds = %112
  %137 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #8
  br label %138

138:                                              ; preds = %136, %134
  %.pn230 = phi { ptr, i32 } [ %137, %136 ], [ %135, %134 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %11) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %10) #8
  br label %408

139:                                              ; preds = %109
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %12) #8
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %12, ptr noundef nonnull @.str.16)
  %140 = invoke noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131) %0, ptr noundef nonnull align 8 dereferenceable(32) %12)
          to label %141 unwind label %142

141:                                              ; preds = %139
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #8
  %.not264 = icmp eq i32 %97, 0
  br i1 %.not264, label %.preheader238, label %.lr.ph249

.preheader238:                                    ; preds = %149, %141
  %.not265 = icmp eq i32 %101, 0
  br i1 %.not265, label %._crit_edge252, label %.lr.ph251

142:                                              ; preds = %139
  %143 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #8
  br label %408

.lr.ph249:                                        ; preds = %141, %149
  %.0144247 = phi i32 [ %150, %149 ], [ 0, %141 ]
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %13) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %14) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %15) #8
  call void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %15, i32 noundef %.0144247)
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %14, ptr noundef nonnull @.str.10, ptr noundef nonnull align 8 dereferenceable(32) %15)
          to label %144 unwind label %151

144:                                              ; preds = %.lr.ph249
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %13, ptr noundef nonnull align 8 dereferenceable(32) %14)
          to label %145 unwind label %153

145:                                              ; preds = %144
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %16) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %17) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %18) #8
  invoke void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %18, i32 noundef %.0144247)
          to label %146 unwind label %155

146:                                              ; preds = %145
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %17, ptr noundef nonnull @.str.10, ptr noundef nonnull align 8 dereferenceable(32) %18)
          to label %147 unwind label %157

147:                                              ; preds = %146
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %16, ptr noundef nonnull align 8 dereferenceable(32) %17)
          to label %148 unwind label %159

148:                                              ; preds = %147
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef %140, ptr noundef nonnull align 8 dereferenceable(32) %13, ptr noundef nonnull align 8 dereferenceable(32) %16)
          to label %149 unwind label %161

149:                                              ; preds = %148
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %17) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %18) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %17) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %16) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %15) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %14) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %13) #8
  %150 = add nuw i32 %.0144247, 1
  %exitcond270.not = icmp eq i32 %150, %97
  br i1 %exitcond270.not, label %.preheader238, label %.lr.ph249, !llvm.loop !5

151:                                              ; preds = %.lr.ph249
  %152 = landingpad { ptr, i32 }
          cleanup
  br label %167

153:                                              ; preds = %144
  %154 = landingpad { ptr, i32 }
          cleanup
  br label %166

155:                                              ; preds = %145
  %156 = landingpad { ptr, i32 }
          cleanup
  br label %165

157:                                              ; preds = %146
  %158 = landingpad { ptr, i32 }
          cleanup
  br label %164

159:                                              ; preds = %147
  %160 = landingpad { ptr, i32 }
          cleanup
  br label %163

161:                                              ; preds = %148
  %162 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #8
  br label %163

163:                                              ; preds = %161, %159
  %.pn223 = phi { ptr, i32 } [ %162, %161 ], [ %160, %159 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %17) #8
  br label %164

164:                                              ; preds = %163, %157
  %.pn223.pn = phi { ptr, i32 } [ %.pn223, %163 ], [ %158, %157 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #8
  br label %165

165:                                              ; preds = %164, %155
  %.pn223.pn.pn = phi { ptr, i32 } [ %.pn223.pn, %164 ], [ %156, %155 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %18) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %17) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %16) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #8
  br label %166

166:                                              ; preds = %165, %153
  %.pn223.pn.pn.pn = phi { ptr, i32 } [ %.pn223.pn.pn, %165 ], [ %154, %153 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #8
  br label %167

167:                                              ; preds = %166, %151
  %.pn223.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn223.pn.pn.pn, %166 ], [ %152, %151 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %15) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %14) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %13) #8
  br label %408

._crit_edge252:                                   ; preds = %174, %.preheader238
  call void @_ZN5DSENT5Model3useEv(ptr noundef nonnull align 8 dereferenceable(131) %140)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %25) #8
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %25, ptr noundef nonnull @.str.17)
  %168 = invoke noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131) %0, ptr noundef nonnull align 8 dereferenceable(32) %25)
          to label %193 unwind label %194

.lr.ph251:                                        ; preds = %.preheader238, %174
  %.0145250 = phi i32 [ %175, %174 ], [ 0, %.preheader238 ]
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %19) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %20) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %21) #8
  call void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %21, i32 noundef %.0145250)
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %20, ptr noundef nonnull @.str.11, ptr noundef nonnull align 8 dereferenceable(32) %21)
          to label %169 unwind label %176

169:                                              ; preds = %.lr.ph251
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %19, ptr noundef nonnull align 8 dereferenceable(32) %20)
          to label %170 unwind label %178

170:                                              ; preds = %169
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %22) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %23) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %24) #8
  invoke void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %24, i32 noundef %.0145250)
          to label %171 unwind label %180

171:                                              ; preds = %170
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %23, ptr noundef nonnull @.str.11, ptr noundef nonnull align 8 dereferenceable(32) %24)
          to label %172 unwind label %182

172:                                              ; preds = %171
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %22, ptr noundef nonnull align 8 dereferenceable(32) %23)
          to label %173 unwind label %184

173:                                              ; preds = %172
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef %140, ptr noundef nonnull align 8 dereferenceable(32) %19, ptr noundef nonnull align 8 dereferenceable(32) %22)
          to label %174 unwind label %186

174:                                              ; preds = %173
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %22) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %23) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %24) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %24) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %23) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %22) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %19) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %20) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %21) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %21) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %20) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %19) #8
  %175 = add nuw i32 %.0145250, 1
  %exitcond271.not = icmp eq i32 %175, %101
  br i1 %exitcond271.not, label %._crit_edge252, label %.lr.ph251, !llvm.loop !7

176:                                              ; preds = %.lr.ph251
  %177 = landingpad { ptr, i32 }
          cleanup
  br label %192

178:                                              ; preds = %169
  %179 = landingpad { ptr, i32 }
          cleanup
  br label %191

180:                                              ; preds = %170
  %181 = landingpad { ptr, i32 }
          cleanup
  br label %190

182:                                              ; preds = %171
  %183 = landingpad { ptr, i32 }
          cleanup
  br label %189

184:                                              ; preds = %172
  %185 = landingpad { ptr, i32 }
          cleanup
  br label %188

186:                                              ; preds = %173
  %187 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %22) #8
  br label %188

188:                                              ; preds = %186, %184
  %.pn217 = phi { ptr, i32 } [ %187, %186 ], [ %185, %184 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %23) #8
  br label %189

189:                                              ; preds = %188, %182
  %.pn217.pn = phi { ptr, i32 } [ %.pn217, %188 ], [ %183, %182 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %24) #8
  br label %190

190:                                              ; preds = %189, %180
  %.pn217.pn.pn = phi { ptr, i32 } [ %.pn217.pn, %189 ], [ %181, %180 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %24) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %23) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %22) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %19) #8
  br label %191

191:                                              ; preds = %190, %178
  %.pn217.pn.pn.pn = phi { ptr, i32 } [ %.pn217.pn.pn, %190 ], [ %179, %178 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %20) #8
  br label %192

192:                                              ; preds = %191, %176
  %.pn217.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn217.pn.pn.pn, %191 ], [ %177, %176 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %21) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %21) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %20) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %19) #8
  br label %408

193:                                              ; preds = %._crit_edge252
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %25) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %25) #8
  %.not266 = icmp eq i32 %103, 0
  br i1 %.not266, label %.preheader237, label %.lr.ph255

.preheader237:                                    ; preds = %202, %193
  %.not267 = icmp eq i32 %107, 0
  br i1 %.not267, label %._crit_edge258, label %.lr.ph257

194:                                              ; preds = %._crit_edge252
  %195 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %25) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %25) #8
  br label %408

.lr.ph255:                                        ; preds = %193, %202
  %.0147253 = phi i32 [ %203, %202 ], [ 0, %193 ]
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %26) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %27) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %28) #8
  call void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %28, i32 noundef %.0147253)
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %27, ptr noundef nonnull @.str.10, ptr noundef nonnull align 8 dereferenceable(32) %28)
          to label %196 unwind label %204

196:                                              ; preds = %.lr.ph255
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %26, ptr noundef nonnull align 8 dereferenceable(32) %27)
          to label %197 unwind label %206

197:                                              ; preds = %196
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %29) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %30) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %31) #8
  %198 = add i32 %.0147253, %97
  invoke void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %31, i32 noundef %198)
          to label %199 unwind label %208

199:                                              ; preds = %197
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %30, ptr noundef nonnull @.str.10, ptr noundef nonnull align 8 dereferenceable(32) %31)
          to label %200 unwind label %210

200:                                              ; preds = %199
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %29, ptr noundef nonnull align 8 dereferenceable(32) %30)
          to label %201 unwind label %212

201:                                              ; preds = %200
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef %168, ptr noundef nonnull align 8 dereferenceable(32) %26, ptr noundef nonnull align 8 dereferenceable(32) %29)
          to label %202 unwind label %214

202:                                              ; preds = %201
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %29) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %30) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %31) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %31) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %30) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %29) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %26) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %27) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %28) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %28) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %27) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %26) #8
  %203 = add nuw i32 %.0147253, 1
  %exitcond272.not = icmp eq i32 %203, %103
  br i1 %exitcond272.not, label %.preheader237, label %.lr.ph255, !llvm.loop !8

204:                                              ; preds = %.lr.ph255
  %205 = landingpad { ptr, i32 }
          cleanup
  br label %220

206:                                              ; preds = %196
  %207 = landingpad { ptr, i32 }
          cleanup
  br label %219

208:                                              ; preds = %197
  %209 = landingpad { ptr, i32 }
          cleanup
  br label %218

210:                                              ; preds = %199
  %211 = landingpad { ptr, i32 }
          cleanup
  br label %217

212:                                              ; preds = %200
  %213 = landingpad { ptr, i32 }
          cleanup
  br label %216

214:                                              ; preds = %201
  %215 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %29) #8
  br label %216

216:                                              ; preds = %214, %212
  %.pn210 = phi { ptr, i32 } [ %215, %214 ], [ %213, %212 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %30) #8
  br label %217

217:                                              ; preds = %216, %210
  %.pn210.pn = phi { ptr, i32 } [ %.pn210, %216 ], [ %211, %210 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %31) #8
  br label %218

218:                                              ; preds = %217, %208
  %.pn210.pn.pn = phi { ptr, i32 } [ %.pn210.pn, %217 ], [ %209, %208 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %31) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %30) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %29) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %26) #8
  br label %219

219:                                              ; preds = %218, %206
  %.pn210.pn.pn.pn = phi { ptr, i32 } [ %.pn210.pn.pn, %218 ], [ %207, %206 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %27) #8
  br label %220

220:                                              ; preds = %219, %204
  %.pn210.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn210.pn.pn.pn, %219 ], [ %205, %204 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %28) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %28) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %27) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %26) #8
  br label %408

._crit_edge258:                                   ; preds = %226, %.preheader237
  call void @_ZN5DSENT5Model3useEv(ptr noundef nonnull align 8 dereferenceable(131) %168)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %38) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %39) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %40) #8
  call void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %40, i32 noundef %83)
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %39, ptr noundef nonnull @.str.18, ptr noundef nonnull align 8 dereferenceable(32) %40)
          to label %245 unwind label %259

.lr.ph257:                                        ; preds = %.preheader237, %226
  %.0148256 = phi i32 [ %227, %226 ], [ 0, %.preheader237 ]
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %32) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %33) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %34) #8
  call void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %34, i32 noundef %.0148256)
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %33, ptr noundef nonnull @.str.11, ptr noundef nonnull align 8 dereferenceable(32) %34)
          to label %221 unwind label %228

221:                                              ; preds = %.lr.ph257
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %32, ptr noundef nonnull align 8 dereferenceable(32) %33)
          to label %222 unwind label %230

222:                                              ; preds = %221
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %35) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %36) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %37) #8
  invoke void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %37, i32 noundef %.0148256)
          to label %223 unwind label %232

223:                                              ; preds = %222
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %36, ptr noundef nonnull @.str.11, ptr noundef nonnull align 8 dereferenceable(32) %37)
          to label %224 unwind label %234

224:                                              ; preds = %223
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %35, ptr noundef nonnull align 8 dereferenceable(32) %36)
          to label %225 unwind label %236

225:                                              ; preds = %224
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef %168, ptr noundef nonnull align 8 dereferenceable(32) %32, ptr noundef nonnull align 8 dereferenceable(32) %35)
          to label %226 unwind label %238

226:                                              ; preds = %225
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %35) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %36) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %37) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %37) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %36) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %35) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %32) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %33) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %34) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %34) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %33) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %32) #8
  %227 = add nuw i32 %.0148256, 1
  %exitcond273.not = icmp eq i32 %227, %107
  br i1 %exitcond273.not, label %._crit_edge258, label %.lr.ph257, !llvm.loop !9

228:                                              ; preds = %.lr.ph257
  %229 = landingpad { ptr, i32 }
          cleanup
  br label %244

230:                                              ; preds = %221
  %231 = landingpad { ptr, i32 }
          cleanup
  br label %243

232:                                              ; preds = %222
  %233 = landingpad { ptr, i32 }
          cleanup
  br label %242

234:                                              ; preds = %223
  %235 = landingpad { ptr, i32 }
          cleanup
  br label %241

236:                                              ; preds = %224
  %237 = landingpad { ptr, i32 }
          cleanup
  br label %240

238:                                              ; preds = %225
  %239 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %35) #8
  br label %240

240:                                              ; preds = %238, %236
  %.pn204 = phi { ptr, i32 } [ %239, %238 ], [ %237, %236 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %36) #8
  br label %241

241:                                              ; preds = %240, %234
  %.pn204.pn = phi { ptr, i32 } [ %.pn204, %240 ], [ %235, %234 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %37) #8
  br label %242

242:                                              ; preds = %241, %232
  %.pn204.pn.pn = phi { ptr, i32 } [ %.pn204.pn, %241 ], [ %233, %232 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %37) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %36) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %35) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %32) #8
  br label %243

243:                                              ; preds = %242, %230
  %.pn204.pn.pn.pn = phi { ptr, i32 } [ %.pn204.pn.pn, %242 ], [ %231, %230 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %33) #8
  br label %244

244:                                              ; preds = %243, %228
  %.pn204.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn204.pn.pn.pn, %243 ], [ %229, %228 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %34) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %34) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %33) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %32) #8
  br label %408

245:                                              ; preds = %._crit_edge258
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %38, ptr noundef nonnull align 8 dereferenceable(32) %39)
          to label %246 unwind label %261

246:                                              ; preds = %245
  %247 = invoke noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131) %0, ptr noundef nonnull align 8 dereferenceable(32) %38)
          to label %248 unwind label %263

248:                                              ; preds = %246
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %38) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %39) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %40) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %40) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %39) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %38) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %41) #8
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %41, ptr noundef nonnull @.str.26)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %42) #8
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %42, ptr noundef nonnull @.str.12)
          to label %249 unwind label %267

249:                                              ; preds = %248
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringEPKS0_S5_(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef %247, ptr noundef nonnull align 8 dereferenceable(32) %41, ptr noundef nonnull %140, ptr noundef nonnull align 8 dereferenceable(32) %42)
          to label %250 unwind label %269

250:                                              ; preds = %249
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %42) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %42) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %41) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %41) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %43) #8
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %43, ptr noundef nonnull @.str.27)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %44) #8
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %44, ptr noundef nonnull @.str.12)
          to label %251 unwind label %272

251:                                              ; preds = %250
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringEPKS0_S5_(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef %247, ptr noundef nonnull align 8 dereferenceable(32) %43, ptr noundef nonnull %168, ptr noundef nonnull align 8 dereferenceable(32) %44)
          to label %252 unwind label %274

252:                                              ; preds = %251
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %44) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %44) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %43) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %43) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %45) #8
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %45, ptr noundef nonnull @.str.31)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %46) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %47) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %48) #8
  %253 = add i32 %88, -1
  invoke void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %48, i32 noundef %253)
          to label %254 unwind label %277

254:                                              ; preds = %252
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %47, ptr noundef nonnull @.str.11, ptr noundef nonnull align 8 dereferenceable(32) %48)
          to label %255 unwind label %279

255:                                              ; preds = %254
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %46, ptr noundef nonnull align 8 dereferenceable(32) %47)
          to label %256 unwind label %281

256:                                              ; preds = %255
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef %247, ptr noundef nonnull align 8 dereferenceable(32) %45, ptr noundef nonnull align 8 dereferenceable(32) %46)
          to label %257 unwind label %283

257:                                              ; preds = %256
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %46) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %47) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %48) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %48) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %47) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %46) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %45) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %45) #8
  call void @_ZN5DSENT5Model3useEv(ptr noundef nonnull align 8 dereferenceable(131) %247)
  %258 = icmp ne i32 %88, 0
  %or.cond261 = select i1 %93, i1 %258, i1 false
  br i1 %or.cond261, label %.lr.ph260, label %.loopexit

259:                                              ; preds = %._crit_edge258
  %260 = landingpad { ptr, i32 }
          cleanup
  br label %266

261:                                              ; preds = %245
  %262 = landingpad { ptr, i32 }
          cleanup
  br label %265

263:                                              ; preds = %246
  %264 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %38) #8
  br label %265

265:                                              ; preds = %263, %261
  %.pn178 = phi { ptr, i32 } [ %264, %263 ], [ %262, %261 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %39) #8
  br label %266

266:                                              ; preds = %265, %259
  %.pn178.pn = phi { ptr, i32 } [ %.pn178, %265 ], [ %260, %259 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %40) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %40) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %39) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %38) #8
  br label %408

267:                                              ; preds = %248
  %268 = landingpad { ptr, i32 }
          cleanup
  br label %271

269:                                              ; preds = %249
  %270 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %42) #8
  br label %271

271:                                              ; preds = %269, %267
  %.pn181 = phi { ptr, i32 } [ %270, %269 ], [ %268, %267 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %42) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %41) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %41) #8
  br label %408

272:                                              ; preds = %250
  %273 = landingpad { ptr, i32 }
          cleanup
  br label %276

274:                                              ; preds = %251
  %275 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %44) #8
  br label %276

276:                                              ; preds = %274, %272
  %.pn183 = phi { ptr, i32 } [ %275, %274 ], [ %273, %272 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %44) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %43) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %43) #8
  br label %408

277:                                              ; preds = %252
  %278 = landingpad { ptr, i32 }
          cleanup
  br label %287

279:                                              ; preds = %254
  %280 = landingpad { ptr, i32 }
          cleanup
  br label %286

281:                                              ; preds = %255
  %282 = landingpad { ptr, i32 }
          cleanup
  br label %285

283:                                              ; preds = %256
  %284 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %46) #8
  br label %285

285:                                              ; preds = %283, %281
  %.pn185 = phi { ptr, i32 } [ %284, %283 ], [ %282, %281 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %47) #8
  br label %286

286:                                              ; preds = %285, %279
  %.pn185.pn = phi { ptr, i32 } [ %.pn185, %285 ], [ %280, %279 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %48) #8
  br label %287

287:                                              ; preds = %286, %277
  %.pn185.pn.pn = phi { ptr, i32 } [ %.pn185.pn, %286 ], [ %278, %277 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %48) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %47) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %46) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %45) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %45) #8
  br label %408

.lr.ph260:                                        ; preds = %257, %299
  %.0146259 = phi i32 [ %300, %299 ], [ 0, %257 ]
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %49) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %50) #8
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %50, ptr noundef nonnull @.str.22)
  invoke void (ptr, ptr, ...) @_ZN7LibUtil6String6formatERKS0_z(ptr dead_on_unwind nonnull writable sret(%"class.LibUtil::String") align 8 %49, ptr noundef nonnull align 8 dereferenceable(32) %50, i32 noundef %.0146259)
          to label %288 unwind label %301

288:                                              ; preds = %.lr.ph260
  %289 = invoke noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131) %0, ptr noundef nonnull align 8 dereferenceable(32) %49)
          to label %290 unwind label %303

290:                                              ; preds = %288
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %49) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %50) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %50) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %49) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %51) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %52) #8
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %52, ptr noundef nonnull @.str.23)
  invoke void (ptr, ptr, ...) @_ZN7LibUtil6String6formatERKS0_z(ptr dead_on_unwind nonnull writable sret(%"class.LibUtil::String") align 8 %51, ptr noundef nonnull align 8 dereferenceable(32) %52, i32 noundef %.0146259)
          to label %291 unwind label %306

291:                                              ; preds = %290
  %292 = invoke noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131) %0, ptr noundef nonnull align 8 dereferenceable(32) %51)
          to label %293 unwind label %308

293:                                              ; preds = %291
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %51) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %52) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %52) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %51) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %53) #8
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %53, ptr noundef nonnull @.str.26)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %54) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %55) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %56) #8
  invoke void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %56, i32 noundef %.0146259)
          to label %294 unwind label %311

294:                                              ; preds = %293
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %55, ptr noundef nonnull @.str.11, ptr noundef nonnull align 8 dereferenceable(32) %56)
          to label %295 unwind label %313

295:                                              ; preds = %294
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %54, ptr noundef nonnull align 8 dereferenceable(32) %55)
          to label %296 unwind label %315

296:                                              ; preds = %295
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef %289, ptr noundef nonnull align 8 dereferenceable(32) %53, ptr noundef nonnull align 8 dereferenceable(32) %54)
          to label %297 unwind label %317

297:                                              ; preds = %296
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %54) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %55) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %56) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %56) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %55) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %54) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %53) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %53) #8
  call void @_ZN5DSENT5Model3useEv(ptr noundef nonnull align 8 dereferenceable(131) %289)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %57) #8
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %57, ptr noundef nonnull @.str.26)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %58) #8
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %58, ptr noundef nonnull @.str.30)
          to label %298 unwind label %322

298:                                              ; preds = %297
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringEPKS0_S5_(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef %292, ptr noundef nonnull align 8 dereferenceable(32) %57, ptr noundef nonnull %289, ptr noundef nonnull align 8 dereferenceable(32) %58)
          to label %299 unwind label %324

299:                                              ; preds = %298
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %58) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %58) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %57) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %57) #8
  call void @_ZN5DSENT5Model3useEv(ptr noundef nonnull align 8 dereferenceable(131) %292)
  %300 = add nuw i32 %.0146259, 1
  %exitcond274.not = icmp eq i32 %300, %88
  br i1 %exitcond274.not, label %.loopexit, label %.lr.ph260, !llvm.loop !10

301:                                              ; preds = %.lr.ph260
  %302 = landingpad { ptr, i32 }
          cleanup
  br label %305

303:                                              ; preds = %288
  %304 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %49) #8
  br label %305

305:                                              ; preds = %303, %301
  %.pn191 = phi { ptr, i32 } [ %304, %303 ], [ %302, %301 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %50) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %50) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %49) #8
  br label %408

306:                                              ; preds = %290
  %307 = landingpad { ptr, i32 }
          cleanup
  br label %310

308:                                              ; preds = %291
  %309 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %51) #8
  br label %310

310:                                              ; preds = %308, %306
  %.pn193 = phi { ptr, i32 } [ %309, %308 ], [ %307, %306 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %52) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %52) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %51) #8
  br label %408

311:                                              ; preds = %293
  %312 = landingpad { ptr, i32 }
          cleanup
  br label %321

313:                                              ; preds = %294
  %314 = landingpad { ptr, i32 }
          cleanup
  br label %320

315:                                              ; preds = %295
  %316 = landingpad { ptr, i32 }
          cleanup
  br label %319

317:                                              ; preds = %296
  %318 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %54) #8
  br label %319

319:                                              ; preds = %317, %315
  %.pn195 = phi { ptr, i32 } [ %318, %317 ], [ %316, %315 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %55) #8
  br label %320

320:                                              ; preds = %319, %313
  %.pn195.pn = phi { ptr, i32 } [ %.pn195, %319 ], [ %314, %313 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %56) #8
  br label %321

321:                                              ; preds = %320, %311
  %.pn195.pn.pn = phi { ptr, i32 } [ %.pn195.pn, %320 ], [ %312, %311 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %56) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %55) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %54) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %53) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %53) #8
  br label %408

322:                                              ; preds = %297
  %323 = landingpad { ptr, i32 }
          cleanup
  br label %326

324:                                              ; preds = %298
  %325 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %58) #8
  br label %326

326:                                              ; preds = %324, %322
  %.pn199 = phi { ptr, i32 } [ %325, %324 ], [ %323, %322 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %58) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %57) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %57) #8
  br label %408

.loopexit:                                        ; preds = %299, %257
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %59) #8
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %59, ptr noundef nonnull @.str.12)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %60) #8
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %60, ptr noundef nonnull @.str.30)
          to label %327 unwind label %329

327:                                              ; preds = %.loopexit
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoERKN7LibUtil6StringEPKS0_S4_(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef nonnull align 8 dereferenceable(32) %59, ptr noundef nonnull %247, ptr noundef nonnull align 8 dereferenceable(32) %60)
          to label %328 unwind label %331

328:                                              ; preds = %327
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %60) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %60) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %59) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %59) #8
  br label %407

329:                                              ; preds = %.loopexit
  %330 = landingpad { ptr, i32 }
          cleanup
  br label %333

331:                                              ; preds = %327
  %332 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %60) #8
  br label %333

333:                                              ; preds = %331, %329
  %.pn189 = phi { ptr, i32 } [ %332, %331 ], [ %330, %329 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %60) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %59) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %59) #8
  br label %408

._crit_edge246:                                   ; preds = %._crit_edge, %.preheader240
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %76) #8
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %76, ptr noundef nonnull @.str.35)
  %334 = invoke noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131) %0, ptr noundef nonnull align 8 dereferenceable(32) %76)
          to label %397 unwind label %400

335:                                              ; preds = %.lr.ph245, %._crit_edge
  %.0143244 = phi i32 [ 0, %.lr.ph245 ], [ %372, %._crit_edge ]
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %61) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %62) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %63) #8
  call void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %63, i32 noundef %.0143244)
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %62, ptr noundef nonnull @.str.34, ptr noundef nonnull align 8 dereferenceable(32) %63)
          to label %336 unwind label %340

336:                                              ; preds = %335
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %61, ptr noundef nonnull align 8 dereferenceable(32) %62)
          to label %337 unwind label %342

337:                                              ; preds = %336
  %338 = invoke noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131) %0, ptr noundef nonnull align 8 dereferenceable(32) %61)
          to label %339 unwind label %344

339:                                              ; preds = %337
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %61) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %62) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %63) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %63) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %62) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %61) #8
  br i1 %.not262, label %.preheader239, label %.lr.ph

.preheader239:                                    ; preds = %353, %339
  br i1 %.not263, label %._crit_edge, label %.lr.ph243

340:                                              ; preds = %335
  %341 = landingpad { ptr, i32 }
          cleanup
  br label %347

342:                                              ; preds = %336
  %343 = landingpad { ptr, i32 }
          cleanup
  br label %346

344:                                              ; preds = %337
  %345 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %61) #8
  br label %346

346:                                              ; preds = %344, %342
  %.pn162 = phi { ptr, i32 } [ %345, %344 ], [ %343, %342 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %62) #8
  br label %347

347:                                              ; preds = %346, %340
  %.pn162.pn = phi { ptr, i32 } [ %.pn162, %346 ], [ %341, %340 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %63) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %63) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %62) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %61) #8
  br label %408

.lr.ph:                                           ; preds = %339, %353
  %.078241 = phi i32 [ %354, %353 ], [ 0, %339 ]
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %64) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %65) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %66) #8
  call void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %66, i32 noundef %.078241)
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %65, ptr noundef nonnull @.str.10, ptr noundef nonnull align 8 dereferenceable(32) %66)
          to label %348 unwind label %355

348:                                              ; preds = %.lr.ph
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %64, ptr noundef nonnull align 8 dereferenceable(32) %65)
          to label %349 unwind label %357

349:                                              ; preds = %348
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %67) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %68) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %69) #8
  invoke void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %69, i32 noundef %.078241)
          to label %350 unwind label %359

350:                                              ; preds = %349
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %68, ptr noundef nonnull @.str.10, ptr noundef nonnull align 8 dereferenceable(32) %69)
          to label %351 unwind label %361

351:                                              ; preds = %350
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %67, ptr noundef nonnull align 8 dereferenceable(32) %68)
          to label %352 unwind label %363

352:                                              ; preds = %351
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef %338, ptr noundef nonnull align 8 dereferenceable(32) %64, ptr noundef nonnull align 8 dereferenceable(32) %67)
          to label %353 unwind label %365

353:                                              ; preds = %352
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %67) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %68) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %69) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %69) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %68) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %67) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %64) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %65) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %66) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %66) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %65) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %64) #8
  %354 = add nuw i32 %.078241, 1
  %exitcond.not = icmp eq i32 %354, %83
  br i1 %exitcond.not, label %.preheader239, label %.lr.ph, !llvm.loop !11

355:                                              ; preds = %.lr.ph
  %356 = landingpad { ptr, i32 }
          cleanup
  br label %371

357:                                              ; preds = %348
  %358 = landingpad { ptr, i32 }
          cleanup
  br label %370

359:                                              ; preds = %349
  %360 = landingpad { ptr, i32 }
          cleanup
  br label %369

361:                                              ; preds = %350
  %362 = landingpad { ptr, i32 }
          cleanup
  br label %368

363:                                              ; preds = %351
  %364 = landingpad { ptr, i32 }
          cleanup
  br label %367

365:                                              ; preds = %352
  %366 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %67) #8
  br label %367

367:                                              ; preds = %365, %363
  %.pn171 = phi { ptr, i32 } [ %366, %365 ], [ %364, %363 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %68) #8
  br label %368

368:                                              ; preds = %367, %361
  %.pn171.pn = phi { ptr, i32 } [ %.pn171, %367 ], [ %362, %361 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %69) #8
  br label %369

369:                                              ; preds = %368, %359
  %.pn171.pn.pn = phi { ptr, i32 } [ %.pn171.pn, %368 ], [ %360, %359 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %69) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %68) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %67) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %64) #8
  br label %370

370:                                              ; preds = %369, %357
  %.pn171.pn.pn.pn = phi { ptr, i32 } [ %.pn171.pn.pn, %369 ], [ %358, %357 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %65) #8
  br label %371

371:                                              ; preds = %370, %355
  %.pn171.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn171.pn.pn.pn, %370 ], [ %356, %355 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %66) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %66) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %65) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %64) #8
  br label %408

._crit_edge:                                      ; preds = %378, %.preheader239
  call void @_ZN5DSENT5Model3useEv(ptr noundef nonnull align 8 dereferenceable(131) %338)
  %372 = add nuw i32 %.0143244, 1
  %exitcond269.not = icmp eq i32 %372, %80
  br i1 %exitcond269.not, label %._crit_edge246, label %335, !llvm.loop !12

.lr.ph243:                                        ; preds = %.preheader239, %378
  %.077242 = phi i32 [ %379, %378 ], [ 0, %.preheader239 ]
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %70) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %71) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %72) #8
  call void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %72, i32 noundef %.077242)
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %71, ptr noundef nonnull @.str.11, ptr noundef nonnull align 8 dereferenceable(32) %72)
          to label %373 unwind label %380

373:                                              ; preds = %.lr.ph243
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %70, ptr noundef nonnull align 8 dereferenceable(32) %71)
          to label %374 unwind label %382

374:                                              ; preds = %373
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %73) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %74) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %75) #8
  invoke void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %75, i32 noundef %.077242)
          to label %375 unwind label %384

375:                                              ; preds = %374
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %74, ptr noundef nonnull @.str.11, ptr noundef nonnull align 8 dereferenceable(32) %75)
          to label %376 unwind label %386

376:                                              ; preds = %375
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %73, ptr noundef nonnull align 8 dereferenceable(32) %74)
          to label %377 unwind label %388

377:                                              ; preds = %376
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef %338, ptr noundef nonnull align 8 dereferenceable(32) %70, ptr noundef nonnull align 8 dereferenceable(32) %73)
          to label %378 unwind label %390

378:                                              ; preds = %377
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %73) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %74) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %75) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %75) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %74) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %73) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %70) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %71) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %72) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %72) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %71) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %70) #8
  %379 = add nuw i32 %.077242, 1
  %exitcond268.not = icmp eq i32 %379, %88
  br i1 %exitcond268.not, label %._crit_edge, label %.lr.ph243, !llvm.loop !13

380:                                              ; preds = %.lr.ph243
  %381 = landingpad { ptr, i32 }
          cleanup
  br label %396

382:                                              ; preds = %373
  %383 = landingpad { ptr, i32 }
          cleanup
  br label %395

384:                                              ; preds = %374
  %385 = landingpad { ptr, i32 }
          cleanup
  br label %394

386:                                              ; preds = %375
  %387 = landingpad { ptr, i32 }
          cleanup
  br label %393

388:                                              ; preds = %376
  %389 = landingpad { ptr, i32 }
          cleanup
  br label %392

390:                                              ; preds = %377
  %391 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %73) #8
  br label %392

392:                                              ; preds = %390, %388
  %.pn165 = phi { ptr, i32 } [ %391, %390 ], [ %389, %388 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %74) #8
  br label %393

393:                                              ; preds = %392, %386
  %.pn165.pn = phi { ptr, i32 } [ %.pn165, %392 ], [ %387, %386 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %75) #8
  br label %394

394:                                              ; preds = %393, %384
  %.pn165.pn.pn = phi { ptr, i32 } [ %.pn165.pn, %393 ], [ %385, %384 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %75) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %74) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %73) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %70) #8
  br label %395

395:                                              ; preds = %394, %382
  %.pn165.pn.pn.pn = phi { ptr, i32 } [ %.pn165.pn.pn, %394 ], [ %383, %382 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %71) #8
  br label %396

396:                                              ; preds = %395, %380
  %.pn165.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn165.pn.pn.pn, %395 ], [ %381, %380 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %72) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %72) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %71) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %70) #8
  br label %408

397:                                              ; preds = %._crit_edge246
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %76) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %76) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %77) #8
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %77, ptr noundef nonnull @.str.12)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %78) #8
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %78, ptr noundef nonnull @.str.12)
          to label %398 unwind label %402

398:                                              ; preds = %397
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoERKN7LibUtil6StringEPKS0_S4_(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef nonnull align 8 dereferenceable(32) %77, ptr noundef %334, ptr noundef nonnull align 8 dereferenceable(32) %78)
          to label %399 unwind label %404

399:                                              ; preds = %398
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %78) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %78) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %77) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %77) #8
  br label %407

400:                                              ; preds = %._crit_edge246
  %401 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %76) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %76) #8
  br label %408

402:                                              ; preds = %397
  %403 = landingpad { ptr, i32 }
          cleanup
  br label %406

404:                                              ; preds = %398
  %405 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %78) #8
  br label %406

406:                                              ; preds = %404, %402
  %.pn159 = phi { ptr, i32 } [ %405, %404 ], [ %403, %402 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %78) #8
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %77) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %77) #8
  br label %408

407:                                              ; preds = %113, %328, %399
  ret void

408:                                              ; preds = %123, %133, %400, %406, %347, %371, %396, %142, %167, %192, %266, %271, %276, %287, %333, %310, %321, %326, %305, %244, %220, %194, %138, %128, %118
  %.pn230.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn, %118 ], [ %.pn153, %123 ], [ %.pn155, %128 ], [ %.pn157, %133 ], [ %.pn230, %138 ], [ %.pn223.pn.pn.pn.pn, %167 ], [ %.pn217.pn.pn.pn.pn, %192 ], [ %143, %142 ], [ %.pn210.pn.pn.pn.pn, %220 ], [ %.pn204.pn.pn.pn.pn, %244 ], [ %195, %194 ], [ %.pn189, %333 ], [ %.pn185.pn.pn, %287 ], [ %.pn183, %276 ], [ %.pn181, %271 ], [ %.pn178.pn, %266 ], [ %.pn191, %305 ], [ %.pn199, %326 ], [ %.pn195.pn.pn, %321 ], [ %.pn193, %310 ], [ %.pn171.pn.pn.pn.pn, %371 ], [ %.pn165.pn.pn.pn.pn, %396 ], [ %.pn162.pn, %347 ], [ %.pn159, %406 ], [ %401, %400 ]
  resume { ptr, i32 } %.pn230.pn.pn.pn.pn.pn
}

declare void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoERKN7LibUtil6StringES4_(ptr noundef nonnull align 8 dereferenceable(240), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #1

declare void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240), ptr noundef, ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #1

declare void @_ZN5DSENT5Model3useEv(ptr noundef nonnull align 8 dereferenceable(131)) local_unnamed_addr #1

declare void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringEPKS0_S5_(ptr noundef nonnull align 8 dereferenceable(240), ptr noundef, ptr noundef nonnull align 8 dereferenceable(32), ptr noundef, ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #1

declare void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoERKN7LibUtil6StringEPKS0_S4_(ptr noundef nonnull align 8 dereferenceable(240), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef, ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #1

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


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LICMPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,ReassociatePass,SROAPass,SimplifyCFGPass