; LLVM IR from nickmqb/muon :: bootstrap/mu.ll_TypeChecker (checkForEachStatement__)

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

%struct.string__ = type { ptr, i32 }
%struct.tag_____Error__ = type { ptr, %struct.tag_____IntRange__, %struct.string__ }
%struct.tag_____IntRange__ = type { i32, i32 }
%struct.tag_____Tag__ = type { ptr, ptr }
%struct.Node__ = type { i32, ptr }
%struct.tag_____StringBuilder__ = type { ptr, i32, i32 }
%struct.tag_____ForEachStatement__ = type { ptr, ptr, ptr, ptr, ptr, %struct.Node__, ptr, ptr }
%struct.tag_____TypeCheckerContext__ = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, i32, ptr, i32, i8 }
%struct.tag_____CommonTags__ = type { %struct.tag_____Tag__, %struct.tag_____Tag__, %struct.tag_____Tag__, %struct.tag_____Tag__, %struct.tag_____Tag__, %struct.tag_____Tag__, %struct.tag_____Tag__, %struct.tag_____Tag__, %struct.tag_____Tag__, %struct.tag_____Tag__, %struct.tag_____Tag__, %struct.tag_____Tag__, %struct.tag_____Tag__, %struct.tag_____Tag__, %struct.tag_____Tag__, %struct.tag_____Tag__, %struct.tag_____Tag__, %struct.tag_____Tag__, %struct.tag_____Tag__, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%struct.tag_____Array__Tag____ = type { ptr, i32 }
%struct.tag_____Namespace__ = type { %struct.string__, ptr, i32, i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32 }
%struct.tag_____List__string____ = type { ptr, i32, i32 }
%struct.tag_____Token__ = type { i32, %struct.string__, %struct.tag_____IntRange__, %struct.tag_____IntRange__, i32 }

@mu_____string273 = external dso_local global %struct.string__, align 8
@mu_____string276 = external dso_local global %struct.string__, align 8
@mu_____string274 = external dso_local global %struct.string__, align 8
@top_____abandonFn__ = external dso_local thread_local global ptr, align 8
@__const.TypeChecker__checkForEachStatement__.local20 = external hidden unnamed_addr constant %struct.string__, align 8

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

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare nonnull ptr @llvm.threadlocal.address.p0(ptr nonnull) #1

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

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #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) #3

; Function Attrs: nounwind uwtable
declare dso_local void @StringBuilder__write__(ptr noundef, ptr, i32) #4

; Function Attrs: nounwind uwtable
declare dso_local { ptr, i32 } @StringBuilder__compactToString__(ptr noundef) #4

; Function Attrs: nounwind uwtable
declare dso_local void @List__add__Error____(ptr noundef, ptr noundef byval(%struct.tag_____Error__) align 8) #4

; Function Attrs: nounwind uwtable
declare dso_local void @Error__at__(ptr dead_on_unwind noalias writable sret(%struct.tag_____Error__) align 8, ptr noundef, i64, ptr, i32) #4

; Function Attrs: nounwind uwtable
declare dso_local i64 @RangeFinder__find__(i32, ptr) #4

; Function Attrs: nounwind uwtable
declare dso_local { ptr, i32 } @Tag__toString__(ptr, ptr) #4

; Function Attrs: nounwind uwtable
declare dso_local zeroext i8 @Map__tryAdd__string__Tag____(ptr noundef, ptr, i32, ptr, ptr) #4

; Function Attrs: nounwind uwtable
declare dso_local { ptr, ptr } @TypeChecker__checkExpression__(ptr noundef, i32, ptr) #4

; Function Attrs: nounwind uwtable
declare dso_local void @TypeChecker__checkBlockStatement__(ptr noundef, ptr noundef) #4

; Function Attrs: nounwind uwtable
declare dso_local void @TypeChecker__badLocalVar__(ptr noundef, ptr, i32, i32, ptr) #4

; Function Attrs: nounwind uwtable
declare dso_local void @List__add__string____(ptr noundef, ptr, i32) #4

; Function Attrs: nounwind uwtable
define dso_local void @TypeChecker__checkForEachStatement__(ptr noundef %0, ptr noundef %1) #4 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca %struct.tag_____Tag__, align 8
  %6 = alloca %struct.tag_____Tag__, align 8
  %7 = alloca ptr, align 8
  %8 = alloca i32, align 4
  %9 = alloca %struct.tag_____Tag__, align 8
  %10 = alloca %struct.tag_____Tag__, align 8
  %11 = alloca %struct.tag_____Tag__, align 8
  %12 = alloca i8, align 1
  %13 = alloca i8, align 1
  %14 = alloca i8, align 1
  %15 = alloca i8, align 1
  %16 = alloca i8, align 1
  %17 = alloca i8, align 1
  %18 = alloca ptr, align 8
  %19 = alloca i32, align 4
  %20 = alloca i8, align 1
  %21 = alloca ptr, align 8
  %22 = alloca i32, align 4
  %23 = alloca %struct.Node__, align 8
  %24 = alloca %struct.tag_____Error__, align 8
  %25 = alloca %struct.tag_____IntRange__, align 4
  %26 = alloca i8, align 1
  %27 = alloca %struct.tag_____Tag__, align 8
  %28 = alloca %struct.Node__, align 8
  %29 = alloca %struct.tag_____Error__, align 8
  %30 = alloca %struct.tag_____IntRange__, align 4
  %31 = alloca %struct.tag_____StringBuilder__, align 8
  %32 = alloca %struct.string__, align 8
  %33 = alloca %struct.string__, align 8
  %34 = alloca %struct.tag_____Error__, align 8
  %35 = alloca %struct.tag_____IntRange__, align 4
  %36 = alloca %struct.string__, align 8
  %37 = alloca i32, align 4
  %38 = alloca %struct.string__, align 8
  %39 = alloca %struct.string__, align 8
  %40 = alloca %struct.Node__, align 8
  %41 = alloca ptr, align 8
  %42 = alloca %struct.string__, align 8
  %43 = alloca %struct.Node__, align 8
  store ptr %0, ptr %3, align 8, !tbaa !5
  store ptr %1, ptr %4, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %5) #5
  %44 = load ptr, ptr %3, align 8, !tbaa !5
  %45 = load ptr, ptr %4, align 8, !tbaa !5
  %46 = getelementptr inbounds %struct.tag_____ForEachStatement__, ptr %45, i32 0, i32 5
  %47 = getelementptr inbounds { i32, ptr }, ptr %46, i32 0, i32 0
  %48 = load i32, ptr %47, align 8
  %49 = getelementptr inbounds { i32, ptr }, ptr %46, i32 0, i32 1
  %50 = load ptr, ptr %49, align 8
  %51 = call { ptr, ptr } @TypeChecker__checkExpression__(ptr noundef %44, i32 %48, ptr %50)
  %52 = getelementptr inbounds { ptr, ptr }, ptr %5, i32 0, i32 0
  %53 = extractvalue { ptr, ptr } %51, 0
  store ptr %53, ptr %52, align 8
  %54 = getelementptr inbounds { ptr, ptr }, ptr %5, i32 0, i32 1
  %55 = extractvalue { ptr, ptr } %51, 1
  store ptr %55, ptr %54, align 8
  call void @llvm.lifetime.start.p0(i64 16, ptr %6) #5
  %56 = getelementptr inbounds %struct.tag_____Tag__, ptr %5, i32 0, i32 0
  %57 = load ptr, ptr %56, align 8, !tbaa !9
  %58 = load ptr, ptr %3, align 8, !tbaa !5
  %59 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %58, i32 0, i32 4
  %60 = load ptr, ptr %59, align 8, !tbaa !11
  %61 = getelementptr inbounds %struct.tag_____CommonTags__, ptr %60, i32 0, i32 19
  %62 = load ptr, ptr %61, align 8, !tbaa !14
  %63 = icmp eq ptr %57, %62
  br i1 %63, label %64, label %82

64:                                               ; preds = %2
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #5
  %65 = getelementptr inbounds %struct.tag_____Tag__, ptr %5, i32 0, i32 1
  %66 = load ptr, ptr %65, align 8, !tbaa !16
  store ptr %66, ptr %7, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #5
  store i32 0, ptr %8, align 4, !tbaa !17
  %67 = load i32, ptr %8, align 4, !tbaa !17
  %68 = load ptr, ptr %7, align 8, !tbaa !5
  %69 = getelementptr inbounds %struct.tag_____Array__Tag____, ptr %68, i32 0, i32 1
  %70 = load i32, ptr %69, align 8, !tbaa !18
  %71 = icmp ult i32 %67, %70
  br i1 %71, label %75, label %72

72:                                               ; preds = %64
  %73 = call align 8 ptr @llvm.threadlocal.address.p0(ptr align 8 @top_____abandonFn__)
  %74 = load ptr, ptr %73, align 8, !tbaa !5
  call void %74(i32 noundef -3)
  br label %75

75:                                               ; preds = %72, %64
  %76 = load ptr, ptr %7, align 8, !tbaa !5
  %77 = getelementptr inbounds %struct.tag_____Array__Tag____, ptr %76, i32 0, i32 0
  %78 = load ptr, ptr %77, align 8, !tbaa !20
  %79 = load i32, ptr %8, align 4, !tbaa !17
  %80 = zext i32 %79 to i64
  %81 = getelementptr inbounds %struct.tag_____Tag__, ptr %78, i64 %80
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %6, ptr align 8 %81, i64 16, i1 false), !tbaa.struct !21
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #5
  br label %83

