; LLVM IR from stillwater-sc/universal :: c_api/shim/test/posit (posit16)

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

%union.posit16_u = type { i16 }

@.str = external hidden unnamed_addr constant [29 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [73 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [73 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [73 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [73 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [66 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [65 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [65 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [22 x i8], align 1
@NAR16 = external hidden constant { [2 x i8] }, align 2
@ZERO16 = external hidden constant { [2 x i8] }, align 2

; Function Attrs: nounwind uwtable
define dso_local i32 @main(i32 noundef %0, ptr noundef %1) #0 {
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca %union.posit16_u, align 2
  %9 = alloca %union.posit16_u, align 2
  %10 = alloca %union.posit16_u, align 2
  %11 = alloca [22 x i8], align 16
  %12 = alloca i8, align 1
  %13 = alloca %union.posit16_u, align 2
  %14 = alloca %union.posit16_u, align 2
  %15 = alloca %union.posit16_u, align 2
  %16 = alloca %union.posit16_u, align 2
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca %union.posit16_u, align 2
  %21 = alloca i32, align 4
  %22 = alloca %union.posit16_u, align 2
  %23 = alloca %union.posit16_u, align 2
  %24 = alloca float, align 4
  %25 = alloca float, align 4
  %26 = alloca float, align 4
  %27 = alloca %union.posit16_u, align 2
  %28 = alloca i32, align 4
  %29 = alloca %union.posit16_u, align 2
  %30 = alloca i32, align 4
  %31 = alloca %union.posit16_u, align 2
  %32 = alloca %union.posit16_u, align 2
  %33 = alloca float, align 4
  %34 = alloca float, align 4
  %35 = alloca float, align 4
  %36 = alloca %union.posit16_u, align 2
  %37 = alloca i32, align 4
  %38 = alloca %union.posit16_u, align 2
  %39 = alloca i32, align 4
  %40 = alloca %union.posit16_u, align 2
  %41 = alloca %union.posit16_u, align 2
  %42 = alloca float, align 4
  %43 = alloca float, align 4
  %44 = alloca float, align 4
  %45 = alloca %union.posit16_u, align 2
  %46 = alloca i32, align 4
  %47 = alloca %union.posit16_u, align 2
  %48 = alloca i32, align 4
  %49 = alloca %union.posit16_u, align 2
  %50 = alloca %union.posit16_u, align 2
  %51 = alloca float, align 4
  %52 = alloca float, align 4
  %53 = alloca float, align 4
  %54 = alloca %union.posit16_u, align 2
  %55 = alloca i32, align 4
  %56 = alloca %union.posit16_u, align 2
  %57 = alloca %union.posit16_u, align 2
  %58 = alloca double, align 8
  %59 = alloca double, align 8
  %60 = alloca %union.posit16_u, align 2
  %61 = alloca i32, align 4
  %62 = alloca %union.posit16_u, align 2
  %63 = alloca %union.posit16_u, align 2
  %64 = alloca double, align 8
  %65 = alloca double, align 8
  %66 = alloca %union.posit16_u, align 2
  %67 = alloca i32, align 4
  %68 = alloca %union.posit16_u, align 2
  %69 = alloca %union.posit16_u, align 2
  %70 = alloca double, align 8
  %71 = alloca double, align 8
  %72 = alloca %union.posit16_u, align 2
  store i32 0, ptr %3, align 4
  store i32 %0, ptr %4, align 4, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #6
  store i32 512, ptr %6, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #6
  store i32 65536, ptr %7, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 2, ptr %8) #6
  call void @llvm.lifetime.start.p0(i64 2, ptr %9) #6
  call void @llvm.lifetime.start.p0(i64 2, ptr %10) #6
  call void @llvm.lifetime.start.p0(i64 22, ptr %11) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr %12) #6
  store i8 0, ptr %12, align 1, !tbaa !11
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %8, ptr align 2 @NAR16, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %9, ptr align 2 @ZERO16, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.start.p0(i64 2, ptr %13) #6
  %73 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %74 = load i16, ptr %73, align 2
  %75 = getelementptr inbounds %union.posit16_u, ptr %9, i32 0, i32 0
  %76 = load i16, ptr %75, align 2
  %77 = call i16 @posit16_add(i16 %74, i16 %76)
  %78 = getelementptr inbounds %union.posit16_u, ptr %13, i32 0, i32 0
  store i16 %77, ptr %78, align 2
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %10, ptr align 2 %13, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 2, ptr %13) #6
  %79 = getelementptr inbounds [22 x i8], ptr %11, i64 0, i64 0
  %80 = getelementptr inbounds %union.posit16_u, ptr %10, i32 0, i32 0
  %81 = load i16, ptr %80, align 2
  call void @posit16_str(ptr noundef %79, i16 %81)
  %82 = getelementptr inbounds [22 x i8], ptr %11, i64 0, i64 0
  %83 = getelementptr inbounds %union.posit16_u, ptr %10, i32 0, i32 0
  %84 = load i16, ptr %83, align 2
  %85 = call zeroext i16 @posit16_bits(i16 %84)
  %86 = zext i16 %85 to i32
  %87 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef %82, i32 noundef %86)
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %8, ptr align 2 @NAR16, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %9, ptr align 2 @ZERO16, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.start.p0(i64 2, ptr %14) #6
  %88 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %89 = load i16, ptr %88, align 2
  %90 = getelementptr inbounds %union.posit16_u, ptr %9, i32 0, i32 0
  %91 = load i16, ptr %90, align 2
  %92 = call i16 @posit16_sub(i16 %89, i16 %91)
  %93 = getelementptr inbounds %union.posit16_u, ptr %14, i32 0, i32 0
  store i16 %92, ptr %93, align 2
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %10, ptr align 2 %14, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 2, ptr %14) #6
  %94 = getelementptr inbounds [22 x i8], ptr %11, i64 0, i64 0
  %95 = getelementptr inbounds %union.posit16_u, ptr %10, i32 0, i32 0
  %96 = load i16, ptr %95, align 2
  call void @posit16_str(ptr noundef %94, i16 %96)
  %97 = getelementptr inbounds [22 x i8], ptr %11, i64 0, i64 0
  %98 = getelementptr inbounds %union.posit16_u, ptr %10, i32 0, i32 0
  %99 = load i16, ptr %98, align 2
  %100 = call zeroext i16 @posit16_bits(i16 %99)
  %101 = zext i16 %100 to i32
  %102 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef %97, i32 noundef %101)
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %8, ptr align 2 @NAR16, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %9, ptr align 2 @ZERO16, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.start.p0(i64 2, ptr %15) #6
  %103 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %104 = load i16, ptr %103, align 2
  %105 = getelementptr inbounds %union.posit16_u, ptr %9, i32 0, i32 0
  %106 = load i16, ptr %105, align 2
  %107 = call i16 @posit16_mul(i16 %104, i16 %106)
  %108 = getelementptr inbounds %union.posit16_u, ptr %15, i32 0, i32 0
  store i16 %107, ptr %108, align 2
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %10, ptr align 2 %15, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 2, ptr %15) #6
  %109 = getelementptr inbounds [22 x i8], ptr %11, i64 0, i64 0
  %110 = getelementptr inbounds %union.posit16_u, ptr %10, i32 0, i32 0
  %111 = load i16, ptr %110, align 2
  call void @posit16_str(ptr noundef %109, i16 %111)
  %112 = getelementptr inbounds [22 x i8], ptr %11, i64 0, i64 0
  %113 = getelementptr inbounds %union.posit16_u, ptr %10, i32 0, i32 0
  %114 = load i16, ptr %113, align 2
  %115 = call zeroext i16 @posit16_bits(i16 %114)
  %116 = zext i16 %115 to i32
  %117 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef %112, i32 noundef %116)
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %8, ptr align 2 @NAR16, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %9, ptr align 2 @ZERO16, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.start.p0(i64 2, ptr %16) #6
  %118 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %119 = load i16, ptr %118, align 2
  %120 = getelementptr inbounds %union.posit16_u, ptr %9, i32 0, i32 0
  %121 = load i16, ptr %120, align 2
  %122 = call i16 @posit16_div(i16 %119, i16 %121)
  %123 = getelementptr inbounds %union.posit16_u, ptr %16, i32 0, i32 0
  store i16 %122, ptr %123, align 2
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %10, ptr align 2 %16, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 2, ptr %16) #6
  %124 = getelementptr inbounds [22 x i8], ptr %11, i64 0, i64 0
  %125 = getelementptr inbounds %union.posit16_u, ptr %10, i32 0, i32 0
  %126 = load i16, ptr %125, align 2
  call void @posit16_str(ptr noundef %124, i16 %126)
  %127 = getelementptr inbounds [22 x i8], ptr %11, i64 0, i64 0
  %128 = getelementptr inbounds %union.posit16_u, ptr %10, i32 0, i32 0
  %129 = load i16, ptr %128, align 2
  %130 = call zeroext i16 @posit16_bits(i16 %129)
  %131 = zext i16 %130 to i32
  %132 = call i32 (ptr, ...) @printf(ptr noundef @.str, ptr noundef %127, i32 noundef %131)
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #6
  store i32 0, ptr %17, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #6
  store i32 0, ptr %18, align 4, !tbaa !5
  br label %133

