204 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4define i64 @sext_xor_sub(i64 %a, i1 %b) {5; CHECK-LABEL: define i64 @sext_xor_sub(6; CHECK-SAME: i64 [[A:%.*]], i1 [[B:%.*]]) {7; CHECK-NEXT: [[TMP1:%.*]] = sub i64 0, [[A]]8; CHECK-NEXT: [[R:%.*]] = select i1 [[B]], i64 [[TMP1]], i64 [[A]]9; CHECK-NEXT: ret i64 [[R]]10;11 %c = sext i1 %b to i6412 %d = xor i64 %a, %c13 %r = sub i64 %d, %c14 ret i64 %r15}16 17define i64 @sext_xor_sub_1(i64 %a, i1 %b) {18; CHECK-LABEL: define i64 @sext_xor_sub_1(19; CHECK-SAME: i64 [[A:%.*]], i1 [[B:%.*]]) {20; CHECK-NEXT: [[TMP1:%.*]] = sub i64 0, [[A]]21; CHECK-NEXT: [[R:%.*]] = select i1 [[B]], i64 [[TMP1]], i64 [[A]]22; CHECK-NEXT: ret i64 [[R]]23;24 %c = sext i1 %b to i6425 %d = xor i64 %c, %a26 %r = sub i64 %d, %c27 ret i64 %r28}29 30define i64 @sext_xor_sub_2(i64 %a, i1 %b) {31; CHECK-LABEL: define i64 @sext_xor_sub_2(32; CHECK-SAME: i64 [[A:%.*]], i1 [[B:%.*]]) {33; CHECK-NEXT: [[TMP1:%.*]] = sub i64 0, [[A]]34; CHECK-NEXT: [[R:%.*]] = select i1 [[B]], i64 [[A]], i64 [[TMP1]]35; CHECK-NEXT: ret i64 [[R]]36;37 %c = sext i1 %b to i6438 %d = xor i64 %a, %c39 %r = sub i64 %c, %d40 ret i64 %r41}42 43define i64 @sext_xor_sub_3(i64 %a, i1 %b) {44; CHECK-LABEL: define i64 @sext_xor_sub_3(45; CHECK-SAME: i64 [[A:%.*]], i1 [[B:%.*]]) {46; CHECK-NEXT: [[TMP1:%.*]] = sub i64 0, [[A]]47; CHECK-NEXT: [[R:%.*]] = select i1 [[B]], i64 [[A]], i64 [[TMP1]]48; CHECK-NEXT: ret i64 [[R]]49;50 %c = sext i1 %b to i6451 %d = xor i64 %c, %a52 %r = sub i64 %c, %d53 ret i64 %r54}55 56; Sext non boolean type.57define i64 @sext_non_bool_xor_sub(i64 %a, i8 %b) {58; CHECK-LABEL: define i64 @sext_non_bool_xor_sub(59; CHECK-SAME: i64 [[A:%.*]], i8 [[B:%.*]]) {60; CHECK-NEXT: [[C:%.*]] = sext i8 [[B]] to i6461; CHECK-NEXT: [[D:%.*]] = xor i64 [[A]], [[C]]62; CHECK-NEXT: [[R:%.*]] = sub i64 [[D]], [[C]]63; CHECK-NEXT: ret i64 [[R]]64;65 %c = sext i8 %b to i6466 %d = xor i64 %a, %c67 %r = sub i64 %d, %c68 ret i64 %r69}70 71define i64 @sext_non_bool_xor_sub_1(i64 %a, i8 %b) {72; CHECK-LABEL: define i64 @sext_non_bool_xor_sub_1(73; CHECK-SAME: i64 [[A:%.*]], i8 [[B:%.*]]) {74; CHECK-NEXT: [[C:%.*]] = sext i8 [[B]] to i6475; CHECK-NEXT: [[D:%.*]] = xor i64 [[A]], [[C]]76; CHECK-NEXT: [[R:%.*]] = sub i64 [[D]], [[C]]77; CHECK-NEXT: ret i64 [[R]]78;79 %c = sext i8 %b to i6480 %d = xor i64 %c, %a81 %r = sub i64 %d, %c82 ret i64 %r83}84 85; Different boolean values.86define i64 @sext_diff_i1_xor_sub(i64 %a, i1 %b, i1 %c) {87; CHECK-LABEL: define i64 @sext_diff_i1_xor_sub(88; CHECK-SAME: i64 [[A:%.*]], i1 [[B:%.*]], i1 [[C:%.*]]) {89; CHECK-NEXT: [[D:%.*]] = sext i1 [[B]] to i6490; CHECK-NEXT: [[E_NEG:%.*]] = zext i1 [[C]] to i6491; CHECK-NEXT: [[R:%.*]] = add nsw i64 [[E_NEG]], [[D]]92; CHECK-NEXT: ret i64 [[R]]93;94 %d = sext i1 %b to i6495 %e = sext i1 %c to i6496 %f = xor i64 %a, %d97 %r = sub i64 %d, %e98 ret i64 %r99}100 101define i64 @sext_diff_i1_xor_sub_1(i64 %a, i1 %b, i1 %c) {102; CHECK-LABEL: define i64 @sext_diff_i1_xor_sub_1(103; CHECK-SAME: i64 [[A:%.*]], i1 [[B:%.*]], i1 [[C:%.*]]) {104; CHECK-NEXT: [[D:%.*]] = sext i1 [[B]] to i64105; CHECK-NEXT: [[E_NEG:%.*]] = zext i1 [[C]] to i64106; CHECK-NEXT: [[R:%.*]] = add nsw i64 [[E_NEG]], [[D]]107; CHECK-NEXT: ret i64 [[R]]108;109 %d = sext i1 %b to i64110 %e = sext i1 %c to i64111 %f = xor i64 %d, %a112 %r = sub i64 %d, %e113 ret i64 %r114}115 116; (sext C) has multiple uses.117define i64 @sext_multi_uses(i64 %a, i1 %b, i64 %x) {118; CHECK-LABEL: define i64 @sext_multi_uses(119; CHECK-SAME: i64 [[A:%.*]], i1 [[B:%.*]], i64 [[X:%.*]]) {120; CHECK-NEXT: [[TMP1:%.*]] = add i64 [[X]], [[A]]121; CHECK-NEXT: [[TMP2:%.*]] = sub i64 0, [[TMP1]]122; CHECK-NEXT: [[R:%.*]] = select i1 [[B]], i64 [[TMP2]], i64 [[A]]123; CHECK-NEXT: ret i64 [[R]]124;125 %c = sext i1 %b to i64126 %d = xor i64 %a, %c127 %e = sub i64 %d, %c128 %f = mul i64 %x, %c129 %r = add i64 %f, %e130 ret i64 %r131}132 133; (xor X, (sext C)) has multiple uses.134define i64 @xor_multi_uses(i64 %a, i1 %b, i64 %x) {135; CHECK-LABEL: define i64 @xor_multi_uses(136; CHECK-SAME: i64 [[A:%.*]], i1 [[B:%.*]], i64 [[X:%.*]]) {137; CHECK-NEXT: [[C:%.*]] = sext i1 [[B]] to i64138; CHECK-NEXT: [[D:%.*]] = xor i64 [[A]], [[C]]139; CHECK-NEXT: [[E:%.*]] = sub i64 [[D]], [[C]]140; CHECK-NEXT: [[F:%.*]] = mul i64 [[X]], [[D]]141; CHECK-NEXT: [[R:%.*]] = add i64 [[F]], [[E]]142; CHECK-NEXT: ret i64 [[R]]143;144 %c = sext i1 %b to i64145 %d = xor i64 %a, %c146 %e = sub i64 %d, %c147 %f = mul i64 %x, %d148 %r = add i64 %f, %e149 ret i64 %r150}151 152define i64 @absdiff(i64 %a, i64 %b) {153; CHECK-LABEL: define i64 @absdiff(154; CHECK-SAME: i64 [[A:%.*]], i64 [[B:%.*]]) {155; CHECK-NEXT: [[C:%.*]] = icmp ult i64 [[A]], [[B]]156; CHECK-NEXT: [[D:%.*]] = sub i64 [[A]], [[B]]157; CHECK-NEXT: [[TMP1:%.*]] = sub i64 0, [[D]]158; CHECK-NEXT: [[RES:%.*]] = select i1 [[C]], i64 [[TMP1]], i64 [[D]]159; CHECK-NEXT: ret i64 [[RES]]160;161 %c = icmp ult i64 %a, %b162 %c.ext = sext i1 %c to i64163 %d = sub i64 %a, %b164 %may.rev = xor i64 %c.ext, %d165 %res = sub i64 %may.rev, %c.ext166 ret i64 %res167}168 169; Commuted xor operands compared to absdiff.170define i64 @absdiff1(i64 %a, i64 %b) {171; CHECK-LABEL: define i64 @absdiff1(172; CHECK-SAME: i64 [[A:%.*]], i64 [[B:%.*]]) {173; CHECK-NEXT: [[C:%.*]] = icmp ult i64 [[A]], [[B]]174; CHECK-NEXT: [[D:%.*]] = sub i64 [[A]], [[B]]175; CHECK-NEXT: [[TMP1:%.*]] = sub i64 0, [[D]]176; CHECK-NEXT: [[RES:%.*]] = select i1 [[C]], i64 [[TMP1]], i64 [[D]]177; CHECK-NEXT: ret i64 [[RES]]178;179 %c = icmp ult i64 %a, %b180 %c.ext = sext i1 %c to i64181 %d = sub i64 %a, %b182 %may.rev = xor i64 %d, %c.ext183 %res = sub i64 %may.rev, %c.ext184 ret i64 %res185}186 187; Use ugt as compare cond.188define i64 @absdiff2(i64 %a, i64 %b) {189; CHECK-LABEL: define i64 @absdiff2(190; CHECK-SAME: i64 [[A:%.*]], i64 [[B:%.*]]) {191; CHECK-NEXT: [[C:%.*]] = icmp ugt i64 [[A]], [[B]]192; CHECK-NEXT: [[D:%.*]] = sub i64 [[B]], [[A]]193; CHECK-NEXT: [[TMP1:%.*]] = sub i64 0, [[D]]194; CHECK-NEXT: [[RES:%.*]] = select i1 [[C]], i64 [[TMP1]], i64 [[D]]195; CHECK-NEXT: ret i64 [[RES]]196;197 %c = icmp ugt i64 %a, %b198 %c.ext = sext i1 %c to i64199 %d = sub i64 %b, %a200 %may.rev = xor i64 %d, %c.ext201 %res = sub i64 %may.rev, %c.ext202 ret i64 %res203}204