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

; 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.posit8_u = type { [1 x i8] }

@NAR8 = external hidden constant %union.posit8_u, align 1
@ZERO8 = external hidden constant %union.posit8_u, align 1
@.str = external hidden unnamed_addr constant [27 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [69 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 [69 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 [69 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 [69 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 [63 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 [62 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 [62 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

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

131:                                              ; preds = %198, %2
  %132 = load i32, ptr %16, align 4, !tbaa !5
  %133 = icmp slt i32 %132, 256
  br i1 %133, label %135, label %134

134:                                              ; preds = %131
  store i32 2, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #6
  br label %201

135:                                              ; preds = %131
  call void @llvm.lifetime.start.p0(i64 1, ptr %18) #6
  %136 = load i32, ptr %16, align 4, !tbaa !5
  %137 = trunc i32 %136 to i8
  %138 = call i8 @posit8_reinterpret(i8 noundef zeroext %137)
  %139 = getelementptr inbounds %union.posit8_u, ptr %18, i32 0, i32 0
  store i8 %138, ptr %139, align 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %6, ptr align 1 %18, i64 1, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 1, ptr %18) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #6
  store i32 0, ptr %19, align 4, !tbaa !5
  br label %140

140:                                              ; preds = %194, %135
  %141 = load i32, ptr %19, align 4, !tbaa !5
  %142 = icmp slt i32 %141, 256
  br i1 %142, label %144, label %143

143:                                              ; preds = %140
  store i32 5, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #6
  br label %197

144:                                              ; preds = %140
  call void @llvm.lifetime.start.p0(i64 1, ptr %20) #6
  %145 = load i32, ptr %19, align 4, !tbaa !5
  %146 = trunc i32 %145 to i8
  %147 = call i8 @posit8_reinterpret(i8 noundef zeroext %146)
  %148 = getelementptr inbounds %union.posit8_u, ptr %20, i32 0, i32 0
  store i8 %147, ptr %148, align 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %7, ptr align 1 %20, i64 1, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 1, ptr %20) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr %21) #6
  %149 = getelementptr inbounds %union.posit8_u, ptr %6, i32 0, i32 0
  %150 = load i8, ptr %149, align 1
  %151 = getelementptr inbounds %union.posit8_u, ptr %7, i32 0, i32 0
  %152 = load i8, ptr %151, align 1
  %153 = call i8 @posit8_add(i8 %150, i8 %152)
  %154 = getelementptr inbounds %union.posit8_u, ptr %21, i32 0, i32 0
  store i8 %153, ptr %154, align 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %8, ptr align 1 %21, i64 1, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 1, ptr %21) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #6
  %155 = getelementptr inbounds %union.posit8_u, ptr %6, i32 0, i32 0
  %156 = load i8, ptr %155, align 1
  %157 = call float @posit8_tof(i8 %156)
  store float %157, ptr %22, align 4, !tbaa !15
  %158 = getelementptr inbounds %union.posit8_u, ptr %7, i32 0, i32 0
  %159 = load i8, ptr %158, align 1
  %160 = call float @posit8_tof(i8 %159)
  store float %160, ptr %23, align 4, !tbaa !15
  %161 = load float, ptr %22, align 4, !tbaa !15
  %162 = load float, ptr %23, align 4, !tbaa !15
  %163 = fadd float %161, %162
  store float %163, ptr %24, align 4, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 1, ptr %25) #6
  %164 = load float, ptr %24, align 4, !tbaa !15
  %165 = call i8 @posit8_fromf(float noundef %164)
  %166 = getelementptr inbounds %union.posit8_u, ptr %25, i32 0, i32 0
  store i8 %165, ptr %166, align 1
  %167 = getelementptr inbounds %union.posit8_u, ptr %25, i32 0, i32 0
  %168 = load i8, ptr %167, align 1
  %169 = getelementptr inbounds %union.posit8_u, ptr %8, i32 0, i32 0
  %170 = load i8, ptr %169, align 1
  %171 = call i32 @posit8_cmpp8(i8 %168, i8 %170)
  %172 = icmp ne i32 %171, 0
  br i1 %172, label %173, label %193

173:                                              ; preds = %144
  %174 = getelementptr inbounds %union.posit8_u, ptr %6, i32 0, i32 0
  %175 = load i8, ptr %174, align 1
  %176 = call zeroext i8 @posit8_bits(i8 %175)
  %177 = zext i8 %176 to i32
  %178 = getelementptr inbounds %union.posit8_u, ptr %7, i32 0, i32 0
  %179 = load i8, ptr %178, align 1
  %180 = call zeroext i8 @posit8_bits(i8 %179)
  %181 = zext i8 %180 to i32
  %182 = getelementptr inbounds %union.posit8_u, ptr %8, i32 0, i32 0
  %183 = load i8, ptr %182, align 1
  %184 = call zeroext i8 @posit8_bits(i8 %183)
  %185 = zext i8 %184 to i32
  %186 = getelementptr inbounds %union.posit8_u, ptr %25, i32 0, i32 0
  %187 = load i8, ptr %186, align 1
  %188 = call zeroext i8 @posit8_bits(i8 %187)
  %189 = zext i8 %188 to i32
  %190 = call i32 (ptr, ...) @printf(ptr noundef @.str.1, i32 noundef %177, i32 noundef %181, i32 noundef %185, i32 noundef %189)
  %191 = load i32, ptr %15, align 4, !tbaa !5
  %192 = add nsw i32 %191, 1
  store i32 %192, ptr %15, align 4, !tbaa !5
  br label %193

193:                                              ; preds = %173, %144
  call void @llvm.lifetime.end.p0(i64 1, ptr %25) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #6
  br label %194

194:                                              ; preds = %193
  %195 = load i32, ptr %19, align 4, !tbaa !5
  %196 = add nsw i32 %195, 1
  store i32 %196, ptr %19, align 4, !tbaa !5
  br label %140, !llvm.loop !17

197:                                              ; preds = %143
  br label %198

198:                                              ; preds = %197
  %199 = load i32, ptr %16, align 4, !tbaa !5
  %200 = add nsw i32 %199, 1
  store i32 %200, ptr %16, align 4, !tbaa !5
  br label %131, !llvm.loop !19

201:                                              ; preds = %134
  %202 = load i32, ptr %15, align 4, !tbaa !5
  %203 = icmp ne i32 %202, 0
  br i1 %203, label %204, label %206

204:                                              ; preds = %201
  %205 = call i32 (ptr, ...) @printf(ptr noundef @.str.2)
  store i8 1, ptr %10, align 1, !tbaa !11
  br label %208

206:                                              ; preds = %201
  %207 = call i32 (ptr, ...) @printf(ptr noundef @.str.3)
  br label %208

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

209:                                              ; preds = %276, %208
  %210 = load i32, ptr %26, align 4, !tbaa !5
  %211 = icmp slt i32 %210, 256
  br i1 %211, label %213, label %212

212:                                              ; preds = %209
  store i32 8, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #6
  br label %279

213:                                              ; preds = %209
  call void @llvm.lifetime.start.p0(i64 1, ptr %27) #6
  %214 = load i32, ptr %26, align 4, !tbaa !5
  %215 = trunc i32 %214 to i8
  %216 = call i8 @posit8_reinterpret(i8 noundef zeroext %215)
  %217 = getelementptr inbounds %union.posit8_u, ptr %27, i32 0, i32 0
  store i8 %216, ptr %217, align 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %6, ptr align 1 %27, i64 1, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 1, ptr %27) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #6
  store i32 0, ptr %28, align 4, !tbaa !5
  br label %218

218:                                              ; preds = %272, %213
  %219 = load i32, ptr %28, align 4, !tbaa !5
  %220 = icmp slt i32 %219, 256
  br i1 %220, label %222, label %221

221:                                              ; preds = %218
  store i32 11, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #6
  br label %275

222:                                              ; preds = %218
  call void @llvm.lifetime.start.p0(i64 1, ptr %29) #6
  %223 = load i32, ptr %28, align 4, !tbaa !5
  %224 = trunc i32 %223 to i8
  %225 = call i8 @posit8_reinterpret(i8 noundef zeroext %224)
  %226 = getelementptr inbounds %union.posit8_u, ptr %29, i32 0, i32 0
  store i8 %225, ptr %226, align 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %7, ptr align 1 %29, i64 1, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 1, ptr %29) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr %30) #6
  %227 = getelementptr inbounds %union.posit8_u, ptr %6, i32 0, i32 0
  %228 = load i8, ptr %227, align 1
  %229 = getelementptr inbounds %union.posit8_u, ptr %7, i32 0, i32 0
  %230 = load i8, ptr %229, align 1
  %231 = call i8 @posit8_sub(i8 %228, i8 %230)
  %232 = getelementptr inbounds %union.posit8_u, ptr %30, i32 0, i32 0
  store i8 %231, ptr %232, align 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %8, ptr align 1 %30, i64 1, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 1, ptr %30) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #6
  %233 = getelementptr inbounds %union.posit8_u, ptr %6, i32 0, i32 0
  %234 = load i8, ptr %233, align 1
  %235 = call float @posit8_tof(i8 %234)
  store float %235, ptr %31, align 4, !tbaa !15
  %236 = getelementptr inbounds %union.posit8_u, ptr %7, i32 0, i32 0
  %237 = load i8, ptr %236, align 1
  %238 = call float @posit8_tof(i8 %237)
  store float %238, ptr %32, align 4, !tbaa !15
  %239 = load float, ptr %31, align 4, !tbaa !15
  %240 = load float, ptr %32, align 4, !tbaa !15
  %241 = fsub float %239, %240
  store float %241, ptr %33, align 4, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 1, ptr %34) #6
  %242 = load float, ptr %33, align 4, !tbaa !15
  %243 = call i8 @posit8_fromf(float noundef %242)
  %244 = getelementptr inbounds %union.posit8_u, ptr %34, i32 0, i32 0
  store i8 %243, ptr %244, align 1
  %245 = getelementptr inbounds %union.posit8_u, ptr %34, i32 0, i32 0
  %246 = load i8, ptr %245, align 1
  %247 = getelementptr inbounds %union.posit8_u, ptr %8, i32 0, i32 0
  %248 = load i8, ptr %247, align 1
  %249 = call i32 @posit8_cmpp8(i8 %246, i8 %248)
  %250 = icmp ne i32 %249, 0
  br i1 %250, label %251, label %271