133:                                              ; preds = %200, %2
  %134 = load i32, ptr %18, align 4, !tbaa !5
  %135 = icmp slt i32 %134, 512
  br i1 %135, label %137, label %136

136:                                              ; preds = %133
  store i32 2, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #6
  br label %203

137:                                              ; preds = %133
  call void @llvm.lifetime.start.p0(i64 2, ptr %20) #6
  %138 = load i32, ptr %18, align 4, !tbaa !5
  %139 = trunc i32 %138 to i16
  %140 = call i16 @posit16_reinterpret(i16 noundef zeroext %139)
  %141 = getelementptr inbounds %union.posit16_u, ptr %20, i32 0, i32 0
  store i16 %140, ptr %141, align 2
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %8, ptr align 2 %20, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 2, ptr %20) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #6
  store i32 0, ptr %21, align 4, !tbaa !5
  br label %142

142:                                              ; preds = %196, %137
  %143 = load i32, ptr %21, align 4, !tbaa !5
  %144 = icmp slt i32 %143, 512
  br i1 %144, label %146, label %145

145:                                              ; preds = %142
  store i32 5, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #6
  br label %199

146:                                              ; preds = %142
  call void @llvm.lifetime.start.p0(i64 2, ptr %22) #6
  %147 = load i32, ptr %21, align 4, !tbaa !5
  %148 = trunc i32 %147 to i16
  %149 = call i16 @posit16_reinterpret(i16 noundef zeroext %148)
  %150 = getelementptr inbounds %union.posit16_u, ptr %22, i32 0, i32 0
  store i16 %149, ptr %150, align 2
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %9, ptr align 2 %22, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 2, ptr %22) #6
  call void @llvm.lifetime.start.p0(i64 2, ptr %23) #6
  %151 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %152 = load i16, ptr %151, align 2
  %153 = getelementptr inbounds %union.posit16_u, ptr %9, i32 0, i32 0
  %154 = load i16, ptr %153, align 2
  %155 = call i16 @posit16_add(i16 %152, i16 %154)
  %156 = getelementptr inbounds %union.posit16_u, ptr %23, i32 0, i32 0
  store i16 %155, ptr %156, align 2
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %10, ptr align 2 %23, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 2, ptr %23) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #6
  %157 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %158 = load i16, ptr %157, align 2
  %159 = call float @posit16_tof(i16 %158)
  store float %159, ptr %24, align 4, !tbaa !15
  %160 = getelementptr inbounds %union.posit16_u, ptr %9, i32 0, i32 0
  %161 = load i16, ptr %160, align 2
  %162 = call float @posit16_tof(i16 %161)
  store float %162, ptr %25, align 4, !tbaa !15
  %163 = load float, ptr %24, align 4, !tbaa !15
  %164 = load float, ptr %25, align 4, !tbaa !15
  %165 = fadd float %163, %164
  store float %165, ptr %26, align 4, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 2, ptr %27) #6
  %166 = load float, ptr %26, align 4, !tbaa !15
  %167 = call i16 @posit16_fromf(float noundef %166)
  %168 = getelementptr inbounds %union.posit16_u, ptr %27, i32 0, i32 0
  store i16 %167, ptr %168, align 2
  %169 = getelementptr inbounds %union.posit16_u, ptr %27, i32 0, i32 0
  %170 = load i16, ptr %169, align 2
  %171 = getelementptr inbounds %union.posit16_u, ptr %10, i32 0, i32 0
  %172 = load i16, ptr %171, align 2
  %173 = call i32 @posit16_cmp(i16 %170, i16 %172)
  %174 = icmp ne i32 %173, 0
  br i1 %174, label %175, label %195

175:                                              ; preds = %146
  %176 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %177 = load i16, ptr %176, align 2
  %178 = call zeroext i16 @posit16_bits(i16 %177)
  %179 = zext i16 %178 to i32
  %180 = getelementptr inbounds %union.posit16_u, ptr %9, i32 0, i32 0
  %181 = load i16, ptr %180, align 2
  %182 = call zeroext i16 @posit16_bits(i16 %181)
  %183 = zext i16 %182 to i32
  %184 = getelementptr inbounds %union.posit16_u, ptr %10, i32 0, i32 0
  %185 = load i16, ptr %184, align 2
  %186 = call zeroext i16 @posit16_bits(i16 %185)
  %187 = zext i16 %186 to i32
  %188 = getelementptr inbounds %union.posit16_u, ptr %27, i32 0, i32 0
  %189 = load i16, ptr %188, align 2
  %190 = call zeroext i16 @posit16_bits(i16 %189)
  %191 = zext i16 %190 to i32
  %192 = call i32 (ptr, ...) @printf(ptr noundef @.str.1, i32 noundef %179, i32 noundef %183, i32 noundef %187, i32 noundef %191)
  %193 = load i32, ptr %17, align 4, !tbaa !5
  %194 = add nsw i32 %193, 1
  store i32 %194, ptr %17, align 4, !tbaa !5
  br label %195

195:                                              ; preds = %175, %146
  call void @llvm.lifetime.end.p0(i64 2, ptr %27) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #6
  br label %196

196:                                              ; preds = %195
  %197 = load i32, ptr %21, align 4, !tbaa !5
  %198 = add nsw i32 %197, 1
  store i32 %198, ptr %21, align 4, !tbaa !5
  br label %142, !llvm.loop !17

199:                                              ; preds = %145
  br label %200

200:                                              ; preds = %199
  %201 = load i32, ptr %18, align 4, !tbaa !5
  %202 = add nsw i32 %201, 1
  store i32 %202, ptr %18, align 4, !tbaa !5
  br label %133, !llvm.loop !19

203:                                              ; preds = %136
  %204 = load i32, ptr %17, align 4, !tbaa !5
  %205 = icmp ne i32 %204, 0
  br i1 %205, label %206, label %208

206:                                              ; preds = %203
  %207 = call i32 (ptr, ...) @printf(ptr noundef @.str.2)
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %210

208:                                              ; preds = %203
  %209 = call i32 (ptr, ...) @printf(ptr noundef @.str.3)
  br label %210

210:                                              ; preds = %208, %206
  store i32 0, ptr %17, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #6
  store i32 0, ptr %28, align 4, !tbaa !5
  br label %211

211:                                              ; preds = %278, %210
  %212 = load i32, ptr %28, align 4, !tbaa !5
  %213 = icmp slt i32 %212, 512
  br i1 %213, label %215, label %214

214:                                              ; preds = %211
  store i32 8, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #6
  br label %281

215:                                              ; preds = %211
  call void @llvm.lifetime.start.p0(i64 2, ptr %29) #6
  %216 = load i32, ptr %28, align 4, !tbaa !5
  %217 = trunc i32 %216 to i16
  %218 = call i16 @posit16_reinterpret(i16 noundef zeroext %217)
  %219 = getelementptr inbounds %union.posit16_u, ptr %29, i32 0, i32 0
  store i16 %218, ptr %219, align 2
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %8, ptr align 2 %29, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 2, ptr %29) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #6
  store i32 0, ptr %30, align 4, !tbaa !5
  br label %220

220:                                              ; preds = %274, %215
  %221 = load i32, ptr %30, align 4, !tbaa !5
  %222 = icmp slt i32 %221, 512
  br i1 %222, label %224, label %223

223:                                              ; preds = %220
  store i32 11, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #6
  br label %277

224:                                              ; preds = %220
  call void @llvm.lifetime.start.p0(i64 2, ptr %31) #6
  %225 = load i32, ptr %30, align 4, !tbaa !5
  %226 = trunc i32 %225 to i16
  %227 = call i16 @posit16_reinterpret(i16 noundef zeroext %226)
  %228 = getelementptr inbounds %union.posit16_u, ptr %31, i32 0, i32 0
  store i16 %227, ptr %228, align 2
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %9, ptr align 2 %31, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 2, ptr %31) #6
  call void @llvm.lifetime.start.p0(i64 2, ptr %32) #6
  %229 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %230 = load i16, ptr %229, align 2
  %231 = getelementptr inbounds %union.posit16_u, ptr %9, i32 0, i32 0
  %232 = load i16, ptr %231, align 2
  %233 = call i16 @posit16_sub(i16 %230, i16 %232)
  %234 = getelementptr inbounds %union.posit16_u, ptr %32, i32 0, i32 0
  store i16 %233, ptr %234, align 2
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %10, ptr align 2 %32, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 2, ptr %32) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #6
  %235 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %236 = load i16, ptr %235, align 2
  %237 = call float @posit16_tof(i16 %236)
  store float %237, ptr %33, align 4, !tbaa !15
  %238 = getelementptr inbounds %union.posit16_u, ptr %9, i32 0, i32 0
  %239 = load i16, ptr %238, align 2
  %240 = call float @posit16_tof(i16 %239)
  store float %240, ptr %34, align 4, !tbaa !15
  %241 = load float, ptr %33, align 4, !tbaa !15
  %242 = load float, ptr %34, align 4, !tbaa !15
  %243 = fsub float %241, %242
  store float %243, ptr %35, align 4, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 2, ptr %36) #6
  %244 = load float, ptr %35, align 4, !tbaa !15
  %245 = call i16 @posit16_fromf(float noundef %244)
  %246 = getelementptr inbounds %union.posit16_u, ptr %36, i32 0, i32 0
  store i16 %245, ptr %246, align 2
  %247 = getelementptr inbounds %union.posit16_u, ptr %36, i32 0, i32 0
  %248 = load i16, ptr %247, align 2
  %249 = getelementptr inbounds %union.posit16_u, ptr %10, i32 0, i32 0
  %250 = load i16, ptr %249, align 2
  %251 = call i32 @posit16_cmp(i16 %248, i16 %250)
  %252 = icmp ne i32 %251, 0
  br i1 %252, label %253, label %273

