; LLVM IR from tangjz/acm-icpc :: self_training/2015-09-24 (I)

; 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.Point = type { double, double }

@_ZL2pi = external hidden global double, align 8
@t = external dso_local global i32, align 4
@pos = external dso_local global [4 x double], align 16
@ans = external dso_local global double, align 8
@p = external dso_local global [4 x %struct.Point], align 16
@pp = external dso_local global [4 x %struct.Point], align 16
@.str = external hidden unnamed_addr constant [3 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [15 x i8], align 1

; Function Attrs: mustprogress uwtable
declare dso_local noundef i32 @_Z5checkd(double noundef) #0

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

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

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

; Function Attrs: mustprogress norecurse uwtable
define dso_local noundef i32 @main() #3 {
  %1 = alloca i32, align 4
  %2 = alloca i32, align 4
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca double, align 8
  %7 = alloca double, align 8
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca double, align 8
  %11 = alloca [4 x i32], align 16
  %12 = alloca [4 x i32], align 16
  %13 = alloca i32, align 4
  %14 = alloca i8, align 1
  %15 = alloca i32, align 4
  %16 = alloca double, align 8
  store i32 0, ptr %1, align 4
  %17 = call i32 (ptr, ...) @__isoc99_scanf(ptr noundef @.str, ptr noundef @t)
  call void @llvm.lifetime.start.p0(i64 4, ptr %2) #8
  store i32 1, ptr %2, align 4, !tbaa !5
  br label %18

18:                                               ; preds = %250, %0
  %19 = load i32, ptr %2, align 4, !tbaa !5
  %20 = load i32, ptr @t, align 4, !tbaa !5
  %21 = icmp sle i32 %19, %20
  br i1 %21, label %23, label %22

22:                                               ; preds = %18
  store i32 2, ptr %3, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %2) #8
  br label %253

23:                                               ; preds = %18
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #8
  store i32 0, ptr %4, align 4, !tbaa !5
  br label %24

24:                                               ; preds = %38, %23
  %25 = load i32, ptr %4, align 4, !tbaa !5
  %26 = icmp slt i32 %25, 4
  br i1 %26, label %28, label %27

27:                                               ; preds = %24
  store i32 5, ptr %3, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #8
  br label %41

28:                                               ; preds = %24
  %29 = load i32, ptr %4, align 4, !tbaa !5
  %30 = sext i32 %29 to i64
  %31 = getelementptr inbounds [4 x %struct.Point], ptr @p, i64 0, i64 %30
  %32 = getelementptr inbounds %struct.Point, ptr %31, i32 0, i32 0
  %33 = load i32, ptr %4, align 4, !tbaa !5
  %34 = sext i32 %33 to i64
  %35 = getelementptr inbounds [4 x %struct.Point], ptr @p, i64 0, i64 %34
  %36 = getelementptr inbounds %struct.Point, ptr %35, i32 0, i32 1
  %37 = call i32 (ptr, ...) @__isoc99_scanf(ptr noundef @.str.1, ptr noundef %32, ptr noundef %36)
  br label %38

38:                                               ; preds = %28
  %39 = load i32, ptr %4, align 4, !tbaa !5
  %40 = add nsw i32 %39, 1
  store i32 %40, ptr %4, align 4, !tbaa !5
  br label %24, !llvm.loop !9

41:                                               ; preds = %27
  store double -1.000000e+03, ptr @ans, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #8
  store i32 0, ptr %5, align 4, !tbaa !5
  br label %42

42:                                               ; preds = %235, %41
  %43 = load i32, ptr %5, align 4, !tbaa !5
  %44 = icmp slt i32 %43, 1000
  br i1 %44, label %46, label %45

45:                                               ; preds = %42
  store i32 8, ptr %3, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #8
  br label %238

46:                                               ; preds = %42
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #8
  %47 = load i32, ptr %5, align 4, !tbaa !5
  %48 = sitofp i32 %47 to double
  %49 = fdiv double %48, 1.000000e+03
  %50 = load double, ptr @_ZL2pi, align 8, !tbaa !11
  %51 = fmul double %49, %50
  store double %51, ptr %6, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #8
  %52 = load i32, ptr %5, align 4, !tbaa !5
  %53 = sitofp i32 %52 to double
  %54 = fadd double %53, 1.000000e+00
  %55 = fdiv double %54, 1.000000e+03
  %56 = load double, ptr @_ZL2pi, align 8, !tbaa !11
  %57 = fmul double %55, %56
  store double %57, ptr %7, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #8
  %58 = load double, ptr %6, align 8, !tbaa !11
  %59 = call noundef i32 @_Z5checkd(double noundef %58)
  store i32 %59, ptr %8, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #8
  %60 = load double, ptr %7, align 8, !tbaa !11
  %61 = call noundef i32 @_Z5checkd(double noundef %60)
  store i32 %61, ptr %9, align 4, !tbaa !5
  %62 = load i32, ptr %8, align 4, !tbaa !5
  %63 = load i32, ptr %9, align 4, !tbaa !5
  %64 = mul nsw i32 %62, %63
  %65 = icmp sgt i32 %64, 0
  br i1 %65, label %66, label %67

66:                                               ; preds = %46
  store i32 10, ptr %3, align 4
  br label %232

67:                                               ; preds = %46
  br label %68

68:                                               ; preds = %89, %67
  %69 = load double, ptr %7, align 8, !tbaa !11
  %70 = load double, ptr %6, align 8, !tbaa !11
  %71 = fsub double %69, %70
  %72 = fcmp oge double %71, 1.000000e-08
  br i1 %72, label %73, label %90

