; LLVM IR from thekyria/elabtsaot2 :: emulator_hw/hardware_model/atom.ll (ZN9elabtsaot4Atom9calibrateERKS0_)

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

%"struct.std::_Bit_reference" = type { ptr, i64 }
%"class.elabtsaot::Atom" = type { %"class.elabtsaot::Node", %"class.std::vector", %"class.std::vector", %"class.std::vector.0" }
%"class.elabtsaot::Node" = type { double, double, double, double, i8, i8, i8, i8, double, double, double, double, i8, i8, i8, i8, [4 x i8], %"class.elabtsaot::Potentiometer", %"class.elabtsaot::Potentiometer", %"class.elabtsaot::Potentiometer", %"class.elabtsaot::Potentiometer" }
%"class.elabtsaot::Potentiometer" = type <{ ptr, double, double, i32, [4 x i8], double, i32, i32, i8, i8, [6 x i8] }>
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<elabtsaot::EmulatorBranch, std::allocator<elabtsaot::EmulatorBranch>>::_Vector_impl" }
%"struct.std::_Vector_base<elabtsaot::EmulatorBranch, std::allocator<elabtsaot::EmulatorBranch>>::_Vector_impl" = type { %"struct.std::_Vector_base<elabtsaot::EmulatorBranch, std::allocator<elabtsaot::EmulatorBranch>>::_Vector_impl_data" }
%"struct.std::_Vector_base<elabtsaot::EmulatorBranch, std::allocator<elabtsaot::EmulatorBranch>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.0" = type { %"struct.std::_Bvector_base" }
%"struct.std::_Bvector_base" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" = type { %"struct.std::_Bit_iterator", %"struct.std::_Bit_iterator", ptr }
%"struct.std::_Bit_iterator" = type { %"struct.std::_Bit_iterator_base.base", [4 x i8] }
%"struct.std::_Bit_iterator_base.base" = type <{ ptr, i32 }>

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

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

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40), i64 noundef) #1 align 2

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN9elabtsaot4Atom9calibrateERKS0_(ptr noundef nonnull align 8 dereferenceable(392) %0, ptr noundef nonnull align 8 dereferenceable(392) %1) #1 align 2 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca %"struct.std::_Bit_reference", align 8
  %6 = alloca %"struct.std::_Bit_reference", align 8
  %7 = alloca %"struct.std::_Bit_reference", align 8
  %8 = alloca %"struct.std::_Bit_reference", align 8
  %9 = alloca %"struct.std::_Bit_reference", align 8
  %10 = alloca %"struct.std::_Bit_reference", align 8
  %11 = alloca %"struct.std::_Bit_reference", align 8
  %12 = alloca %"struct.std::_Bit_reference", align 8
  store ptr %0, ptr %3, align 8, !tbaa !5
  store ptr %1, ptr %4, align 8, !tbaa !5
  %13 = load ptr, ptr %3, align 8
  %14 = load ptr, ptr %4, align 8, !tbaa !5
  %15 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %14, i32 0, i32 0
  %16 = getelementptr inbounds %"class.elabtsaot::Node", ptr %15, i32 0, i32 0
  %17 = load double, ptr %16, align 8, !tbaa !9
  %18 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 0
  %19 = getelementptr inbounds %"class.elabtsaot::Node", ptr %18, i32 0, i32 0
  store double %17, ptr %19, align 8, !tbaa !9
  %20 = load ptr, ptr %4, align 8, !tbaa !5
  %21 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %20, i32 0, i32 0
  %22 = getelementptr inbounds %"class.elabtsaot::Node", ptr %21, i32 0, i32 1
  %23 = load double, ptr %22, align 8, !tbaa !26
  %24 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 0
  %25 = getelementptr inbounds %"class.elabtsaot::Node", ptr %24, i32 0, i32 1
  store double %23, ptr %25, align 8, !tbaa !26
  %26 = load ptr, ptr %4, align 8, !tbaa !5
  %27 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %26, i32 0, i32 0
  %28 = getelementptr inbounds %"class.elabtsaot::Node", ptr %27, i32 0, i32 2
  %29 = load double, ptr %28, align 8, !tbaa !27
  %30 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 0
  %31 = getelementptr inbounds %"class.elabtsaot::Node", ptr %30, i32 0, i32 2
  store double %29, ptr %31, align 8, !tbaa !27
  %32 = load ptr, ptr %4, align 8, !tbaa !5
  %33 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %32, i32 0, i32 0
  %34 = getelementptr inbounds %"class.elabtsaot::Node", ptr %33, i32 0, i32 3
  %35 = load double, ptr %34, align 8, !tbaa !28
  %36 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 0
  %37 = getelementptr inbounds %"class.elabtsaot::Node", ptr %36, i32 0, i32 3
  store double %35, ptr %37, align 8, !tbaa !28
  %38 = load ptr, ptr %4, align 8, !tbaa !5
  %39 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %38, i32 0, i32 0
  %40 = getelementptr inbounds %"class.elabtsaot::Node", ptr %39, i32 0, i32 8
  %41 = load double, ptr %40, align 8, !tbaa !29
  %42 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 0
  %43 = getelementptr inbounds %"class.elabtsaot::Node", ptr %42, i32 0, i32 8
  store double %41, ptr %43, align 8, !tbaa !29
  %44 = load ptr, ptr %4, align 8, !tbaa !5
  %45 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %44, i32 0, i32 0
  %46 = getelementptr inbounds %"class.elabtsaot::Node", ptr %45, i32 0, i32 9
  %47 = load double, ptr %46, align 8, !tbaa !30
  %48 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 0
  %49 = getelementptr inbounds %"class.elabtsaot::Node", ptr %48, i32 0, i32 9
  store double %47, ptr %49, align 8, !tbaa !30
  %50 = load ptr, ptr %4, align 8, !tbaa !5
  %51 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %50, i32 0, i32 0
  %52 = getelementptr inbounds %"class.elabtsaot::Node", ptr %51, i32 0, i32 10
  %53 = load double, ptr %52, align 8, !tbaa !31
  %54 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 0
  %55 = getelementptr inbounds %"class.elabtsaot::Node", ptr %54, i32 0, i32 10
  store double %53, ptr %55, align 8, !tbaa !31
  %56 = load ptr, ptr %4, align 8, !tbaa !5
  %57 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %56, i32 0, i32 0
  %58 = getelementptr inbounds %"class.elabtsaot::Node", ptr %57, i32 0, i32 11
  %59 = load double, ptr %58, align 8, !tbaa !32
  %60 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 0
  %61 = getelementptr inbounds %"class.elabtsaot::Node", ptr %60, i32 0, i32 11
  store double %59, ptr %61, align 8, !tbaa !32
  %62 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 0
  %63 = load ptr, ptr %4, align 8, !tbaa !5
  %64 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %63, i32 0, i32 0
  %65 = call noundef double @_ZNK9elabtsaot4Node20real_pot_current_rabEv(ptr noundef nonnull align 8 dereferenceable(304) %64)
  %66 = call noundef i32 @_ZN9elabtsaot4Node24set_real_pot_current_rabEdb(ptr noundef nonnull align 8 dereferenceable(304) %62, double noundef %65, i1 noundef zeroext true)
  %67 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 0
  %68 = load ptr, ptr %4, align 8, !tbaa !5
  %69 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %68, i32 0, i32 0
  %70 = call noundef double @_ZNK9elabtsaot4Node20imag_pot_current_rabEv(ptr noundef nonnull align 8 dereferenceable(304) %69)
  %71 = call noundef i32 @_ZN9elabtsaot4Node24set_imag_pot_current_rabEdb(ptr noundef nonnull align 8 dereferenceable(304) %67, double noundef %70, i1 noundef zeroext true)
  %72 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 0
  %73 = load ptr, ptr %4, align 8, !tbaa !5
  %74 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %73, i32 0, i32 0
  %75 = call noundef double @_ZNK9elabtsaot4Node19real_pot_current_rwEv(ptr noundef nonnull align 8 dereferenceable(304) %74)
  %76 = call noundef i32 @_ZN9elabtsaot4Node23set_real_pot_current_rwEdb(ptr noundef nonnull align 8 dereferenceable(304) %72, double noundef %75, i1 noundef zeroext true)
  %77 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 0
  %78 = load ptr, ptr %4, align 8, !tbaa !5
  %79 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %78, i32 0, i32 0
  %80 = call noundef double @_ZNK9elabtsaot4Node19imag_pot_current_rwEv(ptr noundef nonnull align 8 dereferenceable(304) %79)
  %81 = call noundef i32 @_ZN9elabtsaot4Node23set_imag_pot_current_rwEdb(ptr noundef nonnull align 8 dereferenceable(304) %77, double noundef %80, i1 noundef zeroext true)
  %82 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 0
  %83 = load ptr, ptr %4, align 8, !tbaa !5
  %84 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %83, i32 0, i32 0
  %85 = call noundef double @_ZNK9elabtsaot4Node23real_pot_resistance_rabEv(ptr noundef nonnull align 8 dereferenceable(304) %84)
  %86 = call noundef i32 @_ZN9elabtsaot4Node27set_real_pot_resistance_rabEdb(ptr noundef nonnull align 8 dereferenceable(304) %82, double noundef %85, i1 noundef zeroext true)
  %87 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 0
  %88 = load ptr, ptr %4, align 8, !tbaa !5
  %89 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %88, i32 0, i32 0
  %90 = call noundef double @_ZNK9elabtsaot4Node23imag_pot_resistance_rabEv(ptr noundef nonnull align 8 dereferenceable(304) %89)
  %91 = call noundef i32 @_ZN9elabtsaot4Node27set_imag_pot_resistance_rabEdb(ptr noundef nonnull align 8 dereferenceable(304) %87, double noundef %90, i1 noundef zeroext true)
  %92 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 0
  %93 = load ptr, ptr %4, align 8, !tbaa !5
  %94 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %93, i32 0, i32 0
  %95 = call noundef double @_ZNK9elabtsaot4Node22real_pot_resistance_rwEv(ptr noundef nonnull align 8 dereferenceable(304) %94)
  %96 = call noundef i32 @_ZN9elabtsaot4Node26set_real_pot_resistance_rwEdb(ptr noundef nonnull align 8 dereferenceable(304) %92, double noundef %95, i1 noundef zeroext true)
  %97 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 0
  %98 = load ptr, ptr %4, align 8, !tbaa !5
  %99 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %98, i32 0, i32 0
  %100 = call noundef double @_ZNK9elabtsaot4Node22imag_pot_resistance_rwEv(ptr noundef nonnull align 8 dereferenceable(304) %99)
  %101 = call noundef i32 @_ZN9elabtsaot4Node26set_imag_pot_resistance_rwEdb(ptr noundef nonnull align 8 dereferenceable(304) %97, double noundef %100, i1 noundef zeroext true)
  call void @llvm.lifetime.start.p0(i64 16, ptr %5) #4
  %102 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 3
  %103 = call { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %102, i64 noundef 0)
  %104 = getelementptr inbounds { ptr, i64 }, ptr %5, i32 0, i32 0
  %105 = extractvalue { ptr, i64 } %103, 0
  store ptr %105, ptr %104, align 8
  %106 = getelementptr inbounds { ptr, i64 }, ptr %5, i32 0, i32 1
  %107 = extractvalue { ptr, i64 } %103, 1
  store i64 %107, ptr %106, align 8
  %108 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %5) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr %5) #4
  br i1 %108, label %109, label %166