253:                                              ; preds = %224
  %254 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %255 = load i16, ptr %254, align 2
  %256 = call zeroext i16 @posit16_bits(i16 %255)
  %257 = zext i16 %256 to i32
  %258 = getelementptr inbounds %union.posit16_u, ptr %9, i32 0, i32 0
  %259 = load i16, ptr %258, align 2
  %260 = call zeroext i16 @posit16_bits(i16 %259)
  %261 = zext i16 %260 to i32
  %262 = getelementptr inbounds %union.posit16_u, ptr %10, i32 0, i32 0
  %263 = load i16, ptr %262, align 2
  %264 = call zeroext i16 @posit16_bits(i16 %263)
  %265 = zext i16 %264 to i32
  %266 = getelementptr inbounds %union.posit16_u, ptr %36, i32 0, i32 0
  %267 = load i16, ptr %266, align 2
  %268 = call zeroext i16 @posit16_bits(i16 %267)
  %269 = zext i16 %268 to i32
  %270 = call i32 (ptr, ...) @printf(ptr noundef @.str.4, i32 noundef %257, i32 noundef %261, i32 noundef %265, i32 noundef %269)
  %271 = load i32, ptr %17, align 4, !tbaa !5
  %272 = add nsw i32 %271, 1
  store i32 %272, ptr %17, align 4, !tbaa !5
  br label %273

273:                                              ; preds = %253, %224
  call void @llvm.lifetime.end.p0(i64 2, ptr %36) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #6
  br label %274

274:                                              ; preds = %273
  %275 = load i32, ptr %30, align 4, !tbaa !5
  %276 = add nsw i32 %275, 1
  store i32 %276, ptr %30, align 4, !tbaa !5
  br label %220, !llvm.loop !20

277:                                              ; preds = %223
  br label %278

278:                                              ; preds = %277
  %279 = load i32, ptr %28, align 4, !tbaa !5
  %280 = add nsw i32 %279, 1
  store i32 %280, ptr %28, align 4, !tbaa !5
  br label %211, !llvm.loop !21

281:                                              ; preds = %214
  %282 = load i32, ptr %17, align 4, !tbaa !5
  %283 = icmp ne i32 %282, 0
  br i1 %283, label %284, label %286

284:                                              ; preds = %281
  %285 = call i32 (ptr, ...) @printf(ptr noundef @.str.5)
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %288

286:                                              ; preds = %281
  %287 = call i32 (ptr, ...) @printf(ptr noundef @.str.6)
  br label %288

288:                                              ; preds = %286, %284
  store i32 0, ptr %17, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #6
  store i32 0, ptr %37, align 4, !tbaa !5
  br label %289

289:                                              ; preds = %356, %288
  %290 = load i32, ptr %37, align 4, !tbaa !5
  %291 = icmp slt i32 %290, 512
  br i1 %291, label %293, label %292

292:                                              ; preds = %289
  store i32 14, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #6
  br label %359

293:                                              ; preds = %289
  call void @llvm.lifetime.start.p0(i64 2, ptr %38) #6
  %294 = load i32, ptr %37, align 4, !tbaa !5
  %295 = trunc i32 %294 to i16
  %296 = call i16 @posit16_reinterpret(i16 noundef zeroext %295)
  %297 = getelementptr inbounds %union.posit16_u, ptr %38, i32 0, i32 0
  store i16 %296, ptr %297, align 2
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %8, ptr align 2 %38, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 2, ptr %38) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #6
  store i32 0, ptr %39, align 4, !tbaa !5
  br label %298

298:                                              ; preds = %352, %293
  %299 = load i32, ptr %39, align 4, !tbaa !5
  %300 = icmp slt i32 %299, 512
  br i1 %300, label %302, label %301

301:                                              ; preds = %298
  store i32 17, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #6
  br label %355

302:                                              ; preds = %298
  call void @llvm.lifetime.start.p0(i64 2, ptr %40) #6
  %303 = load i32, ptr %39, align 4, !tbaa !5
  %304 = trunc i32 %303 to i16
  %305 = call i16 @posit16_reinterpret(i16 noundef zeroext %304)
  %306 = getelementptr inbounds %union.posit16_u, ptr %40, i32 0, i32 0
  store i16 %305, ptr %306, align 2
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %9, ptr align 2 %40, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 2, ptr %40) #6
  call void @llvm.lifetime.start.p0(i64 2, ptr %41) #6
  %307 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %308 = load i16, ptr %307, align 2
  %309 = getelementptr inbounds %union.posit16_u, ptr %9, i32 0, i32 0
  %310 = load i16, ptr %309, align 2
  %311 = call i16 @posit16_mul(i16 %308, i16 %310)
  %312 = getelementptr inbounds %union.posit16_u, ptr %41, i32 0, i32 0
  store i16 %311, ptr %312, align 2
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %10, ptr align 2 %41, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 2, ptr %41) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %43) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %44) #6
  %313 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %314 = load i16, ptr %313, align 2
  %315 = call float @posit16_tof(i16 %314)
  store float %315, ptr %42, align 4, !tbaa !15
  %316 = getelementptr inbounds %union.posit16_u, ptr %9, i32 0, i32 0
  %317 = load i16, ptr %316, align 2
  %318 = call float @posit16_tof(i16 %317)
  store float %318, ptr %43, align 4, !tbaa !15
  %319 = load float, ptr %42, align 4, !tbaa !15
  %320 = load float, ptr %43, align 4, !tbaa !15
  %321 = fmul float %319, %320
  store float %321, ptr %44, align 4, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 2, ptr %45) #6
  %322 = load float, ptr %44, align 4, !tbaa !15
  %323 = call i16 @posit16_fromf(float noundef %322)
  %324 = getelementptr inbounds %union.posit16_u, ptr %45, i32 0, i32 0
  store i16 %323, ptr %324, align 2
  %325 = getelementptr inbounds %union.posit16_u, ptr %45, i32 0, i32 0
  %326 = load i16, ptr %325, align 2
  %327 = getelementptr inbounds %union.posit16_u, ptr %10, i32 0, i32 0
  %328 = load i16, ptr %327, align 2
  %329 = call i32 @posit16_cmp(i16 %326, i16 %328)
  %330 = icmp ne i32 %329, 0
  br i1 %330, label %331, label %351

331:                                              ; preds = %302
  %332 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %333 = load i16, ptr %332, align 2
  %334 = call zeroext i16 @posit16_bits(i16 %333)
  %335 = zext i16 %334 to i32
  %336 = getelementptr inbounds %union.posit16_u, ptr %9, i32 0, i32 0
  %337 = load i16, ptr %336, align 2
  %338 = call zeroext i16 @posit16_bits(i16 %337)
  %339 = zext i16 %338 to i32
  %340 = getelementptr inbounds %union.posit16_u, ptr %10, i32 0, i32 0
  %341 = load i16, ptr %340, align 2
  %342 = call zeroext i16 @posit16_bits(i16 %341)
  %343 = zext i16 %342 to i32
  %344 = getelementptr inbounds %union.posit16_u, ptr %45, i32 0, i32 0
  %345 = load i16, ptr %344, align 2
  %346 = call zeroext i16 @posit16_bits(i16 %345)
  %347 = zext i16 %346 to i32
  %348 = call i32 (ptr, ...) @printf(ptr noundef @.str.7, i32 noundef %335, i32 noundef %339, i32 noundef %343, i32 noundef %347)
  %349 = load i32, ptr %17, align 4, !tbaa !5
  %350 = add nsw i32 %349, 1
  store i32 %350, ptr %17, align 4, !tbaa !5
  br label %351

351:                                              ; preds = %331, %302
  call void @llvm.lifetime.end.p0(i64 2, ptr %45) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #6
  br label %352

352:                                              ; preds = %351
  %353 = load i32, ptr %39, align 4, !tbaa !5
  %354 = add nsw i32 %353, 1
  store i32 %354, ptr %39, align 4, !tbaa !5
  br label %298, !llvm.loop !22