251:                                              ; preds = %222
  %252 = getelementptr inbounds %union.posit8_u, ptr %6, i32 0, i32 0
  %253 = load i8, ptr %252, align 1
  %254 = call zeroext i8 @posit8_bits(i8 %253)
  %255 = zext i8 %254 to i32
  %256 = getelementptr inbounds %union.posit8_u, ptr %7, i32 0, i32 0
  %257 = load i8, ptr %256, align 1
  %258 = call zeroext i8 @posit8_bits(i8 %257)
  %259 = zext i8 %258 to i32
  %260 = getelementptr inbounds %union.posit8_u, ptr %8, i32 0, i32 0
  %261 = load i8, ptr %260, align 1
  %262 = call zeroext i8 @posit8_bits(i8 %261)
  %263 = zext i8 %262 to i32
  %264 = getelementptr inbounds %union.posit8_u, ptr %34, i32 0, i32 0
  %265 = load i8, ptr %264, align 1
  %266 = call zeroext i8 @posit8_bits(i8 %265)
  %267 = zext i8 %266 to i32
  %268 = call i32 (ptr, ...) @printf(ptr noundef @.str.4, i32 noundef %255, i32 noundef %259, i32 noundef %263, i32 noundef %267)
  %269 = load i32, ptr %15, align 4, !tbaa !5
  %270 = add nsw i32 %269, 1
  store i32 %270, ptr %15, align 4, !tbaa !5
  br label %271

271:                                              ; preds = %251, %222
  call void @llvm.lifetime.end.p0(i64 1, ptr %34) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #6
  br label %272

272:                                              ; preds = %271
  %273 = load i32, ptr %28, align 4, !tbaa !5
  %274 = add nsw i32 %273, 1
  store i32 %274, ptr %28, align 4, !tbaa !5
  br label %218, !llvm.loop !20

275:                                              ; preds = %221
  br label %276

276:                                              ; preds = %275
  %277 = load i32, ptr %26, align 4, !tbaa !5
  %278 = add nsw i32 %277, 1
  store i32 %278, ptr %26, align 4, !tbaa !5
  br label %209, !llvm.loop !21

279:                                              ; preds = %212
  %280 = load i32, ptr %15, align 4, !tbaa !5
  %281 = icmp ne i32 %280, 0
  br i1 %281, label %282, label %284

282:                                              ; preds = %279
  %283 = call i32 (ptr, ...) @printf(ptr noundef @.str.5)
  store i8 1, ptr %10, align 1, !tbaa !11
  br label %286

284:                                              ; preds = %279
  %285 = call i32 (ptr, ...) @printf(ptr noundef @.str.6)
  br label %286

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

287:                                              ; preds = %354, %286
  %288 = load i32, ptr %35, align 4, !tbaa !5
  %289 = icmp slt i32 %288, 256
  br i1 %289, label %291, label %290

290:                                              ; preds = %287
  store i32 14, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #6
  br label %357

291:                                              ; preds = %287
  call void @llvm.lifetime.start.p0(i64 1, ptr %36) #6
  %292 = load i32, ptr %35, align 4, !tbaa !5
  %293 = trunc i32 %292 to i8
  %294 = call i8 @posit8_reinterpret(i8 noundef zeroext %293)
  %295 = getelementptr inbounds %union.posit8_u, ptr %36, i32 0, i32 0
  store i8 %294, ptr %295, align 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %6, ptr align 1 %36, i64 1, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 1, ptr %36) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #6
  store i32 0, ptr %37, align 4, !tbaa !5
  br label %296

296:                                              ; preds = %350, %291
  %297 = load i32, ptr %37, align 4, !tbaa !5
  %298 = icmp slt i32 %297, 256
  br i1 %298, label %300, label %299

299:                                              ; preds = %296
  store i32 17, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #6
  br label %353

