; LLVM IR from codemistic/Data-Structures-and-Algorithms :: CSES/Intro/GridPaths.ll (Z3dfsiii)

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

%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }

@vis = external dso_local global [7 x [7 x i8]], align 16
@_Z1sB5cxx11 = external dso_local global %"class.std::__cxx11::basic_string", align 8
@_ZL3cnt = external hidden global i32, align 4

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_Z1eii(i32 noundef, i32 noundef) #0

; Function Attrs: mustprogress uwtable
define dso_local void @_Z3dfsiii(i32 noundef %0, i32 noundef %1, i32 noundef %2) #1 {
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  store i32 %0, ptr %4, align 4, !tbaa !5
  store i32 %1, ptr %5, align 4, !tbaa !5
  store i32 %2, ptr %6, align 4, !tbaa !5
  %7 = load i32, ptr %4, align 4, !tbaa !5
  %8 = icmp eq i32 %7, 6
  br i1 %8, label %9, label %19

9:                                                ; preds = %3
  %10 = load i32, ptr %5, align 4, !tbaa !5
  %11 = icmp eq i32 %10, 0
  br i1 %11, label %12, label %19

12:                                               ; preds = %9
  %13 = load i32, ptr %6, align 4, !tbaa !5
  %14 = icmp eq i32 %13, 48
  br i1 %14, label %15, label %18

15:                                               ; preds = %12
  %16 = load i32, ptr @_ZL3cnt, align 4, !tbaa !5
  %17 = add nsw i32 %16, 1
  store i32 %17, ptr @_ZL3cnt, align 4, !tbaa !5
  br label %18

18:                                               ; preds = %15, %12
  br label %276

19:                                               ; preds = %9, %3
  %20 = load i32, ptr %4, align 4, !tbaa !5
  %21 = sext i32 %20 to i64
  %22 = getelementptr inbounds [7 x [7 x i8]], ptr @vis, i64 0, i64 %21
  %23 = load i32, ptr %5, align 4, !tbaa !5
  %24 = sext i32 %23 to i64
  %25 = getelementptr inbounds [7 x i8], ptr %22, i64 0, i64 %24
  %26 = load i8, ptr %25, align 1, !tbaa !9, !range !11, !noundef !12
  %27 = trunc i8 %26 to i1
  %28 = zext i1 %27 to i32
  %29 = icmp eq i32 %28, 1
  br i1 %29, label %30, label %31

30:                                               ; preds = %19
  br label %276

31:                                               ; preds = %19
  %32 = load i32, ptr %4, align 4, !tbaa !5
  %33 = sext i32 %32 to i64
  %34 = getelementptr inbounds [7 x [7 x i8]], ptr @vis, i64 0, i64 %33
  %35 = load i32, ptr %5, align 4, !tbaa !5
  %36 = sext i32 %35 to i64
  %37 = getelementptr inbounds [7 x i8], ptr %34, i64 0, i64 %36
  store i8 1, ptr %37, align 1, !tbaa !9
  %38 = load i32, ptr %6, align 4, !tbaa !5
  %39 = sext i32 %38 to i64
  %40 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEixEm(ptr noundef nonnull align 8 dereferenceable(32) @_Z1sB5cxx11, i64 noundef %39)
  %41 = load i8, ptr %40, align 1, !tbaa !13
  %42 = sext i8 %41 to i32
  %43 = icmp eq i32 %42, 63
  br i1 %43, label %51, label %44

44:                                               ; preds = %31
  %45 = load i32, ptr %6, align 4, !tbaa !5
  %46 = sext i32 %45 to i64
  %47 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEixEm(ptr noundef nonnull align 8 dereferenceable(32) @_Z1sB5cxx11, i64 noundef %46)
  %48 = load i8, ptr %47, align 1, !tbaa !13
  %49 = sext i8 %48 to i32
  %50 = icmp eq i32 %49, 76
  br i1 %50, label %51, label %95

