; LLVM IR from mtsamis/box2d-optimized :: src/dynamics/b2_contact.ll (ZN9b2Contact6UpdateEP17b2ContactListener)

; 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.b2Manifold = type { [2 x %struct.b2ManifoldPoint], %struct.b2Vec2, %struct.b2Vec2, i32, i32 }
%struct.b2ManifoldPoint = type { %struct.b2Vec2, float, float, %union.b2ContactID }
%union.b2ContactID = type { i32 }
%struct.b2Vec2 = type { float, float }
%class.b2Contact = type { ptr, ptr, ptr, ptr, ptr, %struct.b2Manifold, i32, i32, float, float, float, float }

; 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: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK9b2Fixture8IsSensorEv(ptr noundef nonnull align 8 dereferenceable(84)) #1 align 2

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN6b2Body8SetAwakeEb(ptr noundef nonnull align 8 dereferenceable(208), i1 noundef zeroext) #2 align 2

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN9b2Contact6UpdateEP17b2ContactListener(ptr noundef nonnull align 8 dereferenceable(128) %0, ptr noundef %1) #3 align 2 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca %struct.b2Manifold, align 4
  %6 = alloca i8, align 1
  %7 = alloca i8, align 1
  %8 = alloca i8, align 1
  %9 = alloca i8, align 1
  %10 = alloca i8, align 1
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca ptr, align 8
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca ptr, align 8
  %20 = alloca %union.b2ContactID, align 4
  %21 = alloca i32, align 4
  %22 = alloca ptr, align 8
  store ptr %0, ptr %3, align 8, !tbaa !5
  store ptr %1, ptr %4, align 8, !tbaa !5
  %23 = load ptr, ptr %3, align 8
  call void @llvm.lifetime.start.p0(i64 64, ptr %5) #6
  %24 = getelementptr inbounds %class.b2Contact, ptr %23, i32 0, i32 5
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %5, ptr align 8 %24, i64 64, i1 false), !tbaa.struct !9
  %25 = getelementptr inbounds %class.b2Contact, ptr %23, i32 0, i32 6
  %26 = load i32, ptr %25, align 8, !tbaa !17
  %27 = or i32 %26, 16
  store i32 %27, ptr %25, align 8, !tbaa !17
  call void @llvm.lifetime.start.p0(i64 1, ptr %6) #6
  store i8 0, ptr %6, align 1, !tbaa !21
  call void @llvm.lifetime.start.p0(i64 1, ptr %7) #6
  %28 = call noundef zeroext i1 @_ZNK9b2Contact10IsTouchingEv(ptr noundef nonnull align 8 dereferenceable(128) %23)
  %29 = zext i1 %28 to i8
  store i8 %29, ptr %7, align 1, !tbaa !21
  call void @llvm.lifetime.start.p0(i64 1, ptr %8) #6
  %30 = getelementptr inbounds %class.b2Contact, ptr %23, i32 0, i32 3
  %31 = load ptr, ptr %30, align 8, !tbaa !23
  %32 = call noundef zeroext i1 @_ZNK9b2Fixture8IsSensorEv(ptr noundef nonnull align 8 dereferenceable(84) %31)
  %33 = zext i1 %32 to i8
  store i8 %33, ptr %8, align 1, !tbaa !21
  call void @llvm.lifetime.start.p0(i64 1, ptr %9) #6
  %34 = getelementptr inbounds %class.b2Contact, ptr %23, i32 0, i32 4
  %35 = load ptr, ptr %34, align 8, !tbaa !24
  %36 = call noundef zeroext i1 @_ZNK9b2Fixture8IsSensorEv(ptr noundef nonnull align 8 dereferenceable(84) %35)
  %37 = zext i1 %36 to i8
  store i8 %37, ptr %9, align 1, !tbaa !21
  call void @llvm.lifetime.start.p0(i64 1, ptr %10) #6
  %38 = load i8, ptr %8, align 1, !tbaa !21, !range !25, !noundef !26
  %39 = trunc i8 %38 to i1
  br i1 %39, label %43, label %40

40:                                               ; preds = %2
  %41 = load i8, ptr %9, align 1, !tbaa !21, !range !25, !noundef !26
  %42 = trunc i8 %41 to i1
  br label %43

