37 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -passes=instcombine < %s | FileCheck %s3 4define i1 @extract_const_idx(<vscale x 4 x i1> %a) {5; CHECK-LABEL: define i1 @extract_const_idx(6; CHECK-SAME: <vscale x 4 x i1> [[A:%.*]]) {7; CHECK-NEXT: [[ELT:%.*]] = extractelement <vscale x 4 x i1> [[A]], i64 18; CHECK-NEXT: ret i1 [[ELT]]9;10 %subvec = call <vscale x 2 x i1> @llvm.vector.extract.nxv2i1.nxv4i1.i64(<vscale x 4 x i1> %a, i64 0)11 %elt = extractelement <vscale x 2 x i1> %subvec, i32 112 ret i1 %elt13}14 15define float @extract_variable_idx(<vscale x 4 x float> %a, i32 %idx) {16; CHECK-LABEL: define float @extract_variable_idx(17; CHECK-SAME: <vscale x 4 x float> [[A:%.*]], i32 [[IDX:%.*]]) {18; CHECK-NEXT: [[ELT:%.*]] = extractelement <vscale x 4 x float> [[A]], i32 [[IDX]]19; CHECK-NEXT: ret float [[ELT]]20;21 %subvec = call <vscale x 2 x float> @llvm.vector.extract.nxv2f32.nxv4f32.i64(<vscale x 4 x float> %a, i64 0)22 %elt = extractelement <vscale x 2 x float> %subvec, i32 %idx23 ret float %elt24}25 26define float @negative_test(<vscale x 4 x float> %a) {27; CHECK-LABEL: define float @negative_test(28; CHECK-SAME: <vscale x 4 x float> [[A:%.*]]) {29; CHECK-NEXT: [[SUBVEC:%.*]] = call <vscale x 2 x float> @llvm.vector.extract.nxv2f32.nxv4f32(<vscale x 4 x float> [[A]], i64 2)30; CHECK-NEXT: [[ELT:%.*]] = extractelement <vscale x 2 x float> [[SUBVEC]], i64 131; CHECK-NEXT: ret float [[ELT]]32;33 %subvec = call <vscale x 2 x float> @llvm.vector.extract.nxv2f32.nxv4f32.i64(<vscale x 4 x float> %a, i64 2)34 %elt = extractelement <vscale x 2 x float> %subvec, i32 135 ret float %elt36}37