; LLVM IR from thekyria/elabtsaot2 :: gui/powersystem_editor/powersystem_model (pwsschematicmodel)

; 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.elabtsaot::PwsModel" = type { ptr, ptr, %"class.boost::ptr_vector", %"class.boost::ptr_vector", %"class.boost::ptr_vector", %"class.boost::ptr_vector" }
%"class.boost::ptr_vector" = type { %"class.boost::ptr_sequence_adapter" }
%"class.boost::ptr_sequence_adapter" = type { %"class.boost::ptr_container_detail::reversible_ptr_container" }
%"class.boost::ptr_container_detail::reversible_ptr_container" = type { %"class.std::vector" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<void *, std::allocator<void *>>::_Vector_impl" }
%"struct.std::_Vector_base<void *, std::allocator<void *>>::_Vector_impl" = type { %"struct.std::_Vector_base<void *, std::allocator<void *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<void *, std::allocator<void *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.elabtsaot::PwsModelElement" = type { ptr, i32, i32 }

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

declare noundef i64 @_ZNK9elabtsaot11Powersystem11getBusCountEv(ptr noundef nonnull align 8 dereferenceable(480)) #1

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

declare noundef i64 @_ZNK9elabtsaot11Powersystem14getBranchCountEv(ptr noundef nonnull align 8 dereferenceable(480)) #1

declare noundef i64 @_ZNK9elabtsaot11Powersystem11getGenCountEv(ptr noundef nonnull align 8 dereferenceable(480)) #1

declare noundef i64 @_ZNK9elabtsaot11Powersystem12getLoadCountEv(ptr noundef nonnull align 8 dereferenceable(480)) #1

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_ZN9elabtsaot17PwsSchematicModel8validateEv(ptr noundef nonnull align 8 dereferenceable(112) %0) unnamed_addr #2 align 2 {
  %2 = alloca i32, align 4
  %3 = alloca ptr, align 8
  %4 = alloca i64, align 8
  %5 = alloca i64, align 8
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i8, align 1
  store ptr %0, ptr %3, align 8, !tbaa !5
  %9 = load ptr, ptr %3, align 8
  %10 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 1
  %11 = load ptr, ptr %10, align 8, !tbaa !9
  %12 = icmp eq ptr %11, null
  br i1 %12, label %13, label %14

13:                                               ; preds = %1
  store i32 -1, ptr %2, align 4
  br label %313

14:                                               ; preds = %1
  call void @llvm.lifetime.start.p0(i64 8, ptr %4) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #4
  store i64 0, ptr %4, align 8, !tbaa !18
  br label %15

15:                                               ; preds = %47, %14
  %16 = load i64, ptr %4, align 8, !tbaa !18
  %17 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 2
  %18 = call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %17)
  %19 = icmp ne i64 %16, %18
  br i1 %19, label %20, label %50

20:                                               ; preds = %15
  %21 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 2
  %22 = load i64, ptr %4, align 8, !tbaa !18
  %23 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %22)
  %24 = getelementptr inbounds %"class.elabtsaot::PwsModelElement", ptr %23, i32 0, i32 2
  %25 = load i32, ptr %24, align 4, !tbaa !20
  store i32 %25, ptr %6, align 4, !tbaa !23
  %26 = load i64, ptr %4, align 8, !tbaa !18
  %27 = add i64 %26, 1
  store i64 %27, ptr %5, align 8, !tbaa !18
  br label %28

28:                                               ; preds = %43, %20
  %29 = load i64, ptr %5, align 8, !tbaa !18
  %30 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 2
  %31 = call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %30)
  %32 = icmp ne i64 %29, %31
  br i1 %32, label %33, label %46

33:                                               ; preds = %28
  %34 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 2
  %35 = load i64, ptr %5, align 8, !tbaa !18
  %36 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %34, i64 noundef %35)
  %37 = getelementptr inbounds %"class.elabtsaot::PwsModelElement", ptr %36, i32 0, i32 2
  %38 = load i32, ptr %37, align 4, !tbaa !20
  %39 = load i32, ptr %6, align 4, !tbaa !23
  %40 = icmp eq i32 %38, %39
  br i1 %40, label %41, label %42

41:                                               ; preds = %33
  store i32 1, ptr %2, align 4
  store i32 1, ptr %7, align 4
  br label %312

42:                                               ; preds = %33
  br label %43

43:                                               ; preds = %42
  %44 = load i64, ptr %5, align 8, !tbaa !18
  %45 = add i64 %44, 1
  store i64 %45, ptr %5, align 8, !tbaa !18
  br label %28, !llvm.loop !24

46:                                               ; preds = %28
  br label %47

47:                                               ; preds = %46
  %48 = load i64, ptr %4, align 8, !tbaa !18
  %49 = add i64 %48, 1
  store i64 %49, ptr %4, align 8, !tbaa !18
  br label %15, !llvm.loop !26

50:                                               ; preds = %15
  store i64 0, ptr %4, align 8, !tbaa !18
  br label %51

51:                                               ; preds = %83, %50
  %52 = load i64, ptr %4, align 8, !tbaa !18
  %53 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 3
  %54 = call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %53)
  %55 = icmp ne i64 %52, %54
  br i1 %55, label %56, label %86

56:                                               ; preds = %51
  %57 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 3
  %58 = load i64, ptr %4, align 8, !tbaa !18
  %59 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %57, i64 noundef %58)
  %60 = getelementptr inbounds %"class.elabtsaot::PwsModelElement", ptr %59, i32 0, i32 2
  %61 = load i32, ptr %60, align 4, !tbaa !20
  store i32 %61, ptr %6, align 4, !tbaa !23
  %62 = load i64, ptr %4, align 8, !tbaa !18
  %63 = add i64 %62, 1
  store i64 %63, ptr %5, align 8, !tbaa !18
  br label %64

64:                                               ; preds = %79, %56
  %65 = load i64, ptr %5, align 8, !tbaa !18
  %66 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 3
  %67 = call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %66)
  %68 = icmp ne i64 %65, %67
  br i1 %68, label %69, label %82

