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
13 changes: 6 additions & 7 deletions bench/actix-rs/optimized/1ghd7r3h0kcgux6d.ll
Original file line number Diff line number Diff line change
Expand Up @@ -10520,19 +10520,18 @@ _ZN6brotli3enc7command17GetCopyLengthCode17hab981e27915e86caE.exit: ; preds = %1
%151 = and i32 %150, 192
%152 = add nuw nsw i32 %148, %151
%153 = trunc i32 %152 to i16
%154 = or disjoint i16 %139, %153
br label %_ZN6brotli3enc7command18CombineLengthCodes17he28c5563882f5f20E.exit

155: ; preds = %_ZN6brotli3enc7command17GetCopyLengthCode17hab981e27915e86caE.exit
%156 = icmp samesign ult i16 %.0.i, 8
%157 = or disjoint i16 %139, 64
%spec.select.i = select i1 %156, i16 %139, i16 %157
%155 = shl nuw nsw i16 %.0.i, 3
%156 = and i16 %155, 64
br label %_ZN6brotli3enc7command18CombineLengthCodes17he28c5563882f5f20E.exit

_ZN6brotli3enc7command18CombineLengthCodes17he28c5563882f5f20E.exit: ; preds = %142, %155
%.0.i13 = phi i16 [ %154, %142 ], [ %spec.select.i, %155 ]
%158 = getelementptr inbounds nuw i8, ptr %11, i64 12
store i16 %.0.i13, ptr %158, align 4
%.0.i13 = phi i16 [ %153, %142 ], [ %156, %155 ]
%.0.i13 = or disjoint i16 %139, %.0.i13
%157 = getelementptr inbounds nuw i8, ptr %11, i64 12
store i16 %.0.i13, ptr %157, align 4
br label %70

159: ; preds = %.preheader, %181
Expand Down
6 changes: 3 additions & 3 deletions bench/actix-rs/optimized/4pmtvrahn6eloepe.ll
Original file line number Diff line number Diff line change
Expand Up @@ -5716,9 +5716,9 @@ _ZN6brotli3enc7command17GetCopyLengthCode17hab981e27915e86caE.exit: ; preds = %2
br i1 %or.cond6.i, label %.thread, label %_ZN6brotli3enc7command18CombineLengthCodes17he28c5563882f5f20E.exit

.thread: ; preds = %_ZN6brotli3enc7command17GetCopyLengthCode17hab981e27915e86caE.exit
%235 = icmp samesign ult i16 %.0.i143, 8
%236 = or disjoint i16 %233, 64
%spec.select.i = select i1 %235, i16 %233, i16 %236
%235 = shl nuw nsw i16 %.0.i143, 3
%236 = and i16 %235, 64
%spec.select.i = or disjoint i16 %233, %236
%237 = zext nneg i16 %.0.i143 to i64
%238 = zext nneg i16 %spec.select.i to i64
br label %261
Expand Down
5 changes: 2 additions & 3 deletions bench/draco/optimized/symbol_encoding.ll
Original file line number Diff line number Diff line change
Expand Up @@ -1855,9 +1855,8 @@ _ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev.exit124: ; preds = %_Z
br label %.thread147

86: ; preds = %82
%87 = icmp samesign ugt i32 %58, 7
%88 = zext i1 %87 to i32
%spec.select = add nuw nsw i32 %.0, %88
%87 = lshr i32 %58, 3
%spec.select = add nuw nsw i32 %.0, %87
br label %.thread147