73:                                               ; preds = %68
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #8
  %74 = load double, ptr %6, align 8, !tbaa !11
  %75 = load double, ptr %7, align 8, !tbaa !11
  %76 = fadd double %74, %75
  %77 = fmul double %76, 5.000000e-01
  store double %77, ptr %10, align 8, !tbaa !11
  %78 = load double, ptr %10, align 8, !tbaa !11
  %79 = call noundef i32 @_Z5checkd(double noundef %78)
  store i32 %79, ptr %9, align 4, !tbaa !5
  %80 = load i32, ptr %8, align 4, !tbaa !5
  %81 = load i32, ptr %9, align 4, !tbaa !5
  %82 = mul nsw i32 %80, %81
  %83 = icmp sgt i32 %82, 0
  br i1 %83, label %84, label %87

84:                                               ; preds = %73
  %85 = load double, ptr %10, align 8, !tbaa !11
  store double %85, ptr %6, align 8, !tbaa !11
  %86 = load i32, ptr %9, align 4, !tbaa !5
  store i32 %86, ptr %8, align 4, !tbaa !5
  br label %89

87:                                               ; preds = %73
  %88 = load double, ptr %10, align 8, !tbaa !11
  store double %88, ptr %7, align 8, !tbaa !11
  br label %89

89:                                               ; preds = %87, %84
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #8
  br label %68, !llvm.loop !13

90:                                               ; preds = %68
  %91 = load double, ptr %6, align 8, !tbaa !11
  %92 = call noundef i32 @_Z5checkd(double noundef %91)
  %93 = load double, ptr getelementptr inbounds ([4 x double], ptr @pos, i64 0, i64 2), align 16, !tbaa !11
  %94 = load double, ptr @pos, align 16, !tbaa !11
  %95 = fsub double %93, %94
  %96 = load double, ptr getelementptr inbounds ([4 x double], ptr @pos, i64 0, i64 3), align 8, !tbaa !11
  %97 = load double, ptr getelementptr inbounds ([4 x double], ptr @pos, i64 0, i64 1), align 8, !tbaa !11
  %98 = fsub double %96, %97
  %99 = call noundef i32 @_Z4dcmpdd(double noundef %95, double noundef %98)
  %100 = icmp ne i32 %99, 0
  br i1 %100, label %101, label %102

101:                                              ; preds = %90
  store i32 10, ptr %3, align 4
  br label %232