51:                                               ; preds = %44, %31
  %52 = load i32, ptr %5, align 4, !tbaa !5
  %53 = icmp ne i32 %52, 0
  br i1 %53, label %54, label %94

54:                                               ; preds = %51
  %55 = load i32, ptr %4, align 4, !tbaa !5
  %56 = sext i32 %55 to i64
  %57 = getelementptr inbounds [7 x [7 x i8]], ptr @vis, i64 0, i64 %56
  %58 = load i32, ptr %5, align 4, !tbaa !5
  %59 = sub nsw i32 %58, 1
  %60 = sext i32 %59 to i64
  %61 = getelementptr inbounds [7 x i8], ptr %57, i64 0, i64 %60
  %62 = load i8, ptr %61, align 1, !tbaa !9, !range !11, !noundef !12
  %63 = trunc i8 %62 to i1
  br i1 %63, label %94, label %64

64:                                               ; preds = %54
  %65 = load i32, ptr %4, align 4, !tbaa !5
  %66 = load i32, ptr %5, align 4, !tbaa !5
  %67 = sub nsw i32 %66, 2
  %68 = call noundef zeroext i1 @_Z1eii(i32 noundef %65, i32 noundef %67)
  %69 = zext i1 %68 to i32
  %70 = icmp eq i32 %69, 0
  br i1 %70, label %71, label %83

71:                                               ; preds = %64
  %72 = load i32, ptr %4, align 4, !tbaa !5
  %73 = add nsw i32 %72, 1
  %74 = load i32, ptr %5, align 4, !tbaa !5
  %75 = sub nsw i32 %74, 1
  %76 = call noundef zeroext i1 @_Z1eii(i32 noundef %73, i32 noundef %75)
  br i1 %76, label %77, label %83

77:                                               ; preds = %71
  %78 = load i32, ptr %4, align 4, !tbaa !5
  %79 = sub nsw i32 %78, 1
  %80 = load i32, ptr %5, align 4, !tbaa !5
  %81 = sub nsw i32 %80, 1
  %82 = call noundef zeroext i1 @_Z1eii(i32 noundef %79, i32 noundef %81)
  br label %83

83:                                               ; preds = %77, %71, %64
  %84 = phi i1 [ false, %71 ], [ false, %64 ], [ %82, %77 ]
  %85 = zext i1 %84 to i32
  %86 = icmp eq i32 %85, 0
  br i1 %86, label %87, label %93

87:                                               ; preds = %83
  %88 = load i32, ptr %4, align 4, !tbaa !5
  %89 = load i32, ptr %5, align 4, !tbaa !5
  %90 = sub nsw i32 %89, 1
  %91 = load i32, ptr %6, align 4, !tbaa !5
  %92 = add nsw i32 %91, 1
  call void @_Z3dfsiii(i32 noundef %88, i32 noundef %90, i32 noundef %92)
  br label %93

93:                                               ; preds = %87, %83
  br label %94

94:                                               ; preds = %93, %54, %51
  br label %95

95:                                               ; preds = %94, %44
  %96 = load i32, ptr %6, align 4, !tbaa !5
  %97 = sext i32 %96 to i64
  %98 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEixEm(ptr noundef nonnull align 8 dereferenceable(32) @_Z1sB5cxx11, i64 noundef %97)
  %99 = load i8, ptr %98, align 1, !tbaa !13
  %100 = sext i8 %99 to i32
  %101 = icmp eq i32 %100, 63
  br i1 %101, label %109, label %102

102:                                              ; preds = %95
  %103 = load i32, ptr %6, align 4, !tbaa !5
  %104 = sext i32 %103 to i64
  %105 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEixEm(ptr noundef nonnull align 8 dereferenceable(32) @_Z1sB5cxx11, i64 noundef %104)
  %106 = load i8, ptr %105, align 1, !tbaa !13
  %107 = sext i8 %106 to i32
  %108 = icmp eq i32 %107, 82
  br i1 %108, label %109, label %153