.thread147: ; preds = %86, %_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev.exit, %.thread, %80, %84, %76
Expand Down
16 changes: 8 additions & 8 deletions bench/folly/optimized/EpollBackend.ll
Original file line number Diff line number Diff line change
Expand Up @@ -626,10 +626,10 @@ _ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc.exit48: ; preds = %9
%38 = getelementptr inbounds nuw i8, ptr %.0, i64 16
store ptr %1, ptr %38, align 8, !tbaa !56
call void @llvm.lifetime.start.p0(i64 12, ptr nonnull %4) #21
%39 = and i16 %17, 4
%40 = lshr i16 %17, 1
%.lobit.i = and i16 %40, 1
%.1.i55 = or disjoint i16 %.lobit.i, %39
%39 = lshr i16 %17, 1
%.lobit.i = and i16 %39, 1
%.lobit.i = and i16 %17, 4
%.1.i55 = or disjoint i16 %.lobit.i, %40
%.1.i = zext nneg i16 %.1.i55 to i32
store i32 %.1.i, ptr %4, align 4, !tbaa !61
%41 = getelementptr inbounds nuw i8, ptr %4, i64 4
Expand Down Expand Up @@ -871,10 +871,10 @@ define noundef zeroext i1 @_ZN5folly12EpollBackend16setEdgeTriggeredERNS_14Event
call void @llvm.lifetime.start.p0(i64 12, ptr nonnull %2) #21
%7 = getelementptr inbounds nuw i8, ptr %1, i64 104
%8 = load i16, ptr %7, align 8, !tbaa !64
%9 = and i16 %8, 4
%10 = lshr i16 %8, 1
%.lobit.i = and i16 %10, 1
%.1.i18 = or disjoint i16 %.lobit.i, %9
%9 = lshr i16 %8, 1
%.lobit.i = and i16 %9, 1
%.lobit.i = and i16 %8, 4
%.1.i18 = or disjoint i16 %.lobit.i, %10
%.1.i = zext nneg i16 %.1.i18 to i32
%11 = or disjoint i32 %.1.i, -2147483648
store i32 %11, ptr %2, align 4, !tbaa !61
Expand Down
32 changes: 16 additions & 16 deletions bench/linux/optimized/open.ll
Original file line number Diff line number Diff line change
Expand Up @@ -1632,10 +1632,10 @@ define dso_local range(i64 -2147483648, 2147483648) i64 @__x64_sys_fchmodat2(ptr
call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %2, i8 0, i64 16, i1 false), !annotation !6
%18 = lshr exact i32 %14, 8
%19 = and i32 %18, 1
%20 = xor i32 %19, 1
%21 = icmp samesign ult i32 %14, 4096
%22 = or disjoint i32 %20, 16384
%23 = select i1 %21, i32 %20, i32 %22
%20 = shl nuw nsw i32 %14, 2
%21 = and i32 %20, 16384
%22 = or disjoint i32 %19, %21
%23 = xor i32 %22, 1
%24 = call i32 @user_path_at_empty(i32 noundef %11, ptr noundef %12, i32 noundef %23, ptr noundef nonnull %2, ptr noundef null) #14
%25 = icmp eq i32 %24, 0
br i1 %25, label %26, label %do_fchmodat.exit
Expand Down Expand Up @@ -1689,10 +1689,10 @@ define dso_local range(i64 -2147483648, 2147483648) i64 @__ia32_sys_fchmodat2(pt
call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %2, i8 0, i64 16, i1 false), !annotation !6
%19 = lshr exact i32 %15, 8
%20 = and i32 %19, 1
%21 = xor i32 %20, 1
%22 = icmp samesign ult i32 %15, 4096
%23 = or disjoint i32 %21, 16384
%24 = select i1 %22, i32 %21, i32 %23
%21 = shl nuw nsw i32 %15, 2
%22 = and i32 %21, 16384
%23 = or disjoint i32 %20, %22
%24 = xor i32 %23, 1
%25 = call i32 @user_path_at_empty(i32 noundef %12, ptr noundef %13, i32 noundef %24, ptr noundef nonnull %2, ptr noundef null) #14
%26 = icmp eq i32 %25, 0
br i1 %26, label %27, label %do_fchmodat.exit
Expand Down Expand Up @@ -2003,10 +2003,10 @@ define dso_local i32 @do_fchownat(i32 noundef %0, ptr noundef %1, i32 noundef %2
call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %6, i8 0, i64 16, i1 false), !annotation !6
%10 = lshr exact i32 %4, 8
%11 = and i32 %10, 1
%12 = xor i32 %11, 1
%13 = icmp samesign ult i32 %4, 4096
%14 = or disjoint i32 %12, 16384
%15 = select i1 %13, i32 %12, i32 %14
%12 = shl nuw nsw i32 %4, 2
%13 = and i32 %12, 16384
%14 = or disjoint i32 %11, %13
%15 = xor i32 %14, 1
%16 = call i32 @user_path_at_empty(i32 noundef %0, ptr noundef %1, i32 noundef %15, ptr noundef nonnull %6, ptr noundef null) #14
%17 = icmp eq i32 %16, 0
br i1 %17, label %18, label %.loopexit
Expand Down Expand Up @@ -4102,10 +4102,10 @@ define internal fastcc range(i64 -2147483648, 2147483648) i64 @do_faccessat(i32
call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %5, i8 0, i64 16, i1 false), !annotation !6
%11 = lshr exact i32 %3, 8
%12 = and i32 %11, 1
%13 = xor i32 %12, 1
%14 = icmp samesign ult i32 %3, 4096
%15 = or disjoint i32 %13, 16384
%16 = select i1 %14, i32 %13, i32 %15
%13 = shl nuw nsw i32 %3, 2
%14 = and i32 %13, 16384
%15 = or disjoint i32 %12, %14
%16 = xor i32 %15, 1
%17 = and i32 %3, 512
%18 = icmp eq i32 %17, 0
br i1 %18, label %19, label %83
Expand Down
8 changes: 4 additions & 4 deletions bench/linux/optimized/utimes.ll
Original file line number Diff line number Diff line change
Expand Up @@ -234,10 +234,10 @@ define dso_local range(i64 -2147483648, 2147483648) i64 @do_utimes(i32 noundef %
25: ; preds = %22
%26 = lshr exact i32 %3, 8
%27 = and i32 %26, 1
%28 = xor i32 %27, 1
%29 = icmp samesign ult i32 %3, 4096
%30 = or disjoint i32 %28, 16384
%31 = select i1 %29, i32 %28, i32 %30
%28 = shl nuw nsw i32 %3, 2
%29 = and i32 %28, 16384
%30 = or disjoint i32 %27, %29
%31 = xor i32 %30, 1
%32 = call i32 @user_path_at_empty(i32 noundef %0, ptr noundef %1, i32 noundef %31, ptr noundef nonnull %5, ptr noundef null) #7
%33 = icmp eq i32 %32, 0
br i1 %33, label %34, label %.loopexit
Expand Down
106 changes: 53 additions & 53 deletions bench/quickjs/optimized/libbf.ll
Original file line number Diff line number Diff line change
Expand Up @@ -1115,9 +1115,9 @@ bf_resize.exit: ; preds = %.bf_resize.exit_cri
br i1 %.not109, label %131, label %129

129: ; preds = %127
%.not110 = icmp samesign ult i32 %spec.select, 16
%130 = or i32 %spec.select, 8
%spec.select129 = select i1 %.not110, i32 %spec.select, i32 %130
%130 = lshr i32 %spec.select, 1
%131 = and i32 %130, 8
%spec.select129 = or i32 %131, %spec.select
br label %142

131: ; preds = %127, %91
Expand Down Expand Up @@ -1160,58 +1160,58 @@ bf_set_zero.exit: ; preds = %131, %137
%149 = sub i64 %.pre.i, %.089
%150 = ashr i64 %149, 6
%151 = icmp sgt i64 %150, -1
br i1 %151, label %152, label %.preheader

152: ; preds = %148
%153 = trunc i64 %149 to i32
%154 = and i32 %153, 63
%.not111 = icmp eq i32 %154, 0
br i1 %.not111, label %.preheader, label %155

155: ; preds = %152
%156 = sub nuw nsw i32 64, %154
%157 = zext nneg i32 %156 to i64
%notmask.i = shl nsw i64 -1, %157
%158 = xor i64 %notmask.i, -1
%159 = and i64 %149, 63
%160 = shl i64 %158, %159
%161 = getelementptr inbounds nuw i64, ptr %54, i64 %150
%162 = load i64, ptr %161, align 8, !tbaa !33
%163 = and i64 %162, %160
store i64 %163, ptr %161, align 8, !tbaa !33
br label %.preheader

.preheader: ; preds = %148, %152, %155
%.3.ph = phi i64 [ 0, %148 ], [ %150, %152 ], [ %150, %155 ]
br label %164
br i1 %151, label %153, label %.preheader

164: ; preds = %.preheader, %164
%.3 = phi i64 [ %168, %164 ], [ %.3.ph, %.preheader ]
%165 = getelementptr inbounds i64, ptr %54, i64 %.3
%166 = load i64, ptr %165, align 8, !tbaa !33
%167 = icmp eq i64 %166, 0
%168 = add i64 %.3, 1
br i1 %167, label %164, label %169, !llvm.loop !43
164: ; preds = %149
%154 = trunc i64 %149 to i32
%155 = and i32 %154, 63
%.not111 = icmp eq i32 %155, 0
br i1 %.not111, label %171, label %156

169: ; preds = %164
%170 = icmp sgt i64 %.3, 0
br i1 %170, label %171, label %175
%157 = sub nuw nsw i32 64, %155
%158 = zext nneg i32 %157 to i64
%notmask.i = shl nsw i64 -1, %158
%159 = xor i64 %notmask.i, -1
%160 = and i64 %150, 63
%161 = shl i64 %159, %160
%162 = getelementptr inbounds nuw i64, ptr %54, i64 %151
%163 = load i64, ptr %162, align 8, !tbaa !33
%164 = and i64 %163, %161
store i64 %164, ptr %162, align 8, !tbaa !33
br label %.preheader

171: ; preds = %169
%172 = getelementptr inbounds nuw i64, ptr %54, i64 %.3
%173 = sub i64 %3, %.3
%174 = shl i64 %173, 3
tail call void @llvm.memmove.p0.p0.i64(ptr nonnull align 8 %54, ptr nonnull align 8 %172, i64 %174, i1 false)
br label %175

175: ; preds = %171, %169
%.091 = phi i64 [ %173, %171 ], [ %3, %169 ]
%176 = getelementptr inbounds nuw i8, ptr %0, i64 24
%177 = load i64, ptr %176, align 8, !tbaa !32
%.not.i118 = icmp eq i64 %.091, %177
br i1 %.not.i118, label %bf_resize.exit122, label %178
171: ; preds = %149, %153, %169
%.3.ph = phi i64 [ 0, %149 ], [ %151, %153 ], [ %151, %156 ]
br label %165

165:; preds = %171, %165
%.3 = phi i64 [ %169, %165 ], [ %.3.ph, %171 ]
%166 = getelementptr inbounds i64, ptr %54, i64 %.3
%167 = load i64, ptr %166, align 8, !tbaa !33
%168 = icmp eq i64 %167, 0
%169 = add i64 %.3, 1
br i1 %168, label %165, label %170, !llvm.loop !43

170: ; preds = %165
%171 = icmp sgt i64 %.3, 0
br i1 %171, label %172, label %176

172: ; preds = %170
%173 = getelementptr inbounds nuw i64, ptr %54, i64 %.3
%174 = sub i64 %3, %.3
%175 = shl i64 %174, 3
tail call void @llvm.memmove.p0.p0.i64(ptr nonnull align 8 %54, ptr nonnull align 8 %173, i64 %175, i1 false)
br label %176

176: ; preds = %172, %170
%.091 = phi i64 [ %174, %172 ], [ %3, %170 ]
%177 = getelementptr inbounds nuw i8, ptr %0, i64 24
%178 = load i64, ptr %177, align 8, !tbaa !32
%.not.i118 = icmp eq i64 %.091, %178
br i1 %.not.i118, label %bf_resize.exit122, label %179

178: ; preds = %175
178: ; preds = %176
%179 = load ptr, ptr %0, align 8, !tbaa !28
%180 = load ptr, ptr %53, align 8, !tbaa !29
%181 = shl i64 %.091, 3
Expand All @@ -1226,11 +1226,11 @@ bf_set_zero.exit: ; preds = %131, %137

186: ; preds = %178
store ptr %183, ptr %53, align 8, !tbaa !29
store i64 %.091, ptr %176, align 8, !tbaa !32
store i64 %.091, ptr %177, align 8, !tbaa !32
br label %bf_resize.exit122

bf_resize.exit122: ; preds = %186, %178, %175, %144, %bf_set_zero.exit, %bf_resize.exit
%.090 = phi i32 [ %105, %bf_resize.exit ], [ %132, %bf_set_zero.exit ], [ %147, %144 ], [ %.0128, %175 ], [ %.0128, %178 ], [ %.0128, %186 ]
bf_resize.exit122: ; preds = %186, %178, %176, %144, %bf_set_zero.exit, %bf_resize.exit
%.090 = phi i32 [ %105, %bf_resize.exit ], [ %132, %bf_set_zero.exit ], [ %147, %144 ], [ %.0128, %176 ], [ %.0128, %178 ], [ %.0128, %186 ]
ret i32 %.090
}

