This is an archive of the discontinued LLVM Phabricator instance.

Differential D159061

[InstCombine] Add tests for folding multiuse `(icmp eq/ne (or X, Y), Y)`; NFC
AbandonedPublic

Authored by goldstein.w.n on Aug 28 2023, 9:30 PM.

Details

Reviewers
nikic
RKSimon
Allen

Diff Detail

Revision Contents

PathSize
llvm/
test/
Transforms/
InstCombine/
27 lines

Diff 556707

llvm/test/Transforms/InstCombine/icmp-of-or-x.ll

Show First 20 Lines • Show All 371 Lines • ▼ Show 20 Lines
; CHECK-NEXT: ret i1 true ; CHECK-NEXT: ret i1 true
; ;
%v = load i1, ptr %b, align 2 %v = load i1, ptr %b, align 2
%s = select i1 %v, i32 74, i32 0 %s = select i1 %v, i32 74, i32 0
%or = or i32 %s, 1 %or = or i32 %s, 1
%r = icmp ugt i32 %or, %s %r = icmp ugt i32 %or, %s
ret i1 %r ret i1 %r
} }
define i1 @icmp_eq_x_invertable_y2_todo(i8 %x, i1 %y, i8 %z) {
; CHECK-LABEL: @icmp_eq_x_invertable_y2_todo(
; CHECK-NEXT: [[ZZ:%.*]] = xor i8 [[Z:%.*]], -1
; CHECK-NEXT: [[YY:%.*]] = select i1 [[Y:%.*]], i8 7, i8 [[ZZ]]
; CHECK-NEXT: [[OR:%.*]] = or i8 [[YY]], [[X:%.*]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[YY]], [[OR]]
; CHECK-NEXT: ret i1 [[R]]
;
%zz = xor i8 %z, -1
%yy = select i1 %y, i8 7, i8 %zz
%or = or i8 %x, %yy
%r = icmp eq i8 %yy, %or
ret i1 %r
}
define i1 @icmp_eq_x_invertable_y2(i8 %x, i8 %y) {
; CHECK-LABEL: @icmp_eq_x_invertable_y2(
; CHECK-NEXT: [[TMP1:%.*]] = and i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[TMP1]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%yy = xor i8 %y, -1
%or = or i8 %x, %yy
%r = icmp eq i8 %yy, %or
ret i1 %r
}