; LLVM IR from maliput/maliput :: src/maliput/base (distance_router)

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

%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<maliput::routing::Route, std::allocator<maliput::routing::Route>>::_Vector_impl" }
%"struct.std::_Vector_base<maliput::routing::Route, std::allocator<maliput::routing::Route>>::_Vector_impl" = type { %"struct.std::_Vector_base<maliput::routing::Route, std::allocator<maliput::routing::Route>>::_Vector_impl_data" }
%"struct.std::_Vector_base<maliput::routing::Route, std::allocator<maliput::routing::Route>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.maliput::api::TypeSpecificIdentifier" = type { %"class.std::__cxx11::basic_string" }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"class.std::optional.101" = type { %"struct.std::_Optional_base.102" }
%"struct.std::_Optional_base.102" = type { %"struct.std::_Optional_payload.104" }
%"struct.std::_Optional_payload.104" = type { %"struct.std::_Optional_payload.base.118", [7 x i8] }
%"struct.std::_Optional_payload.base.118" = type { %"struct.std::_Optional_payload_base.base.117" }
%"struct.std::_Optional_payload_base.base.117" = type <{ %"union.std::_Optional_payload_base<maliput::routing::graph::Node>::_Storage", i8 }>
%"union.std::_Optional_payload_base<maliput::routing::graph::Node>::_Storage" = type { %"struct.maliput::routing::graph::Node" }
%"struct.maliput::routing::graph::Node" = type { %"class.maliput::api::TypeSpecificIdentifier.107", %"class.std::set", %"class.std::set.111" }
%"class.maliput::api::TypeSpecificIdentifier.107" = type { %"class.std::__cxx11::basic_string" }
%"class.std::set" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<const maliput::api::BranchPoint *, const maliput::api::BranchPoint *, std::_Identity<const maliput::api::BranchPoint *>, std::less<const maliput::api::BranchPoint *>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<const maliput::api::BranchPoint *, const maliput::api::BranchPoint *, std::_Identity<const maliput::api::BranchPoint *>, std::less<const maliput::api::BranchPoint *>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%"class.std::set.111" = type { %"class.std::_Rb_tree.112" }
%"class.std::_Rb_tree.112" = type { %"struct.std::_Rb_tree<maliput::api::TypeSpecificIdentifier<maliput::routing::graph::Edge>, maliput::api::TypeSpecificIdentifier<maliput::routing::graph::Edge>, std::_Identity<maliput::api::TypeSpecificIdentifier<maliput::routing::graph::Edge>>, std::less<maliput::api::TypeSpecificIdentifier<maliput::routing::graph::Edge>>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<maliput::api::TypeSpecificIdentifier<maliput::routing::graph::Edge>, maliput::api::TypeSpecificIdentifier<maliput::routing::graph::Edge>, std::_Identity<maliput::api::TypeSpecificIdentifier<maliput::routing::graph::Edge>>, std::less<maliput::api::TypeSpecificIdentifier<maliput::routing::graph::Edge>>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"class.std::vector.121" = type { %"struct.std::_Vector_base.122" }
%"struct.std::_Vector_base.122" = type { %"struct.std::_Vector_base<std::vector<maliput::routing::graph::Edge>, std::allocator<std::vector<maliput::routing::graph::Edge>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::vector<maliput::routing::graph::Edge>, std::allocator<std::vector<maliput::routing::graph::Edge>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::vector<maliput::routing::graph::Edge>, std::allocator<std::vector<maliput::routing::graph::Edge>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::vector<maliput::routing::graph::Edge>, std::allocator<std::vector<maliput::routing::graph::Edge>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%"class.std::vector.131" = type { %"struct.std::_Vector_base.132" }
%"struct.std::_Vector_base.132" = type { %"struct.std::_Vector_base<maliput::routing::Phase, std::allocator<maliput::routing::Phase>>::_Vector_impl" }
%"struct.std::_Vector_base<maliput::routing::Phase, std::allocator<maliput::routing::Phase>>::_Vector_impl" = type { %"struct.std::_Vector_base<maliput::routing::Phase, std::allocator<maliput::routing::Phase>>::_Vector_impl_data" }
%"struct.std::_Vector_base<maliput::routing::Phase, std::allocator<maliput::routing::Phase>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::initializer_list" = type { ptr, i64 }
%"class.maliput::routing::Phase" = type { i32, double, %"class.std::vector.136", %"class.std::vector.136", %"class.std::vector.141", ptr }
%"class.std::vector.136" = type { %"struct.std::_Vector_base.137" }
%"struct.std::_Vector_base.137" = type { %"struct.std::_Vector_base<maliput::api::RoadPosition, std::allocator<maliput::api::RoadPosition>>::_Vector_impl" }
%"struct.std::_Vector_base<maliput::api::RoadPosition, std::allocator<maliput::api::RoadPosition>>::_Vector_impl" = type { %"struct.std::_Vector_base<maliput::api::RoadPosition, std::allocator<maliput::api::RoadPosition>>::_Vector_impl_data" }
%"struct.std::_Vector_base<maliput::api::RoadPosition, std::allocator<maliput::api::RoadPosition>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.141" = type { %"struct.std::_Vector_base.142" }
%"struct.std::_Vector_base.142" = type { %"struct.std::_Vector_base<maliput::api::LaneSRange, std::allocator<maliput::api::LaneSRange>>::_Vector_impl" }
%"struct.std::_Vector_base<maliput::api::LaneSRange, std::allocator<maliput::api::LaneSRange>>::_Vector_impl" = type { %"struct.std::_Vector_base<maliput::api::LaneSRange, std::allocator<maliput::api::LaneSRange>>::_Vector_impl_data" }
%"struct.std::_Vector_base<maliput::api::LaneSRange, std::allocator<maliput::api::LaneSRange>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::initializer_list.147" = type { ptr, i64 }
%"struct.maliput::api::RoadPosition" = type { ptr, %"class.maliput::api::LanePosition" }
%"class.maliput::api::LanePosition" = type { %"class.maliput::math::Vector3" }
%"class.maliput::math::Vector3" = type { %"class.maliput::math::VectorBase" }
%"class.maliput::math::VectorBase" = type { %"struct.std::array" }
%"struct.std::array" = type { [3 x double] }
%"class.std::allocator.138" = type { i8 }
%"class.std::allocator.133" = type { i8 }
%"class.std::optional.167" = type { %"struct.std::_Optional_base.168" }
%"struct.std::_Optional_base.168" = type { %"struct.std::_Optional_payload.170" }
%"struct.std::_Optional_payload.170" = type { %"struct.std::_Optional_payload_base.base.172", [3 x i8] }
%"struct.std::_Optional_payload_base.base.172" = type <{ %"union.std::_Optional_payload_base<maliput::api::LaneEnd::Which>::_Storage", i8 }>
%"union.std::_Optional_payload_base<maliput::api::LaneEnd::Which>::_Storage" = type { i32 }
%"class.maliput::DistanceRouter" = type { %"class.maliput::routing::Router", ptr, double, %"struct.maliput::routing::graph::Graph" }
%"class.maliput::routing::Router" = type { ptr }
%"struct.maliput::routing::graph::Graph" = type { %"class.std::unordered_map", %"class.std::unordered_map.2" }
%"class.std::unordered_map" = type { %"class.std::_Hashtable" }
%"class.std::_Hashtable" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%"struct.std::__detail::_Hash_node_base" = type { ptr }
%"struct.std::__detail::_Prime_rehash_policy" = type { float, i64 }
%"class.std::unordered_map.2" = type { %"class.std::_Hashtable.3" }
%"class.std::_Hashtable.3" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }

@.str.1 = external hidden unnamed_addr constant [85 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [22 x i8], align 1
@__func__._ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE = external hidden unnamed_addr constant [16 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [78 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [74 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [28 x i8], align 1

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZNK7maliput3api11RoadNetwork13road_geometryEv(ptr noundef nonnull align 8 dereferenceable(88)) #0 align 2

declare i32 @__gxx_personality_v0(...)

; Function Attrs: noreturn
declare void @_ZN7maliput6common8internal5ThrowEPKcS3_S3_i(ptr noundef, ptr noundef, ptr noundef, i32 noundef) #1

; Function Attrs: mustprogress uwtable
define dso_local void @_ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE(ptr dead_on_unwind noalias writable sret(%"class.std::vector") align 8 %0, ptr noundef nonnull align 8 dereferenceable(136) %1, ptr noundef nonnull align 8 dereferenceable(32) %2, ptr noundef nonnull align 8 dereferenceable(32) %3, ptr noundef nonnull align 8 dereferenceable(40) %4) unnamed_addr #2 align 2 personality ptr @__gxx_personality_v0 {
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca %"class.maliput::api::TypeSpecificIdentifier", align 8
  %12 = alloca ptr, align 8
  %13 = alloca i32, align 4
  %14 = alloca %"class.maliput::api::TypeSpecificIdentifier", align 8
  %15 = alloca %"class.std::optional.101", align 8
  %16 = alloca i32, align 4
  %17 = alloca %"class.std::optional.101", align 8
  %18 = alloca i32, align 4
  %19 = alloca %"class.std::vector.121", align 8
  %20 = alloca %"class.std::vector.121", align 8
  %21 = alloca i1, align 1
  %22 = alloca ptr, align 8
  %23 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %24 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %25 = alloca i32, align 4
  %26 = alloca ptr, align 8
  %27 = alloca %"class.std::vector.131", align 8
  %28 = alloca %"class.std::initializer_list", align 8
  %29 = alloca [1 x %"class.maliput::routing::Phase"], align 8
  %30 = alloca ptr, align 8
  %31 = alloca %"class.std::vector.136", align 8
  %32 = alloca %"class.std::initializer_list.147", align 8
  %33 = alloca [1 x %"struct.maliput::api::RoadPosition"], align 8
  %34 = alloca %"class.std::allocator.138", align 1
  %35 = alloca %"class.std::vector.136", align 8
  %36 = alloca %"class.std::initializer_list.147", align 8
  %37 = alloca [1 x %"struct.maliput::api::RoadPosition"], align 8
  %38 = alloca %"class.std::allocator.138", align 1
  %39 = alloca i1, align 1
  %40 = alloca %"class.std::allocator.133", align 1
  %41 = alloca ptr, align 8
  %42 = alloca %"class.std::vector.131", align 8
  %43 = alloca i32, align 4
  %44 = alloca ptr, align 8
  %45 = alloca %"class.std::optional.167", align 4
  %46 = alloca %"class.maliput::routing::Phase", align 8
  %47 = alloca %"class.std::vector.136", align 8
  %48 = alloca %"class.std::initializer_list.147", align 8
  %49 = alloca [1 x %"struct.maliput::api::RoadPosition"], align 8
  %50 = alloca %"class.std::allocator.138", align 1
  %51 = alloca %"class.std::vector.136", align 8
  %52 = alloca %"class.std::optional.167", align 4
  %53 = alloca %"class.maliput::routing::Phase", align 8
  %54 = alloca %"class.std::vector.136", align 8
  %55 = alloca %"class.std::vector.136", align 8
  %56 = alloca %"class.std::initializer_list.147", align 8
  %57 = alloca [1 x %"struct.maliput::api::RoadPosition"], align 8
  %58 = alloca %"class.std::allocator.138", align 1
  %59 = alloca %"class.std::optional.167", align 4
  %60 = alloca %"class.std::optional.167", align 4
  %61 = alloca %"class.maliput::routing::Phase", align 8
  %62 = alloca %"class.std::vector.136", align 8
  %63 = alloca %"class.std::vector.136", align 8
  %64 = alloca ptr, align 8
  %65 = alloca %"class.std::vector", align 8
  store ptr %0, ptr %6, align 8
  store ptr %1, ptr %7, align 8, !tbaa !5
  store ptr %2, ptr %8, align 8, !tbaa !5
  store ptr %3, ptr %9, align 8, !tbaa !5
  store ptr %4, ptr %10, align 8, !tbaa !5
  %66 = load ptr, ptr %7, align 8
  br label %67

67:                                               ; preds = %5
  %68 = load ptr, ptr %8, align 8, !tbaa !5
  %69 = getelementptr inbounds %"struct.maliput::api::RoadPosition", ptr %68, i32 0, i32 0
  %70 = load ptr, ptr %69, align 8, !tbaa !9
  %71 = icmp ne ptr %70, null
  br i1 %71, label %73, label %72

72:                                               ; preds = %67
  call void @_ZN7maliput6common8internal5ThrowEPKcS3_S3_i(ptr noundef @.str.2, ptr noundef @__func__._ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE, ptr noundef @.str.1, i32 noundef 343) #7
  unreachable

73:                                               ; preds = %67
  br label %74

74:                                               ; preds = %73
  br label %75

75:                                               ; preds = %74
  %76 = getelementptr inbounds %"class.maliput::DistanceRouter", ptr %66, i32 0, i32 1
  %77 = load ptr, ptr %76, align 8, !tbaa !15
  %78 = call noundef ptr @_ZNK7maliput3api11RoadNetwork13road_geometryEv(ptr noundef nonnull align 8 dereferenceable(88) %77)
  %79 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK7maliput3api12RoadGeometry4ByIdEv(ptr noundef nonnull align 8 dereferenceable(8) %78)
  call void @llvm.lifetime.start.p0(i64 32, ptr %11) #8
  %80 = load ptr, ptr %8, align 8, !tbaa !5
  %81 = getelementptr inbounds %"struct.maliput::api::RoadPosition", ptr %80, i32 0, i32 0
  %82 = load ptr, ptr %81, align 8, !tbaa !9
  call void @_ZNK7maliput3api4Lane2idEv(ptr dead_on_unwind writable sret(%"class.maliput::api::TypeSpecificIdentifier") align 8 %11, ptr noundef nonnull align 8 dereferenceable(8) %82)
  %83 = invoke noundef ptr @_ZNK7maliput3api12RoadGeometry7IdIndex7GetLaneERKNS0_22TypeSpecificIdentifierINS0_4LaneEEE(ptr noundef nonnull align 8 dereferenceable(8) %79, ptr noundef nonnull align 8 dereferenceable(32) %11)
          to label %84 unwind label %91

84:                                               ; preds = %75
  %85 = load ptr, ptr %8, align 8, !tbaa !5
  %86 = getelementptr inbounds %"struct.maliput::api::RoadPosition", ptr %85, i32 0, i32 0
  %87 = load ptr, ptr %86, align 8, !tbaa !9
  %88 = icmp eq ptr %83, %87
  %89 = xor i1 %88, true
  call void @_ZN7maliput3api22TypeSpecificIdentifierINS0_4LaneEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr %11) #8
  br i1 %89, label %90, label %95

90:                                               ; preds = %84
  call void @_ZN7maliput6common8internal5ThrowEPKcS3_S3_i(ptr noundef @.str.3, ptr noundef @__func__._ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE, ptr noundef @.str.1, i32 noundef 344) #7
  unreachable

91:                                               ; preds = %75
  %92 = landingpad { ptr, i32 }
          cleanup
  %93 = extractvalue { ptr, i32 } %92, 0
  store ptr %93, ptr %12, align 8
  %94 = extractvalue { ptr, i32 } %92, 1
  store i32 %94, ptr %13, align 4
  call void @_ZN7maliput3api22TypeSpecificIdentifierINS0_4LaneEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr %11) #8
  br label %572

95:                                               ; preds = %84
  br label %96

96:                                               ; preds = %95
  br label %97

97:                                               ; preds = %96
  %98 = load ptr, ptr %9, align 8, !tbaa !5
  %99 = getelementptr inbounds %"struct.maliput::api::RoadPosition", ptr %98, i32 0, i32 0
  %100 = load ptr, ptr %99, align 8, !tbaa !9
  %101 = icmp ne ptr %100, null
  br i1 %101, label %103, label %102

102:                                              ; preds = %97
  call void @_ZN7maliput6common8internal5ThrowEPKcS3_S3_i(ptr noundef @.str.4, ptr noundef @__func__._ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE, ptr noundef @.str.1, i32 noundef 345) #7
  unreachable

103:                                              ; preds = %97
  br label %104

104:                                              ; preds = %103
  br label %105

105:                                              ; preds = %104
  %106 = getelementptr inbounds %"class.maliput::DistanceRouter", ptr %66, i32 0, i32 1
  %107 = load ptr, ptr %106, align 8, !tbaa !15
  %108 = call noundef ptr @_ZNK7maliput3api11RoadNetwork13road_geometryEv(ptr noundef nonnull align 8 dereferenceable(88) %107)
  %109 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK7maliput3api12RoadGeometry4ByIdEv(ptr noundef nonnull align 8 dereferenceable(8) %108)
  call void @llvm.lifetime.start.p0(i64 32, ptr %14) #8
  %110 = load ptr, ptr %9, align 8, !tbaa !5
  %111 = getelementptr inbounds %"struct.maliput::api::RoadPosition", ptr %110, i32 0, i32 0
  %112 = load ptr, ptr %111, align 8, !tbaa !9
  call void @_ZNK7maliput3api4Lane2idEv(ptr dead_on_unwind writable sret(%"class.maliput::api::TypeSpecificIdentifier") align 8 %14, ptr noundef nonnull align 8 dereferenceable(8) %112)
  %113 = invoke noundef ptr @_ZNK7maliput3api12RoadGeometry7IdIndex7GetLaneERKNS0_22TypeSpecificIdentifierINS0_4LaneEEE(ptr noundef nonnull align 8 dereferenceable(8) %109, ptr noundef nonnull align 8 dereferenceable(32) %14)
          to label %114 unwind label %121

114:                                              ; preds = %105
  %115 = load ptr, ptr %9, align 8, !tbaa !5
  %116 = getelementptr inbounds %"struct.maliput::api::RoadPosition", ptr %115, i32 0, i32 0
  %117 = load ptr, ptr %116, align 8, !tbaa !9
  %118 = icmp eq ptr %113, %117
  %119 = xor i1 %118, true
  call void @_ZN7maliput3api22TypeSpecificIdentifierINS0_4LaneEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr %14) #8
  br i1 %119, label %120, label %125

120:                                              ; preds = %114
  call void @_ZN7maliput6common8internal5ThrowEPKcS3_S3_i(ptr noundef @.str.5, ptr noundef @__func__._ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE, ptr noundef @.str.1, i32 noundef 346) #7
  unreachable

121:                                              ; preds = %105
  %122 = landingpad { ptr, i32 }
          cleanup
  %123 = extractvalue { ptr, i32 } %122, 0
  store ptr %123, ptr %12, align 8
  %124 = extractvalue { ptr, i32 } %122, 1
  store i32 %124, ptr %13, align 4
  call void @_ZN7maliput3api22TypeSpecificIdentifierINS0_4LaneEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr %14) #8
  br label %572

125:                                              ; preds = %114
  br label %126

126:                                              ; preds = %125
  %127 = load ptr, ptr %10, align 8, !tbaa !5
  call void @_ZN7maliput7routing26ValidateRoutingConstraintsERKNS0_18RoutingConstraintsE(ptr noundef nonnull align 8 dereferenceable(40) %127)
  call void @llvm.lifetime.start.p0(i64 136, ptr %15) #8
  %128 = getelementptr inbounds %"class.maliput::DistanceRouter", ptr %66, i32 0, i32 3
  %129 = load ptr, ptr %8, align 8, !tbaa !5
  %130 = getelementptr inbounds %"struct.maliput::api::RoadPosition", ptr %129, i32 0, i32 0
  %131 = load ptr, ptr %130, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #8
  store i32 0, ptr %16, align 4, !tbaa !28
  call void @_ZN7maliput7routing5graph8FindNodeERKNS1_5GraphERKNS_3api4LaneERKNS5_7LaneEnd5WhichE(ptr dead_on_unwind writable sret(%"class.std::optional.101") align 8 %15, ptr noundef nonnull align 8 dereferenceable(112) %128, ptr noundef nonnull align 8 dereferenceable(8) %131, ptr noundef nonnull align 4 dereferenceable(4) %16)
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #8
  call void @llvm.lifetime.start.p0(i64 136, ptr %17) #8
  %132 = getelementptr inbounds %"class.maliput::DistanceRouter", ptr %66, i32 0, i32 3
  %133 = load ptr, ptr %9, align 8, !tbaa !5
  %134 = getelementptr inbounds %"struct.maliput::api::RoadPosition", ptr %133, i32 0, i32 0
  %135 = load ptr, ptr %134, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #8
  store i32 1, ptr %18, align 4, !tbaa !28
  invoke void @_ZN7maliput7routing5graph8FindNodeERKNS1_5GraphERKNS_3api4LaneERKNS5_7LaneEnd5WhichE(ptr dead_on_unwind writable sret(%"class.std::optional.101") align 8 %17, ptr noundef nonnull align 8 dereferenceable(112) %132, ptr noundef nonnull align 8 dereferenceable(8) %135, ptr noundef nonnull align 4 dereferenceable(4) %18)
          to label %136 unwind label %141

136:                                              ; preds = %126
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #8
  br label %137

137:                                              ; preds = %136
  %138 = call noundef zeroext i1 @_ZNKSt8optionalIN7maliput7routing5graph4NodeEE9has_valueEv(ptr noundef nonnull align 8 dereferenceable(136) %15) #8
  br i1 %138, label %149, label %139

139:                                              ; preds = %137
  invoke void @_ZN7maliput6common8internal5ThrowEPKcS3_S3_i(ptr noundef @.str.6, ptr noundef @__func__._ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE, ptr noundef @.str.1, i32 noundef 354) #7
          to label %140 unwind label %145

140:                                              ; preds = %139
  unreachable

141:                                              ; preds = %126
  %142 = landingpad { ptr, i32 }
          cleanup
  %143 = extractvalue { ptr, i32 } %142, 0
  store ptr %143, ptr %12, align 8
  %144 = extractvalue { ptr, i32 } %142, 1
  store i32 %144, ptr %13, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #8
  br label %571

145:                                              ; preds = %154, %139
  %146 = landingpad { ptr, i32 }
          cleanup
  %147 = extractvalue { ptr, i32 } %146, 0
  store ptr %147, ptr %12, align 8
  %148 = extractvalue { ptr, i32 } %146, 1
  store i32 %148, ptr %13, align 4
  br label %570

149:                                              ; preds = %137
  br label %150

150:                                              ; preds = %149
  br label %151

151:                                              ; preds = %150
  br label %152

152:                                              ; preds = %151
  %153 = call noundef zeroext i1 @_ZNKSt8optionalIN7maliput7routing5graph4NodeEE9has_valueEv(ptr noundef nonnull align 8 dereferenceable(136) %17) #8
  br i1 %153, label %156, label %154

154:                                              ; preds = %152
  invoke void @_ZN7maliput6common8internal5ThrowEPKcS3_S3_i(ptr noundef @.str.7, ptr noundef @__func__._ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE, ptr noundef @.str.1, i32 noundef 355) #7
          to label %155 unwind label %145

155:                                              ; preds = %154
  unreachable

156:                                              ; preds = %152
  br label %157

157:                                              ; preds = %156
  br label %158

158:                                              ; preds = %157
  call void @llvm.lifetime.start.p0(i64 24, ptr %19) #8
  %159 = getelementptr inbounds %"class.maliput::DistanceRouter", ptr %66, i32 0, i32 3
  %160 = invoke noundef nonnull align 8 dereferenceable(128) ptr @_ZNKRSt8optionalIN7maliput7routing5graph4NodeEE5valueEv(ptr noundef nonnull align 8 dereferenceable(136) %15)
          to label %161 unwind label %179

161:                                              ; preds = %158
  %162 = invoke noundef nonnull align 8 dereferenceable(128) ptr @_ZNKRSt8optionalIN7maliput7routing5graph4NodeEE5valueEv(ptr noundef nonnull align 8 dereferenceable(136) %17)
          to label %163 unwind label %179

163:                                              ; preds = %161
  invoke void @_ZN7maliput7routing5graph20FindAllEdgeSequencesERKNS1_5GraphERKNS1_4NodeES7_(ptr dead_on_unwind writable sret(%"class.std::vector.121") align 8 %19, ptr noundef nonnull align 8 dereferenceable(112) %159, ptr noundef nonnull align 8 dereferenceable(128) %160, ptr noundef nonnull align 8 dereferenceable(128) %162)
          to label %164 unwind label %179

164:                                              ; preds = %163
  call void @llvm.lifetime.start.p0(i64 24, ptr %20) #8
  %165 = getelementptr inbounds %"class.maliput::DistanceRouter", ptr %66, i32 0, i32 3
  %166 = load ptr, ptr %8, align 8, !tbaa !5
  %167 = load ptr, ptr %9, align 8, !tbaa !5
  invoke void @_ZN7maliput12_GLOBAL__N_124MaybeAddStartAndEndEdgesERKNS_7routing5graph5GraphERKNS_3api12RoadPositionES9_RKSt6vectorISA_INS2_4EdgeESaISB_EESaISD_EE(ptr dead_on_unwind writable sret(%"class.std::vector.121") align 8 %20, ptr noundef nonnull align 8 dereferenceable(112) %165, ptr noundef nonnull align 8 dereferenceable(32) %166, ptr noundef nonnull align 8 dereferenceable(32) %167, ptr noundef nonnull align 8 dereferenceable(24) %19)
          to label %168 unwind label %183

168:                                              ; preds = %164
  %169 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IN7maliput7routing5graph4EdgeESaIS3_EESaIS5_EEaSEOS7_(ptr noundef nonnull align 8 dereferenceable(24) %19, ptr noundef nonnull align 8 dereferenceable(24) %20) #8
  call void @_ZNSt6vectorIS_IN7maliput7routing5graph4EdgeESaIS3_EESaIS5_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %20) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %20) #8
  store i1 false, ptr %21, align 1
  call void @_ZNSt6vectorIN7maliput7routing5RouteESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #8
  store ptr %19, ptr %22, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #8
  %170 = load ptr, ptr %22, align 8, !tbaa !5
  %171 = call ptr @_ZNSt6vectorIS_IN7maliput7routing5graph4EdgeESaIS3_EESaIS5_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %170) #8
  %172 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %23, i32 0, i32 0
  store ptr %171, ptr %172, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #8
  %173 = load ptr, ptr %22, align 8, !tbaa !5
  %174 = call ptr @_ZNSt6vectorIS_IN7maliput7routing5graph4EdgeESaIS3_EESaIS5_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %173) #8
  %175 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %24, i32 0, i32 0
  store ptr %174, ptr %175, align 8
  br label %176