102:                                              ; preds = %90
  call void @llvm.lifetime.start.p0(i64 16, ptr %11) #8
  call void @llvm.memset.p0.i64(ptr align 16 %11, i8 0, i64 16, i1 false)
  call void @llvm.lifetime.start.p0(i64 16, ptr %12) #8
  call void @llvm.memset.p0.i64(ptr align 16 %12, i8 0, i64 16, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #8
  store i32 0, ptr %13, align 4, !tbaa !5
  br label %103

103:                                              ; preds = %180, %102
  %104 = load i32, ptr %13, align 4, !tbaa !5
  %105 = icmp slt i32 %104, 4
  br i1 %105, label %107, label %106

106:                                              ; preds = %103
  store i32 13, ptr %3, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #8
  br label %183

107:                                              ; preds = %103
  %108 = load i32, ptr %13, align 4, !tbaa !5
  %109 = sext i32 %108 to i64
  %110 = getelementptr inbounds [4 x %struct.Point], ptr @pp, i64 0, i64 %109
  %111 = getelementptr inbounds %struct.Point, ptr %110, i32 0, i32 0
  %112 = load double, ptr %111, align 16, !tbaa !14
  %113 = load double, ptr @pos, align 16, !tbaa !11
  %114 = call noundef i32 @_Z4dcmpdd(double noundef %112, double noundef %113)
  %115 = icmp eq i32 %114, 0
  br i1 %115, label %116, label %125

116:                                              ; preds = %107
  %117 = load i32, ptr %13, align 4, !tbaa !5
  %118 = sext i32 %117 to i64
  %119 = getelementptr inbounds [4 x i32], ptr %11, i64 0, i64 %118
  %120 = load i32, ptr %119, align 4, !tbaa !5
  %121 = add nsw i32 %120, 1
  store i32 %121, ptr %119, align 4, !tbaa !5
  %122 = getelementptr inbounds [4 x i32], ptr %12, i64 0, i64 0
  %123 = load i32, ptr %122, align 16, !tbaa !5
  %124 = add nsw i32 %123, 1
  store i32 %124, ptr %122, align 16, !tbaa !5
  br label %125

125:                                              ; preds = %116, %107
  %126 = load i32, ptr %13, align 4, !tbaa !5
  %127 = sext i32 %126 to i64
  %128 = getelementptr inbounds [4 x %struct.Point], ptr @pp, i64 0, i64 %127
  %129 = getelementptr inbounds %struct.Point, ptr %128, i32 0, i32 1
  %130 = load double, ptr %129, align 8, !tbaa !16
  %131 = load double, ptr getelementptr inbounds ([4 x double], ptr @pos, i64 0, i64 1), align 8, !tbaa !11
  %132 = call noundef i32 @_Z4dcmpdd(double noundef %130, double noundef %131)
  %133 = icmp eq i32 %132, 0
  br i1 %133, label %134, label %143

134:                                              ; preds = %125
  %135 = load i32, ptr %13, align 4, !tbaa !5
  %136 = sext i32 %135 to i64
  %137 = getelementptr inbounds [4 x i32], ptr %11, i64 0, i64 %136
  %138 = load i32, ptr %137, align 4, !tbaa !5
  %139 = add nsw i32 %138, 1
  store i32 %139, ptr %137, align 4, !tbaa !5
  %140 = getelementptr inbounds [4 x i32], ptr %12, i64 0, i64 1
  %141 = load i32, ptr %140, align 4, !tbaa !5
  %142 = add nsw i32 %141, 1
  store i32 %142, ptr %140, align 4, !tbaa !5
  br label %143

143:                                              ; preds = %134, %125
  %144 = load i32, ptr %13, align 4, !tbaa !5
  %145 = sext i32 %144 to i64
  %146 = getelementptr inbounds [4 x %struct.Point], ptr @pp, i64 0, i64 %145
  %147 = getelementptr inbounds %struct.Point, ptr %146, i32 0, i32 0
  %148 = load double, ptr %147, align 16, !tbaa !14
  %149 = load double, ptr getelementptr inbounds ([4 x double], ptr @pos, i64 0, i64 2), align 16, !tbaa !11
  %150 = call noundef i32 @_Z4dcmpdd(double noundef %148, double noundef %149)
  %151 = icmp eq i32 %150, 0
  br i1 %151, label %152, label %161

152:                                              ; preds = %143
  %153 = load i32, ptr %13, align 4, !tbaa !5
  %154 = sext i32 %153 to i64
  %155 = getelementptr inbounds [4 x i32], ptr %11, i64 0, i64 %154
  %156 = load i32, ptr %155, align 4, !tbaa !5
  %157 = add nsw i32 %156, 1
  store i32 %157, ptr %155, align 4, !tbaa !5
  %158 = getelementptr inbounds [4 x i32], ptr %12, i64 0, i64 2
  %159 = load i32, ptr %158, align 8, !tbaa !5
  %160 = add nsw i32 %159, 1
  store i32 %160, ptr %158, align 8, !tbaa !5
  br label %161

161:                                              ; preds = %152, %143
  %162 = load i32, ptr %13, align 4, !tbaa !5
  %163 = sext i32 %162 to i64
  %164 = getelementptr inbounds [4 x %struct.Point], ptr @pp, i64 0, i64 %163
  %165 = getelementptr inbounds %struct.Point, ptr %164, i32 0, i32 1
  %166 = load double, ptr %165, align 8, !tbaa !16
  %167 = load double, ptr getelementptr inbounds ([4 x double], ptr @pos, i64 0, i64 3), align 8, !tbaa !11
  %168 = call noundef i32 @_Z4dcmpdd(double noundef %166, double noundef %167)
  %169 = icmp eq i32 %168, 0
  br i1 %169, label %170, label %179

170:                                              ; preds = %161
  %171 = load i32, ptr %13, align 4, !tbaa !5
  %172 = sext i32 %171 to i64
  %173 = getelementptr inbounds [4 x i32], ptr %11, i64 0, i64 %172
  %174 = load i32, ptr %173, align 4, !tbaa !5
  %175 = add nsw i32 %174, 1
  store i32 %175, ptr %173, align 4, !tbaa !5
  %176 = getelementptr inbounds [4 x i32], ptr %12, i64 0, i64 3
  %177 = load i32, ptr %176, align 4, !tbaa !5
  %178 = add nsw i32 %177, 1
  store i32 %178, ptr %176, align 4, !tbaa !5
  br label %179

179:                                              ; preds = %170, %161
  br label %180

180:                                              ; preds = %179
  %181 = load i32, ptr %13, align 4, !tbaa !5
  %182 = add nsw i32 %181, 1
  store i32 %182, ptr %13, align 4, !tbaa !5
  br label %103, !llvm.loop !17

183:                                              ; preds = %106
  call void @llvm.lifetime.start.p0(i64 1, ptr %14) #8
  store i8 1, ptr %14, align 1, !tbaa !18
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #8
  store i32 0, ptr %15, align 4, !tbaa !5
  br label %184

184:                                              ; preds = %214, %183
  %185 = load i32, ptr %15, align 4, !tbaa !5
  %186 = icmp slt i32 %185, 4
  br i1 %186, label %187, label %190

187:                                              ; preds = %184
  %188 = load i8, ptr %14, align 1, !tbaa !18, !range !20, !noundef !21
  %189 = trunc i8 %188 to i1
  br label %190

190:                                              ; preds = %187, %184
  %191 = phi i1 [ false, %184 ], [ %189, %187 ]
  br i1 %191, label %193, label %192

192:                                              ; preds = %190
  store i32 16, ptr %3, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #8
  br label %217

193:                                              ; preds = %190
  %194 = load i32, ptr %15, align 4, !tbaa !5
  %195 = sext i32 %194 to i64
  %196 = getelementptr inbounds [4 x i32], ptr %11, i64 0, i64 %195
  %197 = load i32, ptr %196, align 4, !tbaa !5
  %198 = icmp eq i32 %197, 1
  br i1 %198, label %199, label %205

199:                                              ; preds = %193
  %200 = load i32, ptr %15, align 4, !tbaa !5
  %201 = sext i32 %200 to i64
  %202 = getelementptr inbounds [4 x i32], ptr %12, i64 0, i64 %201
  %203 = load i32, ptr %202, align 4, !tbaa !5
  %204 = icmp eq i32 %203, 1
  br label %205

205:                                              ; preds = %199, %193
  %206 = phi i1 [ false, %193 ], [ %204, %199 ]
  %207 = zext i1 %206 to i32
  %208 = load i8, ptr %14, align 1, !tbaa !18, !range !20, !noundef !21
  %209 = trunc i8 %208 to i1
  %210 = zext i1 %209 to i32
  %211 = and i32 %210, %207
  %212 = icmp ne i32 %211, 0
  %213 = zext i1 %212 to i8
  store i8 %213, ptr %14, align 1, !tbaa !18
  br label %214

214:                                              ; preds = %205
  %215 = load i32, ptr %15, align 4, !tbaa !5
  %216 = add nsw i32 %215, 1
  store i32 %216, ptr %15, align 4, !tbaa !5
  br label %184, !llvm.loop !22

217:                                              ; preds = %192
  %218 = load i8, ptr %14, align 1, !tbaa !18, !range !20, !noundef !21
  %219 = trunc i8 %218 to i1
  br i1 %219, label %220, label %231

220:                                              ; preds = %217
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #8
  %221 = load double, ptr getelementptr inbounds ([4 x double], ptr @pos, i64 0, i64 2), align 16, !tbaa !11
  %222 = load double, ptr @pos, align 16, !tbaa !11
  %223 = fsub double %221, %222
  %224 = load double, ptr getelementptr inbounds ([4 x double], ptr @pos, i64 0, i64 3), align 8, !tbaa !11
  %225 = load double, ptr getelementptr inbounds ([4 x double], ptr @pos, i64 0, i64 1), align 8, !tbaa !11
  %226 = fsub double %224, %225
  %227 = fadd double %223, %226
  %228 = call double @llvm.fmuladd.f64(double 5.000000e-01, double %227, double 1.000000e+01)
  store double %228, ptr %16, align 8, !tbaa !11
  %229 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) @ans, ptr noundef nonnull align 8 dereferenceable(8) %16)
  %230 = load double, ptr %229, align 8, !tbaa !11
  store double %230, ptr @ans, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #8
  br label %231