109:                                              ; preds = %102, %95
  %110 = load i32, ptr %5, align 4, !tbaa !5
  %111 = icmp slt i32 %110, 6
  br i1 %111, label %112, label %152

112:                                              ; preds = %109
  %113 = load i32, ptr %4, align 4, !tbaa !5
  %114 = sext i32 %113 to i64
  %115 = getelementptr inbounds [7 x [7 x i8]], ptr @vis, i64 0, i64 %114
  %116 = load i32, ptr %5, align 4, !tbaa !5
  %117 = add nsw i32 %116, 1
  %118 = sext i32 %117 to i64
  %119 = getelementptr inbounds [7 x i8], ptr %115, i64 0, i64 %118
  %120 = load i8, ptr %119, align 1, !tbaa !9, !range !11, !noundef !12
  %121 = trunc i8 %120 to i1
  br i1 %121, label %152, label %122

122:                                              ; preds = %112
  %123 = load i32, ptr %4, align 4, !tbaa !5
  %124 = load i32, ptr %5, align 4, !tbaa !5
  %125 = add nsw i32 %124, 2
  %126 = call noundef zeroext i1 @_Z1eii(i32 noundef %123, i32 noundef %125)
  %127 = zext i1 %126 to i32
  %128 = icmp eq i32 %127, 0
  br i1 %128, label %129, label %141

129:                                              ; preds = %122
  %130 = load i32, ptr %4, align 4, !tbaa !5
  %131 = add nsw i32 %130, 1
  %132 = load i32, ptr %5, align 4, !tbaa !5
  %133 = add nsw i32 %132, 1
  %134 = call noundef zeroext i1 @_Z1eii(i32 noundef %131, i32 noundef %133)
  br i1 %134, label %135, label %141

135:                                              ; preds = %129
  %136 = load i32, ptr %4, align 4, !tbaa !5
  %137 = sub nsw i32 %136, 1
  %138 = load i32, ptr %5, align 4, !tbaa !5
  %139 = add nsw i32 %138, 1
  %140 = call noundef zeroext i1 @_Z1eii(i32 noundef %137, i32 noundef %139)
  br label %141

141:                                              ; preds = %135, %129, %122
  %142 = phi i1 [ false, %129 ], [ false, %122 ], [ %140, %135 ]
  %143 = zext i1 %142 to i32
  %144 = icmp eq i32 %143, 0
  br i1 %144, label %145, label %151

145:                                              ; preds = %141
  %146 = load i32, ptr %4, align 4, !tbaa !5
  %147 = load i32, ptr %5, align 4, !tbaa !5
  %148 = add nsw i32 %147, 1
  %149 = load i32, ptr %6, align 4, !tbaa !5
  %150 = add nsw i32 %149, 1
  call void @_Z3dfsiii(i32 noundef %146, i32 noundef %148, i32 noundef %150)
  br label %151

151:                                              ; preds = %145, %141
  br label %152

152:                                              ; preds = %151, %112, %109
  br label %153

153:                                              ; preds = %152, %102
  %154 = load i32, ptr %6, align 4, !tbaa !5
  %155 = sext i32 %154 to i64
  %156 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEixEm(ptr noundef nonnull align 8 dereferenceable(32) @_Z1sB5cxx11, i64 noundef %155)
  %157 = load i8, ptr %156, align 1, !tbaa !13
  %158 = sext i8 %157 to i32
  %159 = icmp eq i32 %158, 63
  br i1 %159, label %167, label %160

160:                                              ; preds = %153
  %161 = load i32, ptr %6, align 4, !tbaa !5
  %162 = sext i32 %161 to i64
  %163 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEixEm(ptr noundef nonnull align 8 dereferenceable(32) @_Z1sB5cxx11, i64 noundef %162)
  %164 = load i8, ptr %163, align 1, !tbaa !13
  %165 = sext i8 %164 to i32
  %166 = icmp eq i32 %165, 85
  br i1 %166, label %167, label %211