355:                                              ; preds = %301
  br label %356

356:                                              ; preds = %355
  %357 = load i32, ptr %37, align 4, !tbaa !5
  %358 = add nsw i32 %357, 1
  store i32 %358, ptr %37, align 4, !tbaa !5
  br label %289, !llvm.loop !23

359:                                              ; preds = %292
  %360 = load i32, ptr %17, align 4, !tbaa !5
  %361 = icmp ne i32 %360, 0
  br i1 %361, label %362, label %364

362:                                              ; preds = %359
  %363 = call i32 (ptr, ...) @printf(ptr noundef @.str.8)
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %366

364:                                              ; preds = %359
  %365 = call i32 (ptr, ...) @printf(ptr noundef @.str.9)
  br label %366

366:                                              ; preds = %364, %362
  store i32 0, ptr %17, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %46) #6
  store i32 0, ptr %46, align 4, !tbaa !5
  br label %367

367:                                              ; preds = %434, %366
  %368 = load i32, ptr %46, align 4, !tbaa !5
  %369 = icmp slt i32 %368, 512
  br i1 %369, label %371, label %370

370:                                              ; preds = %367
  store i32 20, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %46) #6
  br label %437

371:                                              ; preds = %367
  call void @llvm.lifetime.start.p0(i64 2, ptr %47) #6
  %372 = load i32, ptr %46, align 4, !tbaa !5
  %373 = trunc i32 %372 to i16
  %374 = call i16 @posit16_reinterpret(i16 noundef zeroext %373)
  %375 = getelementptr inbounds %union.posit16_u, ptr %47, i32 0, i32 0
  store i16 %374, ptr %375, align 2
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %8, ptr align 2 %47, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 2, ptr %47) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %48) #6
  store i32 0, ptr %48, align 4, !tbaa !5
  br label %376

376:                                              ; preds = %430, %371
  %377 = load i32, ptr %48, align 4, !tbaa !5
  %378 = icmp slt i32 %377, 512
  br i1 %378, label %380, label %379

379:                                              ; preds = %376
  store i32 23, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %48) #6
  br label %433

380:                                              ; preds = %376
  call void @llvm.lifetime.start.p0(i64 2, ptr %49) #6
  %381 = load i32, ptr %48, align 4, !tbaa !5
  %382 = trunc i32 %381 to i16
  %383 = call i16 @posit16_reinterpret(i16 noundef zeroext %382)
  %384 = getelementptr inbounds %union.posit16_u, ptr %49, i32 0, i32 0
  store i16 %383, ptr %384, align 2
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %9, ptr align 2 %49, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 2, ptr %49) #6
  call void @llvm.lifetime.start.p0(i64 2, ptr %50) #6
  %385 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %386 = load i16, ptr %385, align 2
  %387 = getelementptr inbounds %union.posit16_u, ptr %9, i32 0, i32 0
  %388 = load i16, ptr %387, align 2
  %389 = call i16 @posit16_div(i16 %386, i16 %388)
  %390 = getelementptr inbounds %union.posit16_u, ptr %50, i32 0, i32 0
  store i16 %389, ptr %390, align 2
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %10, ptr align 2 %50, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 2, ptr %50) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %51) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %52) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %53) #6
  %391 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %392 = load i16, ptr %391, align 2
  %393 = call float @posit16_tof(i16 %392)
  store float %393, ptr %51, align 4, !tbaa !15
  %394 = getelementptr inbounds %union.posit16_u, ptr %9, i32 0, i32 0
  %395 = load i16, ptr %394, align 2
  %396 = call float @posit16_tof(i16 %395)
  store float %396, ptr %52, align 4, !tbaa !15
  %397 = load float, ptr %51, align 4, !tbaa !15
  %398 = load float, ptr %52, align 4, !tbaa !15
  %399 = fdiv float %397, %398
  store float %399, ptr %53, align 4, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 2, ptr %54) #6
  %400 = load float, ptr %53, align 4, !tbaa !15
  %401 = call i16 @posit16_fromf(float noundef %400)
  %402 = getelementptr inbounds %union.posit16_u, ptr %54, i32 0, i32 0
  store i16 %401, ptr %402, align 2
  %403 = getelementptr inbounds %union.posit16_u, ptr %54, i32 0, i32 0
  %404 = load i16, ptr %403, align 2
  %405 = getelementptr inbounds %union.posit16_u, ptr %10, i32 0, i32 0
  %406 = load i16, ptr %405, align 2
  %407 = call i32 @posit16_cmp(i16 %404, i16 %406)
  %408 = icmp ne i32 %407, 0
  br i1 %408, label %409, label %429

409:                                              ; preds = %380
  %410 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %411 = load i16, ptr %410, align 2
  %412 = call zeroext i16 @posit16_bits(i16 %411)
  %413 = zext i16 %412 to i32
  %414 = getelementptr inbounds %union.posit16_u, ptr %9, i32 0, i32 0
  %415 = load i16, ptr %414, align 2
  %416 = call zeroext i16 @posit16_bits(i16 %415)
  %417 = zext i16 %416 to i32
  %418 = getelementptr inbounds %union.posit16_u, ptr %10, i32 0, i32 0
  %419 = load i16, ptr %418, align 2
  %420 = call zeroext i16 @posit16_bits(i16 %419)
  %421 = zext i16 %420 to i32
  %422 = getelementptr inbounds %union.posit16_u, ptr %54, i32 0, i32 0
  %423 = load i16, ptr %422, align 2
  %424 = call zeroext i16 @posit16_bits(i16 %423)
  %425 = zext i16 %424 to i32
  %426 = call i32 (ptr, ...) @printf(ptr noundef @.str.10, i32 noundef %413, i32 noundef %417, i32 noundef %421, i32 noundef %425)
  %427 = load i32, ptr %17, align 4, !tbaa !5
  %428 = add nsw i32 %427, 1
  store i32 %428, ptr %17, align 4, !tbaa !5
  br label %429

429:                                              ; preds = %409, %380
  call void @llvm.lifetime.end.p0(i64 2, ptr %54) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %53) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %52) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %51) #6
  br label %430

430:                                              ; preds = %429
  %431 = load i32, ptr %48, align 4, !tbaa !5
  %432 = add nsw i32 %431, 1
  store i32 %432, ptr %48, align 4, !tbaa !5
  br label %376, !llvm.loop !24

433:                                              ; preds = %379
  br label %434

434:                                              ; preds = %433
  %435 = load i32, ptr %46, align 4, !tbaa !5
  %436 = add nsw i32 %435, 1
  store i32 %436, ptr %46, align 4, !tbaa !5
  br label %367, !llvm.loop !25

437:                                              ; preds = %370
  %438 = load i32, ptr %17, align 4, !tbaa !5
  %439 = icmp ne i32 %438, 0
  br i1 %439, label %440, label %442

440:                                              ; preds = %437
  %441 = call i32 (ptr, ...) @printf(ptr noundef @.str.11)
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %444

442:                                              ; preds = %437
  %443 = call i32 (ptr, ...) @printf(ptr noundef @.str.12)
  br label %444

444:                                              ; preds = %442, %440
  store i32 0, ptr %17, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %55) #6
  store i32 0, ptr %55, align 4, !tbaa !5
  br label %445

445:                                              ; preds = %489, %444
  %446 = load i32, ptr %55, align 4, !tbaa !5
  %447 = icmp slt i32 %446, 65536
  br i1 %447, label %449, label %448

448:                                              ; preds = %445
  store i32 26, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %55) #6
  br label %492

449:                                              ; preds = %445
  call void @llvm.lifetime.start.p0(i64 2, ptr %56) #6
  %450 = load i32, ptr %55, align 4, !tbaa !5
  %451 = trunc i32 %450 to i16
  %452 = call i16 @posit16_reinterpret(i16 noundef zeroext %451)
  %453 = getelementptr inbounds %union.posit16_u, ptr %56, i32 0, i32 0
  store i16 %452, ptr %453, align 2
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %8, ptr align 2 %56, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 2, ptr %56) #6
  call void @llvm.lifetime.start.p0(i64 2, ptr %57) #6
  %454 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %455 = load i16, ptr %454, align 2
  %456 = call i16 @posit16_sqrt(i16 %455)
  %457 = getelementptr inbounds %union.posit16_u, ptr %57, i32 0, i32 0
  store i16 %456, ptr %457, align 2
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %10, ptr align 2 %57, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 2, ptr %57) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %58) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %59) #6
  %458 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %459 = load i16, ptr %458, align 2
  %460 = call double @posit16_tod(i16 %459)
  store double %460, ptr %58, align 8, !tbaa !26
  %461 = load double, ptr %58, align 8, !tbaa !26
  %462 = call double @sqrt(double noundef %461) #6
  store double %462, ptr %59, align 8, !tbaa !26
  call void @llvm.lifetime.start.p0(i64 2, ptr %60) #6
  %463 = load double, ptr %59, align 8, !tbaa !26
  %464 = call i16 @posit16_fromd(double noundef %463)
  %465 = getelementptr inbounds %union.posit16_u, ptr %60, i32 0, i32 0
  store i16 %464, ptr %465, align 2
  %466 = getelementptr inbounds %union.posit16_u, ptr %60, i32 0, i32 0
  %467 = load i16, ptr %466, align 2
  %468 = getelementptr inbounds %union.posit16_u, ptr %10, i32 0, i32 0
  %469 = load i16, ptr %468, align 2
  %470 = call i32 @posit16_cmp(i16 %467, i16 %469)
  %471 = icmp ne i32 %470, 0
  br i1 %471, label %472, label %488

