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

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

%"class.std::__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] }
%"class.LibUtil::String" = type { %"class.std::__cxx11::basic_string" }
%"class.DSENT::TransitionInfo" = type { double, double, double, double, double, double }

@.str.12 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.35 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.37 = external hidden unnamed_addr constant [2 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 @_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 #3 align 2

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

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

declare void @_ZN5DSENT14TransitionInfoC1Eddd(ptr noundef nonnull align 8 dereferenceable(48), double noundef, double noundef, double noundef) unnamed_addr #1

; Function Attrs: nounwind
declare void @_ZN5DSENT14TransitionInfoD1Ev(ptr noundef nonnull align 8 dereferenceable(48)) unnamed_addr #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)) #4

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN5DSENT17MuxTreeSerializer23propagateTransitionInfoEv(ptr noundef nonnull align 8 dereferenceable(240) %0) unnamed_addr #5 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 ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca %"class.LibUtil::String", align 8
  %9 = alloca %"class.LibUtil::String", align 8
  %10 = alloca %"class.LibUtil::String", align 8
  %11 = alloca ptr, align 8
  %12 = alloca %"class.LibUtil::String", align 8
  %13 = alloca i32, align 4
  %14 = alloca %"class.LibUtil::String", align 8
  %15 = alloca %"class.std::__cxx11::basic_string", align 8
  %16 = alloca %"class.LibUtil::String", align 8
  %17 = alloca %"class.LibUtil::String", align 8
  %18 = alloca %"class.LibUtil::String", align 8
  %19 = alloca %"class.std::__cxx11::basic_string", align 8
  %20 = alloca %"class.LibUtil::String", align 8
  %21 = alloca %"class.LibUtil::String", align 8
  %22 = alloca ptr, align 8
  %23 = alloca double, align 8
  %24 = alloca %"class.LibUtil::String", align 8
  %25 = alloca i32, align 4
  %26 = alloca ptr, align 8
  %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 ptr, align 8
  %31 = alloca %"class.LibUtil::String", align 8
  %32 = alloca %"class.std::__cxx11::basic_string", align 8
  %33 = alloca %"class.LibUtil::String", align 8
  %34 = alloca ptr, align 8
  %35 = alloca %"class.LibUtil::String", align 8
  %36 = alloca %"class.LibUtil::String", align 8
  %37 = alloca %"class.LibUtil::String", align 8
  %38 = alloca %"class.LibUtil::String", align 8
  %39 = alloca %"class.LibUtil::String", align 8
  %40 = alloca %"class.DSENT::TransitionInfo", align 8
  %41 = alloca %"class.LibUtil::String", align 8
  %42 = alloca %"class.DSENT::TransitionInfo", align 8
  %43 = alloca ptr, 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
  store ptr %0, ptr %2, align 8, !tbaa !5
  %52 = load ptr, ptr %2, align 8
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #7
  %53 = call noundef ptr @_ZN5DSENT5Model16getGenPropertiesEv(ptr noundef nonnull align 8 dereferenceable(131) %52)
  call void @llvm.lifetime.start.p0(i64 32, ptr %4) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %4, ptr noundef @.str.12)
  %54 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNK7LibUtil3MapINS_6StringEE3getERKS1_(ptr noundef nonnull align 8 dereferenceable(56) %53, ptr noundef nonnull align 8 dereferenceable(32) %4)
          to label %55 unwind label %68

55:                                               ; preds = %1
  %56 = invoke noundef i32 @_ZNK7LibUtil6StringcvjEv(ptr noundef nonnull align 8 dereferenceable(32) %54)
          to label %57 unwind label %68

57:                                               ; preds = %55
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %4) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %4) #7
  store i32 %56, ptr %3, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #7
  %58 = call noundef ptr @_ZN5DSENT5Model16getGenPropertiesEv(ptr noundef nonnull align 8 dereferenceable(131) %52)
  call void @llvm.lifetime.start.p0(i64 32, ptr %8) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %8, ptr noundef @.str.14)
  %59 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNK7LibUtil3MapINS_6StringEE3getERKS1_(ptr noundef nonnull align 8 dereferenceable(56) %58, ptr noundef nonnull align 8 dereferenceable(32) %8)
          to label %60 unwind label %72

60:                                               ; preds = %57
  %61 = invoke noundef i32 @_ZNK7LibUtil6StringcvjEv(ptr noundef nonnull align 8 dereferenceable(32) %59)
          to label %62 unwind label %72

62:                                               ; preds = %60
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %8) #7
  store i32 %61, ptr %7, align 4, !tbaa !9
  %63 = load i32, ptr %3, align 4, !tbaa !9
  %64 = icmp eq i32 %63, 1
  br i1 %64, label %65, label %85

65:                                               ; preds = %62
  call void @llvm.lifetime.start.p0(i64 32, ptr %9) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %9, ptr noundef @.str.17)
  call void @llvm.lifetime.start.p0(i64 32, ptr %10) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %10, ptr noundef @.str.15)
          to label %66 unwind label %76

66:                                               ; preds = %65
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoERKN7LibUtil6StringES4_(ptr noundef nonnull align 8 dereferenceable(240) %52, ptr noundef nonnull align 8 dereferenceable(32) %9, ptr noundef nonnull align 8 dereferenceable(32) %10)
          to label %67 unwind label %80

67:                                               ; preds = %66
  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 @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %9) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %9) #7
  br label %403

68:                                               ; preds = %55, %1
  %69 = landingpad { ptr, i32 }
          cleanup
  %70 = extractvalue { ptr, i32 } %69, 0
  store ptr %70, ptr %5, align 8
  %71 = extractvalue { ptr, i32 } %69, 1
  store i32 %71, ptr %6, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %4) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %4) #7
  br label %405

72:                                               ; preds = %60, %57
  %73 = landingpad { ptr, i32 }
          cleanup
  %74 = extractvalue { ptr, i32 } %73, 0
  store ptr %74, ptr %5, align 8
  %75 = extractvalue { ptr, i32 } %73, 1
  store i32 %75, ptr %6, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %8) #7
  br label %404

76:                                               ; preds = %65
  %77 = landingpad { ptr, i32 }
          cleanup
  %78 = extractvalue { ptr, i32 } %77, 0
  store ptr %78, ptr %5, align 8
  %79 = extractvalue { ptr, i32 } %77, 1
  store i32 %79, ptr %6, align 4
  br label %84

80:                                               ; preds = %66
  %81 = landingpad { ptr, i32 }
          cleanup
  %82 = extractvalue { ptr, i32 } %81, 0
  store ptr %82, ptr %5, align 8
  %83 = extractvalue { ptr, i32 } %81, 1
  store i32 %83, ptr %6, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #7
  br label %84

84:                                               ; preds = %80, %76
  call void @llvm.lifetime.end.p0(i64 32, ptr %10) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %9) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %9) #7
  br label %404

85:                                               ; preds = %62
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %12) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %12, ptr noundef @.str.20)
  %86 = invoke noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131) %52, ptr noundef nonnull align 8 dereferenceable(32) %12)
          to label %87 unwind label %93

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

88:                                               ; preds = %104, %87
  %89 = load i32, ptr %13, align 4, !tbaa !9
  %90 = load i32, ptr %3, align 4, !tbaa !9
  %91 = icmp ult i32 %89, %90
  br i1 %91, label %97, label %92

92:                                               ; preds = %88
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #7
  br label %126

93:                                               ; preds = %85
  %94 = landingpad { ptr, i32 }
          cleanup
  %95 = extractvalue { ptr, i32 } %94, 0
  store ptr %95, ptr %5, align 8
  %96 = extractvalue { ptr, i32 } %94, 1
  store i32 %96, ptr %6, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %12) #7
  br label %402

97:                                               ; preds = %88
  %98 = load ptr, ptr %11, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %14) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %15) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %16) #7
  %99 = load i32, ptr %13, align 4, !tbaa !9
  call void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %16, i32 noundef %99)
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %15, ptr noundef @.str.15, ptr noundef nonnull align 8 dereferenceable(32) %16)
          to label %100 unwind label %107