69:                                               ; preds = %64
  %70 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 3
  %71 = load i64, ptr %5, align 8, !tbaa !18
  %72 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %70, i64 noundef %71)
  %73 = getelementptr inbounds %"class.elabtsaot::PwsModelElement", ptr %72, i32 0, i32 2
  %74 = load i32, ptr %73, align 4, !tbaa !20
  %75 = load i32, ptr %6, align 4, !tbaa !23
  %76 = icmp eq i32 %74, %75
  br i1 %76, label %77, label %78

77:                                               ; preds = %69
  store i32 2, ptr %2, align 4
  store i32 1, ptr %7, align 4
  br label %312

78:                                               ; preds = %69
  br label %79

79:                                               ; preds = %78
  %80 = load i64, ptr %5, align 8, !tbaa !18
  %81 = add i64 %80, 1
  store i64 %81, ptr %5, align 8, !tbaa !18
  br label %64, !llvm.loop !27

82:                                               ; preds = %64
  br label %83

83:                                               ; preds = %82
  %84 = load i64, ptr %4, align 8, !tbaa !18
  %85 = add i64 %84, 1
  store i64 %85, ptr %4, align 8, !tbaa !18
  br label %51, !llvm.loop !28

86:                                               ; preds = %51
  store i64 0, ptr %4, align 8, !tbaa !18
  br label %87

87:                                               ; preds = %119, %86
  %88 = load i64, ptr %4, align 8, !tbaa !18
  %89 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 4
  %90 = call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %89)
  %91 = icmp ne i64 %88, %90
  br i1 %91, label %92, label %122

92:                                               ; preds = %87
  %93 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 4
  %94 = load i64, ptr %4, align 8, !tbaa !18
  %95 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %93, i64 noundef %94)
  %96 = getelementptr inbounds %"class.elabtsaot::PwsModelElement", ptr %95, i32 0, i32 2
  %97 = load i32, ptr %96, align 4, !tbaa !20
  store i32 %97, ptr %6, align 4, !tbaa !23
  %98 = load i64, ptr %4, align 8, !tbaa !18
  %99 = add i64 %98, 1
  store i64 %99, ptr %5, align 8, !tbaa !18
  br label %100

100:                                              ; preds = %115, %92
  %101 = load i64, ptr %5, align 8, !tbaa !18
  %102 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 4
  %103 = call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %102)
  %104 = icmp ne i64 %101, %103
  br i1 %104, label %105, label %118

105:                                              ; preds = %100
  %106 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 4
  %107 = load i64, ptr %5, align 8, !tbaa !18
  %108 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %106, i64 noundef %107)
  %109 = getelementptr inbounds %"class.elabtsaot::PwsModelElement", ptr %108, i32 0, i32 2
  %110 = load i32, ptr %109, align 4, !tbaa !20
  %111 = load i32, ptr %6, align 4, !tbaa !23
  %112 = icmp eq i32 %110, %111
  br i1 %112, label %113, label %114

113:                                              ; preds = %105
  store i32 3, ptr %2, align 4
  store i32 1, ptr %7, align 4
  br label %312

114:                                              ; preds = %105
  br label %115

115:                                              ; preds = %114
  %116 = load i64, ptr %5, align 8, !tbaa !18
  %117 = add i64 %116, 1
  store i64 %117, ptr %5, align 8, !tbaa !18
  br label %100, !llvm.loop !29

118:                                              ; preds = %100
  br label %119

119:                                              ; preds = %118
  %120 = load i64, ptr %4, align 8, !tbaa !18
  %121 = add i64 %120, 1
  store i64 %121, ptr %4, align 8, !tbaa !18
  br label %87, !llvm.loop !30

122:                                              ; preds = %87
  store i64 0, ptr %4, align 8, !tbaa !18
  br label %123

123:                                              ; preds = %155, %122
  %124 = load i64, ptr %4, align 8, !tbaa !18
  %125 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 5
  %126 = call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %125)
  %127 = icmp ne i64 %124, %126
  br i1 %127, label %128, label %158

128:                                              ; preds = %123
  %129 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 5
  %130 = load i64, ptr %4, align 8, !tbaa !18
  %131 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %129, i64 noundef %130)
  %132 = getelementptr inbounds %"class.elabtsaot::PwsModelElement", ptr %131, i32 0, i32 2
  %133 = load i32, ptr %132, align 4, !tbaa !20
  store i32 %133, ptr %6, align 4, !tbaa !23
  %134 = load i64, ptr %4, align 8, !tbaa !18
  %135 = add i64 %134, 1
  store i64 %135, ptr %5, align 8, !tbaa !18
  br label %136

136:                                              ; preds = %151, %128
  %137 = load i64, ptr %5, align 8, !tbaa !18
  %138 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 5
  %139 = call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %138)
  %140 = icmp ne i64 %137, %139
  br i1 %140, label %141, label %154

141:                                              ; preds = %136
  %142 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 5
  %143 = load i64, ptr %5, align 8, !tbaa !18
  %144 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %142, i64 noundef %143)
  %145 = getelementptr inbounds %"class.elabtsaot::PwsModelElement", ptr %144, i32 0, i32 2
  %146 = load i32, ptr %145, align 4, !tbaa !20
  %147 = load i32, ptr %6, align 4, !tbaa !23
  %148 = icmp eq i32 %146, %147
  br i1 %148, label %149, label %150

149:                                              ; preds = %141
  store i32 4, ptr %2, align 4
  store i32 1, ptr %7, align 4
  br label %312

150:                                              ; preds = %141
  br label %151

151:                                              ; preds = %150
  %152 = load i64, ptr %5, align 8, !tbaa !18
  %153 = add i64 %152, 1
  store i64 %153, ptr %5, align 8, !tbaa !18
  br label %136, !llvm.loop !31

154:                                              ; preds = %136
  br label %155

155:                                              ; preds = %154
  %156 = load i64, ptr %4, align 8, !tbaa !18
  %157 = add i64 %156, 1
  store i64 %157, ptr %4, align 8, !tbaa !18
  br label %123, !llvm.loop !32