82:                                               ; preds = %2
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %6, ptr align 8 %5, i64 16, i1 false), !tbaa.struct !21
  br label %83

83:                                               ; preds = %82, %75
  call void @llvm.lifetime.start.p0(i64 16, ptr %9) #5
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %9, ptr align 8 %6, i64 16, i1 false), !tbaa.struct !21
  call void @llvm.lifetime.start.p0(i64 16, ptr %10) #5
  call void @llvm.memset.p0.i64(ptr align 8 %10, i8 0, i64 16, i1 false)
  call void @llvm.lifetime.start.p0(i64 16, ptr %11) #5
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %11, ptr align 8 %10, i64 16, i1 false), !tbaa.struct !21
  %84 = getelementptr inbounds %struct.tag_____Tag__, ptr %9, i32 0, i32 0
  %85 = load ptr, ptr %84, align 8, !tbaa !9
  %86 = icmp ne ptr %85, null
  br i1 %86, label %87, label %389

87:                                               ; preds = %83
  call void @llvm.lifetime.start.p0(i64 1, ptr %12) #5
  %88 = getelementptr inbounds %struct.tag_____Tag__, ptr %9, i32 0, i32 0
  %89 = load ptr, ptr %88, align 8, !tbaa !9
  %90 = load ptr, ptr %3, align 8, !tbaa !5
  %91 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %90, i32 0, i32 4
  %92 = load ptr, ptr %91, align 8, !tbaa !11
  %93 = getelementptr inbounds %struct.tag_____CommonTags__, ptr %92, i32 0, i32 21
  %94 = load ptr, ptr %93, align 8, !tbaa !22
  %95 = icmp eq ptr %89, %94
  %96 = zext i1 %95 to i32
  %97 = trunc i32 %96 to i8
  store i8 %97, ptr %12, align 1, !tbaa !23
  %98 = load i8, ptr %12, align 1, !tbaa !23
  %99 = icmp ne i8 %98, 0
  br i1 %99, label %111, label %100

100:                                              ; preds = %87
  %101 = getelementptr inbounds %struct.tag_____Tag__, ptr %9, i32 0, i32 0
  %102 = load ptr, ptr %101, align 8, !tbaa !9
  %103 = load ptr, ptr %3, align 8, !tbaa !5
  %104 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %103, i32 0, i32 4
  %105 = load ptr, ptr %104, align 8, !tbaa !11
  %106 = getelementptr inbounds %struct.tag_____CommonTags__, ptr %105, i32 0, i32 22
  %107 = load ptr, ptr %106, align 8, !tbaa !24
  %108 = icmp eq ptr %102, %107
  %109 = zext i1 %108 to i32
  %110 = trunc i32 %109 to i8
  store i8 %110, ptr %12, align 1, !tbaa !23
  br label %111

111:                                              ; preds = %100, %87
  call void @llvm.lifetime.start.p0(i64 1, ptr %13) #5
  %112 = load i8, ptr %12, align 1, !tbaa !23
  store i8 %112, ptr %13, align 1, !tbaa !23
  %113 = load i8, ptr %13, align 1, !tbaa !23
  %114 = icmp ne i8 %113, 0
  br i1 %114, label %126, label %115

115:                                              ; preds = %111
  %116 = getelementptr inbounds %struct.tag_____Tag__, ptr %9, i32 0, i32 0
  %117 = load ptr, ptr %116, align 8, !tbaa !9
  %118 = load ptr, ptr %3, align 8, !tbaa !5
  %119 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %118, i32 0, i32 4
  %120 = load ptr, ptr %119, align 8, !tbaa !11
  %121 = getelementptr inbounds %struct.tag_____CommonTags__, ptr %120, i32 0, i32 23
  %122 = load ptr, ptr %121, align 8, !tbaa !25
  %123 = icmp eq ptr %117, %122
  %124 = zext i1 %123 to i32
  %125 = trunc i32 %124 to i8
  store i8 %125, ptr %13, align 1, !tbaa !23
  br label %126

126:                                              ; preds = %115, %111
  call void @llvm.lifetime.start.p0(i64 1, ptr %14) #5
  %127 = load i8, ptr %13, align 1, !tbaa !23
  store i8 %127, ptr %14, align 1, !tbaa !23
  %128 = load i8, ptr %14, align 1, !tbaa !23
  %129 = icmp ne i8 %128, 0
  br i1 %129, label %141, label %130

130:                                              ; preds = %126
  %131 = getelementptr inbounds %struct.tag_____Tag__, ptr %9, i32 0, i32 0
  %132 = load ptr, ptr %131, align 8, !tbaa !9
  %133 = load ptr, ptr %3, align 8, !tbaa !5
  %134 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %133, i32 0, i32 4
  %135 = load ptr, ptr %134, align 8, !tbaa !11
  %136 = getelementptr inbounds %struct.tag_____CommonTags__, ptr %135, i32 0, i32 25
  %137 = load ptr, ptr %136, align 8, !tbaa !26
  %138 = icmp eq ptr %132, %137
  %139 = zext i1 %138 to i32
  %140 = trunc i32 %139 to i8
  store i8 %140, ptr %14, align 1, !tbaa !23
  br label %141

141:                                              ; preds = %130, %126
  call void @llvm.lifetime.start.p0(i64 1, ptr %15) #5
  %142 = load i8, ptr %14, align 1, !tbaa !23
  store i8 %142, ptr %15, align 1, !tbaa !23
  %143 = load i8, ptr %15, align 1, !tbaa !23
  %144 = icmp ne i8 %143, 0
  br i1 %144, label %176, label %145

145:                                              ; preds = %141
  call void @llvm.lifetime.start.p0(i64 1, ptr %16) #5
  %146 = getelementptr inbounds %struct.tag_____Tag__, ptr %9, i32 0, i32 0
  %147 = load ptr, ptr %146, align 8, !tbaa !9
  %148 = getelementptr inbounds %struct.tag_____Namespace__, ptr %147, i32 0, i32 3
  %149 = load i32, ptr %148, align 4, !tbaa !27
  %150 = and i32 %149, 1024
  %151 = icmp ne i32 %150, 0
  %152 = zext i1 %151 to i32
  %153 = trunc i32 %152 to i8
  store i8 %153, ptr %16, align 1, !tbaa !23
  %154 = load i8, ptr %16, align 1, !tbaa !23
  %155 = icmp ne i8 %154, 0
  br i1 %155, label %156, label %162

156:                                              ; preds = %145
  %157 = getelementptr inbounds %struct.tag_____Tag__, ptr %9, i32 0, i32 1
  %158 = load ptr, ptr %157, align 8, !tbaa !16
  %159 = icmp ne ptr %158, null
  %160 = zext i1 %159 to i32
  %161 = trunc i32 %160 to i8
  store i8 %161, ptr %16, align 1, !tbaa !23
  br label %162

162:                                              ; preds = %156, %145
  call void @llvm.lifetime.start.p0(i64 1, ptr %17) #5
  %163 = load i8, ptr %16, align 1, !tbaa !23
  store i8 %163, ptr %17, align 1, !tbaa !23
  %164 = load i8, ptr %17, align 1, !tbaa !23
  %165 = icmp ne i8 %164, 0
  br i1 %165, label %166, label %174

166:                                              ; preds = %162
  %167 = getelementptr inbounds %struct.tag_____Tag__, ptr %9, i32 0, i32 1
  %168 = load ptr, ptr %167, align 8, !tbaa !16
  %169 = getelementptr inbounds %struct.tag_____Array__Tag____, ptr %168, i32 0, i32 1
  %170 = load i32, ptr %169, align 8, !tbaa !18
  %171 = icmp sgt i32 %170, 0
  %172 = zext i1 %171 to i32
  %173 = trunc i32 %172 to i8
  store i8 %173, ptr %17, align 1, !tbaa !23
  br label %174

174:                                              ; preds = %166, %162
  %175 = load i8, ptr %17, align 1, !tbaa !23
  store i8 %175, ptr %15, align 1, !tbaa !23
  call void @llvm.lifetime.end.p0(i64 1, ptr %17) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %16) #5
  br label %176

176:                                              ; preds = %174, %141
  %177 = load i8, ptr %15, align 1, !tbaa !23
  %178 = icmp ne i8 %177, 0
  br i1 %178, label %179, label %197

179:                                              ; preds = %176
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #5
  %180 = getelementptr inbounds %struct.tag_____Tag__, ptr %9, i32 0, i32 1
  %181 = load ptr, ptr %180, align 8, !tbaa !16
  store ptr %181, ptr %18, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #5
  store i32 0, ptr %19, align 4, !tbaa !17
  %182 = load i32, ptr %19, align 4, !tbaa !17
  %183 = load ptr, ptr %18, align 8, !tbaa !5
  %184 = getelementptr inbounds %struct.tag_____Array__Tag____, ptr %183, i32 0, i32 1
  %185 = load i32, ptr %184, align 8, !tbaa !18
  %186 = icmp ult i32 %182, %185
  br i1 %186, label %190, label %187

187:                                              ; preds = %179
  %188 = call align 8 ptr @llvm.threadlocal.address.p0(ptr align 8 @top_____abandonFn__)
  %189 = load ptr, ptr %188, align 8, !tbaa !5
  call void %189(i32 noundef -3)
  br label %190

