126 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=instcombine -S < %s | FileCheck %s3 4define void @fixed_array16i32_to_scalable4i32(ptr %out) {5; CHECK-LABEL: @fixed_array16i32_to_scalable4i32(6; CHECK-NEXT: entry:7; CHECK-NEXT: [[TMP:%.*]] = alloca [16 x i32], align 168; CHECK-NEXT: store volatile <vscale x 4 x i32> zeroinitializer, ptr [[TMP]], align 169; CHECK-NEXT: [[RELOAD:%.*]] = load volatile <vscale x 4 x i32>, ptr [[TMP]], align 1610; CHECK-NEXT: store <vscale x 4 x i32> [[RELOAD]], ptr [[OUT:%.*]], align 1611; CHECK-NEXT: ret void12;13entry:14 %tmp = alloca [16 x i32], align 1615 store volatile <vscale x 4 x i32> zeroinitializer, ptr %tmp, align 1616 %reload = load volatile <vscale x 4 x i32>, ptr %tmp, align 1617 store <vscale x 4 x i32> %reload, ptr %out, align 1618 ret void19}20 21define void @scalable4i32_to_fixed16i32(ptr %out) {22; CHECK-LABEL: @scalable4i32_to_fixed16i32(23; CHECK-NEXT: entry:24; CHECK-NEXT: [[TMP:%.*]] = alloca <vscale x 4 x i32>, align 1625; CHECK-NEXT: store <16 x i32> zeroinitializer, ptr [[TMP]], align 1626; CHECK-NEXT: [[RELOAD:%.*]] = load volatile <16 x i32>, ptr [[TMP]], align 1627; CHECK-NEXT: store <16 x i32> [[RELOAD]], ptr [[OUT:%.*]], align 1628; CHECK-NEXT: ret void29;30entry:31 %tmp = alloca <vscale x 4 x i32>, align 1632 store <16 x i32> zeroinitializer, ptr %tmp, align 1633 %reload = load volatile <16 x i32>, ptr %tmp, align 1634 store <16 x i32> %reload, ptr %out, align 1635 ret void36}37 38define void @fixed16i32_to_scalable4i32(ptr %out) {39; CHECK-LABEL: @fixed16i32_to_scalable4i32(40; CHECK-NEXT: entry:41; CHECK-NEXT: [[TMP:%.*]] = alloca <16 x i32>, align 1642; CHECK-NEXT: store volatile <vscale x 4 x i32> zeroinitializer, ptr [[TMP]], align 1643; CHECK-NEXT: [[RELOAD:%.*]] = load volatile <vscale x 4 x i32>, ptr [[TMP]], align 1644; CHECK-NEXT: store <vscale x 4 x i32> [[RELOAD]], ptr [[OUT:%.*]], align 1645; CHECK-NEXT: ret void46;47entry:48 %tmp = alloca <16 x i32>, align 1649 store volatile <vscale x 4 x i32> zeroinitializer, ptr %tmp, align 1650 %reload = load volatile <vscale x 4 x i32>, ptr %tmp, align 1651 store <vscale x 4 x i32> %reload, ptr %out, align 1652 ret void53}54 55define void @scalable16i32_to_fixed16i32(ptr %out) {56; CHECK-LABEL: @scalable16i32_to_fixed16i32(57; CHECK-NEXT: entry:58; CHECK-NEXT: [[TMP:%.*]] = alloca <vscale x 16 x i32>, align 1659; CHECK-NEXT: store volatile <16 x i32> zeroinitializer, ptr [[TMP]], align 1660; CHECK-NEXT: [[RELOAD:%.*]] = load volatile <16 x i32>, ptr [[TMP]], align 1661; CHECK-NEXT: store <16 x i32> [[RELOAD]], ptr [[OUT:%.*]], align 1662; CHECK-NEXT: ret void63;64entry:65 %tmp = alloca <vscale x 16 x i32>, align 1666 store volatile <16 x i32> zeroinitializer, ptr %tmp, align 1667 %reload = load volatile <16 x i32>, ptr %tmp, align 1668 store <16 x i32> %reload, ptr %out, align 1669 ret void70}71 72define void @scalable32i32_to_scalable16i32(ptr %out) {73; CHECK-LABEL: @scalable32i32_to_scalable16i32(74; CHECK-NEXT: entry:75; CHECK-NEXT: [[TMP:%.*]] = alloca <vscale x 32 x i32>, align 1676; CHECK-NEXT: store volatile <vscale x 16 x i32> zeroinitializer, ptr [[TMP]], align 1677; CHECK-NEXT: [[RELOAD:%.*]] = load volatile <vscale x 16 x i32>, ptr [[TMP]], align 1678; CHECK-NEXT: store <vscale x 16 x i32> [[RELOAD]], ptr [[OUT:%.*]], align 1679; CHECK-NEXT: ret void80;81entry:82 %tmp = alloca <vscale x 32 x i32>, align 1683 store volatile <vscale x 16 x i32> zeroinitializer, ptr %tmp, align 1684 %reload = load volatile <vscale x 16 x i32>, ptr %tmp, align 1685 store <vscale x 16 x i32> %reload, ptr %out, align 1686 ret void87}88 89define void @scalable32i16_to_scalable16i32(ptr %out) {90; CHECK-LABEL: @scalable32i16_to_scalable16i32(91; CHECK-NEXT: entry:92; CHECK-NEXT: [[TMP:%.*]] = alloca <vscale x 32 x i16>, align 1693; CHECK-NEXT: store volatile <vscale x 16 x i32> zeroinitializer, ptr [[TMP]], align 1694; CHECK-NEXT: [[RELOAD:%.*]] = load volatile <vscale x 16 x i32>, ptr [[TMP]], align 1695; CHECK-NEXT: store <vscale x 16 x i32> [[RELOAD]], ptr [[OUT:%.*]], align 1696; CHECK-NEXT: ret void97;98entry:99 %tmp = alloca <vscale x 32 x i16>, align 16100 store volatile <vscale x 16 x i32> zeroinitializer, ptr %tmp, align 16101 %reload = load volatile <vscale x 16 x i32>, ptr %tmp, align 16102 store <vscale x 16 x i32> %reload, ptr %out, align 16103 ret void104}105 106define void @scalable32i16_to_scalable16i32_multiuse(ptr %out, ptr %out2) {107; CHECK-LABEL: @scalable32i16_to_scalable16i32_multiuse(108; CHECK-NEXT: entry:109; CHECK-NEXT: [[TMP:%.*]] = alloca <vscale x 32 x i16>, align 16110; CHECK-NEXT: store volatile <vscale x 16 x i32> zeroinitializer, ptr [[TMP]], align 16111; CHECK-NEXT: [[RELOAD:%.*]] = load volatile <vscale x 16 x i32>, ptr [[TMP]], align 16112; CHECK-NEXT: store <vscale x 16 x i32> [[RELOAD]], ptr [[OUT:%.*]], align 16113; CHECK-NEXT: [[RELOAD2:%.*]] = load volatile <vscale x 32 x i16>, ptr [[TMP]], align 16114; CHECK-NEXT: store <vscale x 32 x i16> [[RELOAD2]], ptr [[OUT2:%.*]], align 16115; CHECK-NEXT: ret void116;117entry:118 %tmp = alloca <vscale x 32 x i16>, align 16119 store volatile <vscale x 16 x i32> zeroinitializer, ptr %tmp, align 16120 %reload = load volatile <vscale x 16 x i32>, ptr %tmp, align 16121 store <vscale x 16 x i32> %reload, ptr %out, align 16122 %reload2 = load volatile <vscale x 32 x i16>, ptr %tmp, align 16123 store <vscale x 32 x i16> %reload2, ptr %out2, align 16124 ret void125}126