158:                                              ; preds = %123
  call void @llvm.lifetime.start.p0(i64 1, ptr %8) #4
  store i64 0, ptr %4, align 8, !tbaa !18
  br label %159

159:                                              ; preds = %193, %158
  %160 = load i64, ptr %4, align 8, !tbaa !18
  %161 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 1
  %162 = load ptr, ptr %161, align 8, !tbaa !9
  %163 = call noundef i64 @_ZNK9elabtsaot11Powersystem11getBusCountEv(ptr noundef nonnull align 8 dereferenceable(480) %162)
  %164 = icmp ne i64 %160, %163
  br i1 %164, label %165, label %196

165:                                              ; preds = %159
  %166 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 1
  %167 = load ptr, ptr %166, align 8, !tbaa !9
  %168 = load i64, ptr %4, align 8, !tbaa !18
  %169 = call noundef i32 @_ZNK9elabtsaot11Powersystem12getBus_extIdEm(ptr noundef nonnull align 8 dereferenceable(480) %167, i64 noundef %168)
  store i32 %169, ptr %6, align 4, !tbaa !23
  store i8 0, ptr %8, align 1, !tbaa !33
  store i64 0, ptr %5, align 8, !tbaa !18
  br label %170

170:                                              ; preds = %185, %165
  %171 = load i64, ptr %5, align 8, !tbaa !18
  %172 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 2
  %173 = call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %172)
  %174 = icmp ne i64 %171, %173
  br i1 %174, label %175, label %188

175:                                              ; preds = %170
  %176 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 2
  %177 = load i64, ptr %4, align 8, !tbaa !18
  %178 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %176, i64 noundef %177)
  %179 = getelementptr inbounds %"class.elabtsaot::PwsModelElement", ptr %178, i32 0, i32 2
  %180 = load i32, ptr %179, align 4, !tbaa !20
  %181 = load i32, ptr %6, align 4, !tbaa !23
  %182 = icmp eq i32 %180, %181
  br i1 %182, label %183, label %184

183:                                              ; preds = %175
  store i8 1, ptr %8, align 1, !tbaa !33
  br label %188

184:                                              ; preds = %175
  br label %185

185:                                              ; preds = %184
  %186 = load i64, ptr %5, align 8, !tbaa !18
  %187 = add i64 %186, 1
  store i64 %187, ptr %5, align 8, !tbaa !18
  br label %170, !llvm.loop !35

188:                                              ; preds = %183, %170
  %189 = load i8, ptr %8, align 1, !tbaa !33, !range !36, !noundef !37
  %190 = trunc i8 %189 to i1
  br i1 %190, label %192, label %191

191:                                              ; preds = %188
  store i32 11, ptr %2, align 4
  store i32 1, ptr %7, align 4
  br label %311

192:                                              ; preds = %188
  br label %193

193:                                              ; preds = %192
  %194 = load i64, ptr %4, align 8, !tbaa !18
  %195 = add i64 %194, 1
  store i64 %195, ptr %4, align 8, !tbaa !18
  br label %159, !llvm.loop !38

196:                                              ; preds = %159
  store i64 0, ptr %4, align 8, !tbaa !18
  br label %197

197:                                              ; preds = %231, %196
  %198 = load i64, ptr %4, align 8, !tbaa !18
  %199 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 1
  %200 = load ptr, ptr %199, align 8, !tbaa !9
  %201 = call noundef i64 @_ZNK9elabtsaot11Powersystem14getBranchCountEv(ptr noundef nonnull align 8 dereferenceable(480) %200)
  %202 = icmp ne i64 %198, %201
  br i1 %202, label %203, label %234

203:                                              ; preds = %197
  %204 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 1
  %205 = load ptr, ptr %204, align 8, !tbaa !9
  %206 = load i64, ptr %4, align 8, !tbaa !18
  %207 = call noundef i32 @_ZNK9elabtsaot11Powersystem11getBr_extIdEm(ptr noundef nonnull align 8 dereferenceable(480) %205, i64 noundef %206)
  store i32 %207, ptr %6, align 4, !tbaa !23
  store i8 0, ptr %8, align 1, !tbaa !33
  store i64 0, ptr %5, align 8, !tbaa !18
  br label %208

208:                                              ; preds = %223, %203
  %209 = load i64, ptr %5, align 8, !tbaa !18
  %210 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 3
  %211 = call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %210)
  %212 = icmp ne i64 %209, %211
  br i1 %212, label %213, label %226

213:                                              ; preds = %208
  %214 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 3
  %215 = load i64, ptr %4, align 8, !tbaa !18
  %216 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %214, i64 noundef %215)
  %217 = getelementptr inbounds %"class.elabtsaot::PwsModelElement", ptr %216, i32 0, i32 2
  %218 = load i32, ptr %217, align 4, !tbaa !20
  %219 = load i32, ptr %6, align 4, !tbaa !23
  %220 = icmp eq i32 %218, %219
  br i1 %220, label %221, label %222

221:                                              ; preds = %213
  store i8 1, ptr %8, align 1, !tbaa !33
  br label %226

222:                                              ; preds = %213
  br label %223

223:                                              ; preds = %222
  %224 = load i64, ptr %5, align 8, !tbaa !18
  %225 = add i64 %224, 1
  store i64 %225, ptr %5, align 8, !tbaa !18
  br label %208, !llvm.loop !39

226:                                              ; preds = %221, %208
  %227 = load i8, ptr %8, align 1, !tbaa !33, !range !36, !noundef !37
  %228 = trunc i8 %227 to i1
  br i1 %228, label %230, label %229

229:                                              ; preds = %226
  store i32 11, ptr %2, align 4
  store i32 1, ptr %7, align 4
  br label %311

230:                                              ; preds = %226
  br label %231

231:                                              ; preds = %230
  %232 = load i64, ptr %4, align 8, !tbaa !18
  %233 = add i64 %232, 1
  store i64 %233, ptr %4, align 8, !tbaa !18
  br label %197, !llvm.loop !40

234:                                              ; preds = %197
  store i64 0, ptr %4, align 8, !tbaa !18
  br label %235