176:                                              ; preds = %543, %168
  %177 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPSt6vectorIN7maliput7routing5graph4EdgeESaIS5_EES1_IS7_SaIS7_EEEEbRKNS_17__normal_iteratorIT_T0_EESG_(ptr noundef nonnull align 8 dereferenceable(8) %23, ptr noundef nonnull align 8 dereferenceable(8) %24) #8
  br i1 %177, label %187, label %178

178:                                              ; preds = %176
  store i32 14, ptr %25, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #8
  br label %551

179:                                              ; preds = %163, %161, %158
  %180 = landingpad { ptr, i32 }
          cleanup
  %181 = extractvalue { ptr, i32 } %180, 0
  store ptr %181, ptr %12, align 8
  %182 = extractvalue { ptr, i32 } %180, 1
  store i32 %182, ptr %13, align 4
  br label %569

183:                                              ; preds = %164
  %184 = landingpad { ptr, i32 }
          cleanup
  %185 = extractvalue { ptr, i32 } %184, 0
  store ptr %185, ptr %12, align 8
  %186 = extractvalue { ptr, i32 } %184, 1
  store i32 %186, ptr %13, align 4
  call void @llvm.lifetime.end.p0(i64 24, ptr %20) #8
  br label %568

187:                                              ; preds = %176
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #8
  %188 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPSt6vectorIN7maliput7routing5graph4EdgeESaIS5_EES1_IS7_SaIS7_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %23) #8
  store ptr %188, ptr %26, align 8, !tbaa !5
  %189 = load ptr, ptr %26, align 8, !tbaa !5
  %190 = call noundef i64 @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %189) #8
  %191 = icmp eq i64 %190, 1
  br i1 %191, label %192, label %275

192:                                              ; preds = %187
  call void @llvm.lifetime.start.p0(i64 24, ptr %27) #8
  call void @llvm.lifetime.start.p0(i64 96, ptr %29) #8
  store i1 true, ptr %39, align 1
  store ptr %29, ptr %30, align 8
  %193 = load ptr, ptr %26, align 8, !tbaa !5
  %194 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %193, i64 noundef 0) #8
  %195 = getelementptr inbounds %"class.maliput::DistanceRouter", ptr %66, i32 0, i32 2
  %196 = load double, ptr %195, align 8, !tbaa !30
  call void @llvm.lifetime.start.p0(i64 24, ptr %31) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr %33) #8
  %197 = load ptr, ptr %8, align 8, !tbaa !5
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %33, ptr align 8 %197, i64 32, i1 false)
  %198 = getelementptr inbounds %"class.std::initializer_list.147", ptr %32, i32 0, i32 0
  store ptr %33, ptr %198, align 8, !tbaa !31
  %199 = getelementptr inbounds %"class.std::initializer_list.147", ptr %32, i32 0, i32 1
  store i64 1, ptr %199, align 8, !tbaa !33
  call void @llvm.lifetime.start.p0(i64 1, ptr %34) #8
  call void @_ZNSaIN7maliput3api12RoadPositionEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %34) #8
  %200 = getelementptr inbounds { ptr, i64 }, ptr %32, i32 0, i32 0
  %201 = load ptr, ptr %200, align 8
  %202 = getelementptr inbounds { ptr, i64 }, ptr %32, i32 0, i32 1
  %203 = load i64, ptr %202, align 8
  invoke void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EEC2ESt16initializer_listIS2_ERKS3_(ptr noundef nonnull align 8 dereferenceable(24) %31, ptr %201, i64 %203, ptr noundef nonnull align 1 dereferenceable(1) %34)
          to label %204 unwind label %234

204:                                              ; preds = %192
  call void @llvm.lifetime.start.p0(i64 24, ptr %35) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr %37) #8
  %205 = load ptr, ptr %9, align 8, !tbaa !5
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %37, ptr align 8 %205, i64 32, i1 false)
  %206 = getelementptr inbounds %"class.std::initializer_list.147", ptr %36, i32 0, i32 0
  store ptr %37, ptr %206, align 8, !tbaa !31
  %207 = getelementptr inbounds %"class.std::initializer_list.147", ptr %36, i32 0, i32 1
  store i64 1, ptr %207, align 8, !tbaa !33
  call void @llvm.lifetime.start.p0(i64 1, ptr %38) #8
  call void @_ZNSaIN7maliput3api12RoadPositionEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %38) #8
  %208 = getelementptr inbounds { ptr, i64 }, ptr %36, i32 0, i32 0
  %209 = load ptr, ptr %208, align 8
  %210 = getelementptr inbounds { ptr, i64 }, ptr %36, i32 0, i32 1
  %211 = load i64, ptr %210, align 8
  invoke void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EEC2ESt16initializer_listIS2_ERKS3_(ptr noundef nonnull align 8 dereferenceable(24) %35, ptr %209, i64 %211, ptr noundef nonnull align 1 dereferenceable(1) %38)
          to label %212 unwind label %238

212:                                              ; preds = %204
  %213 = getelementptr inbounds %"class.maliput::DistanceRouter", ptr %66, i32 0, i32 1
  %214 = load ptr, ptr %213, align 8, !tbaa !15
  invoke void @_ZN7maliput12_GLOBAL__N_19MakePhaseEiRKNS_7routing5graph4EdgeEdRKSt6vectorINS_3api12RoadPositionESaIS8_EESC_RKNS7_11RoadNetworkE(ptr dead_on_unwind writable sret(%"class.maliput::routing::Phase") align 8 %29, i32 noundef 0, ptr noundef nonnull align 8 dereferenceable(104) %194, double noundef %196, ptr noundef nonnull align 8 dereferenceable(24) %31, ptr noundef nonnull align 8 dereferenceable(24) %35, ptr noundef nonnull align 8 dereferenceable(88) %214)
          to label %215 unwind label %242

215:                                              ; preds = %212
  store i1 false, ptr %39, align 1
  %216 = getelementptr inbounds %"class.std::initializer_list", ptr %28, i32 0, i32 0
  store ptr %29, ptr %216, align 8, !tbaa !34
  %217 = getelementptr inbounds %"class.std::initializer_list", ptr %28, i32 0, i32 1
  store i64 1, ptr %217, align 8, !tbaa !36
  call void @llvm.lifetime.start.p0(i64 1, ptr %40) #8
  call void @_ZNSaIN7maliput7routing5PhaseEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %40) #8
  %218 = getelementptr inbounds { ptr, i64 }, ptr %28, i32 0, i32 0
  %219 = load ptr, ptr %218, align 8
  %220 = getelementptr inbounds { ptr, i64 }, ptr %28, i32 0, i32 1
  %221 = load i64, ptr %220, align 8
  invoke void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EEC2ESt16initializer_listIS2_ERKS3_(ptr noundef nonnull align 8 dereferenceable(24) %27, ptr %219, i64 %221, ptr noundef nonnull align 1 dereferenceable(1) %40)
          to label %222 unwind label %246

222:                                              ; preds = %215
  call void @llvm.lifetime.start.p0(i64 8, ptr %41) #8
  %223 = getelementptr inbounds %"class.maliput::DistanceRouter", ptr %66, i32 0, i32 1
  %224 = load ptr, ptr %223, align 8, !tbaa !15
  store ptr %224, ptr %41, align 8, !tbaa !5
  %225 = invoke noundef nonnull align 8 dereferenceable(88) ptr @_ZNSt6vectorIN7maliput7routing5RouteESaIS2_EE12emplace_backIJS_INS1_5PhaseESaIS6_EEPKNS0_3api11RoadNetworkEEEERS2_DpOT_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(24) %27, ptr noundef nonnull align 8 dereferenceable(8) %41)
          to label %226 unwind label %250

226:                                              ; preds = %222
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #8
  call void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %27) #8
  call void @_ZNSt15__new_allocatorIN7maliput7routing5PhaseEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %40) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %40) #8
  %227 = getelementptr inbounds [1 x %"class.maliput::routing::Phase"], ptr %29, i32 0, i32 0
  %228 = getelementptr inbounds %"class.maliput::routing::Phase", ptr %227, i64 1
  br label %229

229:                                              ; preds = %229, %226
  %230 = phi ptr [ %228, %226 ], [ %231, %229 ]
  %231 = getelementptr inbounds %"class.maliput::routing::Phase", ptr %230, i64 -1
  call void @_ZN7maliput7routing5PhaseD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %231) #8
  %232 = icmp eq ptr %231, %227
  br i1 %232, label %233, label %229

233:                                              ; preds = %229
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %35) #8
  call void @_ZNSt15__new_allocatorIN7maliput3api12RoadPositionEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %38) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %38) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr %37) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %35) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %31) #8
  call void @_ZNSt15__new_allocatorIN7maliput3api12RoadPositionEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %34) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %34) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr %33) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %31) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr %29) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %27) #8
  store i32 15, ptr %25, align 4
  br label %540

234:                                              ; preds = %192
  %235 = landingpad { ptr, i32 }
          cleanup
  %236 = extractvalue { ptr, i32 } %235, 0
  store ptr %236, ptr %12, align 8
  %237 = extractvalue { ptr, i32 } %235, 1
  store i32 %237, ptr %13, align 4
  br label %264

238:                                              ; preds = %204
  %239 = landingpad { ptr, i32 }
          cleanup
  %240 = extractvalue { ptr, i32 } %239, 0
  store ptr %240, ptr %12, align 8
  %241 = extractvalue { ptr, i32 } %239, 1
  store i32 %241, ptr %13, align 4
  br label %263

242:                                              ; preds = %212
  %243 = landingpad { ptr, i32 }
          cleanup
  %244 = extractvalue { ptr, i32 } %243, 0
  store ptr %244, ptr %12, align 8
  %245 = extractvalue { ptr, i32 } %243, 1
  store i32 %245, ptr %13, align 4
  br label %262