472:                                              ; preds = %449
  %473 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %474 = load i16, ptr %473, align 2
  %475 = call zeroext i16 @posit16_bits(i16 %474)
  %476 = zext i16 %475 to i32
  %477 = getelementptr inbounds %union.posit16_u, ptr %10, i32 0, i32 0
  %478 = load i16, ptr %477, align 2
  %479 = call zeroext i16 @posit16_bits(i16 %478)
  %480 = zext i16 %479 to i32
  %481 = getelementptr inbounds %union.posit16_u, ptr %60, i32 0, i32 0
  %482 = load i16, ptr %481, align 2
  %483 = call zeroext i16 @posit16_bits(i16 %482)
  %484 = zext i16 %483 to i32
  %485 = call i32 (ptr, ...) @printf(ptr noundef @.str.13, i32 noundef %476, i32 noundef %480, i32 noundef %484)
  %486 = load i32, ptr %17, align 4, !tbaa !5
  %487 = add nsw i32 %486, 1
  store i32 %487, ptr %17, align 4, !tbaa !5
  br label %488

488:                                              ; preds = %472, %449
  call void @llvm.lifetime.end.p0(i64 2, ptr %60) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %58) #6
  br label %489

489:                                              ; preds = %488
  %490 = load i32, ptr %55, align 4, !tbaa !5
  %491 = add nsw i32 %490, 1
  store i32 %491, ptr %55, align 4, !tbaa !5
  br label %445, !llvm.loop !28

492:                                              ; preds = %448
  %493 = load i32, ptr %17, align 4, !tbaa !5
  %494 = icmp ne i32 %493, 0
  br i1 %494, label %495, label %497

495:                                              ; preds = %492
  %496 = call i32 (ptr, ...) @printf(ptr noundef @.str.14)
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %499

497:                                              ; preds = %492
  %498 = call i32 (ptr, ...) @printf(ptr noundef @.str.15)
  br label %499

499:                                              ; preds = %497, %495
  store i32 0, ptr %17, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %61) #6
  store i32 0, ptr %61, align 4, !tbaa !5
  br label %500

500:                                              ; preds = %548, %499
  %501 = load i32, ptr %61, align 4, !tbaa !5
  %502 = icmp slt i32 %501, 65536
  br i1 %502, label %504, label %503

503:                                              ; preds = %500
  store i32 29, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %61) #6
  br label %551

504:                                              ; preds = %500
  call void @llvm.lifetime.start.p0(i64 2, ptr %62) #6
  %505 = load i32, ptr %61, align 4, !tbaa !5
  %506 = trunc i32 %505 to i16
  %507 = call i16 @posit16_reinterpret(i16 noundef zeroext %506)
  %508 = getelementptr inbounds %union.posit16_u, ptr %62, i32 0, i32 0
  store i16 %507, ptr %508, align 2
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %8, ptr align 2 %62, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 2, ptr %62) #6
  call void @llvm.lifetime.start.p0(i64 2, ptr %63) #6
  %509 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %510 = load i16, ptr %509, align 2
  %511 = call i16 @posit16_exp(i16 %510)
  %512 = getelementptr inbounds %union.posit16_u, ptr %63, i32 0, i32 0
  store i16 %511, ptr %512, align 2
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %10, ptr align 2 %63, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 2, ptr %63) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %64) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %65) #6
  %513 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %514 = load i16, ptr %513, align 2
  %515 = call double @posit16_tod(i16 %514)
  store double %515, ptr %64, align 8, !tbaa !26
  %516 = load double, ptr %64, align 8, !tbaa !26
  %517 = call double @exp(double noundef %516) #6
  store double %517, ptr %65, align 8, !tbaa !26
  call void @llvm.lifetime.start.p0(i64 2, ptr %66) #6
  %518 = load double, ptr %65, align 8, !tbaa !26
  %519 = call i16 @posit16_fromd(double noundef %518)
  %520 = getelementptr inbounds %union.posit16_u, ptr %66, i32 0, i32 0
  store i16 %519, ptr %520, align 2
  %521 = getelementptr inbounds %union.posit16_u, ptr %66, i32 0, i32 0
  %522 = load i16, ptr %521, align 2
  %523 = getelementptr inbounds %union.posit16_u, ptr %10, i32 0, i32 0
  %524 = load i16, ptr %523, align 2
  %525 = call i32 @posit16_cmp(i16 %522, i16 %524)
  %526 = icmp ne i32 %525, 0
  br i1 %526, label %527, label %547

527:                                              ; preds = %504
  %528 = load double, ptr %65, align 8, !tbaa !26
  %529 = fcmp ogt double %528, 0.000000e+00
  br i1 %529, label %530, label %546

530:                                              ; preds = %527
  %531 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %532 = load i16, ptr %531, align 2
  %533 = call zeroext i16 @posit16_bits(i16 %532)
  %534 = zext i16 %533 to i32
  %535 = getelementptr inbounds %union.posit16_u, ptr %10, i32 0, i32 0
  %536 = load i16, ptr %535, align 2
  %537 = call zeroext i16 @posit16_bits(i16 %536)
  %538 = zext i16 %537 to i32
  %539 = getelementptr inbounds %union.posit16_u, ptr %66, i32 0, i32 0
  %540 = load i16, ptr %539, align 2
  %541 = call zeroext i16 @posit16_bits(i16 %540)
  %542 = zext i16 %541 to i32
  %543 = call i32 (ptr, ...) @printf(ptr noundef @.str.16, i32 noundef %534, i32 noundef %538, i32 noundef %542)
  %544 = load i32, ptr %17, align 4, !tbaa !5
  %545 = add nsw i32 %544, 1
  store i32 %545, ptr %17, align 4, !tbaa !5
  br label %546

546:                                              ; preds = %530, %527
  br label %547

547:                                              ; preds = %546, %504
  call void @llvm.lifetime.end.p0(i64 2, ptr %66) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %65) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %64) #6
  br label %548

548:                                              ; preds = %547
  %549 = load i32, ptr %61, align 4, !tbaa !5
  %550 = add nsw i32 %549, 1
  store i32 %550, ptr %61, align 4, !tbaa !5
  br label %500, !llvm.loop !29

551:                                              ; preds = %503
  %552 = load i32, ptr %17, align 4, !tbaa !5
  %553 = icmp ne i32 %552, 0
  br i1 %553, label %554, label %556

554:                                              ; preds = %551
  %555 = call i32 (ptr, ...) @printf(ptr noundef @.str.17)
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %558

556:                                              ; preds = %551
  %557 = call i32 (ptr, ...) @printf(ptr noundef @.str.18)
  br label %558

558:                                              ; preds = %556, %554
  store i32 0, ptr %17, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %67) #6
  store i32 0, ptr %67, align 4, !tbaa !5
  br label %559

559:                                              ; preds = %603, %558
  %560 = load i32, ptr %67, align 4, !tbaa !5
  %561 = icmp slt i32 %560, 65536
  br i1 %561, label %563, label %562

562:                                              ; preds = %559
  store i32 32, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %67) #6
  br label %606

563:                                              ; preds = %559
  call void @llvm.lifetime.start.p0(i64 2, ptr %68) #6
  %564 = load i32, ptr %67, align 4, !tbaa !5
  %565 = trunc i32 %564 to i16
  %566 = call i16 @posit16_reinterpret(i16 noundef zeroext %565)
  %567 = getelementptr inbounds %union.posit16_u, ptr %68, i32 0, i32 0
  store i16 %566, ptr %567, align 2
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %8, ptr align 2 %68, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 2, ptr %68) #6
  call void @llvm.lifetime.start.p0(i64 2, ptr %69) #6
  %568 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %569 = load i16, ptr %568, align 2
  %570 = call i16 @posit16_log(i16 %569)
  %571 = getelementptr inbounds %union.posit16_u, ptr %69, i32 0, i32 0
  store i16 %570, ptr %571, align 2
  call void @llvm.memcpy.p0.p0.i64(ptr align 2 %10, ptr align 2 %69, i64 2, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 2, ptr %69) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %70) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %71) #6
  %572 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %573 = load i16, ptr %572, align 2
  %574 = call double @posit16_tod(i16 %573)
  store double %574, ptr %70, align 8, !tbaa !26
  %575 = load double, ptr %70, align 8, !tbaa !26
  %576 = call double @log(double noundef %575) #6
  store double %576, ptr %71, align 8, !tbaa !26
  call void @llvm.lifetime.start.p0(i64 2, ptr %72) #6
  %577 = load double, ptr %71, align 8, !tbaa !26
  %578 = call i16 @posit16_fromd(double noundef %577)
  %579 = getelementptr inbounds %union.posit16_u, ptr %72, i32 0, i32 0
  store i16 %578, ptr %579, align 2
  %580 = getelementptr inbounds %union.posit16_u, ptr %72, i32 0, i32 0
  %581 = load i16, ptr %580, align 2
  %582 = getelementptr inbounds %union.posit16_u, ptr %10, i32 0, i32 0
  %583 = load i16, ptr %582, align 2
  %584 = call i32 @posit16_cmp(i16 %581, i16 %583)
  %585 = icmp ne i32 %584, 0
  br i1 %585, label %586, label %602

