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
7 changes: 3 additions & 4 deletions bench/abc/optimized/Glucose.cpp.ll
Original file line number Diff line number Diff line change
Expand Up @@ -9317,17 +9317,16 @@ _ZNK5Gluco6Solver12withinBudgetEv.exit.thread: ; preds = %109, %93, %_ZNK5Glu
181: ; preds = %180
%182 = getelementptr inbounds i8, ptr %0, i64 736
%183 = load i32, ptr %182, align 8
%184 = sext i32 %183 to i64
%184 = zext i32 %183 to i64
%185 = icmp slt i32 %183, 0
%186 = shl nsw i64 %184, 2
%186 = shl nuw nsw i64 %184, 2
%187 = select i1 %185, i64 -1, i64 %186
%188 = call noalias noundef nonnull ptr @_Znam(i64 noundef %187) #34
%189 = icmp sgt i32 %183, 0
br i1 %189, label %.lr.ph79, label %.loopexit

.lr.ph79: ; preds = %181
%190 = load ptr, ptr %13, align 8
%wide.trip.count = zext nneg i32 %183 to i64
br label %191

191: ; preds = %.lr.ph79, %191
Expand All @@ -9339,7 +9338,7 @@ _ZNK5Gluco6Solver12withinBudgetEv.exit.thread: ; preds = %109, %93, %_ZNK5Glu
%196 = getelementptr inbounds i32, ptr %188, i64 %indvars.iv82
store i32 %195, ptr %196, align 4
%indvars.iv.next83 = add nuw nsw i64 %indvars.iv82, 1
%exitcond.not = icmp eq i64 %indvars.iv.next83, %wide.trip.count
%exitcond.not = icmp eq i64 %indvars.iv.next83, %184
br i1 %exitcond.not, label %.loopexit, label %191, !llvm.loop !68

.loopexit: ; preds = %191, %181, %180
Expand Down
4 changes: 2 additions & 2 deletions bench/abc/optimized/bmcBmc3.c.ll
Original file line number Diff line number Diff line change
Expand Up @@ -3747,8 +3747,8 @@ Saig_ManBmcReduceTruth.exit: ; preds = %132
146: ; preds = %136
%147 = and i32 %137, 1
%.not97 = icmp eq i32 %147, 0
%148 = and i32 %137, 65535
%149 = xor i32 %148, 65535
%148 = and i32 %137, 65534
%149 = xor i32 %148, 65534
%150 = select i1 %.not97, i32 %137, i32 %149
%151 = getelementptr inbounds i8, ptr %4, i64 16
store i32 %150, ptr %151, align 16
Expand Down
8 changes: 4 additions & 4 deletions bench/arrow/optimized/float16.cc.ll
Original file line number Diff line number Diff line change
Expand Up @@ -74,7 +74,7 @@ entry:
%conv.i = and i16 %1, -32768
%and1.i = and i32 %0, 2139095040
%shr2.i = lshr exact i32 %and1.i, 23
%and8.i = and i32 %0, 8388607
%and8.i = and i32 %0, 8376320
%cmp.i = icmp ugt i32 %and1.i, 1191182336
br i1 %cmp.i, label %if.then.i, label %if.end26.i

Expand Down Expand Up @@ -133,7 +133,7 @@ if.end52.i: ; preds = %if.end26.i
%conv64.i = and i32 %shr.i, 32768
%conv65.i = and i32 %shl.i, 64512
%add66.i = add nuw nsw i32 %conv65.i, %conv64.i
%add68.i = add nuw nsw i32 %add66.i, %shr62.i
%add68.i = or disjoint i32 %add66.i, %shr62.i
%conv69.i = trunc i32 %add68.i to i16
br label %_ZN5arrow4util12_GLOBAL__N_115BinaryConverterIjE10ToBinary16Ej.exit

Expand Down Expand Up @@ -216,7 +216,7 @@ entry:
%and1.i = and i64 %0, 9218868437227405312
%shr2.i = lshr exact i64 %and1.i, 52
%conv3.i = trunc nuw nsw i64 %shr2.i to i16
%and8.i = and i64 %0, 4503599627370495
%and8.i = and i64 %0, 4497002557603840
%cmp.i = icmp ugt i64 %and1.i, 4674736413210574848
br i1 %cmp.i, label %if.then.i, label %if.end26.i