100:                                              ; preds = %97
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %14, ptr noundef nonnull align 8 dereferenceable(32) %15)
          to label %101 unwind label %111

101:                                              ; preds = %100
  call void @llvm.lifetime.start.p0(i64 32, ptr %17) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %17, ptr noundef @.str.15)
          to label %102 unwind label %115

102:                                              ; preds = %101
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240) %52, ptr noundef %98, ptr noundef nonnull align 8 dereferenceable(32) %14, ptr noundef nonnull align 8 dereferenceable(32) %17)
          to label %103 unwind label %119

103:                                              ; preds = %102
  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 @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %16) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %15) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %14) #7
  br label %104

104:                                              ; preds = %103
  %105 = load i32, ptr %13, align 4, !tbaa !9
  %106 = add i32 %105, 1
  store i32 %106, ptr %13, align 4, !tbaa !9
  br label %88, !llvm.loop !11

107:                                              ; preds = %97
  %108 = landingpad { ptr, i32 }
          cleanup
  %109 = extractvalue { ptr, i32 } %108, 0
  store ptr %109, ptr %5, align 8
  %110 = extractvalue { ptr, i32 } %108, 1
  store i32 %110, ptr %6, align 4
  br label %125

111:                                              ; preds = %100
  %112 = landingpad { ptr, i32 }
          cleanup
  %113 = extractvalue { ptr, i32 } %112, 0
  store ptr %113, ptr %5, align 8
  %114 = extractvalue { ptr, i32 } %112, 1
  store i32 %114, ptr %6, align 4
  br label %124

115:                                              ; preds = %101
  %116 = landingpad { ptr, i32 }
          cleanup
  %117 = extractvalue { ptr, i32 } %116, 0
  store ptr %117, ptr %5, align 8
  %118 = extractvalue { ptr, i32 } %116, 1
  store i32 %118, ptr %6, align 4
  br label %123

119:                                              ; preds = %102
  %120 = landingpad { ptr, i32 }
          cleanup
  %121 = extractvalue { ptr, i32 } %120, 0
  store ptr %121, ptr %5, align 8
  %122 = extractvalue { ptr, i32 } %120, 1
  store i32 %122, ptr %6, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %17) #7
  br label %123

123:                                              ; preds = %119, %115
  call void @llvm.lifetime.end.p0(i64 32, ptr %17) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #7
  br label %124

124:                                              ; preds = %123, %111
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #7
  br label %125

125:                                              ; preds = %124, %107
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %16) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %15) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %14) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #7
  br label %402

126:                                              ; preds = %92
  %127 = load ptr, ptr %11, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %18) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %19) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %20) #7
  %128 = load i32, ptr %7, align 4, !tbaa !9
  %129 = sub i32 %128, 1
  call void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %20, i32 noundef %129)
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %19, ptr noundef @.str.28, ptr noundef nonnull align 8 dereferenceable(32) %20)
          to label %130 unwind label %146

130:                                              ; preds = %126
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %18, ptr noundef nonnull align 8 dereferenceable(32) %19)
          to label %131 unwind label %150

131:                                              ; preds = %130
  call void @llvm.lifetime.start.p0(i64 32, ptr %21) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %21, ptr noundef @.str.16)
          to label %132 unwind label %154

132:                                              ; preds = %131
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240) %52, ptr noundef %127, ptr noundef nonnull align 8 dereferenceable(32) %18, ptr noundef nonnull align 8 dereferenceable(32) %21)
          to label %133 unwind label %158

133:                                              ; preds = %132
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %21) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %21) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %19) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %20) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %20) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %19) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %18) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #7
  store ptr null, ptr %22, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr %24) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %24, ptr noundef @.str.16)
  %134 = invoke noundef ptr @_ZN5DSENT15ElectricalModel12getInputPortERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(240) %52, ptr noundef nonnull align 8 dereferenceable(32) %24)
          to label %135 unwind label %165

135:                                              ; preds = %133
  %136 = invoke noundef nonnull align 8 dereferenceable(48) ptr @_ZNK5DSENT8PortInfo17getTransitionInfoEv(ptr noundef nonnull align 8 dereferenceable(88) %134)
          to label %137 unwind label %165

137:                                              ; preds = %135
  %138 = invoke noundef double @_ZNK5DSENT14TransitionInfo22getNumberTransitions01Ev(ptr noundef nonnull align 8 dereferenceable(48) %136)
          to label %139 unwind label %165

139:                                              ; preds = %137
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %24) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %24) #7
  store double %138, ptr %23, align 8, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #7
  store i32 0, ptr %25, align 4, !tbaa !9
  br label %140

140:                                              ; preds = %338, %139
  %141 = load i32, ptr %25, align 4, !tbaa !9
  %142 = load i32, ptr %7, align 4, !tbaa !9
  %143 = sub i32 %142, 1
  %144 = icmp ult i32 %141, %143
  br i1 %144, label %169, label %145

145:                                              ; preds = %140
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #7
  br label %387

146:                                              ; preds = %126
  %147 = landingpad { ptr, i32 }
          cleanup
  %148 = extractvalue { ptr, i32 } %147, 0
  store ptr %148, ptr %5, align 8
  %149 = extractvalue { ptr, i32 } %147, 1
  store i32 %149, ptr %6, align 4
  br label %164

150:                                              ; preds = %130
  %151 = landingpad { ptr, i32 }
          cleanup
  %152 = extractvalue { ptr, i32 } %151, 0
  store ptr %152, ptr %5, align 8
  %153 = extractvalue { ptr, i32 } %151, 1
  store i32 %153, ptr %6, align 4
  br label %163

154:                                              ; preds = %131
  %155 = landingpad { ptr, i32 }
          cleanup
  %156 = extractvalue { ptr, i32 } %155, 0
  store ptr %156, ptr %5, align 8
  %157 = extractvalue { ptr, i32 } %155, 1
  store i32 %157, ptr %6, align 4
  br label %162

158:                                              ; preds = %132
  %159 = landingpad { ptr, i32 }
          cleanup
  %160 = extractvalue { ptr, i32 } %159, 0
  store ptr %160, ptr %5, align 8
  %161 = extractvalue { ptr, i32 } %159, 1
  store i32 %161, ptr %6, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %21) #7
  br label %162

162:                                              ; preds = %158, %154
  call void @llvm.lifetime.end.p0(i64 32, ptr %21) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #7
  br label %163

163:                                              ; preds = %162, %150
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %19) #7
  br label %164

164:                                              ; preds = %163, %146
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %20) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %20) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %19) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %18) #7
  br label %402

165:                                              ; preds = %137, %135, %133
  %166 = landingpad { ptr, i32 }
          cleanup
  %167 = extractvalue { ptr, i32 } %166, 0
  store ptr %167, ptr %5, align 8
  %168 = extractvalue { ptr, i32 } %166, 1
  store i32 %168, ptr %6, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %24) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %24) #7
  br label %401

169:                                              ; preds = %140
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #7
  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
  %170 = load i32, ptr %7, align 4, !tbaa !9
  %171 = load i32, ptr %25, align 4, !tbaa !9
  %172 = sub i32 %170, %171
  %173 = sub i32 %172, 2
  call void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %29, i32 noundef %173)
  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.30, ptr noundef nonnull align 8 dereferenceable(32) %29)
          to label %174 unwind label %193

174:                                              ; preds = %169
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %27, ptr noundef nonnull align 8 dereferenceable(32) %28)
          to label %175 unwind label %197

175:                                              ; preds = %174
  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
  store ptr %27, ptr %26, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, 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
  call void @llvm.lifetime.start.p0(i64 32, ptr %33) #7
  %176 = load i32, ptr %7, align 4, !tbaa !9
  %177 = load i32, ptr %25, align 4, !tbaa !9
  %178 = sub i32 %176, %177
  %179 = sub i32 %178, 2
  invoke void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %33, i32 noundef %179)
          to label %180 unwind label %202

180:                                              ; preds = %175
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %32, ptr noundef @.str.35, ptr noundef nonnull align 8 dereferenceable(32) %33)
          to label %181 unwind label %206