167:                                              ; preds = %160, %153
  %168 = load i32, ptr %4, align 4, !tbaa !5
  %169 = icmp ne i32 %168, 0
  br i1 %169, label %170, label %210

170:                                              ; preds = %167
  %171 = load i32, ptr %4, align 4, !tbaa !5
  %172 = sub nsw i32 %171, 1
  %173 = sext i32 %172 to i64
  %174 = getelementptr inbounds [7 x [7 x i8]], ptr @vis, i64 0, i64 %173
  %175 = load i32, ptr %5, align 4, !tbaa !5
  %176 = sext i32 %175 to i64
  %177 = getelementptr inbounds [7 x i8], ptr %174, i64 0, i64 %176
  %178 = load i8, ptr %177, align 1, !tbaa !9, !range !11, !noundef !12
  %179 = trunc i8 %178 to i1
  br i1 %179, label %210, label %180

180:                                              ; preds = %170
  %181 = load i32, ptr %4, align 4, !tbaa !5
  %182 = sub nsw i32 %181, 2
  %183 = load i32, ptr %5, align 4, !tbaa !5
  %184 = call noundef zeroext i1 @_Z1eii(i32 noundef %182, i32 noundef %183)
  %185 = zext i1 %184 to i32
  %186 = icmp eq i32 %185, 0
  br i1 %186, label %187, label %199

187:                                              ; preds = %180
  %188 = load i32, ptr %4, align 4, !tbaa !5
  %189 = sub nsw i32 %188, 1
  %190 = load i32, ptr %5, align 4, !tbaa !5
  %191 = add nsw i32 %190, 1
  %192 = call noundef zeroext i1 @_Z1eii(i32 noundef %189, i32 noundef %191)
  br i1 %192, label %193, label %199

193:                                              ; preds = %187
  %194 = load i32, ptr %4, align 4, !tbaa !5
  %195 = sub nsw i32 %194, 1
  %196 = load i32, ptr %5, align 4, !tbaa !5
  %197 = sub nsw i32 %196, 1
  %198 = call noundef zeroext i1 @_Z1eii(i32 noundef %195, i32 noundef %197)
  br label %199

199:                                              ; preds = %193, %187, %180
  %200 = phi i1 [ false, %187 ], [ false, %180 ], [ %198, %193 ]
  %201 = zext i1 %200 to i32
  %202 = icmp eq i32 %201, 0
  br i1 %202, label %203, label %209

203:                                              ; preds = %199
  %204 = load i32, ptr %4, align 4, !tbaa !5
  %205 = sub nsw i32 %204, 1
  %206 = load i32, ptr %5, align 4, !tbaa !5
  %207 = load i32, ptr %6, align 4, !tbaa !5
  %208 = add nsw i32 %207, 1
  call void @_Z3dfsiii(i32 noundef %205, i32 noundef %206, i32 noundef %208)
  br label %209

209:                                              ; preds = %203, %199
  br label %210

210:                                              ; preds = %209, %170, %167
  br label %211

211:                                              ; preds = %210, %160
  %212 = load i32, ptr %6, align 4, !tbaa !5
  %213 = sext i32 %212 to i64
  %214 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEixEm(ptr noundef nonnull align 8 dereferenceable(32) @_Z1sB5cxx11, i64 noundef %213)
  %215 = load i8, ptr %214, align 1, !tbaa !13
  %216 = sext i8 %215 to i32
  %217 = icmp eq i32 %216, 63
  br i1 %217, label %225, label %218

218:                                              ; preds = %211
  %219 = load i32, ptr %6, align 4, !tbaa !5
  %220 = sext i32 %219 to i64
  %221 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEixEm(ptr noundef nonnull align 8 dereferenceable(32) @_Z1sB5cxx11, i64 noundef %220)
  %222 = load i8, ptr %221, align 1, !tbaa !13
  %223 = sext i8 %222 to i32
  %224 = icmp eq i32 %223, 68
  br i1 %224, label %225, label %269