190:                                              ; preds = %187, %179
  %191 = load ptr, ptr %18, align 8, !tbaa !5
  %192 = getelementptr inbounds %struct.tag_____Array__Tag____, ptr %191, i32 0, i32 0
  %193 = load ptr, ptr %192, align 8, !tbaa !20
  %194 = load i32, ptr %19, align 4, !tbaa !17
  %195 = zext i32 %194 to i64
  %196 = getelementptr inbounds %struct.tag_____Tag__, ptr %193, i64 %195
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %11, ptr align 8 %196, i64 16, i1 false), !tbaa.struct !21
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #5
  br label %388

197:                                              ; preds = %176
  call void @llvm.lifetime.start.p0(i64 1, ptr %20) #5
  %198 = getelementptr inbounds %struct.tag_____Tag__, ptr %9, i32 0, i32 0
  %199 = load ptr, ptr %198, align 8, !tbaa !9
  %200 = load ptr, ptr %3, align 8, !tbaa !5
  %201 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %200, i32 0, i32 4
  %202 = load ptr, ptr %201, align 8, !tbaa !11
  %203 = getelementptr inbounds %struct.tag_____CommonTags__, ptr %202, i32 0, i32 23
  %204 = load ptr, ptr %203, align 8, !tbaa !25
  %205 = icmp eq ptr %199, %204
  %206 = zext i1 %205 to i32
  %207 = trunc i32 %206 to i8
  store i8 %207, ptr %20, align 1, !tbaa !23
  %208 = load i8, ptr %20, align 1, !tbaa !23
  %209 = icmp ne i8 %208, 0
  br i1 %209, label %221, label %210

210:                                              ; preds = %197
  %211 = getelementptr inbounds %struct.tag_____Tag__, ptr %9, i32 0, i32 0
  %212 = load ptr, ptr %211, align 8, !tbaa !9
  %213 = load ptr, ptr %3, align 8, !tbaa !5
  %214 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %213, i32 0, i32 4
  %215 = load ptr, ptr %214, align 8, !tbaa !11
  %216 = getelementptr inbounds %struct.tag_____CommonTags__, ptr %215, i32 0, i32 25
  %217 = load ptr, ptr %216, align 8, !tbaa !26
  %218 = icmp eq ptr %212, %217
  %219 = zext i1 %218 to i32
  %220 = trunc i32 %219 to i8
  store i8 %220, ptr %20, align 1, !tbaa !23
  br label %221

221:                                              ; preds = %210, %197
  %222 = load i8, ptr %20, align 1, !tbaa !23
  %223 = icmp ne i8 %222, 0
  br i1 %223, label %224, label %275

224:                                              ; preds = %221
  %225 = load ptr, ptr %3, align 8, !tbaa !5
  %226 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %225, i32 0, i32 4
  %227 = load ptr, ptr %226, align 8, !tbaa !11
  %228 = getelementptr inbounds %struct.tag_____CommonTags__, ptr %227, i32 0, i32 24
  %229 = load ptr, ptr %228, align 8, !tbaa !30
  %230 = icmp ne ptr %229, null
  br i1 %230, label %231, label %249

231:                                              ; preds = %224
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #5
  %232 = getelementptr inbounds %struct.tag_____Tag__, ptr %9, i32 0, i32 1
  %233 = load ptr, ptr %232, align 8, !tbaa !16
  store ptr %233, ptr %21, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #5
  store i32 0, ptr %22, align 4, !tbaa !17
  %234 = load i32, ptr %22, align 4, !tbaa !17
  %235 = load ptr, ptr %21, align 8, !tbaa !5
  %236 = getelementptr inbounds %struct.tag_____Array__Tag____, ptr %235, i32 0, i32 1
  %237 = load i32, ptr %236, align 8, !tbaa !18
  %238 = icmp ult i32 %234, %237
  br i1 %238, label %242, label %239

239:                                              ; preds = %231
  %240 = call align 8 ptr @llvm.threadlocal.address.p0(ptr align 8 @top_____abandonFn__)
  %241 = load ptr, ptr %240, align 8, !tbaa !5
  call void %241(i32 noundef -3)
  br label %242

242:                                              ; preds = %239, %231
  %243 = load ptr, ptr %21, align 8, !tbaa !5
  %244 = getelementptr inbounds %struct.tag_____Array__Tag____, ptr %243, i32 0, i32 0
  %245 = load ptr, ptr %244, align 8, !tbaa !20
  %246 = load i32, ptr %22, align 4, !tbaa !17
  %247 = zext i32 %246 to i64
  %248 = getelementptr inbounds %struct.tag_____Tag__, ptr %245, i64 %247
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %11, ptr align 8 %248, i64 16, i1 false), !tbaa.struct !21
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #5
  br label %274

249:                                              ; preds = %224
  call void @llvm.lifetime.start.p0(i64 16, ptr %23) #5
  %250 = load ptr, ptr %4, align 8, !tbaa !5
  %251 = getelementptr inbounds %struct.tag_____ForEachStatement__, ptr %250, i32 0, i32 0
  %252 = load ptr, ptr %251, align 8, !tbaa !31
  %253 = getelementptr inbounds %struct.Node__, ptr %23, i32 0, i32 1
  store ptr %252, ptr %253, align 8, !tbaa !34
  %254 = getelementptr inbounds %struct.Node__, ptr %23, i32 0, i32 1
  %255 = load ptr, ptr %254, align 8, !tbaa !34
  %256 = icmp ne ptr %255, null
  %257 = zext i1 %256 to i64
  %258 = select i1 %256, i32 21, i32 0
  %259 = getelementptr inbounds %struct.Node__, ptr %23, i32 0, i32 0
  store i32 %258, ptr %259, align 8, !tbaa !35
  %260 = load ptr, ptr %3, align 8, !tbaa !5
  %261 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %260, i32 0, i32 2
  %262 = load ptr, ptr %261, align 8, !tbaa !36
  %263 = load ptr, ptr %3, align 8, !tbaa !5
  %264 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %263, i32 0, i32 5
  %265 = load ptr, ptr %264, align 8, !tbaa !37
  %266 = getelementptr inbounds { i32, ptr }, ptr %23, i32 0, i32 0
  %267 = load i32, ptr %266, align 8
  %268 = getelementptr inbounds { i32, ptr }, ptr %23, i32 0, i32 1
  %269 = load ptr, ptr %268, align 8
  %270 = call i64 @RangeFinder__find__(i32 %267, ptr %269)
  store i64 %270, ptr %25, align 4
  %271 = load i64, ptr %25, align 4
  %272 = load ptr, ptr @mu_____string273, align 8
  %273 = load i32, ptr getelementptr inbounds ({ ptr, i32 }, ptr @mu_____string273, i32 0, i32 1), align 8
  call void @Error__at__(ptr dead_on_unwind writable sret(%struct.tag_____Error__) align 8 %24, ptr noundef %265, i64 %271, ptr %272, i32 %273)
  call void @List__add__Error____(ptr noundef %262, ptr noundef byval(%struct.tag_____Error__) align 8 %24)
  call void @llvm.lifetime.end.p0(i64 16, ptr %23) #5
  br label %274

274:                                              ; preds = %249, %242
  br label %387

275:                                              ; preds = %221
  call void @llvm.lifetime.start.p0(i64 1, ptr %26) #5
  %276 = getelementptr inbounds %struct.tag_____Tag__, ptr %9, i32 0, i32 0
  %277 = load ptr, ptr %276, align 8, !tbaa !9
  %278 = load ptr, ptr %3, align 8, !tbaa !5
  %279 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %278, i32 0, i32 4
  %280 = load ptr, ptr %279, align 8, !tbaa !11
  %281 = getelementptr inbounds %struct.tag_____CommonTags__, ptr %280, i32 0, i32 26
  %282 = load ptr, ptr %281, align 8, !tbaa !38
  %283 = icmp eq ptr %277, %282
  %284 = zext i1 %283 to i32
  %285 = trunc i32 %284 to i8
  store i8 %285, ptr %26, align 1, !tbaa !23
  %286 = load i8, ptr %26, align 1, !tbaa !23
  %287 = icmp ne i8 %286, 0
  br i1 %287, label %299, label %288

288:                                              ; preds = %275
  %289 = getelementptr inbounds %struct.tag_____Tag__, ptr %9, i32 0, i32 0
  %290 = load ptr, ptr %289, align 8, !tbaa !9
  %291 = load ptr, ptr %3, align 8, !tbaa !5
  %292 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %291, i32 0, i32 4
  %293 = load ptr, ptr %292, align 8, !tbaa !11
  %294 = getelementptr inbounds %struct.tag_____CommonTags__, ptr %293, i32 0, i32 28
  %295 = load ptr, ptr %294, align 8, !tbaa !39
  %296 = icmp eq ptr %290, %295
  %297 = zext i1 %296 to i32
  %298 = trunc i32 %297 to i8
  store i8 %298, ptr %26, align 1, !tbaa !23
  br label %299

299:                                              ; preds = %288, %275
  %300 = load i8, ptr %26, align 1, !tbaa !23
  %301 = icmp ne i8 %300, 0
  br i1 %301, label %302, label %345