181:                                              ; preds = %180
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %31, ptr noundef nonnull align 8 dereferenceable(32) %32)
          to label %182 unwind label %210

182:                                              ; preds = %181
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %32) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %33) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %33) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %32) #7
  store ptr %31, ptr %30, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #7
  %183 = load ptr, ptr %26, align 8, !tbaa !5
  %184 = invoke noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131) %52, ptr noundef nonnull align 8 dereferenceable(32) %183)
          to label %185 unwind label %216

185:                                              ; preds = %182
  store ptr %184, ptr %34, align 8, !tbaa !5
  %186 = load ptr, ptr %22, align 8, !tbaa !5
  %187 = icmp eq ptr %186, null
  br i1 %187, label %188, label %234

188:                                              ; preds = %185
  %189 = load ptr, ptr %34, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %35) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %35, ptr noundef @.str.34)
          to label %190 unwind label %220

190:                                              ; preds = %188
  call void @llvm.lifetime.start.p0(i64 32, ptr %36) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %36, ptr noundef @.str.16)
          to label %191 unwind label %224

191:                                              ; preds = %190
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240) %52, ptr noundef %189, ptr noundef nonnull align 8 dereferenceable(32) %35, ptr noundef nonnull align 8 dereferenceable(32) %36)
          to label %192 unwind label %228

192:                                              ; preds = %191
  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 @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %35) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %35) #7
  br label %254

193:                                              ; preds = %169
  %194 = landingpad { ptr, i32 }
          cleanup
  %195 = extractvalue { ptr, i32 } %194, 0
  store ptr %195, ptr %5, align 8
  %196 = extractvalue { ptr, i32 } %194, 1
  store i32 %196, ptr %6, align 4
  br label %201

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

201:                                              ; preds = %197, %193
  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
  br label %386

202:                                              ; preds = %175
  %203 = landingpad { ptr, i32 }
          cleanup
  %204 = extractvalue { ptr, i32 } %203, 0
  store ptr %204, ptr %5, align 8
  %205 = extractvalue { ptr, i32 } %203, 1
  store i32 %205, ptr %6, align 4
  br label %215

206:                                              ; preds = %180
  %207 = landingpad { ptr, i32 }
          cleanup
  %208 = extractvalue { ptr, i32 } %207, 0
  store ptr %208, ptr %5, align 8
  %209 = extractvalue { ptr, i32 } %207, 1
  store i32 %209, ptr %6, align 4
  br label %214

210:                                              ; preds = %181
  %211 = landingpad { ptr, i32 }
          cleanup
  %212 = extractvalue { ptr, i32 } %211, 0
  store ptr %212, ptr %5, align 8
  %213 = extractvalue { ptr, i32 } %211, 1
  store i32 %213, ptr %6, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %32) #7
  br label %214

214:                                              ; preds = %210, %206
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %33) #7
  br label %215

215:                                              ; preds = %214, %202
  call void @llvm.lifetime.end.p0(i64 32, ptr %33) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %32) #7
  br label %385

216:                                              ; preds = %311, %182
  %217 = landingpad { ptr, i32 }
          cleanup
  %218 = extractvalue { ptr, i32 } %217, 0
  store ptr %218, ptr %5, align 8
  %219 = extractvalue { ptr, i32 } %217, 1
  store i32 %219, ptr %6, align 4
  br label %384

220:                                              ; preds = %188
  %221 = landingpad { ptr, i32 }
          cleanup
  %222 = extractvalue { ptr, i32 } %221, 0
  store ptr %222, ptr %5, align 8
  %223 = extractvalue { ptr, i32 } %221, 1
  store i32 %223, ptr %6, align 4
  br label %233

224:                                              ; preds = %190
  %225 = landingpad { ptr, i32 }
          cleanup
  %226 = extractvalue { ptr, i32 } %225, 0
  store ptr %226, ptr %5, align 8
  %227 = extractvalue { ptr, i32 } %225, 1
  store i32 %227, ptr %6, align 4
  br label %232

228:                                              ; preds = %191
  %229 = landingpad { ptr, i32 }
          cleanup
  %230 = extractvalue { ptr, i32 } %229, 0
  store ptr %230, ptr %5, align 8
  %231 = extractvalue { ptr, i32 } %229, 1
  store i32 %231, ptr %6, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %36) #7
  br label %232

232:                                              ; preds = %228, %224
  call void @llvm.lifetime.end.p0(i64 32, ptr %36) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %35) #7
  br label %233

233:                                              ; preds = %232, %220
  call void @llvm.lifetime.end.p0(i64 32, ptr %35) #7
  br label %384

234:                                              ; preds = %185
  %235 = load ptr, ptr %34, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %37) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %37, ptr noundef @.str.34)
          to label %236 unwind label %240

236:                                              ; preds = %234
  %237 = load ptr, ptr %22, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %38) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %38, ptr noundef @.str.33)
          to label %238 unwind label %244

238:                                              ; preds = %236
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringEPKS0_S5_(ptr noundef nonnull align 8 dereferenceable(240) %52, ptr noundef %235, ptr noundef nonnull align 8 dereferenceable(32) %37, ptr noundef %237, ptr noundef nonnull align 8 dereferenceable(32) %38)
          to label %239 unwind label %248

239:                                              ; preds = %238
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %38) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %38) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %37) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %37) #7
  br label %254

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

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

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

252:                                              ; preds = %248, %244
  call void @llvm.lifetime.end.p0(i64 32, ptr %38) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %37) #7
  br label %253

253:                                              ; preds = %252, %240
  call void @llvm.lifetime.end.p0(i64 32, ptr %37) #7
  br label %384

254:                                              ; preds = %239, %192
  %255 = load double, ptr %23, align 8, !tbaa !13
  %256 = fcmp une double %255, 0.000000e+00
  br i1 %256, label %257, label %285

257:                                              ; preds = %254
  %258 = load ptr, ptr %34, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %39) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %39, ptr noundef @.str.32)
          to label %259 unwind label %266

259:                                              ; preds = %257
  %260 = invoke noundef ptr @_ZN5DSENT15ElectricalModel12getInputPortERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(240) %258, ptr noundef nonnull align 8 dereferenceable(32) %39)
          to label %261 unwind label %270

261:                                              ; preds = %259
  call void @llvm.lifetime.start.p0(i64 48, ptr %40) #7
  %262 = load double, ptr %23, align 8, !tbaa !13
  %263 = fmul double %262, 5.000000e-01
  invoke void @_ZN5DSENT14TransitionInfoC1Eddd(ptr noundef nonnull align 8 dereferenceable(48) %40, double noundef 0.000000e+00, double noundef %263, double noundef 0.000000e+00)
          to label %264 unwind label %274

264:                                              ; preds = %261
  invoke void @_ZN5DSENT8PortInfo17setTransitionInfoERKNS_14TransitionInfoE(ptr noundef nonnull align 8 dereferenceable(88) %260, ptr noundef nonnull align 8 dereferenceable(48) %40)
          to label %265 unwind label %278

265:                                              ; preds = %264
  call void @_ZN5DSENT14TransitionInfoD1Ev(ptr noundef nonnull align 8 dereferenceable(48) %40) #7
  call void @llvm.lifetime.end.p0(i64 48, ptr %40) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %39) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %39) #7
  br label %311

266:                                              ; preds = %257
  %267 = landingpad { ptr, i32 }
          cleanup
  %268 = extractvalue { ptr, i32 } %267, 0
  store ptr %268, ptr %5, align 8
  %269 = extractvalue { ptr, i32 } %267, 1
  store i32 %269, ptr %6, align 4
  br label %284

270:                                              ; preds = %259
  %271 = landingpad { ptr, i32 }
          cleanup
  %272 = extractvalue { ptr, i32 } %271, 0
  store ptr %272, ptr %5, align 8
  %273 = extractvalue { ptr, i32 } %271, 1
  store i32 %273, ptr %6, align 4
  br label %283