225:                                              ; preds = %218, %211
  %226 = load i32, ptr %4, align 4, !tbaa !5
  %227 = icmp slt i32 %226, 6
  br i1 %227, label %228, label %268

228:                                              ; preds = %225
  %229 = load i32, ptr %4, align 4, !tbaa !5
  %230 = add nsw i32 %229, 1
  %231 = sext i32 %230 to i64
  %232 = getelementptr inbounds [7 x [7 x i8]], ptr @vis, i64 0, i64 %231
  %233 = load i32, ptr %5, align 4, !tbaa !5
  %234 = sext i32 %233 to i64
  %235 = getelementptr inbounds [7 x i8], ptr %232, i64 0, i64 %234
  %236 = load i8, ptr %235, align 1, !tbaa !9, !range !11, !noundef !12
  %237 = trunc i8 %236 to i1
  br i1 %237, label %268, label %238

238:                                              ; preds = %228
  %239 = load i32, ptr %4, align 4, !tbaa !5
  %240 = add nsw i32 %239, 2
  %241 = load i32, ptr %5, align 4, !tbaa !5
  %242 = call noundef zeroext i1 @_Z1eii(i32 noundef %240, i32 noundef %241)
  %243 = zext i1 %242 to i32
  %244 = icmp eq i32 %243, 0
  br i1 %244, label %245, label %257

245:                                              ; preds = %238
  %246 = load i32, ptr %4, align 4, !tbaa !5
  %247 = add nsw i32 %246, 1
  %248 = load i32, ptr %5, align 4, !tbaa !5
  %249 = add nsw i32 %248, 1
  %250 = call noundef zeroext i1 @_Z1eii(i32 noundef %247, i32 noundef %249)
  br i1 %250, label %251, label %257

251:                                              ; preds = %245
  %252 = load i32, ptr %4, align 4, !tbaa !5
  %253 = add nsw i32 %252, 1
  %254 = load i32, ptr %5, align 4, !tbaa !5
  %255 = sub nsw i32 %254, 1
  %256 = call noundef zeroext i1 @_Z1eii(i32 noundef %253, i32 noundef %255)
  br label %257

257:                                              ; preds = %251, %245, %238
  %258 = phi i1 [ false, %245 ], [ false, %238 ], [ %256, %251 ]
  %259 = zext i1 %258 to i32
  %260 = icmp eq i32 %259, 0
  br i1 %260, label %261, label %267

261:                                              ; preds = %257
  %262 = load i32, ptr %4, align 4, !tbaa !5
  %263 = add nsw i32 %262, 1
  %264 = load i32, ptr %5, align 4, !tbaa !5
  %265 = load i32, ptr %6, align 4, !tbaa !5
  %266 = add nsw i32 %265, 1
  call void @_Z3dfsiii(i32 noundef %263, i32 noundef %264, i32 noundef %266)
  br label %267

267:                                              ; preds = %261, %257
  br label %268

268:                                              ; preds = %267, %228, %225
  br label %269

269:                                              ; preds = %268, %218
  %270 = load i32, ptr %4, align 4, !tbaa !5
  %271 = sext i32 %270 to i64
  %272 = getelementptr inbounds [7 x [7 x i8]], ptr @vis, i64 0, i64 %271
  %273 = load i32, ptr %5, align 4, !tbaa !5
  %274 = sext i32 %273 to i64
  %275 = getelementptr inbounds [7 x i8], ptr %272, i64 0, i64 %274
  store i8 0, ptr %275, align 1, !tbaa !9
  br label %276

276:                                              ; preds = %269, %30, %18
  ret void
}

; Function Attrs: mustprogress nounwind uwtable
declare noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEixEm(ptr noundef nonnull align 8 dereferenceable(32), i64 noundef) #0 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 = { 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" }