246:                                              ; preds = %215
  %247 = landingpad { ptr, i32 }
          cleanup
  %248 = extractvalue { ptr, i32 } %247, 0
  store ptr %248, ptr %12, align 8
  %249 = extractvalue { ptr, i32 } %247, 1
  store i32 %249, ptr %13, align 4
  br label %254

250:                                              ; preds = %222
  %251 = landingpad { ptr, i32 }
          cleanup
  %252 = extractvalue { ptr, i32 } %251, 0
  store ptr %252, ptr %12, align 8
  %253 = extractvalue { ptr, i32 } %251, 1
  store i32 %253, ptr %13, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #8
  call void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %27) #8
  br label %254

254:                                              ; preds = %250, %246
  call void @_ZNSt15__new_allocatorIN7maliput7routing5PhaseEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %40) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %40) #8
  %255 = getelementptr inbounds [1 x %"class.maliput::routing::Phase"], ptr %29, i32 0, i32 0
  %256 = getelementptr inbounds %"class.maliput::routing::Phase", ptr %255, i64 1
  br label %257

257:                                              ; preds = %257, %254
  %258 = phi ptr [ %256, %254 ], [ %259, %257 ]
  %259 = getelementptr inbounds %"class.maliput::routing::Phase", ptr %258, i64 -1
  call void @_ZN7maliput7routing5PhaseD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %259) #8
  %260 = icmp eq ptr %259, %255
  br i1 %260, label %261, label %257

261:                                              ; preds = %257
  br label %262

262:                                              ; preds = %261, %242
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %35) #8
  br label %263

263:                                              ; preds = %262, %238
  call void @_ZNSt15__new_allocatorIN7maliput3api12RoadPositionEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %38) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %38) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr %37) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %35) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %31) #8
  br label %264

264:                                              ; preds = %263, %234
  call void @_ZNSt15__new_allocatorIN7maliput3api12RoadPositionEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %34) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %34) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr %33) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %31) #8
  %265 = load i1, ptr %39, align 1
  br i1 %265, label %266, label %274

266:                                              ; preds = %264
  %267 = load ptr, ptr %30, align 8
  %268 = icmp eq ptr %29, %267
  br i1 %268, label %273, label %269

269:                                              ; preds = %269, %266
  %270 = phi ptr [ %267, %266 ], [ %271, %269 ]
  %271 = getelementptr inbounds %"class.maliput::routing::Phase", ptr %270, i64 -1
  call void @_ZN7maliput7routing5PhaseD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %271) #8
  %272 = icmp eq ptr %271, %29
  br i1 %272, label %273, label %269

273:                                              ; preds = %269, %266
  br label %274

274:                                              ; preds = %273, %264
  call void @llvm.lifetime.end.p0(i64 96, ptr %29) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %27) #8
  br label %550

275:                                              ; preds = %187
  call void @llvm.lifetime.start.p0(i64 24, ptr %42) #8
  call void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %42) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr %43) #8
  store i32 0, ptr %43, align 4, !tbaa !37
  br label %276

276:                                              ; preds = %531, %275
  %277 = load i32, ptr %43, align 4, !tbaa !37
  %278 = load ptr, ptr %26, align 8, !tbaa !5
  %279 = call noundef i64 @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %278) #8
  %280 = trunc i64 %279 to i32
  %281 = icmp slt i32 %277, %280
  br i1 %281, label %283, label %282

282:                                              ; preds = %276
  store i32 16, ptr %25, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #8
  br label %535

283:                                              ; preds = %276
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #8
  %284 = load ptr, ptr %26, align 8, !tbaa !5
  %285 = load i32, ptr %43, align 4, !tbaa !37
  %286 = sext i32 %285 to i64
  %287 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %284, i64 noundef %286) #8
  store ptr %287, ptr %44, align 8, !tbaa !5
  %288 = load i32, ptr %43, align 4, !tbaa !37
  %289 = icmp eq i32 %288, 0
  br i1 %289, label %290, label %359

290:                                              ; preds = %283
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #8
  %291 = getelementptr inbounds %"class.maliput::DistanceRouter", ptr %66, i32 0, i32 3
  %292 = load ptr, ptr %44, align 8, !tbaa !5
  %293 = load ptr, ptr %26, align 8, !tbaa !5
  %294 = load i32, ptr %43, align 4, !tbaa !37
  %295 = add nsw i32 %294, 1
  %296 = sext i32 %295 to i64
  %297 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %293, i64 noundef %296) #8
  %298 = invoke i64 @_ZN7maliput7routing5graph16DetermineEdgeEndERKNS1_5GraphERKNS1_4EdgeES7_(ptr noundef nonnull align 8 dereferenceable(112) %291, ptr noundef nonnull align 8 dereferenceable(104) %292, ptr noundef nonnull align 8 dereferenceable(104) %297)
          to label %299 unwind label %306

299:                                              ; preds = %290
  %300 = getelementptr inbounds %"class.std::optional.167", ptr %45, i32 0, i32 0
  %301 = getelementptr inbounds %"struct.std::_Optional_base.168", ptr %300, i32 0, i32 0
  store i64 %298, ptr %301, align 4
  br label %302

302:                                              ; preds = %299
  %303 = call noundef zeroext i1 @_ZNKSt8optionalIN7maliput3api7LaneEnd5WhichEE9has_valueEv(ptr noundef nonnull align 4 dereferenceable(8) %45) #8
  br i1 %303, label %310, label %304

304:                                              ; preds = %302
  invoke void @_ZN7maliput6common8internal5ThrowEPKcS3_S3_i(ptr noundef @.str.8, ptr noundef @__func__._ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE, ptr noundef @.str.1, i32 noundef 383) #7
          to label %305 unwind label %306

305:                                              ; preds = %304
  unreachable

306:                                              ; preds = %304, %290
  %307 = landingpad { ptr, i32 }
          cleanup
  %308 = extractvalue { ptr, i32 } %307, 0
  store ptr %308, ptr %12, align 8
  %309 = extractvalue { ptr, i32 } %307, 1
  store i32 %309, ptr %13, align 4
  br label %358

310:                                              ; preds = %302
  br label %311

311:                                              ; preds = %310
  br label %312

312:                                              ; preds = %311
  call void @llvm.lifetime.start.p0(i64 96, ptr %46) #8
  %313 = load i32, ptr %43, align 4, !tbaa !37
  %314 = load ptr, ptr %44, align 8, !tbaa !5
  %315 = getelementptr inbounds %"class.maliput::DistanceRouter", ptr %66, i32 0, i32 2
  %316 = load double, ptr %315, align 8, !tbaa !30
  call void @llvm.lifetime.start.p0(i64 24, ptr %47) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr %49) #8
  %317 = load ptr, ptr %8, align 8, !tbaa !5
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %49, ptr align 8 %317, i64 32, i1 false)
  %318 = getelementptr inbounds %"class.std::initializer_list.147", ptr %48, i32 0, i32 0
  store ptr %49, ptr %318, align 8, !tbaa !31
  %319 = getelementptr inbounds %"class.std::initializer_list.147", ptr %48, i32 0, i32 1
  store i64 1, ptr %319, align 8, !tbaa !33
  call void @llvm.lifetime.start.p0(i64 1, ptr %50) #8
  call void @_ZNSaIN7maliput3api12RoadPositionEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %50) #8
  %320 = getelementptr inbounds { ptr, i64 }, ptr %48, i32 0, i32 0
  %321 = load ptr, ptr %320, align 8
  %322 = getelementptr inbounds { ptr, i64 }, ptr %48, i32 0, i32 1
  %323 = load i64, ptr %322, align 8
  invoke void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EEC2ESt16initializer_listIS2_ERKS3_(ptr noundef nonnull align 8 dereferenceable(24) %47, ptr %321, i64 %323, ptr noundef nonnull align 1 dereferenceable(1) %50)
          to label %324 unwind label %339

324:                                              ; preds = %312
  call void @llvm.lifetime.start.p0(i64 24, ptr %51) #8
  %325 = load ptr, ptr %44, align 8, !tbaa !5
  %326 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZNKRSt8optionalIN7maliput3api7LaneEnd5WhichEE5valueEv(ptr noundef nonnull align 4 dereferenceable(8) %45)
          to label %327 unwind label %343

327:                                              ; preds = %324
  %328 = load i32, ptr %326, align 4, !tbaa !28
  %329 = load ptr, ptr %26, align 8, !tbaa !5
  %330 = load i32, ptr %43, align 4, !tbaa !37
  %331 = add nsw i32 %330, 1
  %332 = sext i32 %331 to i64
  %333 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %329, i64 noundef %332) #8
  invoke void @_ZN7maliput12_GLOBAL__N_123ComputeAllRoadPositionsERKNS_7routing5graph4EdgeENS_3api7LaneEnd5WhichES5_(ptr dead_on_unwind writable sret(%"class.std::vector.136") align 8 %51, ptr noundef nonnull align 8 dereferenceable(104) %325, i32 noundef %328, ptr noundef nonnull align 8 dereferenceable(104) %333)
          to label %334 unwind label %343

334:                                              ; preds = %327
  %335 = getelementptr inbounds %"class.maliput::DistanceRouter", ptr %66, i32 0, i32 1
  %336 = load ptr, ptr %335, align 8, !tbaa !15
  invoke void @_ZN7maliput12_GLOBAL__N_19MakePhaseEiRKNS_7routing5graph4EdgeEdRKSt6vectorINS_3api12RoadPositionESaIS8_EESC_RKNS7_11RoadNetworkE(ptr dead_on_unwind writable sret(%"class.maliput::routing::Phase") align 8 %46, i32 noundef %313, ptr noundef nonnull align 8 dereferenceable(104) %314, double noundef %316, ptr noundef nonnull align 8 dereferenceable(24) %47, ptr noundef nonnull align 8 dereferenceable(24) %51, ptr noundef nonnull align 8 dereferenceable(88) %336)
          to label %337 unwind label %347

337:                                              ; preds = %334
  invoke void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EE9push_backEOS2_(ptr noundef nonnull align 8 dereferenceable(24) %42, ptr noundef nonnull align 8 dereferenceable(96) %46)
          to label %338 unwind label %351

338:                                              ; preds = %337
  call void @_ZN7maliput7routing5PhaseD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %46) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %51) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %51) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %47) #8
  call void @_ZNSt15__new_allocatorIN7maliput3api12RoadPositionEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %50) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %50) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr %49) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %47) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr %46) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #8
  br label %530

339:                                              ; preds = %312
  %340 = landingpad { ptr, i32 }
          cleanup
  %341 = extractvalue { ptr, i32 } %340, 0
  store ptr %341, ptr %12, align 8
  %342 = extractvalue { ptr, i32 } %340, 1
  store i32 %342, ptr %13, align 4
  br label %357

343:                                              ; preds = %327, %324
  %344 = landingpad { ptr, i32 }
          cleanup
  %345 = extractvalue { ptr, i32 } %344, 0
  store ptr %345, ptr %12, align 8
  %346 = extractvalue { ptr, i32 } %344, 1
  store i32 %346, ptr %13, align 4
  br label %356

347:                                              ; preds = %334
  %348 = landingpad { ptr, i32 }
          cleanup
  %349 = extractvalue { ptr, i32 } %348, 0
  store ptr %349, ptr %12, align 8
  %350 = extractvalue { ptr, i32 } %348, 1
  store i32 %350, ptr %13, align 4
  br label %355

351:                                              ; preds = %337
  %352 = landingpad { ptr, i32 }
          cleanup
  %353 = extractvalue { ptr, i32 } %352, 0
  store ptr %353, ptr %12, align 8
  %354 = extractvalue { ptr, i32 } %352, 1
  store i32 %354, ptr %13, align 4
  call void @_ZN7maliput7routing5PhaseD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %46) #8
  br label %355

355:                                              ; preds = %351, %347
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %51) #8
  br label %356

356:                                              ; preds = %355, %343
  call void @llvm.lifetime.end.p0(i64 24, ptr %51) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %47) #8
  br label %357

357:                                              ; preds = %356, %339
  call void @_ZNSt15__new_allocatorIN7maliput3api12RoadPositionEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %50) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %50) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr %49) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %47) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr %46) #8
  br label %358

358:                                              ; preds = %357, %306
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #8
  br label %534

359:                                              ; preds = %283
  %360 = load i32, ptr %43, align 4, !tbaa !37
  %361 = add nsw i32 %360, 1
  %362 = load ptr, ptr %26, align 8, !tbaa !5
  %363 = call noundef i64 @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %362) #8
  %364 = trunc i64 %363 to i32
  %365 = icmp eq i32 %361, %364
  br i1 %365, label %366, label %435

366:                                              ; preds = %359
  call void @llvm.lifetime.start.p0(i64 8, ptr %52) #8
  %367 = getelementptr inbounds %"class.maliput::DistanceRouter", ptr %66, i32 0, i32 3
  %368 = load ptr, ptr %44, align 8, !tbaa !5
  %369 = load ptr, ptr %26, align 8, !tbaa !5
  %370 = load i32, ptr %43, align 4, !tbaa !37
  %371 = sub nsw i32 %370, 1
  %372 = sext i32 %371 to i64
  %373 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %369, i64 noundef %372) #8
  %374 = invoke i64 @_ZN7maliput7routing5graph16DetermineEdgeEndERKNS1_5GraphERKNS1_4EdgeES7_(ptr noundef nonnull align 8 dereferenceable(112) %367, ptr noundef nonnull align 8 dereferenceable(104) %368, ptr noundef nonnull align 8 dereferenceable(104) %373)
          to label %375 unwind label %382

375:                                              ; preds = %366
  %376 = getelementptr inbounds %"class.std::optional.167", ptr %52, i32 0, i32 0
  %377 = getelementptr inbounds %"struct.std::_Optional_base.168", ptr %376, i32 0, i32 0
  store i64 %374, ptr %377, align 4
  br label %378

378:                                              ; preds = %375
  %379 = call noundef zeroext i1 @_ZNKSt8optionalIN7maliput3api7LaneEnd5WhichEE9has_valueEv(ptr noundef nonnull align 4 dereferenceable(8) %52) #8
  br i1 %379, label %386, label %380

380:                                              ; preds = %378
  invoke void @_ZN7maliput6common8internal5ThrowEPKcS3_S3_i(ptr noundef @.str.8, ptr noundef @__func__._ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE, ptr noundef @.str.1, i32 noundef 390) #7
          to label %381 unwind label %382

381:                                              ; preds = %380
  unreachable

382:                                              ; preds = %380, %366
  %383 = landingpad { ptr, i32 }
          cleanup
  %384 = extractvalue { ptr, i32 } %383, 0
  store ptr %384, ptr %12, align 8
  %385 = extractvalue { ptr, i32 } %383, 1
  store i32 %385, ptr %13, align 4
  br label %434

386:                                              ; preds = %378
  br label %387

387:                                              ; preds = %386
  br label %388

388:                                              ; preds = %387
  call void @llvm.lifetime.start.p0(i64 96, ptr %53) #8
  %389 = load i32, ptr %43, align 4, !tbaa !37
  %390 = load ptr, ptr %44, align 8, !tbaa !5
  %391 = getelementptr inbounds %"class.maliput::DistanceRouter", ptr %66, i32 0, i32 2
  %392 = load double, ptr %391, align 8, !tbaa !30
  call void @llvm.lifetime.start.p0(i64 24, ptr %54) #8
  %393 = load ptr, ptr %44, align 8, !tbaa !5
  %394 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZNKRSt8optionalIN7maliput3api7LaneEnd5WhichEE5valueEv(ptr noundef nonnull align 4 dereferenceable(8) %52)
          to label %395 unwind label %415

395:                                              ; preds = %388
  %396 = load i32, ptr %394, align 4, !tbaa !28
  %397 = load ptr, ptr %26, align 8, !tbaa !5
  %398 = load i32, ptr %43, align 4, !tbaa !37
  %399 = sub nsw i32 %398, 1
  %400 = sext i32 %399 to i64
  %401 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %397, i64 noundef %400) #8
  invoke void @_ZN7maliput12_GLOBAL__N_123ComputeAllRoadPositionsERKNS_7routing5graph4EdgeENS_3api7LaneEnd5WhichES5_(ptr dead_on_unwind writable sret(%"class.std::vector.136") align 8 %54, ptr noundef nonnull align 8 dereferenceable(104) %393, i32 noundef %396, ptr noundef nonnull align 8 dereferenceable(104) %401)
          to label %402 unwind label %415

402:                                              ; preds = %395
  call void @llvm.lifetime.start.p0(i64 24, ptr %55) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr %57) #8
  %403 = load ptr, ptr %9, align 8, !tbaa !5
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %57, ptr align 8 %403, i64 32, i1 false)
  %404 = getelementptr inbounds %"class.std::initializer_list.147", ptr %56, i32 0, i32 0
  store ptr %57, ptr %404, align 8, !tbaa !31
  %405 = getelementptr inbounds %"class.std::initializer_list.147", ptr %56, i32 0, i32 1
  store i64 1, ptr %405, align 8, !tbaa !33
  call void @llvm.lifetime.start.p0(i64 1, ptr %58) #8
  call void @_ZNSaIN7maliput3api12RoadPositionEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %58) #8
  %406 = getelementptr inbounds { ptr, i64 }, ptr %56, i32 0, i32 0
  %407 = load ptr, ptr %406, align 8
  %408 = getelementptr inbounds { ptr, i64 }, ptr %56, i32 0, i32 1
  %409 = load i64, ptr %408, align 8
  invoke void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EEC2ESt16initializer_listIS2_ERKS3_(ptr noundef nonnull align 8 dereferenceable(24) %55, ptr %407, i64 %409, ptr noundef nonnull align 1 dereferenceable(1) %58)
          to label %410 unwind label %419

410:                                              ; preds = %402
  %411 = getelementptr inbounds %"class.maliput::DistanceRouter", ptr %66, i32 0, i32 1
  %412 = load ptr, ptr %411, align 8, !tbaa !15
  invoke void @_ZN7maliput12_GLOBAL__N_19MakePhaseEiRKNS_7routing5graph4EdgeEdRKSt6vectorINS_3api12RoadPositionESaIS8_EESC_RKNS7_11RoadNetworkE(ptr dead_on_unwind writable sret(%"class.maliput::routing::Phase") align 8 %53, i32 noundef %389, ptr noundef nonnull align 8 dereferenceable(104) %390, double noundef %392, ptr noundef nonnull align 8 dereferenceable(24) %54, ptr noundef nonnull align 8 dereferenceable(24) %55, ptr noundef nonnull align 8 dereferenceable(88) %412)
          to label %413 unwind label %423