109:                                              ; preds = %2
  %110 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %111 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %110, i64 noundef 0) #4
  %112 = load ptr, ptr %4, align 8, !tbaa !5
  %113 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %112, i32 0, i32 1
  %114 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %113, i64 noundef 0) #4
  %115 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %114)
  %116 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %111, double noundef %115, i1 noundef zeroext true)
  %117 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %118 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %117, i64 noundef 0) #4
  %119 = load ptr, ptr %4, align 8, !tbaa !5
  %120 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %119, i32 0, i32 2
  %121 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %120, i64 noundef 0) #4
  %122 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %121)
  %123 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %118, double noundef %122, i1 noundef zeroext true)
  %124 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %125 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %124, i64 noundef 0) #4
  %126 = load ptr, ptr %4, align 8, !tbaa !5
  %127 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %126, i32 0, i32 1
  %128 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %127, i64 noundef 0) #4
  %129 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %128)
  %130 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %125, double noundef %129, i1 noundef zeroext true)
  %131 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %132 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %131, i64 noundef 0) #4
  %133 = load ptr, ptr %4, align 8, !tbaa !5
  %134 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %133, i32 0, i32 2
  %135 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %134, i64 noundef 0) #4
  %136 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %135)
  %137 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %132, double noundef %136, i1 noundef zeroext true)
  %138 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %139 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %138, i64 noundef 0) #4
  %140 = load ptr, ptr %4, align 8, !tbaa !5
  %141 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %140, i32 0, i32 1
  %142 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %141, i64 noundef 0) #4
  %143 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %142)
  %144 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %139, double noundef %143, i1 noundef zeroext true)
  %145 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %146 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %145, i64 noundef 0) #4
  %147 = load ptr, ptr %4, align 8, !tbaa !5
  %148 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %147, i32 0, i32 2
  %149 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %148, i64 noundef 0) #4
  %150 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %149)
  %151 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %146, double noundef %150, i1 noundef zeroext true)
  %152 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %153 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %152, i64 noundef 0) #4
  %154 = load ptr, ptr %4, align 8, !tbaa !5
  %155 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %154, i32 0, i32 1
  %156 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %155, i64 noundef 0) #4
  %157 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %156)
  %158 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %153, double noundef %157, i1 noundef zeroext true)
  %159 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %160 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %159, i64 noundef 0) #4
  %161 = load ptr, ptr %4, align 8, !tbaa !5
  %162 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %161, i32 0, i32 2
  %163 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %162, i64 noundef 0) #4
  %164 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %163)
  %165 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %160, double noundef %164, i1 noundef zeroext true)
  br label %166

166:                                              ; preds = %109, %2
  call void @llvm.lifetime.start.p0(i64 16, ptr %6) #4
  %167 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 3
  %168 = call { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %167, i64 noundef 1)
  %169 = getelementptr inbounds { ptr, i64 }, ptr %6, i32 0, i32 0
  %170 = extractvalue { ptr, i64 } %168, 0
  store ptr %170, ptr %169, align 8
  %171 = getelementptr inbounds { ptr, i64 }, ptr %6, i32 0, i32 1
  %172 = extractvalue { ptr, i64 } %168, 1
  store i64 %172, ptr %171, align 8
  %173 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %6) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr %6) #4
  br i1 %173, label %174, label %231

174:                                              ; preds = %166
  %175 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %176 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %175, i64 noundef 1) #4
  %177 = load ptr, ptr %4, align 8, !tbaa !5
  %178 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %177, i32 0, i32 1
  %179 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %178, i64 noundef 1) #4
  %180 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %179)
  %181 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %176, double noundef %180, i1 noundef zeroext true)
  %182 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %183 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %182, i64 noundef 1) #4
  %184 = load ptr, ptr %4, align 8, !tbaa !5
  %185 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %184, i32 0, i32 2
  %186 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %185, i64 noundef 1) #4
  %187 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %186)
  %188 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %183, double noundef %187, i1 noundef zeroext true)
  %189 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %190 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %189, i64 noundef 1) #4
  %191 = load ptr, ptr %4, align 8, !tbaa !5
  %192 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %191, i32 0, i32 1
  %193 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %192, i64 noundef 1) #4
  %194 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %193)
  %195 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %190, double noundef %194, i1 noundef zeroext true)
  %196 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %197 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %196, i64 noundef 1) #4
  %198 = load ptr, ptr %4, align 8, !tbaa !5
  %199 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %198, i32 0, i32 2
  %200 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %199, i64 noundef 1) #4
  %201 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %200)
  %202 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %197, double noundef %201, i1 noundef zeroext true)
  %203 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %204 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %203, i64 noundef 1) #4
  %205 = load ptr, ptr %4, align 8, !tbaa !5
  %206 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %205, i32 0, i32 1
  %207 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %206, i64 noundef 1) #4
  %208 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %207)
  %209 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %204, double noundef %208, i1 noundef zeroext true)
  %210 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %211 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %210, i64 noundef 1) #4
  %212 = load ptr, ptr %4, align 8, !tbaa !5
  %213 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %212, i32 0, i32 2
  %214 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %213, i64 noundef 1) #4
  %215 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %214)
  %216 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %211, double noundef %215, i1 noundef zeroext true)
  %217 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %218 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %217, i64 noundef 1) #4
  %219 = load ptr, ptr %4, align 8, !tbaa !5
  %220 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %219, i32 0, i32 1
  %221 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %220, i64 noundef 1) #4
  %222 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %221)
  %223 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %218, double noundef %222, i1 noundef zeroext true)
  %224 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %225 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %224, i64 noundef 1) #4
  %226 = load ptr, ptr %4, align 8, !tbaa !5
  %227 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %226, i32 0, i32 2
  %228 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %227, i64 noundef 1) #4
  %229 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %228)
  %230 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %225, double noundef %229, i1 noundef zeroext true)
  br label %231

231:                                              ; preds = %174, %166
  call void @llvm.lifetime.start.p0(i64 16, ptr %7) #4
  %232 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 3
  %233 = call { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %232, i64 noundef 2)
  %234 = getelementptr inbounds { ptr, i64 }, ptr %7, i32 0, i32 0
  %235 = extractvalue { ptr, i64 } %233, 0
  store ptr %235, ptr %234, align 8
  %236 = getelementptr inbounds { ptr, i64 }, ptr %7, i32 0, i32 1
  %237 = extractvalue { ptr, i64 } %233, 1
  store i64 %237, ptr %236, align 8
  %238 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %7) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr %7) #4
  br i1 %238, label %239, label %296