!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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"bool", !7, i64 0}
!11 = !{i8 0, i8 2}
!12 = !{}
!13 = !{!7, !7, i64 0}


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

%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }

@vis = external dso_local local_unnamed_addr global [7 x [7 x i8]], align 16
@_Z1sB5cxx11 = external dso_local global %"class.std::__cxx11::basic_string", align 8
@_ZL3cnt = external hidden local_unnamed_addr global i32, align 4

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_Z1eii(i32 noundef, i32 noundef) local_unnamed_addr #0

; Function Attrs: mustprogress nounwind uwtable
define dso_local void @_Z3dfsiii(i32 noundef %0, i32 noundef %1, i32 noundef %2) local_unnamed_addr #0 {
  %4 = icmp eq i32 %0, 6
  %5 = icmp eq i32 %1, 0
  %or.cond = and i1 %4, %5
  br i1 %or.cond, label %6, label %11

6:                                                ; preds = %3
  %7 = icmp eq i32 %2, 48
  br i1 %7, label %8, label %123

8:                                                ; preds = %6
  %9 = load i32, ptr @_ZL3cnt, align 4, !tbaa !5
  %10 = add nsw i32 %9, 1
  store i32 %10, ptr @_ZL3cnt, align 4, !tbaa !5
  br label %123

11:                                               ; preds = %3
  %12 = sext i32 %0 to i64
  %13 = sext i32 %1 to i64
  %14 = getelementptr inbounds [7 x [7 x i8]], ptr @vis, i64 0, i64 %12, i64 %13
  %15 = load i8, ptr %14, align 1, !tbaa !9, !range !11, !noundef !12
  %16 = trunc nuw i8 %15 to i1
  br i1 %16, label %123, label %17

17:                                               ; preds = %11
  store i8 1, ptr %14, align 1, !tbaa !9
  %18 = sext i32 %2 to i64
  %19 = tail call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEixEm(ptr noundef nonnull align 8 dereferenceable(32) @_Z1sB5cxx11, i64 noundef %18)
  %20 = load i8, ptr %19, align 1, !tbaa !13
  %21 = icmp eq i8 %20, 63
  br i1 %21, label %27, label %22

22:                                               ; preds = %17
  %23 = tail call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEixEm(ptr noundef nonnull align 8 dereferenceable(32) @_Z1sB5cxx11, i64 noundef %18)
  %24 = load i8, ptr %23, align 1, !tbaa !13
  %25 = icmp eq i8 %24, 76
  %26 = icmp ne i32 %1, 0
  %or.cond3 = and i1 %26, %25
  br i1 %or.cond3, label %28, label %44

27:                                               ; preds = %17
  br i1 %5, label %44, label %28

28:                                               ; preds = %22, %27
  %29 = add nsw i32 %1, -1
  %30 = sext i32 %29 to i64
  %31 = getelementptr inbounds [7 x [7 x i8]], ptr @vis, i64 0, i64 %12, i64 %30
  %32 = load i8, ptr %31, align 1, !tbaa !9, !range !11, !noundef !12
  %33 = trunc nuw i8 %32 to i1
  br i1 %33, label %44, label %34

34:                                               ; preds = %28
  %35 = add nsw i32 %1, -2
  %36 = tail call noundef zeroext i1 @_Z1eii(i32 noundef %0, i32 noundef %35)
  br i1 %36, label %.critedge, label %37

37:                                               ; preds = %34
  %38 = add nsw i32 %0, 1
  %39 = tail call noundef zeroext i1 @_Z1eii(i32 noundef %38, i32 noundef %29)
  br i1 %39, label %40, label %.critedge

40:                                               ; preds = %37
  %41 = add nsw i32 %0, -1
  %42 = tail call noundef zeroext i1 @_Z1eii(i32 noundef %41, i32 noundef %29)
  br i1 %42, label %44, label %.critedge

.critedge:                                        ; preds = %37, %34, %40
  %43 = add nsw i32 %2, 1
  tail call void @_Z3dfsiii(i32 noundef %0, i32 noundef %29, i32 noundef %43)
  br label %44