231:                                              ; preds = %220, %217
  call void @llvm.lifetime.end.p0(i64 1, ptr %14) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %12) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %11) #8
  store i32 0, ptr %3, align 4
  br label %232

232:                                              ; preds = %231, %101, %66
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #8
  %233 = load i32, ptr %3, align 4
  switch i32 %233, label %254 [
    i32 0, label %234
    i32 10, label %235
  ]

234:                                              ; preds = %232
  br label %235

235:                                              ; preds = %234, %232
  %236 = load i32, ptr %5, align 4, !tbaa !5
  %237 = add nsw i32 %236, 1
  store i32 %237, ptr %5, align 4, !tbaa !5
  br label %42, !llvm.loop !23

238:                                              ; preds = %45
  %239 = load double, ptr @ans, align 8, !tbaa !11
  %240 = call noundef i32 @_Z3sgnd(double noundef %239)
  %241 = icmp sle i32 %240, 0
  br i1 %241, label %242, label %245

242:                                              ; preds = %238
  %243 = load i32, ptr %2, align 4, !tbaa !5
  %244 = call i32 (ptr, ...) @printf(ptr noundef @.str.2, i32 noundef %243)
  br label %249

245:                                              ; preds = %238
  %246 = load i32, ptr %2, align 4, !tbaa !5
  %247 = load double, ptr @ans, align 8, !tbaa !11
  %248 = call i32 (ptr, ...) @printf(ptr noundef @.str.3, i32 noundef %246, double noundef %247)
  br label %249

249:                                              ; preds = %245, %242
  br label %250

250:                                              ; preds = %249
  %251 = load i32, ptr %2, align 4, !tbaa !5
  %252 = add nsw i32 %251, 1
  store i32 %252, ptr %2, align 4, !tbaa !5
  br label %18, !llvm.loop !24

253:                                              ; preds = %22
  ret i32 0

254:                                              ; preds = %232
  unreachable
}

declare i32 @__isoc99_scanf(ptr noundef, ...) #4

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef i32 @_Z4dcmpdd(double noundef, double noundef) #5

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

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #7

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i32 @_Z3sgnd(double noundef) #2

declare i32 @printf(ptr noundef, ...) #4

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = !{!12, !12, i64 0}
!12 = !{!"double", !7, i64 0}
!13 = distinct !{!13, !10}
!14 = !{!15, !12, i64 0}
!15 = !{!"_ZTS5Point", !12, i64 0, !12, i64 8}
!16 = !{!15, !12, i64 8}
!17 = distinct !{!17, !10}
!18 = !{!19, !19, i64 0}
!19 = !{!"bool", !7, i64 0}
!20 = !{i8 0, i8 2}
!21 = !{}
!22 = distinct !{!22, !10}
!23 = distinct !{!23, !10}
!24 = distinct !{!24, !10}


; 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.Point = type { double, double }