239:                                              ; preds = %231
  %240 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %241 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %240, i64 noundef 2) #4
  %242 = load ptr, ptr %4, align 8, !tbaa !5
  %243 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %242, i32 0, i32 1
  %244 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %243, i64 noundef 2) #4
  %245 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %244)
  %246 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %241, double noundef %245, i1 noundef zeroext true)
  %247 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %248 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %247, i64 noundef 2) #4
  %249 = load ptr, ptr %4, align 8, !tbaa !5
  %250 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %249, i32 0, i32 2
  %251 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %250, i64 noundef 2) #4
  %252 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %251)
  %253 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %248, double noundef %252, i1 noundef zeroext true)
  %254 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %255 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %254, i64 noundef 2) #4
  %256 = load ptr, ptr %4, align 8, !tbaa !5
  %257 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %256, i32 0, i32 1
  %258 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %257, i64 noundef 2) #4
  %259 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %258)
  %260 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %255, double noundef %259, i1 noundef zeroext true)
  %261 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %262 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %261, i64 noundef 2) #4
  %263 = load ptr, ptr %4, align 8, !tbaa !5
  %264 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %263, i32 0, i32 2
  %265 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %264, i64 noundef 2) #4
  %266 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %265)
  %267 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %262, double noundef %266, i1 noundef zeroext true)
  %268 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %269 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %268, i64 noundef 2) #4
  %270 = load ptr, ptr %4, align 8, !tbaa !5
  %271 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %270, i32 0, i32 1
  %272 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %271, i64 noundef 2) #4
  %273 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %272)
  %274 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %269, double noundef %273, i1 noundef zeroext true)
  %275 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %276 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %275, i64 noundef 2) #4
  %277 = load ptr, ptr %4, align 8, !tbaa !5
  %278 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %277, i32 0, i32 2
  %279 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %278, i64 noundef 2) #4
  %280 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %279)
  %281 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %276, double noundef %280, i1 noundef zeroext true)
  %282 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %283 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %282, i64 noundef 2) #4
  %284 = load ptr, ptr %4, align 8, !tbaa !5
  %285 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %284, i32 0, i32 1
  %286 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %285, i64 noundef 2) #4
  %287 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %286)
  %288 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %283, double noundef %287, i1 noundef zeroext true)
  %289 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %290 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %289, i64 noundef 2) #4
  %291 = load ptr, ptr %4, align 8, !tbaa !5
  %292 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %291, i32 0, i32 2
  %293 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %292, i64 noundef 2) #4
  %294 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %293)
  %295 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %290, double noundef %294, i1 noundef zeroext true)
  br label %296

296:                                              ; preds = %239, %231
  call void @llvm.lifetime.start.p0(i64 16, ptr %8) #4
  %297 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 3
  %298 = call { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %297, i64 noundef 3)
  %299 = getelementptr inbounds { ptr, i64 }, ptr %8, i32 0, i32 0
  %300 = extractvalue { ptr, i64 } %298, 0
  store ptr %300, ptr %299, align 8
  %301 = getelementptr inbounds { ptr, i64 }, ptr %8, i32 0, i32 1
  %302 = extractvalue { ptr, i64 } %298, 1
  store i64 %302, ptr %301, align 8
  %303 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %8) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr %8) #4
  br i1 %303, label %304, label %361

304:                                              ; preds = %296
  %305 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %306 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %305, i64 noundef 3) #4
  %307 = load ptr, ptr %4, align 8, !tbaa !5
  %308 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %307, i32 0, i32 1
  %309 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %308, i64 noundef 3) #4
  %310 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %309)
  %311 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %306, double noundef %310, i1 noundef zeroext true)
  %312 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %313 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %312, i64 noundef 3) #4
  %314 = load ptr, ptr %4, align 8, !tbaa !5
  %315 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %314, i32 0, i32 2
  %316 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %315, i64 noundef 3) #4
  %317 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %316)
  %318 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %313, double noundef %317, i1 noundef zeroext true)
  %319 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %320 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %319, i64 noundef 3) #4
  %321 = load ptr, ptr %4, align 8, !tbaa !5
  %322 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %321, i32 0, i32 1
  %323 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %322, i64 noundef 3) #4
  %324 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %323)
  %325 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %320, double noundef %324, i1 noundef zeroext true)
  %326 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %327 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %326, i64 noundef 3) #4
  %328 = load ptr, ptr %4, align 8, !tbaa !5
  %329 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %328, i32 0, i32 2
  %330 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %329, i64 noundef 3) #4
  %331 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %330)
  %332 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %327, double noundef %331, i1 noundef zeroext true)
  %333 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %334 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %333, i64 noundef 3) #4
  %335 = load ptr, ptr %4, align 8, !tbaa !5
  %336 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %335, i32 0, i32 1
  %337 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %336, i64 noundef 3) #4
  %338 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %337)
  %339 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %334, double noundef %338, i1 noundef zeroext true)
  %340 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %341 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %340, i64 noundef 3) #4
  %342 = load ptr, ptr %4, align 8, !tbaa !5
  %343 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %342, i32 0, i32 2
  %344 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %343, i64 noundef 3) #4
  %345 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %344)
  %346 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %341, double noundef %345, i1 noundef zeroext true)
  %347 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %348 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %347, i64 noundef 3) #4
  %349 = load ptr, ptr %4, align 8, !tbaa !5
  %350 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %349, i32 0, i32 1
  %351 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %350, i64 noundef 3) #4
  %352 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %351)
  %353 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %348, double noundef %352, i1 noundef zeroext true)
  %354 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %355 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %354, i64 noundef 3) #4
  %356 = load ptr, ptr %4, align 8, !tbaa !5
  %357 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %356, i32 0, i32 2
  %358 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %357, i64 noundef 3) #4
  %359 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %358)
  %360 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %355, double noundef %359, i1 noundef zeroext true)
  br label %361

361:                                              ; preds = %304, %296
  call void @llvm.lifetime.start.p0(i64 16, ptr %9) #4
  %362 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 3
  %363 = call { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %362, i64 noundef 4)
  %364 = getelementptr inbounds { ptr, i64 }, ptr %9, i32 0, i32 0
  %365 = extractvalue { ptr, i64 } %363, 0
  store ptr %365, ptr %364, align 8
  %366 = getelementptr inbounds { ptr, i64 }, ptr %9, i32 0, i32 1
  %367 = extractvalue { ptr, i64 } %363, 1
  store i64 %367, ptr %366, align 8
  %368 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %9) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr %9) #4
  br i1 %368, label %369, label %426

369:                                              ; preds = %361
  %370 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %371 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %370, i64 noundef 4) #4
  %372 = load ptr, ptr %4, align 8, !tbaa !5
  %373 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %372, i32 0, i32 1
  %374 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %373, i64 noundef 4) #4
  %375 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %374)
  %376 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %371, double noundef %375, i1 noundef zeroext true)
  %377 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %378 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %377, i64 noundef 4) #4
  %379 = load ptr, ptr %4, align 8, !tbaa !5
  %380 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %379, i32 0, i32 2
  %381 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %380, i64 noundef 4) #4
  %382 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %381)
  %383 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %378, double noundef %382, i1 noundef zeroext true)
  %384 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %385 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %384, i64 noundef 4) #4
  %386 = load ptr, ptr %4, align 8, !tbaa !5
  %387 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %386, i32 0, i32 1
  %388 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %387, i64 noundef 4) #4
  %389 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %388)
  %390 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %385, double noundef %389, i1 noundef zeroext true)
  %391 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %392 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %391, i64 noundef 4) #4
  %393 = load ptr, ptr %4, align 8, !tbaa !5
  %394 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %393, i32 0, i32 2
  %395 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %394, i64 noundef 4) #4
  %396 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %395)
  %397 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %392, double noundef %396, i1 noundef zeroext true)
  %398 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %399 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %398, i64 noundef 4) #4
  %400 = load ptr, ptr %4, align 8, !tbaa !5
  %401 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %400, i32 0, i32 1
  %402 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %401, i64 noundef 4) #4
  %403 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %402)
  %404 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %399, double noundef %403, i1 noundef zeroext true)
  %405 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %406 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %405, i64 noundef 4) #4
  %407 = load ptr, ptr %4, align 8, !tbaa !5
  %408 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %407, i32 0, i32 2
  %409 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %408, i64 noundef 4) #4
  %410 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %409)
  %411 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %406, double noundef %410, i1 noundef zeroext true)
  %412 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %413 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %412, i64 noundef 4) #4
  %414 = load ptr, ptr %4, align 8, !tbaa !5
  %415 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %414, i32 0, i32 1
  %416 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %415, i64 noundef 4) #4
  %417 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %416)
  %418 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %413, double noundef %417, i1 noundef zeroext true)
  %419 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %420 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %419, i64 noundef 4) #4
  %421 = load ptr, ptr %4, align 8, !tbaa !5
  %422 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %421, i32 0, i32 2
  %423 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %422, i64 noundef 4) #4
  %424 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %423)
  %425 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %420, double noundef %424, i1 noundef zeroext true)
  br label %426