302:                                              ; preds = %299
  %303 = load ptr, ptr %3, align 8, !tbaa !5
  %304 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %303, i32 0, i32 4
  %305 = load ptr, ptr %304, align 8, !tbaa !11
  %306 = getelementptr inbounds %struct.tag_____CommonTags__, ptr %305, i32 0, i32 27
  %307 = load ptr, ptr %306, align 8, !tbaa !40
  %308 = icmp ne ptr %307, null
  br i1 %308, label %309, label %319

309:                                              ; preds = %302
  call void @llvm.lifetime.start.p0(i64 16, ptr %27) #5
  call void @llvm.memset.p0.i64(ptr align 8 %27, i8 0, i64 16, i1 false)
  %310 = load ptr, ptr %3, align 8, !tbaa !5
  %311 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %310, i32 0, i32 4
  %312 = load ptr, ptr %311, align 8, !tbaa !11
  %313 = getelementptr inbounds %struct.tag_____CommonTags__, ptr %312, i32 0, i32 27
  %314 = load ptr, ptr %313, align 8, !tbaa !40
  %315 = getelementptr inbounds %struct.tag_____Tag__, ptr %27, i32 0, i32 0
  store ptr %314, ptr %315, align 8, !tbaa !9
  %316 = getelementptr inbounds %struct.tag_____Tag__, ptr %9, i32 0, i32 1
  %317 = load ptr, ptr %316, align 8, !tbaa !16
  %318 = getelementptr inbounds %struct.tag_____Tag__, ptr %27, i32 0, i32 1
  store ptr %317, ptr %318, align 8, !tbaa !16
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %11, ptr align 8 %27, i64 16, i1 false), !tbaa.struct !21
  call void @llvm.lifetime.end.p0(i64 16, ptr %27) #5
  br label %344

319:                                              ; preds = %302
  call void @llvm.lifetime.start.p0(i64 16, ptr %28) #5
  %320 = load ptr, ptr %4, align 8, !tbaa !5
  %321 = getelementptr inbounds %struct.tag_____ForEachStatement__, ptr %320, i32 0, i32 0
  %322 = load ptr, ptr %321, align 8, !tbaa !31
  %323 = getelementptr inbounds %struct.Node__, ptr %28, i32 0, i32 1
  store ptr %322, ptr %323, align 8, !tbaa !34
  %324 = getelementptr inbounds %struct.Node__, ptr %28, i32 0, i32 1
  %325 = load ptr, ptr %324, align 8, !tbaa !34
  %326 = icmp ne ptr %325, null
  %327 = zext i1 %326 to i64
  %328 = select i1 %326, i32 21, i32 0
  %329 = getelementptr inbounds %struct.Node__, ptr %28, i32 0, i32 0
  store i32 %328, ptr %329, align 8, !tbaa !35
  %330 = load ptr, ptr %3, align 8, !tbaa !5
  %331 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %330, i32 0, i32 2
  %332 = load ptr, ptr %331, align 8, !tbaa !36
  %333 = load ptr, ptr %3, align 8, !tbaa !5
  %334 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %333, i32 0, i32 5
  %335 = load ptr, ptr %334, align 8, !tbaa !37
  %336 = getelementptr inbounds { i32, ptr }, ptr %28, i32 0, i32 0
  %337 = load i32, ptr %336, align 8
  %338 = getelementptr inbounds { i32, ptr }, ptr %28, i32 0, i32 1
  %339 = load ptr, ptr %338, align 8
  %340 = call i64 @RangeFinder__find__(i32 %337, ptr %339)
  store i64 %340, ptr %30, align 4
  %341 = load i64, ptr %30, align 4
  %342 = load ptr, ptr @mu_____string274, align 8
  %343 = load i32, ptr getelementptr inbounds ({ ptr, i32 }, ptr @mu_____string274, i32 0, i32 1), align 8
  call void @Error__at__(ptr dead_on_unwind writable sret(%struct.tag_____Error__) align 8 %29, ptr noundef %335, i64 %341, ptr %342, i32 %343)
  call void @List__add__Error____(ptr noundef %332, ptr noundef byval(%struct.tag_____Error__) align 8 %29)
  call void @llvm.lifetime.end.p0(i64 16, ptr %28) #5
  br label %344

344:                                              ; preds = %319, %309
  br label %386

345:                                              ; preds = %299
  call void @llvm.lifetime.start.p0(i64 16, ptr %31) #5
  call void @llvm.memset.p0.i64(ptr align 8 %31, i8 0, i64 16, i1 false)
  call void @llvm.lifetime.start.p0(i64 16, ptr %32) #5
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %32, ptr align 8 @__const.TypeChecker__checkForEachStatement__.local20, i64 16, i1 false)
  %346 = getelementptr inbounds { ptr, i32 }, ptr %32, i32 0, i32 0
  %347 = load ptr, ptr %346, align 8
  %348 = getelementptr inbounds { ptr, i32 }, ptr %32, i32 0, i32 1
  %349 = load i32, ptr %348, align 8
  call void @StringBuilder__write__(ptr noundef %31, ptr %347, i32 %349)
  %350 = getelementptr inbounds { ptr, ptr }, ptr %9, i32 0, i32 0
  %351 = load ptr, ptr %350, align 8
  %352 = getelementptr inbounds { ptr, ptr }, ptr %9, i32 0, i32 1
  %353 = load ptr, ptr %352, align 8
  %354 = call { ptr, i32 } @Tag__toString__(ptr %351, ptr %353)
  %355 = getelementptr inbounds { ptr, i32 }, ptr %33, i32 0, i32 0
  %356 = extractvalue { ptr, i32 } %354, 0
  store ptr %356, ptr %355, align 8
  %357 = getelementptr inbounds { ptr, i32 }, ptr %33, i32 0, i32 1
  %358 = extractvalue { ptr, i32 } %354, 1
  store i32 %358, ptr %357, align 8
  %359 = getelementptr inbounds { ptr, i32 }, ptr %33, i32 0, i32 0
  %360 = load ptr, ptr %359, align 8
  %361 = getelementptr inbounds { ptr, i32 }, ptr %33, i32 0, i32 1
  %362 = load i32, ptr %361, align 8
  call void @StringBuilder__write__(ptr noundef %31, ptr %360, i32 %362)
  %363 = load ptr, ptr %3, align 8, !tbaa !5
  %364 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %363, i32 0, i32 2
  %365 = load ptr, ptr %364, align 8, !tbaa !36
  %366 = load ptr, ptr %3, align 8, !tbaa !5
  %367 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %366, i32 0, i32 5
  %368 = load ptr, ptr %367, align 8, !tbaa !37
  %369 = load ptr, ptr %4, align 8, !tbaa !5
  %370 = getelementptr inbounds %struct.tag_____ForEachStatement__, ptr %369, i32 0, i32 5
  %371 = getelementptr inbounds { i32, ptr }, ptr %370, i32 0, i32 0
  %372 = load i32, ptr %371, align 8
  %373 = getelementptr inbounds { i32, ptr }, ptr %370, i32 0, i32 1
  %374 = load ptr, ptr %373, align 8
  %375 = call i64 @RangeFinder__find__(i32 %372, ptr %374)
  store i64 %375, ptr %35, align 4
  %376 = call { ptr, i32 } @StringBuilder__compactToString__(ptr noundef %31)
  %377 = getelementptr inbounds { ptr, i32 }, ptr %36, i32 0, i32 0
  %378 = extractvalue { ptr, i32 } %376, 0
  store ptr %378, ptr %377, align 8
  %379 = getelementptr inbounds { ptr, i32 }, ptr %36, i32 0, i32 1
  %380 = extractvalue { ptr, i32 } %376, 1
  store i32 %380, ptr %379, align 8
  %381 = load i64, ptr %35, align 4
  %382 = getelementptr inbounds { ptr, i32 }, ptr %36, i32 0, i32 0
  %383 = load ptr, ptr %382, align 8
  %384 = getelementptr inbounds { ptr, i32 }, ptr %36, i32 0, i32 1
  %385 = load i32, ptr %384, align 8
  call void @Error__at__(ptr dead_on_unwind writable sret(%struct.tag_____Error__) align 8 %34, ptr noundef %368, i64 %381, ptr %383, i32 %385)
  call void @List__add__Error____(ptr noundef %365, ptr noundef byval(%struct.tag_____Error__) align 8 %34)
  call void @llvm.lifetime.end.p0(i64 16, ptr %32) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %31) #5
  br label %386

386:                                              ; preds = %345, %344
  call void @llvm.lifetime.end.p0(i64 1, ptr %26) #5
  br label %387

387:                                              ; preds = %386, %274
  call void @llvm.lifetime.end.p0(i64 1, ptr %20) #5
  br label %388

388:                                              ; preds = %387, %190
  call void @llvm.lifetime.end.p0(i64 1, ptr %15) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %14) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %13) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %12) #5
  br label %389

389:                                              ; preds = %388, %83
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #5
  %390 = load ptr, ptr %3, align 8, !tbaa !5
  %391 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %390, i32 0, i32 11
  %392 = load ptr, ptr %391, align 8, !tbaa !41
  %393 = getelementptr inbounds %struct.tag_____List__string____, ptr %392, i32 0, i32 1
  %394 = load i32, ptr %393, align 8, !tbaa !42
  store i32 %394, ptr %37, align 4, !tbaa !17
  call void @llvm.lifetime.start.p0(i64 16, ptr %38) #5
  %395 = load ptr, ptr %4, align 8, !tbaa !5
  %396 = getelementptr inbounds %struct.tag_____ForEachStatement__, ptr %395, i32 0, i32 1
  %397 = load ptr, ptr %396, align 8, !tbaa !44
  %398 = icmp ne ptr %397, null
  br i1 %398, label %399, label %404

