; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt -passes=vector-combine -S %s | FileCheck %s ; Ensure canScalarizeAccess handles cases where the index type can't represent all inbounds values define void @src_1_idx(ptr %q, i8 zeroext %s, i1 %idx) { ; CHECK-LABEL: @src_1_idx( ; CHECK-NEXT: [[LD:%.*]] = load <16 x i8>, ptr [[Q:%.*]], align 16 ; CHECK-NEXT: [[V1:%.*]] = insertelement <16 x i8> [[LD]], i8 [[S:%.*]], i1 [[IDX:%.*]] ; CHECK-NEXT: store <16 x i8> [[V1]], ptr [[Q]], align 16 ; CHECK-NEXT: ret void ; %ld = load <16 x i8>, ptr %q %v1 = insertelement <16 x i8> %ld, i8 %s, i1 %idx store <16 x i8> %v1, ptr %q ret void } define void @src_2_idx(ptr %q, i8 zeroext %s, i8 %idx) { ; CHECK-LABEL: @src_2_idx( ; CHECK-NEXT: [[LD:%.*]] = load <256 x i8>, ptr [[Q:%.*]], align 256 ; CHECK-NEXT: [[V1:%.*]] = insertelement <256 x i8> [[LD]], i8 [[S:%.*]], i8 [[IDX:%.*]] ; CHECK-NEXT: store <256 x i8> [[V1]], ptr [[Q]], align 256 ; CHECK-NEXT: ret void ; %ld = load <256 x i8>, ptr %q %v1 = insertelement <256 x i8> %ld, i8 %s, i8 %idx store <256 x i8> %v1, ptr %q ret void }