413:                                              ; preds = %410
  invoke void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EE9push_backEOS2_(ptr noundef nonnull align 8 dereferenceable(24) %42, ptr noundef nonnull align 8 dereferenceable(96) %53)
          to label %414 unwind label %427

414:                                              ; preds = %413
  call void @_ZN7maliput7routing5PhaseD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %53) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %55) #8
  call void @_ZNSt15__new_allocatorIN7maliput3api12RoadPositionEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %58) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %58) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr %57) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %55) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %54) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %54) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr %53) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #8
  br label %529

415:                                              ; preds = %395, %388
  %416 = landingpad { ptr, i32 }
          cleanup
  %417 = extractvalue { ptr, i32 } %416, 0
  store ptr %417, ptr %12, align 8
  %418 = extractvalue { ptr, i32 } %416, 1
  store i32 %418, ptr %13, align 4
  br label %433

419:                                              ; preds = %402
  %420 = landingpad { ptr, i32 }
          cleanup
  %421 = extractvalue { ptr, i32 } %420, 0
  store ptr %421, ptr %12, align 8
  %422 = extractvalue { ptr, i32 } %420, 1
  store i32 %422, ptr %13, align 4
  br label %432

423:                                              ; preds = %410
  %424 = landingpad { ptr, i32 }
          cleanup
  %425 = extractvalue { ptr, i32 } %424, 0
  store ptr %425, ptr %12, align 8
  %426 = extractvalue { ptr, i32 } %424, 1
  store i32 %426, ptr %13, align 4
  br label %431

427:                                              ; preds = %413
  %428 = landingpad { ptr, i32 }
          cleanup
  %429 = extractvalue { ptr, i32 } %428, 0
  store ptr %429, ptr %12, align 8
  %430 = extractvalue { ptr, i32 } %428, 1
  store i32 %430, ptr %13, align 4
  call void @_ZN7maliput7routing5PhaseD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %53) #8
  br label %431

431:                                              ; preds = %427, %423
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %55) #8
  br label %432

432:                                              ; preds = %431, %419
  call void @_ZNSt15__new_allocatorIN7maliput3api12RoadPositionEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %58) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %58) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr %57) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %55) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %54) #8
  br label %433

433:                                              ; preds = %432, %415
  call void @llvm.lifetime.end.p0(i64 24, ptr %54) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr %53) #8
  br label %434

434:                                              ; preds = %433, %382
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #8
  br label %534

435:                                              ; preds = %359
  call void @llvm.lifetime.start.p0(i64 8, ptr %59) #8
  %436 = getelementptr inbounds %"class.maliput::DistanceRouter", ptr %66, i32 0, i32 3
  %437 = load ptr, ptr %44, align 8, !tbaa !5
  %438 = load ptr, ptr %26, align 8, !tbaa !5
  %439 = load i32, ptr %43, align 4, !tbaa !37
  %440 = sub nsw i32 %439, 1
  %441 = sext i32 %440 to i64
  %442 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %438, i64 noundef %441) #8
  %443 = invoke i64 @_ZN7maliput7routing5graph16DetermineEdgeEndERKNS1_5GraphERKNS1_4EdgeES7_(ptr noundef nonnull align 8 dereferenceable(112) %436, ptr noundef nonnull align 8 dereferenceable(104) %437, ptr noundef nonnull align 8 dereferenceable(104) %442)
          to label %444 unwind label %451

444:                                              ; preds = %435
  %445 = getelementptr inbounds %"class.std::optional.167", ptr %59, i32 0, i32 0
  %446 = getelementptr inbounds %"struct.std::_Optional_base.168", ptr %445, i32 0, i32 0
  store i64 %443, ptr %446, align 4
  br label %447

447:                                              ; preds = %444
  %448 = call noundef zeroext i1 @_ZNKSt8optionalIN7maliput3api7LaneEnd5WhichEE9has_valueEv(ptr noundef nonnull align 4 dereferenceable(8) %59) #8
  br i1 %448, label %455, label %449

449:                                              ; preds = %447
  invoke void @_ZN7maliput6common8internal5ThrowEPKcS3_S3_i(ptr noundef @.str.9, ptr noundef @__func__._ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE, ptr noundef @.str.1, i32 noundef 397) #7
          to label %450 unwind label %451

450:                                              ; preds = %449
  unreachable

451:                                              ; preds = %449, %435
  %452 = landingpad { ptr, i32 }
          cleanup
  %453 = extractvalue { ptr, i32 } %452, 0
  store ptr %453, ptr %12, align 8
  %454 = extractvalue { ptr, i32 } %452, 1
  store i32 %454, ptr %13, align 4
  br label %528

455:                                              ; preds = %447
  br label %456

456:                                              ; preds = %455
  br label %457

457:                                              ; preds = %456
  call void @llvm.lifetime.start.p0(i64 8, ptr %60) #8
  %458 = getelementptr inbounds %"class.maliput::DistanceRouter", ptr %66, i32 0, i32 3
  %459 = load ptr, ptr %44, align 8, !tbaa !5
  %460 = load ptr, ptr %26, align 8, !tbaa !5
  %461 = load i32, ptr %43, align 4, !tbaa !37
  %462 = add nsw i32 %461, 1
  %463 = sext i32 %462 to i64
  %464 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %460, i64 noundef %463) #8
  %465 = invoke i64 @_ZN7maliput7routing5graph16DetermineEdgeEndERKNS1_5GraphERKNS1_4EdgeES7_(ptr noundef nonnull align 8 dereferenceable(112) %458, ptr noundef nonnull align 8 dereferenceable(104) %459, ptr noundef nonnull align 8 dereferenceable(104) %464)
          to label %466 unwind label %473

466:                                              ; preds = %457
  %467 = getelementptr inbounds %"class.std::optional.167", ptr %60, i32 0, i32 0
  %468 = getelementptr inbounds %"struct.std::_Optional_base.168", ptr %467, i32 0, i32 0
  store i64 %465, ptr %468, align 4
  br label %469

469:                                              ; preds = %466
  %470 = call noundef zeroext i1 @_ZNKSt8optionalIN7maliput3api7LaneEnd5WhichEE9has_valueEv(ptr noundef nonnull align 4 dereferenceable(8) %60) #8
  br i1 %470, label %477, label %471

471:                                              ; preds = %469
  invoke void @_ZN7maliput6common8internal5ThrowEPKcS3_S3_i(ptr noundef @.str.10, ptr noundef @__func__._ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE, ptr noundef @.str.1, i32 noundef 400) #7
          to label %472 unwind label %473

472:                                              ; preds = %471
  unreachable

473:                                              ; preds = %471, %457
  %474 = landingpad { ptr, i32 }
          cleanup
  %475 = extractvalue { ptr, i32 } %474, 0
  store ptr %475, ptr %12, align 8
  %476 = extractvalue { ptr, i32 } %474, 1
  store i32 %476, ptr %13, align 4
  br label %527

477:                                              ; preds = %469
  br label %478

478:                                              ; preds = %477
  br label %479

479:                                              ; preds = %478
  call void @llvm.lifetime.start.p0(i64 96, ptr %61) #8
  %480 = load i32, ptr %43, align 4, !tbaa !37
  %481 = load ptr, ptr %44, align 8, !tbaa !5
  %482 = getelementptr inbounds %"class.maliput::DistanceRouter", ptr %66, i32 0, i32 2
  %483 = load double, ptr %482, align 8, !tbaa !30
  call void @llvm.lifetime.start.p0(i64 24, ptr %62) #8
  %484 = load ptr, ptr %44, align 8, !tbaa !5
  %485 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZNKRSt8optionalIN7maliput3api7LaneEnd5WhichEE5valueEv(ptr noundef nonnull align 4 dereferenceable(8) %59)
          to label %486 unwind label %508

486:                                              ; preds = %479
  %487 = load i32, ptr %485, align 4, !tbaa !28
  %488 = load ptr, ptr %26, align 8, !tbaa !5
  %489 = load i32, ptr %43, align 4, !tbaa !37
  %490 = sub nsw i32 %489, 1
  %491 = sext i32 %490 to i64
  %492 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %488, i64 noundef %491) #8
  invoke void @_ZN7maliput12_GLOBAL__N_123ComputeAllRoadPositionsERKNS_7routing5graph4EdgeENS_3api7LaneEnd5WhichES5_(ptr dead_on_unwind writable sret(%"class.std::vector.136") align 8 %62, ptr noundef nonnull align 8 dereferenceable(104) %484, i32 noundef %487, ptr noundef nonnull align 8 dereferenceable(104) %492)
          to label %493 unwind label %508

493:                                              ; preds = %486
  call void @llvm.lifetime.start.p0(i64 24, ptr %63) #8
  %494 = load ptr, ptr %44, align 8, !tbaa !5
  %495 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZNKRSt8optionalIN7maliput3api7LaneEnd5WhichEE5valueEv(ptr noundef nonnull align 4 dereferenceable(8) %60)
          to label %496 unwind label %512

496:                                              ; preds = %493
  %497 = load i32, ptr %495, align 4, !tbaa !28
  %498 = load ptr, ptr %26, align 8, !tbaa !5
  %499 = load i32, ptr %43, align 4, !tbaa !37
  %500 = add nsw i32 %499, 1
  %501 = sext i32 %500 to i64
  %502 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %498, i64 noundef %501) #8
  invoke void @_ZN7maliput12_GLOBAL__N_123ComputeAllRoadPositionsERKNS_7routing5graph4EdgeENS_3api7LaneEnd5WhichES5_(ptr dead_on_unwind writable sret(%"class.std::vector.136") align 8 %63, ptr noundef nonnull align 8 dereferenceable(104) %494, i32 noundef %497, ptr noundef nonnull align 8 dereferenceable(104) %502)
          to label %503 unwind label %512

503:                                              ; preds = %496
  %504 = getelementptr inbounds %"class.maliput::DistanceRouter", ptr %66, i32 0, i32 1
  %505 = load ptr, ptr %504, align 8, !tbaa !15
  invoke void @_ZN7maliput12_GLOBAL__N_19MakePhaseEiRKNS_7routing5graph4EdgeEdRKSt6vectorINS_3api12RoadPositionESaIS8_EESC_RKNS7_11RoadNetworkE(ptr dead_on_unwind writable sret(%"class.maliput::routing::Phase") align 8 %61, i32 noundef %480, ptr noundef nonnull align 8 dereferenceable(104) %481, double noundef %483, ptr noundef nonnull align 8 dereferenceable(24) %62, ptr noundef nonnull align 8 dereferenceable(24) %63, ptr noundef nonnull align 8 dereferenceable(88) %505)
          to label %506 unwind label %516

506:                                              ; preds = %503
  invoke void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EE9push_backEOS2_(ptr noundef nonnull align 8 dereferenceable(24) %42, ptr noundef nonnull align 8 dereferenceable(96) %61)
          to label %507 unwind label %520

507:                                              ; preds = %506
  call void @_ZN7maliput7routing5PhaseD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %61) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %63) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %63) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %62) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %62) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr %61) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %60) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #8
  br label %529

508:                                              ; preds = %486, %479
  %509 = landingpad { ptr, i32 }
          cleanup
  %510 = extractvalue { ptr, i32 } %509, 0
  store ptr %510, ptr %12, align 8
  %511 = extractvalue { ptr, i32 } %509, 1
  store i32 %511, ptr %13, align 4
  br label %526

512:                                              ; preds = %496, %493
  %513 = landingpad { ptr, i32 }
          cleanup
  %514 = extractvalue { ptr, i32 } %513, 0
  store ptr %514, ptr %12, align 8
  %515 = extractvalue { ptr, i32 } %513, 1
  store i32 %515, ptr %13, align 4
  br label %525

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

520:                                              ; preds = %506
  %521 = landingpad { ptr, i32 }
          cleanup
  %522 = extractvalue { ptr, i32 } %521, 0
  store ptr %522, ptr %12, align 8
  %523 = extractvalue { ptr, i32 } %521, 1
  store i32 %523, ptr %13, align 4
  call void @_ZN7maliput7routing5PhaseD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %61) #8
  br label %524

524:                                              ; preds = %520, %516
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %63) #8
  br label %525

525:                                              ; preds = %524, %512
  call void @llvm.lifetime.end.p0(i64 24, ptr %63) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %62) #8
  br label %526

526:                                              ; preds = %525, %508
  call void @llvm.lifetime.end.p0(i64 24, ptr %62) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr %61) #8
  br label %527

527:                                              ; preds = %526, %473
  call void @llvm.lifetime.end.p0(i64 8, ptr %60) #8
  br label %528

528:                                              ; preds = %527, %451
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #8
  br label %534

529:                                              ; preds = %507, %414
  br label %530

530:                                              ; preds = %529, %338
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #8
  br label %531

531:                                              ; preds = %530
  %532 = load i32, ptr %43, align 4, !tbaa !37
  %533 = add nsw i32 %532, 1
  store i32 %533, ptr %43, align 4, !tbaa !37
  br label %276, !llvm.loop !39

534:                                              ; preds = %528, %434, %358
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #8
  br label %549

535:                                              ; preds = %282
  call void @llvm.lifetime.start.p0(i64 8, ptr %64) #8
  %536 = getelementptr inbounds %"class.maliput::DistanceRouter", ptr %66, i32 0, i32 1
  %537 = load ptr, ptr %536, align 8, !tbaa !15
  store ptr %537, ptr %64, align 8, !tbaa !5
  %538 = invoke noundef nonnull align 8 dereferenceable(88) ptr @_ZNSt6vectorIN7maliput7routing5RouteESaIS2_EE12emplace_backIJRS_INS1_5PhaseESaIS6_EEPKNS0_3api11RoadNetworkEEEERS2_DpOT_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(24) %42, ptr noundef nonnull align 8 dereferenceable(8) %64)
          to label %539 unwind label %545

539:                                              ; preds = %535
  call void @llvm.lifetime.end.p0(i64 8, ptr %64) #8
  call void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %42) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %42) #8
  store i32 0, ptr %25, align 4
  br label %540

540:                                              ; preds = %539, %233
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #8
  %541 = load i32, ptr %25, align 4
  switch i32 %541, label %577 [
    i32 0, label %542
    i32 15, label %543
  ]

542:                                              ; preds = %540
  br label %543

543:                                              ; preds = %542, %540
  %544 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPSt6vectorIN7maliput7routing5graph4EdgeESaIS5_EES1_IS7_SaIS7_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %23) #8
  br label %176

545:                                              ; preds = %535
  %546 = landingpad { ptr, i32 }
          cleanup
  %547 = extractvalue { ptr, i32 } %546, 0
  store ptr %547, ptr %12, align 8
  %548 = extractvalue { ptr, i32 } %546, 1
  store i32 %548, ptr %13, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %64) #8
  br label %549

549:                                              ; preds = %545, %534
  call void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %42) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %42) #8
  br label %550

550:                                              ; preds = %549, %274
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #8
  br label %567

551:                                              ; preds = %178
  call void @llvm.lifetime.start.p0(i64 24, ptr %65) #8
  %552 = load ptr, ptr %10, align 8, !tbaa !5
  invoke void @_ZN7maliput12_GLOBAL__N_112FilterRoutesERKNS_7routing18RoutingConstraintsERKSt6vectorINS1_5RouteESaIS6_EE(ptr dead_on_unwind writable sret(%"class.std::vector") align 8 %65, ptr noundef nonnull align 8 dereferenceable(40) %552, ptr noundef nonnull align 8 dereferenceable(24) %0)
          to label %553 unwind label %557

553:                                              ; preds = %551
  %554 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIN7maliput7routing5RouteESaIS2_EEaSEOS4_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(24) %65) #8
  call void @_ZNSt6vectorIN7maliput7routing5RouteESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %65) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %65) #8
  invoke void @_ZN7maliput12_GLOBAL__N_136ValidateEndToEndConnectivityInRoutesERKSt6vectorINS_7routing5RouteESaIS3_EE(ptr noundef nonnull align 8 dereferenceable(24) %0)
          to label %555 unwind label %561

555:                                              ; preds = %553
  store i1 true, ptr %21, align 1
  store i32 1, ptr %25, align 4
  %556 = load i1, ptr %21, align 1
  br i1 %556, label %566, label %565

557:                                              ; preds = %551
  %558 = landingpad { ptr, i32 }
          cleanup
  %559 = extractvalue { ptr, i32 } %558, 0
  store ptr %559, ptr %12, align 8
  %560 = extractvalue { ptr, i32 } %558, 1
  store i32 %560, ptr %13, align 4
  call void @llvm.lifetime.end.p0(i64 24, ptr %65) #8
  br label %567

561:                                              ; preds = %553
  %562 = landingpad { ptr, i32 }
          cleanup
  %563 = extractvalue { ptr, i32 } %562, 0
  store ptr %563, ptr %12, align 8
  %564 = extractvalue { ptr, i32 } %562, 1
  store i32 %564, ptr %13, align 4
  br label %567

565:                                              ; preds = %555
  call void @_ZNSt6vectorIN7maliput7routing5RouteESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #8
  br label %566

566:                                              ; preds = %565, %555
  call void @_ZNSt6vectorIS_IN7maliput7routing5graph4EdgeESaIS3_EESaIS5_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %19) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr %19) #8
  call void @_ZNSt14_Optional_baseIN7maliput7routing5graph4NodeELb0ELb0EED2Ev(ptr noundef nonnull align 8 dereferenceable(136) %17) #8
  call void @llvm.lifetime.end.p0(i64 136, ptr %17) #8
  call void @_ZNSt14_Optional_baseIN7maliput7routing5graph4NodeELb0ELb0EED2Ev(ptr noundef nonnull align 8 dereferenceable(136) %15) #8
  call void @llvm.lifetime.end.p0(i64 136, ptr %15) #8
  ret void

567:                                              ; preds = %561, %557, %550
  call void @_ZNSt6vectorIN7maliput7routing5RouteESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #8
  br label %568