274:                                              ; preds = %261
  %275 = landingpad { ptr, i32 }
          cleanup
  %276 = extractvalue { ptr, i32 } %275, 0
  store ptr %276, ptr %5, align 8
  %277 = extractvalue { ptr, i32 } %275, 1
  store i32 %277, ptr %6, align 4
  br label %282

278:                                              ; preds = %264
  %279 = landingpad { ptr, i32 }
          cleanup
  %280 = extractvalue { ptr, i32 } %279, 0
  store ptr %280, ptr %5, align 8
  %281 = extractvalue { ptr, i32 } %279, 1
  store i32 %281, ptr %6, align 4
  call void @_ZN5DSENT14TransitionInfoD1Ev(ptr noundef nonnull align 8 dereferenceable(48) %40) #7
  br label %282

282:                                              ; preds = %278, %274
  call void @llvm.lifetime.end.p0(i64 48, ptr %40) #7
  br label %283

283:                                              ; preds = %282, %270
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %39) #7
  br label %284

284:                                              ; preds = %283, %266
  call void @llvm.lifetime.end.p0(i64 32, ptr %39) #7
  br label %384

285:                                              ; preds = %254
  %286 = load ptr, ptr %34, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %41) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %41, ptr noundef @.str.32)
          to label %287 unwind label %292

287:                                              ; preds = %285
  %288 = invoke noundef ptr @_ZN5DSENT15ElectricalModel12getInputPortERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(240) %286, ptr noundef nonnull align 8 dereferenceable(32) %41)
          to label %289 unwind label %296

289:                                              ; preds = %287
  call void @llvm.lifetime.start.p0(i64 48, ptr %42) #7
  invoke void @_ZN5DSENT14TransitionInfoC1Eddd(ptr noundef nonnull align 8 dereferenceable(48) %42, double noundef 5.000000e-01, double noundef 0.000000e+00, double noundef 5.000000e-01)
          to label %290 unwind label %300

290:                                              ; preds = %289
  invoke void @_ZN5DSENT8PortInfo17setTransitionInfoERKNS_14TransitionInfoE(ptr noundef nonnull align 8 dereferenceable(88) %288, ptr noundef nonnull align 8 dereferenceable(48) %42)
          to label %291 unwind label %304

291:                                              ; preds = %290
  call void @_ZN5DSENT14TransitionInfoD1Ev(ptr noundef nonnull align 8 dereferenceable(48) %42) #7
  call void @llvm.lifetime.end.p0(i64 48, ptr %42) #7
  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 %311

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

296:                                              ; preds = %287
  %297 = landingpad { ptr, i32 }
          cleanup
  %298 = extractvalue { ptr, i32 } %297, 0
  store ptr %298, ptr %5, align 8
  %299 = extractvalue { ptr, i32 } %297, 1
  store i32 %299, ptr %6, align 4
  br label %309

300:                                              ; preds = %289
  %301 = landingpad { ptr, i32 }
          cleanup
  %302 = extractvalue { ptr, i32 } %301, 0
  store ptr %302, ptr %5, align 8
  %303 = extractvalue { ptr, i32 } %301, 1
  store i32 %303, ptr %6, align 4
  br label %308

304:                                              ; preds = %290
  %305 = landingpad { ptr, i32 }
          cleanup
  %306 = extractvalue { ptr, i32 } %305, 0
  store ptr %306, ptr %5, align 8
  %307 = extractvalue { ptr, i32 } %305, 1
  store i32 %307, ptr %6, align 4
  call void @_ZN5DSENT14TransitionInfoD1Ev(ptr noundef nonnull align 8 dereferenceable(48) %42) #7
  br label %308

308:                                              ; preds = %304, %300
  call void @llvm.lifetime.end.p0(i64 48, ptr %42) #7
  br label %309

309:                                              ; preds = %308, %296
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %41) #7
  br label %310

310:                                              ; preds = %309, %292
  call void @llvm.lifetime.end.p0(i64 32, ptr %41) #7
  br label %384

311:                                              ; preds = %291, %265
  %312 = load ptr, ptr %34, align 8, !tbaa !5
  invoke void @_ZN5DSENT5Model3useEv(ptr noundef nonnull align 8 dereferenceable(131) %312)
          to label %313 unwind label %216

313:                                              ; preds = %311
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #7
  %314 = load ptr, ptr %30, align 8, !tbaa !5
  %315 = invoke noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131) %52, ptr noundef nonnull align 8 dereferenceable(32) %314)
          to label %316 unwind label %341

316:                                              ; preds = %313
  store ptr %315, ptr %43, align 8, !tbaa !5
  %317 = load ptr, ptr %43, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %44) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %44, ptr noundef @.str.37)
          to label %318 unwind label %345

318:                                              ; preds = %316
  %319 = load ptr, ptr %34, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %45) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %45, ptr noundef @.str.33)
          to label %320 unwind label %349

320:                                              ; preds = %318
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringEPKS0_S5_(ptr noundef nonnull align 8 dereferenceable(240) %52, ptr noundef %317, ptr noundef nonnull align 8 dereferenceable(32) %44, ptr noundef %319, ptr noundef nonnull align 8 dereferenceable(32) %45)
          to label %321 unwind label %353

321:                                              ; preds = %320
  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 @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %44) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %44) #7
  %322 = load ptr, ptr %43, align 8, !tbaa !5
  invoke void @_ZN5DSENT5Model3useEv(ptr noundef nonnull align 8 dereferenceable(131) %322)
          to label %323 unwind label %341

323:                                              ; preds = %321
  %324 = load ptr, ptr %11, align 8, !tbaa !5
  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
  %325 = load i32, ptr %7, align 4, !tbaa !9
  %326 = load i32, ptr %25, align 4, !tbaa !9
  %327 = sub i32 %325, %326
  %328 = sub i32 %327, 2
  invoke void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %48, i32 noundef %328)
          to label %329 unwind label %359

329:                                              ; preds = %323
  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.28, ptr noundef nonnull align 8 dereferenceable(32) %48)
          to label %330 unwind label %363

330:                                              ; preds = %329
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %46, ptr noundef nonnull align 8 dereferenceable(32) %47)
          to label %331 unwind label %367

331:                                              ; preds = %330
  %332 = load ptr, ptr %34, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %49) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %49, ptr noundef @.str.33)
          to label %333 unwind label %371

333:                                              ; preds = %331
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringEPKS0_S5_(ptr noundef nonnull align 8 dereferenceable(240) %52, ptr noundef %324, ptr noundef nonnull align 8 dereferenceable(32) %46, ptr noundef %332, ptr noundef nonnull align 8 dereferenceable(32) %49)
          to label %334 unwind label %375

334:                                              ; preds = %333
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %49) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %49) #7
  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
  %335 = load double, ptr %23, align 8, !tbaa !13
  %336 = fmul double %335, 5.000000e-01
  store double %336, ptr %23, align 8, !tbaa !13
  %337 = load ptr, ptr %34, align 8, !tbaa !5
  store ptr %337, ptr %22, align 8, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %31) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %31) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %27) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %27) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #7
  br label %338

338:                                              ; preds = %334
  %339 = load i32, ptr %25, align 4, !tbaa !9
  %340 = add i32 %339, 1
  store i32 %340, ptr %25, align 4, !tbaa !9
  br label %140, !llvm.loop !15

341:                                              ; preds = %321, %313
  %342 = landingpad { ptr, i32 }
          cleanup
  %343 = extractvalue { ptr, i32 } %342, 0
  store ptr %343, ptr %5, align 8
  %344 = extractvalue { ptr, i32 } %342, 1
  store i32 %344, ptr %6, align 4
  br label %383

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

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

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

357:                                              ; preds = %353, %349
  call void @llvm.lifetime.end.p0(i64 32, ptr %45) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %44) #7
  br label %358

358:                                              ; preds = %357, %345
  call void @llvm.lifetime.end.p0(i64 32, ptr %44) #7
  br label %383

359:                                              ; preds = %323
  %360 = landingpad { ptr, i32 }
          cleanup
  %361 = extractvalue { ptr, i32 } %360, 0
  store ptr %361, ptr %5, align 8
  %362 = extractvalue { ptr, i32 } %360, 1
  store i32 %362, ptr %6, align 4
  br label %382