300:                                              ; preds = %296
  call void @llvm.lifetime.start.p0(i64 1, ptr %38) #6
  %301 = load i32, ptr %37, align 4, !tbaa !5
  %302 = trunc i32 %301 to i8
  %303 = call i8 @posit8_reinterpret(i8 noundef zeroext %302)
  %304 = getelementptr inbounds %union.posit8_u, ptr %38, i32 0, i32 0
  store i8 %303, ptr %304, align 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %7, ptr align 1 %38, i64 1, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 1, ptr %38) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr %39) #6
  %305 = getelementptr inbounds %union.posit8_u, ptr %6, i32 0, i32 0
  %306 = load i8, ptr %305, align 1
  %307 = getelementptr inbounds %union.posit8_u, ptr %7, i32 0, i32 0
  %308 = load i8, ptr %307, align 1
  %309 = call i8 @posit8_mul(i8 %306, i8 %308)
  %310 = getelementptr inbounds %union.posit8_u, ptr %39, i32 0, i32 0
  store i8 %309, ptr %310, align 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %8, ptr align 1 %39, i64 1, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 1, ptr %39) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #6
  %311 = getelementptr inbounds %union.posit8_u, ptr %6, i32 0, i32 0
  %312 = load i8, ptr %311, align 1
  %313 = call float @posit8_tof(i8 %312)
  store float %313, ptr %40, align 4, !tbaa !15
  %314 = getelementptr inbounds %union.posit8_u, ptr %7, i32 0, i32 0
  %315 = load i8, ptr %314, align 1
  %316 = call float @posit8_tof(i8 %315)
  store float %316, ptr %41, align 4, !tbaa !15
  %317 = load float, ptr %40, align 4, !tbaa !15
  %318 = load float, ptr %41, align 4, !tbaa !15
  %319 = fmul float %317, %318
  store float %319, ptr %42, align 4, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 1, ptr %43) #6
  %320 = load float, ptr %42, align 4, !tbaa !15
  %321 = call i8 @posit8_fromf(float noundef %320)
  %322 = getelementptr inbounds %union.posit8_u, ptr %43, i32 0, i32 0
  store i8 %321, ptr %322, align 1
  %323 = getelementptr inbounds %union.posit8_u, ptr %43, i32 0, i32 0
  %324 = load i8, ptr %323, align 1
  %325 = getelementptr inbounds %union.posit8_u, ptr %8, i32 0, i32 0
  %326 = load i8, ptr %325, align 1
  %327 = call i32 @posit8_cmpp8(i8 %324, i8 %326)
  %328 = icmp ne i32 %327, 0
  br i1 %328, label %329, label %349

329:                                              ; preds = %300
  %330 = getelementptr inbounds %union.posit8_u, ptr %6, i32 0, i32 0
  %331 = load i8, ptr %330, align 1
  %332 = call zeroext i8 @posit8_bits(i8 %331)
  %333 = zext i8 %332 to i32
  %334 = getelementptr inbounds %union.posit8_u, ptr %7, i32 0, i32 0
  %335 = load i8, ptr %334, align 1
  %336 = call zeroext i8 @posit8_bits(i8 %335)
  %337 = zext i8 %336 to i32
  %338 = getelementptr inbounds %union.posit8_u, ptr %8, i32 0, i32 0
  %339 = load i8, ptr %338, align 1
  %340 = call zeroext i8 @posit8_bits(i8 %339)
  %341 = zext i8 %340 to i32
  %342 = getelementptr inbounds %union.posit8_u, ptr %43, i32 0, i32 0
  %343 = load i8, ptr %342, align 1
  %344 = call zeroext i8 @posit8_bits(i8 %343)
  %345 = zext i8 %344 to i32
  %346 = call i32 (ptr, ...) @printf(ptr noundef @.str.7, i32 noundef %333, i32 noundef %337, i32 noundef %341, i32 noundef %345)
  %347 = load i32, ptr %15, align 4, !tbaa !5
  %348 = add nsw i32 %347, 1
  store i32 %348, ptr %15, align 4, !tbaa !5
  br label %349

349:                                              ; preds = %329, %300
  call void @llvm.lifetime.end.p0(i64 1, ptr %43) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #6
  br label %350

350:                                              ; preds = %349
  %351 = load i32, ptr %37, align 4, !tbaa !5
  %352 = add nsw i32 %351, 1
  store i32 %352, ptr %37, align 4, !tbaa !5
  br label %296, !llvm.loop !22

353:                                              ; preds = %299
  br label %354

354:                                              ; preds = %353
  %355 = load i32, ptr %35, align 4, !tbaa !5
  %356 = add nsw i32 %355, 1
  store i32 %356, ptr %35, align 4, !tbaa !5
  br label %287, !llvm.loop !23

357:                                              ; preds = %290
  %358 = load i32, ptr %15, align 4, !tbaa !5
  %359 = icmp ne i32 %358, 0
  br i1 %359, label %360, label %362

360:                                              ; preds = %357
  %361 = call i32 (ptr, ...) @printf(ptr noundef @.str.8)
  store i8 1, ptr %10, align 1, !tbaa !11
  br label %364

362:                                              ; preds = %357
  %363 = call i32 (ptr, ...) @printf(ptr noundef @.str.9)
  br label %364

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

365:                                              ; preds = %432, %364
  %366 = load i32, ptr %44, align 4, !tbaa !5
  %367 = icmp slt i32 %366, 256
  br i1 %367, label %369, label %368

368:                                              ; preds = %365
  store i32 20, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #6
  br label %435

369:                                              ; preds = %365
  call void @llvm.lifetime.start.p0(i64 1, ptr %45) #6
  %370 = load i32, ptr %44, align 4, !tbaa !5
  %371 = trunc i32 %370 to i8
  %372 = call i8 @posit8_reinterpret(i8 noundef zeroext %371)
  %373 = getelementptr inbounds %union.posit8_u, ptr %45, i32 0, i32 0
  store i8 %372, ptr %373, align 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %6, ptr align 1 %45, i64 1, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 1, ptr %45) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %46) #6
  store i32 0, ptr %46, align 4, !tbaa !5
  br label %374

374:                                              ; preds = %428, %369
  %375 = load i32, ptr %46, align 4, !tbaa !5
  %376 = icmp slt i32 %375, 256
  br i1 %376, label %378, label %377

377:                                              ; preds = %374
  store i32 23, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %46) #6
  br label %431