568:                                              ; preds = %567, %183
  call void @_ZNSt6vectorIS_IN7maliput7routing5graph4EdgeESaIS3_EESaIS5_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %19) #8
  br label %569

569:                                              ; preds = %568, %179
  call void @llvm.lifetime.end.p0(i64 24, ptr %19) #8
  br label %570

570:                                              ; preds = %569, %145
  call void @_ZNSt14_Optional_baseIN7maliput7routing5graph4NodeELb0ELb0EED2Ev(ptr noundef nonnull align 8 dereferenceable(136) %17) #8
  br label %571

571:                                              ; preds = %570, %141
  call void @llvm.lifetime.end.p0(i64 136, ptr %17) #8
  call void @_ZNSt14_Optional_baseIN7maliput7routing5graph4NodeELb0ELb0EED2Ev(ptr noundef nonnull align 8 dereferenceable(136) %15) #8
  call void @llvm.lifetime.end.p0(i64 136, ptr %15) #8
  br label %572

572:                                              ; preds = %571, %121, %91
  %573 = load ptr, ptr %12, align 8
  %574 = load i32, ptr %13, align 4
  %575 = insertvalue { ptr, i32 } poison, ptr %573, 0
  %576 = insertvalue { ptr, i32 } %575, i32 %574, 1
  resume { ptr, i32 } %576

577:                                              ; preds = %540
  unreachable
}

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNK7maliput3api12RoadGeometry4ByIdEv(ptr noundef nonnull align 8 dereferenceable(8)) #2 align 2

declare noundef ptr @_ZNK7maliput3api12RoadGeometry7IdIndex7GetLaneERKNS0_22TypeSpecificIdentifierINS0_4LaneEEE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(32)) #3

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

declare void @_ZNK7maliput3api4Lane2idEv(ptr dead_on_unwind writable sret(%"class.maliput::api::TypeSpecificIdentifier") align 8, ptr noundef nonnull align 8 dereferenceable(8)) #3

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

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

declare void @_ZN7maliput7routing26ValidateRoutingConstraintsERKNS0_18RoutingConstraintsE(ptr noundef nonnull align 8 dereferenceable(40)) #3

declare void @_ZN7maliput7routing5graph8FindNodeERKNS1_5GraphERKNS_3api4LaneERKNS5_7LaneEnd5WhichE(ptr dead_on_unwind writable sret(%"class.std::optional.101") align 8, ptr noundef nonnull align 8 dereferenceable(112), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(4)) #3

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

declare void @_ZN7maliput7routing5graph20FindAllEdgeSequencesERKNS1_5GraphERKNS1_4NodeES7_(ptr dead_on_unwind writable sret(%"class.std::vector.121") align 8, ptr noundef nonnull align 8 dereferenceable(112), ptr noundef nonnull align 8 dereferenceable(128), ptr noundef nonnull align 8 dereferenceable(128)) #3

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(128) ptr @_ZNKRSt8optionalIN7maliput7routing5graph4NodeEE5valueEv(ptr noundef nonnull align 8 dereferenceable(136)) #2 align 2

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN7maliput12_GLOBAL__N_124MaybeAddStartAndEndEdgesERKNS_7routing5graph5GraphERKNS_3api12RoadPositionES9_RKSt6vectorISA_INS2_4EdgeESaISB_EESaISD_EE(ptr dead_on_unwind noalias writable sret(%"class.std::vector.121") align 8, ptr noundef nonnull align 8 dereferenceable(112), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(24)) #2

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIS_IN7maliput7routing5graph4EdgeESaIS3_EESaIS5_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #0 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIN7maliput7routing5RouteESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #0 align 2

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPSt6vectorIN7maliput7routing5graph4EdgeESaIS5_EES1_IS7_SaIS7_EEEEbRKNS_17__normal_iteratorIT_T0_EESG_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #5

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

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

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN7maliput12_GLOBAL__N_19MakePhaseEiRKNS_7routing5graph4EdgeEdRKSt6vectorINS_3api12RoadPositionESaIS8_EESC_RKNS7_11RoadNetworkE(ptr dead_on_unwind noalias writable sret(%"class.maliput::routing::Phase") align 8, i32 noundef, ptr noundef nonnull align 8 dereferenceable(104), double noundef, ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(88)) #2

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

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #6

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSaIN7maliput3api12RoadPositionEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EEC2ESt16initializer_listIS2_ERKS3_(ptr noundef nonnull align 8 dereferenceable(24), ptr, i64, ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSaIN7maliput7routing5PhaseEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EEC2ESt16initializer_listIS2_ERKS3_(ptr noundef nonnull align 8 dereferenceable(24), ptr, i64, ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #0 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt15__new_allocatorIN7maliput7routing5PhaseEED2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #0 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN7maliput7routing5PhaseD2Ev(ptr noundef nonnull align 8 dereferenceable(96)) unnamed_addr #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #0 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt15__new_allocatorIN7maliput3api12RoadPositionEED2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #0 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #0 align 2

declare i64 @_ZN7maliput7routing5graph16DetermineEdgeEndERKNS1_5GraphERKNS1_4EdgeES7_(ptr noundef nonnull align 8 dereferenceable(112), ptr noundef nonnull align 8 dereferenceable(104), ptr noundef nonnull align 8 dereferenceable(104)) #3

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EE9push_backEOS2_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(96)) #2 align 2

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN7maliput12_GLOBAL__N_123ComputeAllRoadPositionsERKNS_7routing5graph4EdgeENS_3api7LaneEnd5WhichES5_(ptr dead_on_unwind noalias writable sret(%"class.std::vector.136") align 8, ptr noundef nonnull align 8 dereferenceable(104), i32 noundef, ptr noundef nonnull align 8 dereferenceable(104)) #2

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNKRSt8optionalIN7maliput3api7LaneEnd5WhichEE5valueEv(ptr noundef nonnull align 4 dereferenceable(8)) #2 align 2

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPSt6vectorIN7maliput7routing5graph4EdgeESaIS5_EES1_IS7_SaIS7_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8)) #0 align 2

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN7maliput12_GLOBAL__N_112FilterRoutesERKNS_7routing18RoutingConstraintsERKSt6vectorINS1_5RouteESaIS6_EE(ptr dead_on_unwind noalias writable sret(%"class.std::vector") align 8, ptr noundef nonnull align 8 dereferenceable(40), ptr noundef nonnull align 8 dereferenceable(24)) #2

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIN7maliput7routing5RouteESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN7maliput12_GLOBAL__N_136ValidateEndToEndConnectivityInRoutesERKSt6vectorINS_7routing5RouteESaIS3_EE(ptr noundef nonnull align 8 dereferenceable(24)) #2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZNSt14_Optional_baseIN7maliput7routing5graph4NodeELb0ELb0EED2Ev(ptr noundef nonnull align 8 dereferenceable(136)) unnamed_addr #5 align 2

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !6, i64 0}
!10 = !{!"_ZTSN7maliput3api12RoadPositionE", !6, i64 0, !11, i64 8}
!11 = !{!"_ZTSN7maliput3api12LanePositionE", !12, i64 0}
!12 = !{!"_ZTSN7maliput4math7Vector3E", !13, i64 0}
!13 = !{!"_ZTSN7maliput4math10VectorBaseILm3ENS0_7Vector3EEE", !14, i64 0}
!14 = !{!"_ZTSSt5arrayIdLm3EE", !7, i64 0}
!15 = !{!16, !6, i64 8}
!16 = !{!"_ZTSN7maliput14DistanceRouterE", !17, i64 0, !6, i64 8, !18, i64 16, !19, i64 24}
!17 = !{!"_ZTSN7maliput7routing6RouterE"}
!18 = !{!"double", !7, i64 0}
!19 = !{!"_ZTSN7maliput7routing5graph5GraphE", !20, i64 0, !26, i64 56}
!20 = !{!"_ZTSSt13unordered_mapIN7maliput3api22TypeSpecificIdentifierINS0_7routing5graph4EdgeEEES5_St4hashIS6_ESt8equal_toIS6_ESaISt4pairIKS6_S5_EEE", !21, i64 0}
!21 = !{!"_ZTSSt10_HashtableIN7maliput3api22TypeSpecificIdentifierINS0_7routing5graph4EdgeEEESt4pairIKS6_S5_ESaIS9_ENSt8__detail10_Select1stESt8equal_toIS6_ESt4hashIS6_ENSB_18_Mod_range_hashingENSB_20_Default_ranged_hashENSB_20_Prime_rehash_policyENSB_17_Hashtable_traitsILb0ELb0ELb1EEEE", !6, i64 0, !22, i64 8, !23, i64 16, !22, i64 24, !24, i64 32, !6, i64 48}
!22 = !{!"long", !7, i64 0}
!23 = !{!"_ZTSNSt8__detail15_Hash_node_baseE", !6, i64 0}
!24 = !{!"_ZTSNSt8__detail20_Prime_rehash_policyE", !25, i64 0, !22, i64 8}
!25 = !{!"float", !7, i64 0}
!26 = !{!"_ZTSSt13unordered_mapIN7maliput3api22TypeSpecificIdentifierINS0_7routing5graph4NodeEEES5_St4hashIS6_ESt8equal_toIS6_ESaISt4pairIKS6_S5_EEE", !27, i64 0}
!27 = !{!"_ZTSSt10_HashtableIN7maliput3api22TypeSpecificIdentifierINS0_7routing5graph4NodeEEESt4pairIKS6_S5_ESaIS9_ENSt8__detail10_Select1stESt8equal_toIS6_ESt4hashIS6_ENSB_18_Mod_range_hashingENSB_20_Default_ranged_hashENSB_20_Prime_rehash_policyENSB_17_Hashtable_traitsILb0ELb0ELb1EEEE", !6, i64 0, !22, i64 8, !23, i64 16, !22, i64 24, !24, i64 32, !6, i64 48}
!28 = !{!29, !29, i64 0}
!29 = !{!"_ZTSN7maliput3api7LaneEnd5WhichE", !7, i64 0}
!30 = !{!16, !18, i64 16}
!31 = !{!32, !6, i64 0}
!32 = !{!"_ZTSSt16initializer_listIN7maliput3api12RoadPositionEE", !6, i64 0, !22, i64 8}
!33 = !{!32, !22, i64 8}
!34 = !{!35, !6, i64 0}
!35 = !{!"_ZTSSt16initializer_listIN7maliput7routing5PhaseEE", !6, i64 0, !22, i64 8}
!36 = !{!35, !22, i64 8}
!37 = !{!38, !38, i64 0}
!38 = !{!"int", !7, i64 0}
!39 = distinct !{!39, !40}
!40 = !{!"llvm.loop.mustprogress"}


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

%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<maliput::routing::Route, std::allocator<maliput::routing::Route>>::_Vector_impl" }
%"struct.std::_Vector_base<maliput::routing::Route, std::allocator<maliput::routing::Route>>::_Vector_impl" = type { %"struct.std::_Vector_base<maliput::routing::Route, std::allocator<maliput::routing::Route>>::_Vector_impl_data" }
%"struct.std::_Vector_base<maliput::routing::Route, std::allocator<maliput::routing::Route>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.maliput::api::TypeSpecificIdentifier" = type { %"class.std::__cxx11::basic_string" }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"class.std::optional.101" = type { %"struct.std::_Optional_base.102" }
%"struct.std::_Optional_base.102" = type { %"struct.std::_Optional_payload.104" }
%"struct.std::_Optional_payload.104" = type { %"struct.std::_Optional_payload.base.118", [7 x i8] }
%"struct.std::_Optional_payload.base.118" = type { %"struct.std::_Optional_payload_base.base.117" }
%"struct.std::_Optional_payload_base.base.117" = type <{ %"union.std::_Optional_payload_base<maliput::routing::graph::Node>::_Storage", i8 }>
%"union.std::_Optional_payload_base<maliput::routing::graph::Node>::_Storage" = type { %"struct.maliput::routing::graph::Node" }
%"struct.maliput::routing::graph::Node" = type { %"class.maliput::api::TypeSpecificIdentifier.107", %"class.std::set", %"class.std::set.111" }
%"class.maliput::api::TypeSpecificIdentifier.107" = type { %"class.std::__cxx11::basic_string" }
%"class.std::set" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<const maliput::api::BranchPoint *, const maliput::api::BranchPoint *, std::_Identity<const maliput::api::BranchPoint *>, std::less<const maliput::api::BranchPoint *>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<const maliput::api::BranchPoint *, const maliput::api::BranchPoint *, std::_Identity<const maliput::api::BranchPoint *>, std::less<const maliput::api::BranchPoint *>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%"class.std::set.111" = type { %"class.std::_Rb_tree.112" }
%"class.std::_Rb_tree.112" = type { %"struct.std::_Rb_tree<maliput::api::TypeSpecificIdentifier<maliput::routing::graph::Edge>, maliput::api::TypeSpecificIdentifier<maliput::routing::graph::Edge>, std::_Identity<maliput::api::TypeSpecificIdentifier<maliput::routing::graph::Edge>>, std::less<maliput::api::TypeSpecificIdentifier<maliput::routing::graph::Edge>>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<maliput::api::TypeSpecificIdentifier<maliput::routing::graph::Edge>, maliput::api::TypeSpecificIdentifier<maliput::routing::graph::Edge>, std::_Identity<maliput::api::TypeSpecificIdentifier<maliput::routing::graph::Edge>>, std::less<maliput::api::TypeSpecificIdentifier<maliput::routing::graph::Edge>>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"class.std::vector.121" = type { %"struct.std::_Vector_base.122" }
%"struct.std::_Vector_base.122" = type { %"struct.std::_Vector_base<std::vector<maliput::routing::graph::Edge>, std::allocator<std::vector<maliput::routing::graph::Edge>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::vector<maliput::routing::graph::Edge>, std::allocator<std::vector<maliput::routing::graph::Edge>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::vector<maliput::routing::graph::Edge>, std::allocator<std::vector<maliput::routing::graph::Edge>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::vector<maliput::routing::graph::Edge>, std::allocator<std::vector<maliput::routing::graph::Edge>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%"class.std::vector.131" = type { %"struct.std::_Vector_base.132" }
%"struct.std::_Vector_base.132" = type { %"struct.std::_Vector_base<maliput::routing::Phase, std::allocator<maliput::routing::Phase>>::_Vector_impl" }
%"struct.std::_Vector_base<maliput::routing::Phase, std::allocator<maliput::routing::Phase>>::_Vector_impl" = type { %"struct.std::_Vector_base<maliput::routing::Phase, std::allocator<maliput::routing::Phase>>::_Vector_impl_data" }
%"struct.std::_Vector_base<maliput::routing::Phase, std::allocator<maliput::routing::Phase>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.maliput::routing::Phase" = type { i32, double, %"class.std::vector.136", %"class.std::vector.136", %"class.std::vector.141", ptr }
%"class.std::vector.136" = type { %"struct.std::_Vector_base.137" }
%"struct.std::_Vector_base.137" = type { %"struct.std::_Vector_base<maliput::api::RoadPosition, std::allocator<maliput::api::RoadPosition>>::_Vector_impl" }
%"struct.std::_Vector_base<maliput::api::RoadPosition, std::allocator<maliput::api::RoadPosition>>::_Vector_impl" = type { %"struct.std::_Vector_base<maliput::api::RoadPosition, std::allocator<maliput::api::RoadPosition>>::_Vector_impl_data" }
%"struct.std::_Vector_base<maliput::api::RoadPosition, std::allocator<maliput::api::RoadPosition>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.141" = type { %"struct.std::_Vector_base.142" }
%"struct.std::_Vector_base.142" = type { %"struct.std::_Vector_base<maliput::api::LaneSRange, std::allocator<maliput::api::LaneSRange>>::_Vector_impl" }
%"struct.std::_Vector_base<maliput::api::LaneSRange, std::allocator<maliput::api::LaneSRange>>::_Vector_impl" = type { %"struct.std::_Vector_base<maliput::api::LaneSRange, std::allocator<maliput::api::LaneSRange>>::_Vector_impl_data" }
%"struct.std::_Vector_base<maliput::api::LaneSRange, std::allocator<maliput::api::LaneSRange>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.maliput::api::RoadPosition" = type { ptr, %"class.maliput::api::LanePosition" }
%"class.maliput::api::LanePosition" = type { %"class.maliput::math::Vector3" }
%"class.maliput::math::Vector3" = type { %"class.maliput::math::VectorBase" }
%"class.maliput::math::VectorBase" = type { %"struct.std::array" }
%"struct.std::array" = type { [3 x double] }
%"class.std::allocator.138" = type { i8 }
%"class.std::allocator.133" = type { i8 }
%"class.std::optional.167" = type { %"struct.std::_Optional_base.168" }
%"struct.std::_Optional_base.168" = type { %"struct.std::_Optional_payload.170" }
%"struct.std::_Optional_payload.170" = type { %"struct.std::_Optional_payload_base.base.172", [3 x i8] }
%"struct.std::_Optional_payload_base.base.172" = type <{ %"union.std::_Optional_payload_base<maliput::api::LaneEnd::Which>::_Storage", i8 }>
%"union.std::_Optional_payload_base<maliput::api::LaneEnd::Which>::_Storage" = type { i32 }

@.str.1 = external hidden unnamed_addr constant [85 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [22 x i8], align 1
@__func__._ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE = external hidden unnamed_addr constant [16 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [78 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [74 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [28 x i8], align 1

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZNK7maliput3api11RoadNetwork13road_geometryEv(ptr noundef nonnull align 8 dereferenceable(88)) local_unnamed_addr #0 align 2

declare i32 @__gxx_personality_v0(...)

; Function Attrs: noreturn
declare void @_ZN7maliput6common8internal5ThrowEPKcS3_S3_i(ptr noundef, ptr noundef, ptr noundef, i32 noundef) local_unnamed_addr #1

; Function Attrs: mustprogress uwtable
define dso_local void @_ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE(ptr dead_on_unwind noalias writable sret(%"class.std::vector") align 8 %0, ptr noundef nonnull align 8 dereferenceable(136) %1, ptr noundef nonnull align 8 dereferenceable(32) %2, ptr noundef nonnull align 8 dereferenceable(32) %3, ptr noundef nonnull align 8 dereferenceable(40) %4) unnamed_addr #2 align 2 personality ptr @__gxx_personality_v0 {
  %6 = alloca %"class.maliput::api::TypeSpecificIdentifier", align 8
  %7 = alloca %"class.maliput::api::TypeSpecificIdentifier", align 8
  %8 = alloca %"class.std::optional.101", align 8
  %9 = alloca i32, align 4
  %10 = alloca %"class.std::optional.101", align 8
  %11 = alloca i32, align 4
  %12 = alloca %"class.std::vector.121", align 8
  %13 = alloca %"class.std::vector.121", align 8
  %14 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %15 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %16 = alloca %"class.std::vector.131", align 8
  %17 = alloca [1 x %"class.maliput::routing::Phase"], align 8
  %18 = alloca %"class.std::vector.136", align 8
  %19 = alloca [1 x %"struct.maliput::api::RoadPosition"], align 8
  %20 = alloca %"class.std::allocator.138", align 1
  %21 = alloca %"class.std::vector.136", align 8
  %22 = alloca [1 x %"struct.maliput::api::RoadPosition"], align 8
  %23 = alloca %"class.std::allocator.138", align 1
  %24 = alloca %"class.std::allocator.133", align 1
  %25 = alloca ptr, align 8
  %26 = alloca %"class.std::vector.131", align 8
  %27 = alloca %"class.std::optional.167", align 8
  %28 = alloca %"class.maliput::routing::Phase", align 8
  %29 = alloca %"class.std::vector.136", align 8
  %30 = alloca [1 x %"struct.maliput::api::RoadPosition"], align 8
  %31 = alloca %"class.std::allocator.138", align 1
  %32 = alloca %"class.std::vector.136", align 8
  %33 = alloca %"class.std::optional.167", align 8
  %34 = alloca %"class.maliput::routing::Phase", align 8
  %35 = alloca %"class.std::vector.136", align 8
  %36 = alloca %"class.std::vector.136", align 8
  %37 = alloca [1 x %"struct.maliput::api::RoadPosition"], align 8
  %38 = alloca %"class.std::allocator.138", align 1
  %39 = alloca %"class.std::optional.167", align 8
  %40 = alloca %"class.std::optional.167", align 8
  %41 = alloca %"class.maliput::routing::Phase", align 8
  %42 = alloca %"class.std::vector.136", align 8
  %43 = alloca %"class.std::vector.136", align 8
  %44 = alloca ptr, align 8
  %45 = alloca %"class.std::vector", align 8
  %46 = load ptr, ptr %2, align 8, !tbaa !5
  %.not = icmp eq ptr %46, null
  br i1 %.not, label %47, label %48

47:                                               ; preds = %5
  tail call void @_ZN7maliput6common8internal5ThrowEPKcS3_S3_i(ptr noundef nonnull @.str.2, ptr noundef nonnull @__func__._ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE, ptr noundef nonnull @.str.1, i32 noundef 343) #7
  unreachable

48:                                               ; preds = %5
  %49 = getelementptr inbounds i8, ptr %1, i64 8
  %50 = load ptr, ptr %49, align 8, !tbaa !14
  %51 = tail call noundef ptr @_ZNK7maliput3api11RoadNetwork13road_geometryEv(ptr noundef nonnull align 8 dereferenceable(88) %50)
  %52 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK7maliput3api12RoadGeometry4ByIdEv(ptr noundef nonnull align 8 dereferenceable(8) %51)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %6) #8
  %53 = load ptr, ptr %2, align 8, !tbaa !5
  call void @_ZNK7maliput3api4Lane2idEv(ptr dead_on_unwind nonnull writable sret(%"class.maliput::api::TypeSpecificIdentifier") align 8 %6, ptr noundef nonnull align 8 dereferenceable(8) %53)
  %54 = invoke noundef ptr @_ZNK7maliput3api12RoadGeometry7IdIndex7GetLaneERKNS0_22TypeSpecificIdentifierINS0_4LaneEEE(ptr noundef nonnull align 8 dereferenceable(8) %52, ptr noundef nonnull align 8 dereferenceable(32) %6)
          to label %55 unwind label %58

55:                                               ; preds = %48
  %56 = load ptr, ptr %2, align 8, !tbaa !5
  %.not104 = icmp eq ptr %54, %56
  call void @_ZN7maliput3api22TypeSpecificIdentifierINS0_4LaneEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %6) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %6) #8
  br i1 %.not104, label %60, label %57

57:                                               ; preds = %55
  call void @_ZN7maliput6common8internal5ThrowEPKcS3_S3_i(ptr noundef nonnull @.str.3, ptr noundef nonnull @__func__._ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE, ptr noundef nonnull @.str.1, i32 noundef 344) #7
  unreachable

58:                                               ; preds = %48
  %59 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7maliput3api22TypeSpecificIdentifierINS0_4LaneEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %6) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %6) #8
  br label %273

60:                                               ; preds = %55
  %61 = load ptr, ptr %3, align 8, !tbaa !5
  %.not105 = icmp eq ptr %61, null
  br i1 %.not105, label %62, label %63

62:                                               ; preds = %60
  call void @_ZN7maliput6common8internal5ThrowEPKcS3_S3_i(ptr noundef nonnull @.str.4, ptr noundef nonnull @__func__._ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE, ptr noundef nonnull @.str.1, i32 noundef 345) #7
  unreachable

63:                                               ; preds = %60
  %64 = load ptr, ptr %49, align 8, !tbaa !14
  %65 = call noundef ptr @_ZNK7maliput3api11RoadNetwork13road_geometryEv(ptr noundef nonnull align 8 dereferenceable(88) %64)
  %66 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK7maliput3api12RoadGeometry4ByIdEv(ptr noundef nonnull align 8 dereferenceable(8) %65)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %7) #8
  %67 = load ptr, ptr %3, align 8, !tbaa !5
  call void @_ZNK7maliput3api4Lane2idEv(ptr dead_on_unwind nonnull writable sret(%"class.maliput::api::TypeSpecificIdentifier") align 8 %7, ptr noundef nonnull align 8 dereferenceable(8) %67)
  %68 = invoke noundef ptr @_ZNK7maliput3api12RoadGeometry7IdIndex7GetLaneERKNS0_22TypeSpecificIdentifierINS0_4LaneEEE(ptr noundef nonnull align 8 dereferenceable(8) %66, ptr noundef nonnull align 8 dereferenceable(32) %7)
          to label %69 unwind label %72