Expand Down
91 changes: 41 additions & 50 deletions bench/softposit-rs/optimized/3yl6353p3hwrtv6y.ll
Original file line number Diff line number Diff line change
Expand Up @@ -183,65 +183,56 @@ _ZN9softposit5p16e15P16E117separate_bits_tmp17hb53692effe90da8fE.exit64: ; preds
%48 = zext nneg i16 %44 to i32
%49 = mul nuw nsw i32 %48, %47
%50 = icmp samesign ugt i8 %46, 1
%51 = xor i8 %46, 2
%52 = zext i1 %50 to i8
%.040 = add i8 %45, %52
%.037 = select i1 %50, i8 %51, i8 %46
%53 = icmp samesign ult i32 %49, 536870912
br i1 %53, label %55, label %62

.sink.split: ; preds = %4, %78
%.sink = phi i128 [ %.039, %78 ], [ -170141183460469231731687303715884105728, %4 ]
%51 = zext i1 %50 to i8
%.040 = add i8 %45, %51
%.037 = and i8 %46, 1
%52 = icmp samesign ugt i32 %49, 536870911
%spec.select49 = select i1 %52, i8 %.037, i8 0
%.141 = add i8 %.040, %spec.select49
%53 = zext i1 %52 to i8
%.138 = xor i8 %.037, %53
%54 = zext i1 %52 to i32
%.035 = lshr exact i32 %49, %54
%55 = sext i8 %.141 to i16
%56 = shl nsw i16 %55, 1
%57 = or disjoint i8 %.138, 28
%58 = zext nneg i8 %57 to i16
%59 = add nsw i16 %56, %58
%60 = icmp sgt i16 %59, 0
br i1 %60, label %68, label %62