44:                                               ; preds = %27, %28, %.critedge, %40, %22
  %45 = tail call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEixEm(ptr noundef nonnull align 8 dereferenceable(32) @_Z1sB5cxx11, i64 noundef %18)
  %46 = load i8, ptr %45, align 1, !tbaa !13
  %47 = icmp eq i8 %46, 63
  br i1 %47, label %53, label %48

48:                                               ; preds = %44
  %49 = tail call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEixEm(ptr noundef nonnull align 8 dereferenceable(32) @_Z1sB5cxx11, i64 noundef %18)
  %50 = load i8, ptr %49, align 1, !tbaa !13
  %51 = icmp eq i8 %50, 82
  %52 = icmp slt i32 %1, 6
  %or.cond6 = and i1 %52, %51
  br i1 %or.cond6, label %54, label %70

53:                                               ; preds = %44
  %.old5 = icmp slt i32 %1, 6
  br i1 %.old5, label %54, label %70

54:                                               ; preds = %48, %53
  %55 = add nsw i32 %1, 1
  %56 = sext i32 %55 to i64
  %57 = getelementptr inbounds [7 x [7 x i8]], ptr @vis, i64 0, i64 %12, i64 %56
  %58 = load i8, ptr %57, align 1, !tbaa !9, !range !11, !noundef !12
  %59 = trunc nuw i8 %58 to i1
  br i1 %59, label %70, label %60

60:                                               ; preds = %54
  %61 = add nsw i32 %1, 2
  %62 = tail call noundef zeroext i1 @_Z1eii(i32 noundef %0, i32 noundef %61)
  br i1 %62, label %.critedge82, label %63

63:                                               ; preds = %60
  %64 = add nsw i32 %0, 1
  %65 = tail call noundef zeroext i1 @_Z1eii(i32 noundef %64, i32 noundef %55)
  br i1 %65, label %66, label %.critedge82

66:                                               ; preds = %63
  %67 = add nsw i32 %0, -1
  %68 = tail call noundef zeroext i1 @_Z1eii(i32 noundef %67, i32 noundef %55)
  br i1 %68, label %70, label %.critedge82

.critedge82:                                      ; preds = %63, %60, %66
  %69 = add nsw i32 %2, 1
  tail call void @_Z3dfsiii(i32 noundef %0, i32 noundef %55, i32 noundef %69)
  br label %70

70:                                               ; preds = %53, %54, %.critedge82, %66, %48
  %71 = tail call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEixEm(ptr noundef nonnull align 8 dereferenceable(32) @_Z1sB5cxx11, i64 noundef %18)
  %72 = load i8, ptr %71, align 1, !tbaa !13
  %73 = icmp eq i8 %72, 63
  br i1 %73, label %79, label %74

74:                                               ; preds = %70
  %75 = tail call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEixEm(ptr noundef nonnull align 8 dereferenceable(32) @_Z1sB5cxx11, i64 noundef %18)
  %76 = load i8, ptr %75, align 1, !tbaa !13
  %77 = icmp eq i8 %76, 85
  %78 = icmp ne i32 %0, 0
  %or.cond9 = and i1 %78, %77
  br i1 %or.cond9, label %80, label %96

79:                                               ; preds = %70
  %.old8.not = icmp eq i32 %0, 0
  br i1 %.old8.not, label %96, label %80

80:                                               ; preds = %74, %79
  %81 = add nsw i32 %0, -1
  %82 = sext i32 %81 to i64
  %83 = getelementptr inbounds [7 x [7 x i8]], ptr @vis, i64 0, i64 %82, i64 %13
  %84 = load i8, ptr %83, align 1, !tbaa !9, !range !11, !noundef !12
  %85 = trunc nuw i8 %84 to i1
  br i1 %85, label %96, label %86