@_ZL2pi = external hidden local_unnamed_addr global double, align 8
@t = external dso_local global i32, align 4
@pos = external dso_local local_unnamed_addr global [4 x double], align 16
@ans = external dso_local global double, align 8
@p = external dso_local global [4 x %struct.Point], align 16
@pp = external dso_local local_unnamed_addr global [4 x %struct.Point], align 16
@.str = external hidden unnamed_addr constant [3 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [15 x i8], align 1

; Function Attrs: mustprogress uwtable
declare dso_local noundef i32 @_Z5checkd(double 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) #1

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

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

; Function Attrs: mustprogress norecurse uwtable
define dso_local noundef i32 @main() local_unnamed_addr #3 {
  %1 = alloca double, align 8
  %2 = tail call i32 (ptr, ...) @__isoc99_scanf(ptr noundef nonnull @.str, ptr noundef nonnull @t)
  %3 = load i32, ptr @t, align 4, !tbaa !5
  %.not69 = icmp slt i32 %3, 1
  br i1 %.not69, label %._crit_edge71, label %.preheader55

.preheader55:                                     ; preds = %0, %186
  %.sroa.081.0 = phi i32 [ %.sroa.081.6, %186 ], [ undef, %0 ]
  %.sroa.8.0 = phi i32 [ %.sroa.8.6, %186 ], [ undef, %0 ]
  %.sroa.13.0 = phi i32 [ %.sroa.13.6, %186 ], [ undef, %0 ]
  %.sroa.18.0 = phi i32 [ %.sroa.18.6, %186 ], [ undef, %0 ]
  %.sroa.0.0 = phi i32 [ %.sroa.0.2, %186 ], [ undef, %0 ]
  %.sroa.5.0 = phi i32 [ %.sroa.5.2, %186 ], [ undef, %0 ]
  %.sroa.7.0 = phi i32 [ %.sroa.7.2, %186 ], [ undef, %0 ]
  %.sroa.9.0 = phi i32 [ %.sroa.9.2, %186 ], [ undef, %0 ]
  %.04570 = phi i32 [ %187, %186 ], [ 1, %0 ]
  %4 = call i32 (ptr, ...) @__isoc99_scanf(ptr noundef nonnull @.str.1, ptr noundef nonnull @p, ptr noundef nonnull getelementptr inbounds (i8, ptr @p, i64 8))
  %5 = call i32 (ptr, ...) @__isoc99_scanf(ptr noundef nonnull @.str.1, ptr noundef nonnull getelementptr inbounds (i8, ptr @p, i64 16), ptr noundef nonnull getelementptr inbounds (i8, ptr @p, i64 24))
  %6 = call i32 (ptr, ...) @__isoc99_scanf(ptr noundef nonnull @.str.1, ptr noundef nonnull getelementptr inbounds (i8, ptr @p, i64 32), ptr noundef nonnull getelementptr inbounds (i8, ptr @p, i64 40))
  %7 = call i32 (ptr, ...) @__isoc99_scanf(ptr noundef nonnull @.str.1, ptr noundef nonnull getelementptr inbounds (i8, ptr @p, i64 48), ptr noundef nonnull getelementptr inbounds (i8, ptr @p, i64 56))
  store double -1.000000e+03, ptr @ans, align 8, !tbaa !9
  br label %12

._crit_edge71:                                    ; preds = %186, %0
  ret i32 0

8:                                                ; preds = %.thread80
  %9 = load double, ptr @ans, align 8, !tbaa !9
  %10 = call noundef i32 @_Z3sgnd(double noundef %9)
  %11 = icmp slt i32 %10, 1
  br i1 %11, label %181, label %183

12:                                               ; preds = %.preheader55, %.thread80
  %.sroa.081.1 = phi i32 [ %.sroa.081.0, %.preheader55 ], [ %.sroa.081.6, %.thread80 ]
  %.sroa.8.1 = phi i32 [ %.sroa.8.0, %.preheader55 ], [ %.sroa.8.6, %.thread80 ]
  %.sroa.13.1 = phi i32 [ %.sroa.13.0, %.preheader55 ], [ %.sroa.13.6, %.thread80 ]
  %.sroa.18.1 = phi i32 [ %.sroa.18.0, %.preheader55 ], [ %.sroa.18.6, %.thread80 ]
  %.sroa.0.1 = phi i32 [ %.sroa.0.0, %.preheader55 ], [ %.sroa.0.2, %.thread80 ]
  %.sroa.5.1 = phi i32 [ %.sroa.5.0, %.preheader55 ], [ %.sroa.5.2, %.thread80 ]
  %.sroa.7.1 = phi i32 [ %.sroa.7.0, %.preheader55 ], [ %.sroa.7.2, %.thread80 ]
  %.sroa.9.1 = phi i32 [ %.sroa.9.0, %.preheader55 ], [ %.sroa.9.2, %.thread80 ]
  %.05168 = phi i32 [ 0, %.preheader55 ], [ %17, %.thread80 ]
  %13 = uitofp nneg i32 %.05168 to double
  %14 = fdiv double %13, 1.000000e+03
  %15 = load double, ptr @_ZL2pi, align 8, !tbaa !9
  %16 = fmul double %14, %15
  %17 = add nuw nsw i32 %.05168, 1
  %18 = uitofp nneg i32 %17 to double
  %19 = fdiv double %18, 1.000000e+03
  %20 = fmul double %19, %15
  %21 = call noundef i32 @_Z5checkd(double noundef %16)
  %22 = call noundef i32 @_Z5checkd(double noundef %20)
  %23 = mul nsw i32 %22, %21
  %24 = icmp sgt i32 %23, 0
  br i1 %24, label %.thread80, label %.preheader54

.preheader54:                                     ; preds = %12
  %25 = fsub double %20, %16
  %26 = fcmp ult double %25, 1.000000e-08
  br i1 %26, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %.preheader54, %.lr.ph
  %.04659 = phi i32 [ %..046, %.lr.ph ], [ %21, %.preheader54 ]
  %.04758 = phi double [ %.047., %.lr.ph ], [ %20, %.preheader54 ]
  %.04957 = phi double [ %..049, %.lr.ph ], [ %16, %.preheader54 ]
  %27 = fadd double %.04957, %.04758
  %28 = fmul double %27, 5.000000e-01
  %29 = call noundef i32 @_Z5checkd(double noundef %28)
  %30 = mul nsw i32 %29, %.04659
  %31 = icmp sgt i32 %30, 0
  %..049 = select i1 %31, double %28, double %.04957
  %.047. = select i1 %31, double %.04758, double %28
  %..046 = select i1 %31, i32 %29, i32 %.04659
  %32 = fsub double %.047., %..049
  %33 = fcmp ult double %32, 1.000000e-08
  br i1 %33, label %._crit_edge, label %.lr.ph, !llvm.loop !11

._crit_edge:                                      ; preds = %.lr.ph, %.preheader54
  %.049.lcssa = phi double [ %16, %.preheader54 ], [ %..049, %.lr.ph ]
  %34 = call noundef i32 @_Z5checkd(double noundef %.049.lcssa)
  %35 = load double, ptr getelementptr inbounds (i8, ptr @pos, i64 16), align 16, !tbaa !9
  %36 = load double, ptr @pos, align 16, !tbaa !9
  %37 = fsub double %35, %36
  %38 = load double, ptr getelementptr inbounds (i8, ptr @pos, i64 24), align 8, !tbaa !9
  %39 = load double, ptr getelementptr inbounds (i8, ptr @pos, i64 8), align 8, !tbaa !9
  %40 = fsub double %38, %39
  %41 = call noundef i32 @_Z4dcmpdd(double noundef %37, double noundef %40)
  %.not53 = icmp eq i32 %41, 0
  br i1 %.not53, label %.preheader, label %.thread80

.preheader:                                       ; preds = %._crit_edge
  %42 = load double, ptr @pp, align 16, !tbaa !13
  %43 = load double, ptr @pos, align 16, !tbaa !9
  %44 = call noundef i32 @_Z4dcmpdd(double noundef %42, double noundef %43)
  %45 = icmp eq i32 %44, 0
  %spec.select = select i1 %45, i32 1, i32 0
  %46 = load double, ptr getelementptr inbounds (i8, ptr @pp, i64 8), align 8, !tbaa !15
  %47 = load double, ptr getelementptr inbounds (i8, ptr @pos, i64 8), align 8, !tbaa !9
  %48 = call noundef i32 @_Z4dcmpdd(double noundef %46, double noundef %47)
  %49 = icmp eq i32 %48, 0
  %50 = add nuw nsw i32 %spec.select, 1
  %51 = select i1 %49, i32 %50, i32 %spec.select
  %52 = select i1 %49, i32 1, i32 0
  %53 = load double, ptr @pp, align 16, !tbaa !13
  %54 = load double, ptr getelementptr inbounds (i8, ptr @pos, i64 16), align 16, !tbaa !9
  %55 = call noundef i32 @_Z4dcmpdd(double noundef %53, double noundef %54)
  %56 = icmp eq i32 %55, 0
  %57 = add nuw nsw i32 %51, 1
  %58 = select i1 %56, i32 %57, i32 %51
  %59 = select i1 %56, i32 1, i32 0
  %60 = load double, ptr getelementptr inbounds (i8, ptr @pp, i64 8), align 8, !tbaa !15
  %61 = load double, ptr getelementptr inbounds (i8, ptr @pos, i64 24), align 8, !tbaa !9
  %62 = call noundef i32 @_Z4dcmpdd(double noundef %60, double noundef %61)
  %63 = icmp eq i32 %62, 0
  %64 = add nuw nsw i32 %58, 1
  %.sroa.081.5 = select i1 %63, i32 %64, i32 %58
  %65 = select i1 %63, i32 1, i32 0
  %66 = load double, ptr getelementptr inbounds (i8, ptr @pp, i64 16), align 16, !tbaa !13
  %67 = load double, ptr @pos, align 16, !tbaa !9
  %68 = call noundef i32 @_Z4dcmpdd(double noundef %66, double noundef %67)
  %69 = icmp eq i32 %68, 0
  %70 = add nuw nsw i32 %spec.select, 1
  %71 = select i1 %69, i32 1, i32 0
  %72 = select i1 %69, i32 %70, i32 %spec.select
  %73 = load double, ptr getelementptr inbounds (i8, ptr @pp, i64 24), align 8, !tbaa !15
  %74 = load double, ptr getelementptr inbounds (i8, ptr @pos, i64 8), align 8, !tbaa !9
  %75 = call noundef i32 @_Z4dcmpdd(double noundef %73, double noundef %74)
  %76 = icmp eq i32 %75, 0
  %77 = add nuw nsw i32 %71, 1
  %78 = add nuw nsw i32 %52, 1
  %79 = select i1 %76, i32 %77, i32 %71
  %80 = select i1 %76, i32 %78, i32 %52
  %81 = load double, ptr getelementptr inbounds (i8, ptr @pp, i64 16), align 16, !tbaa !13
  %82 = load double, ptr getelementptr inbounds (i8, ptr @pos, i64 16), align 16, !tbaa !9
  %83 = call noundef i32 @_Z4dcmpdd(double noundef %81, double noundef %82)
  %84 = icmp eq i32 %83, 0
  %85 = add nuw nsw i32 %79, 1
  %86 = add nuw nsw i32 %59, 1
  %87 = select i1 %84, i32 %85, i32 %79
  %88 = select i1 %84, i32 %86, i32 %59
  %89 = load double, ptr getelementptr inbounds (i8, ptr @pp, i64 24), align 8, !tbaa !15
  %90 = load double, ptr getelementptr inbounds (i8, ptr @pos, i64 24), align 8, !tbaa !9
  %91 = call noundef i32 @_Z4dcmpdd(double noundef %89, double noundef %90)
  %92 = icmp eq i32 %91, 0
  %93 = add nuw nsw i32 %87, 1
  %94 = add nuw nsw i32 %65, 1
  %.sroa.8.5 = select i1 %92, i32 %93, i32 %87
  %95 = select i1 %92, i32 %94, i32 %65
  %96 = load double, ptr getelementptr inbounds (i8, ptr @pp, i64 32), align 16, !tbaa !13
  %97 = load double, ptr @pos, align 16, !tbaa !9
  %98 = call noundef i32 @_Z4dcmpdd(double noundef %96, double noundef %97)
  %99 = icmp eq i32 %98, 0
  %100 = add nuw nsw i32 %72, 1
  %101 = select i1 %99, i32 1, i32 0
  %102 = select i1 %99, i32 %100, i32 %72
  %103 = load double, ptr getelementptr inbounds (i8, ptr @pp, i64 40), align 8, !tbaa !15
  %104 = load double, ptr getelementptr inbounds (i8, ptr @pos, i64 8), align 8, !tbaa !9
  %105 = call noundef i32 @_Z4dcmpdd(double noundef %103, double noundef %104)
  %106 = icmp eq i32 %105, 0
  %107 = add nuw nsw i32 %101, 1
  %108 = add nuw nsw i32 %80, 1
  %109 = select i1 %106, i32 %107, i32 %101
  %110 = select i1 %106, i32 %108, i32 %80
  %111 = load double, ptr getelementptr inbounds (i8, ptr @pp, i64 32), align 16, !tbaa !13
  %112 = load double, ptr getelementptr inbounds (i8, ptr @pos, i64 16), align 16, !tbaa !9
  %113 = call noundef i32 @_Z4dcmpdd(double noundef %111, double noundef %112)
  %114 = icmp eq i32 %113, 0
  %115 = add nuw nsw i32 %109, 1
  %116 = add nuw nsw i32 %88, 1
  %117 = select i1 %114, i32 %115, i32 %109
  %118 = select i1 %114, i32 %116, i32 %88
  %119 = load double, ptr getelementptr inbounds (i8, ptr @pp, i64 40), align 8, !tbaa !15
  %120 = load double, ptr getelementptr inbounds (i8, ptr @pos, i64 24), align 8, !tbaa !9
  %121 = call noundef i32 @_Z4dcmpdd(double noundef %119, double noundef %120)
  %122 = icmp eq i32 %121, 0
  %123 = add nuw nsw i32 %117, 1
  %124 = add nuw nsw i32 %95, 1
  %.sroa.13.5 = select i1 %122, i32 %123, i32 %117
  %125 = select i1 %122, i32 %124, i32 %95
  %126 = load double, ptr getelementptr inbounds (i8, ptr @pp, i64 48), align 16, !tbaa !13
  %127 = load double, ptr @pos, align 16, !tbaa !9
  %128 = call noundef i32 @_Z4dcmpdd(double noundef %126, double noundef %127)
  %129 = icmp eq i32 %128, 0
  %130 = add nuw nsw i32 %102, 1
  %131 = select i1 %129, i32 1, i32 0
  %132 = select i1 %129, i32 %130, i32 %102
  %133 = load double, ptr getelementptr inbounds (i8, ptr @pp, i64 56), align 8, !tbaa !15
  %134 = load double, ptr getelementptr inbounds (i8, ptr @pos, i64 8), align 8, !tbaa !9
  %135 = call noundef i32 @_Z4dcmpdd(double noundef %133, double noundef %134)
  %136 = icmp eq i32 %135, 0
  %137 = add nuw nsw i32 %131, 1
  %138 = add nuw nsw i32 %110, 1
  %139 = select i1 %136, i32 %137, i32 %131
  %140 = select i1 %136, i32 %138, i32 %110
  %141 = load double, ptr getelementptr inbounds (i8, ptr @pp, i64 48), align 16, !tbaa !13
  %142 = load double, ptr getelementptr inbounds (i8, ptr @pos, i64 16), align 16, !tbaa !9
  %143 = call noundef i32 @_Z4dcmpdd(double noundef %141, double noundef %142)
  %144 = icmp eq i32 %143, 0
  %145 = add nuw nsw i32 %139, 1
  %146 = add nuw nsw i32 %118, 1
  %147 = select i1 %144, i32 %145, i32 %139
  %148 = select i1 %144, i32 %146, i32 %118
  %149 = load double, ptr getelementptr inbounds (i8, ptr @pp, i64 56), align 8, !tbaa !15
  %150 = load double, ptr getelementptr inbounds (i8, ptr @pos, i64 24), align 8, !tbaa !9
  %151 = call noundef i32 @_Z4dcmpdd(double noundef %149, double noundef %150)
  %152 = icmp eq i32 %151, 0
  %153 = add nuw nsw i32 %147, 1
  %154 = add nuw nsw i32 %125, 1
  %.sroa.18.5 = select i1 %152, i32 %153, i32 %147
  %155 = select i1 %152, i32 %154, i32 %125
  %156 = icmp eq i32 %.sroa.081.5, 1
  br i1 %156, label %158, label %.thread80

157:                                              ; preds = %170, %166, %162, %158
  %.lcssa = phi i1 [ %159, %158 ], [ %163, %162 ], [ %167, %166 ], [ %171, %170 ]
  br i1 %.lcssa, label %172, label %.thread80

158:                                              ; preds = %.preheader
  %159 = icmp eq i32 %132, 1
  br i1 %159, label %160, label %157, !llvm.loop !16

160:                                              ; preds = %158
  %161 = icmp eq i32 %.sroa.8.5, 1
  br i1 %161, label %162, label %.thread80

162:                                              ; preds = %160
  %163 = icmp eq i32 %140, 1
  br i1 %163, label %164, label %157, !llvm.loop !16

164:                                              ; preds = %162
  %165 = icmp eq i32 %.sroa.13.5, 1
  br i1 %165, label %166, label %.thread80

166:                                              ; preds = %164
  %167 = icmp eq i32 %148, 1
  br i1 %167, label %168, label %157, !llvm.loop !16

168:                                              ; preds = %166
  %169 = icmp eq i32 %.sroa.18.5, 1
  br i1 %169, label %170, label %.thread80

170:                                              ; preds = %168
  %171 = icmp eq i32 %155, 1
  br label %157

172:                                              ; preds = %157
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %1) #7
  %173 = load <2 x double>, ptr getelementptr inbounds (i8, ptr @pos, i64 16), align 16, !tbaa !9
  %174 = load <2 x double>, ptr @pos, align 16, !tbaa !9
  %175 = fsub <2 x double> %173, %174
  %shift = shufflevector <2 x double> %175, <2 x double> poison, <2 x i32> <i32 1, i32 poison>
  %176 = fadd <2 x double> %175, %shift
  %177 = extractelement <2 x double> %176, i64 0
  %178 = call double @llvm.fmuladd.f64(double %177, double 5.000000e-01, double 1.000000e+01)
  store double %178, ptr %1, align 8, !tbaa !9
  %179 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) @ans, ptr noundef nonnull align 8 dereferenceable(8) %1)
  %180 = load double, ptr %179, align 8, !tbaa !9
  store double %180, ptr @ans, align 8, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %1) #7
  br label %.thread80