235:                                              ; preds = %269, %234
  %236 = load i64, ptr %4, align 8, !tbaa !18
  %237 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 1
  %238 = load ptr, ptr %237, align 8, !tbaa !9
  %239 = call noundef i64 @_ZNK9elabtsaot11Powersystem11getGenCountEv(ptr noundef nonnull align 8 dereferenceable(480) %238)
  %240 = icmp ne i64 %236, %239
  br i1 %240, label %241, label %272

241:                                              ; preds = %235
  %242 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 1
  %243 = load ptr, ptr %242, align 8, !tbaa !9
  %244 = load i64, ptr %4, align 8, !tbaa !18
  %245 = call noundef i32 @_ZNK9elabtsaot11Powersystem12getGen_extIdEm(ptr noundef nonnull align 8 dereferenceable(480) %243, i64 noundef %244)
  store i32 %245, ptr %6, align 4, !tbaa !23
  store i8 0, ptr %8, align 1, !tbaa !33
  store i64 0, ptr %5, align 8, !tbaa !18
  br label %246

246:                                              ; preds = %261, %241
  %247 = load i64, ptr %5, align 8, !tbaa !18
  %248 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 4
  %249 = call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %248)
  %250 = icmp ne i64 %247, %249
  br i1 %250, label %251, label %264

251:                                              ; preds = %246
  %252 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 4
  %253 = load i64, ptr %4, align 8, !tbaa !18
  %254 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %252, i64 noundef %253)
  %255 = getelementptr inbounds %"class.elabtsaot::PwsModelElement", ptr %254, i32 0, i32 2
  %256 = load i32, ptr %255, align 4, !tbaa !20
  %257 = load i32, ptr %6, align 4, !tbaa !23
  %258 = icmp eq i32 %256, %257
  br i1 %258, label %259, label %260

259:                                              ; preds = %251
  store i8 1, ptr %8, align 1, !tbaa !33
  br label %264

260:                                              ; preds = %251
  br label %261

261:                                              ; preds = %260
  %262 = load i64, ptr %5, align 8, !tbaa !18
  %263 = add i64 %262, 1
  store i64 %263, ptr %5, align 8, !tbaa !18
  br label %246, !llvm.loop !41

264:                                              ; preds = %259, %246
  %265 = load i8, ptr %8, align 1, !tbaa !33, !range !36, !noundef !37
  %266 = trunc i8 %265 to i1
  br i1 %266, label %268, label %267

267:                                              ; preds = %264
  store i32 11, ptr %2, align 4
  store i32 1, ptr %7, align 4
  br label %311

268:                                              ; preds = %264
  br label %269

269:                                              ; preds = %268
  %270 = load i64, ptr %4, align 8, !tbaa !18
  %271 = add i64 %270, 1
  store i64 %271, ptr %4, align 8, !tbaa !18
  br label %235, !llvm.loop !42

272:                                              ; preds = %235
  store i64 0, ptr %4, align 8, !tbaa !18
  br label %273

273:                                              ; preds = %307, %272
  %274 = load i64, ptr %4, align 8, !tbaa !18
  %275 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 1
  %276 = load ptr, ptr %275, align 8, !tbaa !9
  %277 = call noundef i64 @_ZNK9elabtsaot11Powersystem12getLoadCountEv(ptr noundef nonnull align 8 dereferenceable(480) %276)
  %278 = icmp ne i64 %274, %277
  br i1 %278, label %279, label %310

279:                                              ; preds = %273
  %280 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 1
  %281 = load ptr, ptr %280, align 8, !tbaa !9
  %282 = load i64, ptr %4, align 8, !tbaa !18
  %283 = call noundef i32 @_ZNK9elabtsaot11Powersystem13getLoad_extIdEm(ptr noundef nonnull align 8 dereferenceable(480) %281, i64 noundef %282)
  store i32 %283, ptr %6, align 4, !tbaa !23
  store i8 0, ptr %8, align 1, !tbaa !33
  store i64 0, ptr %5, align 8, !tbaa !18
  br label %284

284:                                              ; preds = %299, %279
  %285 = load i64, ptr %5, align 8, !tbaa !18
  %286 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 5
  %287 = call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %286)
  %288 = icmp ne i64 %285, %287
  br i1 %288, label %289, label %302

289:                                              ; preds = %284
  %290 = getelementptr inbounds %"class.elabtsaot::PwsModel", ptr %9, i32 0, i32 5
  %291 = load i64, ptr %4, align 8, !tbaa !18
  %292 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %290, i64 noundef %291)
  %293 = getelementptr inbounds %"class.elabtsaot::PwsModelElement", ptr %292, i32 0, i32 2
  %294 = load i32, ptr %293, align 4, !tbaa !20
  %295 = load i32, ptr %6, align 4, !tbaa !23
  %296 = icmp eq i32 %294, %295
  br i1 %296, label %297, label %298

297:                                              ; preds = %289
  store i8 1, ptr %8, align 1, !tbaa !33
  br label %302

298:                                              ; preds = %289
  br label %299

299:                                              ; preds = %298
  %300 = load i64, ptr %5, align 8, !tbaa !18
  %301 = add i64 %300, 1
  store i64 %301, ptr %5, align 8, !tbaa !18
  br label %284, !llvm.loop !43

302:                                              ; preds = %297, %284
  %303 = load i8, ptr %8, align 1, !tbaa !33, !range !36, !noundef !37
  %304 = trunc i8 %303 to i1
  br i1 %304, label %306, label %305

305:                                              ; preds = %302
  store i32 11, ptr %2, align 4
  store i32 1, ptr %7, align 4
  br label %311

306:                                              ; preds = %302
  br label %307

307:                                              ; preds = %306
  %308 = load i64, ptr %4, align 8, !tbaa !18
  %309 = add i64 %308, 1
  store i64 %309, ptr %4, align 8, !tbaa !18
  br label %273, !llvm.loop !44

310:                                              ; preds = %273
  store i32 0, ptr %2, align 4
  store i32 1, ptr %7, align 4
  br label %311

311:                                              ; preds = %310, %305, %267, %229, %191
  call void @llvm.lifetime.end.p0(i64 1, ptr %8) #4
  br label %312