378:                                              ; preds = %374
  call void @llvm.lifetime.start.p0(i64 1, ptr %47) #6
  %379 = load i32, ptr %46, align 4, !tbaa !5
  %380 = trunc i32 %379 to i8
  %381 = call i8 @posit8_reinterpret(i8 noundef zeroext %380)
  %382 = getelementptr inbounds %union.posit8_u, ptr %47, i32 0, i32 0
  store i8 %381, ptr %382, align 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %7, ptr align 1 %47, i64 1, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 1, ptr %47) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr %48) #6
  %383 = getelementptr inbounds %union.posit8_u, ptr %6, i32 0, i32 0
  %384 = load i8, ptr %383, align 1
  %385 = getelementptr inbounds %union.posit8_u, ptr %7, i32 0, i32 0
  %386 = load i8, ptr %385, align 1
  %387 = call i8 @posit8_div(i8 %384, i8 %386)
  %388 = getelementptr inbounds %union.posit8_u, ptr %48, i32 0, i32 0
  store i8 %387, ptr %388, align 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %8, ptr align 1 %48, i64 1, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 1, ptr %48) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %49) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %50) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %51) #6
  %389 = getelementptr inbounds %union.posit8_u, ptr %6, i32 0, i32 0
  %390 = load i8, ptr %389, align 1
  %391 = call float @posit8_tof(i8 %390)
  store float %391, ptr %49, align 4, !tbaa !15
  %392 = getelementptr inbounds %union.posit8_u, ptr %7, i32 0, i32 0
  %393 = load i8, ptr %392, align 1
  %394 = call float @posit8_tof(i8 %393)
  store float %394, ptr %50, align 4, !tbaa !15
  %395 = load float, ptr %49, align 4, !tbaa !15
  %396 = load float, ptr %50, align 4, !tbaa !15
  %397 = fdiv float %395, %396
  store float %397, ptr %51, align 4, !tbaa !15
  call void @llvm.lifetime.start.p0(i64 1, ptr %52) #6
  %398 = load float, ptr %51, align 4, !tbaa !15
  %399 = call i8 @posit8_fromf(float noundef %398)
  %400 = getelementptr inbounds %union.posit8_u, ptr %52, i32 0, i32 0
  store i8 %399, ptr %400, align 1
  %401 = getelementptr inbounds %union.posit8_u, ptr %52, i32 0, i32 0
  %402 = load i8, ptr %401, align 1
  %403 = getelementptr inbounds %union.posit8_u, ptr %8, i32 0, i32 0
  %404 = load i8, ptr %403, align 1
  %405 = call i32 @posit8_cmpp8(i8 %402, i8 %404)
  %406 = icmp ne i32 %405, 0
  br i1 %406, label %407, label %427

407:                                              ; preds = %378
  %408 = getelementptr inbounds %union.posit8_u, ptr %6, i32 0, i32 0
  %409 = load i8, ptr %408, align 1
  %410 = call zeroext i8 @posit8_bits(i8 %409)
  %411 = zext i8 %410 to i32
  %412 = getelementptr inbounds %union.posit8_u, ptr %7, i32 0, i32 0
  %413 = load i8, ptr %412, align 1
  %414 = call zeroext i8 @posit8_bits(i8 %413)
  %415 = zext i8 %414 to i32
  %416 = getelementptr inbounds %union.posit8_u, ptr %8, i32 0, i32 0
  %417 = load i8, ptr %416, align 1
  %418 = call zeroext i8 @posit8_bits(i8 %417)
  %419 = zext i8 %418 to i32
  %420 = getelementptr inbounds %union.posit8_u, ptr %52, i32 0, i32 0
  %421 = load i8, ptr %420, align 1
  %422 = call zeroext i8 @posit8_bits(i8 %421)
  %423 = zext i8 %422 to i32
  %424 = call i32 (ptr, ...) @printf(ptr noundef @.str.10, i32 noundef %411, i32 noundef %415, i32 noundef %419, i32 noundef %423)
  %425 = load i32, ptr %15, align 4, !tbaa !5
  %426 = add nsw i32 %425, 1
  store i32 %426, ptr %15, align 4, !tbaa !5
  br label %427

427:                                              ; preds = %407, %378
  call void @llvm.lifetime.end.p0(i64 1, ptr %52) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %51) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %50) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %49) #6
  br label %428

428:                                              ; preds = %427
  %429 = load i32, ptr %46, align 4, !tbaa !5
  %430 = add nsw i32 %429, 1
  store i32 %430, ptr %46, align 4, !tbaa !5
  br label %374, !llvm.loop !24

431:                                              ; preds = %377
  br label %432

432:                                              ; preds = %431
  %433 = load i32, ptr %44, align 4, !tbaa !5
  %434 = add nsw i32 %433, 1
  store i32 %434, ptr %44, align 4, !tbaa !5
  br label %365, !llvm.loop !25

435:                                              ; preds = %368
  %436 = load i32, ptr %15, align 4, !tbaa !5
  %437 = icmp ne i32 %436, 0
  br i1 %437, label %438, label %440

438:                                              ; preds = %435
  %439 = call i32 (ptr, ...) @printf(ptr noundef @.str.11)
  store i8 1, ptr %10, align 1, !tbaa !11
  br label %442

440:                                              ; preds = %435
  %441 = call i32 (ptr, ...) @printf(ptr noundef @.str.12)
  br label %442

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

443:                                              ; preds = %487, %442
  %444 = load i32, ptr %53, align 4, !tbaa !5
  %445 = icmp slt i32 %444, 256
  br i1 %445, label %447, label %446

446:                                              ; preds = %443
  store i32 26, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %53) #6
  br label %490

447:                                              ; preds = %443
  call void @llvm.lifetime.start.p0(i64 1, ptr %54) #6
  %448 = load i32, ptr %53, align 4, !tbaa !5
  %449 = trunc i32 %448 to i8
  %450 = call i8 @posit8_reinterpret(i8 noundef zeroext %449)
  %451 = getelementptr inbounds %union.posit8_u, ptr %54, i32 0, i32 0
  store i8 %450, ptr %451, align 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %6, ptr align 1 %54, i64 1, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 1, ptr %54) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr %55) #6
  %452 = getelementptr inbounds %union.posit8_u, ptr %6, i32 0, i32 0
  %453 = load i8, ptr %452, align 1
  %454 = call i8 @posit8_sqrt(i8 %453)
  %455 = getelementptr inbounds %union.posit8_u, ptr %55, i32 0, i32 0
  store i8 %454, ptr %455, align 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %8, ptr align 1 %55, i64 1, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 1, ptr %55) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %56) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %57) #6
  %456 = getelementptr inbounds %union.posit8_u, ptr %6, i32 0, i32 0
  %457 = load i8, ptr %456, align 1
  %458 = call double @posit8_tod(i8 %457)
  store double %458, ptr %56, align 8, !tbaa !26
  %459 = load double, ptr %56, align 8, !tbaa !26
  %460 = call double @sqrt(double noundef %459) #6
  store double %460, ptr %57, align 8, !tbaa !26
  call void @llvm.lifetime.start.p0(i64 1, ptr %58) #6
  %461 = load double, ptr %57, align 8, !tbaa !26
  %462 = call i8 @posit8_fromd(double noundef %461)
  %463 = getelementptr inbounds %union.posit8_u, ptr %58, i32 0, i32 0
  store i8 %462, ptr %463, align 1
  %464 = getelementptr inbounds %union.posit8_u, ptr %58, i32 0, i32 0
  %465 = load i8, ptr %464, align 1
  %466 = getelementptr inbounds %union.posit8_u, ptr %8, i32 0, i32 0
  %467 = load i8, ptr %466, align 1
  %468 = call i32 @posit8_cmp(i8 %465, i8 %467)
  %469 = icmp ne i32 %468, 0
  br i1 %469, label %470, label %486