.sink.split: ; preds = %4, %73
%.sink = phi i128 [ %.039, %73 ], [ -170141183460469231731687303715884105728, %4 ]
store i128 %.sink, ptr %0, align 16
br label %54

54: ; preds = %.sink.split, %9
ret void

55: ; preds = %62, %_ZN9softposit5p16e15P16E117separate_bits_tmp17hb53692effe90da8fE.exit64
%.141 = phi i8 [ %.040, %_ZN9softposit5p16e15P16E117separate_bits_tmp17hb53692effe90da8fE.exit64 ], [ %spec.select49, %62 ]
%.138 = phi i8 [ %.037, %_ZN9softposit5p16e15P16E117separate_bits_tmp17hb53692effe90da8fE.exit64 ], [ %65, %62 ]
%.035 = phi i32 [ %49, %_ZN9softposit5p16e15P16E117separate_bits_tmp17hb53692effe90da8fE.exit64 ], [ %66, %62 ]
%56 = sext i8 %.141 to i16
%57 = shl nsw i16 %56, 1
%58 = add nsw i16 %57, 28
%59 = zext nneg i8 %.138 to i16
%60 = add nsw i16 %58, %59
%61 = icmp sgt i16 %60, 0
br i1 %61, label %73, label %67

62: ; preds = %_ZN9softposit5p16e15P16E117separate_bits_tmp17hb53692effe90da8fE.exit64
%63 = icmp ne i8 %.037, 0
%64 = zext i1 %63 to i8
%spec.select49 = add i8 %.040, %64
%65 = xor i8 %.037, 1
%66 = lshr exact i32 %49, 1
br label %55