363:                                              ; preds = %329
  %364 = landingpad { ptr, i32 }
          cleanup
  %365 = extractvalue { ptr, i32 } %364, 0
  store ptr %365, ptr %5, align 8
  %366 = extractvalue { ptr, i32 } %364, 1
  store i32 %366, ptr %6, align 4
  br label %381

367:                                              ; preds = %330
  %368 = landingpad { ptr, i32 }
          cleanup
  %369 = extractvalue { ptr, i32 } %368, 0
  store ptr %369, ptr %5, align 8
  %370 = extractvalue { ptr, i32 } %368, 1
  store i32 %370, ptr %6, align 4
  br label %380

371:                                              ; preds = %331
  %372 = landingpad { ptr, i32 }
          cleanup
  %373 = extractvalue { ptr, i32 } %372, 0
  store ptr %373, ptr %5, align 8
  %374 = extractvalue { ptr, i32 } %372, 1
  store i32 %374, ptr %6, align 4
  br label %379

375:                                              ; preds = %333
  %376 = landingpad { ptr, i32 }
          cleanup
  %377 = extractvalue { ptr, i32 } %376, 0
  store ptr %377, ptr %5, align 8
  %378 = extractvalue { ptr, i32 } %376, 1
  store i32 %378, ptr %6, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %49) #7
  br label %379

379:                                              ; preds = %375, %371
  call void @llvm.lifetime.end.p0(i64 32, ptr %49) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %46) #7
  br label %380

380:                                              ; preds = %379, %367
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %47) #7
  br label %381

381:                                              ; preds = %380, %363
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %48) #7
  br label %382

382:                                              ; preds = %381, %359
  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
  br label %383

383:                                              ; preds = %382, %358, %341
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #7
  br label %384

384:                                              ; preds = %383, %310, %284, %253, %233, %216
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %31) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %31) #7
  br label %385

385:                                              ; preds = %384, %215
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %27) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %27) #7
  br label %386

386:                                              ; preds = %385, %201
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #7
  br label %401

387:                                              ; preds = %145
  %388 = load ptr, ptr %11, align 8, !tbaa !5
  call void @_ZN5DSENT5Model3useEv(ptr noundef nonnull align 8 dereferenceable(131) %388)
  call void @llvm.lifetime.start.p0(i64 32, ptr %50) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %50, ptr noundef @.str.17)
  %389 = load ptr, ptr %11, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %51) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %51, ptr noundef @.str.17)
          to label %390 unwind label %392

390:                                              ; preds = %387
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoERKN7LibUtil6StringEPKS0_S4_(ptr noundef nonnull align 8 dereferenceable(240) %52, ptr noundef nonnull align 8 dereferenceable(32) %50, ptr noundef %389, ptr noundef nonnull align 8 dereferenceable(32) %51)
          to label %391 unwind label %396

391:                                              ; preds = %390
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %51) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %51) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %50) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %50) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #7
  br label %403

392:                                              ; preds = %387
  %393 = landingpad { ptr, i32 }
          cleanup
  %394 = extractvalue { ptr, i32 } %393, 0
  store ptr %394, ptr %5, align 8
  %395 = extractvalue { ptr, i32 } %393, 1
  store i32 %395, ptr %6, align 4
  br label %400

396:                                              ; preds = %390
  %397 = landingpad { ptr, i32 }
          cleanup
  %398 = extractvalue { ptr, i32 } %397, 0
  store ptr %398, ptr %5, align 8
  %399 = extractvalue { ptr, i32 } %397, 1
  store i32 %399, ptr %6, align 4
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %51) #7
  br label %400

400:                                              ; preds = %396, %392
  call void @llvm.lifetime.end.p0(i64 32, ptr %51) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %50) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %50) #7
  br label %401

401:                                              ; preds = %400, %386, %165
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #7
  br label %402

402:                                              ; preds = %401, %164, %125, %93
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #7
  br label %404

403:                                              ; preds = %391, %67
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #7
  ret void

404:                                              ; preds = %402, %84, %72
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #7
  br label %405

405:                                              ; preds = %404, %68
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #7
  br label %406

406:                                              ; preds = %405
  %407 = load ptr, ptr %5, align 8
  %408 = load i32, ptr %6, align 4
  %409 = insertvalue { ptr, i32 } poison, ptr %407, 0
  %410 = insertvalue { ptr, i32 } %409, i32 %408, 1
  resume { ptr, i32 } %410
}

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(32) ptr @_ZNK7LibUtil3MapINS_6StringEE3getERKS1_(ptr noundef nonnull align 8 dereferenceable(56), ptr noundef nonnull align 8 dereferenceable(32)) #5 align 2

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

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 noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131), 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 noundef ptr @_ZN5DSENT15ElectricalModel12getInputPortERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(240), ptr noundef nonnull align 8 dereferenceable(32)) #1

declare noundef nonnull align 8 dereferenceable(48) ptr @_ZNK5DSENT8PortInfo17getTransitionInfoEv(ptr noundef nonnull align 8 dereferenceable(88)) #1

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef double @_ZNK5DSENT14TransitionInfo22getNumberTransitions01Ev(ptr noundef nonnull align 8 dereferenceable(48)) #6 align 2

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 @_ZN5DSENT8PortInfo17setTransitionInfoERKNS_14TransitionInfoE(ptr noundef nonnull align 8 dereferenceable(88), ptr noundef nonnull align 8 dereferenceable(48)) #1

declare void @_ZN5DSENT5Model3useEv(ptr noundef nonnull align 8 dereferenceable(131)) #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 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #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 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}
!13 = !{!14, !14, i64 0}
!14 = !{!"double", !7, i64 0}
!15 = distinct !{!15, !12}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%"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] }
%"class.LibUtil::String" = type { %"class.std::__cxx11::basic_string" }
%"class.DSENT::TransitionInfo" = type { double, double, double, double, double, double }

@.str.12 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.35 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.37 = external hidden unnamed_addr constant [2 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 @_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 #3 align 2

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

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

declare void @_ZN5DSENT14TransitionInfoC1Eddd(ptr noundef nonnull align 8 dereferenceable(48), double noundef, double noundef, double noundef) unnamed_addr #1

; Function Attrs: nounwind
declare void @_ZN5DSENT14TransitionInfoD1Ev(ptr noundef nonnull align 8 dereferenceable(48)) unnamed_addr #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 #4

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN5DSENT17MuxTreeSerializer23propagateTransitionInfoEv(ptr noundef nonnull align 8 dereferenceable(240) %0) unnamed_addr #5 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.std::__cxx11::basic_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.std::__cxx11::basic_string", align 8
  %13 = alloca %"class.LibUtil::String", align 8
  %14 = alloca %"class.LibUtil::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.LibUtil::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.DSENT::TransitionInfo", align 8
  %28 = alloca %"class.LibUtil::String", align 8
  %29 = alloca %"class.DSENT::TransitionInfo", align 8
  %30 = alloca %"class.LibUtil::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.LibUtil::String", align 8
  %37 = alloca %"class.LibUtil::String", align 8
  %38 = tail call noundef ptr @_ZN5DSENT5Model16getGenPropertiesEv(ptr noundef nonnull align 8 dereferenceable(131) %0)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %2) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %2, ptr noundef nonnull @.str.12)
  %39 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNK7LibUtil3MapINS_6StringEE3getERKS1_(ptr noundef nonnull align 8 dereferenceable(56) %38, ptr noundef nonnull align 8 dereferenceable(32) %2)
          to label %40 unwind label %52

40:                                               ; preds = %1
  %41 = invoke noundef i32 @_ZNK7LibUtil6StringcvjEv(ptr noundef nonnull align 8 dereferenceable(32) %39)
          to label %42 unwind label %52

42:                                               ; preds = %40
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %2) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %2) #7
  %43 = call noundef ptr @_ZN5DSENT5Model16getGenPropertiesEv(ptr noundef nonnull align 8 dereferenceable(131) %0)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %3) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %3, ptr noundef nonnull @.str.14)
  %44 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNK7LibUtil3MapINS_6StringEE3getERKS1_(ptr noundef nonnull align 8 dereferenceable(56) %43, ptr noundef nonnull align 8 dereferenceable(32) %3)
          to label %45 unwind label %54