470:                                              ; preds = %447
  %471 = getelementptr inbounds %union.posit8_u, ptr %6, i32 0, i32 0
  %472 = load i8, ptr %471, align 1
  %473 = call zeroext i8 @posit8_bits(i8 %472)
  %474 = zext i8 %473 to i32
  %475 = getelementptr inbounds %union.posit8_u, ptr %8, i32 0, i32 0
  %476 = load i8, ptr %475, align 1
  %477 = call zeroext i8 @posit8_bits(i8 %476)
  %478 = zext i8 %477 to i32
  %479 = getelementptr inbounds %union.posit8_u, ptr %58, i32 0, i32 0
  %480 = load i8, ptr %479, align 1
  %481 = call zeroext i8 @posit8_bits(i8 %480)
  %482 = zext i8 %481 to i32
  %483 = call i32 (ptr, ...) @printf(ptr noundef @.str.13, i32 noundef %474, i32 noundef %478, i32 noundef %482)
  %484 = load i32, ptr %15, align 4, !tbaa !5
  %485 = add nsw i32 %484, 1
  store i32 %485, ptr %15, align 4, !tbaa !5
  br label %486

486:                                              ; preds = %470, %447
  call void @llvm.lifetime.end.p0(i64 1, ptr %58) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %57) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %56) #6
  br label %487

487:                                              ; preds = %486
  %488 = load i32, ptr %53, align 4, !tbaa !5
  %489 = add nsw i32 %488, 1
  store i32 %489, ptr %53, align 4, !tbaa !5
  br label %443, !llvm.loop !28

490:                                              ; preds = %446
  %491 = load i32, ptr %15, align 4, !tbaa !5
  %492 = icmp ne i32 %491, 0
  br i1 %492, label %493, label %495

493:                                              ; preds = %490
  %494 = call i32 (ptr, ...) @printf(ptr noundef @.str.14)
  store i8 1, ptr %10, align 1, !tbaa !11
  br label %497

495:                                              ; preds = %490
  %496 = call i32 (ptr, ...) @printf(ptr noundef @.str.15)
  br label %497

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

498:                                              ; preds = %542, %497
  %499 = load i32, ptr %59, align 4, !tbaa !5
  %500 = icmp slt i32 %499, 256
  br i1 %500, label %502, label %501

501:                                              ; preds = %498
  store i32 29, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %59) #6
  br label %545

502:                                              ; preds = %498
  call void @llvm.lifetime.start.p0(i64 1, ptr %60) #6
  %503 = load i32, ptr %59, align 4, !tbaa !5
  %504 = trunc i32 %503 to i8
  %505 = call i8 @posit8_reinterpret(i8 noundef zeroext %504)
  %506 = getelementptr inbounds %union.posit8_u, ptr %60, i32 0, i32 0
  store i8 %505, ptr %506, align 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %6, ptr align 1 %60, i64 1, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 1, ptr %60) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr %61) #6
  %507 = getelementptr inbounds %union.posit8_u, ptr %6, i32 0, i32 0
  %508 = load i8, ptr %507, align 1
  %509 = call i8 @posit8_exp(i8 %508)
  %510 = getelementptr inbounds %union.posit8_u, ptr %61, i32 0, i32 0
  store i8 %509, ptr %510, align 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %8, ptr align 1 %61, i64 1, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 1, ptr %61) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %62) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %63) #6
  %511 = getelementptr inbounds %union.posit8_u, ptr %6, i32 0, i32 0
  %512 = load i8, ptr %511, align 1
  %513 = call double @posit8_tod(i8 %512)
  store double %513, ptr %62, align 8, !tbaa !26
  %514 = load double, ptr %62, align 8, !tbaa !26
  %515 = call double @exp(double noundef %514) #6
  store double %515, ptr %63, align 8, !tbaa !26
  call void @llvm.lifetime.start.p0(i64 1, ptr %64) #6
  %516 = load double, ptr %63, align 8, !tbaa !26
  %517 = call i8 @posit8_fromd(double noundef %516)
  %518 = getelementptr inbounds %union.posit8_u, ptr %64, i32 0, i32 0
  store i8 %517, ptr %518, align 1
  %519 = getelementptr inbounds %union.posit8_u, ptr %64, i32 0, i32 0
  %520 = load i8, ptr %519, align 1
  %521 = getelementptr inbounds %union.posit8_u, ptr %8, i32 0, i32 0
  %522 = load i8, ptr %521, align 1
  %523 = call i32 @posit8_cmp(i8 %520, i8 %522)
  %524 = icmp ne i32 %523, 0
  br i1 %524, label %525, label %541

525:                                              ; preds = %502
  %526 = getelementptr inbounds %union.posit8_u, ptr %6, i32 0, i32 0
  %527 = load i8, ptr %526, align 1
  %528 = call zeroext i8 @posit8_bits(i8 %527)
  %529 = zext i8 %528 to i32
  %530 = getelementptr inbounds %union.posit8_u, ptr %8, i32 0, i32 0
  %531 = load i8, ptr %530, align 1
  %532 = call zeroext i8 @posit8_bits(i8 %531)
  %533 = zext i8 %532 to i32
  %534 = getelementptr inbounds %union.posit8_u, ptr %64, i32 0, i32 0
  %535 = load i8, ptr %534, align 1
  %536 = call zeroext i8 @posit8_bits(i8 %535)
  %537 = zext i8 %536 to i32
  %538 = call i32 (ptr, ...) @printf(ptr noundef @.str.16, i32 noundef %529, i32 noundef %533, i32 noundef %537)
  %539 = load i32, ptr %15, align 4, !tbaa !5
  %540 = add nsw i32 %539, 1
  store i32 %540, ptr %15, align 4, !tbaa !5
  br label %541

541:                                              ; preds = %525, %502
  call void @llvm.lifetime.end.p0(i64 1, ptr %64) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %63) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %62) #6
  br label %542

542:                                              ; preds = %541
  %543 = load i32, ptr %59, align 4, !tbaa !5
  %544 = add nsw i32 %543, 1
  store i32 %544, ptr %59, align 4, !tbaa !5
  br label %498, !llvm.loop !29

545:                                              ; preds = %501
  %546 = load i32, ptr %15, align 4, !tbaa !5
  %547 = icmp ne i32 %546, 0
  br i1 %547, label %548, label %550

548:                                              ; preds = %545
  %549 = call i32 (ptr, ...) @printf(ptr noundef @.str.17)
  store i8 1, ptr %10, align 1, !tbaa !11
  br label %552

550:                                              ; preds = %545
  %551 = call i32 (ptr, ...) @printf(ptr noundef @.str.18)
  br label %552

552:                                              ; preds = %550, %548
  store i32 0, ptr %15, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %65) #6
  store i32 0, ptr %65, align 4, !tbaa !5
  br label %553

553:                                              ; preds = %597, %552
  %554 = load i32, ptr %65, align 4, !tbaa !5
  %555 = icmp slt i32 %554, 256
  br i1 %555, label %557, label %556

556:                                              ; preds = %553
  store i32 32, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %65) #6
  br label %600