399:                                              ; preds = %389
  %400 = load ptr, ptr %4, align 8, !tbaa !5
  %401 = getelementptr inbounds %struct.tag_____ForEachStatement__, ptr %400, i32 0, i32 1
  %402 = load ptr, ptr %401, align 8, !tbaa !44
  %403 = getelementptr inbounds %struct.tag_____Token__, ptr %402, i32 0, i32 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %38, ptr align 8 %403, i64 16, i1 false), !tbaa.struct !45
  br label %405

404:                                              ; preds = %389
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %38, ptr align 8 @mu_____string276, i64 16, i1 false), !tbaa.struct !45
  br label %405

405:                                              ; preds = %404, %399
  call void @llvm.lifetime.start.p0(i64 16, ptr %39) #5
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %39, ptr align 8 %38, i64 16, i1 false), !tbaa.struct !45
  %406 = load ptr, ptr %3, align 8, !tbaa !5
  %407 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %406, i32 0, i32 10
  %408 = load ptr, ptr %407, align 8, !tbaa !46
  %409 = getelementptr inbounds { ptr, i32 }, ptr %39, i32 0, i32 0
  %410 = load ptr, ptr %409, align 8
  %411 = getelementptr inbounds { ptr, i32 }, ptr %39, i32 0, i32 1
  %412 = load i32, ptr %411, align 8
  %413 = getelementptr inbounds { ptr, ptr }, ptr %11, i32 0, i32 0
  %414 = load ptr, ptr %413, align 8
  %415 = getelementptr inbounds { ptr, ptr }, ptr %11, i32 0, i32 1
  %416 = load ptr, ptr %415, align 8
  %417 = call zeroext i8 @Map__tryAdd__string__Tag____(ptr noundef %408, ptr %410, i32 %412, ptr %414, ptr %416)
  %418 = icmp ne i8 %417, 0
  br i1 %418, label %419, label %427

419:                                              ; preds = %405
  %420 = load ptr, ptr %3, align 8, !tbaa !5
  %421 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %420, i32 0, i32 11
  %422 = load ptr, ptr %421, align 8, !tbaa !41
  %423 = getelementptr inbounds { ptr, i32 }, ptr %39, i32 0, i32 0
  %424 = load ptr, ptr %423, align 8
  %425 = getelementptr inbounds { ptr, i32 }, ptr %39, i32 0, i32 1
  %426 = load i32, ptr %425, align 8
  call void @List__add__string____(ptr noundef %422, ptr %424, i32 %426)
  br label %458

427:                                              ; preds = %405
  call void @llvm.lifetime.start.p0(i64 16, ptr %40) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %41) #5
  %428 = load ptr, ptr %4, align 8, !tbaa !5
  %429 = getelementptr inbounds %struct.tag_____ForEachStatement__, ptr %428, i32 0, i32 1
  %430 = load ptr, ptr %429, align 8, !tbaa !44
  %431 = icmp ne ptr %430, null
  br i1 %431, label %432, label %436

432:                                              ; preds = %427
  %433 = load ptr, ptr %4, align 8, !tbaa !5
  %434 = getelementptr inbounds %struct.tag_____ForEachStatement__, ptr %433, i32 0, i32 1
  %435 = load ptr, ptr %434, align 8, !tbaa !44
  store ptr %435, ptr %41, align 8, !tbaa !5
  br label %440

436:                                              ; preds = %427
  %437 = load ptr, ptr %4, align 8, !tbaa !5
  %438 = getelementptr inbounds %struct.tag_____ForEachStatement__, ptr %437, i32 0, i32 0
  %439 = load ptr, ptr %438, align 8, !tbaa !31
  store ptr %439, ptr %41, align 8, !tbaa !5
  br label %440

440:                                              ; preds = %436, %432
  %441 = load ptr, ptr %41, align 8, !tbaa !5
  %442 = getelementptr inbounds %struct.Node__, ptr %40, i32 0, i32 1
  store ptr %441, ptr %442, align 8, !tbaa !34
  %443 = getelementptr inbounds %struct.Node__, ptr %40, i32 0, i32 1
  %444 = load ptr, ptr %443, align 8, !tbaa !34
  %445 = icmp ne ptr %444, null
  %446 = zext i1 %445 to i64
  %447 = select i1 %445, i32 21, i32 0
  %448 = getelementptr inbounds %struct.Node__, ptr %40, i32 0, i32 0
  store i32 %447, ptr %448, align 8, !tbaa !35
  %449 = load ptr, ptr %3, align 8, !tbaa !5
  %450 = getelementptr inbounds { ptr, i32 }, ptr %39, i32 0, i32 0
  %451 = load ptr, ptr %450, align 8
  %452 = getelementptr inbounds { ptr, i32 }, ptr %39, i32 0, i32 1
  %453 = load i32, ptr %452, align 8
  %454 = getelementptr inbounds { i32, ptr }, ptr %40, i32 0, i32 0
  %455 = load i32, ptr %454, align 8
  %456 = getelementptr inbounds { i32, ptr }, ptr %40, i32 0, i32 1
  %457 = load ptr, ptr %456, align 8
  call void @TypeChecker__badLocalVar__(ptr noundef %449, ptr %451, i32 %453, i32 %455, ptr %457)
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %40) #5
  br label %458

458:                                              ; preds = %440, %419
  %459 = load ptr, ptr %4, align 8, !tbaa !5
  %460 = getelementptr inbounds %struct.tag_____ForEachStatement__, ptr %459, i32 0, i32 3
  %461 = load ptr, ptr %460, align 8, !tbaa !47
  %462 = icmp ne ptr %461, null
  br i1 %462, label %463, label %514

463:                                              ; preds = %458
  call void @llvm.lifetime.start.p0(i64 16, ptr %42) #5
  %464 = load ptr, ptr %4, align 8, !tbaa !5
  %465 = getelementptr inbounds %struct.tag_____ForEachStatement__, ptr %464, i32 0, i32 3
  %466 = load ptr, ptr %465, align 8, !tbaa !47
  %467 = getelementptr inbounds %struct.tag_____Token__, ptr %466, i32 0, i32 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %42, ptr align 8 %467, i64 16, i1 false), !tbaa.struct !45
  %468 = load ptr, ptr %3, align 8, !tbaa !5
  %469 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %468, i32 0, i32 10
  %470 = load ptr, ptr %469, align 8, !tbaa !46
  %471 = load ptr, ptr %3, align 8, !tbaa !5
  %472 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %471, i32 0, i32 4
  %473 = load ptr, ptr %472, align 8, !tbaa !11
  %474 = getelementptr inbounds %struct.tag_____CommonTags__, ptr %473, i32 0, i32 5
  %475 = getelementptr inbounds { ptr, i32 }, ptr %42, i32 0, i32 0
  %476 = load ptr, ptr %475, align 8
  %477 = getelementptr inbounds { ptr, i32 }, ptr %42, i32 0, i32 1
  %478 = load i32, ptr %477, align 8
  %479 = getelementptr inbounds { ptr, ptr }, ptr %474, i32 0, i32 0
  %480 = load ptr, ptr %479, align 8
  %481 = getelementptr inbounds { ptr, ptr }, ptr %474, i32 0, i32 1
  %482 = load ptr, ptr %481, align 8
  %483 = call zeroext i8 @Map__tryAdd__string__Tag____(ptr noundef %470, ptr %476, i32 %478, ptr %480, ptr %482)
  %484 = icmp ne i8 %483, 0
  br i1 %484, label %485, label %493

485:                                              ; preds = %463
  %486 = load ptr, ptr %3, align 8, !tbaa !5
  %487 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %486, i32 0, i32 11
  %488 = load ptr, ptr %487, align 8, !tbaa !41
  %489 = getelementptr inbounds { ptr, i32 }, ptr %42, i32 0, i32 0
  %490 = load ptr, ptr %489, align 8
  %491 = getelementptr inbounds { ptr, i32 }, ptr %42, i32 0, i32 1
  %492 = load i32, ptr %491, align 8
  call void @List__add__string____(ptr noundef %488, ptr %490, i32 %492)
  br label %513