.thread80:                                        ; preds = %157, %172, %168, %164, %160, %.preheader, %._crit_edge, %12
  %.sroa.081.6 = phi i32 [ %.sroa.081.1, %12 ], [ %.sroa.081.1, %._crit_edge ], [ %.sroa.081.5, %.preheader ], [ %.sroa.081.5, %160 ], [ %.sroa.081.5, %164 ], [ %.sroa.081.5, %168 ], [ %.sroa.081.5, %172 ], [ %.sroa.081.5, %157 ]
  %.sroa.8.6 = phi i32 [ %.sroa.8.1, %12 ], [ %.sroa.8.1, %._crit_edge ], [ %.sroa.8.5, %.preheader ], [ %.sroa.8.5, %160 ], [ %.sroa.8.5, %164 ], [ %.sroa.8.5, %168 ], [ %.sroa.8.5, %172 ], [ %.sroa.8.5, %157 ]
  %.sroa.13.6 = phi i32 [ %.sroa.13.1, %12 ], [ %.sroa.13.1, %._crit_edge ], [ %.sroa.13.5, %.preheader ], [ %.sroa.13.5, %160 ], [ %.sroa.13.5, %164 ], [ %.sroa.13.5, %168 ], [ %.sroa.13.5, %172 ], [ %.sroa.13.5, %157 ]
  %.sroa.18.6 = phi i32 [ %.sroa.18.1, %12 ], [ %.sroa.18.1, %._crit_edge ], [ %.sroa.18.5, %.preheader ], [ %.sroa.18.5, %160 ], [ %.sroa.18.5, %164 ], [ %.sroa.18.5, %168 ], [ %.sroa.18.5, %172 ], [ %.sroa.18.5, %157 ]
  %.sroa.0.2 = phi i32 [ %.sroa.0.1, %12 ], [ %.sroa.0.1, %._crit_edge ], [ %132, %.preheader ], [ %132, %160 ], [ %132, %164 ], [ %132, %168 ], [ %132, %172 ], [ %132, %157 ]
  %.sroa.5.2 = phi i32 [ %.sroa.5.1, %12 ], [ %.sroa.5.1, %._crit_edge ], [ %140, %.preheader ], [ %140, %160 ], [ %140, %164 ], [ %140, %168 ], [ %140, %172 ], [ %140, %157 ]
  %.sroa.7.2 = phi i32 [ %.sroa.7.1, %12 ], [ %.sroa.7.1, %._crit_edge ], [ %148, %.preheader ], [ %148, %160 ], [ %148, %164 ], [ %148, %168 ], [ %148, %172 ], [ %148, %157 ]
  %.sroa.9.2 = phi i32 [ %.sroa.9.1, %12 ], [ %.sroa.9.1, %._crit_edge ], [ %155, %.preheader ], [ %155, %160 ], [ %155, %164 ], [ %155, %168 ], [ %155, %172 ], [ %155, %157 ]
  %exitcond.not = icmp eq i32 %17, 1000
  br i1 %exitcond.not, label %8, label %12, !llvm.loop !17