426:                                              ; preds = %369, %361
  call void @llvm.lifetime.start.p0(i64 16, ptr %10) #4
  %427 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 3
  %428 = call { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %427, i64 noundef 5)
  %429 = getelementptr inbounds { ptr, i64 }, ptr %10, i32 0, i32 0
  %430 = extractvalue { ptr, i64 } %428, 0
  store ptr %430, ptr %429, align 8
  %431 = getelementptr inbounds { ptr, i64 }, ptr %10, i32 0, i32 1
  %432 = extractvalue { ptr, i64 } %428, 1
  store i64 %432, ptr %431, align 8
  %433 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %10) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr %10) #4
  br i1 %433, label %434, label %491

434:                                              ; preds = %426
  %435 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %436 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %435, i64 noundef 5) #4
  %437 = load ptr, ptr %4, align 8, !tbaa !5
  %438 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %437, i32 0, i32 1
  %439 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %438, i64 noundef 5) #4
  %440 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %439)
  %441 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %436, double noundef %440, i1 noundef zeroext true)
  %442 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %443 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %442, i64 noundef 5) #4
  %444 = load ptr, ptr %4, align 8, !tbaa !5
  %445 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %444, i32 0, i32 2
  %446 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %445, i64 noundef 5) #4
  %447 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %446)
  %448 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %443, double noundef %447, i1 noundef zeroext true)
  %449 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %450 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %449, i64 noundef 5) #4
  %451 = load ptr, ptr %4, align 8, !tbaa !5
  %452 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %451, i32 0, i32 1
  %453 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %452, i64 noundef 5) #4
  %454 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %453)
  %455 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %450, double noundef %454, i1 noundef zeroext true)
  %456 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %457 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %456, i64 noundef 5) #4
  %458 = load ptr, ptr %4, align 8, !tbaa !5
  %459 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %458, i32 0, i32 2
  %460 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %459, i64 noundef 5) #4
  %461 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %460)
  %462 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %457, double noundef %461, i1 noundef zeroext true)
  %463 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %464 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %463, i64 noundef 5) #4
  %465 = load ptr, ptr %4, align 8, !tbaa !5
  %466 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %465, i32 0, i32 1
  %467 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %466, i64 noundef 5) #4
  %468 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %467)
  %469 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %464, double noundef %468, i1 noundef zeroext true)
  %470 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %471 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %470, i64 noundef 5) #4
  %472 = load ptr, ptr %4, align 8, !tbaa !5
  %473 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %472, i32 0, i32 2
  %474 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %473, i64 noundef 5) #4
  %475 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %474)
  %476 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %471, double noundef %475, i1 noundef zeroext true)
  %477 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %478 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %477, i64 noundef 5) #4
  %479 = load ptr, ptr %4, align 8, !tbaa !5
  %480 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %479, i32 0, i32 1
  %481 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %480, i64 noundef 5) #4
  %482 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %481)
  %483 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %478, double noundef %482, i1 noundef zeroext true)
  %484 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %485 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %484, i64 noundef 5) #4
  %486 = load ptr, ptr %4, align 8, !tbaa !5
  %487 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %486, i32 0, i32 2
  %488 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %487, i64 noundef 5) #4
  %489 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %488)
  %490 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %485, double noundef %489, i1 noundef zeroext true)
  br label %491

491:                                              ; preds = %434, %426
  call void @llvm.lifetime.start.p0(i64 16, ptr %11) #4
  %492 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 3
  %493 = call { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %492, i64 noundef 6)
  %494 = getelementptr inbounds { ptr, i64 }, ptr %11, i32 0, i32 0
  %495 = extractvalue { ptr, i64 } %493, 0
  store ptr %495, ptr %494, align 8
  %496 = getelementptr inbounds { ptr, i64 }, ptr %11, i32 0, i32 1
  %497 = extractvalue { ptr, i64 } %493, 1
  store i64 %497, ptr %496, align 8
  %498 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %11) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr %11) #4
  br i1 %498, label %499, label %556

499:                                              ; preds = %491
  %500 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %501 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %500, i64 noundef 6) #4
  %502 = load ptr, ptr %4, align 8, !tbaa !5
  %503 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %502, i32 0, i32 1
  %504 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %503, i64 noundef 6) #4
  %505 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %504)
  %506 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %501, double noundef %505, i1 noundef zeroext true)
  %507 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %508 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %507, i64 noundef 6) #4
  %509 = load ptr, ptr %4, align 8, !tbaa !5
  %510 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %509, i32 0, i32 2
  %511 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %510, i64 noundef 6) #4
  %512 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %511)
  %513 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %508, double noundef %512, i1 noundef zeroext true)
  %514 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %515 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %514, i64 noundef 6) #4
  %516 = load ptr, ptr %4, align 8, !tbaa !5
  %517 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %516, i32 0, i32 1
  %518 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %517, i64 noundef 6) #4
  %519 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %518)
  %520 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %515, double noundef %519, i1 noundef zeroext true)
  %521 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %522 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %521, i64 noundef 6) #4
  %523 = load ptr, ptr %4, align 8, !tbaa !5
  %524 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %523, i32 0, i32 2
  %525 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %524, i64 noundef 6) #4
  %526 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %525)
  %527 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %522, double noundef %526, i1 noundef zeroext true)
  %528 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %529 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %528, i64 noundef 6) #4
  %530 = load ptr, ptr %4, align 8, !tbaa !5
  %531 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %530, i32 0, i32 1
  %532 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %531, i64 noundef 6) #4
  %533 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %532)
  %534 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %529, double noundef %533, i1 noundef zeroext true)
  %535 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %536 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %535, i64 noundef 6) #4
  %537 = load ptr, ptr %4, align 8, !tbaa !5
  %538 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %537, i32 0, i32 2
  %539 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %538, i64 noundef 6) #4
  %540 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %539)
  %541 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %536, double noundef %540, i1 noundef zeroext true)
  %542 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %543 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %542, i64 noundef 6) #4
  %544 = load ptr, ptr %4, align 8, !tbaa !5
  %545 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %544, i32 0, i32 1
  %546 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %545, i64 noundef 6) #4
  %547 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %546)
  %548 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %543, double noundef %547, i1 noundef zeroext true)
  %549 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %550 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %549, i64 noundef 6) #4
  %551 = load ptr, ptr %4, align 8, !tbaa !5
  %552 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %551, i32 0, i32 2
  %553 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %552, i64 noundef 6) #4
  %554 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %553)
  %555 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %550, double noundef %554, i1 noundef zeroext true)
  br label %556

556:                                              ; preds = %499, %491
  call void @llvm.lifetime.start.p0(i64 16, ptr %12) #4
  %557 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 3
  %558 = call { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %557, i64 noundef 7)
  %559 = getelementptr inbounds { ptr, i64 }, ptr %12, i32 0, i32 0
  %560 = extractvalue { ptr, i64 } %558, 0
  store ptr %560, ptr %559, align 8
  %561 = getelementptr inbounds { ptr, i64 }, ptr %12, i32 0, i32 1
  %562 = extractvalue { ptr, i64 } %558, 1
  store i64 %562, ptr %561, align 8
  %563 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %12) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr %12) #4
  br i1 %563, label %564, label %621

564:                                              ; preds = %556
  %565 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %566 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %565, i64 noundef 7) #4
  %567 = load ptr, ptr %4, align 8, !tbaa !5
  %568 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %567, i32 0, i32 1
  %569 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %568, i64 noundef 7) #4
  %570 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %569)
  %571 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %566, double noundef %570, i1 noundef zeroext true)
  %572 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %573 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %572, i64 noundef 7) #4
  %574 = load ptr, ptr %4, align 8, !tbaa !5
  %575 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %574, i32 0, i32 2
  %576 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %575, i64 noundef 7) #4
  %577 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %576)
  %578 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %573, double noundef %577, i1 noundef zeroext true)
  %579 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %580 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %579, i64 noundef 7) #4
  %581 = load ptr, ptr %4, align 8, !tbaa !5
  %582 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %581, i32 0, i32 1
  %583 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %582, i64 noundef 7) #4
  %584 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %583)
  %585 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %580, double noundef %584, i1 noundef zeroext true)
  %586 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %587 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %586, i64 noundef 7) #4
  %588 = load ptr, ptr %4, align 8, !tbaa !5
  %589 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %588, i32 0, i32 2
  %590 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %589, i64 noundef 7) #4
  %591 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %590)
  %592 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %587, double noundef %591, i1 noundef zeroext true)
  %593 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %594 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %593, i64 noundef 7) #4
  %595 = load ptr, ptr %4, align 8, !tbaa !5
  %596 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %595, i32 0, i32 1
  %597 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %596, i64 noundef 7) #4
  %598 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %597)
  %599 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %594, double noundef %598, i1 noundef zeroext true)
  %600 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %601 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %600, i64 noundef 7) #4
  %602 = load ptr, ptr %4, align 8, !tbaa !5
  %603 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %602, i32 0, i32 2
  %604 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %603, i64 noundef 7) #4
  %605 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %604)
  %606 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %601, double noundef %605, i1 noundef zeroext true)
  %607 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 1
  %608 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %607, i64 noundef 7) #4
  %609 = load ptr, ptr %4, align 8, !tbaa !5
  %610 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %609, i32 0, i32 1
  %611 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %610, i64 noundef 7) #4
  %612 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %611)
  %613 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %608, double noundef %612, i1 noundef zeroext true)
  %614 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %13, i32 0, i32 2
  %615 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %614, i64 noundef 7) #4
  %616 = load ptr, ptr %4, align 8, !tbaa !5
  %617 = getelementptr inbounds %"class.elabtsaot::Atom", ptr %616, i32 0, i32 2
  %618 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %617, i64 noundef 7) #4
  %619 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %618)
  %620 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %615, double noundef %619, i1 noundef zeroext true)
  br label %621