312:                                              ; preds = %311, %149, %113, %77, %41
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #4
  br label %313

313:                                              ; preds = %312, %13
  %314 = load i32, ptr %2, align 4
  ret i32 %314
}

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24)) #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #2 align 2

declare noundef i32 @_ZNK9elabtsaot11Powersystem12getBus_extIdEm(ptr noundef nonnull align 8 dereferenceable(480), i64 noundef) #1

declare noundef i32 @_ZNK9elabtsaot11Powersystem11getBr_extIdEm(ptr noundef nonnull align 8 dereferenceable(480), i64 noundef) #1

declare noundef i32 @_ZNK9elabtsaot11Powersystem12getGen_extIdEm(ptr noundef nonnull align 8 dereferenceable(480), i64 noundef) #1

declare noundef i32 @_ZNK9elabtsaot11Powersystem13getLoad_extIdEm(ptr noundef nonnull align 8 dereferenceable(480), i64 noundef) #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 = { 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 #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 = { 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, !6, i64 8}
!10 = !{!"_ZTSN9elabtsaot8PwsModelE", !6, i64 8, !11, i64 16, !11, i64 40, !11, i64 64, !11, i64 88}
!11 = !{!"_ZTSN5boost10ptr_vectorIN9elabtsaot15PwsModelElementENS_20heap_clone_allocatorEvEE", !12, i64 0}
!12 = !{!"_ZTSN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEE", !13, i64 0}
!13 = !{!"_ZTSN5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEEE", !14, i64 0}
!14 = !{!"_ZTSSt6vectorIPvSaIS0_EE", !15, i64 0}
!15 = !{!"_ZTSSt12_Vector_baseIPvSaIS0_EE", !16, i64 0}
!16 = !{!"_ZTSNSt12_Vector_baseIPvSaIS0_EE12_Vector_implE", !17, i64 0}
!17 = !{!"_ZTSNSt12_Vector_baseIPvSaIS0_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!18 = !{!19, !19, i64 0}
!19 = !{!"long", !7, i64 0}
!20 = !{!21, !22, i64 12}
!21 = !{!"_ZTSN9elabtsaot15PwsModelElementE", !22, i64 8, !22, i64 12}
!22 = !{!"int", !7, i64 0}
!23 = !{!22, !22, i64 0}
!24 = distinct !{!24, !25}
!25 = !{!"llvm.loop.mustprogress"}
!26 = distinct !{!26, !25}
!27 = distinct !{!27, !25}
!28 = distinct !{!28, !25}
!29 = distinct !{!29, !25}
!30 = distinct !{!30, !25}
!31 = distinct !{!31, !25}
!32 = distinct !{!32, !25}
!33 = !{!34, !34, i64 0}
!34 = !{!"bool", !7, i64 0}
!35 = distinct !{!35, !25}
!36 = !{i8 0, i8 2}
!37 = !{}
!38 = distinct !{!38, !25}
!39 = distinct !{!39, !25}
!40 = distinct !{!40, !25}
!41 = distinct !{!41, !25}
!42 = distinct !{!42, !25}
!43 = distinct !{!43, !25}
!44 = distinct !{!44, !25}


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

declare noundef i64 @_ZNK9elabtsaot11Powersystem11getBusCountEv(ptr noundef nonnull align 8 dereferenceable(480)) local_unnamed_addr #0

declare noundef i64 @_ZNK9elabtsaot11Powersystem14getBranchCountEv(ptr noundef nonnull align 8 dereferenceable(480)) local_unnamed_addr #0

declare noundef i64 @_ZNK9elabtsaot11Powersystem11getGenCountEv(ptr noundef nonnull align 8 dereferenceable(480)) local_unnamed_addr #0

declare noundef i64 @_ZNK9elabtsaot11Powersystem12getLoadCountEv(ptr noundef nonnull align 8 dereferenceable(480)) local_unnamed_addr #0

; Function Attrs: mustprogress uwtable
define dso_local noundef range(i32 -1, 12) i32 @_ZN9elabtsaot17PwsSchematicModel8validateEv(ptr noundef nonnull align 8 dereferenceable(112) %0) unnamed_addr #1 align 2 {
  %2 = getelementptr inbounds i8, ptr %0, i64 8
  %3 = load ptr, ptr %2, align 8, !tbaa !5
  %4 = icmp eq ptr %3, null
  br i1 %4, label %.critedge, label %.preheader118

.preheader118:                                    ; preds = %1
  %5 = getelementptr inbounds i8, ptr %0, i64 16
  %6 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %5)
  %.not128 = icmp eq i64 %6, 0
  br i1 %.not128, label %.preheader115, label %.lr.ph130

.loopexit116:                                     ; preds = %15, %.lr.ph130
  %7 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %5)
  %.not = icmp eq i64 %13, %7
  br i1 %.not, label %.preheader115, label %.lr.ph130, !llvm.loop !17

.preheader115:                                    ; preds = %.loopexit116, %.preheader118
  %8 = getelementptr inbounds i8, ptr %0, i64 40
  %9 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %8)
  %.not80134 = icmp eq i64 %9, 0
  br i1 %.not80134, label %.preheader112, label %.lr.ph136

.lr.ph130:                                        ; preds = %.preheader118, %.loopexit116
  %.069129 = phi i64 [ %13, %.loopexit116 ], [ 0, %.preheader118 ]
  %10 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %5, i64 noundef %.069129)
  %11 = getelementptr inbounds i8, ptr %10, i64 12
  %12 = load i32, ptr %11, align 4, !tbaa !19
  %13 = add i64 %.069129, 1
  %14 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %5)
  %.not94126 = icmp eq i64 %13, %14
  br i1 %.not94126, label %.loopexit116, label %.lr.ph

15:                                               ; preds = %.lr.ph
  %16 = add i64 %.065127, 1
  %17 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %5)
  %.not94 = icmp eq i64 %16, %17
  br i1 %.not94, label %.loopexit116, label %.lr.ph, !llvm.loop !22

