101 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -mtriple=thumbv8.1m.main-none-none-eabi -mattr=+mve.fp < %s -codegenprepare -S | FileCheck -check-prefix=CHECK %s3; RUN: opt -mtriple=thumbv8.1m.main-none-none-eabi -mattr=+mve.fp < %s -codegenprepare -cgpp-huge-func=0 -S | FileCheck -check-prefix=CHECK %s4 5; Sink the shufflevector/insertelement pair, followed by the trunc. The sunk instruction end up dead.6define signext i8 @dead(ptr noalias nocapture readonly %s1, i16 zeroext %x, ptr noalias nocapture %d, i32 %n) {7; CHECK-LABEL: @dead(8; CHECK-NEXT: entry:9; CHECK-NEXT: [[N_VEC:%.*]] = and i32 [[N:%.*]], -810; CHECK-NEXT: br label [[VECTOR_BODY:%.*]]11; CHECK: vector.body:12; CHECK-NEXT: [[INDEX:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[INDEX_NEXT:%.*]], [[VECTOR_BODY]] ]13; CHECK-NEXT: [[TMP0:%.*]] = trunc i16 [[X:%.*]] to i814; CHECK-NEXT: [[L6:%.*]] = getelementptr inbounds i16, ptr [[S1:%.*]], i32 [[INDEX]]15; CHECK-NEXT: [[WIDE_LOAD:%.*]] = load <8 x i16>, ptr [[L6]], align 216; CHECK-NEXT: [[L8:%.*]] = trunc <8 x i16> [[WIDE_LOAD]] to <8 x i8>17; CHECK-NEXT: [[TMP1:%.*]] = insertelement <8 x i8> undef, i8 [[TMP0]], i32 018; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <8 x i8> [[TMP1]], <8 x i8> undef, <8 x i32> zeroinitializer19; CHECK-NEXT: [[L9:%.*]] = mul <8 x i8> [[TMP2]], [[L8]]20; CHECK-NEXT: [[L13:%.*]] = getelementptr inbounds i8, ptr [[D:%.*]], i32 [[INDEX]]21; CHECK-NEXT: store <8 x i8> [[L9]], ptr [[L13]], align 122; CHECK-NEXT: [[INDEX_NEXT]] = add i32 [[INDEX]], 823; CHECK-NEXT: [[L15:%.*]] = icmp eq i32 [[INDEX_NEXT]], [[N_VEC]]24; CHECK-NEXT: br i1 [[L15]], label [[EXIT:%.*]], label [[VECTOR_BODY]]25; CHECK: exit:26; CHECK-NEXT: ret i8 027;28entry:29 %n.vec = and i32 %n, -830 %l0 = trunc i16 %x to i831 %l1 = insertelement <8 x i8> undef, i8 %l0, i32 032 %broadcast.splat26 = shufflevector <8 x i8> %l1, <8 x i8> undef, <8 x i32> zeroinitializer33 br label %vector.body34 35vector.body: ; preds = %vector.body, %entry36 %index = phi i32 [ 0, %entry ], [ %index.next, %vector.body ]37 %l6 = getelementptr inbounds i16, ptr %s1, i32 %index38 %wide.load = load <8 x i16>, ptr %l6, align 239 %l8 = trunc <8 x i16> %wide.load to <8 x i8>40 %l9 = mul <8 x i8> %broadcast.splat26, %l841 %l13 = getelementptr inbounds i8, ptr %d, i32 %index42 store <8 x i8> %l9, ptr %l13, align 143 %index.next = add i32 %index, 844 %l15 = icmp eq i32 %index.next, %n.vec45 br i1 %l15, label %exit, label %vector.body46 47exit: ; preds = %vector.body48 ret i8 049}50 51; Same as above, but the shuffle has an extra use meaning it shouldnt be deleted52define signext i8 @alive(ptr noalias nocapture readonly %s1, i16 zeroext %x, ptr noalias nocapture %d, i32 %n) {53; CHECK-LABEL: @alive(54; CHECK-NEXT: entry:55; CHECK-NEXT: [[N_VEC:%.*]] = and i32 [[N:%.*]], -856; CHECK-NEXT: [[L0:%.*]] = trunc i16 [[X:%.*]] to i857; CHECK-NEXT: [[L1:%.*]] = insertelement <8 x i8> undef, i8 [[L0]], i32 058; CHECK-NEXT: [[BROADCAST_SPLAT26:%.*]] = shufflevector <8 x i8> [[L1]], <8 x i8> undef, <8 x i32> zeroinitializer59; CHECK-NEXT: [[L2:%.*]] = sub <8 x i8> zeroinitializer, [[BROADCAST_SPLAT26]]60; CHECK-NEXT: br label [[VECTOR_BODY:%.*]]61; CHECK: vector.body:62; CHECK-NEXT: [[INDEX:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[INDEX_NEXT:%.*]], [[VECTOR_BODY]] ]63; CHECK-NEXT: [[TMP0:%.*]] = trunc i16 [[X]] to i864; CHECK-NEXT: [[L6:%.*]] = getelementptr inbounds i16, ptr [[S1:%.*]], i32 [[INDEX]]65; CHECK-NEXT: [[WIDE_LOAD:%.*]] = load <8 x i16>, ptr [[L6]], align 266; CHECK-NEXT: [[L8:%.*]] = trunc <8 x i16> [[WIDE_LOAD]] to <8 x i8>67; CHECK-NEXT: [[TMP1:%.*]] = insertelement <8 x i8> undef, i8 [[TMP0]], i32 068; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <8 x i8> [[TMP1]], <8 x i8> undef, <8 x i32> zeroinitializer69; CHECK-NEXT: [[L9:%.*]] = mul <8 x i8> [[TMP2]], [[L8]]70; CHECK-NEXT: [[L13:%.*]] = getelementptr inbounds i8, ptr [[D:%.*]], i32 [[INDEX]]71; CHECK-NEXT: store <8 x i8> [[L9]], ptr [[L13]], align 172; CHECK-NEXT: [[INDEX_NEXT]] = add i32 [[INDEX]], 873; CHECK-NEXT: [[L15:%.*]] = icmp eq i32 [[INDEX_NEXT]], [[N_VEC]]74; CHECK-NEXT: br i1 [[L15]], label [[EXIT:%.*]], label [[VECTOR_BODY]]75; CHECK: exit:76; CHECK-NEXT: ret i8 077;78entry:79 %n.vec = and i32 %n, -880 %l0 = trunc i16 %x to i881 %l1 = insertelement <8 x i8> undef, i8 %l0, i32 082 %broadcast.splat26 = shufflevector <8 x i8> %l1, <8 x i8> undef, <8 x i32> zeroinitializer83 %l2 = sub <8 x i8> zeroinitializer, %broadcast.splat2684 br label %vector.body85 86vector.body: ; preds = %vector.body, %entry87 %index = phi i32 [ 0, %entry ], [ %index.next, %vector.body ]88 %l6 = getelementptr inbounds i16, ptr %s1, i32 %index89 %wide.load = load <8 x i16>, ptr %l6, align 290 %l8 = trunc <8 x i16> %wide.load to <8 x i8>91 %l9 = mul <8 x i8> %broadcast.splat26, %l892 %l13 = getelementptr inbounds i8, ptr %d, i32 %index93 store <8 x i8> %l9, ptr %l13, align 194 %index.next = add i32 %index, 895 %l15 = icmp eq i32 %index.next, %n.vec96 br i1 %l15, label %exit, label %vector.body97 98exit: ; preds = %vector.body99 ret i8 0100}101