563 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes --check-globals2; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,TUNIT3; RUN: opt -aa-pipeline=basic-aa -passes=attributor-cgscc -attributor-manifest-internal -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,CGSCC4; Test that we only promote arguments when the caller/callee have compatible5; function attrubtes.6 7target triple = "x86_64-unknown-linux-gnu"8 9; This should promote10define internal fastcc void @callee_avx512_legal512_prefer512_call_avx512_legal512_prefer512(ptr %arg, ptr readonly %arg1) #0 {11;12; TUNIT: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable13; TUNIT-LABEL: define {{[^@]+}}@callee_avx512_legal512_prefer512_call_avx512_legal512_prefer51214; TUNIT-SAME: (ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[ARG:%.*]], <8 x i64> [[TMP0:%.*]]) #[[ATTR0:[0-9]+]] {15; TUNIT-NEXT: bb:16; TUNIT-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>, align 6417; TUNIT-NEXT: store <8 x i64> [[TMP0]], ptr [[ARG1_PRIV]], align 6418; TUNIT-NEXT: [[TMP:%.*]] = load <8 x i64>, ptr [[ARG1_PRIV]], align 6419; TUNIT-NEXT: store <8 x i64> [[TMP]], ptr [[ARG]], align 6420; TUNIT-NEXT: ret void21;22; CGSCC: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable23; CGSCC-LABEL: define {{[^@]+}}@callee_avx512_legal512_prefer512_call_avx512_legal512_prefer51224; CGSCC-SAME: (ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[ARG:%.*]], <8 x i64> [[TMP0:%.*]]) #[[ATTR0:[0-9]+]] {25; CGSCC-NEXT: bb:26; CGSCC-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>, align 6427; CGSCC-NEXT: store <8 x i64> [[TMP0]], ptr [[ARG1_PRIV]], align 6428; CGSCC-NEXT: [[TMP:%.*]] = load <8 x i64>, ptr [[ARG1_PRIV]], align 64, !invariant.load [[META0:![0-9]+]]29; CGSCC-NEXT: store <8 x i64> [[TMP]], ptr [[ARG]], align 6430; CGSCC-NEXT: ret void31;32bb:33 %tmp = load <8 x i64>, ptr %arg134 store <8 x i64> %tmp, ptr %arg35 ret void36}37 38define void @avx512_legal512_prefer512_call_avx512_legal512_prefer512(ptr %arg) #0 {39;40; TUNIT: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable41; TUNIT-LABEL: define {{[^@]+}}@avx512_legal512_prefer512_call_avx512_legal512_prefer51242; TUNIT-SAME: (ptr nofree writeonly captures(none) [[ARG:%.*]]) #[[ATTR0]] {43; TUNIT-NEXT: bb:44; TUNIT-NEXT: [[TMP:%.*]] = alloca <8 x i64>, align 3245; TUNIT-NEXT: [[TMP2:%.*]] = alloca <8 x i64>, align 3246; TUNIT-NEXT: call void @llvm.memset.p0.i64(ptr noalias nofree noundef nonnull writeonly align 32 captures(none) dereferenceable(64) [[TMP]], i8 noundef 0, i64 noundef 32, i1 noundef false) #[[ATTR5:[0-9]+]]47; TUNIT-NEXT: [[TMP0:%.*]] = load <8 x i64>, ptr [[TMP]], align 6448; TUNIT-NEXT: call fastcc void @callee_avx512_legal512_prefer512_call_avx512_legal512_prefer512(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP2]], <8 x i64> [[TMP0]]) #[[ATTR6:[0-9]+]]49; TUNIT-NEXT: [[TMP4:%.*]] = load <8 x i64>, ptr [[TMP2]], align 6450; TUNIT-NEXT: store <8 x i64> [[TMP4]], ptr [[ARG]], align 251; TUNIT-NEXT: ret void52;53; CGSCC: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable54; CGSCC-LABEL: define {{[^@]+}}@avx512_legal512_prefer512_call_avx512_legal512_prefer51255; CGSCC-SAME: (ptr nofree noundef nonnull writeonly align 2 captures(none) dereferenceable(64) [[ARG:%.*]]) #[[ATTR0]] {56; CGSCC-NEXT: bb:57; CGSCC-NEXT: [[TMP:%.*]] = alloca <8 x i64>, align 3258; CGSCC-NEXT: [[TMP2:%.*]] = alloca <8 x i64>, align 3259; CGSCC-NEXT: call void @llvm.memset.p0.i64(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP]], i8 noundef 0, i64 noundef 32, i1 noundef false) #[[ATTR5:[0-9]+]]60; CGSCC-NEXT: [[TMP0:%.*]] = load <8 x i64>, ptr [[TMP]], align 6461; CGSCC-NEXT: call fastcc void @callee_avx512_legal512_prefer512_call_avx512_legal512_prefer512(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP2]], <8 x i64> [[TMP0]]) #[[ATTR6:[0-9]+]]62; CGSCC-NEXT: [[TMP4:%.*]] = load <8 x i64>, ptr [[TMP2]], align 6463; CGSCC-NEXT: store <8 x i64> [[TMP4]], ptr [[ARG]], align 264; CGSCC-NEXT: ret void65;66bb:67 %tmp = alloca <8 x i64>, align 3268 %tmp2 = alloca <8 x i64>, align 3269 call void @llvm.memset.p0.i64(ptr align 32 %tmp, i8 0, i64 32, i1 false)70 call fastcc void @callee_avx512_legal512_prefer512_call_avx512_legal512_prefer512(ptr %tmp2, ptr %tmp)71 %tmp4 = load <8 x i64>, ptr %tmp2, align 3272 store <8 x i64> %tmp4, ptr %arg, align 273 ret void74}75 76; This should promote77define internal fastcc void @callee_avx512_legal512_prefer256_call_avx512_legal512_prefer256(ptr %arg, ptr readonly %arg1) #1 {78;79; TUNIT: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable80; TUNIT-LABEL: define {{[^@]+}}@callee_avx512_legal512_prefer256_call_avx512_legal512_prefer25681; TUNIT-SAME: (ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[ARG:%.*]], <8 x i64> [[TMP0:%.*]]) #[[ATTR1:[0-9]+]] {82; TUNIT-NEXT: bb:83; TUNIT-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>, align 6484; TUNIT-NEXT: store <8 x i64> [[TMP0]], ptr [[ARG1_PRIV]], align 6485; TUNIT-NEXT: [[TMP:%.*]] = load <8 x i64>, ptr [[ARG1_PRIV]], align 6486; TUNIT-NEXT: store <8 x i64> [[TMP]], ptr [[ARG]], align 6487; TUNIT-NEXT: ret void88;89; CGSCC: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable90; CGSCC-LABEL: define {{[^@]+}}@callee_avx512_legal512_prefer256_call_avx512_legal512_prefer25691; CGSCC-SAME: (ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[ARG:%.*]], <8 x i64> [[TMP0:%.*]]) #[[ATTR1:[0-9]+]] {92; CGSCC-NEXT: bb:93; CGSCC-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>, align 6494; CGSCC-NEXT: store <8 x i64> [[TMP0]], ptr [[ARG1_PRIV]], align 6495; CGSCC-NEXT: [[TMP:%.*]] = load <8 x i64>, ptr [[ARG1_PRIV]], align 64, !invariant.load [[META0]]96; CGSCC-NEXT: store <8 x i64> [[TMP]], ptr [[ARG]], align 6497; CGSCC-NEXT: ret void98;99bb:100 %tmp = load <8 x i64>, ptr %arg1101 store <8 x i64> %tmp, ptr %arg102 ret void103}104 105define void @avx512_legal512_prefer256_call_avx512_legal512_prefer256(ptr %arg) #1 {106;107; TUNIT: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable108; TUNIT-LABEL: define {{[^@]+}}@avx512_legal512_prefer256_call_avx512_legal512_prefer256109; TUNIT-SAME: (ptr nofree writeonly captures(none) [[ARG:%.*]]) #[[ATTR1]] {110; TUNIT-NEXT: bb:111; TUNIT-NEXT: [[TMP:%.*]] = alloca <8 x i64>, align 32112; TUNIT-NEXT: [[TMP2:%.*]] = alloca <8 x i64>, align 32113; TUNIT-NEXT: call void @llvm.memset.p0.i64(ptr noalias nofree noundef nonnull writeonly align 32 captures(none) dereferenceable(64) [[TMP]], i8 noundef 0, i64 noundef 32, i1 noundef false) #[[ATTR5]]114; TUNIT-NEXT: [[TMP0:%.*]] = load <8 x i64>, ptr [[TMP]], align 64115; TUNIT-NEXT: call fastcc void @callee_avx512_legal512_prefer256_call_avx512_legal512_prefer256(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP2]], <8 x i64> [[TMP0]]) #[[ATTR6]]116; TUNIT-NEXT: [[TMP4:%.*]] = load <8 x i64>, ptr [[TMP2]], align 64117; TUNIT-NEXT: store <8 x i64> [[TMP4]], ptr [[ARG]], align 2118; TUNIT-NEXT: ret void119;120; CGSCC: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable121; CGSCC-LABEL: define {{[^@]+}}@avx512_legal512_prefer256_call_avx512_legal512_prefer256122; CGSCC-SAME: (ptr nofree noundef nonnull writeonly align 2 captures(none) dereferenceable(64) [[ARG:%.*]]) #[[ATTR1]] {123; CGSCC-NEXT: bb:124; CGSCC-NEXT: [[TMP:%.*]] = alloca <8 x i64>, align 32125; CGSCC-NEXT: [[TMP2:%.*]] = alloca <8 x i64>, align 32126; CGSCC-NEXT: call void @llvm.memset.p0.i64(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP]], i8 noundef 0, i64 noundef 32, i1 noundef false) #[[ATTR5]]127; CGSCC-NEXT: [[TMP0:%.*]] = load <8 x i64>, ptr [[TMP]], align 64128; CGSCC-NEXT: call fastcc void @callee_avx512_legal512_prefer256_call_avx512_legal512_prefer256(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP2]], <8 x i64> [[TMP0]]) #[[ATTR6]]129; CGSCC-NEXT: [[TMP4:%.*]] = load <8 x i64>, ptr [[TMP2]], align 64130; CGSCC-NEXT: store <8 x i64> [[TMP4]], ptr [[ARG]], align 2131; CGSCC-NEXT: ret void132;133bb:134 %tmp = alloca <8 x i64>, align 32135 %tmp2 = alloca <8 x i64>, align 32136 call void @llvm.memset.p0.i64(ptr align 32 %tmp, i8 0, i64 32, i1 false)137 call fastcc void @callee_avx512_legal512_prefer256_call_avx512_legal512_prefer256(ptr %tmp2, ptr %tmp)138 %tmp4 = load <8 x i64>, ptr %tmp2, align 32139 store <8 x i64> %tmp4, ptr %arg, align 2140 ret void141}142 143; This should promote144define internal fastcc void @callee_avx512_legal512_prefer512_call_avx512_legal512_prefer256(ptr %arg, ptr readonly %arg1) #1 {145;146; TUNIT: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable147; TUNIT-LABEL: define {{[^@]+}}@callee_avx512_legal512_prefer512_call_avx512_legal512_prefer256148; TUNIT-SAME: (ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[ARG:%.*]], <8 x i64> [[TMP0:%.*]]) #[[ATTR1]] {149; TUNIT-NEXT: bb:150; TUNIT-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>, align 64151; TUNIT-NEXT: store <8 x i64> [[TMP0]], ptr [[ARG1_PRIV]], align 64152; TUNIT-NEXT: [[TMP:%.*]] = load <8 x i64>, ptr [[ARG1_PRIV]], align 64153; TUNIT-NEXT: store <8 x i64> [[TMP]], ptr [[ARG]], align 64154; TUNIT-NEXT: ret void155;156; CGSCC: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable157; CGSCC-LABEL: define {{[^@]+}}@callee_avx512_legal512_prefer512_call_avx512_legal512_prefer256158; CGSCC-SAME: (ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[ARG:%.*]], <8 x i64> [[TMP0:%.*]]) #[[ATTR1]] {159; CGSCC-NEXT: bb:160; CGSCC-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>, align 64161; CGSCC-NEXT: store <8 x i64> [[TMP0]], ptr [[ARG1_PRIV]], align 64162; CGSCC-NEXT: [[TMP:%.*]] = load <8 x i64>, ptr [[ARG1_PRIV]], align 64, !invariant.load [[META0]]163; CGSCC-NEXT: store <8 x i64> [[TMP]], ptr [[ARG]], align 64164; CGSCC-NEXT: ret void165;166bb:167 %tmp = load <8 x i64>, ptr %arg1168 store <8 x i64> %tmp, ptr %arg169 ret void170}171 172define void @avx512_legal512_prefer512_call_avx512_legal512_prefer256(ptr %arg) #0 {173;174; TUNIT: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable175; TUNIT-LABEL: define {{[^@]+}}@avx512_legal512_prefer512_call_avx512_legal512_prefer256176; TUNIT-SAME: (ptr nofree writeonly captures(none) [[ARG:%.*]]) #[[ATTR0]] {177; TUNIT-NEXT: bb:178; TUNIT-NEXT: [[TMP:%.*]] = alloca <8 x i64>, align 32179; TUNIT-NEXT: [[TMP2:%.*]] = alloca <8 x i64>, align 32180; TUNIT-NEXT: call void @llvm.memset.p0.i64(ptr noalias nofree noundef nonnull writeonly align 32 captures(none) dereferenceable(64) [[TMP]], i8 noundef 0, i64 noundef 32, i1 noundef false) #[[ATTR5]]181; TUNIT-NEXT: [[TMP0:%.*]] = load <8 x i64>, ptr [[TMP]], align 64182; TUNIT-NEXT: call fastcc void @callee_avx512_legal512_prefer512_call_avx512_legal512_prefer256(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP2]], <8 x i64> [[TMP0]]) #[[ATTR6]]183; TUNIT-NEXT: [[TMP4:%.*]] = load <8 x i64>, ptr [[TMP2]], align 64184; TUNIT-NEXT: store <8 x i64> [[TMP4]], ptr [[ARG]], align 2185; TUNIT-NEXT: ret void186;187; CGSCC: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable188; CGSCC-LABEL: define {{[^@]+}}@avx512_legal512_prefer512_call_avx512_legal512_prefer256189; CGSCC-SAME: (ptr nofree noundef nonnull writeonly align 2 captures(none) dereferenceable(64) [[ARG:%.*]]) #[[ATTR0]] {190; CGSCC-NEXT: bb:191; CGSCC-NEXT: [[TMP:%.*]] = alloca <8 x i64>, align 32192; CGSCC-NEXT: [[TMP2:%.*]] = alloca <8 x i64>, align 32193; CGSCC-NEXT: call void @llvm.memset.p0.i64(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP]], i8 noundef 0, i64 noundef 32, i1 noundef false) #[[ATTR5]]194; CGSCC-NEXT: [[TMP0:%.*]] = load <8 x i64>, ptr [[TMP]], align 64195; CGSCC-NEXT: call fastcc void @callee_avx512_legal512_prefer512_call_avx512_legal512_prefer256(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP2]], <8 x i64> [[TMP0]]) #[[ATTR6]]196; CGSCC-NEXT: [[TMP4:%.*]] = load <8 x i64>, ptr [[TMP2]], align 64197; CGSCC-NEXT: store <8 x i64> [[TMP4]], ptr [[ARG]], align 2198; CGSCC-NEXT: ret void199;200bb:201 %tmp = alloca <8 x i64>, align 32202 %tmp2 = alloca <8 x i64>, align 32203 call void @llvm.memset.p0.i64(ptr align 32 %tmp, i8 0, i64 32, i1 false)204 call fastcc void @callee_avx512_legal512_prefer512_call_avx512_legal512_prefer256(ptr %tmp2, ptr %tmp)205 %tmp4 = load <8 x i64>, ptr %tmp2, align 32206 store <8 x i64> %tmp4, ptr %arg, align 2207 ret void208}209 210; This should promote211define internal fastcc void @callee_avx512_legal512_prefer256_call_avx512_legal512_prefer512(ptr %arg, ptr readonly %arg1) #0 {212;213; TUNIT: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable214; TUNIT-LABEL: define {{[^@]+}}@callee_avx512_legal512_prefer256_call_avx512_legal512_prefer512215; TUNIT-SAME: (ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[ARG:%.*]], <8 x i64> [[TMP0:%.*]]) #[[ATTR0]] {216; TUNIT-NEXT: bb:217; TUNIT-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>, align 64218; TUNIT-NEXT: store <8 x i64> [[TMP0]], ptr [[ARG1_PRIV]], align 64219; TUNIT-NEXT: [[TMP:%.*]] = load <8 x i64>, ptr [[ARG1_PRIV]], align 64220; TUNIT-NEXT: store <8 x i64> [[TMP]], ptr [[ARG]], align 64221; TUNIT-NEXT: ret void222;223; CGSCC: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable224; CGSCC-LABEL: define {{[^@]+}}@callee_avx512_legal512_prefer256_call_avx512_legal512_prefer512225; CGSCC-SAME: (ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[ARG:%.*]], <8 x i64> [[TMP0:%.*]]) #[[ATTR0]] {226; CGSCC-NEXT: bb:227; CGSCC-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>, align 64228; CGSCC-NEXT: store <8 x i64> [[TMP0]], ptr [[ARG1_PRIV]], align 64229; CGSCC-NEXT: [[TMP:%.*]] = load <8 x i64>, ptr [[ARG1_PRIV]], align 64, !invariant.load [[META0]]230; CGSCC-NEXT: store <8 x i64> [[TMP]], ptr [[ARG]], align 64231; CGSCC-NEXT: ret void232;233bb:234 %tmp = load <8 x i64>, ptr %arg1235 store <8 x i64> %tmp, ptr %arg236 ret void237}238 239define void @avx512_legal512_prefer256_call_avx512_legal512_prefer512(ptr %arg) #1 {240;241; TUNIT: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable242; TUNIT-LABEL: define {{[^@]+}}@avx512_legal512_prefer256_call_avx512_legal512_prefer512243; TUNIT-SAME: (ptr nofree writeonly captures(none) [[ARG:%.*]]) #[[ATTR1]] {244; TUNIT-NEXT: bb:245; TUNIT-NEXT: [[TMP:%.*]] = alloca <8 x i64>, align 32246; TUNIT-NEXT: [[TMP2:%.*]] = alloca <8 x i64>, align 32247; TUNIT-NEXT: call void @llvm.memset.p0.i64(ptr noalias nofree noundef nonnull writeonly align 32 captures(none) dereferenceable(64) [[TMP]], i8 noundef 0, i64 noundef 32, i1 noundef false) #[[ATTR5]]248; TUNIT-NEXT: [[TMP0:%.*]] = load <8 x i64>, ptr [[TMP]], align 64249; TUNIT-NEXT: call fastcc void @callee_avx512_legal512_prefer256_call_avx512_legal512_prefer512(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP2]], <8 x i64> [[TMP0]]) #[[ATTR6]]250; TUNIT-NEXT: [[TMP4:%.*]] = load <8 x i64>, ptr [[TMP2]], align 64251; TUNIT-NEXT: store <8 x i64> [[TMP4]], ptr [[ARG]], align 2252; TUNIT-NEXT: ret void253;254; CGSCC: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable255; CGSCC-LABEL: define {{[^@]+}}@avx512_legal512_prefer256_call_avx512_legal512_prefer512256; CGSCC-SAME: (ptr nofree noundef nonnull writeonly align 2 captures(none) dereferenceable(64) [[ARG:%.*]]) #[[ATTR1]] {257; CGSCC-NEXT: bb:258; CGSCC-NEXT: [[TMP:%.*]] = alloca <8 x i64>, align 32259; CGSCC-NEXT: [[TMP2:%.*]] = alloca <8 x i64>, align 32260; CGSCC-NEXT: call void @llvm.memset.p0.i64(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP]], i8 noundef 0, i64 noundef 32, i1 noundef false) #[[ATTR5]]261; CGSCC-NEXT: [[TMP0:%.*]] = load <8 x i64>, ptr [[TMP]], align 64262; CGSCC-NEXT: call fastcc void @callee_avx512_legal512_prefer256_call_avx512_legal512_prefer512(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP2]], <8 x i64> [[TMP0]]) #[[ATTR6]]263; CGSCC-NEXT: [[TMP4:%.*]] = load <8 x i64>, ptr [[TMP2]], align 64264; CGSCC-NEXT: store <8 x i64> [[TMP4]], ptr [[ARG]], align 2265; CGSCC-NEXT: ret void266;267bb:268 %tmp = alloca <8 x i64>, align 32269 %tmp2 = alloca <8 x i64>, align 32270 call void @llvm.memset.p0.i64(ptr align 32 %tmp, i8 0, i64 32, i1 false)271 call fastcc void @callee_avx512_legal512_prefer256_call_avx512_legal512_prefer512(ptr %tmp2, ptr %tmp)272 %tmp4 = load <8 x i64>, ptr %tmp2, align 32273 store <8 x i64> %tmp4, ptr %arg, align 2274 ret void275}276 277; This should not promote278define internal fastcc void @callee_avx512_legal256_prefer256_call_avx512_legal512_prefer256(ptr %arg, ptr readonly %arg1) #1 {279;280; TUNIT: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable281; TUNIT-LABEL: define {{[^@]+}}@callee_avx512_legal256_prefer256_call_avx512_legal512_prefer256282; TUNIT-SAME: (ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[ARG:%.*]], ptr noalias nofree noundef nonnull readonly align 64 captures(none) dereferenceable(64) [[ARG1:%.*]]) #[[ATTR1]] {283; TUNIT-NEXT: bb:284; TUNIT-NEXT: [[TMP:%.*]] = load <8 x i64>, ptr [[ARG1]], align 64285; TUNIT-NEXT: store <8 x i64> [[TMP]], ptr [[ARG]], align 64286; TUNIT-NEXT: ret void287;288; CGSCC: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable289; CGSCC-LABEL: define {{[^@]+}}@callee_avx512_legal256_prefer256_call_avx512_legal512_prefer256290; CGSCC-SAME: (ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[ARG:%.*]], ptr noalias nofree noundef nonnull readonly align 64 captures(none) dereferenceable(64) [[ARG1:%.*]]) #[[ATTR1]] {291; CGSCC-NEXT: bb:292; CGSCC-NEXT: [[TMP:%.*]] = load <8 x i64>, ptr [[ARG1]], align 64, !invariant.load [[META0]]293; CGSCC-NEXT: store <8 x i64> [[TMP]], ptr [[ARG]], align 64294; CGSCC-NEXT: ret void295;296bb:297 %tmp = load <8 x i64>, ptr %arg1298 store <8 x i64> %tmp, ptr %arg299 ret void300}301 302define void @avx512_legal256_prefer256_call_avx512_legal512_prefer256(ptr %arg) #2 {303;304; TUNIT: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable305; TUNIT-LABEL: define {{[^@]+}}@avx512_legal256_prefer256_call_avx512_legal512_prefer256306; TUNIT-SAME: (ptr nofree writeonly captures(none) [[ARG:%.*]]) #[[ATTR2:[0-9]+]] {307; TUNIT-NEXT: bb:308; TUNIT-NEXT: [[TMP:%.*]] = alloca <8 x i64>, align 32309; TUNIT-NEXT: [[TMP2:%.*]] = alloca <8 x i64>, align 32310; TUNIT-NEXT: call void @llvm.memset.p0.i64(ptr noalias nofree noundef nonnull writeonly align 32 captures(none) dereferenceable(64) [[TMP]], i8 noundef 0, i64 noundef 32, i1 noundef false) #[[ATTR5]]311; TUNIT-NEXT: call fastcc void @callee_avx512_legal256_prefer256_call_avx512_legal512_prefer256(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP2]], ptr noalias nofree noundef nonnull readonly align 64 captures(none) dereferenceable(64) [[TMP]]) #[[ATTR6]]312; TUNIT-NEXT: [[TMP4:%.*]] = load <8 x i64>, ptr [[TMP2]], align 64313; TUNIT-NEXT: store <8 x i64> [[TMP4]], ptr [[ARG]], align 2314; TUNIT-NEXT: ret void315;316; CGSCC: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable317; CGSCC-LABEL: define {{[^@]+}}@avx512_legal256_prefer256_call_avx512_legal512_prefer256318; CGSCC-SAME: (ptr nofree noundef nonnull writeonly align 2 captures(none) dereferenceable(64) [[ARG:%.*]]) #[[ATTR2:[0-9]+]] {319; CGSCC-NEXT: bb:320; CGSCC-NEXT: [[TMP:%.*]] = alloca <8 x i64>, align 32321; CGSCC-NEXT: [[TMP2:%.*]] = alloca <8 x i64>, align 32322; CGSCC-NEXT: call void @llvm.memset.p0.i64(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP]], i8 noundef 0, i64 noundef 32, i1 noundef false) #[[ATTR5]]323; CGSCC-NEXT: call fastcc void @callee_avx512_legal256_prefer256_call_avx512_legal512_prefer256(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP2]], ptr noalias nofree noundef nonnull readonly align 64 captures(none) dereferenceable(64) [[TMP]]) #[[ATTR6]]324; CGSCC-NEXT: [[TMP4:%.*]] = load <8 x i64>, ptr [[TMP2]], align 64325; CGSCC-NEXT: store <8 x i64> [[TMP4]], ptr [[ARG]], align 2326; CGSCC-NEXT: ret void327;328bb:329 %tmp = alloca <8 x i64>, align 32330 %tmp2 = alloca <8 x i64>, align 32331 call void @llvm.memset.p0.i64(ptr align 32 %tmp, i8 0, i64 32, i1 false)332 call fastcc void @callee_avx512_legal256_prefer256_call_avx512_legal512_prefer256(ptr %tmp2, ptr %tmp)333 %tmp4 = load <8 x i64>, ptr %tmp2, align 32334 store <8 x i64> %tmp4, ptr %arg, align 2335 ret void336}337 338; This should not promote339define internal fastcc void @callee_avx512_legal512_prefer256_call_avx512_legal256_prefer256(ptr %arg, ptr readonly %arg1) #2 {340;341; TUNIT: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable342; TUNIT-LABEL: define {{[^@]+}}@callee_avx512_legal512_prefer256_call_avx512_legal256_prefer256343; TUNIT-SAME: (ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[ARG:%.*]], ptr noalias nofree noundef nonnull readonly align 64 captures(none) dereferenceable(64) [[ARG1:%.*]]) #[[ATTR2]] {344; TUNIT-NEXT: bb:345; TUNIT-NEXT: [[TMP:%.*]] = load <8 x i64>, ptr [[ARG1]], align 64346; TUNIT-NEXT: store <8 x i64> [[TMP]], ptr [[ARG]], align 64347; TUNIT-NEXT: ret void348;349; CGSCC: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable350; CGSCC-LABEL: define {{[^@]+}}@callee_avx512_legal512_prefer256_call_avx512_legal256_prefer256351; CGSCC-SAME: (ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[ARG:%.*]], ptr noalias nofree noundef nonnull readonly align 64 captures(none) dereferenceable(64) [[ARG1:%.*]]) #[[ATTR2]] {352; CGSCC-NEXT: bb:353; CGSCC-NEXT: [[TMP:%.*]] = load <8 x i64>, ptr [[ARG1]], align 64, !invariant.load [[META0]]354; CGSCC-NEXT: store <8 x i64> [[TMP]], ptr [[ARG]], align 64355; CGSCC-NEXT: ret void356;357bb:358 %tmp = load <8 x i64>, ptr %arg1359 store <8 x i64> %tmp, ptr %arg360 ret void361}362 363define void @avx512_legal512_prefer256_call_avx512_legal256_prefer256(ptr %arg) #1 {364;365; TUNIT: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable366; TUNIT-LABEL: define {{[^@]+}}@avx512_legal512_prefer256_call_avx512_legal256_prefer256367; TUNIT-SAME: (ptr nofree writeonly captures(none) [[ARG:%.*]]) #[[ATTR1]] {368; TUNIT-NEXT: bb:369; TUNIT-NEXT: [[TMP:%.*]] = alloca <8 x i64>, align 32370; TUNIT-NEXT: [[TMP2:%.*]] = alloca <8 x i64>, align 32371; TUNIT-NEXT: call void @llvm.memset.p0.i64(ptr noalias nofree noundef nonnull writeonly align 32 captures(none) dereferenceable(64) [[TMP]], i8 noundef 0, i64 noundef 32, i1 noundef false) #[[ATTR5]]372; TUNIT-NEXT: call fastcc void @callee_avx512_legal512_prefer256_call_avx512_legal256_prefer256(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP2]], ptr noalias nofree noundef nonnull readonly align 64 captures(none) dereferenceable(64) [[TMP]]) #[[ATTR6]]373; TUNIT-NEXT: [[TMP4:%.*]] = load <8 x i64>, ptr [[TMP2]], align 64374; TUNIT-NEXT: store <8 x i64> [[TMP4]], ptr [[ARG]], align 2375; TUNIT-NEXT: ret void376;377; CGSCC: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable378; CGSCC-LABEL: define {{[^@]+}}@avx512_legal512_prefer256_call_avx512_legal256_prefer256379; CGSCC-SAME: (ptr nofree noundef nonnull writeonly align 2 captures(none) dereferenceable(64) [[ARG:%.*]]) #[[ATTR1]] {380; CGSCC-NEXT: bb:381; CGSCC-NEXT: [[TMP:%.*]] = alloca <8 x i64>, align 32382; CGSCC-NEXT: [[TMP2:%.*]] = alloca <8 x i64>, align 32383; CGSCC-NEXT: call void @llvm.memset.p0.i64(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP]], i8 noundef 0, i64 noundef 32, i1 noundef false) #[[ATTR5]]384; CGSCC-NEXT: call fastcc void @callee_avx512_legal512_prefer256_call_avx512_legal256_prefer256(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP2]], ptr noalias nofree noundef nonnull readonly align 64 captures(none) dereferenceable(64) [[TMP]]) #[[ATTR6]]385; CGSCC-NEXT: [[TMP4:%.*]] = load <8 x i64>, ptr [[TMP2]], align 64386; CGSCC-NEXT: store <8 x i64> [[TMP4]], ptr [[ARG]], align 2387; CGSCC-NEXT: ret void388;389bb:390 %tmp = alloca <8 x i64>, align 32391 %tmp2 = alloca <8 x i64>, align 32392 call void @llvm.memset.p0.i64(ptr align 32 %tmp, i8 0, i64 32, i1 false)393 call fastcc void @callee_avx512_legal512_prefer256_call_avx512_legal256_prefer256(ptr %tmp2, ptr %tmp)394 %tmp4 = load <8 x i64>, ptr %tmp2, align 32395 store <8 x i64> %tmp4, ptr %arg, align 2396 ret void397}398 399; This should promote400define internal fastcc void @callee_avx2_legal256_prefer256_call_avx2_legal512_prefer256(ptr %arg, ptr readonly %arg1) #3 {401;402; TUNIT: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable403; TUNIT-LABEL: define {{[^@]+}}@callee_avx2_legal256_prefer256_call_avx2_legal512_prefer256404; TUNIT-SAME: (ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[ARG:%.*]], <8 x i64> [[TMP0:%.*]]) #[[ATTR3:[0-9]+]] {405; TUNIT-NEXT: bb:406; TUNIT-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>, align 64407; TUNIT-NEXT: store <8 x i64> [[TMP0]], ptr [[ARG1_PRIV]], align 64408; TUNIT-NEXT: [[TMP:%.*]] = load <8 x i64>, ptr [[ARG1_PRIV]], align 64409; TUNIT-NEXT: store <8 x i64> [[TMP]], ptr [[ARG]], align 64410; TUNIT-NEXT: ret void411;412; CGSCC: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable413; CGSCC-LABEL: define {{[^@]+}}@callee_avx2_legal256_prefer256_call_avx2_legal512_prefer256414; CGSCC-SAME: (ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[ARG:%.*]], <8 x i64> [[TMP0:%.*]]) #[[ATTR3:[0-9]+]] {415; CGSCC-NEXT: bb:416; CGSCC-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>, align 64417; CGSCC-NEXT: store <8 x i64> [[TMP0]], ptr [[ARG1_PRIV]], align 64418; CGSCC-NEXT: [[TMP:%.*]] = load <8 x i64>, ptr [[ARG1_PRIV]], align 64, !invariant.load [[META0]]419; CGSCC-NEXT: store <8 x i64> [[TMP]], ptr [[ARG]], align 64420; CGSCC-NEXT: ret void421;422bb:423 %tmp = load <8 x i64>, ptr %arg1424 store <8 x i64> %tmp, ptr %arg425 ret void426}427 428define void @avx2_legal256_prefer256_call_avx2_legal512_prefer256(ptr %arg) #4 {429;430; TUNIT: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable431; TUNIT-LABEL: define {{[^@]+}}@avx2_legal256_prefer256_call_avx2_legal512_prefer256432; TUNIT-SAME: (ptr nofree writeonly captures(none) [[ARG:%.*]]) #[[ATTR3]] {433; TUNIT-NEXT: bb:434; TUNIT-NEXT: [[TMP:%.*]] = alloca <8 x i64>, align 32435; TUNIT-NEXT: [[TMP2:%.*]] = alloca <8 x i64>, align 32436; TUNIT-NEXT: call void @llvm.memset.p0.i64(ptr noalias nofree noundef nonnull writeonly align 32 captures(none) dereferenceable(64) [[TMP]], i8 noundef 0, i64 noundef 32, i1 noundef false) #[[ATTR5]]437; TUNIT-NEXT: [[TMP0:%.*]] = load <8 x i64>, ptr [[TMP]], align 64438; TUNIT-NEXT: call fastcc void @callee_avx2_legal256_prefer256_call_avx2_legal512_prefer256(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP2]], <8 x i64> [[TMP0]]) #[[ATTR6]]439; TUNIT-NEXT: [[TMP4:%.*]] = load <8 x i64>, ptr [[TMP2]], align 64440; TUNIT-NEXT: store <8 x i64> [[TMP4]], ptr [[ARG]], align 2441; TUNIT-NEXT: ret void442;443; CGSCC: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable444; CGSCC-LABEL: define {{[^@]+}}@avx2_legal256_prefer256_call_avx2_legal512_prefer256445; CGSCC-SAME: (ptr nofree noundef nonnull writeonly align 2 captures(none) dereferenceable(64) [[ARG:%.*]]) #[[ATTR3]] {446; CGSCC-NEXT: bb:447; CGSCC-NEXT: [[TMP:%.*]] = alloca <8 x i64>, align 32448; CGSCC-NEXT: [[TMP2:%.*]] = alloca <8 x i64>, align 32449; CGSCC-NEXT: call void @llvm.memset.p0.i64(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP]], i8 noundef 0, i64 noundef 32, i1 noundef false) #[[ATTR5]]450; CGSCC-NEXT: [[TMP0:%.*]] = load <8 x i64>, ptr [[TMP]], align 64451; CGSCC-NEXT: call fastcc void @callee_avx2_legal256_prefer256_call_avx2_legal512_prefer256(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP2]], <8 x i64> [[TMP0]]) #[[ATTR6]]452; CGSCC-NEXT: [[TMP4:%.*]] = load <8 x i64>, ptr [[TMP2]], align 64453; CGSCC-NEXT: store <8 x i64> [[TMP4]], ptr [[ARG]], align 2454; CGSCC-NEXT: ret void455;456bb:457 %tmp = alloca <8 x i64>, align 32458 %tmp2 = alloca <8 x i64>, align 32459 call void @llvm.memset.p0.i64(ptr align 32 %tmp, i8 0, i64 32, i1 false)460 call fastcc void @callee_avx2_legal256_prefer256_call_avx2_legal512_prefer256(ptr %tmp2, ptr %tmp)461 %tmp4 = load <8 x i64>, ptr %tmp2, align 32462 store <8 x i64> %tmp4, ptr %arg, align 2463 ret void464}465 466; This should promote467define internal fastcc void @callee_avx2_legal512_prefer256_call_avx2_legal256_prefer256(ptr %arg, ptr readonly %arg1) #4 {468;469; TUNIT: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable470; TUNIT-LABEL: define {{[^@]+}}@callee_avx2_legal512_prefer256_call_avx2_legal256_prefer256471; TUNIT-SAME: (ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[ARG:%.*]], <8 x i64> [[TMP0:%.*]]) #[[ATTR3]] {472; TUNIT-NEXT: bb:473; TUNIT-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>, align 64474; TUNIT-NEXT: store <8 x i64> [[TMP0]], ptr [[ARG1_PRIV]], align 64475; TUNIT-NEXT: [[TMP:%.*]] = load <8 x i64>, ptr [[ARG1_PRIV]], align 64476; TUNIT-NEXT: store <8 x i64> [[TMP]], ptr [[ARG]], align 64477; TUNIT-NEXT: ret void478;479; CGSCC: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable480; CGSCC-LABEL: define {{[^@]+}}@callee_avx2_legal512_prefer256_call_avx2_legal256_prefer256481; CGSCC-SAME: (ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[ARG:%.*]], <8 x i64> [[TMP0:%.*]]) #[[ATTR3]] {482; CGSCC-NEXT: bb:483; CGSCC-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>, align 64484; CGSCC-NEXT: store <8 x i64> [[TMP0]], ptr [[ARG1_PRIV]], align 64485; CGSCC-NEXT: [[TMP:%.*]] = load <8 x i64>, ptr [[ARG1_PRIV]], align 64, !invariant.load [[META0]]486; CGSCC-NEXT: store <8 x i64> [[TMP]], ptr [[ARG]], align 64487; CGSCC-NEXT: ret void488;489bb:490 %tmp = load <8 x i64>, ptr %arg1491 store <8 x i64> %tmp, ptr %arg492 ret void493}494 495define void @avx2_legal512_prefer256_call_avx2_legal256_prefer256(ptr %arg) #3 {496;497; TUNIT: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable498; TUNIT-LABEL: define {{[^@]+}}@avx2_legal512_prefer256_call_avx2_legal256_prefer256499; TUNIT-SAME: (ptr nofree writeonly captures(none) [[ARG:%.*]]) #[[ATTR3]] {500; TUNIT-NEXT: bb:501; TUNIT-NEXT: [[TMP:%.*]] = alloca <8 x i64>, align 32502; TUNIT-NEXT: [[TMP2:%.*]] = alloca <8 x i64>, align 32503; TUNIT-NEXT: call void @llvm.memset.p0.i64(ptr noalias nofree noundef nonnull writeonly align 32 captures(none) dereferenceable(64) [[TMP]], i8 noundef 0, i64 noundef 32, i1 noundef false) #[[ATTR5]]504; TUNIT-NEXT: [[TMP0:%.*]] = load <8 x i64>, ptr [[TMP]], align 64505; TUNIT-NEXT: call fastcc void @callee_avx2_legal512_prefer256_call_avx2_legal256_prefer256(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP2]], <8 x i64> [[TMP0]]) #[[ATTR6]]506; TUNIT-NEXT: [[TMP4:%.*]] = load <8 x i64>, ptr [[TMP2]], align 64507; TUNIT-NEXT: store <8 x i64> [[TMP4]], ptr [[ARG]], align 2508; TUNIT-NEXT: ret void509;510; CGSCC: Function Attrs: inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable511; CGSCC-LABEL: define {{[^@]+}}@avx2_legal512_prefer256_call_avx2_legal256_prefer256512; CGSCC-SAME: (ptr nofree noundef nonnull writeonly align 2 captures(none) dereferenceable(64) [[ARG:%.*]]) #[[ATTR3]] {513; CGSCC-NEXT: bb:514; CGSCC-NEXT: [[TMP:%.*]] = alloca <8 x i64>, align 32515; CGSCC-NEXT: [[TMP2:%.*]] = alloca <8 x i64>, align 32516; CGSCC-NEXT: call void @llvm.memset.p0.i64(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP]], i8 noundef 0, i64 noundef 32, i1 noundef false) #[[ATTR5]]517; CGSCC-NEXT: [[TMP0:%.*]] = load <8 x i64>, ptr [[TMP]], align 64518; CGSCC-NEXT: call fastcc void @callee_avx2_legal512_prefer256_call_avx2_legal256_prefer256(ptr noalias nofree noundef nonnull writeonly align 64 captures(none) dereferenceable(64) [[TMP2]], <8 x i64> [[TMP0]]) #[[ATTR6]]519; CGSCC-NEXT: [[TMP4:%.*]] = load <8 x i64>, ptr [[TMP2]], align 64520; CGSCC-NEXT: store <8 x i64> [[TMP4]], ptr [[ARG]], align 2521; CGSCC-NEXT: ret void522;523bb:524 %tmp = alloca <8 x i64>, align 32525 %tmp2 = alloca <8 x i64>, align 32526 call void @llvm.memset.p0.i64(ptr align 32 %tmp, i8 0, i64 32, i1 false)527 call fastcc void @callee_avx2_legal512_prefer256_call_avx2_legal256_prefer256(ptr %tmp2, ptr %tmp)528 %tmp4 = load <8 x i64>, ptr %tmp2, align 32529 store <8 x i64> %tmp4, ptr %arg, align 2530 ret void531}532 533; Function Attrs: argmemonly nounwind534declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1) #5535 536attributes #0 = { inlinehint norecurse nounwind uwtable "target-features"="+avx512vl" "min-legal-vector-width"="512" "prefer-vector-width"="512" }537attributes #1 = { inlinehint norecurse nounwind uwtable "target-features"="+avx512vl" "min-legal-vector-width"="512" "prefer-vector-width"="256" }538attributes #2 = { inlinehint norecurse nounwind uwtable "target-features"="+avx512vl" "min-legal-vector-width"="256" "prefer-vector-width"="256" }539attributes #3 = { inlinehint norecurse nounwind uwtable "target-features"="+avx2" "min-legal-vector-width"="512" "prefer-vector-width"="256" }540attributes #4 = { inlinehint norecurse nounwind uwtable "target-features"="+avx2" "min-legal-vector-width"="256" "prefer-vector-width"="256" }541attributes #5 = { argmemonly nounwind }542;.543; CGSCC: attributes #[[ATTR0]] = { inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable "min-legal-vector-width"="512" "prefer-vector-width"="512" "target-features"="+avx512vl" }544; CGSCC: attributes #[[ATTR1]] = { inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable "min-legal-vector-width"="512" "prefer-vector-width"="256" "target-features"="+avx512vl" }545; CGSCC: attributes #[[ATTR2]] = { inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable "min-legal-vector-width"="256" "prefer-vector-width"="256" "target-features"="+avx512vl" }546; CGSCC: attributes #[[ATTR3]] = { inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable "min-legal-vector-width"="512" "prefer-vector-width"="256" "target-features"="+avx2" }547; CGSCC: attributes #[[ATTR4:[0-9]+]] = { nocallback nofree nounwind willreturn memory(argmem: write) }548; CGSCC: attributes #[[ATTR5]] = { nofree willreturn memory(write) }549; CGSCC: attributes #[[ATTR6]] = { nofree nounwind willreturn }550;.551; TUNIT: attributes #[[ATTR0]] = { inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable "min-legal-vector-width"="512" "prefer-vector-width"="512" "target-features"="+avx512vl" }552; TUNIT: attributes #[[ATTR1]] = { inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable "min-legal-vector-width"="512" "prefer-vector-width"="256" "target-features"="+avx512vl" }553; TUNIT: attributes #[[ATTR2]] = { inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable "min-legal-vector-width"="256" "prefer-vector-width"="256" "target-features"="+avx512vl" }554; TUNIT: attributes #[[ATTR3]] = { inlinehint mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable "min-legal-vector-width"="512" "prefer-vector-width"="256" "target-features"="+avx2" }555; TUNIT: attributes #[[ATTR4:[0-9]+]] = { nocallback nofree nounwind willreturn memory(argmem: write) }556; TUNIT: attributes #[[ATTR5]] = { nofree willreturn memory(write) }557; TUNIT: attributes #[[ATTR6]] = { nofree nosync nounwind willreturn }558;.559; CGSCC: [[META0]] = !{}560;.561;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:562; CHECK: {{.*}}563