.lr.ph:                                           ; preds = %.lr.ph130, %15
  %.065127 = phi i64 [ %16, %15 ], [ %13, %.lr.ph130 ]
  %18 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %5, i64 noundef %.065127)
  %19 = getelementptr inbounds i8, ptr %18, i64 12
  %20 = load i32, ptr %19, align 4, !tbaa !19
  %21 = icmp eq i32 %20, %12
  br i1 %21, label %.critedge, label %15

.loopexit113:                                     ; preds = %30, %.lr.ph136
  %22 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %8)
  %.not80 = icmp eq i64 %28, %22
  br i1 %.not80, label %.preheader112, label %.lr.ph136, !llvm.loop !23

.preheader112:                                    ; preds = %.loopexit113, %.preheader115
  %23 = getelementptr inbounds i8, ptr %0, i64 64
  %24 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %23)
  %.not81141 = icmp eq i64 %24, 0
  br i1 %.not81141, label %.preheader109, label %.lr.ph143

.lr.ph136:                                        ; preds = %.preheader115, %.loopexit113
  %.170135 = phi i64 [ %28, %.loopexit113 ], [ 0, %.preheader115 ]
  %25 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %8, i64 noundef %.170135)
  %26 = getelementptr inbounds i8, ptr %25, i64 12
  %27 = load i32, ptr %26, align 4, !tbaa !19
  %28 = add i64 %.170135, 1
  %29 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %8)
  %.not93131 = icmp eq i64 %28, %29
  br i1 %.not93131, label %.loopexit113, label %.lr.ph133

30:                                               ; preds = %.lr.ph133
  %31 = add i64 %.166132, 1
  %32 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %8)
  %.not93 = icmp eq i64 %31, %32
  br i1 %.not93, label %.loopexit113, label %.lr.ph133, !llvm.loop !24

.lr.ph133:                                        ; preds = %.lr.ph136, %30
  %.166132 = phi i64 [ %31, %30 ], [ %28, %.lr.ph136 ]
  %33 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %8, i64 noundef %.166132)
  %34 = getelementptr inbounds i8, ptr %33, i64 12
  %35 = load i32, ptr %34, align 4, !tbaa !19
  %36 = icmp eq i32 %35, %27
  br i1 %36, label %.critedge, label %30

.loopexit110:                                     ; preds = %45, %.lr.ph143
  %37 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %23)
  %.not81 = icmp eq i64 %43, %37
  br i1 %.not81, label %.preheader109, label %.lr.ph143, !llvm.loop !25

.preheader109:                                    ; preds = %.loopexit110, %.preheader112
  %38 = getelementptr inbounds i8, ptr %0, i64 88
  %39 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %38)
  %.not82148 = icmp eq i64 %39, 0
  br i1 %.not82148, label %.preheader107, label %.lr.ph150

.lr.ph143:                                        ; preds = %.preheader112, %.loopexit110
  %.271142 = phi i64 [ %43, %.loopexit110 ], [ 0, %.preheader112 ]
  %40 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %23, i64 noundef %.271142)
  %41 = getelementptr inbounds i8, ptr %40, i64 12
  %42 = load i32, ptr %41, align 4, !tbaa !19
  %43 = add i64 %.271142, 1
  %44 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %23)
  %.not92138 = icmp eq i64 %43, %44
  br i1 %.not92138, label %.loopexit110, label %.lr.ph140

45:                                               ; preds = %.lr.ph140
  %46 = add i64 %.267139, 1
  %47 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %23)
  %.not92 = icmp eq i64 %46, %47
  br i1 %.not92, label %.loopexit110, label %.lr.ph140, !llvm.loop !26

.lr.ph140:                                        ; preds = %.lr.ph143, %45
  %.267139 = phi i64 [ %46, %45 ], [ %43, %.lr.ph143 ]
  %48 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %23, i64 noundef %.267139)
  %49 = getelementptr inbounds i8, ptr %48, i64 12
  %50 = load i32, ptr %49, align 4, !tbaa !19
  %51 = icmp eq i32 %50, %42
  br i1 %51, label %.critedge, label %45

.loopexit:                                        ; preds = %60, %.lr.ph150
  %52 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %38)
  %.not82 = icmp eq i64 %58, %52
  br i1 %.not82, label %.preheader107, label %.lr.ph150, !llvm.loop !27

.preheader107:                                    ; preds = %.loopexit, %.preheader109
  %53 = load ptr, ptr %2, align 8, !tbaa !5
  %54 = tail call noundef i64 @_ZNK9elabtsaot11Powersystem11getBusCountEv(ptr noundef nonnull align 8 dereferenceable(480) %53)
  %.not83156 = icmp eq i64 %54, 0
  br i1 %.not83156, label %.preheader105, label %.lr.ph158

.lr.ph150:                                        ; preds = %.preheader109, %.loopexit
  %.372149 = phi i64 [ %58, %.loopexit ], [ 0, %.preheader109 ]
  %55 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %38, i64 noundef %.372149)
  %56 = getelementptr inbounds i8, ptr %55, i64 12
  %57 = load i32, ptr %56, align 4, !tbaa !19
  %58 = add i64 %.372149, 1
  %59 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %38)
  %.not91145 = icmp eq i64 %58, %59
  br i1 %.not91145, label %.loopexit, label %.lr.ph147

60:                                               ; preds = %.lr.ph147
  %61 = add i64 %.368146, 1
  %62 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %38)
  %.not91 = icmp eq i64 %61, %62
  br i1 %.not91, label %.loopexit, label %.lr.ph147, !llvm.loop !28

.lr.ph147:                                        ; preds = %.lr.ph150, %60
  %.368146 = phi i64 [ %61, %60 ], [ %58, %.lr.ph150 ]
  %63 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %38, i64 noundef %.368146)
  %64 = getelementptr inbounds i8, ptr %63, i64 12
  %65 = load i32, ptr %64, align 4, !tbaa !19
  %66 = icmp eq i32 %65, %57
  br i1 %66, label %.critedge, label %60

.preheader105:                                    ; preds = %79, %.preheader107
  %67 = load ptr, ptr %2, align 8, !tbaa !5
  %68 = tail call noundef i64 @_ZNK9elabtsaot11Powersystem14getBranchCountEv(ptr noundef nonnull align 8 dereferenceable(480) %67)
  %.not84163 = icmp eq i64 %68, 0
  br i1 %.not84163, label %.preheader103, label %.lr.ph165