45:                                               ; preds = %42
  %46 = invoke noundef i32 @_ZNK7LibUtil6StringcvjEv(ptr noundef nonnull align 8 dereferenceable(32) %44)
          to label %47 unwind label %54

47:                                               ; preds = %45
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %3) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %3) #7
  %48 = icmp eq i32 %41, 1
  br i1 %48, label %49, label %61

49:                                               ; preds = %47
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %4) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %4, ptr noundef nonnull @.str.17)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %5) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %5, ptr noundef nonnull @.str.15)
          to label %50 unwind label %56

50:                                               ; preds = %49
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoERKN7LibUtil6StringES4_(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef nonnull align 8 dereferenceable(32) %4, ptr noundef nonnull align 8 dereferenceable(32) %5)
          to label %51 unwind label %58

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

52:                                               ; preds = %40, %1
  %53 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %2) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %2) #7
  br label %240

54:                                               ; preds = %45, %42
  %55 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %3) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %3) #7
  br label %240

56:                                               ; preds = %49
  %57 = landingpad { ptr, i32 }
          cleanup
  br label %60

58:                                               ; preds = %50
  %59 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %5) #7
  br label %60

60:                                               ; preds = %58, %56
  %.pn121 = phi { ptr, i32 } [ %59, %58 ], [ %57, %56 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %5) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %4) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %4) #7
  br label %240

61:                                               ; preds = %47
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %6) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %6, ptr noundef nonnull @.str.20)
  %62 = invoke noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131) %0, ptr noundef nonnull align 8 dereferenceable(32) %6)
          to label %63 unwind label %65

63:                                               ; preds = %61
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %6) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %6) #7
  %.not = icmp eq i32 %41, 0
  br i1 %.not, label %._crit_edge, label %.lr.ph

._crit_edge:                                      ; preds = %70, %63
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %11) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %12) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %13) #7
  %64 = add i32 %46, -1
  call void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %13, i32 noundef %64)
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %12, ptr noundef nonnull @.str.28, ptr noundef nonnull align 8 dereferenceable(32) %13)
          to label %83 unwind label %92

65:                                               ; preds = %61
  %66 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %6) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %6) #7
  br label %240

.lr.ph:                                           ; preds = %63, %70
  %.074125 = phi i32 [ %71, %70 ], [ 0, %63 ]
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %7) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %8) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %9) #7
  call void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %9, i32 noundef %.074125)
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %8, ptr noundef nonnull @.str.15, ptr noundef nonnull align 8 dereferenceable(32) %9)
          to label %67 unwind label %72

67:                                               ; preds = %.lr.ph
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %7, ptr noundef nonnull align 8 dereferenceable(32) %8)
          to label %68 unwind label %74

68:                                               ; preds = %67
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %10) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %10, ptr noundef nonnull @.str.15)
          to label %69 unwind label %76

69:                                               ; preds = %68
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef %62, ptr noundef nonnull align 8 dereferenceable(32) %7, ptr noundef nonnull align 8 dereferenceable(32) %10)
          to label %70 unwind label %78

70:                                               ; preds = %69
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %10) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %9) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %9) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %8) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %7) #7
  %71 = add nuw i32 %.074125, 1
  %exitcond.not = icmp eq i32 %71, %41
  br i1 %exitcond.not, label %._crit_edge, label %.lr.ph, !llvm.loop !5

72:                                               ; preds = %.lr.ph
  %73 = landingpad { ptr, i32 }
          cleanup
  br label %82

74:                                               ; preds = %67
  %75 = landingpad { ptr, i32 }
          cleanup
  br label %81

76:                                               ; preds = %68
  %77 = landingpad { ptr, i32 }
          cleanup
  br label %80

78:                                               ; preds = %69
  %79 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #7
  br label %80

80:                                               ; preds = %78, %76
  %.pn116 = phi { ptr, i32 } [ %79, %78 ], [ %77, %76 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %10) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #7
  br label %81

81:                                               ; preds = %80, %74
  %.pn116.pn = phi { ptr, i32 } [ %.pn116, %80 ], [ %75, %74 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #7
  br label %82

82:                                               ; preds = %81, %72
  %.pn116.pn.pn = phi { ptr, i32 } [ %.pn116.pn, %81 ], [ %73, %72 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %9) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %9) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %8) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %7) #7
  br label %240

83:                                               ; preds = %._crit_edge
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %11, ptr noundef nonnull align 8 dereferenceable(32) %12)
          to label %84 unwind label %94

84:                                               ; preds = %83
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %14) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %14, ptr noundef nonnull @.str.16)
          to label %85 unwind label %96

85:                                               ; preds = %84
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef %62, ptr noundef nonnull align 8 dereferenceable(32) %11, ptr noundef nonnull align 8 dereferenceable(32) %14)
          to label %86 unwind label %98

86:                                               ; preds = %85
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %14) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %13) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %11) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %15) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %15, ptr noundef nonnull @.str.16)
  %87 = invoke noundef ptr @_ZN5DSENT15ElectricalModel12getInputPortERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef nonnull align 8 dereferenceable(32) %15)
          to label %88 unwind label %103

88:                                               ; preds = %86
  %89 = invoke noundef nonnull align 8 dereferenceable(48) ptr @_ZNK5DSENT8PortInfo17getTransitionInfoEv(ptr noundef nonnull align 8 dereferenceable(88) %87)
          to label %90 unwind label %103

90:                                               ; preds = %88
  %91 = call noundef double @_ZNK5DSENT14TransitionInfo22getNumberTransitions01Ev(ptr noundef nonnull align 8 dereferenceable(48) %89)
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %15) #7
  %.not132 = icmp eq i32 %64, 0
  br i1 %.not132, label %._crit_edge131, label %.lr.ph130

._crit_edge131:                                   ; preds = %203, %90
  call void @_ZN5DSENT5Model3useEv(ptr noundef nonnull align 8 dereferenceable(131) %62)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %36) #7
  call void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %36, ptr noundef nonnull @.str.17)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %37) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %37, ptr noundef nonnull @.str.17)
          to label %232 unwind label %234

92:                                               ; preds = %._crit_edge
  %93 = landingpad { ptr, i32 }
          cleanup
  br label %102

94:                                               ; preds = %83
  %95 = landingpad { ptr, i32 }
          cleanup
  br label %101

96:                                               ; preds = %84
  %97 = landingpad { ptr, i32 }
          cleanup
  br label %100

98:                                               ; preds = %85
  %99 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #7
  br label %100

100:                                              ; preds = %98, %96
  %.pn = phi { ptr, i32 } [ %99, %98 ], [ %97, %96 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %14) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #7
  br label %101

101:                                              ; preds = %100, %94
  %.pn.pn = phi { ptr, i32 } [ %.pn, %100 ], [ %95, %94 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #7
  br label %102

102:                                              ; preds = %101, %92
  %.pn.pn.pn = phi { ptr, i32 } [ %.pn.pn, %101 ], [ %93, %92 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %13) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %11) #7
  br label %240

103:                                              ; preds = %88, %86
  %104 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %15) #7
  br label %240

.lr.ph130:                                        ; preds = %90, %203
  %.075128 = phi ptr [ %112, %203 ], [ null, %90 ]
  %.076127 = phi i32 [ %205, %203 ], [ 0, %90 ]
  %.077126 = phi double [ %204, %203 ], [ %91, %90 ]
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %16) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %17) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %18) #7
  %105 = sub i32 %46, %.076127
  %106 = add i32 %105, -2
  call void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %18, i32 noundef %106)
  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.30, ptr noundef nonnull align 8 dereferenceable(32) %18)
          to label %107 unwind label %119

107:                                              ; preds = %.lr.ph130
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %16, ptr noundef nonnull align 8 dereferenceable(32) %17)
          to label %108 unwind label %121

108:                                              ; preds = %107
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %17) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %18) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %17) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %19) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %20) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %21) #7
  invoke void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %21, i32 noundef %106)
          to label %109 unwind label %124

