81 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 32; RUN: opt < %s -passes=instcombine -S | FileCheck %s3define i8 @flip_add_of_shift_neg(i8 %v, i8 %sh, i8 %x) {4; CHECK-LABEL: define i8 @flip_add_of_shift_neg5; CHECK-SAME: (i8 [[V:%.*]], i8 [[SH:%.*]], i8 [[X:%.*]]) {6; CHECK-NEXT: [[TMP1:%.*]] = shl i8 [[V]], [[SH]]7; CHECK-NEXT: [[R:%.*]] = sub i8 [[X]], [[TMP1]]8; CHECK-NEXT: ret i8 [[R]]9;10 %nv = sub i8 0, %v11 %sv = shl nuw nsw i8 %nv, %sh12 %r = add i8 %sv, %x13 ret i8 %r14}15 16define <2 x i8> @flip_add_of_shift_neg_vec(<2 x i8> %v, <2 x i8> %sh, <2 x i8> %xx) {17; CHECK-LABEL: define <2 x i8> @flip_add_of_shift_neg_vec18; CHECK-SAME: (<2 x i8> [[V:%.*]], <2 x i8> [[SH:%.*]], <2 x i8> [[XX:%.*]]) {19; CHECK-NEXT: [[X:%.*]] = mul <2 x i8> [[XX]], [[XX]]20; CHECK-NEXT: [[TMP1:%.*]] = shl <2 x i8> [[V]], [[SH]]21; CHECK-NEXT: [[R:%.*]] = sub <2 x i8> [[X]], [[TMP1]]22; CHECK-NEXT: ret <2 x i8> [[R]]23;24 %x = mul <2 x i8> %xx, %xx25 %nv = sub <2 x i8> zeroinitializer, %v26 %sv = shl <2 x i8> %nv, %sh27 %r = add <2 x i8> %x, %sv28 ret <2 x i8> %r29}30 31define i8 @flip_add_of_shift_neg_fail_shr(i8 %v, i8 %sh, i8 %x) {32; CHECK-LABEL: define i8 @flip_add_of_shift_neg_fail_shr33; CHECK-SAME: (i8 [[V:%.*]], i8 [[SH:%.*]], i8 [[X:%.*]]) {34; CHECK-NEXT: [[NV:%.*]] = sub i8 0, [[V]]35; CHECK-NEXT: [[SV:%.*]] = lshr i8 [[NV]], [[SH]]36; CHECK-NEXT: [[R:%.*]] = add i8 [[SV]], [[X]]37; CHECK-NEXT: ret i8 [[R]]38;39 %nv = sub i8 0, %v40 %sv = lshr i8 %nv, %sh41 %r = add i8 %sv, %x42 ret i8 %r43}44 45declare void @use.v2i8(<2 x i8>)46define <2 x i8> @flip_add_of_shift_neg_vec_fail_multiuse_neg(<2 x i8> %v, <2 x i8> %sh, <2 x i8> %xx) {47; CHECK-LABEL: define <2 x i8> @flip_add_of_shift_neg_vec_fail_multiuse_neg48; CHECK-SAME: (<2 x i8> [[V:%.*]], <2 x i8> [[SH:%.*]], <2 x i8> [[XX:%.*]]) {49; CHECK-NEXT: [[X:%.*]] = mul <2 x i8> [[XX]], [[XX]]50; CHECK-NEXT: [[NV:%.*]] = sub <2 x i8> zeroinitializer, [[V]]51; CHECK-NEXT: [[SV:%.*]] = shl <2 x i8> [[NV]], [[SH]]52; CHECK-NEXT: call void @use.v2i8(<2 x i8> [[NV]])53; CHECK-NEXT: [[R:%.*]] = add <2 x i8> [[X]], [[SV]]54; CHECK-NEXT: ret <2 x i8> [[R]]55;56 %x = mul <2 x i8> %xx, %xx57 %nv = sub <2 x i8> zeroinitializer, %v58 %sv = shl <2 x i8> %nv, %sh59 call void @use.v2i8(<2 x i8> %nv)60 %r = add <2 x i8> %x, %sv61 ret <2 x i8> %r62}63 64define <2 x i8> @flip_add_of_shift_neg_vec_fail_multiuse_shift(<2 x i8> %v, <2 x i8> %sh, <2 x i8> %xx) {65; CHECK-LABEL: define <2 x i8> @flip_add_of_shift_neg_vec_fail_multiuse_shift66; CHECK-SAME: (<2 x i8> [[V:%.*]], <2 x i8> [[SH:%.*]], <2 x i8> [[XX:%.*]]) {67; CHECK-NEXT: [[X:%.*]] = mul <2 x i8> [[XX]], [[XX]]68; CHECK-NEXT: [[NV:%.*]] = sub <2 x i8> zeroinitializer, [[V]]69; CHECK-NEXT: [[SV:%.*]] = shl <2 x i8> [[NV]], [[SH]]70; CHECK-NEXT: call void @use.v2i8(<2 x i8> [[SV]])71; CHECK-NEXT: [[R:%.*]] = add <2 x i8> [[X]], [[SV]]72; CHECK-NEXT: ret <2 x i8> [[R]]73;74 %x = mul <2 x i8> %xx, %xx75 %nv = sub <2 x i8> zeroinitializer, %v76 %sv = shl <2 x i8> %nv, %sh77 call void @use.v2i8(<2 x i8> %sv)78 %r = add <2 x i8> %x, %sv79 ret <2 x i8> %r80}81