493:                                              ; preds = %463
  call void @llvm.lifetime.start.p0(i64 16, ptr %43) #5
  %494 = load ptr, ptr %4, align 8, !tbaa !5
  %495 = getelementptr inbounds %struct.tag_____ForEachStatement__, ptr %494, i32 0, i32 3
  %496 = load ptr, ptr %495, align 8, !tbaa !47
  %497 = getelementptr inbounds %struct.Node__, ptr %43, i32 0, i32 1
  store ptr %496, ptr %497, align 8, !tbaa !34
  %498 = getelementptr inbounds %struct.Node__, ptr %43, i32 0, i32 1
  %499 = load ptr, ptr %498, align 8, !tbaa !34
  %500 = icmp ne ptr %499, null
  %501 = zext i1 %500 to i64
  %502 = select i1 %500, i32 21, i32 0
  %503 = getelementptr inbounds %struct.Node__, ptr %43, i32 0, i32 0
  store i32 %502, ptr %503, align 8, !tbaa !35
  %504 = load ptr, ptr %3, align 8, !tbaa !5
  %505 = getelementptr inbounds { ptr, i32 }, ptr %42, i32 0, i32 0
  %506 = load ptr, ptr %505, align 8
  %507 = getelementptr inbounds { ptr, i32 }, ptr %42, i32 0, i32 1
  %508 = load i32, ptr %507, align 8
  %509 = getelementptr inbounds { i32, ptr }, ptr %43, i32 0, i32 0
  %510 = load i32, ptr %509, align 8
  %511 = getelementptr inbounds { i32, ptr }, ptr %43, i32 0, i32 1
  %512 = load ptr, ptr %511, align 8
  call void @TypeChecker__badLocalVar__(ptr noundef %504, ptr %506, i32 %508, i32 %510, ptr %512)
  call void @llvm.lifetime.end.p0(i64 16, ptr %43) #5
  br label %513

513:                                              ; preds = %493, %485
  call void @llvm.lifetime.end.p0(i64 16, ptr %42) #5
  br label %514

514:                                              ; preds = %513, %458
  %515 = load ptr, ptr %4, align 8, !tbaa !5
  %516 = getelementptr inbounds %struct.tag_____ForEachStatement__, ptr %515, i32 0, i32 7
  %517 = load ptr, ptr %516, align 8, !tbaa !48
  %518 = icmp ne ptr %517, null
  br i1 %518, label %519, label %536

519:                                              ; preds = %514
  %520 = load ptr, ptr %3, align 8, !tbaa !5
  %521 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %520, i32 0, i32 15
  %522 = load i32, ptr %521, align 8, !tbaa !49
  %523 = add nsw i32 %522, 1
  %524 = load ptr, ptr %3, align 8, !tbaa !5
  %525 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %524, i32 0, i32 15
  store i32 %523, ptr %525, align 8, !tbaa !49
  %526 = load ptr, ptr %3, align 8, !tbaa !5
  %527 = load ptr, ptr %4, align 8, !tbaa !5
  %528 = getelementptr inbounds %struct.tag_____ForEachStatement__, ptr %527, i32 0, i32 7
  %529 = load ptr, ptr %528, align 8, !tbaa !48
  call void @TypeChecker__checkBlockStatement__(ptr noundef %526, ptr noundef %529)
  %530 = load ptr, ptr %3, align 8, !tbaa !5
  %531 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %530, i32 0, i32 15
  %532 = load i32, ptr %531, align 8, !tbaa !49
  %533 = sub nsw i32 %532, 1
  %534 = load ptr, ptr %3, align 8, !tbaa !5
  %535 = getelementptr inbounds %struct.tag_____TypeCheckerContext__, ptr %534, i32 0, i32 15
  store i32 %533, ptr %535, align 8, !tbaa !49
  br label %536

536:                                              ; preds = %519, %514
  %537 = load ptr, ptr %3, align 8, !tbaa !5
  %538 = load i32, ptr %37, align 4, !tbaa !17
  call void @TypeChecker__removeLocals__(ptr noundef %537, i32 noundef %538)
  call void @llvm.lifetime.end.p0(i64 16, ptr %39) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %38) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %11) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %10) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %9) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %6) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %5) #5
  ret void
}

; Function Attrs: nounwind uwtable
declare dso_local void @TypeChecker__removeLocals__(ptr noundef, i32 noundef) #4

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #2 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #3 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { 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 #5 = { 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/C++ TBAA"}
!9 = !{!10, !6, i64 0}
!10 = !{!"tag_____Tag__", !6, i64 0, !6, i64 8}
!11 = !{!12, !6, i64 32}
!12 = !{!"tag_____TypeCheckerContext__", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !6, i64 56, !6, i64 64, !6, i64 72, !6, i64 80, !6, i64 88, !6, i64 96, !6, i64 104, !6, i64 112, !13, i64 120, !13, i64 124, !6, i64 128, !13, i64 136, !7, i64 140}
!13 = !{!"int", !7, i64 0}
!14 = !{!15, !6, i64 304}
!15 = !{!"tag_____CommonTags__", !10, i64 0, !10, i64 16, !10, i64 32, !10, i64 48, !10, i64 64, !10, i64 80, !10, i64 96, !10, i64 112, !10, i64 128, !10, i64 144, !10, i64 160, !10, i64 176, !10, i64 192, !10, i64 208, !10, i64 224, !10, i64 240, !10, i64 256, !10, i64 272, !10, i64 288, !6, i64 304, !6, i64 312, !6, i64 320, !6, i64 328, !6, i64 336, !6, i64 344, !6, i64 352, !6, i64 360, !6, i64 368, !6, i64 376}
!16 = !{!10, !6, i64 8}
!17 = !{!13, !13, i64 0}
!18 = !{!19, !13, i64 8}
!19 = !{!"tag_____Array__Tag____", !6, i64 0, !13, i64 8}
!20 = !{!19, !6, i64 0}
!21 = !{i64 0, i64 8, !5, i64 8, i64 8, !5}
!22 = !{!15, !6, i64 320}
!23 = !{!7, !7, i64 0}
!24 = !{!15, !6, i64 328}
!25 = !{!15, !6, i64 336}
!26 = !{!15, !6, i64 352}
!27 = !{!28, !13, i64 28}
!28 = !{!"tag_____Namespace__", !29, i64 0, !6, i64 16, !13, i64 24, !13, i64 28, !6, i64 32, !6, i64 40, !6, i64 48, !6, i64 56, !6, i64 64, !6, i64 72, !6, i64 80, !6, i64 88, !6, i64 96, !13, i64 104}
!29 = !{!"", !6, i64 0, !13, i64 8}
!30 = !{!15, !6, i64 344}
!31 = !{!32, !6, i64 0}
!32 = !{!"tag_____ForEachStatement__", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !33, i64 40, !6, i64 56, !6, i64 64}
!33 = !{!"", !13, i64 0, !6, i64 8}
!34 = !{!33, !6, i64 8}
!35 = !{!33, !13, i64 0}
!36 = !{!12, !6, i64 16}
!37 = !{!12, !6, i64 40}
!38 = !{!15, !6, i64 360}
!39 = !{!15, !6, i64 376}
!40 = !{!15, !6, i64 368}
!41 = !{!12, !6, i64 88}
!42 = !{!43, !13, i64 8}
!43 = !{!"tag_____List__string____", !6, i64 0, !13, i64 8, !13, i64 12}
!44 = !{!32, !6, i64 8}
!45 = !{i64 0, i64 8, !5, i64 8, i64 4, !17}
!46 = !{!12, !6, i64 80}
!47 = !{!32, !6, i64 24}
!48 = !{!32, !6, i64 64}
!49 = !{!12, !13, i64 120}


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

%struct.string__ = type { ptr, i32 }
%struct.tag_____Error__ = type { ptr, %struct.tag_____IntRange__, %struct.string__ }
%struct.tag_____IntRange__ = type { i32, i32 }
%struct.tag_____StringBuilder__ = type { ptr, i32, i32 }

@mu_____string276 = external dso_local local_unnamed_addr global %struct.string__, align 8
@mu_____string274 = external dso_local local_unnamed_addr global %struct.string__, align 8
@top_____abandonFn__ = external dso_local thread_local local_unnamed_addr global ptr, align 8
@__const.TypeChecker__checkForEachStatement__.local20 = external hidden unnamed_addr constant %struct.string__, align 8

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

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare nonnull ptr @llvm.threadlocal.address.p0(ptr nonnull) #1

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

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #2

; Function Attrs: nounwind uwtable
declare dso_local void @StringBuilder__write__(ptr noundef, ptr, i32) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
declare dso_local { ptr, i32 } @StringBuilder__compactToString__(ptr noundef) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
declare dso_local void @List__add__Error____(ptr noundef, ptr noundef byval(%struct.tag_____Error__) align 8) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
declare dso_local void @Error__at__(ptr dead_on_unwind noalias writable sret(%struct.tag_____Error__) align 8, ptr noundef, i64, ptr, i32) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
declare dso_local i64 @RangeFinder__find__(i32, ptr) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
declare dso_local { ptr, i32 } @Tag__toString__(ptr, ptr) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
declare dso_local zeroext i8 @Map__tryAdd__string__Tag____(ptr noundef, ptr, i32, ptr, ptr) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
declare dso_local { ptr, ptr } @TypeChecker__checkExpression__(ptr noundef, i32, ptr) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
declare dso_local void @TypeChecker__checkBlockStatement__(ptr noundef, ptr noundef) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
declare dso_local void @TypeChecker__badLocalVar__(ptr noundef, ptr, i32, i32, ptr) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
declare dso_local void @List__add__string____(ptr noundef, ptr, i32) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
define dso_local void @TypeChecker__checkForEachStatement__(ptr noundef %0, ptr nocapture noundef readonly %1) local_unnamed_addr #3 {
  %3 = alloca %struct.tag_____Error__, align 8
  %4 = alloca %struct.tag_____StringBuilder__, align 8
  %5 = alloca %struct.tag_____Error__, align 8
  %6 = getelementptr inbounds i8, ptr %1, i64 40
  %7 = load i32, ptr %6, align 8
  %8 = getelementptr inbounds i8, ptr %1, i64 48
  %9 = load ptr, ptr %8, align 8
  %10 = tail call { ptr, ptr } @TypeChecker__checkExpression__(ptr noundef %0, i32 %7, ptr %9)
  %11 = extractvalue { ptr, ptr } %10, 0
  %12 = extractvalue { ptr, ptr } %10, 1
  %13 = getelementptr inbounds i8, ptr %0, i64 32
  %14 = load ptr, ptr %13, align 8, !tbaa !5
  %15 = getelementptr inbounds i8, ptr %14, i64 304
  %16 = load ptr, ptr %15, align 8, !tbaa !11
  %17 = icmp eq ptr %11, %16
  br i1 %17, label %18, label %26