621:                                              ; preds = %564, %556
  ret void
}

declare noundef i32 @_ZN9elabtsaot4Node24set_real_pot_current_rabEdb(ptr noundef nonnull align 8 dereferenceable(304), double noundef, i1 noundef zeroext) #3

declare noundef double @_ZNK9elabtsaot4Node20real_pot_current_rabEv(ptr noundef nonnull align 8 dereferenceable(304)) #3

declare noundef i32 @_ZN9elabtsaot4Node24set_imag_pot_current_rabEdb(ptr noundef nonnull align 8 dereferenceable(304), double noundef, i1 noundef zeroext) #3

declare noundef double @_ZNK9elabtsaot4Node20imag_pot_current_rabEv(ptr noundef nonnull align 8 dereferenceable(304)) #3

declare noundef i32 @_ZN9elabtsaot4Node23set_real_pot_current_rwEdb(ptr noundef nonnull align 8 dereferenceable(304), double noundef, i1 noundef zeroext) #3

declare noundef double @_ZNK9elabtsaot4Node19real_pot_current_rwEv(ptr noundef nonnull align 8 dereferenceable(304)) #3

declare noundef i32 @_ZN9elabtsaot4Node23set_imag_pot_current_rwEdb(ptr noundef nonnull align 8 dereferenceable(304), double noundef, i1 noundef zeroext) #3

declare noundef double @_ZNK9elabtsaot4Node19imag_pot_current_rwEv(ptr noundef nonnull align 8 dereferenceable(304)) #3

declare noundef i32 @_ZN9elabtsaot4Node27set_real_pot_resistance_rabEdb(ptr noundef nonnull align 8 dereferenceable(304), double noundef, i1 noundef zeroext) #3

declare noundef double @_ZNK9elabtsaot4Node23real_pot_resistance_rabEv(ptr noundef nonnull align 8 dereferenceable(304)) #3

declare noundef i32 @_ZN9elabtsaot4Node27set_imag_pot_resistance_rabEdb(ptr noundef nonnull align 8 dereferenceable(304), double noundef, i1 noundef zeroext) #3

declare noundef double @_ZNK9elabtsaot4Node23imag_pot_resistance_rabEv(ptr noundef nonnull align 8 dereferenceable(304)) #3

declare noundef i32 @_ZN9elabtsaot4Node26set_real_pot_resistance_rwEdb(ptr noundef nonnull align 8 dereferenceable(304), double noundef, i1 noundef zeroext) #3

declare noundef double @_ZNK9elabtsaot4Node22real_pot_resistance_rwEv(ptr noundef nonnull align 8 dereferenceable(304)) #3

declare noundef i32 @_ZN9elabtsaot4Node26set_imag_pot_resistance_rwEdb(ptr noundef nonnull align 8 dereferenceable(304), double noundef, i1 noundef zeroext) #3

declare noundef double @_ZNK9elabtsaot4Node22imag_pot_resistance_rwEv(ptr noundef nonnull align 8 dereferenceable(304)) #3

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16)) #2 align 2

declare noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120), double noundef, i1 noundef zeroext) #3

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

declare noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120)) #3

declare noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120), double noundef, i1 noundef zeroext) #3

declare noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120)) #3

declare noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120), double noundef, i1 noundef zeroext) #3

declare noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120)) #3

declare noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120), double noundef, i1 noundef zeroext) #3

declare noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120)) #3

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
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" }
attributes #3 = { "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, !12, i64 0}
!10 = !{!"_ZTSN9elabtsaot4AtomE", !11, i64 0, !16, i64 304, !16, i64 328, !20, i64 352}
!11 = !{!"_ZTSN9elabtsaot4NodeE", !12, i64 0, !12, i64 8, !12, i64 16, !12, i64 24, !13, i64 32, !13, i64 33, !13, i64 34, !13, i64 35, !12, i64 40, !12, i64 48, !12, i64 56, !12, i64 64, !13, i64 72, !13, i64 73, !13, i64 74, !13, i64 75, !14, i64 80, !14, i64 136, !14, i64 192, !14, i64 248}
!12 = !{!"double", !7, i64 0}
!13 = !{!"bool", !7, i64 0}
!14 = !{!"_ZTSN9elabtsaot13PotentiometerE", !12, i64 8, !12, i64 16, !15, i64 24, !12, i64 32, !15, i64 40, !15, i64 44, !13, i64 48, !13, i64 49}
!15 = !{!"int", !7, i64 0}
!16 = !{!"_ZTSSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EE", !17, i64 0}
!17 = !{!"_ZTSSt12_Vector_baseIN9elabtsaot14EmulatorBranchESaIS1_EE", !18, i64 0}
!18 = !{!"_ZTSNSt12_Vector_baseIN9elabtsaot14EmulatorBranchESaIS1_EE12_Vector_implE", !19, i64 0}
!19 = !{!"_ZTSNSt12_Vector_baseIN9elabtsaot14EmulatorBranchESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!20 = !{!"_ZTSSt6vectorIbSaIbEE", !21, i64 0}
!21 = !{!"_ZTSSt13_Bvector_baseISaIbEE", !22, i64 0}
!22 = !{!"_ZTSNSt13_Bvector_baseISaIbEE13_Bvector_implE", !23, i64 0}
!23 = !{!"_ZTSNSt13_Bvector_baseISaIbEE18_Bvector_impl_dataE", !24, i64 0, !24, i64 16, !6, i64 32}
!24 = !{!"_ZTSSt13_Bit_iterator", !25, i64 0}
!25 = !{!"_ZTSSt18_Bit_iterator_base", !6, i64 0, !15, i64 8}
!26 = !{!10, !12, i64 8}
!27 = !{!10, !12, i64 16}
!28 = !{!10, !12, i64 24}
!29 = !{!10, !12, i64 40}
!30 = !{!10, !12, i64 48}
!31 = !{!10, !12, i64 56}
!32 = !{!10, !12, i64 64}


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

%"struct.std::_Bit_reference" = type { ptr, i64 }

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

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

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40), i64 noundef) local_unnamed_addr #1 align 2

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN9elabtsaot4Atom9calibrateERKS0_(ptr noundef nonnull align 8 dereferenceable(392) %0, ptr noundef nonnull align 8 dereferenceable(392) %1) local_unnamed_addr #1 align 2 {
  %3 = alloca %"struct.std::_Bit_reference", align 8
  %4 = alloca %"struct.std::_Bit_reference", align 8
  %5 = alloca %"struct.std::_Bit_reference", align 8
  %6 = alloca %"struct.std::_Bit_reference", align 8
  %7 = alloca %"struct.std::_Bit_reference", align 8
  %8 = alloca %"struct.std::_Bit_reference", align 8
  %9 = alloca %"struct.std::_Bit_reference", align 8
  %10 = alloca %"struct.std::_Bit_reference", align 8
  %11 = load <2 x double>, ptr %1, align 8, !tbaa !5
  store <2 x double> %11, ptr %0, align 8, !tbaa !5
  %12 = getelementptr inbounds i8, ptr %1, i64 16
  %13 = getelementptr inbounds i8, ptr %0, i64 16
  %14 = load <2 x double>, ptr %12, align 8, !tbaa !5
  store <2 x double> %14, ptr %13, align 8, !tbaa !5
  %15 = getelementptr inbounds i8, ptr %1, i64 40
  %16 = getelementptr inbounds i8, ptr %0, i64 40
  %17 = load <2 x double>, ptr %15, align 8, !tbaa !5
  store <2 x double> %17, ptr %16, align 8, !tbaa !5
  %18 = getelementptr inbounds i8, ptr %1, i64 56
  %19 = getelementptr inbounds i8, ptr %0, i64 56
  %20 = load <2 x double>, ptr %18, align 8, !tbaa !5
  store <2 x double> %20, ptr %19, align 8, !tbaa !5
  %21 = tail call noundef double @_ZNK9elabtsaot4Node20real_pot_current_rabEv(ptr noundef nonnull align 8 dereferenceable(304) %1)
  %22 = tail call noundef i32 @_ZN9elabtsaot4Node24set_real_pot_current_rabEdb(ptr noundef nonnull align 8 dereferenceable(304) %0, double noundef %21, i1 noundef zeroext true)
  %23 = tail call noundef double @_ZNK9elabtsaot4Node20imag_pot_current_rabEv(ptr noundef nonnull align 8 dereferenceable(304) %1)
  %24 = tail call noundef i32 @_ZN9elabtsaot4Node24set_imag_pot_current_rabEdb(ptr noundef nonnull align 8 dereferenceable(304) %0, double noundef %23, i1 noundef zeroext true)
  %25 = tail call noundef double @_ZNK9elabtsaot4Node19real_pot_current_rwEv(ptr noundef nonnull align 8 dereferenceable(304) %1)
  %26 = tail call noundef i32 @_ZN9elabtsaot4Node23set_real_pot_current_rwEdb(ptr noundef nonnull align 8 dereferenceable(304) %0, double noundef %25, i1 noundef zeroext true)
  %27 = tail call noundef double @_ZNK9elabtsaot4Node19imag_pot_current_rwEv(ptr noundef nonnull align 8 dereferenceable(304) %1)
  %28 = tail call noundef i32 @_ZN9elabtsaot4Node23set_imag_pot_current_rwEdb(ptr noundef nonnull align 8 dereferenceable(304) %0, double noundef %27, i1 noundef zeroext true)
  %29 = tail call noundef double @_ZNK9elabtsaot4Node23real_pot_resistance_rabEv(ptr noundef nonnull align 8 dereferenceable(304) %1)
  %30 = tail call noundef i32 @_ZN9elabtsaot4Node27set_real_pot_resistance_rabEdb(ptr noundef nonnull align 8 dereferenceable(304) %0, double noundef %29, i1 noundef zeroext true)
  %31 = tail call noundef double @_ZNK9elabtsaot4Node23imag_pot_resistance_rabEv(ptr noundef nonnull align 8 dereferenceable(304) %1)
  %32 = tail call noundef i32 @_ZN9elabtsaot4Node27set_imag_pot_resistance_rabEdb(ptr noundef nonnull align 8 dereferenceable(304) %0, double noundef %31, i1 noundef zeroext true)
  %33 = tail call noundef double @_ZNK9elabtsaot4Node22real_pot_resistance_rwEv(ptr noundef nonnull align 8 dereferenceable(304) %1)
  %34 = tail call noundef i32 @_ZN9elabtsaot4Node26set_real_pot_resistance_rwEdb(ptr noundef nonnull align 8 dereferenceable(304) %0, double noundef %33, i1 noundef zeroext true)
  %35 = tail call noundef double @_ZNK9elabtsaot4Node22imag_pot_resistance_rwEv(ptr noundef nonnull align 8 dereferenceable(304) %1)
  %36 = tail call noundef i32 @_ZN9elabtsaot4Node26set_imag_pot_resistance_rwEdb(ptr noundef nonnull align 8 dereferenceable(304) %0, double noundef %35, i1 noundef zeroext true)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %3) #4
  %37 = getelementptr inbounds i8, ptr %0, i64 352
  %38 = tail call { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %37, i64 noundef 0)
  %39 = extractvalue { ptr, i64 } %38, 0
  store ptr %39, ptr %3, align 8
  %40 = getelementptr inbounds i8, ptr %3, i64 8
  %41 = extractvalue { ptr, i64 } %38, 1
  store i64 %41, ptr %40, align 8
  %42 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %3) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %3) #4
  br i1 %42, label %43, label %80