181:                                              ; preds = %8
  %182 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.2, i32 noundef %.04570)
  br label %186

183:                                              ; preds = %8
  %184 = load double, ptr @ans, align 8, !tbaa !9
  %185 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.3, i32 noundef %.04570, double noundef %184)
  br label %186

186:                                              ; preds = %181, %183
  %187 = add nuw nsw i32 %.04570, 1
  %188 = load i32, ptr @t, align 4, !tbaa !5
  %.not.not = icmp slt i32 %.04570, %188
  br i1 %.not.not, label %.preheader55, label %._crit_edge71, !llvm.loop !18
}

; Function Attrs: nofree nounwind
declare noundef i32 @__isoc99_scanf(ptr nocapture noundef readonly, ...) local_unnamed_addr #4

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef i32 @_Z4dcmpdd(double noundef, double noundef) local_unnamed_addr #5

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #6

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i32 @_Z3sgnd(double noundef) local_unnamed_addr #2

; Function Attrs: nofree nounwind
declare noundef i32 @printf(ptr nocapture noundef readonly, ...) local_unnamed_addr #4

attributes #0 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress norecurse 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 = { nofree nounwind "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 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #7 = { 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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"double", !7, i64 0}
!11 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}
!13 = !{!14, !10, i64 0}
!14 = !{!"_ZTS5Point", !10, i64 0, !10, i64 8}
!15 = !{!14, !10, i64 8}
!16 = distinct !{!16, !12}
!17 = distinct !{!17, !12}
!18 = distinct !{!18, !12}


; Effective O3 passes: ADCEPass,CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalDCEPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,ReassociatePass,SCCPPass,SLPVectorizerPass,SROAPass,SimplifyCFGPass,TailCallElimPass,VectorCombinePass