18:                                               ; preds = %2
  %19 = getelementptr inbounds i8, ptr %12, i64 8
  %20 = load i32, ptr %19, align 8, !tbaa !14
  %.not = icmp eq i32 %20, 0
  br i1 %.not, label %21, label %24

21:                                               ; preds = %18
  %22 = tail call align 8 ptr @llvm.threadlocal.address.p0(ptr align 8 @top_____abandonFn__)
  %23 = load ptr, ptr %22, align 8, !tbaa !16
  tail call void %23(i32 noundef -3) #4
  br label %24

24:                                               ; preds = %21, %18
  %25 = load ptr, ptr %12, align 8, !tbaa !17
  %.sroa.096.0.copyload = load ptr, ptr %25, align 8, !tbaa !16
  %.sroa.598.0..sroa_idx = getelementptr inbounds i8, ptr %25, i64 8
  %.sroa.598.0.copyload = load ptr, ptr %.sroa.598.0..sroa_idx, align 8, !tbaa !16
  br label %26

26:                                               ; preds = %2, %24
  %.sroa.096.0 = phi ptr [ %.sroa.096.0.copyload, %24 ], [ %11, %2 ]
  %.sroa.598.0 = phi ptr [ %.sroa.598.0.copyload, %24 ], [ %12, %2 ]
  %.not167 = icmp eq ptr %.sroa.096.0, null
  br i1 %.not167, label %89, label %27

27:                                               ; preds = %26
  %28 = load ptr, ptr %13, align 8, !tbaa !5
  %29 = getelementptr inbounds i8, ptr %28, i64 320
  %30 = load ptr, ptr %29, align 8, !tbaa !18
  %31 = icmp eq ptr %.sroa.096.0, %30
  br i1 %31, label %.thread200, label %32

32:                                               ; preds = %27
  %33 = getelementptr inbounds i8, ptr %28, i64 328
  %34 = load ptr, ptr %33, align 8, !tbaa !19
  %.not209 = icmp eq ptr %.sroa.096.0, %34
  br i1 %.not209, label %.thread200, label %35

35:                                               ; preds = %32
  %36 = getelementptr inbounds i8, ptr %28, i64 336
  %37 = load ptr, ptr %36, align 8, !tbaa !20
  %.not210 = icmp eq ptr %.sroa.096.0, %37
  br i1 %.not210, label %.thread200, label %38

38:                                               ; preds = %35
  %39 = getelementptr inbounds i8, ptr %28, i64 352
  %40 = load ptr, ptr %39, align 8, !tbaa !21
  %.not211 = icmp eq ptr %.sroa.096.0, %40
  br i1 %.not211, label %.thread200, label %41

41:                                               ; preds = %38
  %42 = getelementptr inbounds i8, ptr %.sroa.096.0, i64 28
  %43 = load i32, ptr %42, align 4, !tbaa !22
  %44 = and i32 %43, 1024
  %.not171 = icmp eq i32 %44, 0
  %45 = icmp eq ptr %.sroa.598.0, null
  %narrow.not = select i1 %.not171, i1 true, i1 %45
  br i1 %narrow.not, label %.thread203, label %46

46:                                               ; preds = %41
  %47 = getelementptr inbounds i8, ptr %.sroa.598.0, i64 8
  %48 = load i32, ptr %47, align 8, !tbaa !14
  %49 = icmp slt i32 %48, 1
  br i1 %49, label %.thread203, label %.thread200

.thread200:                                       ; preds = %27, %32, %35, %38, %46
  %50 = getelementptr inbounds i8, ptr %.sroa.598.0, i64 8
  %51 = load i32, ptr %50, align 8, !tbaa !14
  %.not181 = icmp eq i32 %51, 0
  br i1 %.not181, label %52, label %55

52:                                               ; preds = %.thread200
  %53 = tail call align 8 ptr @llvm.threadlocal.address.p0(ptr align 8 @top_____abandonFn__)
  %54 = load ptr, ptr %53, align 8, !tbaa !16
  tail call void %54(i32 noundef -3) #4
  br label %55

55:                                               ; preds = %52, %.thread200
  %56 = load ptr, ptr %.sroa.598.0, align 8, !tbaa !17
  %.sroa.067.0.copyload68 = load ptr, ptr %56, align 8, !tbaa !16
  %.sroa.7.0..sroa_idx70 = getelementptr inbounds i8, ptr %56, i64 8
  %.sroa.7.0.copyload71 = load ptr, ptr %.sroa.7.0..sroa_idx70, align 8, !tbaa !16
  br label %89

.thread203:                                       ; preds = %41, %46
  %57 = getelementptr inbounds i8, ptr %28, i64 360
  %58 = load ptr, ptr %57, align 8, !tbaa !25
  %59 = icmp eq ptr %.sroa.096.0, %58
  br i1 %59, label %.critedge, label %60

60:                                               ; preds = %.thread203
  %61 = getelementptr inbounds i8, ptr %28, i64 376
  %62 = load ptr, ptr %61, align 8, !tbaa !26
  %.not214 = icmp eq ptr %.sroa.096.0, %62
  br i1 %.not214, label %.critedge, label %75

.critedge:                                        ; preds = %.thread203, %60
  %63 = getelementptr inbounds i8, ptr %28, i64 368
  %64 = load ptr, ptr %63, align 8, !tbaa !27
  %.not176 = icmp eq ptr %64, null
  br i1 %.not176, label %65, label %89

65:                                               ; preds = %.critedge
  %66 = load ptr, ptr %1, align 8, !tbaa !28
  %.not177 = icmp eq ptr %66, null
  %67 = select i1 %.not177, i32 0, i32 21
  %68 = getelementptr inbounds i8, ptr %0, i64 16
  %69 = load ptr, ptr %68, align 8, !tbaa !31
  %70 = getelementptr inbounds i8, ptr %0, i64 40
  %71 = load ptr, ptr %70, align 8, !tbaa !32
  %72 = tail call i64 @RangeFinder__find__(i32 %67, ptr %66)
  %73 = load ptr, ptr @mu_____string274, align 8
  %74 = load i32, ptr getelementptr inbounds (i8, ptr @mu_____string274, i64 8), align 8
  call void @Error__at__(ptr dead_on_unwind nonnull writable sret(%struct.tag_____Error__) align 8 %3, ptr noundef %71, i64 %72, ptr %73, i32 %74)
  call void @List__add__Error____(ptr noundef %69, ptr noundef nonnull byval(%struct.tag_____Error__) align 8 %3)
  br label %89

75:                                               ; preds = %60
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %4) #4
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %4, i8 0, i64 16, i1 false)
  %.sroa.028.0.copyload = load ptr, ptr @__const.TypeChecker__checkForEachStatement__.local20, align 8
  %.sroa.429.0.copyload = load i32, ptr getelementptr inbounds (i8, ptr @__const.TypeChecker__checkForEachStatement__.local20, i64 8), align 8
  call void @StringBuilder__write__(ptr noundef nonnull %4, ptr %.sroa.028.0.copyload, i32 %.sroa.429.0.copyload)
  %76 = call { ptr, i32 } @Tag__toString__(ptr nonnull %.sroa.096.0, ptr %.sroa.598.0)
  %77 = extractvalue { ptr, i32 } %76, 0
  %78 = extractvalue { ptr, i32 } %76, 1
  call void @StringBuilder__write__(ptr noundef nonnull %4, ptr %77, i32 %78)
  %79 = getelementptr inbounds i8, ptr %0, i64 16
  %80 = load ptr, ptr %79, align 8, !tbaa !31
  %81 = getelementptr inbounds i8, ptr %0, i64 40
  %82 = load ptr, ptr %81, align 8, !tbaa !32
  %83 = load i32, ptr %6, align 8
  %84 = load ptr, ptr %8, align 8
  %85 = call i64 @RangeFinder__find__(i32 %83, ptr %84)
  %86 = call { ptr, i32 } @StringBuilder__compactToString__(ptr noundef nonnull %4)
  %87 = extractvalue { ptr, i32 } %86, 0
  %88 = extractvalue { ptr, i32 } %86, 1
  call void @Error__at__(ptr dead_on_unwind nonnull writable sret(%struct.tag_____Error__) align 8 %5, ptr noundef %82, i64 %85, ptr %87, i32 %88)
  call void @List__add__Error____(ptr noundef %80, ptr noundef nonnull byval(%struct.tag_____Error__) align 8 %5)
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %4) #4
  br label %89

89:                                               ; preds = %55, %75, %65, %.critedge, %26
  %.sroa.067.3 = phi ptr [ null, %26 ], [ %.sroa.067.0.copyload68, %55 ], [ null, %65 ], [ null, %75 ], [ %64, %.critedge ]
  %.sroa.7.3 = phi ptr [ null, %26 ], [ %.sroa.7.0.copyload71, %55 ], [ null, %65 ], [ null, %75 ], [ %.sroa.598.0, %.critedge ]
  %90 = getelementptr inbounds i8, ptr %0, i64 88
  %91 = load ptr, ptr %90, align 8, !tbaa !33
  %92 = getelementptr inbounds i8, ptr %91, i64 8
  %93 = load i32, ptr %92, align 8, !tbaa !34
  %94 = getelementptr inbounds i8, ptr %1, i64 8
  %95 = load ptr, ptr %94, align 8, !tbaa !36
  %.not182 = icmp eq ptr %95, null
  %96 = getelementptr inbounds i8, ptr %95, i64 8
  %.sroa.5.0..sroa_idx = getelementptr inbounds i8, ptr %95, i64 16
  %.sroa.5.0.in = select i1 %.not182, ptr getelementptr inbounds (i8, ptr @mu_____string276, i64 8), ptr %.sroa.5.0..sroa_idx
  %.sroa.019.0.in = select i1 %.not182, ptr @mu_____string276, ptr %96
  %.sroa.019.0 = load ptr, ptr %.sroa.019.0.in, align 8, !tbaa !16
  %.sroa.5.0 = load i32, ptr %.sroa.5.0.in, align 8, !tbaa !37
  %97 = getelementptr inbounds i8, ptr %0, i64 80
  %98 = load ptr, ptr %97, align 8, !tbaa !38
  %99 = call zeroext i8 @Map__tryAdd__string__Tag____(ptr noundef %98, ptr %.sroa.019.0, i32 %.sroa.5.0, ptr %.sroa.067.3, ptr %.sroa.7.3)
  %.not183 = icmp eq i8 %99, 0
  br i1 %.not183, label %102, label %100

100:                                              ; preds = %89
  %101 = load ptr, ptr %90, align 8, !tbaa !33
  call void @List__add__string____(ptr noundef %101, ptr %.sroa.019.0, i32 %.sroa.5.0)
  br label %108

102:                                              ; preds = %89
  %103 = load ptr, ptr %94, align 8, !tbaa !36
  %.not184 = icmp eq ptr %103, null
  br i1 %.not184, label %104, label %106

104:                                              ; preds = %102
  %105 = load ptr, ptr %1, align 8, !tbaa !28
  br label %106

106:                                              ; preds = %102, %104
  %.0151 = phi ptr [ %105, %104 ], [ %103, %102 ]
  %.not185 = icmp eq ptr %.0151, null
  %107 = select i1 %.not185, i32 0, i32 21
  call void @TypeChecker__badLocalVar__(ptr noundef nonnull %0, ptr %.sroa.019.0, i32 %.sroa.5.0, i32 %107, ptr %.0151)
  br label %108

108:                                              ; preds = %106, %100
  %109 = getelementptr inbounds i8, ptr %1, i64 24
  %110 = load ptr, ptr %109, align 8, !tbaa !39
  %.not186 = icmp eq ptr %110, null
  br i1 %.not186, label %125, label %111

111:                                              ; preds = %108
  %112 = getelementptr inbounds i8, ptr %110, i64 8
  %.sroa.03.0.copyload = load ptr, ptr %112, align 8, !tbaa !16
  %.sroa.6.0..sroa_idx = getelementptr inbounds i8, ptr %110, i64 16
  %.sroa.6.0.copyload = load i32, ptr %.sroa.6.0..sroa_idx, align 8, !tbaa !37
  %113 = load ptr, ptr %97, align 8, !tbaa !38
  %114 = load ptr, ptr %13, align 8, !tbaa !5
  %115 = getelementptr inbounds i8, ptr %114, i64 80
  %116 = load ptr, ptr %115, align 8
  %117 = getelementptr inbounds i8, ptr %114, i64 88
  %118 = load ptr, ptr %117, align 8
  %119 = call zeroext i8 @Map__tryAdd__string__Tag____(ptr noundef %113, ptr %.sroa.03.0.copyload, i32 %.sroa.6.0.copyload, ptr %116, ptr %118)
  %.not187 = icmp eq i8 %119, 0
  br i1 %.not187, label %122, label %120

120:                                              ; preds = %111
  %121 = load ptr, ptr %90, align 8, !tbaa !33
  call void @List__add__string____(ptr noundef %121, ptr %.sroa.03.0.copyload, i32 %.sroa.6.0.copyload)
  br label %125

122:                                              ; preds = %111
  %123 = load ptr, ptr %109, align 8, !tbaa !39
  %.not188 = icmp eq ptr %123, null
  %124 = select i1 %.not188, i32 0, i32 21
  call void @TypeChecker__badLocalVar__(ptr noundef nonnull %0, ptr %.sroa.03.0.copyload, i32 %.sroa.6.0.copyload, i32 %124, ptr %123)
  br label %125

125:                                              ; preds = %120, %122, %108
  %126 = getelementptr inbounds i8, ptr %1, i64 64
  %127 = load ptr, ptr %126, align 8, !tbaa !40
  %.not189 = icmp eq ptr %127, null
  br i1 %.not189, label %134, label %128

128:                                              ; preds = %125
  %129 = getelementptr inbounds i8, ptr %0, i64 120
  %130 = load i32, ptr %129, align 8, !tbaa !41
  %131 = add nsw i32 %130, 1
  store i32 %131, ptr %129, align 8, !tbaa !41
  call void @TypeChecker__checkBlockStatement__(ptr noundef nonnull %0, ptr noundef nonnull %127)
  %132 = load i32, ptr %129, align 8, !tbaa !41
  %133 = add nsw i32 %132, -1
  store i32 %133, ptr %129, align 8, !tbaa !41
  br label %134

134:                                              ; preds = %128, %125
  call void @TypeChecker__removeLocals__(ptr noundef nonnull %0, i32 noundef %93)
  ret void
}

; Function Attrs: nounwind uwtable
declare dso_local void @TypeChecker__removeLocals__(ptr noundef, i32 noundef) local_unnamed_addr #3

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #2 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #3 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !7, i64 32}
!6 = !{!"tag_____TypeCheckerContext__", !7, i64 0, !7, i64 8, !7, i64 16, !7, i64 24, !7, i64 32, !7, i64 40, !7, i64 48, !7, i64 56, !7, i64 64, !7, i64 72, !7, i64 80, !7, i64 88, !7, i64 96, !7, i64 104, !7, i64 112, !10, i64 120, !10, i64 124, !7, i64 128, !10, i64 136, !8, i64 140}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"int", !8, i64 0}
!11 = !{!12, !7, i64 304}
!12 = !{!"tag_____CommonTags__", !13, i64 0, !13, i64 16, !13, i64 32, !13, i64 48, !13, i64 64, !13, i64 80, !13, i64 96, !13, i64 112, !13, i64 128, !13, i64 144, !13, i64 160, !13, i64 176, !13, i64 192, !13, i64 208, !13, i64 224, !13, i64 240, !13, i64 256, !13, i64 272, !13, i64 288, !7, i64 304, !7, i64 312, !7, i64 320, !7, i64 328, !7, i64 336, !7, i64 344, !7, i64 352, !7, i64 360, !7, i64 368, !7, i64 376}
!13 = !{!"tag_____Tag__", !7, i64 0, !7, i64 8}
!14 = !{!15, !10, i64 8}
!15 = !{!"tag_____Array__Tag____", !7, i64 0, !10, i64 8}
!16 = !{!7, !7, i64 0}
!17 = !{!15, !7, i64 0}
!18 = !{!12, !7, i64 320}
!19 = !{!12, !7, i64 328}
!20 = !{!12, !7, i64 336}
!21 = !{!12, !7, i64 352}
!22 = !{!23, !10, i64 28}
!23 = !{!"tag_____Namespace__", !24, i64 0, !7, i64 16, !10, i64 24, !10, i64 28, !7, i64 32, !7, i64 40, !7, i64 48, !7, i64 56, !7, i64 64, !7, i64 72, !7, i64 80, !7, i64 88, !7, i64 96, !10, i64 104}
!24 = !{!"", !7, i64 0, !10, i64 8}
!25 = !{!12, !7, i64 360}
!26 = !{!12, !7, i64 376}
!27 = !{!12, !7, i64 368}
!28 = !{!29, !7, i64 0}
!29 = !{!"tag_____ForEachStatement__", !7, i64 0, !7, i64 8, !7, i64 16, !7, i64 24, !7, i64 32, !30, i64 40, !7, i64 56, !7, i64 64}
!30 = !{!"", !10, i64 0, !7, i64 8}
!31 = !{!6, !7, i64 16}
!32 = !{!6, !7, i64 40}
!33 = !{!6, !7, i64 88}
!34 = !{!35, !10, i64 8}
!35 = !{!"tag_____List__string____", !7, i64 0, !10, i64 8, !10, i64 12}
!36 = !{!29, !7, i64 8}
!37 = !{!10, !10, i64 0}
!38 = !{!6, !7, i64 80}
!39 = !{!29, !7, i64 24}
!40 = !{!29, !7, i64 64}
!41 = !{!6, !10, i64 120}


; Effective O3 passes: BDCEPass,CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,PostOrderFunctionAttrsPass,SCCPPass,SROAPass,SimplifyCFGPass,TailCallElimPass