586:                                              ; preds = %563
  %587 = getelementptr inbounds %union.posit16_u, ptr %8, i32 0, i32 0
  %588 = load i16, ptr %587, align 2
  %589 = call zeroext i16 @posit16_bits(i16 %588)
  %590 = zext i16 %589 to i32
  %591 = getelementptr inbounds %union.posit16_u, ptr %10, i32 0, i32 0
  %592 = load i16, ptr %591, align 2
  %593 = call zeroext i16 @posit16_bits(i16 %592)
  %594 = zext i16 %593 to i32
  %595 = getelementptr inbounds %union.posit16_u, ptr %72, i32 0, i32 0
  %596 = load i16, ptr %595, align 2
  %597 = call zeroext i16 @posit16_bits(i16 %596)
  %598 = zext i16 %597 to i32
  %599 = call i32 (ptr, ...) @printf(ptr noundef @.str.19, i32 noundef %590, i32 noundef %594, i32 noundef %598)
  %600 = load i32, ptr %17, align 4, !tbaa !5
  %601 = add nsw i32 %600, 1
  store i32 %601, ptr %17, align 4, !tbaa !5
  br label %602

602:                                              ; preds = %586, %563
  call void @llvm.lifetime.end.p0(i64 2, ptr %72) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %71) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %70) #6
  br label %603

603:                                              ; preds = %602
  %604 = load i32, ptr %67, align 4, !tbaa !5
  %605 = add nsw i32 %604, 1
  store i32 %605, ptr %67, align 4, !tbaa !5
  br label %559, !llvm.loop !30

606:                                              ; preds = %562
  %607 = load i32, ptr %17, align 4, !tbaa !5
  %608 = icmp ne i32 %607, 0
  br i1 %608, label %609, label %611

609:                                              ; preds = %606
  %610 = call i32 (ptr, ...) @printf(ptr noundef @.str.20)
  store i8 1, ptr %12, align 1, !tbaa !11
  br label %613

611:                                              ; preds = %606
  %612 = call i32 (ptr, ...) @printf(ptr noundef @.str.21)
  br label %613

613:                                              ; preds = %611, %609
  %614 = load i8, ptr %12, align 1, !tbaa !11, !range !31, !noundef !32
  %615 = trunc i8 %614 to i1
  %616 = zext i1 %615 to i32
  %617 = icmp sgt i32 %616, 0
  %618 = zext i1 %617 to i64
  %619 = select i1 %617, i32 1, i32 0
  store i32 %619, ptr %3, align 4
  store i32 1, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %12) #6
  call void @llvm.lifetime.end.p0(i64 22, ptr %11) #6
  call void @llvm.lifetime.end.p0(i64 2, ptr %10) #6
  call void @llvm.lifetime.end.p0(i64 2, ptr %9) #6
  call void @llvm.lifetime.end.p0(i64 2, ptr %8) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #6
  %620 = load i32, ptr %3, align 4
  ret i32 %620
}

; 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 nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i16 @posit16_add(i16, i16) #3

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

declare void @posit16_str(ptr noundef, i16) #4

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i16 @posit16_bits(i16) #3

; Function Attrs: inlinehint nounwind uwtable
declare hidden i16 @posit16_sub(i16, i16) #3

; Function Attrs: inlinehint nounwind uwtable
declare hidden i16 @posit16_mul(i16, i16) #3

; Function Attrs: inlinehint nounwind uwtable
declare hidden i16 @posit16_div(i16, i16) #3

; Function Attrs: inlinehint nounwind uwtable
declare hidden i16 @posit16_reinterpret(i16 noundef zeroext) #3

declare float @posit16_tof(i16) #4

declare i16 @posit16_fromf(float noundef) #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @posit16_cmp(i16, i16) #3

declare i16 @posit16_sqrt(i16) #4

declare double @posit16_tod(i16) #4

; Function Attrs: nounwind
declare double @sqrt(double noundef) #5

declare i16 @posit16_fromd(double noundef) #4

declare i16 @posit16_exp(i16) #4

; Function Attrs: nounwind
declare double @exp(double noundef) #5

declare i16 @posit16_log(i16) #4

; Function Attrs: nounwind
declare double @log(double noundef) #5

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #3 = { inlinehint nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nounwind "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 = { 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/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"_Bool", !7, i64 0}
!13 = !{i64 0, i64 2, !14}
!14 = !{!7, !7, i64 0}
!15 = !{!16, !16, i64 0}
!16 = !{!"float", !7, i64 0}
!17 = distinct !{!17, !18}
!18 = !{!"llvm.loop.mustprogress"}
!19 = distinct !{!19, !18}
!20 = distinct !{!20, !18}
!21 = distinct !{!21, !18}
!22 = distinct !{!22, !18}
!23 = distinct !{!23, !18}
!24 = distinct !{!24, !18}
!25 = distinct !{!25, !18}
!26 = !{!27, !27, i64 0}
!27 = !{!"double", !7, i64 0}
!28 = distinct !{!28, !18}
!29 = distinct !{!29, !18}
!30 = distinct !{!30, !18}
!31 = !{i8 0, i8 2}
!32 = !{}


; 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 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [73 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [73 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [73 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [73 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [66 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [65 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [65 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [22 x i8], align 1
@NAR16 = external hidden local_unnamed_addr constant { [2 x i8] }, align 2
@ZERO16 = external hidden local_unnamed_addr constant { [2 x i8] }, align 2

; Function Attrs: nounwind uwtable
define dso_local range(i32 0, 2) i32 @main(i32 noundef %0, ptr nocapture noundef readnone %1) local_unnamed_addr #0 {
  %3 = alloca [22 x i8], align 16
  call void @llvm.lifetime.start.p0(i64 22, ptr nonnull %3) #6
  %.sroa.0143.0.copyload = load i16, ptr @NAR16, align 2, !tbaa !5
  %.sroa.0124.0.copyload = load i16, ptr @ZERO16, align 2, !tbaa !5
  %4 = tail call i16 @posit16_add(i16 %.sroa.0143.0.copyload, i16 %.sroa.0124.0.copyload)
  call void @posit16_str(ptr noundef nonnull %3, i16 %4) #6
  %5 = call zeroext i16 @posit16_bits(i16 %4)
  %6 = zext i16 %5 to i32
  %7 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str, ptr noundef nonnull %3, i32 noundef %6)
  %8 = call i16 @posit16_sub(i16 %.sroa.0143.0.copyload, i16 %.sroa.0124.0.copyload)
  call void @posit16_str(ptr noundef nonnull %3, i16 %8) #6
  %9 = call zeroext i16 @posit16_bits(i16 %8)
  %10 = zext i16 %9 to i32
  %11 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str, ptr noundef nonnull %3, i32 noundef %10)
  %12 = call i16 @posit16_mul(i16 %.sroa.0143.0.copyload, i16 %.sroa.0124.0.copyload)
  call void @posit16_str(ptr noundef nonnull %3, i16 %12) #6
  %13 = call zeroext i16 @posit16_bits(i16 %12)
  %14 = zext i16 %13 to i32
  %15 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str, ptr noundef nonnull %3, i32 noundef %14)
  %16 = call i16 @posit16_div(i16 %.sroa.0143.0.copyload, i16 %.sroa.0124.0.copyload)
  call void @posit16_str(ptr noundef nonnull %3, i16 %16) #6
  %17 = call zeroext i16 @posit16_bits(i16 %16)
  %18 = zext i16 %17 to i32
  %19 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str, ptr noundef nonnull %3, i32 noundef %18)
  br label %22

20:                                               ; preds = %25
  %.not = icmp ne i32 %.2175, 0
  %.str.2..str.3 = select i1 %.not, ptr @.str.2, ptr @.str.3
  %21 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) %.str.2..str.3)
  br label %50

22:                                               ; preds = %2, %25
  %.0173205 = phi i32 [ 0, %2 ], [ %.2175, %25 ]
  %.0180204 = phi i32 [ 0, %2 ], [ %26, %25 ]
  %23 = trunc nuw i32 %.0180204 to i16
  %24 = call i16 @posit16_reinterpret(i16 noundef zeroext %23)
  br label %27

25:                                               ; preds = %47
  %26 = add nuw nsw i32 %.0180204, 1
  %exitcond224.not = icmp eq i32 %26, 512
  br i1 %exitcond224.not, label %20, label %22, !llvm.loop !8

27:                                               ; preds = %22, %47
  %.1174203 = phi i32 [ %.0173205, %22 ], [ %.2175, %47 ]
  %.0181202 = phi i32 [ 0, %22 ], [ %48, %47 ]
  %28 = trunc nuw i32 %.0181202 to i16
  %29 = call i16 @posit16_reinterpret(i16 noundef zeroext %28)
  %30 = call i16 @posit16_add(i16 %24, i16 %29)
  %31 = call float @posit16_tof(i16 %24) #6
  %32 = call float @posit16_tof(i16 %29) #6
  %33 = fadd float %31, %32
  %34 = call i16 @posit16_fromf(float noundef %33) #6
  %35 = call i32 @posit16_cmp(i16 %34, i16 %30)
  %.not201 = icmp eq i32 %35, 0
  br i1 %.not201, label %47, label %36

36:                                               ; preds = %27
  %37 = call zeroext i16 @posit16_bits(i16 %24)
  %38 = zext i16 %37 to i32
  %39 = call zeroext i16 @posit16_bits(i16 %29)
  %40 = zext i16 %39 to i32
  %41 = call zeroext i16 @posit16_bits(i16 %30)
  %42 = zext i16 %41 to i32
  %43 = call zeroext i16 @posit16_bits(i16 %34)
  %44 = zext i16 %43 to i32
  %45 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.1, i32 noundef %38, i32 noundef %40, i32 noundef %42, i32 noundef %44)
  %46 = add nsw i32 %.1174203, 1
  br label %47