557:                                              ; preds = %553
  call void @llvm.lifetime.start.p0(i64 1, ptr %66) #6
  %558 = load i32, ptr %65, align 4, !tbaa !5
  %559 = trunc i32 %558 to i8
  %560 = call i8 @posit8_reinterpret(i8 noundef zeroext %559)
  %561 = getelementptr inbounds %union.posit8_u, ptr %66, i32 0, i32 0
  store i8 %560, ptr %561, align 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %6, ptr align 1 %66, i64 1, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 1, ptr %66) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr %67) #6
  %562 = getelementptr inbounds %union.posit8_u, ptr %6, i32 0, i32 0
  %563 = load i8, ptr %562, align 1
  %564 = call i8 @posit8_log(i8 %563)
  %565 = getelementptr inbounds %union.posit8_u, ptr %67, i32 0, i32 0
  store i8 %564, ptr %565, align 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %8, ptr align 1 %67, i64 1, i1 false), !tbaa.struct !13
  call void @llvm.lifetime.end.p0(i64 1, ptr %67) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %68) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %69) #6
  %566 = getelementptr inbounds %union.posit8_u, ptr %6, i32 0, i32 0
  %567 = load i8, ptr %566, align 1
  %568 = call double @posit8_tod(i8 %567)
  store double %568, ptr %68, align 8, !tbaa !26
  %569 = load double, ptr %68, align 8, !tbaa !26
  %570 = call double @log(double noundef %569) #6
  store double %570, ptr %69, align 8, !tbaa !26
  call void @llvm.lifetime.start.p0(i64 1, ptr %70) #6
  %571 = load double, ptr %69, align 8, !tbaa !26
  %572 = call i8 @posit8_fromd(double noundef %571)
  %573 = getelementptr inbounds %union.posit8_u, ptr %70, i32 0, i32 0
  store i8 %572, ptr %573, align 1
  %574 = getelementptr inbounds %union.posit8_u, ptr %70, i32 0, i32 0
  %575 = load i8, ptr %574, align 1
  %576 = getelementptr inbounds %union.posit8_u, ptr %8, i32 0, i32 0
  %577 = load i8, ptr %576, align 1
  %578 = call i32 @posit8_cmp(i8 %575, i8 %577)
  %579 = icmp ne i32 %578, 0
  br i1 %579, label %580, label %596

580:                                              ; preds = %557
  %581 = getelementptr inbounds %union.posit8_u, ptr %6, i32 0, i32 0
  %582 = load i8, ptr %581, align 1
  %583 = call zeroext i8 @posit8_bits(i8 %582)
  %584 = zext i8 %583 to i32
  %585 = getelementptr inbounds %union.posit8_u, ptr %8, i32 0, i32 0
  %586 = load i8, ptr %585, align 1
  %587 = call zeroext i8 @posit8_bits(i8 %586)
  %588 = zext i8 %587 to i32
  %589 = getelementptr inbounds %union.posit8_u, ptr %70, i32 0, i32 0
  %590 = load i8, ptr %589, align 1
  %591 = call zeroext i8 @posit8_bits(i8 %590)
  %592 = zext i8 %591 to i32
  %593 = call i32 (ptr, ...) @printf(ptr noundef @.str.19, i32 noundef %584, i32 noundef %588, i32 noundef %592)
  %594 = load i32, ptr %15, align 4, !tbaa !5
  %595 = add nsw i32 %594, 1
  store i32 %595, ptr %15, align 4, !tbaa !5
  br label %596

596:                                              ; preds = %580, %557
  call void @llvm.lifetime.end.p0(i64 1, ptr %70) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %69) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %68) #6
  br label %597

597:                                              ; preds = %596
  %598 = load i32, ptr %65, align 4, !tbaa !5
  %599 = add nsw i32 %598, 1
  store i32 %599, ptr %65, align 4, !tbaa !5
  br label %553, !llvm.loop !30

600:                                              ; preds = %556
  %601 = load i32, ptr %15, align 4, !tbaa !5
  %602 = icmp ne i32 %601, 0
  br i1 %602, label %603, label %605

603:                                              ; preds = %600
  %604 = call i32 (ptr, ...) @printf(ptr noundef @.str.20)
  store i8 1, ptr %10, align 1, !tbaa !11
  br label %607

605:                                              ; preds = %600
  %606 = call i32 (ptr, ...) @printf(ptr noundef @.str.21)
  br label %607

607:                                              ; preds = %605, %603
  %608 = load i8, ptr %10, align 1, !tbaa !11, !range !31, !noundef !32
  %609 = trunc i8 %608 to i1
  %610 = zext i1 %609 to i32
  %611 = icmp sgt i32 %610, 0
  %612 = zext i1 %611 to i64
  %613 = select i1 %611, i32 1, i32 0
  store i32 %613, ptr %3, align 4
  store i32 1, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %10) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %9) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %8) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %7) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %6) #6
  %614 = load i32, ptr %3, align 4
  ret i32 %614
}

; 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

declare i8 @posit8_addp8(i8, i8) #3

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

declare void @posit8_str(ptr noundef, i8) #3

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i8 @posit8_bits(i8) #4

declare i8 @posit8_subp8(i8, i8) #3

declare i8 @posit8_mulp8(i8, i8) #3

declare i8 @posit8_divp8(i8, i8) #3

; Function Attrs: inlinehint nounwind uwtable
declare hidden i8 @posit8_reinterpret(i8 noundef zeroext) #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden i8 @posit8_add(i8, i8) #4

declare float @posit8_tof(i8) #3

declare i8 @posit8_fromf(float noundef) #3

declare i32 @posit8_cmpp8(i8, i8) #3

; Function Attrs: inlinehint nounwind uwtable
declare hidden i8 @posit8_sub(i8, i8) #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden i8 @posit8_mul(i8, i8) #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden i8 @posit8_div(i8, i8) #4

declare i8 @posit8_sqrt(i8) #3

declare double @posit8_tod(i8) #3

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

declare i8 @posit8_fromd(double noundef) #3

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @posit8_cmp(i8, i8) #4

declare i8 @posit8_exp(i8) #3

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

declare i8 @posit8_log(i8) #3