67: ; preds = %55
%68 = sub nsw i16 0, %60
%63 = sub nsw i16 0, %59
%64 = zext nneg i32 %.035 to i128
%65 = and i16 %63, 127
%66 = zext nneg i16 %65 to i128
%66 = lshr i128 %64, %66
br label %73

67: ; preds = %_ZN9softposit5p16e15P16E117separate_bits_tmp17hb53692effe90da8fE.exit64
%69 = zext nneg i32 %.035 to i128
%70 = and i16 %68, 127
%70 = and i16 %59, 127
%71 = zext nneg i16 %70 to i128
%72 = lshr i128 %69, %71
br label %78

73: ; preds = %55
%74 = zext nneg i32 %.035 to i128
%75 = and i16 %60, 127
%76 = zext nneg i16 %75 to i128
%77 = shl i128 %74, %76
br label %78

78: ; preds = %73, %67
%.036 = phi i128 [ %77, %73 ], [ %72, %67 ]
%79 = xor i1 %14, %3
%80 = xor i1 %15, %79
%81 = sub i128 0, %.036
%spec.select50 = select i1 %80, i128 %.036, i128 %81
%82 = add i128 %spec.select50, %5
%83 = icmp eq i128 %82, -170141183460469231731687303715884105728
%.039 = select i1 %83, i128 0, i128 %82
%72 = shl i128 %69, %71
br label %73

73: ; preds = %68, %62
%.036 = phi i128 [ %72, %68 ], [ %67, %62 ]
%74 = xor i1 %14, %3
%75 = xor i1 %15, %74
%76 = sub i128 0, %.036
%spec.select50 = select i1 %75, i128 %.036, i128 %76
%77 = add i128 %spec.select50, %5
%78 = icmp eq i128 %77, -170141183460469231731687303715884105728
%.039 = select i1 %78, i128 0, i128 %77
br label %.sink.split
}

Expand Down
Loading