; LLVM IR from Robert-van-Engelen/lisp :: src (lisp-pr-single)

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

%struct.anon = type { ptr, ptr, i32 }

@PRIM = external dso_local global i32, align 4
@ATOM = external dso_local global i32, align 4
@CONS = external dso_local global i32, align 4
@CLOS = external dso_local global i32, align 4
@MACR = external dso_local global i32, align 4
@NIL = external dso_local global i32, align 4
@sp = external dso_local global i32, align 4
@env = external dso_local global float, align 4
@nil = external dso_local global float, align 4
@prim = external dso_local global [43 x %struct.anon], align 16

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

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

; Function Attrs: nounwind uwtable
declare dso_local i32 @ord(float noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local float @err(i32 noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local ptr @push(float noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local void @unwind(i32 noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local float @pair(float noundef, float noundef, float noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local float @car(float noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local float @cdr(float noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local float @assoc(float noundef, float noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local float @evlis(float noundef, float noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local float @eval(float noundef, float noundef) #1

; Function Attrs: nounwind uwtable
define dso_local float @step(float noundef %0, float noundef %1) #1 {
  %3 = alloca float, align 4
  %4 = alloca float, align 4
  %5 = alloca ptr, align 8
  %6 = alloca float, align 4
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  store float %0, ptr %3, align 4, !tbaa !5
  store float %1, ptr %4, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #2
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #2
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #2
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #2
  %13 = load i32, ptr @sp, align 4, !tbaa !9
  store i32 %13, ptr %10, align 4, !tbaa !9
  %14 = load float, ptr @nil, align 4, !tbaa !5
  %15 = call ptr @push(float noundef %14)
  store ptr %15, ptr %5, align 8, !tbaa !11
  %16 = load float, ptr @nil, align 4, !tbaa !5
  %17 = call ptr @push(float noundef %16)
  store ptr %17, ptr %7, align 8, !tbaa !11
  %18 = load float, ptr @nil, align 4, !tbaa !5
  %19 = call ptr @push(float noundef %18)
  store ptr %19, ptr %8, align 8, !tbaa !11
  %20 = load float, ptr @nil, align 4, !tbaa !5
  %21 = call ptr @push(float noundef %20)
  store ptr %21, ptr %9, align 8, !tbaa !11
  br label %22

22:                                               ; preds = %303, %89, %2
  br label %23

23:                                               ; preds = %22
  %24 = load i32, ptr %3, align 4, !tbaa !9
  %25 = lshr i32 %24, 20
  %26 = load i32, ptr @ATOM, align 4, !tbaa !9
  %27 = icmp eq i32 %25, %26
  br i1 %27, label %28, label %32

28:                                               ; preds = %23
  %29 = load float, ptr %3, align 4, !tbaa !5
  %30 = load float, ptr %4, align 4, !tbaa !5
  %31 = call float @assoc(float noundef %29, float noundef %30)
  store float %31, ptr %3, align 4, !tbaa !5
  br label %304

32:                                               ; preds = %23
  %33 = load i32, ptr %3, align 4, !tbaa !9
  %34 = lshr i32 %33, 20
  %35 = load i32, ptr @CONS, align 4, !tbaa !9
  %36 = icmp ne i32 %34, %35
  br i1 %36, label %37, label %38

37:                                               ; preds = %32
  br label %304

38:                                               ; preds = %32
  %39 = load float, ptr %3, align 4, !tbaa !5
  %40 = call float @car(float noundef %39)
  %41 = load float, ptr %4, align 4, !tbaa !5
  %42 = call float @eval(float noundef %40, float noundef %41)
  %43 = load ptr, ptr %5, align 8, !tbaa !11
  store float %42, ptr %43, align 4, !tbaa !5
  %44 = load float, ptr %3, align 4, !tbaa !5
  %45 = call float @cdr(float noundef %44)
  store float %45, ptr %3, align 4, !tbaa !5
  %46 = load ptr, ptr %5, align 8, !tbaa !11
  %47 = load i32, ptr %46, align 4, !tbaa !9
  %48 = lshr i32 %47, 20
  %49 = load i32, ptr @PRIM, align 4, !tbaa !9
  %50 = icmp eq i32 %48, %49
  br i1 %50, label %51, label %91

51:                                               ; preds = %38
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #2
  %52 = load ptr, ptr %5, align 8, !tbaa !11
  %53 = load float, ptr %52, align 4, !tbaa !5
  %54 = call i32 @ord(float noundef %53)
  store i32 %54, ptr %11, align 4, !tbaa !9
  %55 = load i32, ptr %11, align 4, !tbaa !9
  %56 = zext i32 %55 to i64
  %57 = getelementptr inbounds [43 x %struct.anon], ptr @prim, i64 0, i64 %56
  %58 = getelementptr inbounds %struct.anon, ptr %57, i32 0, i32 2
  %59 = load i32, ptr %58, align 8, !tbaa !13
  %60 = and i32 %59, 1
  %61 = icmp ne i32 %60, 0
  br i1 %61, label %66, label %62

62:                                               ; preds = %51
  %63 = load float, ptr %3, align 4, !tbaa !5
  %64 = load float, ptr %4, align 4, !tbaa !5
  %65 = call float @evlis(float noundef %63, float noundef %64)
  store float %65, ptr %3, align 4, !tbaa !5
  br label %66

66:                                               ; preds = %62, %51
  %67 = load float, ptr %4, align 4, !tbaa !5
  %68 = load ptr, ptr %9, align 8, !tbaa !11
  store float %67, ptr %68, align 4, !tbaa !5
  %69 = load i32, ptr %11, align 4, !tbaa !9
  %70 = zext i32 %69 to i64
  %71 = getelementptr inbounds [43 x %struct.anon], ptr @prim, i64 0, i64 %70
  %72 = getelementptr inbounds %struct.anon, ptr %71, i32 0, i32 1
  %73 = load ptr, ptr %72, align 8, !tbaa !15
  %74 = load float, ptr %3, align 4, !tbaa !5
  %75 = load ptr, ptr %9, align 8, !tbaa !11
  %76 = call float %73(float noundef %74, ptr noundef %75)
  %77 = load ptr, ptr %8, align 8, !tbaa !11
  store float %76, ptr %77, align 4, !tbaa !5
  store float %76, ptr %3, align 4, !tbaa !5
  %78 = load ptr, ptr %9, align 8, !tbaa !11
  %79 = load float, ptr %78, align 4, !tbaa !5
  store float %79, ptr %4, align 4, !tbaa !5
  %80 = load i32, ptr %11, align 4, !tbaa !9
  %81 = zext i32 %80 to i64
  %82 = getelementptr inbounds [43 x %struct.anon], ptr @prim, i64 0, i64 %81
  %83 = getelementptr inbounds %struct.anon, ptr %82, i32 0, i32 2
  %84 = load i32, ptr %83, align 8, !tbaa !13
  %85 = and i32 %84, 2
  %86 = icmp ne i32 %85, 0
  br i1 %86, label %87, label %88

87:                                               ; preds = %66
  store i32 2, ptr %12, align 4
  br label %89

88:                                               ; preds = %66
  store i32 3, ptr %12, align 4
  br label %89

89:                                               ; preds = %88, %87
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #2
  %90 = load i32, ptr %12, align 4
  switch i32 %90, label %307 [
    i32 2, label %22
    i32 3, label %304
  ]

91:                                               ; preds = %38
  %92 = load ptr, ptr %5, align 8, !tbaa !11
  %93 = load i32, ptr %92, align 4, !tbaa !9
  %94 = lshr i32 %93, 20
  %95 = load i32, ptr @CLOS, align 4, !tbaa !9
  %96 = load i32, ptr @MACR, align 4, !tbaa !9
  %97 = xor i32 %95, %96
  %98 = xor i32 %97, -1
  %99 = and i32 %94, %98
  %100 = load i32, ptr @CLOS, align 4, !tbaa !9
  %101 = icmp ne i32 %99, %100
  br i1 %101, label %102, label %104

102:                                              ; preds = %91
  %103 = call float @err(i32 noundef 4)
  br label %104

104:                                              ; preds = %102, %91
  %105 = load ptr, ptr %5, align 8, !tbaa !11
  %106 = load i32, ptr %105, align 4, !tbaa !9
  %107 = lshr i32 %106, 20
  %108 = load i32, ptr @CLOS, align 4, !tbaa !9
  %109 = icmp eq i32 %107, %108
  br i1 %109, label %110, label %245

110:                                              ; preds = %104
  %111 = load ptr, ptr %5, align 8, !tbaa !11
  %112 = load float, ptr %111, align 4, !tbaa !5
  %113 = call float @cdr(float noundef %112)
  %114 = load ptr, ptr %7, align 8, !tbaa !11
  store float %113, ptr %114, align 4, !tbaa !5
  %115 = load ptr, ptr %7, align 8, !tbaa !11
  %116 = load i32, ptr %115, align 4, !tbaa !9
  %117 = lshr i32 %116, 20
  %118 = load i32, ptr @NIL, align 4, !tbaa !9
  %119 = icmp eq i32 %117, %118
  br i1 %119, label %120, label %123

120:                                              ; preds = %110
  %121 = load float, ptr @env, align 4, !tbaa !5
  %122 = load ptr, ptr %7, align 8, !tbaa !11
  store float %121, ptr %122, align 4, !tbaa !5
  br label %123

123:                                              ; preds = %120, %110
  %124 = load ptr, ptr %5, align 8, !tbaa !11
  %125 = load float, ptr %124, align 4, !tbaa !5
  %126 = call float @car(float noundef %125)
  %127 = call float @car(float noundef %126)
  store float %127, ptr %6, align 4, !tbaa !5
  br label %128

128:                                              ; preds = %140, %123
  %129 = load i32, ptr %6, align 4, !tbaa !9
  %130 = lshr i32 %129, 20
  %131 = load i32, ptr @CONS, align 4, !tbaa !9
  %132 = icmp eq i32 %130, %131
  br i1 %132, label %133, label %138

133:                                              ; preds = %128
  %134 = load i32, ptr %3, align 4, !tbaa !9
  %135 = lshr i32 %134, 20
  %136 = load i32, ptr @CONS, align 4, !tbaa !9
  %137 = icmp eq i32 %135, %136
  br label %138

138:                                              ; preds = %133, %128
  %139 = phi i1 [ false, %128 ], [ %137, %133 ]
  br i1 %139, label %140, label %155

140:                                              ; preds = %138
  %141 = load float, ptr %6, align 4, !tbaa !5
  %142 = call float @car(float noundef %141)
  %143 = load float, ptr %3, align 4, !tbaa !5
  %144 = call float @car(float noundef %143)
  %145 = load float, ptr %4, align 4, !tbaa !5
  %146 = call float @eval(float noundef %144, float noundef %145)
  %147 = load ptr, ptr %7, align 8, !tbaa !11
  %148 = load float, ptr %147, align 4, !tbaa !5
  %149 = call float @pair(float noundef %142, float noundef %146, float noundef %148)
  %150 = load ptr, ptr %7, align 8, !tbaa !11
  store float %149, ptr %150, align 4, !tbaa !5
  %151 = load float, ptr %6, align 4, !tbaa !5
  %152 = call float @cdr(float noundef %151)
  store float %152, ptr %6, align 4, !tbaa !5
  %153 = load float, ptr %3, align 4, !tbaa !5
  %154 = call float @cdr(float noundef %153)
  store float %154, ptr %3, align 4, !tbaa !5
  br label %128, !llvm.loop !16

155:                                              ; preds = %138
  %156 = load i32, ptr %6, align 4, !tbaa !9
  %157 = lshr i32 %156, 20
  %158 = load i32, ptr @CONS, align 4, !tbaa !9
  %159 = icmp eq i32 %157, %158
  br i1 %159, label %160, label %204

160:                                              ; preds = %155
  %161 = load float, ptr %3, align 4, !tbaa !5
  %162 = load float, ptr %4, align 4, !tbaa !5
  %163 = call float @eval(float noundef %161, float noundef %162)
  %164 = load ptr, ptr %8, align 8, !tbaa !11
  store float %163, ptr %164, align 4, !tbaa !5
  br label %165

165:                                              ; preds = %178, %160
  %166 = load i32, ptr %6, align 4, !tbaa !9
  %167 = lshr i32 %166, 20
  %168 = load i32, ptr @CONS, align 4, !tbaa !9
  %169 = icmp eq i32 %167, %168
  br i1 %169, label %170, label %176

170:                                              ; preds = %165
  %171 = load ptr, ptr %8, align 8, !tbaa !11
  %172 = load i32, ptr %171, align 4, !tbaa !9
  %173 = lshr i32 %172, 20
  %174 = load i32, ptr @CONS, align 4, !tbaa !9
  %175 = icmp eq i32 %173, %174
  br label %176

176:                                              ; preds = %170, %165
  %177 = phi i1 [ false, %165 ], [ %175, %170 ]
  br i1 %177, label %178, label %194

178:                                              ; preds = %176
  %179 = load float, ptr %6, align 4, !tbaa !5
  %180 = call float @car(float noundef %179)
  %181 = load ptr, ptr %8, align 8, !tbaa !11
  %182 = load float, ptr %181, align 4, !tbaa !5
  %183 = call float @car(float noundef %182)
  %184 = load ptr, ptr %7, align 8, !tbaa !11
  %185 = load float, ptr %184, align 4, !tbaa !5
  %186 = call float @pair(float noundef %180, float noundef %183, float noundef %185)
  %187 = load ptr, ptr %7, align 8, !tbaa !11
  store float %186, ptr %187, align 4, !tbaa !5
  %188 = load float, ptr %6, align 4, !tbaa !5
  %189 = call float @cdr(float noundef %188)
  store float %189, ptr %6, align 4, !tbaa !5
  %190 = load ptr, ptr %8, align 8, !tbaa !11
  %191 = load float, ptr %190, align 4, !tbaa !5
  %192 = call float @cdr(float noundef %191)
  %193 = load ptr, ptr %8, align 8, !tbaa !11
  store float %192, ptr %193, align 4, !tbaa !5
  br label %165, !llvm.loop !18

194:                                              ; preds = %176
  %195 = load i32, ptr %6, align 4, !tbaa !9
  %196 = lshr i32 %195, 20
  %197 = load i32, ptr @CONS, align 4, !tbaa !9
  %198 = icmp eq i32 %196, %197
  br i1 %198, label %199, label %201

199:                                              ; preds = %194
  %200 = call float @err(i32 noundef 4)
  br label %201

201:                                              ; preds = %199, %194
  %202 = load ptr, ptr %8, align 8, !tbaa !11
  %203 = load float, ptr %202, align 4, !tbaa !5
  store float %203, ptr %3, align 4, !tbaa !5
  br label %224

204:                                              ; preds = %155
  %205 = load i32, ptr %3, align 4, !tbaa !9
  %206 = lshr i32 %205, 20
  %207 = load i32, ptr @CONS, align 4, !tbaa !9
  %208 = icmp eq i32 %206, %207
  br i1 %208, label %209, label %213

209:                                              ; preds = %204
  %210 = load float, ptr %3, align 4, !tbaa !5
  %211 = load float, ptr %4, align 4, !tbaa !5
  %212 = call float @evlis(float noundef %210, float noundef %211)
  store float %212, ptr %3, align 4, !tbaa !5
  br label %223

213:                                              ; preds = %204
  %214 = load i32, ptr %3, align 4, !tbaa !9
  %215 = lshr i32 %214, 20
  %216 = load i32, ptr @NIL, align 4, !tbaa !9
  %217 = icmp ne i32 %215, %216
  br i1 %217, label %218, label %222

218:                                              ; preds = %213
  %219 = load float, ptr %3, align 4, !tbaa !5
  %220 = load float, ptr %4, align 4, !tbaa !5
  %221 = call float @eval(float noundef %219, float noundef %220)
  store float %221, ptr %3, align 4, !tbaa !5
  br label %222

222:                                              ; preds = %218, %213
  br label %223

223:                                              ; preds = %222, %209
  br label %224

224:                                              ; preds = %223, %201
  %225 = load i32, ptr %6, align 4, !tbaa !9
  %226 = lshr i32 %225, 20
  %227 = load i32, ptr @NIL, align 4, !tbaa !9
  %228 = icmp ne i32 %226, %227
  br i1 %228, label %229, label %236

229:                                              ; preds = %224
  %230 = load float, ptr %6, align 4, !tbaa !5
  %231 = load float, ptr %3, align 4, !tbaa !5
  %232 = load ptr, ptr %7, align 8, !tbaa !11
  %233 = load float, ptr %232, align 4, !tbaa !5
  %234 = call float @pair(float noundef %230, float noundef %231, float noundef %233)
  %235 = load ptr, ptr %7, align 8, !tbaa !11
  store float %234, ptr %235, align 4, !tbaa !5
  br label %236

236:                                              ; preds = %229, %224
  %237 = load ptr, ptr %5, align 8, !tbaa !11
  %238 = load float, ptr %237, align 4, !tbaa !5
  %239 = call float @car(float noundef %238)
  %240 = call float @cdr(float noundef %239)
  %241 = load ptr, ptr %8, align 8, !tbaa !11
  store float %240, ptr %241, align 4, !tbaa !5
  store float %240, ptr %3, align 4, !tbaa !5
  %242 = load ptr, ptr %7, align 8, !tbaa !11
  %243 = load float, ptr %242, align 4, !tbaa !5
  %244 = load ptr, ptr %9, align 8, !tbaa !11
  store float %243, ptr %244, align 4, !tbaa !5
  store float %243, ptr %4, align 4, !tbaa !5
  br label %303

245:                                              ; preds = %104
  %246 = load float, ptr @env, align 4, !tbaa !5
  %247 = load ptr, ptr %7, align 8, !tbaa !11
  store float %246, ptr %247, align 4, !tbaa !5
  %248 = load ptr, ptr %5, align 8, !tbaa !11
  %249 = load float, ptr %248, align 4, !tbaa !5
  %250 = call float @car(float noundef %249)
  store float %250, ptr %6, align 4, !tbaa !5
  br label %251

251:                                              ; preds = %263, %245
  %252 = load i32, ptr %6, align 4, !tbaa !9
  %253 = lshr i32 %252, 20
  %254 = load i32, ptr @CONS, align 4, !tbaa !9
  %255 = icmp eq i32 %253, %254
  br i1 %255, label %256, label %261

256:                                              ; preds = %251
  %257 = load i32, ptr %3, align 4, !tbaa !9
  %258 = lshr i32 %257, 20
  %259 = load i32, ptr @CONS, align 4, !tbaa !9
  %260 = icmp eq i32 %258, %259
  br label %261

261:                                              ; preds = %256, %251
  %262 = phi i1 [ false, %251 ], [ %260, %256 ]
  br i1 %262, label %263, label %276

263:                                              ; preds = %261
  %264 = load float, ptr %6, align 4, !tbaa !5
  %265 = call float @car(float noundef %264)
  %266 = load float, ptr %3, align 4, !tbaa !5
  %267 = call float @car(float noundef %266)
  %268 = load ptr, ptr %7, align 8, !tbaa !11
  %269 = load float, ptr %268, align 4, !tbaa !5
  %270 = call float @pair(float noundef %265, float noundef %267, float noundef %269)
  %271 = load ptr, ptr %7, align 8, !tbaa !11
  store float %270, ptr %271, align 4, !tbaa !5
  %272 = load float, ptr %6, align 4, !tbaa !5
  %273 = call float @cdr(float noundef %272)
  store float %273, ptr %6, align 4, !tbaa !5
  %274 = load float, ptr %3, align 4, !tbaa !5
  %275 = call float @cdr(float noundef %274)
  store float %275, ptr %3, align 4, !tbaa !5
  br label %251, !llvm.loop !19

276:                                              ; preds = %261
  %277 = load i32, ptr %6, align 4, !tbaa !9
  %278 = lshr i32 %277, 20
  %279 = load i32, ptr @CONS, align 4, !tbaa !9
  %280 = icmp eq i32 %278, %279
  br i1 %280, label %281, label %283

281:                                              ; preds = %276
  %282 = call float @err(i32 noundef 4)
  br label %283

283:                                              ; preds = %281, %276
  %284 = load i32, ptr %6, align 4, !tbaa !9
  %285 = lshr i32 %284, 20
  %286 = load i32, ptr @NIL, align 4, !tbaa !9
  %287 = icmp ne i32 %285, %286
  br i1 %287, label %288, label %295

288:                                              ; preds = %283
  %289 = load float, ptr %6, align 4, !tbaa !5
  %290 = load float, ptr %3, align 4, !tbaa !5
  %291 = load ptr, ptr %7, align 8, !tbaa !11
  %292 = load float, ptr %291, align 4, !tbaa !5
  %293 = call float @pair(float noundef %289, float noundef %290, float noundef %292)
  %294 = load ptr, ptr %7, align 8, !tbaa !11
  store float %293, ptr %294, align 4, !tbaa !5
  br label %295

295:                                              ; preds = %288, %283
  %296 = load ptr, ptr %5, align 8, !tbaa !11
  %297 = load float, ptr %296, align 4, !tbaa !5
  %298 = call float @cdr(float noundef %297)
  %299 = load ptr, ptr %7, align 8, !tbaa !11
  %300 = load float, ptr %299, align 4, !tbaa !5
  %301 = call float @eval(float noundef %298, float noundef %300)
  %302 = load ptr, ptr %8, align 8, !tbaa !11
  store float %301, ptr %302, align 4, !tbaa !5
  store float %301, ptr %3, align 4, !tbaa !5
  br label %303

303:                                              ; preds = %295, %236
  br label %22

304:                                              ; preds = %89, %37, %28
  %305 = load i32, ptr %10, align 4, !tbaa !9
  call void @unwind(i32 noundef %305)
  %306 = load float, ptr %3, align 4, !tbaa !5
  store i32 1, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #2
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #2
  ret float %306

307:                                              ; preds = %89
  unreachable
}

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


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

%struct.anon = type { ptr, ptr, i32 }

@PRIM = external dso_local local_unnamed_addr global i32, align 4
@ATOM = external dso_local local_unnamed_addr global i32, align 4
@CONS = external dso_local local_unnamed_addr global i32, align 4
@CLOS = external dso_local local_unnamed_addr global i32, align 4
@MACR = external dso_local local_unnamed_addr global i32, align 4
@NIL = external dso_local local_unnamed_addr global i32, align 4
@sp = external dso_local local_unnamed_addr global i32, align 4
@env = external dso_local local_unnamed_addr global float, align 4
@nil = external dso_local local_unnamed_addr global float, align 4
@prim = external dso_local local_unnamed_addr global [43 x %struct.anon], align 16

; Function Attrs: nounwind uwtable
declare dso_local i32 @ord(float noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local float @err(i32 noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local ptr @push(float noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local void @unwind(i32 noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local float @pair(float noundef, float noundef, float noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local float @car(float noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local float @cdr(float noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local float @assoc(float noundef, float noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local float @evlis(float noundef, float noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local float @eval(float noundef, float noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
define dso_local float @step(float noundef %0, float noundef %1) local_unnamed_addr #0 {
  %3 = load i32, ptr @sp, align 4, !tbaa !5
  %4 = load float, ptr @nil, align 4, !tbaa !9
  %5 = tail call ptr @push(float noundef %4)
  %6 = load float, ptr @nil, align 4, !tbaa !9
  %7 = tail call ptr @push(float noundef %6)
  %8 = load float, ptr @nil, align 4, !tbaa !9
  %9 = tail call ptr @push(float noundef %8)
  %10 = load float, ptr @nil, align 4, !tbaa !9
  %11 = tail call ptr @push(float noundef %10)
  %12 = bitcast float %0 to i32
  %13 = lshr i32 %12, 20
  %14 = load i32, ptr @ATOM, align 4, !tbaa !5
  %15 = icmp eq i32 %13, %14
  br i1 %15, label %._crit_edge136, label %.lr.ph135

._crit_edge136:                                   ; preds = %.backedge, %2
  %.089.lcssa = phi float [ %1, %2 ], [ %.089.be, %.backedge ]
  %.088.lcssa = phi float [ %0, %2 ], [ %.088.be, %.backedge ]
  %16 = tail call float @assoc(float noundef %.088.lcssa, float noundef %.089.lcssa)
  br label %.loopexit

.lr.ph135:                                        ; preds = %2, %.backedge
  %17 = phi i32 [ %173, %.backedge ], [ %13, %2 ]
  %.088133 = phi float [ %.088.be, %.backedge ], [ %0, %2 ]
  %.089132 = phi float [ %.089.be, %.backedge ], [ %1, %2 ]
  %18 = load i32, ptr @CONS, align 4, !tbaa !5
  %.not = icmp eq i32 %17, %18
  br i1 %.not, label %19, label %.loopexit

19:                                               ; preds = %.lr.ph135
  %20 = tail call float @car(float noundef %.088133)
  %21 = tail call float @eval(float noundef %20, float noundef %.089132)
  store float %21, ptr %5, align 4, !tbaa !9
  %22 = tail call float @cdr(float noundef %.088133)
  %23 = load i32, ptr %5, align 4
  %24 = lshr i32 %23, 20
  %25 = load i32, ptr @PRIM, align 4, !tbaa !5
  %26 = icmp eq i32 %24, %25
  %27 = bitcast i32 %23 to float
  br i1 %26, label %28, label %44

28:                                               ; preds = %19
  %29 = tail call i32 @ord(float noundef %27)
  %30 = zext i32 %29 to i64
  %31 = getelementptr inbounds [43 x %struct.anon], ptr @prim, i64 0, i64 %30
  %32 = getelementptr inbounds i8, ptr %31, i64 16
  %33 = load i32, ptr %32, align 8, !tbaa !11
  %34 = and i32 %33, 1
  %.not103 = icmp eq i32 %34, 0
  br i1 %.not103, label %35, label %37

35:                                               ; preds = %28
  %36 = tail call float @evlis(float noundef %22, float noundef %.089132)
  br label %37

37:                                               ; preds = %35, %28
  %.1 = phi float [ %22, %28 ], [ %36, %35 ]
  store float %.089132, ptr %11, align 4, !tbaa !9
  %38 = getelementptr inbounds i8, ptr %31, i64 8
  %39 = load ptr, ptr %38, align 8, !tbaa !14
  %40 = tail call float %39(float noundef %.1, ptr noundef nonnull %11) #1
  store float %40, ptr %9, align 4, !tbaa !9
  %41 = load float, ptr %11, align 4, !tbaa !9
  %42 = load i32, ptr %32, align 8, !tbaa !11
  %43 = and i32 %42, 2
  %.not104 = icmp eq i32 %43, 0
  br i1 %.not104, label %.loopexit, label %.backedge

44:                                               ; preds = %19
  %45 = load i32, ptr @CLOS, align 4, !tbaa !5
  %46 = load i32, ptr @MACR, align 4, !tbaa !5
  %47 = xor i32 %45, %46
  %48 = xor i32 %47, -1
  %49 = and i32 %24, %48
  %.not99 = icmp eq i32 %49, %45
  br i1 %.not99, label %53, label %50

50:                                               ; preds = %44
  %51 = tail call float @err(i32 noundef 4)
  %.pre = load i32, ptr %5, align 4
  %.pre150 = load i32, ptr @CLOS, align 4, !tbaa !5
  %52 = bitcast i32 %.pre to float
  %.pre152 = lshr i32 %.pre, 20
  br label %53

53:                                               ; preds = %50, %44
  %.pre-phi = phi i32 [ %.pre152, %50 ], [ %24, %44 ]
  %54 = phi float [ %52, %50 ], [ %27, %44 ]
  %55 = phi i32 [ %.pre150, %50 ], [ %45, %44 ]
  %56 = icmp eq i32 %.pre-phi, %55
  br i1 %56, label %57, label %134

57:                                               ; preds = %53
  %58 = tail call float @cdr(float noundef %54)
  store float %58, ptr %7, align 4, !tbaa !9
  %.cast = bitcast float %58 to i32
  %59 = lshr i32 %.cast, 20
  %60 = load i32, ptr @NIL, align 4, !tbaa !5
  %61 = icmp eq i32 %59, %60
  br i1 %61, label %62, label %64

62:                                               ; preds = %57
  %63 = load float, ptr @env, align 4, !tbaa !9
  store float %63, ptr %7, align 4, !tbaa !9
  br label %64

64:                                               ; preds = %62, %57
  %65 = load float, ptr %5, align 4, !tbaa !9
  %66 = tail call float @car(float noundef %65)
  %67 = tail call float @car(float noundef %66)
  %68 = bitcast float %67 to i32
  %69 = lshr i32 %68, 20
  %70 = load i32, ptr @CONS, align 4
  %71 = icmp eq i32 %69, %70
  %72 = bitcast float %22 to i32
  %73 = lshr i32 %72, 20
  %74 = icmp eq i32 %73, %70
  %75 = select i1 %71, i1 %74, i1 false
  br i1 %75, label %.lr.ph121, label %._crit_edge122

.lr.ph121:                                        ; preds = %64, %.lr.ph121
  %.2119 = phi float [ %82, %.lr.ph121 ], [ %22, %64 ]
  %.091118 = phi float [ %81, %.lr.ph121 ], [ %67, %64 ]
  %76 = tail call float @car(float noundef %.091118)
  %77 = tail call float @car(float noundef %.2119)
  %78 = tail call float @eval(float noundef %77, float noundef %.089132)
  %79 = load float, ptr %7, align 4, !tbaa !9
  %80 = tail call float @pair(float noundef %76, float noundef %78, float noundef %79)
  store float %80, ptr %7, align 4, !tbaa !9
  %81 = tail call float @cdr(float noundef %.091118)
  %82 = tail call float @cdr(float noundef %.2119)
  %83 = bitcast float %81 to i32
  %84 = lshr i32 %83, 20
  %85 = load i32, ptr @CONS, align 4
  %86 = icmp eq i32 %84, %85
  %87 = bitcast float %82 to i32
  %88 = lshr i32 %87, 20
  %89 = icmp eq i32 %88, %85
  %90 = select i1 %86, i1 %89, i1 false
  br i1 %90, label %.lr.ph121, label %._crit_edge122, !llvm.loop !15

._crit_edge122:                                   ; preds = %.lr.ph121, %64
  %.091.lcssa = phi float [ %67, %64 ], [ %81, %.lr.ph121 ]
  %.2.lcssa = phi float [ %22, %64 ], [ %82, %.lr.ph121 ]
  %.lcssa108 = phi i1 [ %71, %64 ], [ %86, %.lr.ph121 ]
  %.lcssa107 = phi i32 [ %73, %64 ], [ %88, %.lr.ph121 ]
  %.lcssa106 = phi i1 [ %74, %64 ], [ %89, %.lr.ph121 ]
  br i1 %.lcssa108, label %91, label %116

91:                                               ; preds = %._crit_edge122
  %92 = tail call float @eval(float noundef %.2.lcssa, float noundef %.089132)
  store float %92, ptr %9, align 4, !tbaa !9
  %93 = bitcast float %.091.lcssa to i32
  %94 = lshr i32 %93, 20
  %95 = load i32, ptr @CONS, align 4, !tbaa !5
  %96 = icmp eq i32 %94, %95
  br i1 %96, label %.lr.ph130, label %.critedge

.lr.ph130:                                        ; preds = %91, %101
  %.in = phi float [ %109, %101 ], [ %92, %91 ]
  %97 = phi i32 [ %111, %101 ], [ %94, %91 ]
  %.192128 = phi float [ %107, %101 ], [ %.091.lcssa, %91 ]
  %98 = bitcast float %.in to i32
  %99 = lshr i32 %98, 20
  %100 = icmp eq i32 %99, %97
  br i1 %100, label %101, label %114

101:                                              ; preds = %.lr.ph130
  %102 = tail call float @car(float noundef %.192128)
  %103 = load float, ptr %9, align 4, !tbaa !9
  %104 = tail call float @car(float noundef %103)
  %105 = load float, ptr %7, align 4, !tbaa !9
  %106 = tail call float @pair(float noundef %102, float noundef %104, float noundef %105)
  store float %106, ptr %7, align 4, !tbaa !9
  %107 = tail call float @cdr(float noundef %.192128)
  %108 = load float, ptr %9, align 4, !tbaa !9
  %109 = tail call float @cdr(float noundef %108)
  store float %109, ptr %9, align 4, !tbaa !9
  %110 = bitcast float %107 to i32
  %111 = lshr i32 %110, 20
  %112 = load i32, ptr @CONS, align 4, !tbaa !5
  %113 = icmp eq i32 %111, %112
  br i1 %113, label %.lr.ph130, label %.critedge, !llvm.loop !17

114:                                              ; preds = %.lr.ph130
  %115 = tail call float @err(i32 noundef 4)
  %.pre151 = load float, ptr %9, align 4, !tbaa !9
  br label %.critedge

116:                                              ; preds = %._crit_edge122
  br i1 %.lcssa106, label %117, label %119

117:                                              ; preds = %116
  %118 = tail call float @evlis(float noundef %.2.lcssa, float noundef %.089132)
  br label %.critedge

119:                                              ; preds = %116
  %120 = load i32, ptr @NIL, align 4, !tbaa !5
  %.not101 = icmp eq i32 %.lcssa107, %120
  br i1 %.not101, label %.critedge, label %121

121:                                              ; preds = %119
  %122 = tail call float @eval(float noundef %.2.lcssa, float noundef %.089132)
  br label %.critedge

.critedge:                                        ; preds = %101, %114, %91, %117, %121, %119
  %.293 = phi float [ %.091.lcssa, %117 ], [ %.091.lcssa, %121 ], [ %.091.lcssa, %119 ], [ %.192128, %114 ], [ %.091.lcssa, %91 ], [ %107, %101 ]
  %.3 = phi float [ %118, %117 ], [ %122, %121 ], [ %.2.lcssa, %119 ], [ %.pre151, %114 ], [ %92, %91 ], [ %109, %101 ]
  %123 = bitcast float %.293 to i32
  %124 = lshr i32 %123, 20
  %125 = load i32, ptr @NIL, align 4, !tbaa !5
  %.not102 = icmp eq i32 %124, %125
  br i1 %.not102, label %129, label %126

126:                                              ; preds = %.critedge
  %127 = load float, ptr %7, align 4, !tbaa !9
  %128 = tail call float @pair(float noundef %.293, float noundef %.3, float noundef %127)
  store float %128, ptr %7, align 4, !tbaa !9
  br label %129

129:                                              ; preds = %126, %.critedge
  %130 = load float, ptr %5, align 4, !tbaa !9
  %131 = tail call float @car(float noundef %130)
  %132 = tail call float @cdr(float noundef %131)
  store float %132, ptr %9, align 4, !tbaa !9
  %133 = load float, ptr %7, align 4, !tbaa !9
  store float %133, ptr %11, align 4, !tbaa !9
  br label %.backedge

134:                                              ; preds = %53
  %135 = load float, ptr @env, align 4, !tbaa !9
  store float %135, ptr %7, align 4, !tbaa !9
  %136 = load float, ptr %5, align 4, !tbaa !9
  %137 = tail call float @car(float noundef %136)
  %138 = bitcast float %137 to i32
  %139 = lshr i32 %138, 20
  %140 = load i32, ptr @CONS, align 4
  %141 = icmp eq i32 %139, %140
  %142 = bitcast float %22 to i32
  %143 = lshr i32 %142, 20
  %144 = icmp eq i32 %143, %140
  %145 = select i1 %141, i1 %144, i1 false
  br i1 %145, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %134, %.lr.ph
  %.4114 = phi float [ %151, %.lr.ph ], [ %22, %134 ]
  %.394113 = phi float [ %150, %.lr.ph ], [ %137, %134 ]
  %146 = tail call float @car(float noundef %.394113)
  %147 = tail call float @car(float noundef %.4114)
  %148 = load float, ptr %7, align 4, !tbaa !9
  %149 = tail call float @pair(float noundef %146, float noundef %147, float noundef %148)
  store float %149, ptr %7, align 4, !tbaa !9
  %150 = tail call float @cdr(float noundef %.394113)
  %151 = tail call float @cdr(float noundef %.4114)
  %152 = bitcast float %150 to i32
  %153 = lshr i32 %152, 20
  %154 = load i32, ptr @CONS, align 4
  %155 = icmp eq i32 %153, %154
  %156 = bitcast float %151 to i32
  %157 = lshr i32 %156, 20
  %158 = icmp eq i32 %157, %154
  %159 = select i1 %155, i1 %158, i1 false
  br i1 %159, label %.lr.ph, label %._crit_edge, !llvm.loop !18

._crit_edge:                                      ; preds = %.lr.ph, %134
  %.394.lcssa = phi float [ %137, %134 ], [ %150, %.lr.ph ]
  %.4.lcssa = phi float [ %22, %134 ], [ %151, %.lr.ph ]
  %.lcssa105 = phi i32 [ %139, %134 ], [ %153, %.lr.ph ]
  %.lcssa = phi i1 [ %141, %134 ], [ %155, %.lr.ph ]
  br i1 %.lcssa, label %160, label %162

160:                                              ; preds = %._crit_edge
  %161 = tail call float @err(i32 noundef 4)
  br label %162

162:                                              ; preds = %160, %._crit_edge
  %163 = load i32, ptr @NIL, align 4, !tbaa !5
  %.not100 = icmp eq i32 %.lcssa105, %163
  br i1 %.not100, label %167, label %164

164:                                              ; preds = %162
  %165 = load float, ptr %7, align 4, !tbaa !9
  %166 = tail call float @pair(float noundef %.394.lcssa, float noundef %.4.lcssa, float noundef %165)
  store float %166, ptr %7, align 4, !tbaa !9
  br label %167

167:                                              ; preds = %164, %162
  %168 = load float, ptr %5, align 4, !tbaa !9
  %169 = tail call float @cdr(float noundef %168)
  %170 = load float, ptr %7, align 4, !tbaa !9
  %171 = tail call float @eval(float noundef %169, float noundef %170)
  store float %171, ptr %9, align 4, !tbaa !9
  br label %.backedge

.backedge:                                        ; preds = %129, %167, %37
  %.089.be = phi float [ %41, %37 ], [ %133, %129 ], [ %.089132, %167 ]
  %.088.be = phi float [ %40, %37 ], [ %132, %129 ], [ %171, %167 ]
  %172 = bitcast float %.088.be to i32
  %173 = lshr i32 %172, 20
  %174 = load i32, ptr @ATOM, align 4, !tbaa !5
  %175 = icmp eq i32 %173, %174
  br i1 %175, label %._crit_edge136, label %.lr.ph135

.loopexit:                                        ; preds = %37, %.lr.ph135, %._crit_edge136
  %.6 = phi float [ %16, %._crit_edge136 ], [ %40, %37 ], [ %.088133, %.lr.ph135 ]
  tail call void @unwind(i32 noundef %3)
  ret float %.6
}

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 = { 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 = !{!"float", !7, i64 0}
!11 = !{!12, !6, i64 16}
!12 = !{!"", !13, i64 0, !13, i64 8, !6, i64 16}
!13 = !{!"any pointer", !7, i64 0}
!14 = !{!12, !13, i64 8}
!15 = distinct !{!15, !16}
!16 = !{!"llvm.loop.mustprogress"}
!17 = distinct !{!17, !16}
!18 = distinct !{!18, !16}


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