43:                                               ; preds = %2
  %44 = getelementptr inbounds i8, ptr %0, i64 304
  %45 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %44, i64 noundef 0) #4
  %46 = getelementptr inbounds i8, ptr %1, i64 304
  %47 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %46, i64 noundef 0) #4
  %48 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %47)
  %49 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %45, double noundef %48, i1 noundef zeroext true)
  %50 = getelementptr inbounds i8, ptr %0, i64 328
  %51 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %50, i64 noundef 0) #4
  %52 = getelementptr inbounds i8, ptr %1, i64 328
  %53 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %52, i64 noundef 0) #4
  %54 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %53)
  %55 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %51, double noundef %54, i1 noundef zeroext true)
  %56 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %44, i64 noundef 0) #4
  %57 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %46, i64 noundef 0) #4
  %58 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %57)
  %59 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %56, double noundef %58, i1 noundef zeroext true)
  %60 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %50, i64 noundef 0) #4
  %61 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %52, i64 noundef 0) #4
  %62 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %61)
  %63 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %60, double noundef %62, i1 noundef zeroext true)
  %64 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %44, i64 noundef 0) #4
  %65 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %46, i64 noundef 0) #4
  %66 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %65)
  %67 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %64, double noundef %66, i1 noundef zeroext true)
  %68 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %50, i64 noundef 0) #4
  %69 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %52, i64 noundef 0) #4
  %70 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %69)
  %71 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %68, double noundef %70, i1 noundef zeroext true)
  %72 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %44, i64 noundef 0) #4
  %73 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %46, i64 noundef 0) #4
  %74 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %73)
  %75 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %72, double noundef %74, i1 noundef zeroext true)
  %76 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %50, i64 noundef 0) #4
  %77 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %52, i64 noundef 0) #4
  %78 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %77)
  %79 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %76, double noundef %78, i1 noundef zeroext true)
  br label %80

80:                                               ; preds = %43, %2
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %4) #4
  %81 = call { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %37, i64 noundef 1)
  %82 = extractvalue { ptr, i64 } %81, 0
  store ptr %82, ptr %4, align 8
  %83 = getelementptr inbounds i8, ptr %4, i64 8
  %84 = extractvalue { ptr, i64 } %81, 1
  store i64 %84, ptr %83, align 8
  %85 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %4) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %4) #4
  br i1 %85, label %86, label %123

86:                                               ; preds = %80
  %87 = getelementptr inbounds i8, ptr %0, i64 304
  %88 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %87, i64 noundef 1) #4
  %89 = getelementptr inbounds i8, ptr %1, i64 304
  %90 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %89, i64 noundef 1) #4
  %91 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %90)
  %92 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %88, double noundef %91, i1 noundef zeroext true)
  %93 = getelementptr inbounds i8, ptr %0, i64 328
  %94 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %93, i64 noundef 1) #4
  %95 = getelementptr inbounds i8, ptr %1, i64 328
  %96 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %95, i64 noundef 1) #4
  %97 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %96)
  %98 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %94, double noundef %97, i1 noundef zeroext true)
  %99 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %87, i64 noundef 1) #4
  %100 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %89, i64 noundef 1) #4
  %101 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %100)
  %102 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %99, double noundef %101, i1 noundef zeroext true)
  %103 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %93, i64 noundef 1) #4
  %104 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %95, i64 noundef 1) #4
  %105 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %104)
  %106 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %103, double noundef %105, i1 noundef zeroext true)
  %107 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %87, i64 noundef 1) #4
  %108 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %89, i64 noundef 1) #4
  %109 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %108)
  %110 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %107, double noundef %109, i1 noundef zeroext true)
  %111 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %93, i64 noundef 1) #4
  %112 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %95, i64 noundef 1) #4
  %113 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %112)
  %114 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %111, double noundef %113, i1 noundef zeroext true)
  %115 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %87, i64 noundef 1) #4
  %116 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %89, i64 noundef 1) #4
  %117 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %116)
  %118 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %115, double noundef %117, i1 noundef zeroext true)
  %119 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %93, i64 noundef 1) #4
  %120 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %95, i64 noundef 1) #4
  %121 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %120)
  %122 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %119, double noundef %121, i1 noundef zeroext true)
  br label %123

123:                                              ; preds = %86, %80
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %5) #4
  %124 = call { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %37, i64 noundef 2)
  %125 = extractvalue { ptr, i64 } %124, 0
  store ptr %125, ptr %5, align 8
  %126 = getelementptr inbounds i8, ptr %5, i64 8
  %127 = extractvalue { ptr, i64 } %124, 1
  store i64 %127, ptr %126, align 8
  %128 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %5) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %5) #4
  br i1 %128, label %129, label %166