; 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 = { "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 = { 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 #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 1, !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"

%union.posit8_u = type { [1 x i8] }

@NAR8 = external hidden local_unnamed_addr constant %union.posit8_u, align 1
@ZERO8 = external hidden local_unnamed_addr constant %union.posit8_u, align 1
@.str = external hidden unnamed_addr constant [27 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [69 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 [69 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 [69 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 [69 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 [63 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 [62 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 [62 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

; 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 [16 x i8], align 16
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %3) #6
  %.sroa.0141.0.copyload = load i8, ptr @NAR8, align 1, !tbaa !5
  %.sroa.0122.0.copyload = load i8, ptr @ZERO8, align 1, !tbaa !5
  %4 = tail call i8 @posit8_addp8(i8 %.sroa.0141.0.copyload, i8 %.sroa.0122.0.copyload) #6
  call void @posit8_str(ptr noundef nonnull %3, i8 %4) #6
  %5 = call zeroext i8 @posit8_bits(i8 %4)
  %6 = zext i8 %5 to i32
  %7 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str, ptr noundef nonnull %3, i32 noundef %6)
  %8 = call i8 @posit8_subp8(i8 %.sroa.0141.0.copyload, i8 %.sroa.0122.0.copyload) #6
  call void @posit8_str(ptr noundef nonnull %3, i8 %8) #6
  %9 = call zeroext i8 @posit8_bits(i8 %8)
  %10 = zext i8 %9 to i32
  %11 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str, ptr noundef nonnull %3, i32 noundef %10)
  %12 = call i8 @posit8_mulp8(i8 %.sroa.0141.0.copyload, i8 %.sroa.0122.0.copyload) #6
  call void @posit8_str(ptr noundef nonnull %3, i8 %12) #6
  %13 = call zeroext i8 @posit8_bits(i8 %12)
  %14 = zext i8 %13 to i32
  %15 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str, ptr noundef nonnull %3, i32 noundef %14)
  %16 = call i8 @posit8_divp8(i8 %.sroa.0141.0.copyload, i8 %.sroa.0122.0.copyload) #6
  call void @posit8_str(ptr noundef nonnull %3, i8 %16) #6
  %17 = call zeroext i8 @posit8_bits(i8 %16)
  %18 = zext i8 %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 %.2173, 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
  %.0171204 = phi i32 [ 0, %2 ], [ %.2173, %25 ]
  %.0178203 = phi i32 [ 0, %2 ], [ %26, %25 ]
  %23 = trunc nuw i32 %.0178203 to i8
  %24 = call i8 @posit8_reinterpret(i8 noundef zeroext %23)
  br label %27

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

27:                                               ; preds = %22, %47
  %.1172202 = phi i32 [ %.0171204, %22 ], [ %.2173, %47 ]
  %.0179201 = phi i32 [ 0, %22 ], [ %48, %47 ]
  %28 = trunc nuw i32 %.0179201 to i8
  %29 = call i8 @posit8_reinterpret(i8 noundef zeroext %28)
  %30 = call i8 @posit8_add(i8 %24, i8 %29)
  %31 = call float @posit8_tof(i8 %24) #6
  %32 = call float @posit8_tof(i8 %29) #6
  %33 = fadd float %31, %32
  %34 = call i8 @posit8_fromf(float noundef %33) #6
  %35 = call i32 @posit8_cmpp8(i8 %34, i8 %30) #6
  %.not200 = icmp eq i32 %35, 0
  br i1 %.not200, label %47, label %36

36:                                               ; preds = %27
  %37 = call zeroext i8 @posit8_bits(i8 %24)
  %38 = zext i8 %37 to i32
  %39 = call zeroext i8 @posit8_bits(i8 %29)
  %40 = zext i8 %39 to i32
  %41 = call zeroext i8 @posit8_bits(i8 %30)
  %42 = zext i8 %41 to i32
  %43 = call zeroext i8 @posit8_bits(i8 %34)
  %44 = zext i8 %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 %.1172202, 1
  br label %47

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

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

50:                                               ; preds = %20, %53
  %.3174208 = phi i32 [ 0, %20 ], [ %.5176, %53 ]
  %.0180207 = phi i32 [ 0, %20 ], [ %54, %53 ]
  %51 = trunc nuw i32 %.0180207 to i8
  %52 = call i8 @posit8_reinterpret(i8 noundef zeroext %51)
  br label %55

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

55:                                               ; preds = %50, %75
  %.4175206 = phi i32 [ %.3174208, %50 ], [ %.5176, %75 ]
  %.0182205 = phi i32 [ 0, %50 ], [ %76, %75 ]
  %56 = trunc nuw i32 %.0182205 to i8
  %57 = call i8 @posit8_reinterpret(i8 noundef zeroext %56)
  %58 = call i8 @posit8_sub(i8 %52, i8 %57)
  %59 = call float @posit8_tof(i8 %52) #6
  %60 = call float @posit8_tof(i8 %57) #6
  %61 = fsub float %59, %60
  %62 = call i8 @posit8_fromf(float noundef %61) #6
  %63 = call i32 @posit8_cmpp8(i8 %62, i8 %58) #6
  %.not199 = icmp eq i32 %63, 0
  br i1 %.not199, label %75, label %64

64:                                               ; preds = %55
  %65 = call zeroext i8 @posit8_bits(i8 %52)
  %66 = zext i8 %65 to i32
  %67 = call zeroext i8 @posit8_bits(i8 %57)
  %68 = zext i8 %67 to i32
  %69 = call zeroext i8 @posit8_bits(i8 %58)
  %70 = zext i8 %69 to i32
  %71 = call zeroext i8 @posit8_bits(i8 %62)
  %72 = zext i8 %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 %.4175206, 1
  br label %75

75:                                               ; preds = %64, %55
  %.5176 = phi i32 [ %74, %64 ], [ %.4175206, %55 ]
  %76 = add nuw nsw i32 %.0182205, 1
  %exitcond224.not = icmp eq i32 %76, 256
  br i1 %exitcond224.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
  %.not189 = icmp eq i32 %.8, 0
  %.str.9..str.8 = select i1 %.not189, 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
  %.6177212 = phi i32 [ 0, %82 ], [ %.8, %88 ]
  %.0183211 = phi i32 [ 0, %82 ], [ %89, %88 ]
  %86 = trunc nuw i32 %.0183211 to i8
  %87 = call i8 @posit8_reinterpret(i8 noundef zeroext %86)
  br label %90

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

90:                                               ; preds = %85, %110
  %.7210 = phi i32 [ %.6177212, %85 ], [ %.8, %110 ]
  %.0184209 = phi i32 [ 0, %85 ], [ %111, %110 ]
  %91 = trunc nuw i32 %.0184209 to i8
  %92 = call i8 @posit8_reinterpret(i8 noundef zeroext %91)
  %93 = call i8 @posit8_mul(i8 %87, i8 %92)
  %94 = call float @posit8_tof(i8 %87) #6
  %95 = call float @posit8_tof(i8 %92) #6
  %96 = fmul float %94, %95
  %97 = call i8 @posit8_fromf(float noundef %96) #6
  %98 = call i32 @posit8_cmpp8(i8 %97, i8 %93) #6
  %.not198 = icmp eq i32 %98, 0
  br i1 %.not198, label %110, label %99

99:                                               ; preds = %90
  %100 = call zeroext i8 @posit8_bits(i8 %87)
  %101 = zext i8 %100 to i32
  %102 = call zeroext i8 @posit8_bits(i8 %92)
  %103 = zext i8 %102 to i32
  %104 = call zeroext i8 @posit8_bits(i8 %93)
  %105 = zext i8 %104 to i32
  %106 = call zeroext i8 @posit8_bits(i8 %97)
  %107 = zext i8 %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 %.7210, 1
  br label %110

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

112:                                              ; preds = %117
  %.not190 = icmp eq i32 %.11, 0
  %.str.12..str.11 = select i1 %.not190, 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
  %.9216 = phi i32 [ 0, %83 ], [ %.11, %117 ]
  %.0185215 = phi i32 [ 0, %83 ], [ %118, %117 ]
  %115 = trunc nuw i32 %.0185215 to i8
  %116 = call i8 @posit8_reinterpret(i8 noundef zeroext %115)
  br label %119

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

119:                                              ; preds = %114, %139
  %.10214 = phi i32 [ %.9216, %114 ], [ %.11, %139 ]
  %.0186213 = phi i32 [ 0, %114 ], [ %140, %139 ]
  %120 = trunc nuw i32 %.0186213 to i8
  %121 = call i8 @posit8_reinterpret(i8 noundef zeroext %120)
  %122 = call i8 @posit8_div(i8 %116, i8 %121)
  %123 = call float @posit8_tof(i8 %116) #6
  %124 = call float @posit8_tof(i8 %121) #6
  %125 = fdiv float %123, %124
  %126 = call i8 @posit8_fromf(float noundef %125) #6
  %127 = call i32 @posit8_cmpp8(i8 %126, i8 %122) #6
  %.not197 = icmp eq i32 %127, 0
  br i1 %.not197, label %139, label %128

128:                                              ; preds = %119
  %129 = call zeroext i8 @posit8_bits(i8 %116)
  %130 = zext i8 %129 to i32
  %131 = call zeroext i8 @posit8_bits(i8 %121)
  %132 = zext i8 %131 to i32
  %133 = call zeroext i8 @posit8_bits(i8 %122)
  %134 = zext i8 %133 to i32
  %135 = call zeroext i8 @posit8_bits(i8 %126)
  %136 = zext i8 %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 %.10214, 1
  br label %139

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

141:                                              ; preds = %160
  %.not191 = icmp eq i32 %.13, 0
  %.str.15..str.14 = select i1 %.not191, 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
  %.12218 = phi i32 [ 0, %112 ], [ %.13, %160 ]
  %.0187217 = phi i32 [ 0, %112 ], [ %161, %160 ]
  %144 = trunc nuw i32 %.0187217 to i8
  %145 = call i8 @posit8_reinterpret(i8 noundef zeroext %144)
  %146 = call i8 @posit8_sqrt(i8 %145) #6
  %147 = call double @posit8_tod(i8 %145) #6
  %148 = call double @sqrt(double noundef %147) #6
  %149 = call i8 @posit8_fromd(double noundef %148) #6
  %150 = call i32 @posit8_cmp(i8 %149, i8 %146)
  %.not196 = icmp eq i32 %150, 0
  br i1 %.not196, label %160, label %151

151:                                              ; preds = %143
  %152 = call zeroext i8 @posit8_bits(i8 %145)
  %153 = zext i8 %152 to i32
  %154 = call zeroext i8 @posit8_bits(i8 %146)
  %155 = zext i8 %154 to i32
  %156 = call zeroext i8 @posit8_bits(i8 %149)
  %157 = zext i8 %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 %.12218, 1
  br label %160

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

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

164:                                              ; preds = %141, %181
  %.14220 = phi i32 [ 0, %141 ], [ %.15, %181 ]
  %.0181219 = phi i32 [ 0, %141 ], [ %182, %181 ]
  %165 = trunc nuw i32 %.0181219 to i8
  %166 = call i8 @posit8_reinterpret(i8 noundef zeroext %165)
  %167 = call i8 @posit8_exp(i8 %166) #6
  %168 = call double @posit8_tod(i8 %166) #6
  %169 = call double @exp(double noundef %168) #6
  %170 = call i8 @posit8_fromd(double noundef %169) #6
  %171 = call i32 @posit8_cmp(i8 %170, i8 %167)
  %.not195 = icmp eq i32 %171, 0
  br i1 %.not195, label %181, label %172

172:                                              ; preds = %164
  %173 = call zeroext i8 @posit8_bits(i8 %166)
  %174 = zext i8 %173 to i32
  %175 = call zeroext i8 @posit8_bits(i8 %167)
  %176 = zext i8 %175 to i32
  %177 = call zeroext i8 @posit8_bits(i8 %170)
  %178 = zext i8 %177 to i32
  %179 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.16, i32 noundef %174, i32 noundef %176, i32 noundef %178)
  %180 = add nsw i32 %.14220, 1
  br label %181

181:                                              ; preds = %172, %164
  %.15 = phi i32 [ %180, %172 ], [ %.14220, %164 ]
  %182 = add nuw nsw i32 %.0181219, 1
  %exitcond231.not = icmp eq i32 %182, 256
  br i1 %exitcond231.not, label %162, label %164, !llvm.loop !18

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

191:                                              ; preds = %162, %208
  %.0170222 = phi i32 [ 0, %162 ], [ %209, %208 ]
  %.16221 = phi i32 [ 0, %162 ], [ %.17, %208 ]
  %192 = trunc nuw i32 %.0170222 to i8
  %193 = call i8 @posit8_reinterpret(i8 noundef zeroext %192)
  %194 = call i8 @posit8_log(i8 %193) #6
  %195 = call double @posit8_tod(i8 %193) #6
  %196 = call double @log(double noundef %195) #6
  %197 = call i8 @posit8_fromd(double noundef %196) #6
  %198 = call i32 @posit8_cmp(i8 %197, i8 %194)
  %.not194 = icmp eq i32 %198, 0
  br i1 %.not194, label %208, label %199

199:                                              ; preds = %191
  %200 = call zeroext i8 @posit8_bits(i8 %193)
  %201 = zext i8 %200 to i32
  %202 = call zeroext i8 @posit8_bits(i8 %194)
  %203 = zext i8 %202 to i32
  %204 = call zeroext i8 @posit8_bits(i8 %197)
  %205 = zext i8 %204 to i32
  %206 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.19, i32 noundef %201, i32 noundef %203, i32 noundef %205)
  %207 = add nsw i32 %.16221, 1
  br label %208

208:                                              ; preds = %199, %191
  %.17 = phi i32 [ %207, %199 ], [ %.16221, %191 ]
  %209 = add nuw nsw i32 %.0170222, 1
  %exitcond232.not = icmp eq i32 %209, 256
  br i1 %exitcond232.not, label %183, label %191, !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

declare i8 @posit8_addp8(i8, i8) 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 @posit8_str(ptr noundef, i8) local_unnamed_addr #2

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i8 @posit8_bits(i8) local_unnamed_addr #4

declare i8 @posit8_subp8(i8, i8) local_unnamed_addr #2

declare i8 @posit8_mulp8(i8, i8) local_unnamed_addr #2

declare i8 @posit8_divp8(i8, i8) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i8 @posit8_reinterpret(i8 noundef zeroext) local_unnamed_addr #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden i8 @posit8_add(i8, i8) local_unnamed_addr #4

declare float @posit8_tof(i8) local_unnamed_addr #2

declare i8 @posit8_fromf(float noundef) local_unnamed_addr #2

declare i32 @posit8_cmpp8(i8, i8) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i8 @posit8_sub(i8, i8) local_unnamed_addr #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden i8 @posit8_mul(i8, i8) local_unnamed_addr #4

; Function Attrs: inlinehint nounwind uwtable
declare hidden i8 @posit8_div(i8, i8) local_unnamed_addr #4

declare i8 @posit8_sqrt(i8) local_unnamed_addr #2

declare double @posit8_tod(i8) local_unnamed_addr #2

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

declare i8 @posit8_fromd(double noundef) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @posit8_cmp(i8, i8) local_unnamed_addr #4

declare i8 @posit8_exp(i8) local_unnamed_addr #2

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

declare i8 @posit8_log(i8) local_unnamed_addr #2

; 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 = { "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 = { 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 #4 = { 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 #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,SROAPass,SimplifyCFGPass,TailCallElimPass