109:                                              ; preds = %108
  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.35, ptr noundef nonnull align 8 dereferenceable(32) %21)
          to label %110 unwind label %126

110:                                              ; preds = %109
  invoke void @_ZN7LibUtil6StringC1ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %19, ptr noundef nonnull align 8 dereferenceable(32) %20)
          to label %111 unwind label %128

111:                                              ; preds = %110
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %20) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %21) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %21) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %20) #7
  %112 = invoke noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131) %0, ptr noundef nonnull align 8 dereferenceable(32) %16)
          to label %113 unwind label %132

113:                                              ; preds = %111
  %114 = icmp eq ptr %.075128, null
  br i1 %114, label %115, label %142

115:                                              ; preds = %113
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %22) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %22, ptr noundef nonnull @.str.34)
          to label %116 unwind label %134

116:                                              ; preds = %115
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %23) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %23, ptr noundef nonnull @.str.16)
          to label %117 unwind label %136

117:                                              ; preds = %116
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringES5_(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef %112, ptr noundef nonnull align 8 dereferenceable(32) %22, ptr noundef nonnull align 8 dereferenceable(32) %23)
          to label %118 unwind label %138

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

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

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

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

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

126:                                              ; preds = %109
  %127 = landingpad { ptr, i32 }
          cleanup
  br label %130

128:                                              ; preds = %110
  %129 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %20) #7
  br label %130

130:                                              ; preds = %128, %126
  %.pn86 = phi { ptr, i32 } [ %129, %128 ], [ %127, %126 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %21) #7
  br label %131

131:                                              ; preds = %130, %124
  %.pn86.pn = phi { ptr, i32 } [ %.pn86, %130 ], [ %125, %124 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %21) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %20) #7
  br label %231

132:                                              ; preds = %191, %111
  %133 = landingpad { ptr, i32 }
          cleanup
  br label %230

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

136:                                              ; preds = %116
  %137 = landingpad { ptr, i32 }
          cleanup
  br label %140

138:                                              ; preds = %117
  %139 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %23) #7
  br label %140

140:                                              ; preds = %138, %136
  %.pn92 = phi { ptr, i32 } [ %139, %138 ], [ %137, %136 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %23) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %22) #7
  br label %141

141:                                              ; preds = %140, %134
  %.pn92.pn = phi { ptr, i32 } [ %.pn92, %140 ], [ %135, %134 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %22) #7
  br label %230

142:                                              ; preds = %113
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %24) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %24, ptr noundef nonnull @.str.34)
          to label %143 unwind label %146

143:                                              ; preds = %142
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %25) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %25, ptr noundef nonnull @.str.33)
          to label %144 unwind label %148

144:                                              ; preds = %143
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringEPKS0_S5_(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef %112, ptr noundef nonnull align 8 dereferenceable(32) %24, ptr noundef nonnull %.075128, ptr noundef nonnull align 8 dereferenceable(32) %25)
          to label %145 unwind label %150

145:                                              ; preds = %144
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %25) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %25) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %24) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %24) #7
  br label %154

146:                                              ; preds = %142
  %147 = landingpad { ptr, i32 }
          cleanup
  br label %153

148:                                              ; preds = %143
  %149 = landingpad { ptr, i32 }
          cleanup
  br label %152

150:                                              ; preds = %144
  %151 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %25) #7
  br label %152

152:                                              ; preds = %150, %148
  %.pn89 = phi { ptr, i32 } [ %151, %150 ], [ %149, %148 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %25) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %24) #7
  br label %153

153:                                              ; preds = %152, %146
  %.pn89.pn = phi { ptr, i32 } [ %.pn89, %152 ], [ %147, %146 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %24) #7
  br label %230

154:                                              ; preds = %145, %118
  %155 = fcmp une double %.077126, 0.000000e+00
  br i1 %155, label %156, label %174

156:                                              ; preds = %154
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %26) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %26, ptr noundef nonnull @.str.32)
          to label %157 unwind label %163

157:                                              ; preds = %156
  %158 = invoke noundef ptr @_ZN5DSENT15ElectricalModel12getInputPortERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(240) %112, ptr noundef nonnull align 8 dereferenceable(32) %26)
          to label %159 unwind label %165

159:                                              ; preds = %157
  call void @llvm.lifetime.start.p0(i64 48, ptr nonnull %27) #7
  %160 = fmul double %.077126, 5.000000e-01
  invoke void @_ZN5DSENT14TransitionInfoC1Eddd(ptr noundef nonnull align 8 dereferenceable(48) %27, double noundef 0.000000e+00, double noundef %160, double noundef 0.000000e+00)
          to label %161 unwind label %167

161:                                              ; preds = %159
  invoke void @_ZN5DSENT8PortInfo17setTransitionInfoERKNS_14TransitionInfoE(ptr noundef nonnull align 8 dereferenceable(88) %158, ptr noundef nonnull align 8 dereferenceable(48) %27)
          to label %162 unwind label %169

162:                                              ; preds = %161
  call void @_ZN5DSENT14TransitionInfoD1Ev(ptr noundef nonnull align 8 dereferenceable(48) %27) #7
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %27) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %26) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %26) #7
  br label %191

163:                                              ; preds = %156
  %164 = landingpad { ptr, i32 }
          cleanup
  br label %173

165:                                              ; preds = %157
  %166 = landingpad { ptr, i32 }
          cleanup
  br label %172

167:                                              ; preds = %159
  %168 = landingpad { ptr, i32 }
          cleanup
  br label %171

169:                                              ; preds = %161
  %170 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN5DSENT14TransitionInfoD1Ev(ptr noundef nonnull align 8 dereferenceable(48) %27) #7
  br label %171

171:                                              ; preds = %169, %167
  %.pn99 = phi { ptr, i32 } [ %170, %169 ], [ %168, %167 ]
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %27) #7
  br label %172

172:                                              ; preds = %171, %165
  %.pn99.pn = phi { ptr, i32 } [ %.pn99, %171 ], [ %166, %165 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %26) #7
  br label %173

173:                                              ; preds = %172, %163
  %.pn99.pn.pn = phi { ptr, i32 } [ %.pn99.pn, %172 ], [ %164, %163 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %26) #7
  br label %230

174:                                              ; preds = %154
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %28) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %28, ptr noundef nonnull @.str.32)
          to label %175 unwind label %180

175:                                              ; preds = %174
  %176 = invoke noundef ptr @_ZN5DSENT15ElectricalModel12getInputPortERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(240) %112, ptr noundef nonnull align 8 dereferenceable(32) %28)
          to label %177 unwind label %182

177:                                              ; preds = %175
  call void @llvm.lifetime.start.p0(i64 48, ptr nonnull %29) #7
  invoke void @_ZN5DSENT14TransitionInfoC1Eddd(ptr noundef nonnull align 8 dereferenceable(48) %29, double noundef 5.000000e-01, double noundef 0.000000e+00, double noundef 5.000000e-01)
          to label %178 unwind label %184

178:                                              ; preds = %177
  invoke void @_ZN5DSENT8PortInfo17setTransitionInfoERKNS_14TransitionInfoE(ptr noundef nonnull align 8 dereferenceable(88) %176, ptr noundef nonnull align 8 dereferenceable(48) %29)
          to label %179 unwind label %186

179:                                              ; preds = %178
  call void @_ZN5DSENT14TransitionInfoD1Ev(ptr noundef nonnull align 8 dereferenceable(48) %29) #7
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %29) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %28) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %28) #7
  br label %191

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

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

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

186:                                              ; preds = %178
  %187 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN5DSENT14TransitionInfoD1Ev(ptr noundef nonnull align 8 dereferenceable(48) %29) #7
  br label %188

188:                                              ; preds = %186, %184
  %.pn95 = phi { ptr, i32 } [ %187, %186 ], [ %185, %184 ]
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %29) #7
  br label %189

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

190:                                              ; preds = %189, %180
  %.pn95.pn.pn = phi { ptr, i32 } [ %.pn95.pn, %189 ], [ %181, %180 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %28) #7
  br label %230