47:                                               ; preds = %36, %27
  %.2175 = phi i32 [ %46, %36 ], [ %.1174203, %27 ]
  %48 = add nuw nsw i32 %.0181202, 1
  %exitcond.not = icmp eq i32 %48, 512
  br i1 %exitcond.not, label %25, label %27, !llvm.loop !10

49:                                               ; preds = %53
  %.not190 = icmp eq i32 %.5178, 0
  br i1 %.not190, label %79, label %77

50:                                               ; preds = %20, %53
  %.3176209 = phi i32 [ 0, %20 ], [ %.5178, %53 ]
  %.0182208 = phi i32 [ 0, %20 ], [ %54, %53 ]
  %51 = trunc nuw i32 %.0182208 to i16
  %52 = call i16 @posit16_reinterpret(i16 noundef zeroext %51)
  br label %55

53:                                               ; preds = %75
  %54 = add nuw nsw i32 %.0182208, 1
  %exitcond226.not = icmp eq i32 %54, 512
  br i1 %exitcond226.not, label %49, label %50, !llvm.loop !11

55:                                               ; preds = %50, %75
  %.4177207 = phi i32 [ %.3176209, %50 ], [ %.5178, %75 ]
  %.0184206 = phi i32 [ 0, %50 ], [ %76, %75 ]
  %56 = trunc nuw i32 %.0184206 to i16
  %57 = call i16 @posit16_reinterpret(i16 noundef zeroext %56)
  %58 = call i16 @posit16_sub(i16 %52, i16 %57)
  %59 = call float @posit16_tof(i16 %52) #6
  %60 = call float @posit16_tof(i16 %57) #6
  %61 = fsub float %59, %60
  %62 = call i16 @posit16_fromf(float noundef %61) #6
  %63 = call i32 @posit16_cmp(i16 %62, i16 %58)
  %.not200 = icmp eq i32 %63, 0
  br i1 %.not200, label %75, label %64

64:                                               ; preds = %55
  %65 = call zeroext i16 @posit16_bits(i16 %52)
  %66 = zext i16 %65 to i32
  %67 = call zeroext i16 @posit16_bits(i16 %57)
  %68 = zext i16 %67 to i32
  %69 = call zeroext i16 @posit16_bits(i16 %58)
  %70 = zext i16 %69 to i32
  %71 = call zeroext i16 @posit16_bits(i16 %62)
  %72 = zext i16 %71 to i32
  %73 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.4, i32 noundef %66, i32 noundef %68, i32 noundef %70, i32 noundef %72)
  %74 = add nsw i32 %.4177207, 1
  br label %75

75:                                               ; preds = %64, %55
  %.5178 = phi i32 [ %74, %64 ], [ %.4177207, %55 ]
  %76 = add nuw nsw i32 %.0184206, 1
  %exitcond225.not = icmp eq i32 %76, 512
  br i1 %exitcond225.not, label %53, label %55, !llvm.loop !12

77:                                               ; preds = %49
  %78 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.5)
  br label %82

79:                                               ; preds = %49
  %80 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.6)
  %81 = zext i1 %.not to i32
  br label %82

82:                                               ; preds = %79, %77
  %.1 = phi i32 [ 1, %77 ], [ %81, %79 ]
  br label %85

83:                                               ; preds = %88
  %.not191 = icmp eq i32 %.8, 0
  %.str.9..str.8 = select i1 %.not191, ptr @.str.9, ptr @.str.8
  %84 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) %.str.9..str.8)
  br label %114

85:                                               ; preds = %82, %88
  %.6179213 = phi i32 [ 0, %82 ], [ %.8, %88 ]
  %.0185212 = phi i32 [ 0, %82 ], [ %89, %88 ]
  %86 = trunc nuw i32 %.0185212 to i16
  %87 = call i16 @posit16_reinterpret(i16 noundef zeroext %86)
  br label %90

88:                                               ; preds = %110
  %89 = add nuw nsw i32 %.0185212, 1
  %exitcond228.not = icmp eq i32 %89, 512
  br i1 %exitcond228.not, label %83, label %85, !llvm.loop !13

90:                                               ; preds = %85, %110
  %.7211 = phi i32 [ %.6179213, %85 ], [ %.8, %110 ]
  %.0186210 = phi i32 [ 0, %85 ], [ %111, %110 ]
  %91 = trunc nuw i32 %.0186210 to i16
  %92 = call i16 @posit16_reinterpret(i16 noundef zeroext %91)
  %93 = call i16 @posit16_mul(i16 %87, i16 %92)
  %94 = call float @posit16_tof(i16 %87) #6
  %95 = call float @posit16_tof(i16 %92) #6
  %96 = fmul float %94, %95
  %97 = call i16 @posit16_fromf(float noundef %96) #6
  %98 = call i32 @posit16_cmp(i16 %97, i16 %93)
  %.not199 = icmp eq i32 %98, 0
  br i1 %.not199, label %110, label %99

99:                                               ; preds = %90
  %100 = call zeroext i16 @posit16_bits(i16 %87)
  %101 = zext i16 %100 to i32
  %102 = call zeroext i16 @posit16_bits(i16 %92)
  %103 = zext i16 %102 to i32
  %104 = call zeroext i16 @posit16_bits(i16 %93)
  %105 = zext i16 %104 to i32
  %106 = call zeroext i16 @posit16_bits(i16 %97)
  %107 = zext i16 %106 to i32
  %108 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.7, i32 noundef %101, i32 noundef %103, i32 noundef %105, i32 noundef %107)
  %109 = add nsw i32 %.7211, 1
  br label %110

110:                                              ; preds = %99, %90
  %.8 = phi i32 [ %109, %99 ], [ %.7211, %90 ]
  %111 = add nuw nsw i32 %.0186210, 1
  %exitcond227.not = icmp eq i32 %111, 512
  br i1 %exitcond227.not, label %88, label %90, !llvm.loop !14

112:                                              ; preds = %117
  %.not192 = icmp eq i32 %.11, 0
  %.str.12..str.11 = select i1 %.not192, ptr @.str.12, ptr @.str.11
  %113 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) %.str.12..str.11)
  br label %143

114:                                              ; preds = %83, %117
  %.9217 = phi i32 [ 0, %83 ], [ %.11, %117 ]
  %.0187216 = phi i32 [ 0, %83 ], [ %118, %117 ]
  %115 = trunc nuw i32 %.0187216 to i16
  %116 = call i16 @posit16_reinterpret(i16 noundef zeroext %115)
  br label %119

117:                                              ; preds = %139
  %118 = add nuw nsw i32 %.0187216, 1
  %exitcond230.not = icmp eq i32 %118, 512
  br i1 %exitcond230.not, label %112, label %114, !llvm.loop !15

119:                                              ; preds = %114, %139
  %.10215 = phi i32 [ %.9217, %114 ], [ %.11, %139 ]
  %.0188214 = phi i32 [ 0, %114 ], [ %140, %139 ]
  %120 = trunc nuw i32 %.0188214 to i16
  %121 = call i16 @posit16_reinterpret(i16 noundef zeroext %120)
  %122 = call i16 @posit16_div(i16 %116, i16 %121)
  %123 = call float @posit16_tof(i16 %116) #6
  %124 = call float @posit16_tof(i16 %121) #6
  %125 = fdiv float %123, %124
  %126 = call i16 @posit16_fromf(float noundef %125) #6
  %127 = call i32 @posit16_cmp(i16 %126, i16 %122)
  %.not198 = icmp eq i32 %127, 0
  br i1 %.not198, label %139, label %128

