Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion bench/abc/optimized/extraUtilMaj.ll
Original file line number Diff line number Diff line change
Expand Up @@ -1075,7 +1075,7 @@ Abc_TtCopy.exit: ; preds = %.lr.ph.i39, %Gem_Gr
br i1 %70, label %.lr.ph.i43, label %Abc_TtSwapAdjacent.exit, !llvm.loop !67

71: ; preds = %62
%72 = icmp samesign ult i32 %indvars119, 7
%72 = icmp samesign ult i64 %indvars.iv, 7
%73 = trunc i64 %indvars.iv to i32
%74 = add i32 %73, -6
%75 = shl nuw i32 1, %74
Expand Down
48 changes: 24 additions & 24 deletions bench/abc/optimized/mpmTruth.ll
Original file line number Diff line number Diff line change
Expand Up @@ -107,12 +107,12 @@ define range(i32 0, 2) i32 @Mpm_CutComputeTruth(ptr noundef %0, ptr noundef capt
br i1 %82, label %89, label %83

83: ; preds = %76
%84 = trunc nsw i64 %indvars.iv.next.i.i to i32
%85 = icmp samesign ult i32 %.017.i.i, %84
br i1 %85, label %86, label %87
%84 = icmp samesign ugt i64 %indvars.iv.next.i.i, %77
br i1 %84, label %85, label %87

86: ; preds = %83
call fastcc void @Abc_TtSwapVars(ptr noundef nonnull %11, i32 noundef %16, i32 noundef %.017.i.i, i32 noundef %84)
%86 = trunc nsw i64 %indvars.iv.next.i.i to i32
call fastcc void @Abc_TtSwapVars(ptr noundef nonnull %11, i32 noundef %16, i32 noundef %.017.i.i, i32 noundef %86)
br label %87

87: ; preds = %86, %83
Expand Down Expand Up @@ -153,12 +153,12 @@ Mpm_TruthStretch.exit.i: ; preds = %89, %50
br i1 %107, label %114, label %108

108: ; preds = %101
%109 = trunc nsw i64 %indvars.iv.next.i53.i to i32
%110 = icmp samesign ult i32 %.017.i52.i, %109
br i1 %110, label %111, label %112
%109 = icmp samesign ugt i64 %indvars.iv.next.i53.i, %102
br i1 %109, label %110, label %112

111: ; preds = %108
call fastcc void @Abc_TtSwapVars(ptr noundef nonnull %12, i32 noundef %16, i32 noundef %.017.i52.i, i32 noundef %109)
%111 = trunc nsw i64 %indvars.iv.next.i53.i to i32
call fastcc void @Abc_TtSwapVars(ptr noundef nonnull %12, i32 noundef %16, i32 noundef %.017.i52.i, i32 noundef %111)
br label %112

112: ; preds = %111, %108
Expand Down Expand Up @@ -224,12 +224,12 @@ Mpm_TruthStretch.exit55.i: ; preds = %114, %Mpm_TruthStre
br i1 %152, label %159, label %153

153: ; preds = %146
%154 = trunc nsw i64 %indvars.iv.next.i59.i to i32
%155 = icmp samesign ult i32 %.017.i58.i, %154
br i1 %155, label %156, label %157
%154 = icmp samesign ugt i64 %indvars.iv.next.i59.i, %147
br i1 %154, label %155, label %157

156: ; preds = %153
call fastcc void @Abc_TtSwapVars(ptr noundef nonnull %13, i32 noundef %16, i32 noundef %.017.i58.i, i32 noundef %154)
%156 = trunc nsw i64 %indvars.iv.next.i59.i to i32
call fastcc void @Abc_TtSwapVars(ptr noundef nonnull %13, i32 noundef %16, i32 noundef %.017.i58.i, i32 noundef %156)
br label %157

157: ; preds = %156, %153
Expand Down Expand Up @@ -577,12 +577,12 @@ Abc_TtCopy.exit86.i: ; preds = %.lr.ph.i75.i, %.lr.
br i1 %316, label %323, label %317

317: ; preds = %310
%318 = trunc nsw i64 %indvars.iv.next.i89.i to i32
%319 = icmp samesign ult i32 %.017.i.i36, %318
br i1 %319, label %320, label %321
%318 = icmp samesign ugt i64 %indvars.iv.next.i89.i, %311
br i1 %318, label %319, label %321

320: ; preds = %317
tail call fastcc void @Abc_TtSwapVars(ptr noundef nonnull %270, i32 noundef %16, i32 noundef %.017.i.i36, i32 noundef %318)
%320 = trunc nsw i64 %indvars.iv.next.i89.i to i32
tail call fastcc void @Abc_TtSwapVars(ptr noundef nonnull %270, i32 noundef %16, i32 noundef %.017.i.i36, i32 noundef %320)
br label %321

321: ; preds = %320, %317
Expand Down Expand Up @@ -632,12 +632,12 @@ Mpm_TruthStretch.exit.i21: ; preds = %Mpm_TruthStretch.ex
br i1 %345, label %352, label %346

346: ; preds = %339
%347 = trunc nsw i64 %indvars.iv.next.i93.i to i32
%348 = icmp samesign ult i32 %.017.i92.i, %347
br i1 %348, label %349, label %350
%347 = icmp samesign ugt i64 %indvars.iv.next.i93.i, %340
br i1 %347, label %348, label %350

349: ; preds = %346
tail call fastcc void @Abc_TtSwapVars(ptr noundef nonnull %285, i32 noundef %328, i32 noundef %.017.i92.i, i32 noundef %347)
%349 = trunc nsw i64 %indvars.iv.next.i93.i to i32
tail call fastcc void @Abc_TtSwapVars(ptr noundef nonnull %285, i32 noundef %328, i32 noundef %.017.i92.i, i32 noundef %349)
br label %350

350: ; preds = %349, %346
Expand Down Expand Up @@ -752,12 +752,12 @@ Abc_TtCopy.exit111.i: ; preds = %.lr.ph.i100.i, %.lr
br i1 %408, label %415, label %409

409: ; preds = %402
%410 = trunc nsw i64 %indvars.iv.next.i115.i to i32
%411 = icmp samesign ult i32 %.017.i114.i, %410
br i1 %411, label %412, label %413
%410 = icmp samesign ugt i64 %indvars.iv.next.i115.i, %403
br i1 %410, label %411, label %413

412: ; preds = %409
tail call fastcc void @Abc_TtSwapVars(ptr noundef nonnull %376, i32 noundef %390, i32 noundef %.017.i114.i, i32 noundef %410)
%412 = trunc nsw i64 %indvars.iv.next.i115.i to i32
tail call fastcc void @Abc_TtSwapVars(ptr noundef nonnull %376, i32 noundef %390, i32 noundef %.017.i114.i, i32 noundef %412)
br label %413

413: ; preds = %412, %409
Expand Down
40 changes: 19 additions & 21 deletions bench/darktable/optimized/DeflateDecompressor.ll
Original file line number Diff line number Diff line change
Expand Up @@ -429,14 +429,14 @@ _ZN8rawspeed25extendBinaryFloatingPointINS_13ieee_754_20088Binary16ENS1_8Binary3
%141 = mul i32 %140, %.sroa.0158.0.extract.trunc
%142 = add nsw i32 %141, %115
%143 = icmp samesign ult i32 %142, %26
call void @llvm.assume(i1 %143)
%144 = icmp sgt i32 %142, -1
call void @llvm.assume(i1 %144)
%145 = zext nneg i32 %142 to i64
%146 = getelementptr inbounds nuw i8, ptr %89, i64 %145
%147 = load i8, ptr %146, align 1, !tbaa !96
%148 = getelementptr inbounds nuw [2 x i8], ptr %8, i64 0, i64 %indvars.iv.i52
store i8 %147, ptr %148, align 1, !tbaa !96
%145 = icmp sgt i32 %142, -1
call void @llvm.assume(i1 %145)
%147 = zext nneg i32 %143 to i64
%148 = getelementptr inbounds nuw i8, ptr %90, i64 %146
%148 = load i8, ptr %148, align 1, !tbaa !96
%149 = getelementptr inbounds nuw [2 x i8], ptr %8, i64 0, i64 %indvars.iv.i52
store i8 %148, ptr %149, align 1, !tbaa !96
%indvars.iv.next.i53 = add nuw nsw i64 %indvars.iv.i52, 1
%.not.i54 = icmp eq i64 %indvars.iv.next.i53, 2
br i1 %.not.i54, label %116, label %139, !llvm.loop !114
Expand Down Expand Up @@ -496,8 +496,7 @@ _ZN8rawspeed25extendBinaryFloatingPointINS_13ieee_754_20088Binary24ENS1_8Binary3
%indvars.iv.i62 = phi i64 [ 0, %.lr.ph.i59 ], [ %indvars.iv.next.i63, %172 ]
%173 = mul nsw i64 %indvars.iv.i62, %78
%174 = add nsw i64 %173, %indvars.iv21.i61
%175 = trunc nsw i64 %174 to i32
%176 = icmp samesign ugt i32 %26, %175
%175 = icmp samesign ult i64 %174, %75
call void @llvm.assume(i1 %176)
%177 = icmp sgt i64 %174, -1
call void @llvm.assume(i1 %177)
Expand Down Expand Up @@ -528,21 +527,20 @@ _ZN8rawspeed25extendBinaryFloatingPointINS_13ieee_754_20088Binary24ENS1_8Binary3
br i1 %exitcond.not.i87, label %_ZN8rawspeed12_GLOBAL__N_116decodeFPDeltaRowINS_13ieee_754_20088Binary16EEEvNS_10Array1DRefIKhEEiNS_17CroppedArray1DRefIfEE.exit, label %.lr.ph.i78, !llvm.loop !117

186: ; preds = %186, %.lr.ph.i78
%indvars.iv.i82 = phi i64 [ 0, %.lr.ph.i78 ], [ %indvars.iv.next.i83, %186 ]
%indvars.iv.i82 = phi i64 [ 0, %.lr.ph.i78 ], [ %indvars.iv.next.i82, %186 ]
%187 = mul nsw i64 %indvars.iv.i82, %78
%188 = add nsw i64 %187, %indvars.iv21.i81
%189 = trunc nsw i64 %188 to i32
%190 = icmp samesign ugt i32 %26, %189
%189 = icmp samesign ult i64 %188, %75
call void @llvm.assume(i1 %189)
%190 = icmp sgt i64 %188, -1
call void @llvm.assume(i1 %190)
%191 = icmp sgt i64 %188, -1
call void @llvm.assume(i1 %191)
%192 = getelementptr inbounds nuw i8, ptr %89, i64 %188
%193 = load i8, ptr %192, align 1, !tbaa !96
%194 = getelementptr inbounds nuw [4 x i8], ptr %6, i64 0, i64 %indvars.iv.i82
store i8 %193, ptr %194, align 1, !tbaa !96
%indvars.iv.next.i83 = add nuw nsw i64 %indvars.iv.i82, 1
%.not.i84 = icmp eq i64 %indvars.iv.next.i83, 4
br i1 %.not.i84, label %181, label %186, !llvm.loop !118
%191 = getelementptr inbounds nuw i8, ptr %90, i64 %188
%192 = load i8, ptr %191, align 1, !tbaa !96
%192 = getelementptr inbounds nuw [4 x i8], ptr %6, i64 0, i64 %indvars.iv.i81
store i8 %192, ptr %192, align 1, !tbaa !96
%194 = add nuw nsw i64 %indvars.iv.i82, 1
%.not.i83 = icmp eq i64 %194, 4
br i1 %.not.i83, label %181, label %186, !llvm.loop !118

default.unreachable: ; preds = %_ZN8rawspeed12_GLOBAL__N_116decodeDeltaBytesENS_10Array1DRefIhEEiii.exit
unreachable
Expand Down
111 changes: 56 additions & 55 deletions bench/darktable/optimized/IiqDecoder.ll
Original file line number Diff line number Diff line change
Expand Up @@ -4324,27 +4324,27 @@ define hidden void @_ZNK8rawspeed10IiqDecoder16correctBadColumnEt(ptr noundef no
%16 = getelementptr inbounds nuw i8, ptr %6, i64 48
%17 = load i32, ptr %16, align 8, !tbaa !220, !noalias !311
%18 = ashr i32 %17, 1
%19 = mul nuw nsw i32 %18, %15
%20 = icmp sgt i32 %13, -1
%19 = icmp sgt i32 %13, -1
tail call void @llvm.assume(i1 %19)
%20 = icmp sgt i32 %15, -1
tail call void @llvm.assume(i1 %20)
%21 = icmp sgt i32 %15, -1
%21 = icmp ugt i32 %17, 1
tail call void @llvm.assume(i1 %21)
%22 = icmp ugt i32 %17, 1
%22 = icmp sgt i32 %18, -1
tail call void @llvm.assume(i1 %22)
%23 = icmp sgt i32 %18, -1
%23 = icmp samesign uge i32 %18, %13
tail call void @llvm.assume(i1 %23)
%24 = icmp samesign uge i32 %18, %13
tail call void @llvm.assume(i1 %24)
%25 = icmp eq i32 %13, 0
%26 = icmp ne i32 %15, 0
%27 = xor i1 %25, %26
tail call void @llvm.assume(i1 %27)
%28 = getelementptr inbounds nuw i8, ptr %6, i64 44
%29 = load i32, ptr %28, align 4, !tbaa !229
%30 = icmp sgt i32 %29, 4
br i1 %30, label %.lr.ph, label %._crit_edge
%24 = icmp eq i32 %13, 0
%25 = icmp ne i32 %15, 0
%25 = xor i1 %24, %25
tail call void @llvm.assume(i1 %25)
%27 = getelementptr inbounds nuw i8, ptr %6, i64 44
%28 = load i32, ptr %27, align 4, !tbaa !229
%28 = icmp sgt i32 %28, 4
br i1 %28, label %.lr.ph, label %._crit_edge

.lr.ph: ; preds = %2
%30 = mul nuw nsw i32 %18, %15
%31 = zext i16 %1 to i32
%32 = add nsw i32 %31, -2
%33 = icmp samesign ult i32 %32, %13
Expand All @@ -4366,10 +4366,13 @@ define hidden void @_ZNK8rawspeed10IiqDecoder16correctBadColumnEt(ptr noundef no
%invariant.gep = getelementptr inbounds nuw i16, ptr %8, i64 %39
%49 = zext nneg i32 %18 to i64
%50 = zext nneg i32 %13 to i64
%51 = zext nneg i32 %19 to i64
%51 = zext nneg i32 %30 to i64
%52 = zext nneg i32 %15 to i64
%53 = zext nneg i32 %18 to i64
br label %54
%54 = zext nneg i32 %13 to i64
%55 = zext nneg i32 %30 to i64
%56 = zext nneg i32 %15 to i64
br label %57

._crit_edge: ; preds = %161, %2
ret void
Expand All @@ -4391,35 +4394,34 @@ define hidden void @_ZNK8rawspeed10IiqDecoder16correctBadColumnEt(ptr noundef no
%62 = icmp samesign ult i64 %61, %52
tail call void @llvm.assume(i1 %62)
%63 = mul nuw nsw i64 %61, %53
%64 = trunc i64 %63 to i32
%65 = add i32 %13, %64
%66 = icmp samesign ule i32 %65, %19
tail call void @llvm.assume(i1 %66)
%67 = getelementptr inbounds nuw i16, ptr %8, i64 %63
%68 = getelementptr inbounds nuw i16, ptr %67, i64 %42
%69 = load i16, ptr %68, align 2, !tbaa !221
store i16 %69, ptr %3, align 2, !tbaa !221
%70 = zext i16 %69 to i32
%71 = add nuw nsw i64 %indvars.iv436, 1
%72 = icmp samesign ult i64 %71, %52
tail call void @llvm.assume(i1 %72)
%73 = mul nuw nsw i64 %71, %49
%74 = add nuw nsw i64 %73, %50
%75 = icmp samesign ule i64 %74, %51
tail call void @llvm.assume(i1 %75)
%76 = getelementptr inbounds nuw i16, ptr %8, i64 %73
%77 = getelementptr inbounds nuw i16, ptr %76, i64 %42
%78 = load i16, ptr %77, align 2, !tbaa !221
store i16 %78, ptr %43, align 2, !tbaa !221
%79 = zext i16 %78 to i32
%80 = add nuw nsw i32 %79, %70
%64 = add nuw nsw i64 %63, %54
%65 = icmp samesign ule i64 %64, %55
tail call void @llvm.assume(i1 %65)
%69 = getelementptr inbounds nuw i16, ptr %8, i64 %66
%67 = getelementptr inbounds nuw i16, ptr %69, i64 %42
%68 = load i16, ptr %67, align 2, !tbaa !221
store i16 %71, ptr %3, align 2, !tbaa !221
%72 = zext i16 %68 to i32
%70 = add nuw nsw i64 %indvars.iv436, 1
%71 = icmp samesign ult i64 %73, %56
tail call void @llvm.assume(i1 %71)
%75 = mul nuw nsw i64 %73, %49
%73 = add nuw nsw i64 %75, %50
%74 = icmp samesign ule i64 %73, %51
tail call void @llvm.assume(i1 %74)
%78 = getelementptr inbounds nuw i16, ptr %8, i64 %75
%76 = getelementptr inbounds nuw i16, ptr %78, i64 %42
%77 = load i16, ptr %76, align 2, !tbaa !221
store i16 %80, ptr %43, align 2, !tbaa !221
%81 = zext i16 %80 to i32
%79 = add nuw nsw i32 %81, %72
tail call void @llvm.assume(i1 %45)
%81 = getelementptr inbounds nuw i16, ptr %67, i64 %46
%81 = getelementptr inbounds nuw i16, ptr %69, i64 %46
%82 = load i16, ptr %81, align 2, !tbaa !221
store i16 %82, ptr %47, align 2, !tbaa !221
%83 = zext i16 %82 to i32
%84 = add nuw nsw i32 %80, %83
%85 = getelementptr inbounds nuw i16, ptr %76, i64 %46
%84 = add nuw nsw i32 %82, %83
%85 = getelementptr inbounds nuw i16, ptr %78, i64 %46
%86 = load i16, ptr %85, align 2, !tbaa !221
store i16 %86, ptr %48, align 2, !tbaa !221
%87 = zext i16 %86 to i32
Expand Down Expand Up @@ -4470,7 +4472,7 @@ define hidden void @_ZNK8rawspeed10IiqDecoder16correctBadColumnEt(ptr noundef no
114: ; preds = %54
%115 = add nuw nsw i64 %indvars.iv436, 2
tail call void @llvm.assume(i1 %33)
%116 = icmp samesign ult i64 %115, %52
%116 = icmp samesign ult i64 %115, %56
tail call void @llvm.assume(i1 %116)
%117 = mul nuw nsw i64 %115, %49
%118 = add nuw nsw i64 %117, %50
Expand All @@ -4484,21 +4486,20 @@ define hidden void @_ZNK8rawspeed10IiqDecoder16correctBadColumnEt(ptr noundef no
%125 = icmp samesign ult i64 %124, %52
tail call void @llvm.assume(i1 %125)
%126 = mul nuw nsw i64 %124, %53
%127 = trunc i64 %126 to i32
%128 = add i32 %13, %127
%129 = icmp samesign ule i32 %128, %19
tail call void @llvm.assume(i1 %129)
%130 = getelementptr inbounds nuw i16, ptr %8, i64 %126
%131 = getelementptr inbounds nuw i16, ptr %130, i64 %34
%132 = load i16, ptr %131, align 2, !tbaa !221
%133 = zext i16 %132 to i32
%134 = add nuw nsw i32 %133, %123
%127 = add nuw nsw i64 %126, %54
%128 = icmp samesign ule i64 %127, %55
tail call void @llvm.assume(i1 %128)
%131 = getelementptr inbounds nuw i16, ptr %8, i64 %128
%130 = getelementptr inbounds nuw i16, ptr %131, i64 %34
%131 = load i16, ptr %130, align 2, !tbaa !221
%132 = zext i16 %131 to i32
%133 = add nuw nsw i32 %132, %125
tail call void @llvm.assume(i1 %36)
%135 = getelementptr inbounds nuw i16, ptr %120, i64 %37
%136 = load i16, ptr %135, align 2, !tbaa !221
%137 = zext i16 %136 to i32
%138 = add nuw nsw i32 %134, %137
%139 = getelementptr inbounds nuw i16, ptr %130, i64 %37
%138 = add nuw nsw i32 %135, %137
%139 = getelementptr inbounds nuw i16, ptr %131, i64 %37
%140 = load i16, ptr %139, align 2, !tbaa !221
%141 = zext i16 %140 to i32
%142 = add nuw nsw i32 %138, %141
Expand Down Expand Up @@ -4527,7 +4528,7 @@ define hidden void @_ZNK8rawspeed10IiqDecoder16correctBadColumnEt(ptr noundef no
br label %161

161: ; preds = %89, %114
%indvars.iv.next437.pre-phi = phi i64 [ %71, %89 ], [ %.pre, %114 ]
%indvars.iv.next437.pre-phi = phi i64 [ %73, %89 ], [ %.pre, %114 ]
%162 = load ptr, ptr %5, align 8, !tbaa !110
%163 = getelementptr inbounds nuw i8, ptr %162, i64 44
%164 = load i32, ptr %163, align 4, !tbaa !229
Expand Down
Loading