.lr.ph158:                                        ; preds = %.preheader107, %79
  %.473157 = phi i64 [ %80, %79 ], [ 0, %.preheader107 ]
  %69 = load ptr, ptr %2, align 8, !tbaa !5
  %70 = tail call noundef i32 @_ZNK9elabtsaot11Powersystem12getBus_extIdEm(ptr noundef nonnull align 8 dereferenceable(480) %69, i64 noundef %.473157)
  %71 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %5)
  %.not90.not152 = icmp eq i64 %71, 0
  br i1 %.not90.not152, label %.critedge, label %.lr.ph154

72:                                               ; preds = %.lr.ph154
  %73 = add i64 %.4153, 1
  %74 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %5)
  %.not90.not = icmp eq i64 %73, %74
  br i1 %.not90.not, label %.critedge, label %.lr.ph154, !llvm.loop !29

.lr.ph154:                                        ; preds = %.lr.ph158, %72
  %.4153 = phi i64 [ %73, %72 ], [ 0, %.lr.ph158 ]
  %75 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %5, i64 noundef %.473157)
  %76 = getelementptr inbounds i8, ptr %75, i64 12
  %77 = load i32, ptr %76, align 4, !tbaa !19
  %78 = icmp eq i32 %77, %70
  br i1 %78, label %79, label %72

79:                                               ; preds = %.lr.ph154
  %80 = add i64 %.473157, 1
  %81 = load ptr, ptr %2, align 8, !tbaa !5
  %82 = tail call noundef i64 @_ZNK9elabtsaot11Powersystem11getBusCountEv(ptr noundef nonnull align 8 dereferenceable(480) %81)
  %.not83 = icmp eq i64 %80, %82
  br i1 %.not83, label %.preheader105, label %.lr.ph158, !llvm.loop !30

.preheader103:                                    ; preds = %95, %.preheader105
  %83 = load ptr, ptr %2, align 8, !tbaa !5
  %84 = tail call noundef i64 @_ZNK9elabtsaot11Powersystem11getGenCountEv(ptr noundef nonnull align 8 dereferenceable(480) %83)
  %.not85170 = icmp eq i64 %84, 0
  br i1 %.not85170, label %.preheader, label %.lr.ph172

.lr.ph165:                                        ; preds = %.preheader105, %95
  %.574164 = phi i64 [ %96, %95 ], [ 0, %.preheader105 ]
  %85 = load ptr, ptr %2, align 8, !tbaa !5
  %86 = tail call noundef i32 @_ZNK9elabtsaot11Powersystem11getBr_extIdEm(ptr noundef nonnull align 8 dereferenceable(480) %85, i64 noundef %.574164)
  %87 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %8)
  %.not89.not159 = icmp eq i64 %87, 0
  br i1 %.not89.not159, label %.critedge, label %.lr.ph161

88:                                               ; preds = %.lr.ph161
  %89 = add i64 %.5160, 1
  %90 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %8)
  %.not89.not = icmp eq i64 %89, %90
  br i1 %.not89.not, label %.critedge, label %.lr.ph161, !llvm.loop !31

.lr.ph161:                                        ; preds = %.lr.ph165, %88
  %.5160 = phi i64 [ %89, %88 ], [ 0, %.lr.ph165 ]
  %91 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %8, i64 noundef %.574164)
  %92 = getelementptr inbounds i8, ptr %91, i64 12
  %93 = load i32, ptr %92, align 4, !tbaa !19
  %94 = icmp eq i32 %93, %86
  br i1 %94, label %95, label %88

95:                                               ; preds = %.lr.ph161
  %96 = add i64 %.574164, 1
  %97 = load ptr, ptr %2, align 8, !tbaa !5
  %98 = tail call noundef i64 @_ZNK9elabtsaot11Powersystem14getBranchCountEv(ptr noundef nonnull align 8 dereferenceable(480) %97)
  %.not84 = icmp eq i64 %96, %98
  br i1 %.not84, label %.preheader103, label %.lr.ph165, !llvm.loop !32

.preheader:                                       ; preds = %111, %.preheader103
  %99 = load ptr, ptr %2, align 8, !tbaa !5
  %100 = tail call noundef i64 @_ZNK9elabtsaot11Powersystem12getLoadCountEv(ptr noundef nonnull align 8 dereferenceable(480) %99)
  %.not86177 = icmp eq i64 %100, 0
  br i1 %.not86177, label %.critedge, label %.lr.ph179

.lr.ph172:                                        ; preds = %.preheader103, %111
  %.675171 = phi i64 [ %112, %111 ], [ 0, %.preheader103 ]
  %101 = load ptr, ptr %2, align 8, !tbaa !5
  %102 = tail call noundef i32 @_ZNK9elabtsaot11Powersystem12getGen_extIdEm(ptr noundef nonnull align 8 dereferenceable(480) %101, i64 noundef %.675171)
  %103 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %23)
  %.not88.not166 = icmp eq i64 %103, 0
  br i1 %.not88.not166, label %.critedge, label %.lr.ph168

104:                                              ; preds = %.lr.ph168
  %105 = add i64 %.6167, 1
  %106 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %23)
  %.not88.not = icmp eq i64 %105, %106
  br i1 %.not88.not, label %.critedge, label %.lr.ph168, !llvm.loop !33

.lr.ph168:                                        ; preds = %.lr.ph172, %104
  %.6167 = phi i64 [ %105, %104 ], [ 0, %.lr.ph172 ]
  %107 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %23, i64 noundef %.675171)
  %108 = getelementptr inbounds i8, ptr %107, i64 12
  %109 = load i32, ptr %108, align 4, !tbaa !19
  %110 = icmp eq i32 %109, %102
  br i1 %110, label %111, label %104