191:                                              ; preds = %179, %162
  invoke void @_ZN5DSENT5Model3useEv(ptr noundef nonnull align 8 dereferenceable(131) %112)
          to label %192 unwind label %132

192:                                              ; preds = %191
  %193 = invoke noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131) %0, ptr noundef nonnull align 8 dereferenceable(32) %19)
          to label %194 unwind label %206

194:                                              ; preds = %192
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %30) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %30, ptr noundef nonnull @.str.37)
          to label %195 unwind label %208

195:                                              ; preds = %194
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %31) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %31, ptr noundef nonnull @.str.33)
          to label %196 unwind label %210

196:                                              ; preds = %195
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringEPKS0_S5_(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef %193, ptr noundef nonnull align 8 dereferenceable(32) %30, ptr noundef nonnull %112, ptr noundef nonnull align 8 dereferenceable(32) %31)
          to label %197 unwind label %212

197:                                              ; preds = %196
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %31) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %31) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %30) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %30) #7
  invoke void @_ZN5DSENT5Model3useEv(ptr noundef nonnull align 8 dereferenceable(131) %193)
          to label %198 unwind label %206

198:                                              ; preds = %197
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %32) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %33) #7
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %34) #7
  invoke void @_ZN7LibUtil6StringC1Ej(ptr noundef nonnull align 8 dereferenceable(32) %34, i32 noundef %106)
          to label %199 unwind label %216

199:                                              ; preds = %198
  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.28, ptr noundef nonnull align 8 dereferenceable(32) %34)
          to label %200 unwind label %218

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

201:                                              ; preds = %200
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %35) #7
  invoke void @_ZN7LibUtil6StringC1EPKc(ptr noundef nonnull align 8 dereferenceable(32) %35, ptr noundef nonnull @.str.33)
          to label %202 unwind label %222

202:                                              ; preds = %201
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoEPS0_RKN7LibUtil6StringEPKS0_S5_(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef %62, ptr noundef nonnull align 8 dereferenceable(32) %32, ptr noundef nonnull %112, ptr noundef nonnull align 8 dereferenceable(32) %35)
          to label %203 unwind label %224

203:                                              ; preds = %202
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %35) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %35) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %32) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %33) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %34) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %34) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %33) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %32) #7
  %204 = fmul double %.077126, 5.000000e-01
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %19) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %19) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %16) #7
  %205 = add nuw i32 %.076127, 1
  %exitcond133.not = icmp eq i32 %205, %64
  br i1 %exitcond133.not, label %._crit_edge131, label %.lr.ph130, !llvm.loop !7

206:                                              ; preds = %197, %192
  %207 = landingpad { ptr, i32 }
          cleanup
  br label %230

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

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

212:                                              ; preds = %196
  %213 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %31) #7
  br label %214

214:                                              ; preds = %212, %210
  %.pn103 = phi { ptr, i32 } [ %213, %212 ], [ %211, %210 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %31) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %30) #7
  br label %215

215:                                              ; preds = %214, %208
  %.pn103.pn = phi { ptr, i32 } [ %.pn103, %214 ], [ %209, %208 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %30) #7
  br label %230

216:                                              ; preds = %198
  %217 = landingpad { ptr, i32 }
          cleanup
  br label %229

218:                                              ; preds = %199
  %219 = landingpad { ptr, i32 }
          cleanup
  br label %228

220:                                              ; preds = %200
  %221 = landingpad { ptr, i32 }
          cleanup
  br label %227

222:                                              ; preds = %201
  %223 = landingpad { ptr, i32 }
          cleanup
  br label %226

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

226:                                              ; preds = %224, %222
  %.pn106 = phi { ptr, i32 } [ %225, %224 ], [ %223, %222 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %35) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %32) #7
  br label %227

227:                                              ; preds = %226, %220
  %.pn106.pn = phi { ptr, i32 } [ %.pn106, %226 ], [ %221, %220 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %33) #7
  br label %228

228:                                              ; preds = %227, %218
  %.pn106.pn.pn = phi { ptr, i32 } [ %.pn106.pn, %227 ], [ %219, %218 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %34) #7
  br label %229

229:                                              ; preds = %228, %216
  %.pn106.pn.pn.pn = phi { ptr, i32 } [ %.pn106.pn.pn, %228 ], [ %217, %216 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %34) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %33) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %32) #7
  br label %230

230:                                              ; preds = %206, %215, %229, %190, %173, %153, %141, %132
  %.pn106.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %133, %132 ], [ %.pn99.pn.pn, %173 ], [ %.pn95.pn.pn, %190 ], [ %.pn92.pn, %141 ], [ %.pn89.pn, %153 ], [ %.pn106.pn.pn.pn, %229 ], [ %207, %206 ], [ %.pn103.pn, %215 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %19) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %19) #7
  br label %231

231:                                              ; preds = %230, %131
  %.pn106.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn106.pn.pn.pn.pn.pn, %230 ], [ %.pn86.pn, %131 ]
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %16) #7
  br label %240

232:                                              ; preds = %._crit_edge131
  invoke void @_ZN5DSENT15ElectricalModel27propagatePortTransitionInfoERKN7LibUtil6StringEPKS0_S4_(ptr noundef nonnull align 8 dereferenceable(240) %0, ptr noundef nonnull align 8 dereferenceable(32) %36, ptr noundef nonnull %62, ptr noundef nonnull align 8 dereferenceable(32) %37)
          to label %233 unwind label %236

233:                                              ; preds = %232
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %37) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %37) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %36) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %36) #7
  br label %239

234:                                              ; preds = %._crit_edge131
  %235 = landingpad { ptr, i32 }
          cleanup
  br label %238

236:                                              ; preds = %232
  %237 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %37) #7
  br label %238

238:                                              ; preds = %236, %234
  %.pn82 = phi { ptr, i32 } [ %237, %236 ], [ %235, %234 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %37) #7
  call void @_ZN7LibUtil6StringD1Ev(ptr noundef nonnull align 8 dereferenceable(32) %36) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %36) #7
  br label %240

239:                                              ; preds = %233, %51
  ret void

240:                                              ; preds = %54, %60, %103, %238, %231, %123, %102, %82, %65, %52
  %.pn121.pn.pn = phi { ptr, i32 } [ %53, %52 ], [ %.pn121, %60 ], [ %55, %54 ], [ %.pn116.pn.pn, %82 ], [ %.pn.pn.pn, %102 ], [ %66, %65 ], [ %.pn82, %238 ], [ %104, %103 ], [ %.pn106.pn.pn.pn.pn.pn.pn, %231 ], [ %.pn84, %123 ]
  resume { ptr, i32 } %.pn121.pn.pn
}

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(32) ptr @_ZNK7LibUtil3MapINS_6StringEE3getERKS1_(ptr noundef nonnull align 8 dereferenceable(56), ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #5 align 2

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

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 noundef ptr @_ZN5DSENT5Model14getSubInstanceERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(131), 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 noundef ptr @_ZN5DSENT15ElectricalModel12getInputPortERKN7LibUtil6StringE(ptr noundef nonnull align 8 dereferenceable(240), ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #1

declare noundef nonnull align 8 dereferenceable(48) ptr @_ZNK5DSENT8PortInfo17getTransitionInfoEv(ptr noundef nonnull align 8 dereferenceable(88)) local_unnamed_addr #1

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef double @_ZNK5DSENT14TransitionInfo22getNumberTransitions01Ev(ptr noundef nonnull align 8 dereferenceable(48)) local_unnamed_addr #6 align 2

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 @_ZN5DSENT8PortInfo17setTransitionInfoERKNS_14TransitionInfoE(ptr noundef nonnull align 8 dereferenceable(88), ptr noundef nonnull align 8 dereferenceable(48)) local_unnamed_addr #1

declare void @_ZN5DSENT5Model3useEv(ptr noundef nonnull align 8 dereferenceable(131)) 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 nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #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 = distinct !{!5, !6}
!6 = !{!"llvm.loop.mustprogress"}
!7 = distinct !{!7, !6}


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