69:                                               ; preds = %63
  %70 = load ptr, ptr %3, align 8, !tbaa !5
  %.not106 = icmp eq ptr %68, %70
  call void @_ZN7maliput3api22TypeSpecificIdentifierINS0_4LaneEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %7) #8
  br i1 %.not106, label %74, label %71

71:                                               ; preds = %69
  call void @_ZN7maliput6common8internal5ThrowEPKcS3_S3_i(ptr noundef nonnull @.str.5, ptr noundef nonnull @__func__._ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE, ptr noundef nonnull @.str.1, i32 noundef 346) #7
  unreachable

72:                                               ; preds = %63
  %73 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7maliput3api22TypeSpecificIdentifierINS0_4LaneEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %7) #8
  br label %273

74:                                               ; preds = %69
  call void @_ZN7maliput7routing26ValidateRoutingConstraintsERKNS0_18RoutingConstraintsE(ptr noundef nonnull align 8 dereferenceable(40) %4)
  call void @llvm.lifetime.start.p0(i64 136, ptr nonnull %8) #8
  %75 = getelementptr inbounds i8, ptr %1, i64 24
  %76 = load ptr, ptr %2, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %9) #8
  store i32 0, ptr %9, align 4, !tbaa !27
  call void @_ZN7maliput7routing5graph8FindNodeERKNS1_5GraphERKNS_3api4LaneERKNS5_7LaneEnd5WhichE(ptr dead_on_unwind nonnull writable sret(%"class.std::optional.101") align 8 %8, ptr noundef nonnull align 8 dereferenceable(112) %75, ptr noundef nonnull align 8 dereferenceable(8) %76, ptr noundef nonnull align 4 dereferenceable(4) %9)
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %9) #8
  call void @llvm.lifetime.start.p0(i64 136, ptr nonnull %10) #8
  %77 = load ptr, ptr %3, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %11) #8
  store i32 1, ptr %11, align 4, !tbaa !27
  invoke void @_ZN7maliput7routing5graph8FindNodeERKNS1_5GraphERKNS_3api4LaneERKNS5_7LaneEnd5WhichE(ptr dead_on_unwind nonnull writable sret(%"class.std::optional.101") align 8 %10, ptr noundef nonnull align 8 dereferenceable(112) %75, ptr noundef nonnull align 8 dereferenceable(8) %77, ptr noundef nonnull align 4 dereferenceable(4) %11)
          to label %78 unwind label %80

78:                                               ; preds = %74
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %11) #8
  %79 = call noundef zeroext i1 @_ZNKSt8optionalIN7maliput7routing5graph4NodeEE9has_valueEv(ptr noundef nonnull align 8 dereferenceable(136) %8) #8
  br i1 %79, label %84, label %.invoke

80:                                               ; preds = %74
  %81 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %11) #8
  br label %272

82:                                               ; preds = %.invoke
  %83 = landingpad { ptr, i32 }
          cleanup
  br label %271

84:                                               ; preds = %78
  %85 = call noundef zeroext i1 @_ZNKSt8optionalIN7maliput7routing5graph4NodeEE9has_valueEv(ptr noundef nonnull align 8 dereferenceable(136) %10) #8
  br i1 %85, label %88, label %.invoke

.invoke:                                          ; preds = %78, %84
  %86 = phi ptr [ @.str.7, %84 ], [ @.str.6, %78 ]
  %87 = phi i32 [ 355, %84 ], [ 354, %78 ]
  invoke void @_ZN7maliput6common8internal5ThrowEPKcS3_S3_i(ptr noundef nonnull %86, ptr noundef nonnull @__func__._ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE, ptr noundef nonnull @.str.1, i32 noundef %87) #7
          to label %.cont unwind label %82

.cont:                                            ; preds = %.invoke
  unreachable

88:                                               ; preds = %84
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %12) #8
  %89 = invoke noundef nonnull align 8 dereferenceable(128) ptr @_ZNKRSt8optionalIN7maliput7routing5graph4NodeEE5valueEv(ptr noundef nonnull align 8 dereferenceable(136) %8)
          to label %90 unwind label %100

90:                                               ; preds = %88
  %91 = invoke noundef nonnull align 8 dereferenceable(128) ptr @_ZNKRSt8optionalIN7maliput7routing5graph4NodeEE5valueEv(ptr noundef nonnull align 8 dereferenceable(136) %10)
          to label %92 unwind label %100

92:                                               ; preds = %90
  invoke void @_ZN7maliput7routing5graph20FindAllEdgeSequencesERKNS1_5GraphERKNS1_4NodeES7_(ptr dead_on_unwind nonnull writable sret(%"class.std::vector.121") align 8 %12, ptr noundef nonnull align 8 dereferenceable(112) %75, ptr noundef nonnull align 8 dereferenceable(128) %89, ptr noundef nonnull align 8 dereferenceable(128) %91)
          to label %93 unwind label %100

93:                                               ; preds = %92
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %13) #8
  invoke void @_ZN7maliput12_GLOBAL__N_124MaybeAddStartAndEndEdgesERKNS_7routing5graph5GraphERKNS_3api12RoadPositionES9_RKSt6vectorISA_INS2_4EdgeESaISB_EESaISD_EE(ptr dead_on_unwind nonnull writable sret(%"class.std::vector.121") align 8 %13, ptr noundef nonnull align 8 dereferenceable(112) %75, ptr noundef nonnull align 8 dereferenceable(32) %2, ptr noundef nonnull align 8 dereferenceable(32) %3, ptr noundef nonnull align 8 dereferenceable(24) %12)
          to label %94 unwind label %102

94:                                               ; preds = %93
  %95 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIS_IN7maliput7routing5graph4EdgeESaIS3_EESaIS5_EEaSEOS7_(ptr noundef nonnull align 8 dereferenceable(24) %12, ptr noundef nonnull align 8 dereferenceable(24) %13) #8
  call void @_ZNSt6vectorIS_IN7maliput7routing5graph4EdgeESaIS3_EESaIS5_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %13) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %13) #8
  call void @_ZNSt6vectorIN7maliput7routing5RouteESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %14) #8
  %96 = call ptr @_ZNSt6vectorIS_IN7maliput7routing5graph4EdgeESaIS3_EESaIS5_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %12) #8
  store ptr %96, ptr %14, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %15) #8
  %97 = call ptr @_ZNSt6vectorIS_IN7maliput7routing5graph4EdgeESaIS3_EESaIS5_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %12) #8
  store ptr %97, ptr %15, align 8
  %98 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPSt6vectorIN7maliput7routing5graph4EdgeESaIS5_EES1_IS7_SaIS7_EEEEbRKNS_17__normal_iteratorIT_T0_EESG_(ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 8 dereferenceable(8) %15) #8
  br i1 %98, label %.lr.ph154, label %._crit_edge155

.lr.ph154:                                        ; preds = %94
  %99 = getelementptr inbounds i8, ptr %1, i64 16
  br label %104

._crit_edge155:                                   ; preds = %254, %94
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %15) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #8
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %45) #8
  invoke void @_ZN7maliput12_GLOBAL__N_112FilterRoutesERKNS_7routing18RoutingConstraintsERKSt6vectorINS1_5RouteESaIS6_EE(ptr dead_on_unwind nonnull writable sret(%"class.std::vector") align 8 %45, ptr noundef nonnull align 8 dereferenceable(40) %4, ptr noundef nonnull align 8 dereferenceable(24) %0)
          to label %261 unwind label %263

100:                                              ; preds = %92, %90, %88
  %101 = landingpad { ptr, i32 }
          cleanup
  br label %270

102:                                              ; preds = %93
  %103 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %13) #8
  br label %269

104:                                              ; preds = %.lr.ph154, %254
  %105 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPSt6vectorIN7maliput7routing5graph4EdgeESaIS5_EES1_IS7_SaIS7_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %14) #8
  %106 = call noundef i64 @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %105) #8
  %107 = icmp eq i64 %106, 1
  br i1 %107, label %108, label %131

108:                                              ; preds = %104
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %16) #8
  call void @llvm.lifetime.start.p0(i64 96, ptr nonnull %17) #8
  %109 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %105, i64 noundef 0) #8
  %110 = load double, ptr %99, align 8, !tbaa !29
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %18) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %19) #8
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(32) %19, ptr noundef nonnull align 8 dereferenceable(32) %2, i64 32, i1 false)
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %20) #8
  call void @_ZNSaIN7maliput3api12RoadPositionEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #8
  invoke void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EEC2ESt16initializer_listIS2_ERKS3_(ptr noundef nonnull align 8 dereferenceable(24) %18, ptr nonnull %19, i64 1, ptr noundef nonnull align 1 dereferenceable(1) %20)
          to label %111 unwind label %119

111:                                              ; preds = %108
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %21) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %22) #8
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(32) %22, ptr noundef nonnull align 8 dereferenceable(32) %3, i64 32, i1 false)
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %23) #8
  call void @_ZNSaIN7maliput3api12RoadPositionEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %23) #8
  invoke void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EEC2ESt16initializer_listIS2_ERKS3_(ptr noundef nonnull align 8 dereferenceable(24) %21, ptr nonnull %22, i64 1, ptr noundef nonnull align 1 dereferenceable(1) %23)
          to label %112 unwind label %121

112:                                              ; preds = %111
  %113 = load ptr, ptr %49, align 8, !tbaa !14
  invoke void @_ZN7maliput12_GLOBAL__N_19MakePhaseEiRKNS_7routing5graph4EdgeEdRKSt6vectorINS_3api12RoadPositionESaIS8_EESC_RKNS7_11RoadNetworkE(ptr dead_on_unwind nonnull writable sret(%"class.maliput::routing::Phase") align 8 %17, i32 noundef 0, ptr noundef nonnull align 8 dereferenceable(104) %109, double noundef %110, ptr noundef nonnull align 8 dereferenceable(24) %18, ptr noundef nonnull align 8 dereferenceable(24) %21, ptr noundef nonnull align 8 dereferenceable(88) %113)
          to label %114 unwind label %123

114:                                              ; preds = %112
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %24) #8
  call void @_ZNSaIN7maliput7routing5PhaseEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %24) #8
  invoke void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EEC2ESt16initializer_listIS2_ERKS3_(ptr noundef nonnull align 8 dereferenceable(24) %16, ptr nonnull %17, i64 1, ptr noundef nonnull align 1 dereferenceable(1) %24)
          to label %115 unwind label %125

115:                                              ; preds = %114
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %25) #8
  %116 = load ptr, ptr %49, align 8, !tbaa !14
  store ptr %116, ptr %25, align 8, !tbaa !30
  %117 = invoke noundef nonnull align 8 dereferenceable(88) ptr @_ZNSt6vectorIN7maliput7routing5RouteESaIS2_EE12emplace_backIJS_INS1_5PhaseESaIS6_EEPKNS0_3api11RoadNetworkEEEERS2_DpOT_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(24) %16, ptr noundef nonnull align 8 dereferenceable(8) %25)
          to label %118 unwind label %127

118:                                              ; preds = %115
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %25) #8
  call void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %16) #8
  call void @_ZNSt15__new_allocatorIN7maliput7routing5PhaseEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %24) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %24) #8
  call void @_ZN7maliput7routing5PhaseD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %17) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %21) #8
  call void @_ZNSt15__new_allocatorIN7maliput3api12RoadPositionEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %23) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %23) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %22) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %21) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %18) #8
  call void @_ZNSt15__new_allocatorIN7maliput3api12RoadPositionEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %20) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %19) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %18) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %17) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %16) #8
  br label %254

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

121:                                              ; preds = %111
  %122 = landingpad { ptr, i32 }
          cleanup
  br label %129

123:                                              ; preds = %112
  %124 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit

125:                                              ; preds = %114
  %126 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit.loopexit

127:                                              ; preds = %115
  %128 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %25) #8
  call void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %16) #8
  br label %.loopexit.loopexit