111:                                              ; preds = %.lr.ph168
  %112 = add i64 %.675171, 1
  %113 = load ptr, ptr %2, align 8, !tbaa !5
  %114 = tail call noundef i64 @_ZNK9elabtsaot11Powersystem11getGenCountEv(ptr noundef nonnull align 8 dereferenceable(480) %113)
  %.not85 = icmp eq i64 %112, %114
  br i1 %.not85, label %.preheader, label %.lr.ph172, !llvm.loop !34

.lr.ph179:                                        ; preds = %.preheader, %125
  %.776178 = phi i64 [ %126, %125 ], [ 0, %.preheader ]
  %115 = load ptr, ptr %2, align 8, !tbaa !5
  %116 = tail call noundef i32 @_ZNK9elabtsaot11Powersystem13getLoad_extIdEm(ptr noundef nonnull align 8 dereferenceable(480) %115, i64 noundef %.776178)
  %117 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %38)
  %.not87.not173 = icmp eq i64 %117, 0
  br i1 %.not87.not173, label %.critedge, label %.lr.ph175

118:                                              ; preds = %.lr.ph175
  %119 = add i64 %.7174, 1
  %120 = tail call noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %38)
  %.not87.not = icmp eq i64 %119, %120
  br i1 %.not87.not, label %.critedge, label %.lr.ph175, !llvm.loop !35

.lr.ph175:                                        ; preds = %.lr.ph179, %118
  %.7174 = phi i64 [ %119, %118 ], [ 0, %.lr.ph179 ]
  %121 = tail call noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %38, i64 noundef %.776178)
  %122 = getelementptr inbounds i8, ptr %121, i64 12
  %123 = load i32, ptr %122, align 4, !tbaa !19
  %124 = icmp eq i32 %123, %116
  br i1 %124, label %125, label %118

125:                                              ; preds = %.lr.ph175
  %126 = add i64 %.776178, 1
  %127 = load ptr, ptr %2, align 8, !tbaa !5
  %128 = tail call noundef i64 @_ZNK9elabtsaot11Powersystem12getLoadCountEv(ptr noundef nonnull align 8 dereferenceable(480) %127)
  %.not86 = icmp eq i64 %126, %128
  br i1 %.not86, label %.critedge, label %.lr.ph179, !llvm.loop !36

.critedge:                                        ; preds = %.lr.ph, %.lr.ph133, %.lr.ph140, %.lr.ph147, %.lr.ph158, %72, %.lr.ph165, %88, %.lr.ph172, %104, %125, %.lr.ph179, %118, %.preheader, %1
  %.279 = phi i32 [ -1, %1 ], [ 0, %.preheader ], [ 11, %118 ], [ 11, %.lr.ph179 ], [ 0, %125 ], [ 11, %104 ], [ 11, %.lr.ph172 ], [ 11, %88 ], [ 11, %.lr.ph165 ], [ 11, %72 ], [ 11, %.lr.ph158 ], [ 4, %.lr.ph147 ], [ 3, %.lr.ph140 ], [ 2, %.lr.ph133 ], [ 1, %.lr.ph ]
  ret i32 %.279
}

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZNK5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(16) ptr @_ZN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #1 align 2

declare noundef i32 @_ZNK9elabtsaot11Powersystem12getBus_extIdEm(ptr noundef nonnull align 8 dereferenceable(480), i64 noundef) local_unnamed_addr #0

declare noundef i32 @_ZNK9elabtsaot11Powersystem11getBr_extIdEm(ptr noundef nonnull align 8 dereferenceable(480), i64 noundef) local_unnamed_addr #0

declare noundef i32 @_ZNK9elabtsaot11Powersystem12getGen_extIdEm(ptr noundef nonnull align 8 dereferenceable(480), i64 noundef) local_unnamed_addr #0

declare noundef i32 @_ZNK9elabtsaot11Powersystem13getLoad_extIdEm(ptr noundef nonnull align 8 dereferenceable(480), i64 noundef) local_unnamed_addr #0

attributes #0 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { mustprogress 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 #2 = { 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" }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !7, i64 8}
!6 = !{!"_ZTSN9elabtsaot8PwsModelE", !7, i64 8, !10, i64 16, !10, i64 40, !10, i64 64, !10, i64 88}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!"_ZTSN5boost10ptr_vectorIN9elabtsaot15PwsModelElementENS_20heap_clone_allocatorEvEE", !11, i64 0}
!11 = !{!"_ZTSN5boost20ptr_sequence_adapterIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS4_EENS_20heap_clone_allocatorEEE", !12, i64 0}
!12 = !{!"_ZTSN5boost20ptr_container_detail24reversible_ptr_containerINS0_15sequence_configIN9elabtsaot15PwsModelElementESt6vectorIPvSaIS6_EEEENS_20heap_clone_allocatorEEE", !13, i64 0}
!13 = !{!"_ZTSSt6vectorIPvSaIS0_EE", !14, i64 0}
!14 = !{!"_ZTSSt12_Vector_baseIPvSaIS0_EE", !15, i64 0}
!15 = !{!"_ZTSNSt12_Vector_baseIPvSaIS0_EE12_Vector_implE", !16, i64 0}
!16 = !{!"_ZTSNSt12_Vector_baseIPvSaIS0_EE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!17 = distinct !{!17, !18}
!18 = !{!"llvm.loop.mustprogress"}
!19 = !{!20, !21, i64 12}
!20 = !{!"_ZTSN9elabtsaot15PwsModelElementE", !21, i64 8, !21, i64 12}
!21 = !{!"int", !8, i64 0}
!22 = distinct !{!22, !18}
!23 = distinct !{!23, !18}
!24 = distinct !{!24, !18}
!25 = distinct !{!25, !18}
!26 = distinct !{!26, !18}
!27 = distinct !{!27, !18}
!28 = distinct !{!28, !18}
!29 = distinct !{!29, !18}
!30 = distinct !{!30, !18}
!31 = distinct !{!31, !18}
!32 = distinct !{!32, !18}
!33 = distinct !{!33, !18}
!34 = distinct !{!34, !18}
!35 = distinct !{!35, !18}
!36 = distinct !{!36, !18}


; Effective O3 passes: EarlyCSEPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LCSSAPass,LICMPass,LoopInstSimplifyPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,SROAPass,SimplifyCFGPass,TailCallElimPass