43:                                               ; preds = %40, %2
  %44 = phi i1 [ true, %2 ], [ %42, %40 ]
  %45 = zext i1 %44 to i8
  store i8 %45, ptr %10, align 1, !tbaa !21
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #6
  %46 = getelementptr inbounds %class.b2Contact, ptr %23, i32 0, i32 3
  %47 = load ptr, ptr %46, align 8, !tbaa !23
  %48 = call noundef ptr @_ZN9b2Fixture7GetBodyEv(ptr noundef nonnull align 8 dereferenceable(84) %47)
  store ptr %48, ptr %11, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #6
  %49 = getelementptr inbounds %class.b2Contact, ptr %23, i32 0, i32 4
  %50 = load ptr, ptr %49, align 8, !tbaa !24
  %51 = call noundef ptr @_ZN9b2Fixture7GetBodyEv(ptr noundef nonnull align 8 dereferenceable(84) %50)
  store ptr %51, ptr %12, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #6
  %52 = load ptr, ptr %11, align 8, !tbaa !5
  %53 = call noundef nonnull align 4 dereferenceable(16) ptr @_ZNK6b2Body12GetTransformEv(ptr noundef nonnull align 8 dereferenceable(208) %52)
  store ptr %53, ptr %13, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #6
  %54 = load ptr, ptr %12, align 8, !tbaa !5
  %55 = call noundef nonnull align 4 dereferenceable(16) ptr @_ZNK6b2Body12GetTransformEv(ptr noundef nonnull align 8 dereferenceable(208) %54)
  store ptr %55, ptr %14, align 8, !tbaa !5
  %56 = load i8, ptr %10, align 1, !tbaa !21, !range !25, !noundef !26
  %57 = trunc i8 %56 to i1
  br i1 %57, label %58, label %73

58:                                               ; preds = %43
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #6
  %59 = getelementptr inbounds %class.b2Contact, ptr %23, i32 0, i32 3
  %60 = load ptr, ptr %59, align 8, !tbaa !23
  %61 = call noundef ptr @_ZN9b2Fixture8GetShapeEv(ptr noundef nonnull align 8 dereferenceable(84) %60)
  store ptr %61, ptr %15, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #6
  %62 = getelementptr inbounds %class.b2Contact, ptr %23, i32 0, i32 4
  %63 = load ptr, ptr %62, align 8, !tbaa !24
  %64 = call noundef ptr @_ZN9b2Fixture8GetShapeEv(ptr noundef nonnull align 8 dereferenceable(84) %63)
  store ptr %64, ptr %16, align 8, !tbaa !5
  %65 = load ptr, ptr %15, align 8, !tbaa !5
  %66 = load ptr, ptr %16, align 8, !tbaa !5
  %67 = load ptr, ptr %13, align 8, !tbaa !5
  %68 = load ptr, ptr %14, align 8, !tbaa !5
  %69 = call noundef zeroext i1 @_Z13b2TestOverlapPK7b2ShapeS1_RK11b2TransformS4_(ptr noundef %65, ptr noundef %66, ptr noundef nonnull align 4 dereferenceable(16) %67, ptr noundef nonnull align 4 dereferenceable(16) %68)
  %70 = zext i1 %69 to i8
  store i8 %70, ptr %6, align 1, !tbaa !21
  %71 = getelementptr inbounds %class.b2Contact, ptr %23, i32 0, i32 5
  %72 = getelementptr inbounds %struct.b2Manifold, ptr %71, i32 0, i32 4
  store i32 0, ptr %72, align 4, !tbaa !27
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #6
  br label %154

73:                                               ; preds = %43
  %74 = getelementptr inbounds %class.b2Contact, ptr %23, i32 0, i32 5
  %75 = load ptr, ptr %13, align 8, !tbaa !5
  %76 = load ptr, ptr %14, align 8, !tbaa !5
  call void @_ZN9b2Contact8EvaluateEP10b2ManifoldRK11b2TransformS4_(ptr noundef nonnull align 8 dereferenceable(128) %23, ptr noundef %74, ptr noundef nonnull align 4 dereferenceable(16) %75, ptr noundef nonnull align 4 dereferenceable(16) %76)
  %77 = getelementptr inbounds %class.b2Contact, ptr %23, i32 0, i32 5
  %78 = getelementptr inbounds %struct.b2Manifold, ptr %77, i32 0, i32 4
  %79 = load i32, ptr %78, align 4, !tbaa !27
  %80 = icmp sgt i32 %79, 0
  %81 = zext i1 %80 to i8
  store i8 %81, ptr %6, align 1, !tbaa !21
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #6
  store i32 0, ptr %17, align 4, !tbaa !15
  br label %82

82:                                               ; preds = %139, %73
  %83 = load i32, ptr %17, align 4, !tbaa !15
  %84 = getelementptr inbounds %class.b2Contact, ptr %23, i32 0, i32 5
  %85 = getelementptr inbounds %struct.b2Manifold, ptr %84, i32 0, i32 4
  %86 = load i32, ptr %85, align 4, !tbaa !27
  %87 = icmp slt i32 %83, %86
  br i1 %87, label %89, label %88

88:                                               ; preds = %82
  store i32 2, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #6
  br label %142

89:                                               ; preds = %82
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #6
  %90 = getelementptr inbounds %class.b2Contact, ptr %23, i32 0, i32 5
  %91 = getelementptr inbounds %struct.b2Manifold, ptr %90, i32 0, i32 0
  %92 = getelementptr inbounds [2 x %struct.b2ManifoldPoint], ptr %91, i64 0, i64 0
  %93 = load i32, ptr %17, align 4, !tbaa !15
  %94 = sext i32 %93 to i64
  %95 = getelementptr inbounds %struct.b2ManifoldPoint, ptr %92, i64 %94
  store ptr %95, ptr %19, align 8, !tbaa !5
  %96 = load ptr, ptr %19, align 8, !tbaa !5
  %97 = getelementptr inbounds %struct.b2ManifoldPoint, ptr %96, i32 0, i32 1
  store float 0.000000e+00, ptr %97, align 4, !tbaa !28
  %98 = load ptr, ptr %19, align 8, !tbaa !5
  %99 = getelementptr inbounds %struct.b2ManifoldPoint, ptr %98, i32 0, i32 2
  store float 0.000000e+00, ptr %99, align 4, !tbaa !30
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #6
  %100 = load ptr, ptr %19, align 8, !tbaa !5
  %101 = getelementptr inbounds %struct.b2ManifoldPoint, ptr %100, i32 0, i32 3
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %20, ptr align 4 %101, i64 4, i1 false), !tbaa.struct !31
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #6
  store i32 0, ptr %21, align 4, !tbaa !15
  br label %102

102:                                              ; preds = %134, %89
  %103 = load i32, ptr %21, align 4, !tbaa !15
  %104 = getelementptr inbounds %struct.b2Manifold, ptr %5, i32 0, i32 4
  %105 = load i32, ptr %104, align 4, !tbaa !32
  %106 = icmp slt i32 %103, %105
  br i1 %106, label %108, label %107

107:                                              ; preds = %102
  store i32 5, ptr %18, align 4
  br label %137

108:                                              ; preds = %102
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #6
  %109 = getelementptr inbounds %struct.b2Manifold, ptr %5, i32 0, i32 0
  %110 = getelementptr inbounds [2 x %struct.b2ManifoldPoint], ptr %109, i64 0, i64 0
  %111 = load i32, ptr %21, align 4, !tbaa !15
  %112 = sext i32 %111 to i64
  %113 = getelementptr inbounds %struct.b2ManifoldPoint, ptr %110, i64 %112
  store ptr %113, ptr %22, align 8, !tbaa !5
  %114 = load ptr, ptr %22, align 8, !tbaa !5
  %115 = getelementptr inbounds %struct.b2ManifoldPoint, ptr %114, i32 0, i32 3
  %116 = load i32, ptr %115, align 4, !tbaa !10
  %117 = load i32, ptr %20, align 4, !tbaa !10
  %118 = icmp eq i32 %116, %117
  br i1 %118, label %119, label %130

119:                                              ; preds = %108
  %120 = load ptr, ptr %22, align 8, !tbaa !5
  %121 = getelementptr inbounds %struct.b2ManifoldPoint, ptr %120, i32 0, i32 1
  %122 = load float, ptr %121, align 4, !tbaa !28
  %123 = load ptr, ptr %19, align 8, !tbaa !5
  %124 = getelementptr inbounds %struct.b2ManifoldPoint, ptr %123, i32 0, i32 1
  store float %122, ptr %124, align 4, !tbaa !28
  %125 = load ptr, ptr %22, align 8, !tbaa !5
  %126 = getelementptr inbounds %struct.b2ManifoldPoint, ptr %125, i32 0, i32 2
  %127 = load float, ptr %126, align 4, !tbaa !30
  %128 = load ptr, ptr %19, align 8, !tbaa !5
  %129 = getelementptr inbounds %struct.b2ManifoldPoint, ptr %128, i32 0, i32 2
  store float %127, ptr %129, align 4, !tbaa !30
  store i32 5, ptr %18, align 4
  br label %131

130:                                              ; preds = %108
  store i32 0, ptr %18, align 4
  br label %131

131:                                              ; preds = %130, %119
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #6
  %132 = load i32, ptr %18, align 4
  switch i32 %132, label %137 [
    i32 0, label %133
  ]

133:                                              ; preds = %131
  br label %134

134:                                              ; preds = %133
  %135 = load i32, ptr %21, align 4, !tbaa !15
  %136 = add nsw i32 %135, 1
  store i32 %136, ptr %21, align 4, !tbaa !15
  br label %102, !llvm.loop !33

137:                                              ; preds = %131, %107
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #6
  br label %138

138:                                              ; preds = %137
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #6
  br label %139

139:                                              ; preds = %138
  %140 = load i32, ptr %17, align 4, !tbaa !15
  %141 = add nsw i32 %140, 1
  store i32 %141, ptr %17, align 4, !tbaa !15
  br label %82, !llvm.loop !35

142:                                              ; preds = %88
  %143 = load i8, ptr %6, align 1, !tbaa !21, !range !25, !noundef !26
  %144 = trunc i8 %143 to i1
  %145 = zext i1 %144 to i32
  %146 = load i8, ptr %7, align 1, !tbaa !21, !range !25, !noundef !26
  %147 = trunc i8 %146 to i1
  %148 = zext i1 %147 to i32
  %149 = icmp ne i32 %145, %148
  br i1 %149, label %150, label %153

150:                                              ; preds = %142
  %151 = load ptr, ptr %11, align 8, !tbaa !5
  call void @_ZN6b2Body8SetAwakeEb(ptr noundef nonnull align 8 dereferenceable(208) %151, i1 noundef zeroext true)
  %152 = load ptr, ptr %12, align 8, !tbaa !5
  call void @_ZN6b2Body8SetAwakeEb(ptr noundef nonnull align 8 dereferenceable(208) %152, i1 noundef zeroext true)
  br label %153

153:                                              ; preds = %150, %142
  br label %154

154:                                              ; preds = %153, %58
  %155 = load i8, ptr %6, align 1, !tbaa !21, !range !25, !noundef !26
  %156 = trunc i8 %155 to i1
  br i1 %156, label %157, label %161

157:                                              ; preds = %154
  %158 = getelementptr inbounds %class.b2Contact, ptr %23, i32 0, i32 6
  %159 = load i32, ptr %158, align 8, !tbaa !17
  %160 = or i32 %159, 8
  store i32 %160, ptr %158, align 8, !tbaa !17
  br label %165

161:                                              ; preds = %154
  %162 = getelementptr inbounds %class.b2Contact, ptr %23, i32 0, i32 6
  %163 = load i32, ptr %162, align 8, !tbaa !17
  %164 = and i32 %163, -9
  store i32 %164, ptr %162, align 8, !tbaa !17
  br label %165

165:                                              ; preds = %161, %157
  %166 = load ptr, ptr %4, align 8, !tbaa !5
  %167 = icmp ne ptr %166, null
  br i1 %167, label %168, label %214

168:                                              ; preds = %165
  %169 = load i8, ptr %7, align 1, !tbaa !21, !range !25, !noundef !26
  %170 = trunc i8 %169 to i1
  %171 = zext i1 %170 to i32
  %172 = icmp eq i32 %171, 0
  br i1 %172, label %173, label %183

173:                                              ; preds = %168
  %174 = load i8, ptr %6, align 1, !tbaa !21, !range !25, !noundef !26
  %175 = trunc i8 %174 to i1
  %176 = zext i1 %175 to i32
  %177 = icmp eq i32 %176, 1
  br i1 %177, label %178, label %183

178:                                              ; preds = %173
  %179 = load ptr, ptr %4, align 8, !tbaa !5
  %180 = load ptr, ptr %179, align 8, !tbaa !36
  %181 = getelementptr inbounds ptr, ptr %180, i64 2
  %182 = load ptr, ptr %181, align 8
  call void %182(ptr noundef nonnull align 8 dereferenceable(8) %179, ptr noundef %23)
  br label %183

183:                                              ; preds = %178, %173, %168
  %184 = load i8, ptr %7, align 1, !tbaa !21, !range !25, !noundef !26
  %185 = trunc i8 %184 to i1
  %186 = zext i1 %185 to i32
  %187 = icmp eq i32 %186, 1
  br i1 %187, label %188, label %198

188:                                              ; preds = %183
  %189 = load i8, ptr %6, align 1, !tbaa !21, !range !25, !noundef !26
  %190 = trunc i8 %189 to i1
  %191 = zext i1 %190 to i32
  %192 = icmp eq i32 %191, 0
  br i1 %192, label %193, label %198

193:                                              ; preds = %188
  %194 = load ptr, ptr %4, align 8, !tbaa !5
  %195 = load ptr, ptr %194, align 8, !tbaa !36
  %196 = getelementptr inbounds ptr, ptr %195, i64 3
  %197 = load ptr, ptr %196, align 8
  call void %197(ptr noundef nonnull align 8 dereferenceable(8) %194, ptr noundef %23)
  br label %198

198:                                              ; preds = %193, %188, %183
  %199 = load i8, ptr %10, align 1, !tbaa !21, !range !25, !noundef !26
  %200 = trunc i8 %199 to i1
  %201 = zext i1 %200 to i32
  %202 = icmp eq i32 %201, 0
  br i1 %202, label %203, label %213

203:                                              ; preds = %198
  %204 = load i8, ptr %6, align 1, !tbaa !21, !range !25, !noundef !26
  %205 = trunc i8 %204 to i1
  %206 = zext i1 %205 to i32
  %207 = icmp eq i32 %206, 1
  br i1 %207, label %208, label %213

208:                                              ; preds = %203
  %209 = load ptr, ptr %4, align 8, !tbaa !5
  %210 = load ptr, ptr %209, align 8, !tbaa !36
  %211 = getelementptr inbounds ptr, ptr %210, i64 8
  %212 = load ptr, ptr %211, align 8
  call void %212(ptr noundef nonnull align 8 dereferenceable(8) %209, ptr noundef %23, ptr noundef %5)
  br label %213

213:                                              ; preds = %208, %203, %198
  br label %214

214:                                              ; preds = %213, %165
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %10) #6
  call void @llvm.lifetime.end.p0(i64 1, 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
  call void @llvm.lifetime.end.p0(i64 64, ptr %5) #6
  ret void
}

; 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) #4

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK9b2Contact10IsTouchingEv(ptr noundef nonnull align 8 dereferenceable(128)) #1 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(16) ptr @_ZNK6b2Body12GetTransformEv(ptr noundef nonnull align 8 dereferenceable(208)) #1 align 2

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

declare noundef zeroext i1 @_Z13b2TestOverlapPK7b2ShapeS1_RK11b2TransformS4_(ptr noundef, ptr noundef, ptr noundef nonnull align 4 dereferenceable(16), ptr noundef nonnull align 4 dereferenceable(16)) #5

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN9b2Contact8EvaluateEP10b2ManifoldRK11b2TransformS4_(ptr noundef nonnull align 8 dereferenceable(128), ptr noundef, ptr noundef nonnull align 4 dereferenceable(16), ptr noundef nonnull align 4 dereferenceable(16)) #2 align 2

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #5 = { "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 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{i64 0, i64 40, !10, i64 40, i64 4, !11, i64 44, i64 4, !11, i64 48, i64 4, !11, i64 52, i64 4, !11, i64 56, i64 4, !13, i64 60, i64 4, !15}
!10 = !{!7, !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"float", !7, i64 0}
!13 = !{!14, !14, i64 0}
!14 = !{!"_ZTSN10b2Manifold4TypeE", !7, i64 0}
!15 = !{!16, !16, i64 0}
!16 = !{!"int", !7, i64 0}
!17 = !{!18, !16, i64 104}
!18 = !{!"_ZTS9b2Contact", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !19, i64 40, !16, i64 104, !16, i64 108, !12, i64 112, !12, i64 116, !12, i64 120, !12, i64 124}
!19 = !{!"_ZTS10b2Manifold", !7, i64 0, !20, i64 40, !20, i64 48, !14, i64 56, !16, i64 60}
!20 = !{!"_ZTS6b2Vec2", !12, i64 0, !12, i64 4}
!21 = !{!22, !22, i64 0}
!22 = !{!"bool", !7, i64 0}
!23 = !{!18, !6, i64 24}
!24 = !{!18, !6, i64 32}
!25 = !{i8 0, i8 2}
!26 = !{}
!27 = !{!18, !16, i64 100}
!28 = !{!29, !12, i64 8}
!29 = !{!"_ZTS15b2ManifoldPoint", !20, i64 0, !12, i64 8, !12, i64 12, !7, i64 16}
!30 = !{!29, !12, i64 12}
!31 = !{i64 0, i64 4, !10}
!32 = !{!19, !16, i64 60}
!33 = distinct !{!33, !34}
!34 = !{!"llvm.loop.mustprogress"}
!35 = distinct !{!35, !34}
!36 = !{!37, !37, i64 0}
!37 = !{!"vtable pointer", !8, i64 0}


; 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.b2Manifold = type { [2 x %struct.b2ManifoldPoint], %struct.b2Vec2, %struct.b2Vec2, i32, i32 }
%struct.b2ManifoldPoint = type { %struct.b2Vec2, float, float, %union.b2ContactID }
%union.b2ContactID = type { i32 }
%struct.b2Vec2 = type { float, float }

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK9b2Fixture8IsSensorEv(ptr noundef nonnull align 8 dereferenceable(84)) local_unnamed_addr #1 align 2

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN6b2Body8SetAwakeEb(ptr noundef nonnull align 8 dereferenceable(208), i1 noundef zeroext) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN9b2Contact6UpdateEP17b2ContactListener(ptr noundef nonnull align 8 dereferenceable(128) %0, ptr noundef %1) local_unnamed_addr #3 align 2 {
  %3 = alloca %struct.b2Manifold, align 4
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %3) #6
  %4 = getelementptr inbounds i8, ptr %0, i64 40
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(64) %3, ptr noundef nonnull align 8 dereferenceable(64) %4, i64 64, i1 false), !tbaa.struct !5
  %5 = getelementptr inbounds i8, ptr %0, i64 104
  %6 = load i32, ptr %5, align 8, !tbaa !15
  %7 = or i32 %6, 16
  store i32 %7, ptr %5, align 8, !tbaa !15
  %8 = tail call noundef zeroext i1 @_ZNK9b2Contact10IsTouchingEv(ptr noundef nonnull align 8 dereferenceable(128) %0)
  %9 = getelementptr inbounds i8, ptr %0, i64 24
  %10 = load ptr, ptr %9, align 8, !tbaa !20
  %11 = tail call noundef zeroext i1 @_ZNK9b2Fixture8IsSensorEv(ptr noundef nonnull align 8 dereferenceable(84) %10)
  %12 = getelementptr inbounds i8, ptr %0, i64 32
  %13 = load ptr, ptr %12, align 8, !tbaa !21
  %14 = tail call noundef zeroext i1 @_ZNK9b2Fixture8IsSensorEv(ptr noundef nonnull align 8 dereferenceable(84) %13)
  %15 = or i1 %11, %14
  %16 = load ptr, ptr %9, align 8, !tbaa !20
  %17 = tail call noundef ptr @_ZN9b2Fixture7GetBodyEv(ptr noundef nonnull align 8 dereferenceable(84) %16)
  %18 = load ptr, ptr %12, align 8, !tbaa !21
  %19 = tail call noundef ptr @_ZN9b2Fixture7GetBodyEv(ptr noundef nonnull align 8 dereferenceable(84) %18)
  %20 = tail call noundef nonnull align 4 dereferenceable(16) ptr @_ZNK6b2Body12GetTransformEv(ptr noundef nonnull align 8 dereferenceable(208) %17)
  %21 = tail call noundef nonnull align 4 dereferenceable(16) ptr @_ZNK6b2Body12GetTransformEv(ptr noundef nonnull align 8 dereferenceable(208) %19)
  br i1 %15, label %22, label %29

22:                                               ; preds = %2
  %23 = load ptr, ptr %9, align 8, !tbaa !20
  %24 = tail call noundef ptr @_ZN9b2Fixture8GetShapeEv(ptr noundef nonnull align 8 dereferenceable(84) %23)
  %25 = load ptr, ptr %12, align 8, !tbaa !21
  %26 = tail call noundef ptr @_ZN9b2Fixture8GetShapeEv(ptr noundef nonnull align 8 dereferenceable(84) %25)
  %27 = tail call noundef zeroext i1 @_Z13b2TestOverlapPK7b2ShapeS1_RK11b2TransformS4_(ptr noundef %24, ptr noundef %26, ptr noundef nonnull align 4 dereferenceable(16) %20, ptr noundef nonnull align 4 dereferenceable(16) %21)
  %28 = getelementptr inbounds i8, ptr %0, i64 100
  store i32 0, ptr %28, align 4, !tbaa !22
  br label %54

29:                                               ; preds = %2
  tail call void @_ZN9b2Contact8EvaluateEP10b2ManifoldRK11b2TransformS4_(ptr noundef nonnull align 8 dereferenceable(128) %0, ptr noundef nonnull %4, ptr noundef nonnull align 4 dereferenceable(16) %20, ptr noundef nonnull align 4 dereferenceable(16) %21)
  %30 = getelementptr inbounds i8, ptr %0, i64 100
  %31 = load i32, ptr %30, align 4, !tbaa !22
  %32 = icmp sgt i32 %31, 0
  br i1 %32, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %29
  %33 = getelementptr inbounds i8, ptr %3, i64 60
  %34 = load i32, ptr %33, align 4, !tbaa !23
  %35 = icmp sgt i32 %34, 0
  %wide.trip.count63 = zext nneg i32 %31 to i64
  br i1 %35, label %.critedge.lr.ph.us.preheader, label %.loopexit.preheader

.loopexit.preheader:                              ; preds = %.lr.ph
  %xtraiter = and i64 %wide.trip.count63, 3
  %36 = icmp ult i32 %31, 4
  br i1 %36, label %._crit_edge.loopexit70.unr-lcssa, label %.loopexit.preheader.new

.loopexit.preheader.new:                          ; preds = %.loopexit.preheader
  %unroll_iter = and i64 %wide.trip.count63, 2147483644
  br label %.loopexit

.critedge.lr.ph.us.preheader:                     ; preds = %.lr.ph
  %wide.trip.count58 = zext nneg i32 %34 to i64
  br label %.critedge.lr.ph.us

.critedge.lr.ph.us:                               ; preds = %.critedge.lr.ph.us.preheader, %..loopexit_crit_edge.us
  %indvars.iv60 = phi i64 [ 0, %.critedge.lr.ph.us.preheader ], [ %indvars.iv.next61, %..loopexit_crit_edge.us ]
  %37 = getelementptr inbounds %struct.b2ManifoldPoint, ptr %4, i64 %indvars.iv60
  %38 = getelementptr inbounds i8, ptr %37, i64 8
  store <2 x float> zeroinitializer, ptr %38, align 4, !tbaa !9
  %39 = getelementptr inbounds i8, ptr %37, i64 16
  %.sroa.0.0.copyload.us = load i32, ptr %39, align 4, !tbaa !6
  br label %.critedge.us

40:                                               ; preds = %.critedge.us
  %indvars.iv.next56 = add nuw nsw i64 %indvars.iv55, 1
  %exitcond59.not = icmp eq i64 %indvars.iv.next56, %wide.trip.count58
  br i1 %exitcond59.not, label %..loopexit_crit_edge.us, label %.critedge.us, !llvm.loop !24

.critedge.us:                                     ; preds = %.critedge.lr.ph.us, %40
  %indvars.iv55 = phi i64 [ 0, %.critedge.lr.ph.us ], [ %indvars.iv.next56, %40 ]
  %41 = getelementptr inbounds %struct.b2ManifoldPoint, ptr %3, i64 %indvars.iv55
  %42 = getelementptr inbounds i8, ptr %41, i64 16
  %43 = load i32, ptr %42, align 4, !tbaa !6
  %.not.us = icmp eq i32 %43, %.sroa.0.0.copyload.us
  br i1 %.not.us, label %44, label %40

44:                                               ; preds = %.critedge.us
  %45 = getelementptr inbounds i8, ptr %41, i64 8
  %46 = load <2 x float>, ptr %45, align 4, !tbaa !9
  store <2 x float> %46, ptr %38, align 4, !tbaa !9
  br label %..loopexit_crit_edge.us

..loopexit_crit_edge.us:                          ; preds = %40, %44
  %indvars.iv.next61 = add nuw nsw i64 %indvars.iv60, 1
  %exitcond64.not = icmp eq i64 %indvars.iv.next61, %wide.trip.count63
  br i1 %exitcond64.not, label %._crit_edge, label %.critedge.lr.ph.us, !llvm.loop !26

._crit_edge.loopexit70.unr-lcssa:                 ; preds = %.loopexit, %.loopexit.preheader
  %indvars.iv.unr = phi i64 [ 0, %.loopexit.preheader ], [ %indvars.iv.next.3, %.loopexit ]
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %._crit_edge, label %.loopexit.epil

.loopexit.epil:                                   ; preds = %._crit_edge.loopexit70.unr-lcssa, %.loopexit.epil
  %indvars.iv.epil = phi i64 [ %indvars.iv.next.epil, %.loopexit.epil ], [ %indvars.iv.unr, %._crit_edge.loopexit70.unr-lcssa ]
  %epil.iter = phi i64 [ %epil.iter.next, %.loopexit.epil ], [ 0, %._crit_edge.loopexit70.unr-lcssa ]
  %47 = getelementptr inbounds %struct.b2ManifoldPoint, ptr %4, i64 %indvars.iv.epil, i32 1
  store <2 x float> zeroinitializer, ptr %47, align 4, !tbaa !9
  %indvars.iv.next.epil = add nuw nsw i64 %indvars.iv.epil, 1
  %epil.iter.next = add i64 %epil.iter, 1
  %epil.iter.cmp.not = icmp eq i64 %epil.iter.next, %xtraiter
  br i1 %epil.iter.cmp.not, label %._crit_edge, label %.loopexit.epil, !llvm.loop !27

._crit_edge:                                      ; preds = %._crit_edge.loopexit70.unr-lcssa, %.loopexit.epil, %..loopexit_crit_edge.us, %29
  %48 = xor i1 %8, %32
  br i1 %48, label %53, label %54

.loopexit:                                        ; preds = %.loopexit, %.loopexit.preheader.new
  %indvars.iv = phi i64 [ 0, %.loopexit.preheader.new ], [ %indvars.iv.next.3, %.loopexit ]
  %niter = phi i64 [ 0, %.loopexit.preheader.new ], [ %niter.next.3, %.loopexit ]
  %49 = getelementptr inbounds %struct.b2ManifoldPoint, ptr %4, i64 %indvars.iv, i32 1
  store <2 x float> zeroinitializer, ptr %49, align 8, !tbaa !9
  %indvars.iv.next = or disjoint i64 %indvars.iv, 1
  %50 = getelementptr inbounds %struct.b2ManifoldPoint, ptr %4, i64 %indvars.iv.next, i32 1
  store <2 x float> zeroinitializer, ptr %50, align 4, !tbaa !9
  %indvars.iv.next.1 = or disjoint i64 %indvars.iv, 2
  %51 = getelementptr inbounds %struct.b2ManifoldPoint, ptr %4, i64 %indvars.iv.next.1, i32 1
  store <2 x float> zeroinitializer, ptr %51, align 8, !tbaa !9
  %indvars.iv.next.2 = or disjoint i64 %indvars.iv, 3
  %52 = getelementptr inbounds %struct.b2ManifoldPoint, ptr %4, i64 %indvars.iv.next.2, i32 1
  store <2 x float> zeroinitializer, ptr %52, align 4, !tbaa !9
  %indvars.iv.next.3 = add nuw nsw i64 %indvars.iv, 4
  %niter.next.3 = add i64 %niter, 4
  %niter.ncmp.3 = icmp eq i64 %niter.next.3, %unroll_iter
  br i1 %niter.ncmp.3, label %._crit_edge.loopexit70.unr-lcssa, label %.loopexit, !llvm.loop !26

53:                                               ; preds = %._crit_edge
  tail call void @_ZN6b2Body8SetAwakeEb(ptr noundef nonnull align 8 dereferenceable(208) %17, i1 noundef zeroext true)
  tail call void @_ZN6b2Body8SetAwakeEb(ptr noundef nonnull align 8 dereferenceable(208) %19, i1 noundef zeroext true)
  br label %54

54:                                               ; preds = %._crit_edge, %53, %22
  %.0.in = phi i1 [ %27, %22 ], [ %32, %53 ], [ %32, %._crit_edge ]
  %55 = load i32, ptr %5, align 8
  %56 = and i32 %55, -9
  %masksel = select i1 %.0.in, i32 8, i32 0
  %storemerge = or disjoint i32 %56, %masksel
  store i32 %storemerge, ptr %5, align 8, !tbaa !15
  %.not45 = icmp eq ptr %1, null
  br i1 %.not45, label %72, label %57

57:                                               ; preds = %54
  %.0.in.not = xor i1 %.0.in, true
  %brmerge = or i1 %8, %.0.in.not
  br i1 %brmerge, label %62, label %58

58:                                               ; preds = %57
  %59 = load ptr, ptr %1, align 8, !tbaa !29
  %60 = getelementptr inbounds i8, ptr %59, i64 16
  %61 = load ptr, ptr %60, align 8
  tail call void %61(ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull %0)
  br label %62

62:                                               ; preds = %57, %58
  %.not46 = xor i1 %8, true
  %brmerge47 = or i1 %.0.in, %.not46
  br i1 %brmerge47, label %67, label %63

63:                                               ; preds = %62
  %64 = load ptr, ptr %1, align 8, !tbaa !29
  %65 = getelementptr inbounds i8, ptr %64, i64 24
  %66 = load ptr, ptr %65, align 8
  tail call void %66(ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull %0)
  br label %67

67:                                               ; preds = %62, %63
  %brmerge49 = or i1 %15, %.0.in.not
  br i1 %brmerge49, label %72, label %68

68:                                               ; preds = %67
  %69 = load ptr, ptr %1, align 8, !tbaa !29
  %70 = getelementptr inbounds i8, ptr %69, i64 64
  %71 = load ptr, ptr %70, align 8
  call void %71(ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull %0, ptr noundef nonnull %3)
  br label %72

72:                                               ; preds = %67, %68, %54
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %3) #6
  ret void
}

; Function Attrs: mustprogress 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) #4

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK9b2Contact10IsTouchingEv(ptr noundef nonnull align 8 dereferenceable(128)) local_unnamed_addr #1 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(16) ptr @_ZNK6b2Body12GetTransformEv(ptr noundef nonnull align 8 dereferenceable(208)) local_unnamed_addr #1 align 2

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

declare noundef zeroext i1 @_Z13b2TestOverlapPK7b2ShapeS1_RK11b2TransformS4_(ptr noundef, ptr noundef, ptr noundef nonnull align 4 dereferenceable(16), ptr noundef nonnull align 4 dereferenceable(16)) local_unnamed_addr #5

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN9b2Contact8EvaluateEP10b2ManifoldRK11b2TransformS4_(ptr noundef nonnull align 8 dereferenceable(128), ptr noundef, ptr noundef nonnull align 4 dereferenceable(16), ptr noundef nonnull align 4 dereferenceable(16)) local_unnamed_addr #2 align 2

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #5 = { "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 = !{i64 0, i64 40, !6, i64 40, i64 4, !9, i64 44, i64 4, !9, i64 48, i64 4, !9, i64 52, i64 4, !9, i64 56, i64 4, !11, i64 60, i64 4, !13}
!6 = !{!7, !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"float", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"_ZTSN10b2Manifold4TypeE", !7, i64 0}
!13 = !{!14, !14, i64 0}
!14 = !{!"int", !7, i64 0}
!15 = !{!16, !14, i64 104}
!16 = !{!"_ZTS9b2Contact", !17, i64 0, !17, i64 8, !17, i64 16, !17, i64 24, !17, i64 32, !18, i64 40, !14, i64 104, !14, i64 108, !10, i64 112, !10, i64 116, !10, i64 120, !10, i64 124}
!17 = !{!"any pointer", !7, i64 0}
!18 = !{!"_ZTS10b2Manifold", !7, i64 0, !19, i64 40, !19, i64 48, !12, i64 56, !14, i64 60}
!19 = !{!"_ZTS6b2Vec2", !10, i64 0, !10, i64 4}
!20 = !{!16, !17, i64 24}
!21 = !{!16, !17, i64 32}
!22 = !{!16, !14, i64 100}
!23 = !{!18, !14, i64 60}
!24 = distinct !{!24, !25}
!25 = !{!"llvm.loop.mustprogress"}
!26 = distinct !{!26, !25}
!27 = distinct !{!27, !28}
!28 = !{!"llvm.loop.unroll.disable"}
!29 = !{!30, !30, i64 0}
!30 = !{!"vtable pointer", !8, i64 0}


; Effective O3 passes: EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopInstSimplifyPass,LoopRotatePass,LoopSimplifyCFGPass,LoopSimplifyPass,LoopUnrollPass,ReassociatePass,SLPVectorizerPass,SROAPass,SimplifyCFGPass,TailCallElimPass