.loopexit.loopexit:                               ; preds = %127, %125
  %.pn124 = phi { ptr, i32 } [ %128, %127 ], [ %126, %125 ]
  call void @_ZNSt15__new_allocatorIN7maliput7routing5PhaseEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %24) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %24) #8
  call void @_ZN7maliput7routing5PhaseD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %17) #8
  br label %.loopexit

.loopexit:                                        ; preds = %.loopexit.loopexit, %123
  %.pn124.pn = phi { ptr, i32 } [ %124, %123 ], [ %.pn124, %.loopexit.loopexit ]
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %21) #8
  br label %129

129:                                              ; preds = %.loopexit, %121
  %.pn124.pn.pn = phi { ptr, i32 } [ %.pn124.pn, %.loopexit ], [ %122, %121 ]
  call void @_ZNSt15__new_allocatorIN7maliput3api12RoadPositionEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %23) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %23) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %22) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %21) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %18) #8
  br label %130

130:                                              ; preds = %129, %119
  %.pn124.pn.pn.pn = phi { ptr, i32 } [ %.pn124.pn.pn, %129 ], [ %120, %119 ]
  call void @_ZNSt15__new_allocatorIN7maliput3api12RoadPositionEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %20) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %19) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %18) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %17) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %16) #8
  br label %260

131:                                              ; preds = %104
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %26) #8
  call void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %26) #8
  %132 = call noundef i64 @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %105) #8
  %133 = trunc i64 %132 to i32
  %134 = icmp sgt i32 %133, 0
  br i1 %134, label %.lr.ph, label %._crit_edge

._crit_edge:                                      ; preds = %249, %131
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %44) #8
  %135 = load ptr, ptr %49, align 8, !tbaa !14
  store ptr %135, ptr %44, align 8, !tbaa !30
  %136 = invoke noundef nonnull align 8 dereferenceable(88) ptr @_ZNSt6vectorIN7maliput7routing5RouteESaIS2_EE12emplace_backIJRS_INS1_5PhaseESaIS6_EEPKNS0_3api11RoadNetworkEEEERS2_DpOT_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(24) %26, ptr noundef nonnull align 8 dereferenceable(8) %44)
          to label %253 unwind label %257

.lr.ph:                                           ; preds = %131, %249
  %indvars.iv = phi i64 [ %indvars.iv.next.pre-phi, %249 ], [ 0, %131 ]
  %137 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %105, i64 noundef %indvars.iv) #8
  %138 = icmp eq i64 %indvars.iv, 0
  br i1 %138, label %139, label %169

139:                                              ; preds = %.lr.ph
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %27) #8
  %140 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %105, i64 noundef 1) #8
  %141 = invoke i64 @_ZN7maliput7routing5graph16DetermineEdgeEndERKNS1_5GraphERKNS1_4EdgeES7_(ptr noundef nonnull align 8 dereferenceable(112) %75, ptr noundef nonnull align 8 dereferenceable(104) %137, ptr noundef nonnull align 8 dereferenceable(104) %140)
          to label %142 unwind label %.loopexit147

142:                                              ; preds = %139
  store i64 %141, ptr %27, align 8
  %143 = call noundef zeroext i1 @_ZNKSt8optionalIN7maliput3api7LaneEnd5WhichEE9has_valueEv(ptr noundef nonnull align 4 dereferenceable(8) %27) #8
  br i1 %143, label %146, label %144

144:                                              ; preds = %142
  invoke void @_ZN7maliput6common8internal5ThrowEPKcS3_S3_i(ptr noundef nonnull @.str.8, ptr noundef nonnull @__func__._ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE, ptr noundef nonnull @.str.1, i32 noundef 383) #7
          to label %145 unwind label %.loopexit.split-lp148

145:                                              ; preds = %144
  unreachable

.loopexit147:                                     ; preds = %139
  %lpad.loopexit149 = landingpad { ptr, i32 }
          cleanup
  br label %168

.loopexit.split-lp148:                            ; preds = %144
  %lpad.loopexit.split-lp150 = landingpad { ptr, i32 }
          cleanup
  br label %168

146:                                              ; preds = %142
  call void @llvm.lifetime.start.p0(i64 96, ptr nonnull %28) #8
  %147 = load double, ptr %99, align 8, !tbaa !29
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %29) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %30) #8
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(32) %30, ptr noundef nonnull align 8 dereferenceable(32) %2, i64 32, i1 false)
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %31) #8
  call void @_ZNSaIN7maliput3api12RoadPositionEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %31) #8
  invoke void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EEC2ESt16initializer_listIS2_ERKS3_(ptr noundef nonnull align 8 dereferenceable(24) %29, ptr nonnull %30, i64 1, ptr noundef nonnull align 1 dereferenceable(1) %31)
          to label %148 unwind label %157

148:                                              ; preds = %146
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %32) #8
  %149 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZNKRSt8optionalIN7maliput3api7LaneEnd5WhichEE5valueEv(ptr noundef nonnull align 4 dereferenceable(8) %27)
          to label %150 unwind label %159

150:                                              ; preds = %148
  %151 = load i32, ptr %149, align 4, !tbaa !27
  %152 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %105, i64 noundef 1) #8
  invoke void @_ZN7maliput12_GLOBAL__N_123ComputeAllRoadPositionsERKNS_7routing5graph4EdgeENS_3api7LaneEnd5WhichES5_(ptr dead_on_unwind nonnull writable sret(%"class.std::vector.136") align 8 %32, ptr noundef nonnull align 8 dereferenceable(104) %137, i32 noundef %151, ptr noundef nonnull align 8 dereferenceable(104) %152)
          to label %153 unwind label %159

153:                                              ; preds = %150
  %154 = load ptr, ptr %49, align 8, !tbaa !14
  invoke void @_ZN7maliput12_GLOBAL__N_19MakePhaseEiRKNS_7routing5graph4EdgeEdRKSt6vectorINS_3api12RoadPositionESaIS8_EESC_RKNS7_11RoadNetworkE(ptr dead_on_unwind nonnull writable sret(%"class.maliput::routing::Phase") align 8 %28, i32 noundef 0, ptr noundef nonnull align 8 dereferenceable(104) %137, double noundef %147, ptr noundef nonnull align 8 dereferenceable(24) %29, ptr noundef nonnull align 8 dereferenceable(24) %32, ptr noundef nonnull align 8 dereferenceable(88) %154)
          to label %155 unwind label %161

155:                                              ; preds = %153
  invoke void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EE9push_backEOS2_(ptr noundef nonnull align 8 dereferenceable(24) %26, ptr noundef nonnull align 8 dereferenceable(96) %28)
          to label %156 unwind label %163

156:                                              ; preds = %155
  call void @_ZN7maliput7routing5PhaseD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %28) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %32) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %32) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %29) #8
  call void @_ZNSt15__new_allocatorIN7maliput3api12RoadPositionEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %31) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %31) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %30) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %29) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %28) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %27) #8
  br label %249

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

159:                                              ; preds = %150, %148
  %160 = landingpad { ptr, i32 }
          cleanup
  br label %166

161:                                              ; preds = %153
  %162 = landingpad { ptr, i32 }
          cleanup
  br label %165

163:                                              ; preds = %155
  %164 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7maliput7routing5PhaseD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %28) #8
  br label %165

165:                                              ; preds = %163, %161
  %.pn117 = phi { ptr, i32 } [ %164, %163 ], [ %162, %161 ]
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %32) #8
  br label %166

166:                                              ; preds = %165, %159
  %.pn117.pn = phi { ptr, i32 } [ %.pn117, %165 ], [ %160, %159 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %32) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %29) #8
  br label %167

167:                                              ; preds = %166, %157
  %.pn117.pn.pn = phi { ptr, i32 } [ %.pn117.pn, %166 ], [ %158, %157 ]
  call void @_ZNSt15__new_allocatorIN7maliput3api12RoadPositionEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %31) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %31) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %30) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %29) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %28) #8
  br label %168

168:                                              ; preds = %.loopexit147, %.loopexit.split-lp148, %167
  %.pn117.pn.pn.pn = phi { ptr, i32 } [ %.pn117.pn.pn, %167 ], [ %lpad.loopexit149, %.loopexit147 ], [ %lpad.loopexit.split-lp150, %.loopexit.split-lp148 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %27) #8
  br label %259

169:                                              ; preds = %.lr.ph
  %170 = add nuw nsw i64 %indvars.iv, 1
  %171 = call noundef i64 @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %105) #8
  %172 = and i64 %171, 4294967295
  %173 = icmp eq i64 %170, %172
  %174 = add nsw i64 %indvars.iv, -1
  br i1 %173, label %175, label %206

175:                                              ; preds = %169
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %33) #8
  %176 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %105, i64 noundef %174) #8
  %177 = invoke i64 @_ZN7maliput7routing5graph16DetermineEdgeEndERKNS1_5GraphERKNS1_4EdgeES7_(ptr noundef nonnull align 8 dereferenceable(112) %75, ptr noundef nonnull align 8 dereferenceable(104) %137, ptr noundef nonnull align 8 dereferenceable(104) %176)
          to label %178 unwind label %.loopexit142

178:                                              ; preds = %175
  store i64 %177, ptr %33, align 8
  %179 = call noundef zeroext i1 @_ZNKSt8optionalIN7maliput3api7LaneEnd5WhichEE9has_valueEv(ptr noundef nonnull align 4 dereferenceable(8) %33) #8
  br i1 %179, label %182, label %180

180:                                              ; preds = %178
  invoke void @_ZN7maliput6common8internal5ThrowEPKcS3_S3_i(ptr noundef nonnull @.str.8, ptr noundef nonnull @__func__._ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE, ptr noundef nonnull @.str.1, i32 noundef 390) #7
          to label %181 unwind label %.loopexit.split-lp143

181:                                              ; preds = %180
  unreachable

.loopexit142:                                     ; preds = %175
  %lpad.loopexit144 = landingpad { ptr, i32 }
          cleanup
  br label %205

.loopexit.split-lp143:                            ; preds = %180
  %lpad.loopexit.split-lp145 = landingpad { ptr, i32 }
          cleanup
  br label %205

182:                                              ; preds = %178
  call void @llvm.lifetime.start.p0(i64 96, ptr nonnull %34) #8
  %183 = load double, ptr %99, align 8, !tbaa !29
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %35) #8
  %184 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZNKRSt8optionalIN7maliput3api7LaneEnd5WhichEE5valueEv(ptr noundef nonnull align 4 dereferenceable(8) %33)
          to label %185 unwind label %194

185:                                              ; preds = %182
  %186 = load i32, ptr %184, align 4, !tbaa !27
  %187 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %105, i64 noundef %174) #8
  invoke void @_ZN7maliput12_GLOBAL__N_123ComputeAllRoadPositionsERKNS_7routing5graph4EdgeENS_3api7LaneEnd5WhichES5_(ptr dead_on_unwind nonnull writable sret(%"class.std::vector.136") align 8 %35, ptr noundef nonnull align 8 dereferenceable(104) %137, i32 noundef %186, ptr noundef nonnull align 8 dereferenceable(104) %187)
          to label %188 unwind label %194

188:                                              ; preds = %185
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %36) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %37) #8
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(32) %37, ptr noundef nonnull align 8 dereferenceable(32) %3, i64 32, i1 false)
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %38) #8
  call void @_ZNSaIN7maliput3api12RoadPositionEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %38) #8
  invoke void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EEC2ESt16initializer_listIS2_ERKS3_(ptr noundef nonnull align 8 dereferenceable(24) %36, ptr nonnull %37, i64 1, ptr noundef nonnull align 1 dereferenceable(1) %38)
          to label %189 unwind label %196

189:                                              ; preds = %188
  %190 = load ptr, ptr %49, align 8, !tbaa !14
  %191 = trunc nuw nsw i64 %indvars.iv to i32
  invoke void @_ZN7maliput12_GLOBAL__N_19MakePhaseEiRKNS_7routing5graph4EdgeEdRKSt6vectorINS_3api12RoadPositionESaIS8_EESC_RKNS7_11RoadNetworkE(ptr dead_on_unwind nonnull writable sret(%"class.maliput::routing::Phase") align 8 %34, i32 noundef %191, ptr noundef nonnull align 8 dereferenceable(104) %137, double noundef %183, ptr noundef nonnull align 8 dereferenceable(24) %35, ptr noundef nonnull align 8 dereferenceable(24) %36, ptr noundef nonnull align 8 dereferenceable(88) %190)
          to label %192 unwind label %198

192:                                              ; preds = %189
  invoke void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EE9push_backEOS2_(ptr noundef nonnull align 8 dereferenceable(24) %26, ptr noundef nonnull align 8 dereferenceable(96) %34)
          to label %193 unwind label %200

193:                                              ; preds = %192
  call void @_ZN7maliput7routing5PhaseD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %34) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %36) #8
  call void @_ZNSt15__new_allocatorIN7maliput3api12RoadPositionEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %38) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %38) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %37) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %36) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %35) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %35) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %34) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %33) #8
  br label %249

194:                                              ; preds = %185, %182
  %195 = landingpad { ptr, i32 }
          cleanup
  br label %204

196:                                              ; preds = %188
  %197 = landingpad { ptr, i32 }
          cleanup
  br label %203

198:                                              ; preds = %189
  %199 = landingpad { ptr, i32 }
          cleanup
  br label %202

200:                                              ; preds = %192
  %201 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7maliput7routing5PhaseD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %34) #8
  br label %202

202:                                              ; preds = %200, %198
  %.pn112 = phi { ptr, i32 } [ %201, %200 ], [ %199, %198 ]
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %36) #8
  br label %203

203:                                              ; preds = %202, %196
  %.pn112.pn = phi { ptr, i32 } [ %.pn112, %202 ], [ %197, %196 ]
  call void @_ZNSt15__new_allocatorIN7maliput3api12RoadPositionEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %38) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %38) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %37) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %36) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %35) #8
  br label %204

204:                                              ; preds = %203, %194
  %.pn112.pn.pn = phi { ptr, i32 } [ %.pn112.pn, %203 ], [ %195, %194 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %35) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %34) #8
  br label %205

205:                                              ; preds = %.loopexit142, %.loopexit.split-lp143, %204
  %.pn112.pn.pn.pn = phi { ptr, i32 } [ %.pn112.pn.pn, %204 ], [ %lpad.loopexit144, %.loopexit142 ], [ %lpad.loopexit.split-lp145, %.loopexit.split-lp143 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %33) #8
  br label %259

206:                                              ; preds = %169
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %39) #8
  %207 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %105, i64 noundef %174) #8
  %208 = invoke i64 @_ZN7maliput7routing5graph16DetermineEdgeEndERKNS1_5GraphERKNS1_4EdgeES7_(ptr noundef nonnull align 8 dereferenceable(112) %75, ptr noundef nonnull align 8 dereferenceable(104) %137, ptr noundef nonnull align 8 dereferenceable(104) %207)
          to label %209 unwind label %.loopexit136

209:                                              ; preds = %206
  store i64 %208, ptr %39, align 8
  %210 = call noundef zeroext i1 @_ZNKSt8optionalIN7maliput3api7LaneEnd5WhichEE9has_valueEv(ptr noundef nonnull align 4 dereferenceable(8) %39) #8
  br i1 %210, label %213, label %211

211:                                              ; preds = %209
  invoke void @_ZN7maliput6common8internal5ThrowEPKcS3_S3_i(ptr noundef nonnull @.str.9, ptr noundef nonnull @__func__._ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE, ptr noundef nonnull @.str.1, i32 noundef 397) #7
          to label %212 unwind label %.loopexit.split-lp

212:                                              ; preds = %211
  unreachable

.loopexit136:                                     ; preds = %206
  %lpad.loopexit = landingpad { ptr, i32 }
          cleanup
  br label %248

.loopexit.split-lp:                               ; preds = %211
  %lpad.loopexit.split-lp = landingpad { ptr, i32 }
          cleanup
  br label %248

213:                                              ; preds = %209
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %40) #8
  %214 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %105, i64 noundef %170) #8
  %215 = invoke i64 @_ZN7maliput7routing5graph16DetermineEdgeEndERKNS1_5GraphERKNS1_4EdgeES7_(ptr noundef nonnull align 8 dereferenceable(112) %75, ptr noundef nonnull align 8 dereferenceable(104) %137, ptr noundef nonnull align 8 dereferenceable(104) %214)
          to label %216 unwind label %.loopexit137

216:                                              ; preds = %213
  store i64 %215, ptr %40, align 8
  %217 = call noundef zeroext i1 @_ZNKSt8optionalIN7maliput3api7LaneEnd5WhichEE9has_valueEv(ptr noundef nonnull align 4 dereferenceable(8) %40) #8
  br i1 %217, label %220, label %218

218:                                              ; preds = %216
  invoke void @_ZN7maliput6common8internal5ThrowEPKcS3_S3_i(ptr noundef nonnull @.str.10, ptr noundef nonnull @__func__._ZNK7maliput14DistanceRouter15DoComputeRoutesERKNS_3api12RoadPositionES4_RKNS_7routing18RoutingConstraintsE, ptr noundef nonnull @.str.1, i32 noundef 400) #7
          to label %219 unwind label %.loopexit.split-lp138

219:                                              ; preds = %218
  unreachable

.loopexit137:                                     ; preds = %213
  %lpad.loopexit139 = landingpad { ptr, i32 }
          cleanup
  br label %247

.loopexit.split-lp138:                            ; preds = %218
  %lpad.loopexit.split-lp140 = landingpad { ptr, i32 }
          cleanup
  br label %247

220:                                              ; preds = %216
  call void @llvm.lifetime.start.p0(i64 96, ptr nonnull %41) #8
  %221 = load double, ptr %99, align 8, !tbaa !29
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %42) #8
  %222 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZNKRSt8optionalIN7maliput3api7LaneEnd5WhichEE5valueEv(ptr noundef nonnull align 4 dereferenceable(8) %39)
          to label %223 unwind label %236