128:                                              ; preds = %119
  %129 = call zeroext i16 @posit16_bits(i16 %116)
  %130 = zext i16 %129 to i32
  %131 = call zeroext i16 @posit16_bits(i16 %121)
  %132 = zext i16 %131 to i32
  %133 = call zeroext i16 @posit16_bits(i16 %122)
  %134 = zext i16 %133 to i32
  %135 = call zeroext i16 @posit16_bits(i16 %126)
  %136 = zext i16 %135 to i32
  %137 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.10, i32 noundef %130, i32 noundef %132, i32 noundef %134, i32 noundef %136)
  %138 = add nsw i32 %.10215, 1
  br label %139

139:                                              ; preds = %128, %119
  %.11 = phi i32 [ %138, %128 ], [ %.10215, %119 ]
  %140 = add nuw nsw i32 %.0188214, 1
  %exitcond229.not = icmp eq i32 %140, 512
  br i1 %exitcond229.not, label %117, label %119, !llvm.loop !16

141:                                              ; preds = %160
  %.not193 = icmp eq i32 %.13, 0
  %.str.15..str.14 = select i1 %.not193, ptr @.str.15, ptr @.str.14
  %142 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) %.str.15..str.14)
  br label %164

143:                                              ; preds = %112, %160
  %.12219 = phi i32 [ 0, %112 ], [ %.13, %160 ]
  %.0189218 = phi i32 [ 0, %112 ], [ %161, %160 ]
  %144 = trunc nuw i32 %.0189218 to i16
  %145 = call i16 @posit16_reinterpret(i16 noundef zeroext %144)
  %146 = call i16 @posit16_sqrt(i16 %145) #6
  %147 = call double @posit16_tod(i16 %145) #6
  %148 = call double @sqrt(double noundef %147) #6
  %149 = call i16 @posit16_fromd(double noundef %148) #6
  %150 = call i32 @posit16_cmp(i16 %149, i16 %146)
  %.not197 = icmp eq i32 %150, 0
  br i1 %.not197, label %160, label %151

151:                                              ; preds = %143
  %152 = call zeroext i16 @posit16_bits(i16 %145)
  %153 = zext i16 %152 to i32
  %154 = call zeroext i16 @posit16_bits(i16 %146)
  %155 = zext i16 %154 to i32
  %156 = call zeroext i16 @posit16_bits(i16 %149)
  %157 = zext i16 %156 to i32
  %158 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.13, i32 noundef %153, i32 noundef %155, i32 noundef %157)
  %159 = add nsw i32 %.12219, 1
  br label %160

160:                                              ; preds = %151, %143
  %.13 = phi i32 [ %159, %151 ], [ %.12219, %143 ]
  %161 = add nuw nsw i32 %.0189218, 1
  %exitcond231.not = icmp eq i32 %161, 65536
  br i1 %exitcond231.not, label %141, label %143, !llvm.loop !17

162:                                              ; preds = %183
  %.not194 = icmp eq i32 %.15, 0
  %.str.18..str.17 = select i1 %.not194, ptr @.str.18, ptr @.str.17
  %163 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) %.str.18..str.17)
  br label %193

164:                                              ; preds = %141, %183
  %.14221 = phi i32 [ 0, %141 ], [ %.15, %183 ]
  %.0183220 = phi i32 [ 0, %141 ], [ %184, %183 ]
  %165 = trunc nuw i32 %.0183220 to i16
  %166 = call i16 @posit16_reinterpret(i16 noundef zeroext %165)
  %167 = call i16 @posit16_exp(i16 %166) #6
  %168 = call double @posit16_tod(i16 %166) #6
  %169 = call double @exp(double noundef %168) #6
  %170 = call i16 @posit16_fromd(double noundef %169) #6
  %171 = call i32 @posit16_cmp(i16 %170, i16 %167)
  %172 = icmp ne i32 %171, 0
  %173 = fcmp ogt double %169, 0.000000e+00
  %or.cond = and i1 %173, %172
  br i1 %or.cond, label %174, label %183

174:                                              ; preds = %164
  %175 = call zeroext i16 @posit16_bits(i16 %166)
  %176 = zext i16 %175 to i32
  %177 = call zeroext i16 @posit16_bits(i16 %167)
  %178 = zext i16 %177 to i32
  %179 = call zeroext i16 @posit16_bits(i16 %170)
  %180 = zext i16 %179 to i32
  %181 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.16, i32 noundef %176, i32 noundef %178, i32 noundef %180)
  %182 = add nsw i32 %.14221, 1
  br label %183

183:                                              ; preds = %174, %164
  %.15 = phi i32 [ %182, %174 ], [ %.14221, %164 ]
  %184 = add nuw nsw i32 %.0183220, 1
  %exitcond232.not = icmp eq i32 %184, 65536
  br i1 %exitcond232.not, label %162, label %164, !llvm.loop !18

185:                                              ; preds = %210
  %186 = or i32 %.11, %.8
  %187 = icmp eq i32 %186, 0
  %188 = or i32 %.15, %.13
  %189 = icmp eq i32 %188, 0
  %.not195 = icmp eq i32 %.17, 0
  %.str.21..str.20 = select i1 %.not195, ptr @.str.21, ptr @.str.20
  %190 = select i1 %.not195, i1 %189, i1 false
  %191 = select i1 %190, i1 %187, i1 false
  %.1..... = select i1 %191, i32 %.1, i32 1
  %192 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) %.str.21..str.20)
  call void @llvm.lifetime.end.p0(i64 22, ptr nonnull %3) #6
  ret i32 %.1.....

193:                                              ; preds = %162, %210
  %.0172223 = phi i32 [ 0, %162 ], [ %211, %210 ]
  %.16222 = phi i32 [ 0, %162 ], [ %.17, %210 ]
  %194 = trunc nuw i32 %.0172223 to i16
  %195 = call i16 @posit16_reinterpret(i16 noundef zeroext %194)
  %196 = call i16 @posit16_log(i16 %195) #6
  %197 = call double @posit16_tod(i16 %195) #6
  %198 = call double @log(double noundef %197) #6
  %199 = call i16 @posit16_fromd(double noundef %198) #6
  %200 = call i32 @posit16_cmp(i16 %199, i16 %196)
  %.not196 = icmp eq i32 %200, 0
  br i1 %.not196, label %210, label %201

201:                                              ; preds = %193
  %202 = call zeroext i16 @posit16_bits(i16 %195)
  %203 = zext i16 %202 to i32
  %204 = call zeroext i16 @posit16_bits(i16 %196)
  %205 = zext i16 %204 to i32
  %206 = call zeroext i16 @posit16_bits(i16 %199)
  %207 = zext i16 %206 to i32
  %208 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.19, i32 noundef %203, i32 noundef %205, i32 noundef %207)
  %209 = add nsw i32 %.16222, 1
  br label %210

210:                                              ; preds = %201, %193
  %.17 = phi i32 [ %209, %201 ], [ %.16222, %193 ]
  %211 = add nuw nsw i32 %.0172223, 1
  %exitcond233.not = icmp eq i32 %211, 65536
  br i1 %exitcond233.not, label %185, label %193, !llvm.loop !19
}

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden i16 @posit16_add(i16, i16) local_unnamed_addr #2

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

declare void @posit16_str(ptr noundef, i16) local_unnamed_addr #3

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i16 @posit16_bits(i16) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i16 @posit16_sub(i16, i16) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i16 @posit16_mul(i16, i16) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i16 @posit16_div(i16, i16) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i16 @posit16_reinterpret(i16 noundef zeroext) local_unnamed_addr #2

declare float @posit16_tof(i16) local_unnamed_addr #3

declare i16 @posit16_fromf(float noundef) local_unnamed_addr #3

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @posit16_cmp(i16, i16) local_unnamed_addr #2

declare i16 @posit16_sqrt(i16) local_unnamed_addr #3

declare double @posit16_tod(i16) local_unnamed_addr #3

; Function Attrs: mustprogress nofree nounwind willreturn memory(write)
declare double @sqrt(double noundef) local_unnamed_addr #5

declare i16 @posit16_fromd(double noundef) local_unnamed_addr #3

declare i16 @posit16_exp(i16) local_unnamed_addr #3

; Function Attrs: mustprogress nofree nounwind willreturn memory(write)
declare double @exp(double noundef) local_unnamed_addr #5

declare i16 @posit16_log(i16) local_unnamed_addr #3

; Function Attrs: mustprogress nofree nounwind willreturn memory(write)
declare double @log(double noundef) local_unnamed_addr #5

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


; Effective O3 passes: EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,LCSSAPass,LoopRotatePass,LoopUnrollPass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass