; ModuleID = './src_work/qsort.c'
source_filename = "./src_work/qsort.c"
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

; Function Attrs:  nounwind uwtable
define dso_local void @qsortx(ptr noundef %0, i32 noundef %1, i32 noundef %2, ptr noundef %3) #0 {
  %5 = alloca ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca i32, align 4
  %15 = alloca [30 x ptr], align 16
  %16 = alloca [30 x ptr], align 16
  %17 = alloca i32, align 4
  store ptr %0, ptr %5, align 8
  store i32 %1, ptr %6, align 4
  store i32 %2, ptr %7, align 4
  store ptr %3, ptr %8, align 8
  %18 = load i32, ptr %6, align 4
  %19 = icmp ult i32 %18, 2
  br i1 %19, label %23, label %20

20:                                               ; preds = %4
  %21 = load i32, ptr %7, align 4
  %22 = icmp eq i32 %21, 0
  br i1 %22, label %23, label %24

23:                                               ; preds = %20, %4
  br label %203

24:                                               ; preds = %20
  store i32 0, ptr %17, align 4
  %25 = load ptr, ptr %5, align 8
  store ptr %25, ptr %9, align 8
  %26 = load ptr, ptr %5, align 8
  %27 = load i32, ptr %7, align 4
  %28 = load i32, ptr %6, align 4
  %29 = sub i32 %28, 1
  %30 = mul i32 %27, %29
  %31 = zext i32 %30 to i64
  %32 = getelementptr inbounds i8, ptr %26, i64 %31
  store ptr %32, ptr %10, align 8
  br label %33

33:                                               ; preds = %193, %180, %155, %24
  %34 = load ptr, ptr %10, align 8
  %35 = load ptr, ptr %9, align 8
  %36 = ptrtoint ptr %34 to i64
  %37 = ptrtoint ptr %35 to i64
  %38 = sub i64 %36, %37
  %39 = load i32, ptr %7, align 4
  %40 = zext i32 %39 to i64
  %41 = sdiv i64 %38, %40
  %42 = add nsw i64 %41, 1
  %43 = trunc i64 %42 to i32
  store i32 %43, ptr %14, align 4
  %44 = load i32, ptr %14, align 4
  %45 = icmp ule i32 %44, 8
  br i1 %45, label %46, label %51

46:                                               ; preds = %33
  %47 = load ptr, ptr %9, align 8
  %48 = load ptr, ptr %10, align 8
  %49 = load i32, ptr %7, align 4
  %50 = load ptr, ptr %8, align 8
  call void @shortsort(ptr noundef %47, ptr noundef %48, i32 noundef %49, ptr noundef %50)
  br label %188

51:                                               ; preds = %33
  %52 = load ptr, ptr %9, align 8
  %53 = load i32, ptr %14, align 4
  %54 = udiv i32 %53, 2
  %55 = load i32, ptr %7, align 4
  %56 = mul i32 %54, %55
  %57 = zext i32 %56 to i64
  %58 = getelementptr inbounds i8, ptr %52, i64 %57
  store ptr %58, ptr %11, align 8
  %59 = load ptr, ptr %11, align 8
  %60 = load ptr, ptr %9, align 8
  %61 = load i32, ptr %7, align 4
  call void @swap(ptr noundef %59, ptr noundef %60, i32 noundef %61)
  %62 = load ptr, ptr %9, align 8
  store ptr %62, ptr %12, align 8
  %63 = load ptr, ptr %10, align 8
  %64 = load i32, ptr %7, align 4
  %65 = zext i32 %64 to i64
  %66 = getelementptr inbounds i8, ptr %63, i64 %65
  store ptr %66, ptr %13, align 8
  br label %67

67:                                               ; preds = %109, %51
  br label %68

68:                                               ; preds = %83, %67
  %69 = load i32, ptr %7, align 4
  %70 = load ptr, ptr %12, align 8
  %71 = zext i32 %69 to i64
  %72 = getelementptr inbounds i8, ptr %70, i64 %71
  store ptr %72, ptr %12, align 8
  br label %73

73:                                               ; preds = %68
  %74 = load ptr, ptr %12, align 8
  %75 = load ptr, ptr %10, align 8
  %76 = icmp ule ptr %74, %75
  br i1 %76, label %77, label %83

77:                                               ; preds = %73
  %78 = load ptr, ptr %8, align 8
  %79 = load ptr, ptr %12, align 8
  %80 = load ptr, ptr %9, align 8
  %81 = call i32 %78(ptr noundef %79, ptr noundef %80)
  %82 = icmp sle i32 %81, 0
  br label %83

83:                                               ; preds = %77, %73
  %84 = phi i1 [ false, %73 ], [ %82, %77 ]
  br i1 %84, label %68, label %85, !llvm.loop !6

85:                                               ; preds = %83
  br label %86

86:                                               ; preds = %102, %85
  %87 = load i32, ptr %7, align 4
  %88 = load ptr, ptr %13, align 8
  %89 = zext i32 %87 to i64
  %90 = sub i64 0, %89
  %91 = getelementptr inbounds i8, ptr %88, i64 %90
  store ptr %91, ptr %13, align 8
  br label %92

92:                                               ; preds = %86
  %93 = load ptr, ptr %13, align 8
  %94 = load ptr, ptr %9, align 8
  %95 = icmp ugt ptr %93, %94
  br i1 %95, label %96, label %102

96:                                               ; preds = %92
  %97 = load ptr, ptr %8, align 8
  %98 = load ptr, ptr %13, align 8
  %99 = load ptr, ptr %9, align 8
  %100 = call i32 %97(ptr noundef %98, ptr noundef %99)
  %101 = icmp sge i32 %100, 0
  br label %102

102:                                              ; preds = %96, %92
  %103 = phi i1 [ false, %92 ], [ %101, %96 ]
  br i1 %103, label %86, label %104, !llvm.loop !8

104:                                              ; preds = %102
  %105 = load ptr, ptr %13, align 8
  %106 = load ptr, ptr %12, align 8
  %107 = icmp ult ptr %105, %106
  br i1 %107, label %108, label %109

108:                                              ; preds = %104
  br label %113

109:                                              ; preds = %104
  %110 = load ptr, ptr %12, align 8
  %111 = load ptr, ptr %13, align 8
  %112 = load i32, ptr %7, align 4
  call void @swap(ptr noundef %110, ptr noundef %111, i32 noundef %112)
  br label %67

113:                                              ; preds = %108
  %114 = load ptr, ptr %9, align 8
  %115 = load ptr, ptr %13, align 8
  %116 = load i32, ptr %7, align 4
  call void @swap(ptr noundef %114, ptr noundef %115, i32 noundef %116)
  %117 = load ptr, ptr %13, align 8
  %118 = getelementptr inbounds i8, ptr %117, i64 -1
  %119 = load ptr, ptr %9, align 8
  %120 = ptrtoint ptr %118 to i64
  %121 = ptrtoint ptr %119 to i64
  %122 = sub i64 %120, %121
  %123 = load ptr, ptr %10, align 8
  %124 = load ptr, ptr %12, align 8
  %125 = ptrtoint ptr %123 to i64
  %126 = ptrtoint ptr %124 to i64
  %127 = sub i64 %125, %126
  %128 = icmp sge i64 %122, %127
  br i1 %128, label %129, label %158

129:                                              ; preds = %113
  %130 = load ptr, ptr %9, align 8
  %131 = load i32, ptr %7, align 4
  %132 = zext i32 %131 to i64
  %133 = getelementptr inbounds i8, ptr %130, i64 %132
  %134 = load ptr, ptr %13, align 8
  %135 = icmp ult ptr %133, %134
  br i1 %135, label %136, label %151

136:                                              ; preds = %129
  %137 = load ptr, ptr %9, align 8
  %138 = load i32, ptr %17, align 4
  %139 = sext i32 %138 to i64
  %140 = getelementptr inbounds [30 x ptr], ptr %15, i64 0, i64 %139
  store ptr %137, ptr %140, align 8
  %141 = load ptr, ptr %13, align 8
  %142 = load i32, ptr %7, align 4
  %143 = zext i32 %142 to i64
  %144 = sub i64 0, %143
  %145 = getelementptr inbounds i8, ptr %141, i64 %144
  %146 = load i32, ptr %17, align 4
  %147 = sext i32 %146 to i64
  %148 = getelementptr inbounds [30 x ptr], ptr %16, i64 0, i64 %147
  store ptr %145, ptr %148, align 8
  %149 = load i32, ptr %17, align 4
  %150 = add nsw i32 %149, 1
  store i32 %150, ptr %17, align 4
  br label %151

151:                                              ; preds = %136, %129
  %152 = load ptr, ptr %12, align 8
  %153 = load ptr, ptr %10, align 8
  %154 = icmp ult ptr %152, %153
  br i1 %154, label %155, label %157

155:                                              ; preds = %151
  %156 = load ptr, ptr %12, align 8
  store ptr %156, ptr %9, align 8
  br label %33

157:                                              ; preds = %151
  br label %187

158:                                              ; preds = %113
  %159 = load ptr, ptr %12, align 8
  %160 = load ptr, ptr %10, align 8
  %161 = icmp ult ptr %159, %160
  br i1 %161, label %162, label %173

162:                                              ; preds = %158
  %163 = load ptr, ptr %12, align 8
  %164 = load i32, ptr %17, align 4
  %165 = sext i32 %164 to i64
  %166 = getelementptr inbounds [30 x ptr], ptr %15, i64 0, i64 %165
  store ptr %163, ptr %166, align 8
  %167 = load ptr, ptr %10, align 8
  %168 = load i32, ptr %17, align 4
  %169 = sext i32 %168 to i64
  %170 = getelementptr inbounds [30 x ptr], ptr %16, i64 0, i64 %169
  store ptr %167, ptr %170, align 8
  %171 = load i32, ptr %17, align 4
  %172 = add nsw i32 %171, 1
  store i32 %172, ptr %17, align 4
  br label %173

173:                                              ; preds = %162, %158
  %174 = load ptr, ptr %9, align 8
  %175 = load i32, ptr %7, align 4
  %176 = zext i32 %175 to i64
  %177 = getelementptr inbounds i8, ptr %174, i64 %176
  %178 = load ptr, ptr %13, align 8
  %179 = icmp ult ptr %177, %178
  br i1 %179, label %180, label %186

180:                                              ; preds = %173
  %181 = load ptr, ptr %13, align 8
  %182 = load i32, ptr %7, align 4
  %183 = zext i32 %182 to i64
  %184 = sub i64 0, %183
  %185 = getelementptr inbounds i8, ptr %181, i64 %184
  store ptr %185, ptr %10, align 8
  br label %33

186:                                              ; preds = %173
  br label %187

187:                                              ; preds = %186, %157
  br label %188

188:                                              ; preds = %187, %46
  %189 = load i32, ptr %17, align 4
  %190 = add nsw i32 %189, -1
  store i32 %190, ptr %17, align 4
  %191 = load i32, ptr %17, align 4
  %192 = icmp sge i32 %191, 0
  br i1 %192, label %193, label %202

193:                                              ; preds = %188
  %194 = load i32, ptr %17, align 4
  %195 = sext i32 %194 to i64
  %196 = getelementptr inbounds [30 x ptr], ptr %15, i64 0, i64 %195
  %197 = load ptr, ptr %196, align 8
  store ptr %197, ptr %9, align 8
  %198 = load i32, ptr %17, align 4
  %199 = sext i32 %198 to i64
  %200 = getelementptr inbounds [30 x ptr], ptr %16, i64 0, i64 %199
  %201 = load ptr, ptr %200, align 8
  store ptr %201, ptr %10, align 8
  br label %33

202:                                              ; preds = %188
  br label %203

203:                                              ; preds = %202, %23
  ret void
}

; Function Attrs:  nounwind uwtable
define internal void @shortsort(ptr noundef %0, ptr noundef %1, i32 noundef %2, ptr noundef %3) #0 {
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca i32, align 4
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  store ptr %0, ptr %5, align 8
  store ptr %1, ptr %6, align 8
  store i32 %2, ptr %7, align 4
  store ptr %3, ptr %8, align 8
  br label %11

11:                                               ; preds = %39, %4
  %12 = load ptr, ptr %6, align 8
  %13 = load ptr, ptr %5, align 8
  %14 = icmp ugt ptr %12, %13
  br i1 %14, label %15, label %48

15:                                               ; preds = %11
  %16 = load ptr, ptr %5, align 8
  store ptr %16, ptr %10, align 8
  %17 = load ptr, ptr %5, align 8
  %18 = load i32, ptr %7, align 4
  %19 = zext i32 %18 to i64
  %20 = getelementptr inbounds i8, ptr %17, i64 %19
  store ptr %20, ptr %9, align 8
  br label %21

21:                                               ; preds = %34, %15
  %22 = load ptr, ptr %9, align 8
  %23 = load ptr, ptr %6, align 8
  %24 = icmp ule ptr %22, %23
  br i1 %24, label %25, label %39

25:                                               ; preds = %21
  %26 = load ptr, ptr %8, align 8
  %27 = load ptr, ptr %9, align 8
  %28 = load ptr, ptr %10, align 8
  %29 = call i32 %26(ptr noundef %27, ptr noundef %28)
  %30 = icmp sgt i32 %29, 0
  br i1 %30, label %31, label %33

31:                                               ; preds = %25
  %32 = load ptr, ptr %9, align 8
  store ptr %32, ptr %10, align 8
  br label %33

33:                                               ; preds = %31, %25
  br label %34

34:                                               ; preds = %33
  %35 = load i32, ptr %7, align 4
  %36 = load ptr, ptr %9, align 8
  %37 = zext i32 %35 to i64
  %38 = getelementptr inbounds i8, ptr %36, i64 %37
  store ptr %38, ptr %9, align 8
  br label %21, !llvm.loop !9

39:                                               ; preds = %21
  %40 = load ptr, ptr %10, align 8
  %41 = load ptr, ptr %6, align 8
  %42 = load i32, ptr %7, align 4
  call void @swap(ptr noundef %40, ptr noundef %41, i32 noundef %42)
  %43 = load i32, ptr %7, align 4
  %44 = load ptr, ptr %6, align 8
  %45 = zext i32 %43 to i64
  %46 = sub i64 0, %45
  %47 = getelementptr inbounds i8, ptr %44, i64 %46
  store ptr %47, ptr %6, align 8
  br label %11, !llvm.loop !10

48:                                               ; preds = %11
  ret void
}

; Function Attrs:  nounwind uwtable
define internal void @swap(ptr noundef %0, ptr noundef %1, i32 noundef %2) #0 {
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca i8, align 1
  store ptr %0, ptr %4, align 8
  store ptr %1, ptr %5, align 8
  store i32 %2, ptr %6, align 4
  %8 = load ptr, ptr %4, align 8
  %9 = load ptr, ptr %5, align 8
  %10 = icmp ne ptr %8, %9
  br i1 %10, label %11, label %27

11:                                               ; preds = %3
  br label %12

12:                                               ; preds = %16, %11
  %13 = load i32, ptr %6, align 4
  %14 = add i32 %13, -1
  store i32 %14, ptr %6, align 4
  %15 = icmp ne i32 %13, 0
  br i1 %15, label %16, label %26

16:                                               ; preds = %12
  %17 = load ptr, ptr %4, align 8
  %18 = load i8, ptr %17, align 1
  store i8 %18, ptr %7, align 1
  %19 = load ptr, ptr %5, align 8
  %20 = load i8, ptr %19, align 1
  %21 = load ptr, ptr %4, align 8
  %22 = getelementptr inbounds i8, ptr %21, i32 1
  store ptr %22, ptr %4, align 8
  store i8 %20, ptr %21, align 1
  %23 = load i8, ptr %7, align 1
  %24 = load ptr, ptr %5, align 8
  %25 = getelementptr inbounds i8, ptr %24, i32 1
  store ptr %25, ptr %5, align 8
  store i8 %23, ptr %24, align 1
  br label %12, !llvm.loop !11

26:                                               ; preds = %12
  br label %27

27:                                               ; preds = %26, %3
  ret void
}

attributes #0 = {  nounwind uwtable "frame-pointer"="all" "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" }

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

!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 = !{i32 7, !"frame-pointer", i32 2}
!5 = !{!"clang version 17.0.6"}
!6 = distinct !{!6, !7}
!7 = !{!"llvm.loop.mustprogress"}
!8 = distinct !{!8, !7}
!9 = distinct !{!9, !7}
!10 = distinct !{!10, !7}
!11 = distinct !{!11, !7}