129:                                              ; preds = %123
  %130 = getelementptr inbounds i8, ptr %0, i64 304
  %131 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %130, i64 noundef 2) #4
  %132 = getelementptr inbounds i8, ptr %1, i64 304
  %133 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %132, i64 noundef 2) #4
  %134 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %133)
  %135 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %131, double noundef %134, i1 noundef zeroext true)
  %136 = getelementptr inbounds i8, ptr %0, i64 328
  %137 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %136, i64 noundef 2) #4
  %138 = getelementptr inbounds i8, ptr %1, i64 328
  %139 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %138, i64 noundef 2) #4
  %140 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %139)
  %141 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %137, double noundef %140, i1 noundef zeroext true)
  %142 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %130, i64 noundef 2) #4
  %143 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %132, i64 noundef 2) #4
  %144 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %143)
  %145 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %142, double noundef %144, i1 noundef zeroext true)
  %146 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %136, i64 noundef 2) #4
  %147 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %138, i64 noundef 2) #4
  %148 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %147)
  %149 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %146, double noundef %148, i1 noundef zeroext true)
  %150 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %130, i64 noundef 2) #4
  %151 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %132, i64 noundef 2) #4
  %152 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %151)
  %153 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %150, double noundef %152, i1 noundef zeroext true)
  %154 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %136, i64 noundef 2) #4
  %155 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %138, i64 noundef 2) #4
  %156 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %155)
  %157 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %154, double noundef %156, i1 noundef zeroext true)
  %158 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %130, i64 noundef 2) #4
  %159 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %132, i64 noundef 2) #4
  %160 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %159)
  %161 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %158, double noundef %160, i1 noundef zeroext true)
  %162 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %136, i64 noundef 2) #4
  %163 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %138, i64 noundef 2) #4
  %164 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %163)
  %165 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %162, double noundef %164, i1 noundef zeroext true)
  br label %166

166:                                              ; preds = %129, %123
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %6) #4
  %167 = call { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %37, i64 noundef 3)
  %168 = extractvalue { ptr, i64 } %167, 0
  store ptr %168, ptr %6, align 8
  %169 = getelementptr inbounds i8, ptr %6, i64 8
  %170 = extractvalue { ptr, i64 } %167, 1
  store i64 %170, ptr %169, align 8
  %171 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %6) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %6) #4
  br i1 %171, label %172, label %209

172:                                              ; preds = %166
  %173 = getelementptr inbounds i8, ptr %0, i64 304
  %174 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %173, i64 noundef 3) #4
  %175 = getelementptr inbounds i8, ptr %1, i64 304
  %176 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %175, i64 noundef 3) #4
  %177 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %176)
  %178 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %174, double noundef %177, i1 noundef zeroext true)
  %179 = getelementptr inbounds i8, ptr %0, i64 328
  %180 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %179, i64 noundef 3) #4
  %181 = getelementptr inbounds i8, ptr %1, i64 328
  %182 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %181, i64 noundef 3) #4
  %183 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %182)
  %184 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %180, double noundef %183, i1 noundef zeroext true)
  %185 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %173, i64 noundef 3) #4
  %186 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %175, i64 noundef 3) #4
  %187 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %186)
  %188 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %185, double noundef %187, i1 noundef zeroext true)
  %189 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %179, i64 noundef 3) #4
  %190 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %181, i64 noundef 3) #4
  %191 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %190)
  %192 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %189, double noundef %191, i1 noundef zeroext true)
  %193 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %173, i64 noundef 3) #4
  %194 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %175, i64 noundef 3) #4
  %195 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %194)
  %196 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %193, double noundef %195, i1 noundef zeroext true)
  %197 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %179, i64 noundef 3) #4
  %198 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %181, i64 noundef 3) #4
  %199 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %198)
  %200 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %197, double noundef %199, i1 noundef zeroext true)
  %201 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %173, i64 noundef 3) #4
  %202 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %175, i64 noundef 3) #4
  %203 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %202)
  %204 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %201, double noundef %203, i1 noundef zeroext true)
  %205 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %179, i64 noundef 3) #4
  %206 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %181, i64 noundef 3) #4
  %207 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %206)
  %208 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %205, double noundef %207, i1 noundef zeroext true)
  br label %209

209:                                              ; preds = %172, %166
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %7) #4
  %210 = call { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %37, i64 noundef 4)
  %211 = extractvalue { ptr, i64 } %210, 0
  store ptr %211, ptr %7, align 8
  %212 = getelementptr inbounds i8, ptr %7, i64 8
  %213 = extractvalue { ptr, i64 } %210, 1
  store i64 %213, ptr %212, align 8
  %214 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %7) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %7) #4
  br i1 %214, label %215, label %252

215:                                              ; preds = %209
  %216 = getelementptr inbounds i8, ptr %0, i64 304
  %217 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %216, i64 noundef 4) #4
  %218 = getelementptr inbounds i8, ptr %1, i64 304
  %219 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %218, i64 noundef 4) #4
  %220 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %219)
  %221 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %217, double noundef %220, i1 noundef zeroext true)
  %222 = getelementptr inbounds i8, ptr %0, i64 328
  %223 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %222, i64 noundef 4) #4
  %224 = getelementptr inbounds i8, ptr %1, i64 328
  %225 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %224, i64 noundef 4) #4
  %226 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %225)
  %227 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %223, double noundef %226, i1 noundef zeroext true)
  %228 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %216, i64 noundef 4) #4
  %229 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %218, i64 noundef 4) #4
  %230 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %229)
  %231 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %228, double noundef %230, i1 noundef zeroext true)
  %232 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %222, i64 noundef 4) #4
  %233 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %224, i64 noundef 4) #4
  %234 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %233)
  %235 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %232, double noundef %234, i1 noundef zeroext true)
  %236 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %216, i64 noundef 4) #4
  %237 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %218, i64 noundef 4) #4
  %238 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %237)
  %239 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %236, double noundef %238, i1 noundef zeroext true)
  %240 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %222, i64 noundef 4) #4
  %241 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %224, i64 noundef 4) #4
  %242 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %241)
  %243 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %240, double noundef %242, i1 noundef zeroext true)
  %244 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %216, i64 noundef 4) #4
  %245 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %218, i64 noundef 4) #4
  %246 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %245)
  %247 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %244, double noundef %246, i1 noundef zeroext true)
  %248 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %222, i64 noundef 4) #4
  %249 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %224, i64 noundef 4) #4
  %250 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %249)
  %251 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %248, double noundef %250, i1 noundef zeroext true)
  br label %252

252:                                              ; preds = %215, %209
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %8) #4
  %253 = call { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %37, i64 noundef 5)
  %254 = extractvalue { ptr, i64 } %253, 0
  store ptr %254, ptr %8, align 8
  %255 = getelementptr inbounds i8, ptr %8, i64 8
  %256 = extractvalue { ptr, i64 } %253, 1
  store i64 %256, ptr %255, align 8
  %257 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %8) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %8) #4
  br i1 %257, label %258, label %295

258:                                              ; preds = %252
  %259 = getelementptr inbounds i8, ptr %0, i64 304
  %260 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %259, i64 noundef 5) #4
  %261 = getelementptr inbounds i8, ptr %1, i64 304
  %262 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %261, i64 noundef 5) #4
  %263 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %262)
  %264 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %260, double noundef %263, i1 noundef zeroext true)
  %265 = getelementptr inbounds i8, ptr %0, i64 328
  %266 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %265, i64 noundef 5) #4
  %267 = getelementptr inbounds i8, ptr %1, i64 328
  %268 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %267, i64 noundef 5) #4
  %269 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %268)
  %270 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %266, double noundef %269, i1 noundef zeroext true)
  %271 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %259, i64 noundef 5) #4
  %272 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %261, i64 noundef 5) #4
  %273 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %272)
  %274 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %271, double noundef %273, i1 noundef zeroext true)
  %275 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %265, i64 noundef 5) #4
  %276 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %267, i64 noundef 5) #4
  %277 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %276)
  %278 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %275, double noundef %277, i1 noundef zeroext true)
  %279 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %259, i64 noundef 5) #4
  %280 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %261, i64 noundef 5) #4
  %281 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %280)
  %282 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %279, double noundef %281, i1 noundef zeroext true)
  %283 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %265, i64 noundef 5) #4
  %284 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %267, i64 noundef 5) #4
  %285 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %284)
  %286 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %283, double noundef %285, i1 noundef zeroext true)
  %287 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %259, i64 noundef 5) #4
  %288 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %261, i64 noundef 5) #4
  %289 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %288)
  %290 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %287, double noundef %289, i1 noundef zeroext true)
  %291 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %265, i64 noundef 5) #4
  %292 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %267, i64 noundef 5) #4
  %293 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %292)
  %294 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %291, double noundef %293, i1 noundef zeroext true)
  br label %295

295:                                              ; preds = %258, %252
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %9) #4
  %296 = call { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %37, i64 noundef 6)
  %297 = extractvalue { ptr, i64 } %296, 0
  store ptr %297, ptr %9, align 8
  %298 = getelementptr inbounds i8, ptr %9, i64 8
  %299 = extractvalue { ptr, i64 } %296, 1
  store i64 %299, ptr %298, align 8
  %300 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %9) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %9) #4
  br i1 %300, label %301, label %338