223:                                              ; preds = %220
  %224 = load i32, ptr %222, align 4, !tbaa !27
  %225 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %105, i64 noundef %174) #8
  invoke void @_ZN7maliput12_GLOBAL__N_123ComputeAllRoadPositionsERKNS_7routing5graph4EdgeENS_3api7LaneEnd5WhichES5_(ptr dead_on_unwind nonnull writable sret(%"class.std::vector.136") align 8 %42, ptr noundef nonnull align 8 dereferenceable(104) %137, i32 noundef %224, ptr noundef nonnull align 8 dereferenceable(104) %225)
          to label %226 unwind label %236

226:                                              ; preds = %223
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %43) #8
  %227 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZNKRSt8optionalIN7maliput3api7LaneEnd5WhichEE5valueEv(ptr noundef nonnull align 4 dereferenceable(8) %40)
          to label %228 unwind label %238

228:                                              ; preds = %226
  %229 = load i32, ptr %227, align 4, !tbaa !27
  %230 = call noundef nonnull align 8 dereferenceable(104) ptr @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %105, i64 noundef %170) #8
  invoke void @_ZN7maliput12_GLOBAL__N_123ComputeAllRoadPositionsERKNS_7routing5graph4EdgeENS_3api7LaneEnd5WhichES5_(ptr dead_on_unwind nonnull writable sret(%"class.std::vector.136") align 8 %43, ptr noundef nonnull align 8 dereferenceable(104) %137, i32 noundef %229, ptr noundef nonnull align 8 dereferenceable(104) %230)
          to label %231 unwind label %238

231:                                              ; preds = %228
  %232 = load ptr, ptr %49, align 8, !tbaa !14
  %233 = trunc nuw nsw i64 %indvars.iv to i32
  invoke void @_ZN7maliput12_GLOBAL__N_19MakePhaseEiRKNS_7routing5graph4EdgeEdRKSt6vectorINS_3api12RoadPositionESaIS8_EESC_RKNS7_11RoadNetworkE(ptr dead_on_unwind nonnull writable sret(%"class.maliput::routing::Phase") align 8 %41, i32 noundef %233, ptr noundef nonnull align 8 dereferenceable(104) %137, double noundef %221, ptr noundef nonnull align 8 dereferenceable(24) %42, ptr noundef nonnull align 8 dereferenceable(24) %43, ptr noundef nonnull align 8 dereferenceable(88) %232)
          to label %234 unwind label %240

234:                                              ; preds = %231
  invoke void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EE9push_backEOS2_(ptr noundef nonnull align 8 dereferenceable(24) %26, ptr noundef nonnull align 8 dereferenceable(96) %41)
          to label %235 unwind label %242

235:                                              ; preds = %234
  call void @_ZN7maliput7routing5PhaseD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %41) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %43) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %43) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %42) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %42) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %41) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %40) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %39) #8
  br label %249

236:                                              ; preds = %223, %220
  %237 = landingpad { ptr, i32 }
          cleanup
  br label %246

238:                                              ; preds = %228, %226
  %239 = landingpad { ptr, i32 }
          cleanup
  br label %245

240:                                              ; preds = %231
  %241 = landingpad { ptr, i32 }
          cleanup
  br label %244

242:                                              ; preds = %234
  %243 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN7maliput7routing5PhaseD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %41) #8
  br label %244

244:                                              ; preds = %242, %240
  %.pn = phi { ptr, i32 } [ %243, %242 ], [ %241, %240 ]
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %43) #8
  br label %245

245:                                              ; preds = %244, %238
  %.pn.pn = phi { ptr, i32 } [ %.pn, %244 ], [ %239, %238 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %43) #8
  call void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %42) #8
  br label %246

246:                                              ; preds = %245, %236
  %.pn.pn.pn = phi { ptr, i32 } [ %.pn.pn, %245 ], [ %237, %236 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %42) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %41) #8
  br label %247

247:                                              ; preds = %.loopexit137, %.loopexit.split-lp138, %246
  %.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn.pn.pn, %246 ], [ %lpad.loopexit139, %.loopexit137 ], [ %lpad.loopexit.split-lp140, %.loopexit.split-lp138 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %40) #8
  br label %248

248:                                              ; preds = %.loopexit136, %.loopexit.split-lp, %247
  %.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn.pn.pn.pn, %247 ], [ %lpad.loopexit, %.loopexit136 ], [ %lpad.loopexit.split-lp, %.loopexit.split-lp ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %39) #8
  br label %259

249:                                              ; preds = %193, %235, %156
  %indvars.iv.next.pre-phi = phi i64 [ %170, %193 ], [ %170, %235 ], [ 1, %156 ]
  %250 = call noundef i64 @_ZNKSt6vectorIN7maliput7routing5graph4EdgeESaIS3_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %105) #8
  %sext = shl i64 %250, 32
  %251 = ashr exact i64 %sext, 32
  %252 = icmp slt i64 %indvars.iv.next.pre-phi, %251
  br i1 %252, label %.lr.ph, label %._crit_edge, !llvm.loop !31

253:                                              ; preds = %._crit_edge
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %44) #8
  call void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %26) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %26) #8
  br label %254

254:                                              ; preds = %253, %118
  %255 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPSt6vectorIN7maliput7routing5graph4EdgeESaIS5_EES1_IS7_SaIS7_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %14) #8
  %256 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPSt6vectorIN7maliput7routing5graph4EdgeESaIS5_EES1_IS7_SaIS7_EEEEbRKNS_17__normal_iteratorIT_T0_EESG_(ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 8 dereferenceable(8) %15) #8
  br i1 %256, label %104, label %._crit_edge155

257:                                              ; preds = %._crit_edge
  %258 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %44) #8
  br label %259

259:                                              ; preds = %168, %205, %248, %257
  %.pn117.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %258, %257 ], [ %.pn117.pn.pn.pn, %168 ], [ %.pn112.pn.pn.pn, %205 ], [ %.pn.pn.pn.pn.pn, %248 ]
  call void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %26) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %26) #8
  br label %260

260:                                              ; preds = %259, %130
  %.pn124.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn124.pn.pn.pn, %130 ], [ %.pn117.pn.pn.pn.pn.pn, %259 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %15) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #8
  br label %268

261:                                              ; preds = %._crit_edge155
  %262 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIN7maliput7routing5RouteESaIS2_EEaSEOS4_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(24) %45) #8
  call void @_ZNSt6vectorIN7maliput7routing5RouteESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %45) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %45) #8
  invoke void @_ZN7maliput12_GLOBAL__N_136ValidateEndToEndConnectivityInRoutesERKSt6vectorINS_7routing5RouteESaIS3_EE(ptr noundef nonnull align 8 dereferenceable(24) %0)
          to label %267 unwind label %265

263:                                              ; preds = %._crit_edge155
  %264 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %45) #8
  br label %268

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

267:                                              ; preds = %261
  call void @_ZNSt6vectorIS_IN7maliput7routing5graph4EdgeESaIS3_EESaIS5_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %12) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %12) #8
  call void @_ZNSt14_Optional_baseIN7maliput7routing5graph4NodeELb0ELb0EED2Ev(ptr noundef nonnull align 8 dereferenceable(136) %10) #8
  call void @llvm.lifetime.end.p0(i64 136, ptr nonnull %10) #8
  call void @_ZNSt14_Optional_baseIN7maliput7routing5graph4NodeELb0ELb0EED2Ev(ptr noundef nonnull align 8 dereferenceable(136) %8) #8
  call void @llvm.lifetime.end.p0(i64 136, ptr nonnull %8) #8
  ret void

268:                                              ; preds = %265, %263, %260
  %.pn124.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn124.pn.pn.pn.pn, %260 ], [ %266, %265 ], [ %264, %263 ]
  call void @_ZNSt6vectorIN7maliput7routing5RouteESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #8
  br label %269

269:                                              ; preds = %268, %102
  %.pn124.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn124.pn.pn.pn.pn.pn, %268 ], [ %103, %102 ]
  call void @_ZNSt6vectorIS_IN7maliput7routing5graph4EdgeESaIS3_EESaIS5_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %12) #8
  br label %270

270:                                              ; preds = %269, %100
  %.pn124.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn124.pn.pn.pn.pn.pn.pn, %269 ], [ %101, %100 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %12) #8
  br label %271

271:                                              ; preds = %270, %82
  %.pn124.pn.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn124.pn.pn.pn.pn.pn.pn.pn, %270 ], [ %83, %82 ]
  call void @_ZNSt14_Optional_baseIN7maliput7routing5graph4NodeELb0ELb0EED2Ev(ptr noundef nonnull align 8 dereferenceable(136) %10) #8
  br label %272

272:                                              ; preds = %271, %80
  %.pn124.pn.pn.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn124.pn.pn.pn.pn.pn.pn.pn.pn, %271 ], [ %81, %80 ]
  call void @llvm.lifetime.end.p0(i64 136, ptr nonnull %10) #8
  call void @_ZNSt14_Optional_baseIN7maliput7routing5graph4NodeELb0ELb0EED2Ev(ptr noundef nonnull align 8 dereferenceable(136) %8) #8
  call void @llvm.lifetime.end.p0(i64 136, ptr nonnull %8) #8
  br label %273

273:                                              ; preds = %272, %72, %58
  %.pn124.pn.pn.pn.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn124.pn.pn.pn.pn.pn.pn.pn.pn.pn, %272 ], [ %73, %72 ], [ %59, %58 ]
  resume { ptr, i32 } %.pn124.pn.pn.pn.pn.pn.pn.pn.pn.pn.pn
}

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

declare noundef ptr @_ZNK7maliput3api12RoadGeometry7IdIndex7GetLaneERKNS0_22TypeSpecificIdentifierINS0_4LaneEEE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #3

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

declare void @_ZNK7maliput3api4Lane2idEv(ptr dead_on_unwind writable sret(%"class.maliput::api::TypeSpecificIdentifier") align 8, ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #3

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

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

declare void @_ZN7maliput7routing26ValidateRoutingConstraintsERKNS0_18RoutingConstraintsE(ptr noundef nonnull align 8 dereferenceable(40)) local_unnamed_addr #3

declare void @_ZN7maliput7routing5graph8FindNodeERKNS1_5GraphERKNS_3api4LaneERKNS5_7LaneEnd5WhichE(ptr dead_on_unwind writable sret(%"class.std::optional.101") align 8, ptr noundef nonnull align 8 dereferenceable(112), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #3

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

declare void @_ZN7maliput7routing5graph20FindAllEdgeSequencesERKNS1_5GraphERKNS1_4NodeES7_(ptr dead_on_unwind writable sret(%"class.std::vector.121") align 8, ptr noundef nonnull align 8 dereferenceable(112), ptr noundef nonnull align 8 dereferenceable(128), ptr noundef nonnull align 8 dereferenceable(128)) local_unnamed_addr #3

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(128) ptr @_ZNKRSt8optionalIN7maliput7routing5graph4NodeEE5valueEv(ptr noundef nonnull align 8 dereferenceable(136)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN7maliput12_GLOBAL__N_124MaybeAddStartAndEndEdgesERKNS_7routing5graph5GraphERKNS_3api12RoadPositionES9_RKSt6vectorISA_INS2_4EdgeESaISB_EESaISD_EE(ptr dead_on_unwind noalias writable sret(%"class.std::vector.121") align 8, ptr noundef nonnull align 8 dereferenceable(112), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #2

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIS_IN7maliput7routing5graph4EdgeESaIS3_EESaIS5_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #0 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIN7maliput7routing5RouteESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #0 align 2

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPSt6vectorIN7maliput7routing5graph4EdgeESaIS5_EES1_IS7_SaIS7_EEEEbRKNS_17__normal_iteratorIT_T0_EESG_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #5

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(88) ptr @_ZNSt6vectorIN7maliput7routing5RouteESaIS2_EE12emplace_backIJS_INS1_5PhaseESaIS6_EEPKNS0_3api11RoadNetworkEEEERS2_DpOT_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN7maliput12_GLOBAL__N_19MakePhaseEiRKNS_7routing5graph4EdgeEdRKSt6vectorINS_3api12RoadPositionESaIS8_EESC_RKNS7_11RoadNetworkE(ptr dead_on_unwind noalias writable sret(%"class.maliput::routing::Phase") align 8, i32 noundef, ptr noundef nonnull align 8 dereferenceable(104), double noundef, ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(88)) local_unnamed_addr #2

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

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #6

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSaIN7maliput3api12RoadPositionEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EEC2ESt16initializer_listIS2_ERKS3_(ptr noundef nonnull align 8 dereferenceable(24), ptr, i64, ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSaIN7maliput7routing5PhaseEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EEC2ESt16initializer_listIS2_ERKS3_(ptr noundef nonnull align 8 dereferenceable(24), ptr, i64, ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #0 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt15__new_allocatorIN7maliput7routing5PhaseEED2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #0 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN7maliput7routing5PhaseD2Ev(ptr noundef nonnull align 8 dereferenceable(96)) unnamed_addr #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIN7maliput3api12RoadPositionESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #0 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt15__new_allocatorIN7maliput3api12RoadPositionEED2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #0 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #0 align 2

declare i64 @_ZN7maliput7routing5graph16DetermineEdgeEndERKNS1_5GraphERKNS1_4EdgeES7_(ptr noundef nonnull align 8 dereferenceable(112), ptr noundef nonnull align 8 dereferenceable(104), ptr noundef nonnull align 8 dereferenceable(104)) local_unnamed_addr #3

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIN7maliput7routing5PhaseESaIS2_EE9push_backEOS2_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(96)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN7maliput12_GLOBAL__N_123ComputeAllRoadPositionsERKNS_7routing5graph4EdgeENS_3api7LaneEnd5WhichES5_(ptr dead_on_unwind noalias writable sret(%"class.std::vector.136") align 8, ptr noundef nonnull align 8 dereferenceable(104), i32 noundef, ptr noundef nonnull align 8 dereferenceable(104)) local_unnamed_addr #2

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNKRSt8optionalIN7maliput3api7LaneEnd5WhichEE5valueEv(ptr noundef nonnull align 4 dereferenceable(8)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(88) ptr @_ZNSt6vectorIN7maliput7routing5RouteESaIS2_EE12emplace_backIJRS_INS1_5PhaseESaIS6_EEPKNS0_3api11RoadNetworkEEEERS2_DpOT_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #2 align 2

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN7maliput12_GLOBAL__N_112FilterRoutesERKNS_7routing18RoutingConstraintsERKSt6vectorINS1_5RouteESaIS6_EE(ptr dead_on_unwind noalias writable sret(%"class.std::vector") align 8, ptr noundef nonnull align 8 dereferenceable(40), ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #2

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIN7maliput7routing5RouteESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN7maliput12_GLOBAL__N_136ValidateEndToEndConnectivityInRoutesERKSt6vectorINS_7routing5RouteESaIS3_EE(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZNSt14_Optional_baseIN7maliput7routing5graph4NodeELb0ELb0EED2Ev(ptr noundef nonnull align 8 dereferenceable(136)) unnamed_addr #5 align 2

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !7, i64 0}
!6 = !{!"_ZTSN7maliput3api12RoadPositionE", !7, i64 0, !10, i64 8}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!"_ZTSN7maliput3api12LanePositionE", !11, i64 0}
!11 = !{!"_ZTSN7maliput4math7Vector3E", !12, i64 0}
!12 = !{!"_ZTSN7maliput4math10VectorBaseILm3ENS0_7Vector3EEE", !13, i64 0}
!13 = !{!"_ZTSSt5arrayIdLm3EE", !8, i64 0}
!14 = !{!15, !7, i64 8}
!15 = !{!"_ZTSN7maliput14DistanceRouterE", !16, i64 0, !7, i64 8, !17, i64 16, !18, i64 24}
!16 = !{!"_ZTSN7maliput7routing6RouterE"}
!17 = !{!"double", !8, i64 0}
!18 = !{!"_ZTSN7maliput7routing5graph5GraphE", !19, i64 0, !25, i64 56}
!19 = !{!"_ZTSSt13unordered_mapIN7maliput3api22TypeSpecificIdentifierINS0_7routing5graph4EdgeEEES5_St4hashIS6_ESt8equal_toIS6_ESaISt4pairIKS6_S5_EEE", !20, i64 0}
!20 = !{!"_ZTSSt10_HashtableIN7maliput3api22TypeSpecificIdentifierINS0_7routing5graph4EdgeEEESt4pairIKS6_S5_ESaIS9_ENSt8__detail10_Select1stESt8equal_toIS6_ESt4hashIS6_ENSB_18_Mod_range_hashingENSB_20_Default_ranged_hashENSB_20_Prime_rehash_policyENSB_17_Hashtable_traitsILb0ELb0ELb1EEEE", !7, i64 0, !21, i64 8, !22, i64 16, !21, i64 24, !23, i64 32, !7, i64 48}
!21 = !{!"long", !8, i64 0}
!22 = !{!"_ZTSNSt8__detail15_Hash_node_baseE", !7, i64 0}
!23 = !{!"_ZTSNSt8__detail20_Prime_rehash_policyE", !24, i64 0, !21, i64 8}
!24 = !{!"float", !8, i64 0}
!25 = !{!"_ZTSSt13unordered_mapIN7maliput3api22TypeSpecificIdentifierINS0_7routing5graph4NodeEEES5_St4hashIS6_ESt8equal_toIS6_ESaISt4pairIKS6_S5_EEE", !26, i64 0}
!26 = !{!"_ZTSSt10_HashtableIN7maliput3api22TypeSpecificIdentifierINS0_7routing5graph4NodeEEESt4pairIKS6_S5_ESaIS9_ENSt8__detail10_Select1stESt8equal_toIS6_ESt4hashIS6_ENSB_18_Mod_range_hashingENSB_20_Default_ranged_hashENSB_20_Prime_rehash_policyENSB_17_Hashtable_traitsILb0ELb0ELb1EEEE", !7, i64 0, !21, i64 8, !22, i64 16, !21, i64 24, !23, i64 32, !7, i64 48}
!27 = !{!28, !28, i64 0}
!28 = !{!"_ZTSN7maliput3api7LaneEnd5WhichE", !8, i64 0}
!29 = !{!15, !17, i64 16}
!30 = !{!7, !7, i64 0}
!31 = distinct !{!31, !32}
!32 = !{!"llvm.loop.mustprogress"}


; Effective O3 passes: EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LICMPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,SCCPPass,SROAPass,SimplifyCFGPass,TailCallElimPass