Expand Down Expand Up @@ -274,7 +274,7 @@ if.end52.i: ; preds = %if.end26.i
%conv63.i = trunc nuw nsw i64 %shr62.i to i16
%shl.i = or disjoint i16 %conv.i, 16384
%add66.i = add i16 %shl.i, %add.i
%add68.i = add i16 %add66.i, %conv63.i
%add68.i = or disjoint i16 %add66.i, %conv63.i
br label %_ZN5arrow4util12_GLOBAL__N_115BinaryConverterImE10ToBinary16Em.exit

_ZN5arrow4util12_GLOBAL__N_115BinaryConverterImE10ToBinary16Em.exit: ; preds = %if.then12.i, %if.end22.i, %if.then29.i, %if.end33.i, %if.end52.i
Expand Down
5 changes: 3 additions & 2 deletions bench/assimp/optimized/SMDLoader.cpp.ll
Original file line number Diff line number Diff line change
Expand Up @@ -2784,7 +2784,7 @@ if.end: ; preds = %if.then.if.end_crit
%6 = load ptr, ptr %pScene, align 8
%mNumAnimations = getelementptr inbounds i8, ptr %6, i64 48
store i32 1, ptr %mNumAnimations, align 8
%7 = ashr exact i64 %sub.ptr.sub.i, 29
%7 = lshr exact i64 %sub.ptr.sub.i, 29
%.inv = icmp sgt i64 %sub.ptr.sub.i, -1
%8 = select i1 %.inv, i64 %7, i64 -1
%call4 = invoke noalias noundef nonnull ptr @_Znam(i64 noundef %8) #27
Expand All @@ -2797,7 +2797,8 @@ invoke.cont3: ; preds = %if.end
%10 = load ptr, ptr %pScene, align 8
%mAnimations7 = getelementptr inbounds i8, ptr %10, i64 56
%11 = load ptr, ptr %mAnimations7, align 8
call void @llvm.memset.p0.i64(ptr align 8 %11, i8 0, i64 %7, i1 false)
%mul = ashr exact i64 %sub.ptr.sub.i, 29
call void @llvm.memset.p0.i64(ptr align 8 %11, i8 0, i64 %mul, i1 false)
call void @_ZNSaIcEC1Ev(ptr noundef nonnull align 1 dereferenceable(1) %ref.tmp9) #24
%call.i8 = invoke noundef ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE13_M_local_dataEv(ptr noundef nonnull align 8 dereferenceable(32) %ref.tmp)
to label %call.i.noexc unwind label %lpad10
Expand Down
107 changes: 53 additions & 54 deletions bench/c3c/optimized/lexer.c.ll
Original file line number Diff line number Diff line change
Expand Up @@ -4869,66 +4869,65 @@ define internal void @add_error_token_at(ptr nocapture noundef %0, ptr noundef %
%.sroa.3.0.insert.shift = select i1 %17, i64 0, i64 %20
%.sroa.3.0.insert.insert = or disjoint i64 %.sroa.3.0.insert.shift, %.sroa.4.0.insert.shift
%21 = shl nuw nsw i32 %2, 16
%22 = and i32 %21, 16711680
%23 = select i1 %8, i32 0, i32 %22
%.sroa.2.0.insert.shift = zext nneg i32 %23 to i64
%.sroa.2.0.insert.insert = or disjoint i64 %.sroa.3.0.insert.insert, %.sroa.2.0.insert.shift
%.sroa.0.0.insert.ext = zext i16 %11 to i64
%.sroa.0.0.insert.insert = or disjoint i64 %.sroa.2.0.insert.insert, %.sroa.0.0.insert.ext
%22 = select i1 %8, i32 0, i32 %21
%23 = zext i16 %11 to i32
%24 = or disjoint i32 %22, %23
%.sroa.2.0.insert.insert = zext nneg i32 %24 to i64
%.sroa.0.0.insert.insert = or i64 %.sroa.3.0.insert.insert, %.sroa.2.0.insert.insert
call void @sema_verror_range(i64 %.sroa.0.0.insert.insert, ptr noundef %3, ptr noundef nonnull %5) #10
call void @llvm.va_end.p0(ptr nonnull %5)
%24 = getelementptr inbounds i8, ptr %0, i64 112
store i32 0, ptr %24, align 8
%25 = getelementptr inbounds i8, ptr %0, i64 24
%26 = load ptr, ptr %25, align 8
%27 = getelementptr inbounds i8, ptr %0, i64 16
%28 = load ptr, ptr %27, align 8
%29 = ptrtoint ptr %26 to i64
%30 = ptrtoint ptr %28 to i64
%31 = sub i64 %29, %30
%32 = getelementptr inbounds i8, ptr %0, i64 64
%33 = getelementptr inbounds i8, ptr %0, i64 72
store i64 %31, ptr %33, align 8
store ptr %28, ptr %32, align 8
%34 = getelementptr inbounds i8, ptr %0, i64 36
%35 = load i32, ptr %34, align 4
%36 = load i32, ptr %6, align 8
%37 = icmp eq i32 %35, %36
br i1 %37, label %38, label %48

38: ; preds = %4
%39 = load ptr, ptr %12, align 8
%40 = ptrtoint ptr %39 to i64
%41 = sub i64 %30, %40
%42 = icmp sgt i64 %41, 254
%43 = trunc i64 %41 to i8
%44 = add i8 %43, 1
%.0.i.i = select i1 %42, i8 0, i8 %44
%45 = icmp sgt i64 %31, 255
%46 = trunc i64 %31 to i8
%47 = select i1 %45, i8 0, i8 %46
%25 = getelementptr inbounds i8, ptr %0, i64 112
store i32 0, ptr %25, align 8
%26 = getelementptr inbounds i8, ptr %0, i64 24
%27 = load ptr, ptr %26, align 8
%28 = getelementptr inbounds i8, ptr %0, i64 16
%29 = load ptr, ptr %28, align 8
%30 = ptrtoint ptr %27 to i64
%31 = ptrtoint ptr %29 to i64
%32 = sub i64 %30, %31
%33 = getelementptr inbounds i8, ptr %0, i64 64
%34 = getelementptr inbounds i8, ptr %0, i64 72
store i64 %32, ptr %34, align 8
store ptr %29, ptr %33, align 8
%35 = getelementptr inbounds i8, ptr %0, i64 36
%36 = load i32, ptr %35, align 4
%37 = load i32, ptr %6, align 8
%38 = icmp eq i32 %36, %37
br i1 %38, label %39, label %49

39: ; preds = %4
%40 = load ptr, ptr %12, align 8
%41 = ptrtoint ptr %40 to i64
%42 = sub i64 %31, %41
%43 = icmp sgt i64 %42, 254
%44 = trunc i64 %42 to i8
%45 = add i8 %44, 1
%.0.i.i = select i1 %43, i8 0, i8 %45
%46 = icmp sgt i64 %32, 255
%47 = trunc i64 %32 to i8
%48 = select i1 %46, i8 0, i8 %47
br label %set_generic_token.exit

48: ; preds = %4
%49 = getelementptr inbounds i8, ptr %0, i64 48
%50 = load ptr, ptr %49, align 8
%51 = ptrtoint ptr %50 to i64
%52 = sub i64 %30, %51
%53 = icmp sgt i64 %52, 254
%54 = trunc i64 %52 to i8
%55 = add i8 %54, 1
%.0.i26.i = select i1 %53, i8 0, i8 %55
49: ; preds = %4
%50 = getelementptr inbounds i8, ptr %0, i64 48
%51 = load ptr, ptr %50, align 8
%52 = ptrtoint ptr %51 to i64
%53 = sub i64 %31, %52
%54 = icmp sgt i64 %53, 254
%55 = trunc i64 %53 to i8
%56 = add i8 %55, 1
%.0.i26.i = select i1 %54, i8 0, i8 %56
br label %set_generic_token.exit

set_generic_token.exit: ; preds = %38, %48
%.024.in.i = phi i8 [ %.0.i.i, %38 ], [ %.0.i26.i, %48 ]
%.0.i9 = phi i8 [ %47, %38 ], [ 1, %48 ]
%56 = getelementptr inbounds i8, ptr %0, i64 106
store i8 %.0.i9, ptr %56, align 2
%57 = getelementptr inbounds i8, ptr %0, i64 107
store i8 %.024.in.i, ptr %57, align 1
%58 = getelementptr inbounds i8, ptr %0, i64 108
store i32 %35, ptr %58, align 4
set_generic_token.exit: ; preds = %39, %49
%.024.in.i = phi i8 [ %.0.i.i, %39 ], [ %.0.i26.i, %49 ]
%.0.i9 = phi i8 [ %48, %39 ], [ 1, %49 ]
%57 = getelementptr inbounds i8, ptr %0, i64 106
store i8 %.0.i9, ptr %57, align 2
%58 = getelementptr inbounds i8, ptr %0, i64 107
store i8 %.024.in.i, ptr %58, align 1
%59 = getelementptr inbounds i8, ptr %0, i64 108
store i32 %36, ptr %59, align 4
ret void
}

Expand Down
Loading