301:                                              ; preds = %295
  %302 = getelementptr inbounds i8, ptr %0, i64 304
  %303 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %302, i64 noundef 6) #4
  %304 = getelementptr inbounds i8, ptr %1, i64 304
  %305 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %304, i64 noundef 6) #4
  %306 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %305)
  %307 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %303, double noundef %306, i1 noundef zeroext true)
  %308 = getelementptr inbounds i8, ptr %0, i64 328
  %309 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %308, i64 noundef 6) #4
  %310 = getelementptr inbounds i8, ptr %1, i64 328
  %311 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %310, i64 noundef 6) #4
  %312 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %311)
  %313 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %309, double noundef %312, i1 noundef zeroext true)
  %314 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %302, i64 noundef 6) #4
  %315 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %304, i64 noundef 6) #4
  %316 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %315)
  %317 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %314, double noundef %316, i1 noundef zeroext true)
  %318 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %308, i64 noundef 6) #4
  %319 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %310, i64 noundef 6) #4
  %320 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %319)
  %321 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %318, double noundef %320, i1 noundef zeroext true)
  %322 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %302, i64 noundef 6) #4
  %323 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %304, i64 noundef 6) #4
  %324 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %323)
  %325 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %322, double noundef %324, i1 noundef zeroext true)
  %326 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %308, i64 noundef 6) #4
  %327 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %310, i64 noundef 6) #4
  %328 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %327)
  %329 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %326, double noundef %328, i1 noundef zeroext true)
  %330 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %302, i64 noundef 6) #4
  %331 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %304, i64 noundef 6) #4
  %332 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %331)
  %333 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %330, double noundef %332, i1 noundef zeroext true)
  %334 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %308, i64 noundef 6) #4
  %335 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %310, i64 noundef 6) #4
  %336 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %335)
  %337 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %334, double noundef %336, i1 noundef zeroext true)
  br label %338

338:                                              ; preds = %301, %295
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %10) #4
  %339 = call { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %37, i64 noundef 7)
  %340 = extractvalue { ptr, i64 } %339, 0
  store ptr %340, ptr %10, align 8
  %341 = getelementptr inbounds i8, ptr %10, i64 8
  %342 = extractvalue { ptr, i64 } %339, 1
  store i64 %342, ptr %341, align 8
  %343 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %10) #4
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %10) #4
  br i1 %343, label %344, label %381

344:                                              ; preds = %338
  %345 = getelementptr inbounds i8, ptr %0, i64 304
  %346 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %345, i64 noundef 7) #4
  %347 = getelementptr inbounds i8, ptr %1, i64 304
  %348 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %347, i64 noundef 7) #4
  %349 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %348)
  %350 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %346, double noundef %349, i1 noundef zeroext true)
  %351 = getelementptr inbounds i8, ptr %0, i64 328
  %352 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %351, i64 noundef 7) #4
  %353 = getelementptr inbounds i8, ptr %1, i64 328
  %354 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %353, i64 noundef 7) #4
  %355 = call noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %354)
  %356 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %352, double noundef %355, i1 noundef zeroext true)
  %357 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %345, i64 noundef 7) #4
  %358 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %347, i64 noundef 7) #4
  %359 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %358)
  %360 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %357, double noundef %359, i1 noundef zeroext true)
  %361 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %351, i64 noundef 7) #4
  %362 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %353, i64 noundef 7) #4
  %363 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120) %362)
  %364 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120) %361, double noundef %363, i1 noundef zeroext true)
  %365 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %345, i64 noundef 7) #4
  %366 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %347, i64 noundef 7) #4
  %367 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %366)
  %368 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %365, double noundef %367, i1 noundef zeroext true)
  %369 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %351, i64 noundef 7) #4
  %370 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %353, i64 noundef 7) #4
  %371 = call noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %370)
  %372 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %369, double noundef %371, i1 noundef zeroext true)
  %373 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %345, i64 noundef 7) #4
  %374 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %347, i64 noundef 7) #4
  %375 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %374)
  %376 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %373, double noundef %375, i1 noundef zeroext true)
  %377 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %351, i64 noundef 7) #4
  %378 = call noundef nonnull align 8 dereferenceable(120) ptr @_ZNKSt6vectorIN9elabtsaot14EmulatorBranchESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %353, i64 noundef 7) #4
  %379 = call noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120) %378)
  %380 = call noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120) %377, double noundef %379, i1 noundef zeroext true)
  br label %381

381:                                              ; preds = %344, %338
  ret void
}

declare noundef i32 @_ZN9elabtsaot4Node24set_real_pot_current_rabEdb(ptr noundef nonnull align 8 dereferenceable(304), double noundef, i1 noundef zeroext) local_unnamed_addr #3

declare noundef double @_ZNK9elabtsaot4Node20real_pot_current_rabEv(ptr noundef nonnull align 8 dereferenceable(304)) local_unnamed_addr #3

declare noundef i32 @_ZN9elabtsaot4Node24set_imag_pot_current_rabEdb(ptr noundef nonnull align 8 dereferenceable(304), double noundef, i1 noundef zeroext) local_unnamed_addr #3

declare noundef double @_ZNK9elabtsaot4Node20imag_pot_current_rabEv(ptr noundef nonnull align 8 dereferenceable(304)) local_unnamed_addr #3

declare noundef i32 @_ZN9elabtsaot4Node23set_real_pot_current_rwEdb(ptr noundef nonnull align 8 dereferenceable(304), double noundef, i1 noundef zeroext) local_unnamed_addr #3

declare noundef double @_ZNK9elabtsaot4Node19real_pot_current_rwEv(ptr noundef nonnull align 8 dereferenceable(304)) local_unnamed_addr #3

declare noundef i32 @_ZN9elabtsaot4Node23set_imag_pot_current_rwEdb(ptr noundef nonnull align 8 dereferenceable(304), double noundef, i1 noundef zeroext) local_unnamed_addr #3

declare noundef double @_ZNK9elabtsaot4Node19imag_pot_current_rwEv(ptr noundef nonnull align 8 dereferenceable(304)) local_unnamed_addr #3

declare noundef i32 @_ZN9elabtsaot4Node27set_real_pot_resistance_rabEdb(ptr noundef nonnull align 8 dereferenceable(304), double noundef, i1 noundef zeroext) local_unnamed_addr #3

declare noundef double @_ZNK9elabtsaot4Node23real_pot_resistance_rabEv(ptr noundef nonnull align 8 dereferenceable(304)) local_unnamed_addr #3

declare noundef i32 @_ZN9elabtsaot4Node27set_imag_pot_resistance_rabEdb(ptr noundef nonnull align 8 dereferenceable(304), double noundef, i1 noundef zeroext) local_unnamed_addr #3

declare noundef double @_ZNK9elabtsaot4Node23imag_pot_resistance_rabEv(ptr noundef nonnull align 8 dereferenceable(304)) local_unnamed_addr #3

declare noundef i32 @_ZN9elabtsaot4Node26set_real_pot_resistance_rwEdb(ptr noundef nonnull align 8 dereferenceable(304), double noundef, i1 noundef zeroext) local_unnamed_addr #3

declare noundef double @_ZNK9elabtsaot4Node22real_pot_resistance_rwEv(ptr noundef nonnull align 8 dereferenceable(304)) local_unnamed_addr #3

declare noundef i32 @_ZN9elabtsaot4Node26set_imag_pot_resistance_rwEdb(ptr noundef nonnull align 8 dereferenceable(304), double noundef, i1 noundef zeroext) local_unnamed_addr #3

declare noundef double @_ZNK9elabtsaot4Node22imag_pot_resistance_rwEv(ptr noundef nonnull align 8 dereferenceable(304)) local_unnamed_addr #3

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #2 align 2

declare noundef i32 @_ZN9elabtsaot14EmulatorBranch16set_pot_near_rabEdb(ptr noundef nonnull align 8 dereferenceable(120), double noundef, i1 noundef zeroext) local_unnamed_addr #3

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

declare noundef double @_ZNK9elabtsaot14EmulatorBranch12pot_near_rabEv(ptr noundef nonnull align 8 dereferenceable(120)) local_unnamed_addr #3

declare noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_far_rabEdb(ptr noundef nonnull align 8 dereferenceable(120), double noundef, i1 noundef zeroext) local_unnamed_addr #3

declare noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_far_rabEv(ptr noundef nonnull align 8 dereferenceable(120)) local_unnamed_addr #3

declare noundef i32 @_ZN9elabtsaot14EmulatorBranch15set_pot_near_rwEdb(ptr noundef nonnull align 8 dereferenceable(120), double noundef, i1 noundef zeroext) local_unnamed_addr #3

declare noundef double @_ZNK9elabtsaot14EmulatorBranch11pot_near_rwEv(ptr noundef nonnull align 8 dereferenceable(120)) local_unnamed_addr #3

declare noundef i32 @_ZN9elabtsaot14EmulatorBranch14set_pot_far_rwEdb(ptr noundef nonnull align 8 dereferenceable(120), double noundef, i1 noundef zeroext) local_unnamed_addr #3

declare noundef double @_ZNK9elabtsaot14EmulatorBranch10pot_far_rwEv(ptr noundef nonnull align 8 dereferenceable(120)) local_unnamed_addr #3

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
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" }
attributes #3 = { "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 = !{!"double", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}


; Effective O3 passes: EarlyCSEPass,GlobalOptPass,InferFunctionAttrsPass,InstCombinePass,SLPVectorizerPass,SROAPass,TailCallElimPass