86:                                               ; preds = %80
  %87 = add nsw i32 %0, -2
  %88 = tail call noundef zeroext i1 @_Z1eii(i32 noundef %87, i32 noundef %1)
  br i1 %88, label %.critedge84, label %89

89:                                               ; preds = %86
  %90 = add nsw i32 %1, 1
  %91 = tail call noundef zeroext i1 @_Z1eii(i32 noundef %81, i32 noundef %90)
  br i1 %91, label %92, label %.critedge84

92:                                               ; preds = %89
  %93 = add nsw i32 %1, -1
  %94 = tail call noundef zeroext i1 @_Z1eii(i32 noundef %81, i32 noundef %93)
  br i1 %94, label %96, label %.critedge84

.critedge84:                                      ; preds = %89, %86, %92
  %95 = add nsw i32 %2, 1
  tail call void @_Z3dfsiii(i32 noundef %81, i32 noundef %1, i32 noundef %95)
  br label %96

96:                                               ; preds = %79, %80, %.critedge84, %92, %74
  %97 = tail call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEixEm(ptr noundef nonnull align 8 dereferenceable(32) @_Z1sB5cxx11, i64 noundef %18)
  %98 = load i8, ptr %97, align 1, !tbaa !13
  %99 = icmp eq i8 %98, 63
  br i1 %99, label %105, label %100

100:                                              ; preds = %96
  %101 = tail call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEixEm(ptr noundef nonnull align 8 dereferenceable(32) @_Z1sB5cxx11, i64 noundef %18)
  %102 = load i8, ptr %101, align 1, !tbaa !13
  %103 = icmp eq i8 %102, 68
  %104 = icmp slt i32 %0, 6
  %or.cond12 = and i1 %104, %103
  br i1 %or.cond12, label %106, label %122

105:                                              ; preds = %96
  %.old11 = icmp slt i32 %0, 6
  br i1 %.old11, label %106, label %122

106:                                              ; preds = %100, %105
  %107 = add nsw i32 %0, 1
  %108 = sext i32 %107 to i64
  %109 = getelementptr inbounds [7 x [7 x i8]], ptr @vis, i64 0, i64 %108, i64 %13
  %110 = load i8, ptr %109, align 1, !tbaa !9, !range !11, !noundef !12
  %111 = trunc nuw i8 %110 to i1
  br i1 %111, label %122, label %112

112:                                              ; preds = %106
  %113 = add nsw i32 %0, 2
  %114 = tail call noundef zeroext i1 @_Z1eii(i32 noundef %113, i32 noundef %1)
  br i1 %114, label %.critedge86, label %115

115:                                              ; preds = %112
  %116 = add nsw i32 %1, 1
  %117 = tail call noundef zeroext i1 @_Z1eii(i32 noundef %107, i32 noundef %116)
  br i1 %117, label %118, label %.critedge86

118:                                              ; preds = %115
  %119 = add nsw i32 %1, -1
  %120 = tail call noundef zeroext i1 @_Z1eii(i32 noundef %107, i32 noundef %119)
  br i1 %120, label %122, label %.critedge86

.critedge86:                                      ; preds = %115, %112, %118
  %121 = add nsw i32 %2, 1
  tail call void @_Z3dfsiii(i32 noundef %107, i32 noundef %1, i32 noundef %121)
  br label %122

122:                                              ; preds = %105, %106, %.critedge86, %118, %100
  store i8 0, ptr %14, align 1, !tbaa !9
  br label %123

123:                                              ; preds = %11, %6, %8, %122
  ret void
}

; Function Attrs: mustprogress nounwind uwtable
declare noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEixEm(ptr noundef nonnull align 8 dereferenceable(32), i64 noundef) local_unnamed_addr #0 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" }

!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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"bool", !7, i64 0}
!11 = !{i8 0, i8 2}
!12 = !{}
!13 = !{!7, !7, i64 0}


; Effective O3 passes: EarlyCSEPass,GlobalOptPass,IPSCCPPass,InstCombinePass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass