; LLVM IR from ponylang/ponyc :: src/libponyc/expr (operator)

; 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.pass_opt_t = type { i32, i32, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i32, i64, i8, i8, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, %struct.typecheck_t, ptr, ptr }
%struct.typecheck_t = type { ptr, %struct.typecheck_stats_t, ptr }
%struct.typecheck_stats_t = type { i64, i64, i64, i64 }

@.str.1 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [77 x i8], align 1
@__func__.expr_assign = external hidden unnamed_addr constant [12 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [50 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [47 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [58 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [73 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [81 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [102 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [19 x i8], align 1

declare void @ast_settype(ptr noundef, ptr noundef) #0

; Function Attrs: nounwind uwtable
define dso_local zeroext i1 @expr_assign(ptr noundef %0, ptr noundef %1) #1 {
  %3 = alloca i1, align 1
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca [3 x ptr], align 16
  %9 = alloca ptr, align 8
  %10 = alloca i32, align 4
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca [3 x ptr], align 16
  %16 = alloca ptr, align 8
  %17 = alloca i32, align 4
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca ptr, align 8
  %21 = alloca i8, align 1
  %22 = alloca i8, align 1
  %23 = alloca ptr, align 8
  %24 = alloca ptr, align 8
  %25 = alloca i32, align 4
  store ptr %0, ptr %4, align 8, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !5
  %26 = load ptr, ptr %5, align 8, !tbaa !5
  %27 = call i32 @ast_id(ptr noundef %26)
  %28 = icmp eq i32 %27, 24
  br i1 %28, label %29, label %30

29:                                               ; preds = %2
  br label %31

30:                                               ; preds = %2
  call void @ponyint_assert_fail(ptr noundef @.str.1, ptr noundef @.str.2, i64 noundef 325, ptr noundef @__func__.expr_assign)
  br label %31

31:                                               ; preds = %30, %29
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #3
  call void @llvm.lifetime.start.p0(i64 24, ptr %8) #3
  store ptr %6, ptr %8, align 8, !tbaa !5
  %32 = getelementptr inbounds ptr, ptr %8, i64 1
  store ptr %7, ptr %32, align 8, !tbaa !5
  %33 = getelementptr inbounds ptr, ptr %8, i64 2
  store ptr null, ptr %33, align 8, !tbaa !5
  %34 = load ptr, ptr %5, align 8, !tbaa !5
  %35 = getelementptr inbounds [3 x ptr], ptr %8, i64 0, i64 0
  call void @ast_get_children(ptr noundef %34, i64 noundef 2, ptr noundef %35)
  call void @llvm.lifetime.end.p0(i64 24, ptr %8) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #3
  %36 = load ptr, ptr %6, align 8, !tbaa !5
  %37 = call ptr @ast_type(ptr noundef %36)
  store ptr %37, ptr %9, align 8, !tbaa !5
  %38 = load ptr, ptr %9, align 8, !tbaa !5
  %39 = icmp eq ptr %38, null
  br i1 %39, label %40, label %46

40:                                               ; preds = %31
  %41 = load ptr, ptr %4, align 8, !tbaa !5
  %42 = getelementptr inbounds %struct.pass_opt_t, ptr %41, i32 0, i32 36
  %43 = getelementptr inbounds %struct.typecheck_t, ptr %42, i32 0, i32 2
  %44 = load ptr, ptr %43, align 8, !tbaa !9
  %45 = load ptr, ptr %5, align 8, !tbaa !5
  call void (ptr, ptr, ptr, ...) @ast_error(ptr noundef %44, ptr noundef %45, ptr noundef @.str.3)
  store i1 false, ptr %3, align 1
  store i32 1, ptr %10, align 4
  br label %313

46:                                               ; preds = %31
  %47 = load ptr, ptr %9, align 8, !tbaa !5
  %48 = load ptr, ptr %4, align 8, !tbaa !5
  %49 = call zeroext i1 @coerce_literals(ptr noundef %7, ptr noundef %47, ptr noundef %48)
  br i1 %49, label %51, label %50

50:                                               ; preds = %46
  store i1 false, ptr %3, align 1
  store i32 1, ptr %10, align 4
  br label %313

51:                                               ; preds = %46
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #3
  %52 = load ptr, ptr %7, align 8, !tbaa !5
  %53 = call ptr @ast_type(ptr noundef %52)
  store ptr %53, ptr %11, align 8, !tbaa !5
  %54 = load ptr, ptr %11, align 8, !tbaa !5
  %55 = call zeroext i1 @is_typecheck_error(ptr noundef %54)
  br i1 %55, label %56, label %70

56:                                               ; preds = %51
  %57 = load ptr, ptr %4, align 8, !tbaa !5
  %58 = getelementptr inbounds %struct.pass_opt_t, ptr %57, i32 0, i32 36
  %59 = getelementptr inbounds %struct.typecheck_t, ptr %58, i32 0, i32 2
  %60 = load ptr, ptr %59, align 8, !tbaa !9
  %61 = call i64 @errors_get_count(ptr noundef %60)
  %62 = icmp eq i64 %61, 0
  br i1 %62, label %63, label %69

63:                                               ; preds = %56
  %64 = load ptr, ptr %4, align 8, !tbaa !5
  %65 = getelementptr inbounds %struct.pass_opt_t, ptr %64, i32 0, i32 36
  %66 = getelementptr inbounds %struct.typecheck_t, ptr %65, i32 0, i32 2
  %67 = load ptr, ptr %66, align 8, !tbaa !9
  %68 = load ptr, ptr %7, align 8, !tbaa !5
  call void (ptr, ptr, ptr, ...) @ast_error(ptr noundef %67, ptr noundef %68, ptr noundef @.str.4)
  br label %69

69:                                               ; preds = %63, %56
  store i1 false, ptr %3, align 1
  store i32 1, ptr %10, align 4
  br label %312

70:                                               ; preds = %51
  %71 = load ptr, ptr %7, align 8, !tbaa !5
  %72 = call i32 @ast_checkflag(ptr noundef %71, i32 noundef 1048576)
  %73 = icmp ne i32 %72, 0
  br i1 %73, label %74, label %80

74:                                               ; preds = %70
  %75 = load ptr, ptr %4, align 8, !tbaa !5
  %76 = getelementptr inbounds %struct.pass_opt_t, ptr %75, i32 0, i32 36
  %77 = getelementptr inbounds %struct.typecheck_t, ptr %76, i32 0, i32 2
  %78 = load ptr, ptr %77, align 8, !tbaa !9
  %79 = load ptr, ptr %5, align 8, !tbaa !5
  call void (ptr, ptr, ptr, ...) @ast_error(ptr noundef %78, ptr noundef %79, ptr noundef @.str.5)
  store i1 false, ptr %3, align 1
  store i32 1, ptr %10, align 4
  br label %312

80:                                               ; preds = %70
  %81 = load ptr, ptr %4, align 8, !tbaa !5
  %82 = load ptr, ptr %6, align 8, !tbaa !5
  %83 = load ptr, ptr %11, align 8, !tbaa !5
  %84 = call zeroext i1 @infer_locals(ptr noundef %81, ptr noundef %82, ptr noundef %83)
  br i1 %84, label %86, label %85

85:                                               ; preds = %80
  store i1 false, ptr %3, align 1
  store i32 1, ptr %10, align 4
  br label %312

86:                                               ; preds = %80
  %87 = load ptr, ptr %6, align 8, !tbaa !5
  %88 = call ptr @ast_type(ptr noundef %87)
  store ptr %88, ptr %9, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #3
  %89 = load ptr, ptr %9, align 8, !tbaa !5
  store ptr %89, ptr %12, align 8, !tbaa !5
  %90 = load ptr, ptr %6, align 8, !tbaa !5
  %91 = call i32 @ast_id(ptr noundef %90)
  switch i32 %91, label %99 [
    i32 192, label %92
    i32 193, label %92
  ]

92:                                               ; preds = %86, %86
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #3
  call void @llvm.lifetime.start.p0(i64 24, ptr %15) #3
  store ptr %13, ptr %15, align 8, !tbaa !5
  %93 = getelementptr inbounds ptr, ptr %15, i64 1
  store ptr %14, ptr %93, align 8, !tbaa !5
  %94 = getelementptr inbounds ptr, ptr %15, i64 2
  store ptr null, ptr %94, align 8, !tbaa !5
  %95 = load ptr, ptr %6, align 8, !tbaa !5
  %96 = getelementptr inbounds [3 x ptr], ptr %15, i64 0, i64 0
  call void @ast_get_children(ptr noundef %95, i64 noundef 2, ptr noundef %96)
  call void @llvm.lifetime.end.p0(i64 24, ptr %15) #3
  %97 = load ptr, ptr %14, align 8, !tbaa !5
  %98 = call ptr @ast_type(ptr noundef %97)
  store ptr %98, ptr %12, align 8, !tbaa !5
  store i32 2, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #3
  br label %100

99:                                               ; preds = %86
  br label %100

100:                                              ; preds = %99, %92
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #3
  %101 = load ptr, ptr %12, align 8, !tbaa !5
  %102 = call ptr @consume_type(ptr noundef %101, i32 noundef 2, i1 noundef zeroext false)
  store ptr %102, ptr %16, align 8, !tbaa !5
  %103 = load ptr, ptr %12, align 8, !tbaa !5
  %104 = load ptr, ptr %7, align 8, !tbaa !5
  %105 = call zeroext i1 @check_auto_recover_newref(ptr noundef %103, ptr noundef %104)
  br i1 %105, label %106, label %118

106:                                              ; preds = %100
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #3
  %107 = load ptr, ptr %16, align 8, !tbaa !5
  %108 = call ptr @cap_fetch(ptr noundef %107)
  %109 = call i32 @ast_id(ptr noundef %108)
  store i32 %109, ptr %17, align 4, !tbaa !16
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #3
  %110 = load ptr, ptr %11, align 8, !tbaa !5
  %111 = load i32, ptr %17, align 4, !tbaa !16
  %112 = call ptr @recover_type(ptr noundef %110, i32 noundef %111)
  store ptr %112, ptr %18, align 8, !tbaa !5
  %113 = load ptr, ptr %18, align 8, !tbaa !5
  %114 = icmp ne ptr %113, null
  br i1 %114, label %115, label %117

115:                                              ; preds = %106
  %116 = load ptr, ptr %18, align 8, !tbaa !5
  store ptr %116, ptr %11, align 8, !tbaa !5
  br label %117

117:                                              ; preds = %115, %106
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #3
  br label %118

118:                                              ; preds = %117, %100
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #3
  store ptr null, ptr %19, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #3
  store ptr null, ptr %20, align 8, !tbaa !5
  %119 = load ptr, ptr %16, align 8, !tbaa !5
  %120 = icmp eq ptr %119, null
  br i1 %120, label %121, label %136

121:                                              ; preds = %118
  %122 = load ptr, ptr %5, align 8, !tbaa !5
  %123 = load ptr, ptr %12, align 8, !tbaa !5
  %124 = call ptr @ast_print_type(ptr noundef %123)
  call void (ptr, ptr, ptr, ...) @ast_error_frame(ptr noundef %20, ptr noundef %122, ptr noundef @.str.6, ptr noundef %124)
  %125 = load ptr, ptr %7, align 8, !tbaa !5
  %126 = call ptr @ast_type(ptr noundef %125)
  %127 = call i32 @ast_checkflag(ptr noundef %126, i32 noundef 2097152)
  %128 = icmp ne i32 %127, 0
  br i1 %128, label %129, label %131

129:                                              ; preds = %121
  %130 = load ptr, ptr %7, align 8, !tbaa !5
  call void (ptr, ptr, ptr, ...) @ast_error_frame(ptr noundef %20, ptr noundef %130, ptr noundef @.str.7)
  br label %131

131:                                              ; preds = %129, %121
  call void @errorframe_append(ptr noundef %20, ptr noundef %19)
  %132 = load ptr, ptr %4, align 8, !tbaa !5
  %133 = getelementptr inbounds %struct.pass_opt_t, ptr %132, i32 0, i32 36
  %134 = getelementptr inbounds %struct.typecheck_t, ptr %133, i32 0, i32 2
  %135 = load ptr, ptr %134, align 8, !tbaa !9
  call void @errorframe_report(ptr noundef %20, ptr noundef %135)
  store i1 false, ptr %3, align 1
  store i32 1, ptr %10, align 4
  br label %311

136:                                              ; preds = %118
  %137 = load ptr, ptr %11, align 8, !tbaa !5
  %138 = load ptr, ptr %16, align 8, !tbaa !5
  %139 = load ptr, ptr %4, align 8, !tbaa !5
  %140 = call zeroext i1 @is_subtype(ptr noundef %137, ptr noundef %138, ptr noundef %19, ptr noundef %139)
  br i1 %140, label %155, label %141

141:                                              ; preds = %136
  %142 = load ptr, ptr %5, align 8, !tbaa !5
  call void (ptr, ptr, ptr, ...) @ast_error_frame(ptr noundef %20, ptr noundef %142, ptr noundef @.str.8)
  %143 = load ptr, ptr %7, align 8, !tbaa !5
  %144 = call ptr @ast_type(ptr noundef %143)
  %145 = call i32 @ast_checkflag(ptr noundef %144, i32 noundef 2097152)
  %146 = icmp ne i32 %145, 0
  br i1 %146, label %147, label %149

147:                                              ; preds = %141
  %148 = load ptr, ptr %7, align 8, !tbaa !5
  call void (ptr, ptr, ptr, ...) @ast_error_frame(ptr noundef %20, ptr noundef %148, ptr noundef @.str.7)
  br label %149

149:                                              ; preds = %147, %141
  call void @errorframe_append(ptr noundef %20, ptr noundef %19)
  %150 = load ptr, ptr %4, align 8, !tbaa !5
  %151 = getelementptr inbounds %struct.pass_opt_t, ptr %150, i32 0, i32 36
  %152 = getelementptr inbounds %struct.typecheck_t, ptr %151, i32 0, i32 2
  %153 = load ptr, ptr %152, align 8, !tbaa !9
  call void @errorframe_report(ptr noundef %20, ptr noundef %153)
  %154 = load ptr, ptr %16, align 8, !tbaa !5
  call void @ast_free_unattached(ptr noundef %154)
  store i1 false, ptr %3, align 1
  store i32 1, ptr %10, align 4
  br label %311

155:                                              ; preds = %136
  br label %156

156:                                              ; preds = %155
  %157 = load ptr, ptr %6, align 8, !tbaa !5
  %158 = call i32 @ast_id(ptr noundef %157)
  %159 = icmp eq i32 %158, 178
  br i1 %159, label %160, label %196

160:                                              ; preds = %156
  %161 = load ptr, ptr %11, align 8, !tbaa !5
  %162 = call i32 @ast_id(ptr noundef %161)
  %163 = icmp ne i32 %162, 150
  br i1 %163, label %164, label %196

164:                                              ; preds = %160
  %165 = load ptr, ptr %11, align 8, !tbaa !5
  %166 = call i32 @ast_id(ptr noundef %165)
  switch i32 %166, label %193 [
    i32 149, label %167
    i32 56, label %180
  ]

167:                                              ; preds = %164
  %168 = load ptr, ptr %4, align 8, !tbaa !5
  %169 = getelementptr inbounds %struct.pass_opt_t, ptr %168, i32 0, i32 36
  %170 = getelementptr inbounds %struct.typecheck_t, ptr %169, i32 0, i32 2
  %171 = load ptr, ptr %170, align 8, !tbaa !9
  %172 = load ptr, ptr %5, align 8, !tbaa !5
  call void (ptr, ptr, ptr, ...) @ast_error(ptr noundef %171, ptr noundef %172, ptr noundef @.str.9)
  %173 = load ptr, ptr %4, align 8, !tbaa !5
  %174 = getelementptr inbounds %struct.pass_opt_t, ptr %173, i32 0, i32 36
  %175 = getelementptr inbounds %struct.typecheck_t, ptr %174, i32 0, i32 2
  %176 = load ptr, ptr %175, align 8, !tbaa !9
  %177 = load ptr, ptr %7, align 8, !tbaa !5
  %178 = load ptr, ptr %11, align 8, !tbaa !5
  %179 = call ptr @ast_print_type(ptr noundef %178)
  call void (ptr, ptr, ptr, ...) @ast_error_continue(ptr noundef %176, ptr noundef %177, ptr noundef @.str.10, ptr noundef %179)
  br label %194

180:                                              ; preds = %164
  %181 = load ptr, ptr %4, align 8, !tbaa !5
  %182 = getelementptr inbounds %struct.pass_opt_t, ptr %181, i32 0, i32 36
  %183 = getelementptr inbounds %struct.typecheck_t, ptr %182, i32 0, i32 2
  %184 = load ptr, ptr %183, align 8, !tbaa !9
  %185 = load ptr, ptr %5, align 8, !tbaa !5
  call void (ptr, ptr, ptr, ...) @ast_error(ptr noundef %184, ptr noundef %185, ptr noundef @.str.11)
  %186 = load ptr, ptr %4, align 8, !tbaa !5
  %187 = getelementptr inbounds %struct.pass_opt_t, ptr %186, i32 0, i32 36
  %188 = getelementptr inbounds %struct.typecheck_t, ptr %187, i32 0, i32 2
  %189 = load ptr, ptr %188, align 8, !tbaa !9
  %190 = load ptr, ptr %7, align 8, !tbaa !5
  %191 = load ptr, ptr %11, align 8, !tbaa !5
  %192 = call ptr @ast_print_type(ptr noundef %191)
  call void (ptr, ptr, ptr, ...) @ast_error_continue(ptr noundef %189, ptr noundef %190, ptr noundef @.str.10, ptr noundef %192)
  br label %194

193:                                              ; preds = %164
  call void @ponyint_assert_fail(ptr noundef @.str.12, ptr noundef @.str.2, i64 noundef 438, ptr noundef @__func__.expr_assign)
  br label %194

194:                                              ; preds = %193, %180, %167
  %195 = load ptr, ptr %16, align 8, !tbaa !5
  call void @ast_free_unattached(ptr noundef %195)
  store i1 false, ptr %3, align 1
  store i32 1, ptr %10, align 4
  br label %311

196:                                              ; preds = %160, %156
  call void @llvm.lifetime.start.p0(i64 1, ptr %21) #3
  %197 = load ptr, ptr %6, align 8, !tbaa !5
  %198 = call zeroext i1 @safe_to_mutate(ptr noundef %197)
  %199 = zext i1 %198 to i8
  store i8 %199, ptr %21, align 1, !tbaa !17
  %200 = load i8, ptr %21, align 1, !tbaa !17, !range !18, !noundef !19
  %201 = trunc i8 %200 to i1
  br i1 %201, label %209, label %202

202:                                              ; preds = %196
  %203 = load ptr, ptr %4, align 8, !tbaa !5
  %204 = getelementptr inbounds %struct.pass_opt_t, ptr %203, i32 0, i32 36
  %205 = getelementptr inbounds %struct.typecheck_t, ptr %204, i32 0, i32 2
  %206 = load ptr, ptr %205, align 8, !tbaa !9
  %207 = load ptr, ptr %5, align 8, !tbaa !5
  call void (ptr, ptr, ptr, ...) @ast_error(ptr noundef %206, ptr noundef %207, ptr noundef @.str.13)
  %208 = load ptr, ptr %16, align 8, !tbaa !5
  call void @ast_free_unattached(ptr noundef %208)
  store i1 false, ptr %3, align 1
  store i32 1, ptr %10, align 4
  br label %310

209:                                              ; preds = %196
  call void @llvm.lifetime.start.p0(i64 1, ptr %22) #3
  %210 = load ptr, ptr %6, align 8, !tbaa !5
  %211 = load ptr, ptr %11, align 8, !tbaa !5
  %212 = call zeroext i1 @safe_to_move(ptr noundef %210, ptr noundef %211, i32 noundef 0)
  %213 = zext i1 %212 to i8
  store i8 %213, ptr %22, align 1, !tbaa !17
  %214 = load i8, ptr %22, align 1, !tbaa !17, !range !18, !noundef !19
  %215 = trunc i8 %214 to i1
  br i1 %215, label %298, label %216

216:                                              ; preds = %209
  %217 = load ptr, ptr %6, align 8, !tbaa !5
  %218 = call i32 @ast_id(ptr noundef %217)
  %219 = icmp eq i32 %218, 192
  br i1 %219, label %220, label %269

220:                                              ; preds = %216
  %221 = load ptr, ptr %6, align 8, !tbaa !5
  %222 = call ptr @ast_child(ptr noundef %221)
  %223 = icmp ne ptr %222, null
  br i1 %223, label %224, label %269

224:                                              ; preds = %220
  %225 = load ptr, ptr %6, align 8, !tbaa !5
  %226 = call ptr @ast_child(ptr noundef %225)
  %227 = call i32 @ast_id(ptr noundef %226)
  %228 = icmp eq i32 %227, 102
  br i1 %228, label %229, label %269

229:                                              ; preds = %224
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #3
  %230 = load ptr, ptr %6, align 8, !tbaa !5
  %231 = call ptr @ast_nearest(ptr noundef %230, i32 noundef 89)
  store ptr %231, ptr %23, align 8, !tbaa !5
  %232 = load ptr, ptr %23, align 8, !tbaa !5
  %233 = icmp ne ptr %232, null
  br i1 %233, label %234, label %265

234:                                              ; preds = %229
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #3
  %235 = load ptr, ptr %23, align 8, !tbaa !5
  %236 = call ptr @ast_child(ptr noundef %235)
  store ptr %236, ptr %24, align 8, !tbaa !5
  %237 = load ptr, ptr %24, align 8, !tbaa !5
  %238 = icmp ne ptr %237, null
  br i1 %238, label %239, label %240

239:                                              ; preds = %234
  br label %241

240:                                              ; preds = %234
  call void @ponyint_assert_fail(ptr noundef @.str.14, ptr noundef @.str.2, i64 noundef 468, ptr noundef @__func__.expr_assign)
  br label %241

241:                                              ; preds = %240, %239
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #3
  %242 = load ptr, ptr %24, align 8, !tbaa !5
  %243 = call i32 @ast_id(ptr noundef %242)
  store i32 %243, ptr %25, align 4, !tbaa !16
  %244 = load i32, ptr %25, align 4, !tbaa !16
  %245 = icmp eq i32 %244, 95
  br i1 %245, label %252, label %246

246:                                              ; preds = %241
  %247 = load i32, ptr %25, align 4, !tbaa !16
  %248 = icmp eq i32 %247, 94
  br i1 %248, label %252, label %249

249:                                              ; preds = %246
  %250 = load i32, ptr %25, align 4, !tbaa !16
  %251 = icmp eq i32 %250, 96
  br i1 %251, label %252, label %261

252:                                              ; preds = %249, %246, %241
  %253 = load ptr, ptr %4, align 8, !tbaa !5
  %254 = getelementptr inbounds %struct.pass_opt_t, ptr %253, i32 0, i32 36
  %255 = getelementptr inbounds %struct.typecheck_t, ptr %254, i32 0, i32 2
  %256 = load ptr, ptr %255, align 8, !tbaa !9
  %257 = load ptr, ptr %5, align 8, !tbaa !5
  %258 = load i32, ptr %25, align 4, !tbaa !16
  %259 = call ptr @lexer_print(i32 noundef %258)
  call void (ptr, ptr, ptr, ...) @ast_error(ptr noundef %256, ptr noundef %257, ptr noundef @.str.15, ptr noundef %259)
  %260 = load ptr, ptr %16, align 8, !tbaa !5
  call void @ast_free_unattached(ptr noundef %260)
  store i1 false, ptr %3, align 1
  store i32 1, ptr %10, align 4
  br label %262

261:                                              ; preds = %249
  store i32 0, ptr %10, align 4
  br label %262

262:                                              ; preds = %261, %252
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #3
  %263 = load i32, ptr %10, align 4
  switch i32 %263, label %266 [
    i32 0, label %264
  ]

264:                                              ; preds = %262
  br label %265

265:                                              ; preds = %264, %229
  store i32 0, ptr %10, align 4
  br label %266

266:                                              ; preds = %265, %262
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #3
  %267 = load i32, ptr %10, align 4
  switch i32 %267, label %309 [
    i32 0, label %268
  ]

268:                                              ; preds = %266
  br label %269

269:                                              ; preds = %268, %224, %220, %216
  %270 = load ptr, ptr %4, align 8, !tbaa !5
  %271 = getelementptr inbounds %struct.pass_opt_t, ptr %270, i32 0, i32 36
  %272 = getelementptr inbounds %struct.typecheck_t, ptr %271, i32 0, i32 2
  %273 = load ptr, ptr %272, align 8, !tbaa !9
  %274 = load ptr, ptr %5, align 8, !tbaa !5
  call void (ptr, ptr, ptr, ...) @ast_error(ptr noundef %273, ptr noundef %274, ptr noundef @.str.16)
  %275 = load ptr, ptr %4, align 8, !tbaa !5
  %276 = getelementptr inbounds %struct.pass_opt_t, ptr %275, i32 0, i32 36
  %277 = getelementptr inbounds %struct.typecheck_t, ptr %276, i32 0, i32 2
  %278 = load ptr, ptr %277, align 8, !tbaa !9
  %279 = load ptr, ptr %16, align 8, !tbaa !5
  %280 = load ptr, ptr %16, align 8, !tbaa !5
  %281 = call ptr @ast_print_type(ptr noundef %280)
  call void (ptr, ptr, ptr, ...) @ast_error_continue(ptr noundef %278, ptr noundef %279, ptr noundef @.str.17, ptr noundef %281)
  %282 = load ptr, ptr %6, align 8, !tbaa !5
  %283 = call ptr @ast_child(ptr noundef %282)
  %284 = icmp ne ptr %283, null
  br i1 %284, label %285, label %296

285:                                              ; preds = %269
  %286 = load ptr, ptr %4, align 8, !tbaa !5
  %287 = getelementptr inbounds %struct.pass_opt_t, ptr %286, i32 0, i32 36
  %288 = getelementptr inbounds %struct.typecheck_t, ptr %287, i32 0, i32 2
  %289 = load ptr, ptr %288, align 8, !tbaa !9
  %290 = load ptr, ptr %6, align 8, !tbaa !5
  %291 = call ptr @ast_child(ptr noundef %290)
  %292 = load ptr, ptr %6, align 8, !tbaa !5
  %293 = call ptr @ast_child(ptr noundef %292)
  %294 = call ptr @ast_type(ptr noundef %293)
  %295 = call ptr @ast_print_type(ptr noundef %294)
  call void (ptr, ptr, ptr, ...) @ast_error_continue(ptr noundef %289, ptr noundef %291, ptr noundef @.str.18, ptr noundef %295)
  br label %296

296:                                              ; preds = %285, %269
  %297 = load ptr, ptr %16, align 8, !tbaa !5
  call void @ast_free_unattached(ptr noundef %297)
  store i1 false, ptr %3, align 1
  store i32 1, ptr %10, align 4
  br label %309

298:                                              ; preds = %209
  %299 = load ptr, ptr %16, align 8, !tbaa !5
  call void @ast_free_unattached(ptr noundef %299)
  %300 = load ptr, ptr %4, align 8, !tbaa !5
  %301 = load ptr, ptr %6, align 8, !tbaa !5
  %302 = load ptr, ptr %7, align 8, !tbaa !5
  %303 = call zeroext i1 @check_embed_construction(ptr noundef %300, ptr noundef %301, ptr noundef %302)
  br i1 %303, label %305, label %304

304:                                              ; preds = %298
  store i1 false, ptr %3, align 1
  store i32 1, ptr %10, align 4
  br label %309

305:                                              ; preds = %298
  %306 = load ptr, ptr %5, align 8, !tbaa !5
  %307 = load ptr, ptr %9, align 8, !tbaa !5
  %308 = call ptr @consume_type(ptr noundef %307, i32 noundef 2, i1 noundef zeroext false)
  call void @ast_settype(ptr noundef %306, ptr noundef %308)
  store i1 true, ptr %3, align 1
  store i32 1, ptr %10, align 4
  br label %309

309:                                              ; preds = %305, %304, %296, %266
  call void @llvm.lifetime.end.p0(i64 1, ptr %22) #3
  br label %310

310:                                              ; preds = %309, %202
  call void @llvm.lifetime.end.p0(i64 1, ptr %21) #3
  br label %311

311:                                              ; preds = %310, %194, %149, %131
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #3
  br label %312

312:                                              ; preds = %311, %85, %74, %69
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #3
  br label %313

313:                                              ; preds = %312, %50, %40
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #3
  %314 = load i1, ptr %3, align 1
  ret i1 %314
}

declare i32 @ast_id(ptr noundef) #0

declare void @ponyint_assert_fail(ptr noundef, ptr noundef, i64 noundef, ptr noundef) #0

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

declare void @ast_get_children(ptr noundef, i64 noundef, ptr noundef) #0

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

declare ptr @ast_type(ptr noundef) #0

declare void @ast_error(ptr noundef, ptr noundef, ptr noundef, ...) #0

declare zeroext i1 @coerce_literals(ptr noundef, ptr noundef, ptr noundef) #0

declare zeroext i1 @is_typecheck_error(ptr noundef) #0

declare i64 @errors_get_count(ptr noundef) #0

declare i32 @ast_checkflag(ptr noundef, i32 noundef) #0

; Function Attrs: nounwind uwtable
declare hidden zeroext i1 @infer_locals(ptr noundef, ptr noundef, ptr noundef) #1

declare ptr @consume_type(ptr noundef, i32 noundef, i1 noundef zeroext) #0

declare zeroext i1 @check_auto_recover_newref(ptr noundef, ptr noundef) #0

declare ptr @cap_fetch(ptr noundef) #0

declare ptr @recover_type(ptr noundef, i32 noundef) #0

declare void @ast_error_frame(ptr noundef, ptr noundef, ptr noundef, ...) #0

declare ptr @ast_print_type(ptr noundef) #0

declare void @errorframe_append(ptr noundef, ptr noundef) #0

declare void @errorframe_report(ptr noundef, ptr noundef) #0

declare zeroext i1 @is_subtype(ptr noundef, ptr noundef, ptr noundef, ptr noundef) #0

declare void @ast_free_unattached(ptr noundef) #0

declare void @ast_error_continue(ptr noundef, ptr noundef, ptr noundef, ...) #0

declare zeroext i1 @safe_to_mutate(ptr noundef) #0

declare zeroext i1 @safe_to_move(ptr noundef, ptr noundef, i32 noundef) #0

declare ptr @ast_child(ptr noundef) #0

declare ptr @ast_nearest(ptr noundef, i32 noundef) #0

declare ptr @lexer_print(i32 noundef) #0

; Function Attrs: nounwind uwtable
declare hidden zeroext i1 @check_embed_construction(ptr noundef, ptr noundef, ptr noundef) #1

attributes #0 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { 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 #2 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #3 = { 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 216}
!10 = !{!"pass_opt_t", !11, i64 0, !11, i64 4, !12, i64 8, !12, i64 9, !12, i64 10, !12, i64 11, !12, i64 12, !12, i64 13, !12, i64 14, !12, i64 15, !12, i64 16, !12, i64 17, !12, i64 18, !12, i64 19, !12, i64 20, !12, i64 21, !11, i64 24, !13, i64 32, !12, i64 40, !12, i64 41, !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, !6, i64 120, !6, i64 128, !6, i64 136, !6, i64 144, !6, i64 152, !6, i64 160, !6, i64 168, !14, i64 176, !6, i64 224, !6, i64 232}
!11 = !{!"int", !7, i64 0}
!12 = !{!"_Bool", !7, i64 0}
!13 = !{!"long", !7, i64 0}
!14 = !{!"typecheck_t", !6, i64 0, !15, i64 8, !6, i64 40}
!15 = !{!"typecheck_stats_t", !13, i64 0, !13, i64 8, !13, i64 16, !13, i64 24}
!16 = !{!11, !11, i64 0}
!17 = !{!12, !12, i64 0}
!18 = !{i8 0, i8 2}
!19 = !{}


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

@.str.1 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [77 x i8], align 1
@__func__.expr_assign = external hidden unnamed_addr constant [12 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [50 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [47 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [58 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [73 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [81 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [102 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [19 x i8], align 1

declare void @ast_settype(ptr noundef, ptr noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
define dso_local noundef zeroext i1 @expr_assign(ptr noundef %0, ptr noundef %1) local_unnamed_addr #1 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca [3 x ptr], align 16
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca [3 x ptr], align 16
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = tail call i32 @ast_id(ptr noundef %1) #3
  %12 = icmp eq i32 %11, 24
  br i1 %12, label %14, label %13

13:                                               ; preds = %2
  tail call void @ponyint_assert_fail(ptr noundef nonnull @.str.1, ptr noundef nonnull @.str.2, i64 noundef 325, ptr noundef nonnull @__func__.expr_assign) #3
  br label %14

14:                                               ; preds = %2, %13
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %3) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #3
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %5) #3
  store ptr %3, ptr %5, align 16, !tbaa !5
  %15 = getelementptr inbounds i8, ptr %5, i64 8
  store ptr %4, ptr %15, align 8, !tbaa !5
  %16 = getelementptr inbounds i8, ptr %5, i64 16
  store ptr null, ptr %16, align 16, !tbaa !5
  call void @ast_get_children(ptr noundef %1, i64 noundef 2, ptr noundef nonnull %5) #3
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %5) #3
  %17 = load ptr, ptr %3, align 8, !tbaa !5
  %18 = call ptr @ast_type(ptr noundef %17) #3
  %19 = icmp eq ptr %18, null
  br i1 %19, label %20, label %23

20:                                               ; preds = %14
  %21 = getelementptr inbounds i8, ptr %0, i64 216
  %22 = load ptr, ptr %21, align 8, !tbaa !9
  call void (ptr, ptr, ptr, ...) @ast_error(ptr noundef %22, ptr noundef %1, ptr noundef nonnull @.str.3) #3
  br label %165

23:                                               ; preds = %14
  %24 = call zeroext i1 @coerce_literals(ptr noundef nonnull %4, ptr noundef nonnull %18, ptr noundef %0) #3
  br i1 %24, label %25, label %165

25:                                               ; preds = %23
  %26 = load ptr, ptr %4, align 8, !tbaa !5
  %27 = call ptr @ast_type(ptr noundef %26) #3
  %28 = call zeroext i1 @is_typecheck_error(ptr noundef %27) #3
  br i1 %28, label %29, label %37

29:                                               ; preds = %25
  %30 = getelementptr inbounds i8, ptr %0, i64 216
  %31 = load ptr, ptr %30, align 8, !tbaa !9
  %32 = call i64 @errors_get_count(ptr noundef %31) #3
  %33 = icmp eq i64 %32, 0
  br i1 %33, label %34, label %165

34:                                               ; preds = %29
  %35 = load ptr, ptr %30, align 8, !tbaa !9
  %36 = load ptr, ptr %4, align 8, !tbaa !5
  call void (ptr, ptr, ptr, ...) @ast_error(ptr noundef %35, ptr noundef %36, ptr noundef nonnull @.str.4) #3
  br label %165

37:                                               ; preds = %25
  %38 = load ptr, ptr %4, align 8, !tbaa !5
  %39 = call i32 @ast_checkflag(ptr noundef %38, i32 noundef 1048576) #3
  %.not = icmp eq i32 %39, 0
  br i1 %.not, label %43, label %40

40:                                               ; preds = %37
  %41 = getelementptr inbounds i8, ptr %0, i64 216
  %42 = load ptr, ptr %41, align 8, !tbaa !9
  call void (ptr, ptr, ptr, ...) @ast_error(ptr noundef %42, ptr noundef %1, ptr noundef nonnull @.str.5) #3
  br label %165

43:                                               ; preds = %37
  %44 = load ptr, ptr %3, align 8, !tbaa !5
  %45 = call zeroext i1 @infer_locals(ptr noundef %0, ptr noundef %44, ptr noundef %27)
  br i1 %45, label %46, label %165

46:                                               ; preds = %43
  %47 = load ptr, ptr %3, align 8, !tbaa !5
  %48 = call ptr @ast_type(ptr noundef %47) #3
  %49 = load ptr, ptr %3, align 8, !tbaa !5
  %50 = call i32 @ast_id(ptr noundef %49) #3
  %51 = and i32 %50, -2
  %switch = icmp eq i32 %51, 192
  br i1 %switch, label %52, label %58

52:                                               ; preds = %46
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %7) #3
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %8) #3
  store ptr %6, ptr %8, align 16, !tbaa !5
  %53 = getelementptr inbounds i8, ptr %8, i64 8
  store ptr %7, ptr %53, align 8, !tbaa !5
  %54 = getelementptr inbounds i8, ptr %8, i64 16
  store ptr null, ptr %54, align 16, !tbaa !5
  %55 = load ptr, ptr %3, align 8, !tbaa !5
  call void @ast_get_children(ptr noundef %55, i64 noundef 2, ptr noundef nonnull %8) #3
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %8) #3
  %56 = load ptr, ptr %7, align 8, !tbaa !5
  %57 = call ptr @ast_type(ptr noundef %56) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #3
  br label %58

58:                                               ; preds = %46, %52
  %.081 = phi ptr [ %48, %46 ], [ %57, %52 ]
  %59 = call ptr @consume_type(ptr noundef %.081, i32 noundef 2, i1 noundef zeroext false) #3
  %60 = load ptr, ptr %4, align 8, !tbaa !5
  %61 = call zeroext i1 @check_auto_recover_newref(ptr noundef %.081, ptr noundef %60) #3
  br i1 %61, label %62, label %66

62:                                               ; preds = %58
  %63 = call ptr @cap_fetch(ptr noundef %59) #3
  %64 = call i32 @ast_id(ptr noundef %63) #3
  %65 = call ptr @recover_type(ptr noundef %27, i32 noundef %64) #3
  %.not85 = icmp eq ptr %65, null
  %spec.select = select i1 %.not85, ptr %27, ptr %65
  br label %66

66:                                               ; preds = %62, %58
  %.180 = phi ptr [ %spec.select, %62 ], [ %27, %58 ]
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #3
  store ptr null, ptr %9, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #3
  store ptr null, ptr %10, align 8, !tbaa !5
  %67 = icmp eq ptr %59, null
  br i1 %67, label %68, label %78

68:                                               ; preds = %66
  %69 = call ptr @ast_print_type(ptr noundef %.081) #3
  call void (ptr, ptr, ptr, ...) @ast_error_frame(ptr noundef nonnull %10, ptr noundef %1, ptr noundef nonnull @.str.6, ptr noundef %69) #3
  %70 = load ptr, ptr %4, align 8, !tbaa !5
  %71 = call ptr @ast_type(ptr noundef %70) #3
  %72 = call i32 @ast_checkflag(ptr noundef %71, i32 noundef 2097152) #3
  %.not93 = icmp eq i32 %72, 0
  br i1 %.not93, label %75, label %73

73:                                               ; preds = %68
  %74 = load ptr, ptr %4, align 8, !tbaa !5
  call void (ptr, ptr, ptr, ...) @ast_error_frame(ptr noundef nonnull %10, ptr noundef %74, ptr noundef nonnull @.str.7) #3
  br label %75

75:                                               ; preds = %73, %68
  call void @errorframe_append(ptr noundef nonnull %10, ptr noundef nonnull %9) #3
  %76 = getelementptr inbounds i8, ptr %0, i64 216
  %77 = load ptr, ptr %76, align 8, !tbaa !9
  call void @errorframe_report(ptr noundef nonnull %10, ptr noundef %77) #3
  br label %164

78:                                               ; preds = %66
  %79 = call zeroext i1 @is_subtype(ptr noundef %.180, ptr noundef nonnull %59, ptr noundef nonnull %9, ptr noundef %0) #3
  br i1 %79, label %89, label %80

80:                                               ; preds = %78
  call void (ptr, ptr, ptr, ...) @ast_error_frame(ptr noundef nonnull %10, ptr noundef %1, ptr noundef nonnull @.str.8) #3
  %81 = load ptr, ptr %4, align 8, !tbaa !5
  %82 = call ptr @ast_type(ptr noundef %81) #3
  %83 = call i32 @ast_checkflag(ptr noundef %82, i32 noundef 2097152) #3
  %.not86 = icmp eq i32 %83, 0
  br i1 %.not86, label %86, label %84

84:                                               ; preds = %80
  %85 = load ptr, ptr %4, align 8, !tbaa !5
  call void (ptr, ptr, ptr, ...) @ast_error_frame(ptr noundef nonnull %10, ptr noundef %85, ptr noundef nonnull @.str.7) #3
  br label %86

86:                                               ; preds = %84, %80
  call void @errorframe_append(ptr noundef nonnull %10, ptr noundef nonnull %9) #3
  %87 = getelementptr inbounds i8, ptr %0, i64 216
  %88 = load ptr, ptr %87, align 8, !tbaa !9
  call void @errorframe_report(ptr noundef nonnull %10, ptr noundef %88) #3
  call void @ast_free_unattached(ptr noundef nonnull %59) #3
  br label %164

89:                                               ; preds = %78
  %90 = load ptr, ptr %3, align 8, !tbaa !5
  %91 = call i32 @ast_id(ptr noundef %90) #3
  %92 = icmp eq i32 %91, 178
  br i1 %92, label %93, label %111

93:                                               ; preds = %89
  %94 = call i32 @ast_id(ptr noundef %.180) #3
  %.not87 = icmp eq i32 %94, 150
  br i1 %.not87, label %111, label %95

95:                                               ; preds = %93
  %96 = call i32 @ast_id(ptr noundef %.180) #3
  switch i32 %96, label %109 [
    i32 149, label %97
    i32 56, label %103
  ]

97:                                               ; preds = %95
  %98 = getelementptr inbounds i8, ptr %0, i64 216
  %99 = load ptr, ptr %98, align 8, !tbaa !9
  call void (ptr, ptr, ptr, ...) @ast_error(ptr noundef %99, ptr noundef %1, ptr noundef nonnull @.str.9) #3
  %100 = load ptr, ptr %98, align 8, !tbaa !9
  %101 = load ptr, ptr %4, align 8, !tbaa !5
  %102 = call ptr @ast_print_type(ptr noundef %.180) #3
  call void (ptr, ptr, ptr, ...) @ast_error_continue(ptr noundef %100, ptr noundef %101, ptr noundef nonnull @.str.10, ptr noundef %102) #3
  br label %110

103:                                              ; preds = %95
  %104 = getelementptr inbounds i8, ptr %0, i64 216
  %105 = load ptr, ptr %104, align 8, !tbaa !9
  call void (ptr, ptr, ptr, ...) @ast_error(ptr noundef %105, ptr noundef %1, ptr noundef nonnull @.str.11) #3
  %106 = load ptr, ptr %104, align 8, !tbaa !9
  %107 = load ptr, ptr %4, align 8, !tbaa !5
  %108 = call ptr @ast_print_type(ptr noundef %.180) #3
  call void (ptr, ptr, ptr, ...) @ast_error_continue(ptr noundef %106, ptr noundef %107, ptr noundef nonnull @.str.10, ptr noundef %108) #3
  br label %110

109:                                              ; preds = %95
  call void @ponyint_assert_fail(ptr noundef nonnull @.str.12, ptr noundef nonnull @.str.2, i64 noundef 438, ptr noundef nonnull @__func__.expr_assign) #3
  br label %110

110:                                              ; preds = %109, %103, %97
  call void @ast_free_unattached(ptr noundef nonnull %59) #3
  br label %164

111:                                              ; preds = %93, %89
  %112 = load ptr, ptr %3, align 8, !tbaa !5
  %113 = call zeroext i1 @safe_to_mutate(ptr noundef %112) #3
  br i1 %113, label %117, label %114

114:                                              ; preds = %111
  %115 = getelementptr inbounds i8, ptr %0, i64 216
  %116 = load ptr, ptr %115, align 8, !tbaa !9
  call void (ptr, ptr, ptr, ...) @ast_error(ptr noundef %116, ptr noundef %1, ptr noundef nonnull @.str.13) #3
  call void @ast_free_unattached(ptr noundef nonnull %59) #3
  br label %164

117:                                              ; preds = %111
  %118 = load ptr, ptr %3, align 8, !tbaa !5
  %119 = call zeroext i1 @safe_to_move(ptr noundef %118, ptr noundef %.180, i32 noundef 0) #3
  br i1 %119, label %158, label %120

120:                                              ; preds = %117
  %121 = load ptr, ptr %3, align 8, !tbaa !5
  %122 = call i32 @ast_id(ptr noundef %121) #3
  %123 = icmp eq i32 %122, 192
  br i1 %123, label %124, label %.critedge

124:                                              ; preds = %120
  %125 = load ptr, ptr %3, align 8, !tbaa !5
  %126 = call ptr @ast_child(ptr noundef %125) #3
  %.not88 = icmp eq ptr %126, null
  br i1 %.not88, label %.critedge, label %127

127:                                              ; preds = %124
  %128 = load ptr, ptr %3, align 8, !tbaa !5
  %129 = call ptr @ast_child(ptr noundef %128) #3
  %130 = call i32 @ast_id(ptr noundef %129) #3
  %131 = icmp eq i32 %130, 102
  br i1 %131, label %132, label %.critedge

132:                                              ; preds = %127
  %133 = load ptr, ptr %3, align 8, !tbaa !5
  %134 = call ptr @ast_nearest(ptr noundef %133, i32 noundef 89) #3
  %.not89 = icmp eq ptr %134, null
  br i1 %.not89, label %.critedge, label %135

135:                                              ; preds = %132
  %136 = call ptr @ast_child(ptr noundef nonnull %134) #3
  %.not90 = icmp eq ptr %136, null
  br i1 %.not90, label %137, label %138

137:                                              ; preds = %135
  call void @ponyint_assert_fail(ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.2, i64 noundef 468, ptr noundef nonnull @__func__.expr_assign) #3
  br label %138

138:                                              ; preds = %135, %137
  %139 = call i32 @ast_id(ptr noundef %136) #3
  %.off94 = add i32 %139, -94
  %switch95 = icmp ult i32 %.off94, 3
  br i1 %switch95, label %.thread, label %.critedge

.thread:                                          ; preds = %138
  %140 = getelementptr inbounds i8, ptr %0, i64 216
  %141 = load ptr, ptr %140, align 8, !tbaa !9
  %142 = call ptr @lexer_print(i32 noundef %139) #3
  call void (ptr, ptr, ptr, ...) @ast_error(ptr noundef %141, ptr noundef %1, ptr noundef nonnull @.str.15, ptr noundef %142) #3
  call void @ast_free_unattached(ptr noundef nonnull %59) #3
  br label %164

.critedge:                                        ; preds = %138, %132, %127, %124, %120
  %143 = getelementptr inbounds i8, ptr %0, i64 216
  %144 = load ptr, ptr %143, align 8, !tbaa !9
  call void (ptr, ptr, ptr, ...) @ast_error(ptr noundef %144, ptr noundef %1, ptr noundef nonnull @.str.16) #3
  %145 = load ptr, ptr %143, align 8, !tbaa !9
  %146 = call ptr @ast_print_type(ptr noundef nonnull %59) #3
  call void (ptr, ptr, ptr, ...) @ast_error_continue(ptr noundef %145, ptr noundef nonnull %59, ptr noundef nonnull @.str.17, ptr noundef %146) #3
  %147 = load ptr, ptr %3, align 8, !tbaa !5
  %148 = call ptr @ast_child(ptr noundef %147) #3
  %.not92 = icmp eq ptr %148, null
  br i1 %.not92, label %157, label %149

149:                                              ; preds = %.critedge
  %150 = load ptr, ptr %143, align 8, !tbaa !9
  %151 = load ptr, ptr %3, align 8, !tbaa !5
  %152 = call ptr @ast_child(ptr noundef %151) #3
  %153 = load ptr, ptr %3, align 8, !tbaa !5
  %154 = call ptr @ast_child(ptr noundef %153) #3
  %155 = call ptr @ast_type(ptr noundef %154) #3
  %156 = call ptr @ast_print_type(ptr noundef %155) #3
  call void (ptr, ptr, ptr, ...) @ast_error_continue(ptr noundef %150, ptr noundef %152, ptr noundef nonnull @.str.18, ptr noundef %156) #3
  br label %157

157:                                              ; preds = %149, %.critedge
  call void @ast_free_unattached(ptr noundef nonnull %59) #3
  br label %164

158:                                              ; preds = %117
  call void @ast_free_unattached(ptr noundef nonnull %59) #3
  %159 = load ptr, ptr %3, align 8, !tbaa !5
  %160 = load ptr, ptr %4, align 8, !tbaa !5
  %161 = call zeroext i1 @check_embed_construction(ptr noundef %0, ptr noundef %159, ptr noundef %160)
  br i1 %161, label %162, label %164

162:                                              ; preds = %158
  %163 = call ptr @consume_type(ptr noundef %48, i32 noundef 2, i1 noundef zeroext false) #3
  call void @ast_settype(ptr noundef %1, ptr noundef %163) #3
  br label %164

164:                                              ; preds = %.thread, %114, %158, %162, %157, %110, %86, %75
  %.5 = phi i1 [ false, %75 ], [ false, %110 ], [ false, %86 ], [ false, %114 ], [ true, %162 ], [ false, %157 ], [ false, %158 ], [ false, %.thread ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #3
  br label %165

165:                                              ; preds = %40, %164, %34, %29, %43, %23, %20
  %.7 = phi i1 [ false, %20 ], [ false, %23 ], [ false, %40 ], [ %.5, %164 ], [ false, %34 ], [ false, %29 ], [ false, %43 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #3
  ret i1 %.7
}

declare i32 @ast_id(ptr noundef) local_unnamed_addr #0

declare void @ponyint_assert_fail(ptr noundef, ptr noundef, i64 noundef, ptr noundef) local_unnamed_addr #0

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

declare void @ast_get_children(ptr noundef, i64 noundef, ptr noundef) local_unnamed_addr #0

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

declare ptr @ast_type(ptr noundef) local_unnamed_addr #0

declare void @ast_error(ptr noundef, ptr noundef, ptr noundef, ...) local_unnamed_addr #0

declare zeroext i1 @coerce_literals(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #0

declare zeroext i1 @is_typecheck_error(ptr noundef) local_unnamed_addr #0

declare i64 @errors_get_count(ptr noundef) local_unnamed_addr #0

declare i32 @ast_checkflag(ptr noundef, i32 noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare hidden zeroext i1 @infer_locals(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #1

declare ptr @consume_type(ptr noundef, i32 noundef, i1 noundef zeroext) local_unnamed_addr #0

declare zeroext i1 @check_auto_recover_newref(ptr noundef, ptr noundef) local_unnamed_addr #0

declare ptr @cap_fetch(ptr noundef) local_unnamed_addr #0

declare ptr @recover_type(ptr noundef, i32 noundef) local_unnamed_addr #0

declare void @ast_error_frame(ptr noundef, ptr noundef, ptr noundef, ...) local_unnamed_addr #0

declare ptr @ast_print_type(ptr noundef) local_unnamed_addr #0

declare void @errorframe_append(ptr noundef, ptr noundef) local_unnamed_addr #0

declare void @errorframe_report(ptr noundef, ptr noundef) local_unnamed_addr #0

declare zeroext i1 @is_subtype(ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #0

declare void @ast_free_unattached(ptr noundef) local_unnamed_addr #0

declare void @ast_error_continue(ptr noundef, ptr noundef, ptr noundef, ...) local_unnamed_addr #0

declare zeroext i1 @safe_to_mutate(ptr noundef) local_unnamed_addr #0

declare zeroext i1 @safe_to_move(ptr noundef, ptr noundef, i32 noundef) local_unnamed_addr #0

declare ptr @ast_child(ptr noundef) local_unnamed_addr #0

declare ptr @ast_nearest(ptr noundef, i32 noundef) local_unnamed_addr #0

declare ptr @lexer_print(i32 noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare hidden zeroext i1 @check_embed_construction(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #1

attributes #0 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { 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 #2 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #3 = { 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 216}
!10 = !{!"pass_opt_t", !11, i64 0, !11, i64 4, !12, i64 8, !12, i64 9, !12, i64 10, !12, i64 11, !12, i64 12, !12, i64 13, !12, i64 14, !12, i64 15, !12, i64 16, !12, i64 17, !12, i64 18, !12, i64 19, !12, i64 20, !12, i64 21, !11, i64 24, !13, i64 32, !12, i64 40, !12, i64 41, !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, !6, i64 120, !6, i64 128, !6, i64 136, !6, i64 144, !6, i64 152, !6, i64 160, !6, i64 168, !14, i64 176, !6, i64 224, !6, i64 232}
!11 = !{!"int", !7, i64 0}
!12 = !{!"_Bool", !7, i64 0}
!13 = !{!"long", !7, i64 0}
!14 = !{!"typecheck_t", !6, i64 0, !15, i64 8, !6, i64 40}
!15 = !{!"typecheck_stats_t", !13, i64 0, !13, i64 8, !13, i64 16, !13, i64 24}


; Effective O3 passes: EarlyCSEPass,GlobalOptPass,IPSCCPPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,PostOrderFunctionAttrsPass,SROAPass,SimplifyCFGPass,TailCallElimPass