1197 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu \3; RUN: -mcpu=pwr8 -ppc-asm-full-reg-names -ppc-vsr-nums-as-vr < %s | \4; RUN: FileCheck %s --check-prefix=CHECK-P85; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu \6; RUN: -mcpu=pwr9 -ppc-asm-full-reg-names -ppc-vsr-nums-as-vr < %s | \7; RUN: FileCheck %s --check-prefix=CHECK-P98; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu \9; RUN: -mcpu=pwr9 -ppc-asm-full-reg-names -ppc-vsr-nums-as-vr < %s | \10; RUN: FileCheck %s --check-prefix=CHECK-P9-BE11; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu \12; RUN: -mcpu=pwr8 -mattr=-vsx -ppc-asm-full-reg-names \13; RUN: -ppc-vsr-nums-as-vr < %s | FileCheck %s --check-prefix=CHECK-NOVSX14; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu \15; RUN: -mcpu=pwr7 -ppc-asm-full-reg-names -ppc-vsr-nums-as-vr < %s | \16; RUN: FileCheck %s --check-prefix=CHECK-P717; RUN: llc -mcpu=pwr8 -verify-machineinstrs -ppc-vsr-nums-as-vr \18; RUN: -ppc-asm-full-reg-names -mtriple=powerpc64-ibm-aix-xcoff < %s | \19; RUN: FileCheck %s --check-prefixes=P8-AIX,P8-AIX-6420; RUN: llc -mcpu=pwr8 -verify-machineinstrs -ppc-vsr-nums-as-vr \21; RUN: -ppc-asm-full-reg-names -mtriple=powerpc-ibm-aix-xcoff < %s | \22; RUN: FileCheck %s --check-prefixes=P8-AIX,P8-AIX-3223 24define dso_local <16 x i8> @testmrghb(<16 x i8> %a, <16 x i8> %b) local_unnamed_addr #0 {25; CHECK-P8-LABEL: testmrghb:26; CHECK-P8: # %bb.0: # %entry27; CHECK-P8-NEXT: vmrghb v2, v3, v228; CHECK-P8-NEXT: blr29;30; CHECK-P9-LABEL: testmrghb:31; CHECK-P9: # %bb.0: # %entry32; CHECK-P9-NEXT: vmrghb v2, v3, v233; CHECK-P9-NEXT: blr34;35; CHECK-P9-BE-LABEL: testmrghb:36; CHECK-P9-BE: # %bb.0: # %entry37; CHECK-P9-BE-NEXT: vmrglb v2, v2, v338; CHECK-P9-BE-NEXT: blr39;40; CHECK-NOVSX-LABEL: testmrghb:41; CHECK-NOVSX: # %bb.0: # %entry42; CHECK-NOVSX-NEXT: vmrghb v2, v3, v243; CHECK-NOVSX-NEXT: blr44;45; CHECK-P7-LABEL: testmrghb:46; CHECK-P7: # %bb.0: # %entry47; CHECK-P7-NEXT: vmrghb v2, v3, v248; CHECK-P7-NEXT: blr49;50; P8-AIX-LABEL: testmrghb:51; P8-AIX: # %bb.0: # %entry52; P8-AIX-NEXT: vmrglb v2, v2, v353; P8-AIX-NEXT: blr54entry:55 %shuffle = shufflevector <16 x i8> %a, <16 x i8> %b, <16 x i32> <i32 8, i32 24, i32 9, i32 25, i32 10, i32 26, i32 11, i32 27, i32 12, i32 28, i32 13, i32 29, i32 14, i32 30, i32 15, i32 31>56 ret <16 x i8> %shuffle57}58define dso_local <16 x i8> @testmrghb2(<16 x i8> %a, <16 x i8> %b) local_unnamed_addr #0 {59; CHECK-P8-LABEL: testmrghb2:60; CHECK-P8: # %bb.0: # %entry61; CHECK-P8-NEXT: vmrghb v2, v2, v362; CHECK-P8-NEXT: blr63;64; CHECK-P9-LABEL: testmrghb2:65; CHECK-P9: # %bb.0: # %entry66; CHECK-P9-NEXT: vmrghb v2, v2, v367; CHECK-P9-NEXT: blr68;69; CHECK-P9-BE-LABEL: testmrghb2:70; CHECK-P9-BE: # %bb.0: # %entry71; CHECK-P9-BE-NEXT: vmrglb v2, v3, v272; CHECK-P9-BE-NEXT: blr73;74; CHECK-NOVSX-LABEL: testmrghb2:75; CHECK-NOVSX: # %bb.0: # %entry76; CHECK-NOVSX-NEXT: addis r3, r2, .LCPI1_0@toc@ha77; CHECK-NOVSX-NEXT: addi r3, r3, .LCPI1_0@toc@l78; CHECK-NOVSX-NEXT: lvx v4, 0, r379; CHECK-NOVSX-NEXT: vperm v2, v3, v2, v480; CHECK-NOVSX-NEXT: blr81;82; CHECK-P7-LABEL: testmrghb2:83; CHECK-P7: # %bb.0: # %entry84; CHECK-P7-NEXT: addis r3, r2, .LCPI1_0@toc@ha85; CHECK-P7-NEXT: addi r3, r3, .LCPI1_0@toc@l86; CHECK-P7-NEXT: lxvd2x vs0, 0, r387; CHECK-P7-NEXT: xxswapd v4, vs088; CHECK-P7-NEXT: vperm v2, v3, v2, v489; CHECK-P7-NEXT: blr90;91; P8-AIX-LABEL: testmrghb2:92; P8-AIX: # %bb.0: # %entry93; P8-AIX-NEXT: vmrglb v2, v3, v294; P8-AIX-NEXT: blr95entry:96 %shuffle = shufflevector <16 x i8> %a, <16 x i8> %b, <16 x i32> <i32 24, i32 8, i32 25, i32 9, i32 26, i32 10, i32 27, i32 11, i32 28, i32 12, i32 29, i32 13, i32 30, i32 14, i32 31, i32 15>97 ret <16 x i8> %shuffle98}99define dso_local <16 x i8> @testmrghh(<16 x i8> %a, <16 x i8> %b) local_unnamed_addr #0 {100; CHECK-P8-LABEL: testmrghh:101; CHECK-P8: # %bb.0: # %entry102; CHECK-P8-NEXT: vmrghh v2, v3, v2103; CHECK-P8-NEXT: blr104;105; CHECK-P9-LABEL: testmrghh:106; CHECK-P9: # %bb.0: # %entry107; CHECK-P9-NEXT: vmrghh v2, v3, v2108; CHECK-P9-NEXT: blr109;110; CHECK-P9-BE-LABEL: testmrghh:111; CHECK-P9-BE: # %bb.0: # %entry112; CHECK-P9-BE-NEXT: vmrglh v2, v2, v3113; CHECK-P9-BE-NEXT: blr114;115; CHECK-NOVSX-LABEL: testmrghh:116; CHECK-NOVSX: # %bb.0: # %entry117; CHECK-NOVSX-NEXT: vmrghh v2, v3, v2118; CHECK-NOVSX-NEXT: blr119;120; CHECK-P7-LABEL: testmrghh:121; CHECK-P7: # %bb.0: # %entry122; CHECK-P7-NEXT: vmrghh v2, v3, v2123; CHECK-P7-NEXT: blr124;125; P8-AIX-LABEL: testmrghh:126; P8-AIX: # %bb.0: # %entry127; P8-AIX-NEXT: vmrglh v2, v2, v3128; P8-AIX-NEXT: blr129entry:130 %shuffle = shufflevector <16 x i8> %a, <16 x i8> %b, <16 x i32> <i32 8, i32 9, i32 24, i32 25, i32 10, i32 11, i32 26, i32 27, i32 12, i32 13, i32 28, i32 29, i32 14, i32 15, i32 30, i32 31>131 ret <16 x i8> %shuffle132}133define dso_local <16 x i8> @testmrghh2(<16 x i8> %a, <16 x i8> %b) local_unnamed_addr #0 {134; CHECK-P8-LABEL: testmrghh2:135; CHECK-P8: # %bb.0: # %entry136; CHECK-P8-NEXT: vmrghh v2, v2, v3137; CHECK-P8-NEXT: blr138;139; CHECK-P9-LABEL: testmrghh2:140; CHECK-P9: # %bb.0: # %entry141; CHECK-P9-NEXT: vmrghh v2, v2, v3142; CHECK-P9-NEXT: blr143;144; CHECK-P9-BE-LABEL: testmrghh2:145; CHECK-P9-BE: # %bb.0: # %entry146; CHECK-P9-BE-NEXT: vmrglh v2, v3, v2147; CHECK-P9-BE-NEXT: blr148;149; CHECK-NOVSX-LABEL: testmrghh2:150; CHECK-NOVSX: # %bb.0: # %entry151; CHECK-NOVSX-NEXT: addis r3, r2, .LCPI3_0@toc@ha152; CHECK-NOVSX-NEXT: addi r3, r3, .LCPI3_0@toc@l153; CHECK-NOVSX-NEXT: lvx v4, 0, r3154; CHECK-NOVSX-NEXT: vperm v2, v3, v2, v4155; CHECK-NOVSX-NEXT: blr156;157; CHECK-P7-LABEL: testmrghh2:158; CHECK-P7: # %bb.0: # %entry159; CHECK-P7-NEXT: addis r3, r2, .LCPI3_0@toc@ha160; CHECK-P7-NEXT: addi r3, r3, .LCPI3_0@toc@l161; CHECK-P7-NEXT: lxvd2x vs0, 0, r3162; CHECK-P7-NEXT: xxswapd v4, vs0163; CHECK-P7-NEXT: vperm v2, v3, v2, v4164; CHECK-P7-NEXT: blr165;166; P8-AIX-LABEL: testmrghh2:167; P8-AIX: # %bb.0: # %entry168; P8-AIX-NEXT: vmrglh v2, v3, v2169; P8-AIX-NEXT: blr170entry:171 %shuffle = shufflevector <16 x i8> %a, <16 x i8> %b, <16 x i32> <i32 24, i32 25, i32 8, i32 9, i32 26, i32 27, i32 10, i32 11, i32 28, i32 29, i32 12, i32 13, i32 30, i32 31, i32 14, i32 15>172 ret <16 x i8> %shuffle173}174define dso_local <16 x i8> @testmrglb(<16 x i8> %a, <16 x i8> %b) local_unnamed_addr #0 {175; CHECK-P8-LABEL: testmrglb:176; CHECK-P8: # %bb.0: # %entry177; CHECK-P8-NEXT: vmrglb v2, v3, v2178; CHECK-P8-NEXT: blr179;180; CHECK-P9-LABEL: testmrglb:181; CHECK-P9: # %bb.0: # %entry182; CHECK-P9-NEXT: vmrglb v2, v3, v2183; CHECK-P9-NEXT: blr184;185; CHECK-P9-BE-LABEL: testmrglb:186; CHECK-P9-BE: # %bb.0: # %entry187; CHECK-P9-BE-NEXT: vmrghb v2, v2, v3188; CHECK-P9-BE-NEXT: blr189;190; CHECK-NOVSX-LABEL: testmrglb:191; CHECK-NOVSX: # %bb.0: # %entry192; CHECK-NOVSX-NEXT: vmrglb v2, v3, v2193; CHECK-NOVSX-NEXT: blr194;195; CHECK-P7-LABEL: testmrglb:196; CHECK-P7: # %bb.0: # %entry197; CHECK-P7-NEXT: vmrglb v2, v3, v2198; CHECK-P7-NEXT: blr199;200; P8-AIX-LABEL: testmrglb:201; P8-AIX: # %bb.0: # %entry202; P8-AIX-NEXT: vmrghb v2, v2, v3203; P8-AIX-NEXT: blr204entry:205 %shuffle = shufflevector <16 x i8> %a, <16 x i8> %b, <16 x i32> <i32 0, i32 16, i32 1, i32 17, i32 2, i32 18, i32 3, i32 19, i32 4, i32 20, i32 5, i32 21, i32 6, i32 22, i32 7, i32 23>206 ret <16 x i8> %shuffle207}208define dso_local <16 x i8> @testmrglb2(<16 x i8> %a, <16 x i8> %b) local_unnamed_addr #0 {209; CHECK-P8-LABEL: testmrglb2:210; CHECK-P8: # %bb.0: # %entry211; CHECK-P8-NEXT: vmrglb v2, v2, v3212; CHECK-P8-NEXT: blr213;214; CHECK-P9-LABEL: testmrglb2:215; CHECK-P9: # %bb.0: # %entry216; CHECK-P9-NEXT: vmrglb v2, v2, v3217; CHECK-P9-NEXT: blr218;219; CHECK-P9-BE-LABEL: testmrglb2:220; CHECK-P9-BE: # %bb.0: # %entry221; CHECK-P9-BE-NEXT: vmrghb v2, v3, v2222; CHECK-P9-BE-NEXT: blr223;224; CHECK-NOVSX-LABEL: testmrglb2:225; CHECK-NOVSX: # %bb.0: # %entry226; CHECK-NOVSX-NEXT: addis r3, r2, .LCPI5_0@toc@ha227; CHECK-NOVSX-NEXT: addi r3, r3, .LCPI5_0@toc@l228; CHECK-NOVSX-NEXT: lvx v4, 0, r3229; CHECK-NOVSX-NEXT: vperm v2, v3, v2, v4230; CHECK-NOVSX-NEXT: blr231;232; CHECK-P7-LABEL: testmrglb2:233; CHECK-P7: # %bb.0: # %entry234; CHECK-P7-NEXT: addis r3, r2, .LCPI5_0@toc@ha235; CHECK-P7-NEXT: addi r3, r3, .LCPI5_0@toc@l236; CHECK-P7-NEXT: lxvd2x vs0, 0, r3237; CHECK-P7-NEXT: xxswapd v4, vs0238; CHECK-P7-NEXT: vperm v2, v3, v2, v4239; CHECK-P7-NEXT: blr240;241; P8-AIX-LABEL: testmrglb2:242; P8-AIX: # %bb.0: # %entry243; P8-AIX-NEXT: vmrghb v2, v3, v2244; P8-AIX-NEXT: blr245entry:246 %shuffle = shufflevector <16 x i8> %a, <16 x i8> %b, <16 x i32> <i32 16, i32 0, i32 17, i32 1, i32 18, i32 2, i32 19, i32 3, i32 20, i32 4, i32 21, i32 5, i32 22, i32 6, i32 23, i32 7>247 ret <16 x i8> %shuffle248}249define dso_local <16 x i8> @testmrglh(<16 x i8> %a, <16 x i8> %b) local_unnamed_addr #0 {250; CHECK-P8-LABEL: testmrglh:251; CHECK-P8: # %bb.0: # %entry252; CHECK-P8-NEXT: vmrglh v2, v3, v2253; CHECK-P8-NEXT: blr254;255; CHECK-P9-LABEL: testmrglh:256; CHECK-P9: # %bb.0: # %entry257; CHECK-P9-NEXT: vmrglh v2, v3, v2258; CHECK-P9-NEXT: blr259;260; CHECK-P9-BE-LABEL: testmrglh:261; CHECK-P9-BE: # %bb.0: # %entry262; CHECK-P9-BE-NEXT: vmrghh v2, v2, v3263; CHECK-P9-BE-NEXT: blr264;265; CHECK-NOVSX-LABEL: testmrglh:266; CHECK-NOVSX: # %bb.0: # %entry267; CHECK-NOVSX-NEXT: vmrglh v2, v3, v2268; CHECK-NOVSX-NEXT: blr269;270; CHECK-P7-LABEL: testmrglh:271; CHECK-P7: # %bb.0: # %entry272; CHECK-P7-NEXT: vmrglh v2, v3, v2273; CHECK-P7-NEXT: blr274;275; P8-AIX-LABEL: testmrglh:276; P8-AIX: # %bb.0: # %entry277; P8-AIX-NEXT: vmrghh v2, v2, v3278; P8-AIX-NEXT: blr279entry:280 %shuffle = shufflevector <16 x i8> %a, <16 x i8> %b, <16 x i32> <i32 0, i32 1, i32 16, i32 17, i32 2, i32 3, i32 18, i32 19, i32 4, i32 5, i32 20, i32 21, i32 6, i32 7, i32 22, i32 23>281 ret <16 x i8> %shuffle282}283define dso_local <16 x i8> @testmrglh2(<16 x i8> %a, <16 x i8> %b) local_unnamed_addr #0 {284; CHECK-P8-LABEL: testmrglh2:285; CHECK-P8: # %bb.0: # %entry286; CHECK-P8-NEXT: vmrglh v2, v2, v3287; CHECK-P8-NEXT: blr288;289; CHECK-P9-LABEL: testmrglh2:290; CHECK-P9: # %bb.0: # %entry291; CHECK-P9-NEXT: vmrglh v2, v2, v3292; CHECK-P9-NEXT: blr293;294; CHECK-P9-BE-LABEL: testmrglh2:295; CHECK-P9-BE: # %bb.0: # %entry296; CHECK-P9-BE-NEXT: vmrghh v2, v3, v2297; CHECK-P9-BE-NEXT: blr298;299; CHECK-NOVSX-LABEL: testmrglh2:300; CHECK-NOVSX: # %bb.0: # %entry301; CHECK-NOVSX-NEXT: addis r3, r2, .LCPI7_0@toc@ha302; CHECK-NOVSX-NEXT: addi r3, r3, .LCPI7_0@toc@l303; CHECK-NOVSX-NEXT: lvx v4, 0, r3304; CHECK-NOVSX-NEXT: vperm v2, v3, v2, v4305; CHECK-NOVSX-NEXT: blr306;307; CHECK-P7-LABEL: testmrglh2:308; CHECK-P7: # %bb.0: # %entry309; CHECK-P7-NEXT: addis r3, r2, .LCPI7_0@toc@ha310; CHECK-P7-NEXT: addi r3, r3, .LCPI7_0@toc@l311; CHECK-P7-NEXT: lxvd2x vs0, 0, r3312; CHECK-P7-NEXT: xxswapd v4, vs0313; CHECK-P7-NEXT: vperm v2, v3, v2, v4314; CHECK-P7-NEXT: blr315;316; P8-AIX-LABEL: testmrglh2:317; P8-AIX: # %bb.0: # %entry318; P8-AIX-NEXT: vmrghh v2, v3, v2319; P8-AIX-NEXT: blr320entry:321 %shuffle = shufflevector <16 x i8> %a, <16 x i8> %b, <16 x i32> <i32 16, i32 17, i32 0, i32 1, i32 18, i32 19, i32 2, i32 3, i32 20, i32 21, i32 4, i32 5, i32 22, i32 23, i32 6, i32 7>322 ret <16 x i8> %shuffle323}324define dso_local <16 x i8> @testmrghw(<16 x i8> %a, <16 x i8> %b) local_unnamed_addr #0 {325; CHECK-P8-LABEL: testmrghw:326; CHECK-P8: # %bb.0: # %entry327; CHECK-P8-NEXT: xxmrghw v2, v3, v2328; CHECK-P8-NEXT: blr329;330; CHECK-P9-LABEL: testmrghw:331; CHECK-P9: # %bb.0: # %entry332; CHECK-P9-NEXT: xxmrghw v2, v3, v2333; CHECK-P9-NEXT: blr334;335; CHECK-P9-BE-LABEL: testmrghw:336; CHECK-P9-BE: # %bb.0: # %entry337; CHECK-P9-BE-NEXT: xxmrglw v2, v2, v3338; CHECK-P9-BE-NEXT: blr339;340; CHECK-NOVSX-LABEL: testmrghw:341; CHECK-NOVSX: # %bb.0: # %entry342; CHECK-NOVSX-NEXT: vmrghw v2, v3, v2343; CHECK-NOVSX-NEXT: blr344;345; CHECK-P7-LABEL: testmrghw:346; CHECK-P7: # %bb.0: # %entry347; CHECK-P7-NEXT: xxmrghw v2, v3, v2348; CHECK-P7-NEXT: blr349;350; P8-AIX-LABEL: testmrghw:351; P8-AIX: # %bb.0: # %entry352; P8-AIX-NEXT: xxmrglw v2, v2, v3353; P8-AIX-NEXT: blr354entry:355 %shuffle = shufflevector <16 x i8> %a, <16 x i8> %b, <16 x i32> <i32 8, i32 9, i32 10, i32 11, i32 24, i32 25, i32 26, i32 27, i32 12, i32 13, i32 14, i32 15, i32 28, i32 29, i32 30, i32 31>356 ret <16 x i8> %shuffle357}358define dso_local <16 x i8> @testmrghw2(<16 x i8> %a, <16 x i8> %b) local_unnamed_addr #0 {359; CHECK-P8-LABEL: testmrghw2:360; CHECK-P8: # %bb.0: # %entry361; CHECK-P8-NEXT: xxmrghw v2, v2, v3362; CHECK-P8-NEXT: blr363;364; CHECK-P9-LABEL: testmrghw2:365; CHECK-P9: # %bb.0: # %entry366; CHECK-P9-NEXT: xxmrghw v2, v2, v3367; CHECK-P9-NEXT: blr368;369; CHECK-P9-BE-LABEL: testmrghw2:370; CHECK-P9-BE: # %bb.0: # %entry371; CHECK-P9-BE-NEXT: xxmrglw v2, v3, v2372; CHECK-P9-BE-NEXT: blr373;374; CHECK-NOVSX-LABEL: testmrghw2:375; CHECK-NOVSX: # %bb.0: # %entry376; CHECK-NOVSX-NEXT: addis r3, r2, .LCPI9_0@toc@ha377; CHECK-NOVSX-NEXT: addi r3, r3, .LCPI9_0@toc@l378; CHECK-NOVSX-NEXT: lvx v4, 0, r3379; CHECK-NOVSX-NEXT: vperm v2, v3, v2, v4380; CHECK-NOVSX-NEXT: blr381;382; CHECK-P7-LABEL: testmrghw2:383; CHECK-P7: # %bb.0: # %entry384; CHECK-P7-NEXT: addis r3, r2, .LCPI9_0@toc@ha385; CHECK-P7-NEXT: addi r3, r3, .LCPI9_0@toc@l386; CHECK-P7-NEXT: lxvd2x vs0, 0, r3387; CHECK-P7-NEXT: xxswapd v4, vs0388; CHECK-P7-NEXT: vperm v2, v3, v2, v4389; CHECK-P7-NEXT: blr390;391; P8-AIX-LABEL: testmrghw2:392; P8-AIX: # %bb.0: # %entry393; P8-AIX-NEXT: xxmrglw v2, v3, v2394; P8-AIX-NEXT: blr395entry:396 %shuffle = shufflevector <16 x i8> %a, <16 x i8> %b, <16 x i32> <i32 24, i32 25, i32 26, i32 27, i32 8, i32 9, i32 10, i32 11, i32 28, i32 29, i32 30, i32 31, i32 12, i32 13, i32 14, i32 15>397 ret <16 x i8> %shuffle398}399define dso_local <16 x i8> @testmrglw(<16 x i8> %a, <16 x i8> %b) local_unnamed_addr #0 {400; CHECK-P8-LABEL: testmrglw:401; CHECK-P8: # %bb.0: # %entry402; CHECK-P8-NEXT: xxmrglw v2, v3, v2403; CHECK-P8-NEXT: blr404;405; CHECK-P9-LABEL: testmrglw:406; CHECK-P9: # %bb.0: # %entry407; CHECK-P9-NEXT: xxmrglw v2, v3, v2408; CHECK-P9-NEXT: blr409;410; CHECK-P9-BE-LABEL: testmrglw:411; CHECK-P9-BE: # %bb.0: # %entry412; CHECK-P9-BE-NEXT: xxmrghw v2, v2, v3413; CHECK-P9-BE-NEXT: blr414;415; CHECK-NOVSX-LABEL: testmrglw:416; CHECK-NOVSX: # %bb.0: # %entry417; CHECK-NOVSX-NEXT: vmrglw v2, v3, v2418; CHECK-NOVSX-NEXT: blr419;420; CHECK-P7-LABEL: testmrglw:421; CHECK-P7: # %bb.0: # %entry422; CHECK-P7-NEXT: xxmrglw v2, v3, v2423; CHECK-P7-NEXT: blr424;425; P8-AIX-LABEL: testmrglw:426; P8-AIX: # %bb.0: # %entry427; P8-AIX-NEXT: xxmrghw v2, v2, v3428; P8-AIX-NEXT: blr429entry:430 %shuffle = shufflevector <16 x i8> %a, <16 x i8> %b, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 16, i32 17, i32 18, i32 19, i32 4, i32 5, i32 6, i32 7, i32 20, i32 21, i32 22, i32 23>431 ret <16 x i8> %shuffle432}433define dso_local <16 x i8> @testmrglw2(<16 x i8> %a, <16 x i8> %b) local_unnamed_addr #0 {434; CHECK-P8-LABEL: testmrglw2:435; CHECK-P8: # %bb.0: # %entry436; CHECK-P8-NEXT: xxmrglw v2, v2, v3437; CHECK-P8-NEXT: blr438;439; CHECK-P9-LABEL: testmrglw2:440; CHECK-P9: # %bb.0: # %entry441; CHECK-P9-NEXT: xxmrglw v2, v2, v3442; CHECK-P9-NEXT: blr443;444; CHECK-P9-BE-LABEL: testmrglw2:445; CHECK-P9-BE: # %bb.0: # %entry446; CHECK-P9-BE-NEXT: xxmrghw v2, v3, v2447; CHECK-P9-BE-NEXT: blr448;449; CHECK-NOVSX-LABEL: testmrglw2:450; CHECK-NOVSX: # %bb.0: # %entry451; CHECK-NOVSX-NEXT: addis r3, r2, .LCPI11_0@toc@ha452; CHECK-NOVSX-NEXT: addi r3, r3, .LCPI11_0@toc@l453; CHECK-NOVSX-NEXT: lvx v4, 0, r3454; CHECK-NOVSX-NEXT: vperm v2, v3, v2, v4455; CHECK-NOVSX-NEXT: blr456;457; CHECK-P7-LABEL: testmrglw2:458; CHECK-P7: # %bb.0: # %entry459; CHECK-P7-NEXT: addis r3, r2, .LCPI11_0@toc@ha460; CHECK-P7-NEXT: addi r3, r3, .LCPI11_0@toc@l461; CHECK-P7-NEXT: lxvd2x vs0, 0, r3462; CHECK-P7-NEXT: xxswapd v4, vs0463; CHECK-P7-NEXT: vperm v2, v3, v2, v4464; CHECK-P7-NEXT: blr465;466; P8-AIX-LABEL: testmrglw2:467; P8-AIX: # %bb.0: # %entry468; P8-AIX-NEXT: xxmrghw v2, v3, v2469; P8-AIX-NEXT: blr470entry:471 %shuffle = shufflevector <16 x i8> %a, <16 x i8> %b, <16 x i32> <i32 16, i32 17, i32 18, i32 19, i32 0, i32 1, i32 2, i32 3, i32 20, i32 21, i32 22, i32 23, i32 4, i32 5, i32 6, i32 7>472 ret <16 x i8> %shuffle473}474 475define dso_local <8 x i16> @testmrglb3(ptr nocapture readonly %a) local_unnamed_addr #0 {476; CHECK-P8-LABEL: testmrglb3:477; CHECK-P8: # %bb.0: # %entry478; CHECK-P8-NEXT: lxsdx v2, 0, r3479; CHECK-P8-NEXT: xxlxor v3, v3, v3480; CHECK-P8-NEXT: vmrghb v2, v3, v2481; CHECK-P8-NEXT: blr482;483; CHECK-P9-LABEL: testmrglb3:484; CHECK-P9: # %bb.0: # %entry485; CHECK-P9-NEXT: lxsd v2, 0(r3)486; CHECK-P9-NEXT: xxlxor v3, v3, v3487; CHECK-P9-NEXT: vmrghb v2, v3, v2488; CHECK-P9-NEXT: blr489;490; CHECK-P9-BE-LABEL: testmrglb3:491; CHECK-P9-BE: # %bb.0: # %entry492; CHECK-P9-BE-NEXT: lxsd v2, 0(r3)493; CHECK-P9-BE-NEXT: addis r3, r2, .LCPI12_0@toc@ha494; CHECK-P9-BE-NEXT: xxlxor vs1, vs1, vs1495; CHECK-P9-BE-NEXT: addi r3, r3, .LCPI12_0@toc@l496; CHECK-P9-BE-NEXT: lxv vs0, 0(r3)497; CHECK-P9-BE-NEXT: xxperm v2, vs1, vs0498; CHECK-P9-BE-NEXT: blr499;500; CHECK-NOVSX-LABEL: testmrglb3:501; CHECK-NOVSX: # %bb.0: # %entry502; CHECK-NOVSX-NEXT: ld r3, 0(r3)503; CHECK-NOVSX-NEXT: vxor v4, v4, v4504; CHECK-NOVSX-NEXT: std r3, -16(r1)505; CHECK-NOVSX-NEXT: addi r3, r1, -16506; CHECK-NOVSX-NEXT: lvx v2, 0, r3507; CHECK-NOVSX-NEXT: addis r3, r2, .LCPI12_0@toc@ha508; CHECK-NOVSX-NEXT: addi r3, r3, .LCPI12_0@toc@l509; CHECK-NOVSX-NEXT: lvx v3, 0, r3510; CHECK-NOVSX-NEXT: vperm v2, v2, v4, v3511; CHECK-NOVSX-NEXT: blr512;513; CHECK-P7-LABEL: testmrglb3:514; CHECK-P7: # %bb.0: # %entry515; CHECK-P7-NEXT: ld r3, 0(r3)516; CHECK-P7-NEXT: xxlxor v4, v4, v4517; CHECK-P7-NEXT: std r3, -16(r1)518; CHECK-P7-NEXT: addi r3, r1, -16519; CHECK-P7-NEXT: lxvd2x vs0, 0, r3520; CHECK-P7-NEXT: addis r3, r2, .LCPI12_0@toc@ha521; CHECK-P7-NEXT: addi r3, r3, .LCPI12_0@toc@l522; CHECK-P7-NEXT: xxswapd v2, vs0523; CHECK-P7-NEXT: lxvd2x vs0, 0, r3524; CHECK-P7-NEXT: xxswapd v3, vs0525; CHECK-P7-NEXT: vperm v2, v2, v4, v3526; CHECK-P7-NEXT: blr527;528; P8-AIX-64-LABEL: testmrglb3:529; P8-AIX-64: # %bb.0: # %entry530; P8-AIX-64-NEXT: lxsdx v2, 0, r3531; P8-AIX-64-NEXT: ld r3, L..C0(r2) # %const.0532; P8-AIX-64-NEXT: xxlxor v4, v4, v4533; P8-AIX-64-NEXT: lxvw4x v3, 0, r3534; P8-AIX-64-NEXT: vperm v2, v4, v2, v3535; P8-AIX-64-NEXT: blr536;537; P8-AIX-32-LABEL: testmrglb3:538; P8-AIX-32: # %bb.0: # %entry539; P8-AIX-32-NEXT: li r4, 4540; P8-AIX-32-NEXT: lfiwzx f1, 0, r3541; P8-AIX-32-NEXT: xxlxor v3, v3, v3542; P8-AIX-32-NEXT: lfiwzx f0, r3, r4543; P8-AIX-32-NEXT: xxspltw vs1, vs1, 1544; P8-AIX-32-NEXT: xxspltw vs0, vs0, 1545; P8-AIX-32-NEXT: xxmrghw v2, vs1, vs0546; P8-AIX-32-NEXT: vmrghb v2, v3, v2547; P8-AIX-32-NEXT: blr548entry:549 %0 = load <8 x i8>, ptr %a, align 8550 %1 = zext <8 x i8> %0 to <8 x i16>551 ret <8 x i16> %1552}553 554define dso_local void @no_crash_elt0_from_RHS(ptr noalias nocapture dereferenceable(16) %.vtx6) #0 {555; CHECK-P8-LABEL: no_crash_elt0_from_RHS:556; CHECK-P8: # %bb.0: # %test_entry557; CHECK-P8-NEXT: mflr r0558; CHECK-P8-NEXT: std r30, -16(r1) # 8-byte Folded Spill559; CHECK-P8-NEXT: stdu r1, -48(r1)560; CHECK-P8-NEXT: std r0, 64(r1)561; CHECK-P8-NEXT: mr r30, r3562; CHECK-P8-NEXT: bl dummy563; CHECK-P8-NEXT: nop564; CHECK-P8-NEXT: xxlxor f0, f0, f0565; CHECK-P8-NEXT: xxmrghd vs0, vs1, vs0566; CHECK-P8-NEXT: xxswapd vs0, vs0567; CHECK-P8-NEXT: stxvd2x vs0, 0, r30568;569; CHECK-P9-LABEL: no_crash_elt0_from_RHS:570; CHECK-P9: # %bb.0: # %test_entry571; CHECK-P9-NEXT: mflr r0572; CHECK-P9-NEXT: std r30, -16(r1) # 8-byte Folded Spill573; CHECK-P9-NEXT: stdu r1, -48(r1)574; CHECK-P9-NEXT: std r0, 64(r1)575; CHECK-P9-NEXT: mr r30, r3576; CHECK-P9-NEXT: bl dummy577; CHECK-P9-NEXT: nop578; CHECK-P9-NEXT: xxlxor f0, f0, f0579; CHECK-P9-NEXT: xxmrghd vs0, vs1, vs0580; CHECK-P9-NEXT: stxv vs0, 0(r30)581;582; CHECK-P9-BE-LABEL: no_crash_elt0_from_RHS:583; CHECK-P9-BE: # %bb.0: # %test_entry584; CHECK-P9-BE-NEXT: mflr r0585; CHECK-P9-BE-NEXT: stdu r1, -128(r1)586; CHECK-P9-BE-NEXT: std r0, 144(r1)587; CHECK-P9-BE-NEXT: std r30, 112(r1) # 8-byte Folded Spill588; CHECK-P9-BE-NEXT: mr r30, r3589; CHECK-P9-BE-NEXT: bl dummy590; CHECK-P9-BE-NEXT: nop591; CHECK-P9-BE-NEXT: xxlxor f0, f0, f0592; CHECK-P9-BE-NEXT: xxmrghd vs0, vs0, vs1593; CHECK-P9-BE-NEXT: stxv vs0, 0(r30)594;595; CHECK-NOVSX-LABEL: no_crash_elt0_from_RHS:596; CHECK-NOVSX: # %bb.0: # %test_entry597; CHECK-NOVSX-NEXT: mflr r0598; CHECK-NOVSX-NEXT: std r30, -16(r1) # 8-byte Folded Spill599; CHECK-NOVSX-NEXT: stdu r1, -48(r1)600; CHECK-NOVSX-NEXT: std r0, 64(r1)601; CHECK-NOVSX-NEXT: mr r30, r3602; CHECK-NOVSX-NEXT: bl dummy603; CHECK-NOVSX-NEXT: nop604; CHECK-NOVSX-NEXT: li r3, 0605; CHECK-NOVSX-NEXT: stfd f1, 8(r30)606; CHECK-NOVSX-NEXT: std r3, 0(r30)607;608; CHECK-P7-LABEL: no_crash_elt0_from_RHS:609; CHECK-P7: # %bb.0: # %test_entry610; CHECK-P7-NEXT: mflr r0611; CHECK-P7-NEXT: std r30, -16(r1) # 8-byte Folded Spill612; CHECK-P7-NEXT: stdu r1, -48(r1)613; CHECK-P7-NEXT: std r0, 64(r1)614; CHECK-P7-NEXT: mr r30, r3615; CHECK-P7-NEXT: bl dummy616; CHECK-P7-NEXT: nop617; CHECK-P7-NEXT: xxlxor f0, f0, f0618; CHECK-P7-NEXT: xxmrghd vs0, vs1, vs0619; CHECK-P7-NEXT: xxswapd vs0, vs0620; CHECK-P7-NEXT: stxvd2x vs0, 0, r30621;622; P8-AIX-64-LABEL: no_crash_elt0_from_RHS:623; P8-AIX-64: # %bb.0: # %test_entry624; P8-AIX-64-NEXT: mflr r0625; P8-AIX-64-NEXT: stdu r1, -128(r1)626; P8-AIX-64-NEXT: std r0, 144(r1)627; P8-AIX-64-NEXT: std r31, 120(r1) # 8-byte Folded Spill628; P8-AIX-64-NEXT: mr r31, r3629; P8-AIX-64-NEXT: bl .dummy[PR]630; P8-AIX-64-NEXT: nop631; P8-AIX-64-NEXT: xxlxor f0, f0, f0632; P8-AIX-64-NEXT: xxmrghd vs0, vs0, vs1633; P8-AIX-64-NEXT: stxvd2x vs0, 0, r31634;635; P8-AIX-32-LABEL: no_crash_elt0_from_RHS:636; P8-AIX-32: # %bb.0: # %test_entry637; P8-AIX-32-NEXT: mflr r0638; P8-AIX-32-NEXT: stwu r1, -64(r1)639; P8-AIX-32-NEXT: stw r0, 72(r1)640; P8-AIX-32-NEXT: stw r31, 60(r1) # 4-byte Folded Spill641; P8-AIX-32-NEXT: mr r31, r3642; P8-AIX-32-NEXT: bl .dummy[PR]643; P8-AIX-32-NEXT: nop644; P8-AIX-32-NEXT: xxlxor f0, f0, f0645; P8-AIX-32-NEXT: xxmrghd vs0, vs0, vs1646; P8-AIX-32-NEXT: stxvd2x vs0, 0, r31647test_entry:648 %_div_result = tail call double @dummy()649 %oldret = insertvalue { double, double } undef, double %_div_result, 0650 %0 = extractvalue { double, double } %oldret, 0651 %.splatinsert = insertelement <2 x double> undef, double %0, i32 0652 %.splat = shufflevector <2 x double> %.splatinsert, <2 x double> undef, <2 x i32> zeroinitializer653 %1 = shufflevector <2 x double> zeroinitializer, <2 x double> %.splat, <2 x i32> <i32 0, i32 3>654 store <2 x double> %1, ptr %.vtx6, align 16655 unreachable656}657 658define dso_local <16 x i8> @no_crash_bitcast(i32 %a) {659; CHECK-P8-LABEL: no_crash_bitcast:660; CHECK-P8: # %bb.0: # %entry661; CHECK-P8-NEXT: mtvsrwz v2, r3662; CHECK-P8-NEXT: blr663;664; CHECK-P9-LABEL: no_crash_bitcast:665; CHECK-P9: # %bb.0: # %entry666; CHECK-P9-NEXT: mtvsrwz v2, r3667; CHECK-P9-NEXT: blr668;669; CHECK-P9-BE-LABEL: no_crash_bitcast:670; CHECK-P9-BE: # %bb.0: # %entry671; CHECK-P9-BE-NEXT: mtfprwz f0, r3672; CHECK-P9-BE-NEXT: xxmrghw v2, vs0, vs0673; CHECK-P9-BE-NEXT: blr674;675; CHECK-NOVSX-LABEL: no_crash_bitcast:676; CHECK-NOVSX: # %bb.0: # %entry677; CHECK-NOVSX-NEXT: stw r3, -16(r1)678; CHECK-NOVSX-NEXT: addis r3, r2, .LCPI14_0@toc@ha679; CHECK-NOVSX-NEXT: addi r3, r3, .LCPI14_0@toc@l680; CHECK-NOVSX-NEXT: lvx v2, 0, r3681; CHECK-NOVSX-NEXT: addi r3, r1, -16682; CHECK-NOVSX-NEXT: lvx v3, 0, r3683; CHECK-NOVSX-NEXT: vperm v2, v3, v3, v2684; CHECK-NOVSX-NEXT: blr685;686; CHECK-P7-LABEL: no_crash_bitcast:687; CHECK-P7: # %bb.0: # %entry688; CHECK-P7-NEXT: stw r3, -16(r1)689; CHECK-P7-NEXT: addis r3, r2, .LCPI14_0@toc@ha690; CHECK-P7-NEXT: addi r3, r3, .LCPI14_0@toc@l691; CHECK-P7-NEXT: lxvd2x vs0, 0, r3692; CHECK-P7-NEXT: addi r3, r1, -16693; CHECK-P7-NEXT: xxswapd v2, vs0694; CHECK-P7-NEXT: lxvd2x vs0, 0, r3695; CHECK-P7-NEXT: xxswapd v3, vs0696; CHECK-P7-NEXT: vperm v2, v3, v3, v2697; CHECK-P7-NEXT: blr698;699; P8-AIX-64-LABEL: no_crash_bitcast:700; P8-AIX-64: # %bb.0: # %entry701; P8-AIX-64-NEXT: mtfprwz f0, r3702; P8-AIX-64-NEXT: xxmrghw v2, vs0, vs0703; P8-AIX-64-NEXT: blr704;705; P8-AIX-32-LABEL: no_crash_bitcast:706; P8-AIX-32: # %bb.0: # %entry707; P8-AIX-32-NEXT: stw r3, -16(r1)708; P8-AIX-32-NEXT: lwz r3, L..C0(r2) # %const.0709; P8-AIX-32-NEXT: lxvw4x v2, 0, r3710; P8-AIX-32-NEXT: addi r3, r1, -16711; P8-AIX-32-NEXT: lxvw4x v3, 0, r3712; P8-AIX-32-NEXT: vperm v2, v3, v3, v2713; P8-AIX-32-NEXT: blr714entry:715 %cast = bitcast i32 %a to <4 x i8>716 %ret = shufflevector <4 x i8> %cast, <4 x i8> undef, <16 x i32> <i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 0, i32 1, i32 2, i32 3, i32 undef, i32 undef, i32 undef, i32 undef>717 ret <16 x i8> %ret718}719 720define dso_local <4 x i32> @replace_undefs_in_splat(<4 x i32> %a) local_unnamed_addr #0 {721; CHECK-P8-LABEL: replace_undefs_in_splat:722; CHECK-P8: # %bb.0: # %entry723; CHECK-P8-NEXT: addis r3, r2, .LCPI15_0@toc@ha724; CHECK-P8-NEXT: addi r3, r3, .LCPI15_0@toc@l725; CHECK-P8-NEXT: lxvd2x v3, 0, r3726; CHECK-P8-NEXT: vmrgow v2, v3, v2727; CHECK-P8-NEXT: blr728;729; CHECK-P9-LABEL: replace_undefs_in_splat:730; CHECK-P9: # %bb.0: # %entry731; CHECK-P9-NEXT: addis r3, r2, .LCPI15_0@toc@ha732; CHECK-P9-NEXT: addi r3, r3, .LCPI15_0@toc@l733; CHECK-P9-NEXT: lxv v3, 0(r3)734; CHECK-P9-NEXT: vmrgow v2, v3, v2735; CHECK-P9-NEXT: blr736;737; CHECK-P9-BE-LABEL: replace_undefs_in_splat:738; CHECK-P9-BE: # %bb.0: # %entry739; CHECK-P9-BE-NEXT: addis r3, r2, .LCPI15_0@toc@ha740; CHECK-P9-BE-NEXT: addi r3, r3, .LCPI15_0@toc@l741; CHECK-P9-BE-NEXT: lxv vs1, 0(r3)742; CHECK-P9-BE-NEXT: addis r3, r2, .LCPI15_1@toc@ha743; CHECK-P9-BE-NEXT: addi r3, r3, .LCPI15_1@toc@l744; CHECK-P9-BE-NEXT: lxv vs0, 0(r3)745; CHECK-P9-BE-NEXT: xxperm vs0, v2, vs1746; CHECK-P9-BE-NEXT: xxlor v2, vs0, vs0747; CHECK-P9-BE-NEXT: blr748;749; CHECK-NOVSX-LABEL: replace_undefs_in_splat:750; CHECK-NOVSX: # %bb.0: # %entry751; CHECK-NOVSX-NEXT: addis r3, r2, .LCPI15_0@toc@ha752; CHECK-NOVSX-NEXT: addi r3, r3, .LCPI15_0@toc@l753; CHECK-NOVSX-NEXT: lvx v3, 0, r3754; CHECK-NOVSX-NEXT: addis r3, r2, .LCPI15_1@toc@ha755; CHECK-NOVSX-NEXT: addi r3, r3, .LCPI15_1@toc@l756; CHECK-NOVSX-NEXT: lvx v4, 0, r3757; CHECK-NOVSX-NEXT: vperm v2, v4, v2, v3758; CHECK-NOVSX-NEXT: blr759;760; CHECK-P7-LABEL: replace_undefs_in_splat:761; CHECK-P7: # %bb.0: # %entry762; CHECK-P7-NEXT: addis r3, r2, .LCPI15_0@toc@ha763; CHECK-P7-NEXT: addi r3, r3, .LCPI15_0@toc@l764; CHECK-P7-NEXT: lxvd2x vs0, 0, r3765; CHECK-P7-NEXT: addis r3, r2, .LCPI15_1@toc@ha766; CHECK-P7-NEXT: addi r3, r3, .LCPI15_1@toc@l767; CHECK-P7-NEXT: xxswapd v3, vs0768; CHECK-P7-NEXT: lxvd2x vs0, 0, r3769; CHECK-P7-NEXT: xxswapd v4, vs0770; CHECK-P7-NEXT: vperm v2, v4, v2, v3771; CHECK-P7-NEXT: blr772;773; P8-AIX-64-LABEL: replace_undefs_in_splat:774; P8-AIX-64: # %bb.0: # %entry775; P8-AIX-64-NEXT: ld r3, L..C1(r2) # %const.0776; P8-AIX-64-NEXT: lxvw4x v3, 0, r3777; P8-AIX-64-NEXT: ld r3, L..C2(r2) # %const.1778; P8-AIX-64-NEXT: lxvw4x v4, 0, r3779; P8-AIX-64-NEXT: vperm v2, v2, v4, v3780; P8-AIX-64-NEXT: blr781;782; P8-AIX-32-LABEL: replace_undefs_in_splat:783; P8-AIX-32: # %bb.0: # %entry784; P8-AIX-32-NEXT: lwz r3, L..C1(r2) # %const.0785; P8-AIX-32-NEXT: lxvw4x v3, 0, r3786; P8-AIX-32-NEXT: lwz r3, L..C2(r2) # %const.1787; P8-AIX-32-NEXT: lxvw4x v4, 0, r3788; P8-AIX-32-NEXT: vperm v2, v2, v4, v3789; P8-AIX-32-NEXT: blr790entry:791 %vecins1 = shufflevector <4 x i32> %a, <4 x i32> <i32 undef, i32 566, i32 undef, i32 566>, <4 x i32> <i32 0, i32 5, i32 2, i32 7>792 ret <4 x i32> %vecins1793}794 795define dso_local <16 x i8> @no_RAUW_in_combine_during_legalize(ptr nocapture readonly %ptr, i32 signext %offset) local_unnamed_addr #0 {796; CHECK-P8-LABEL: no_RAUW_in_combine_during_legalize:797; CHECK-P8: # %bb.0: # %entry798; CHECK-P8-NEXT: sldi r4, r4, 2799; CHECK-P8-NEXT: xxlxor v3, v3, v3800; CHECK-P8-NEXT: lfiwzx f0, r3, r4801; CHECK-P8-NEXT: xxspltd v2, f0, 0802; CHECK-P8-NEXT: vmrglb v2, v3, v2803; CHECK-P8-NEXT: blr804;805; CHECK-P9-LABEL: no_RAUW_in_combine_during_legalize:806; CHECK-P9: # %bb.0: # %entry807; CHECK-P9-NEXT: sldi r4, r4, 2808; CHECK-P9-NEXT: xxlxor v3, v3, v3809; CHECK-P9-NEXT: lfiwzx f0, r3, r4810; CHECK-P9-NEXT: xxspltd v2, f0, 0811; CHECK-P9-NEXT: vmrglb v2, v3, v2812; CHECK-P9-NEXT: blr813;814; CHECK-P9-BE-LABEL: no_RAUW_in_combine_during_legalize:815; CHECK-P9-BE: # %bb.0: # %entry816; CHECK-P9-BE-NEXT: sldi r4, r4, 2817; CHECK-P9-BE-NEXT: xxlxor v3, v3, v3818; CHECK-P9-BE-NEXT: lxsiwzx v2, r3, r4819; CHECK-P9-BE-NEXT: vmrghb v2, v2, v3820; CHECK-P9-BE-NEXT: blr821;822; CHECK-NOVSX-LABEL: no_RAUW_in_combine_during_legalize:823; CHECK-NOVSX: # %bb.0: # %entry824; CHECK-NOVSX-NEXT: sldi r4, r4, 2825; CHECK-NOVSX-NEXT: vxor v3, v3, v3826; CHECK-NOVSX-NEXT: lwzx r3, r3, r4827; CHECK-NOVSX-NEXT: std r3, -16(r1)828; CHECK-NOVSX-NEXT: addi r3, r1, -16829; CHECK-NOVSX-NEXT: lvx v2, 0, r3830; CHECK-NOVSX-NEXT: vmrglb v2, v3, v2831; CHECK-NOVSX-NEXT: blr832;833; CHECK-P7-LABEL: no_RAUW_in_combine_during_legalize:834; CHECK-P7: # %bb.0: # %entry835; CHECK-P7-NEXT: sldi r4, r4, 2836; CHECK-P7-NEXT: xxlxor v3, v3, v3837; CHECK-P7-NEXT: lfiwzx f0, r3, r4838; CHECK-P7-NEXT: xxspltd v2, f0, 0839; CHECK-P7-NEXT: vmrglb v2, v3, v2840; CHECK-P7-NEXT: blr841;842; P8-AIX-64-LABEL: no_RAUW_in_combine_during_legalize:843; P8-AIX-64: # %bb.0: # %entry844; P8-AIX-64-NEXT: sldi r4, r4, 2845; P8-AIX-64-NEXT: xxlxor v3, v3, v3846; P8-AIX-64-NEXT: lxsiwzx v2, r3, r4847; P8-AIX-64-NEXT: vmrghb v2, v2, v3848; P8-AIX-64-NEXT: blr849;850; P8-AIX-32-LABEL: no_RAUW_in_combine_during_legalize:851; P8-AIX-32: # %bb.0: # %entry852; P8-AIX-32-NEXT: slwi r4, r4, 2853; P8-AIX-32-NEXT: xxlxor v2, v2, v2854; P8-AIX-32-NEXT: lfiwzx f0, r3, r4855; P8-AIX-32-NEXT: xxspltw vs0, vs0, 1856; P8-AIX-32-NEXT: xxmrghw v3, v2, vs0857; P8-AIX-32-NEXT: vmrghb v2, v3, v2858; P8-AIX-32-NEXT: blr859entry:860 %idx.ext = sext i32 %offset to i64861 %add.ptr = getelementptr inbounds i32, ptr %ptr, i64 %idx.ext862 %0 = load i32, ptr %add.ptr, align 4863 %conv = zext i32 %0 to i64864 %splat.splatinsert = insertelement <2 x i64> undef, i64 %conv, i32 0865 %1 = bitcast <2 x i64> %splat.splatinsert to <16 x i8>866 %shuffle = shufflevector <16 x i8> %1, <16 x i8> <i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 undef, i8 undef, i8 undef, i8 undef, i8 undef, i8 undef, i8 undef, i8 undef>, <16 x i32> <i32 0, i32 16, i32 1, i32 17, i32 2, i32 18, i32 3, i32 19, i32 4, i32 20, i32 5, i32 21, i32 6, i32 22, i32 7, i32 23>867 ret <16 x i8> %shuffle868}869 870define dso_local <4 x i32> @testSplat4Low(ptr nocapture readonly %ptr) local_unnamed_addr #0 {871; CHECK-P8-LABEL: testSplat4Low:872; CHECK-P8: # %bb.0: # %entry873; CHECK-P8-NEXT: lfdx f0, 0, r3874; CHECK-P8-NEXT: xxspltw v2, vs0, 0875; CHECK-P8-NEXT: blr876;877; CHECK-P9-LABEL: testSplat4Low:878; CHECK-P9: # %bb.0: # %entry879; CHECK-P9-NEXT: addi r3, r3, 4880; CHECK-P9-NEXT: lxvwsx v2, 0, r3881; CHECK-P9-NEXT: blr882;883; CHECK-P9-BE-LABEL: testSplat4Low:884; CHECK-P9-BE: # %bb.0: # %entry885; CHECK-P9-BE-NEXT: addi r3, r3, 4886; CHECK-P9-BE-NEXT: lxvwsx v2, 0, r3887; CHECK-P9-BE-NEXT: blr888;889; CHECK-NOVSX-LABEL: testSplat4Low:890; CHECK-NOVSX: # %bb.0: # %entry891; CHECK-NOVSX-NEXT: ld r3, 0(r3)892; CHECK-NOVSX-NEXT: std r3, -16(r1)893; CHECK-NOVSX-NEXT: addi r3, r1, -16894; CHECK-NOVSX-NEXT: lvx v2, 0, r3895; CHECK-NOVSX-NEXT: vspltw v2, v2, 2896; CHECK-NOVSX-NEXT: blr897;898; CHECK-P7-LABEL: testSplat4Low:899; CHECK-P7: # %bb.0: # %entry900; CHECK-P7-NEXT: ld r3, 0(r3)901; CHECK-P7-NEXT: std r3, -16(r1)902; CHECK-P7-NEXT: addi r3, r1, -16903; CHECK-P7-NEXT: lxvd2x vs0, 0, r3904; CHECK-P7-NEXT: xxswapd v2, vs0905; CHECK-P7-NEXT: xxspltw v2, v2, 2906; CHECK-P7-NEXT: blr907;908; P8-AIX-64-LABEL: testSplat4Low:909; P8-AIX-64: # %bb.0: # %entry910; P8-AIX-64-NEXT: lfdx f0, 0, r3911; P8-AIX-64-NEXT: xxspltw v2, vs0, 1912; P8-AIX-64-NEXT: blr913;914; P8-AIX-32-LABEL: testSplat4Low:915; P8-AIX-32: # %bb.0: # %entry916; P8-AIX-32-NEXT: addi r3, r3, 4917; P8-AIX-32-NEXT: lfiwzx f0, 0, r3918; P8-AIX-32-NEXT: xxspltw v2, vs0, 1919; P8-AIX-32-NEXT: blr920entry:921 %0 = load <8 x i8>, ptr %ptr, align 8922 %vecinit18 = shufflevector <8 x i8> %0, <8 x i8> undef, <16 x i32> <i32 4, i32 5, i32 6, i32 7, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef>923 %1 = bitcast <16 x i8> %vecinit18 to <4 x i32>924 ret <4 x i32> %1925}926 927; Function Attrs: norecurse nounwind readonly928define dso_local <4 x i32> @testSplat4hi(ptr nocapture readonly %ptr) local_unnamed_addr #0 {929; CHECK-P8-LABEL: testSplat4hi:930; CHECK-P8: # %bb.0: # %entry931; CHECK-P8-NEXT: lfdx f0, 0, r3932; CHECK-P8-NEXT: xxspltw v2, vs0, 1933; CHECK-P8-NEXT: blr934;935; CHECK-P9-LABEL: testSplat4hi:936; CHECK-P9: # %bb.0: # %entry937; CHECK-P9-NEXT: lxvwsx v2, 0, r3938; CHECK-P9-NEXT: blr939;940; CHECK-P9-BE-LABEL: testSplat4hi:941; CHECK-P9-BE: # %bb.0: # %entry942; CHECK-P9-BE-NEXT: lxvwsx v2, 0, r3943; CHECK-P9-BE-NEXT: blr944;945; CHECK-NOVSX-LABEL: testSplat4hi:946; CHECK-NOVSX: # %bb.0: # %entry947; CHECK-NOVSX-NEXT: ld r3, 0(r3)948; CHECK-NOVSX-NEXT: std r3, -16(r1)949; CHECK-NOVSX-NEXT: addi r3, r1, -16950; CHECK-NOVSX-NEXT: lvx v2, 0, r3951; CHECK-NOVSX-NEXT: vspltw v2, v2, 3952; CHECK-NOVSX-NEXT: blr953;954; CHECK-P7-LABEL: testSplat4hi:955; CHECK-P7: # %bb.0: # %entry956; CHECK-P7-NEXT: ld r3, 0(r3)957; CHECK-P7-NEXT: std r3, -16(r1)958; CHECK-P7-NEXT: addi r3, r1, -16959; CHECK-P7-NEXT: lxvd2x vs0, 0, r3960; CHECK-P7-NEXT: xxswapd v2, vs0961; CHECK-P7-NEXT: xxspltw v2, v2, 3962; CHECK-P7-NEXT: blr963;964; P8-AIX-64-LABEL: testSplat4hi:965; P8-AIX-64: # %bb.0: # %entry966; P8-AIX-64-NEXT: lfdx f0, 0, r3967; P8-AIX-64-NEXT: xxspltw v2, vs0, 0968; P8-AIX-64-NEXT: blr969;970; P8-AIX-32-LABEL: testSplat4hi:971; P8-AIX-32: # %bb.0: # %entry972; P8-AIX-32-NEXT: lfiwzx f0, 0, r3973; P8-AIX-32-NEXT: xxspltw v2, vs0, 1974; P8-AIX-32-NEXT: blr975entry:976 %0 = load <8 x i8>, ptr %ptr, align 8977 %vecinit22 = shufflevector <8 x i8> %0, <8 x i8> undef, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 0, i32 1, i32 2, i32 3, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef>978 %1 = bitcast <16 x i8> %vecinit22 to <4 x i32>979 ret <4 x i32> %1980}981 982; Function Attrs: norecurse nounwind readonly983define dso_local <2 x i64> @testSplat8(ptr nocapture readonly %ptr) local_unnamed_addr #0 {984; CHECK-P8-LABEL: testSplat8:985; CHECK-P8: # %bb.0: # %entry986; CHECK-P8-NEXT: lxvdsx v2, 0, r3987; CHECK-P8-NEXT: blr988;989; CHECK-P9-LABEL: testSplat8:990; CHECK-P9: # %bb.0: # %entry991; CHECK-P9-NEXT: lxvdsx v2, 0, r3992; CHECK-P9-NEXT: blr993;994; CHECK-P9-BE-LABEL: testSplat8:995; CHECK-P9-BE: # %bb.0: # %entry996; CHECK-P9-BE-NEXT: lxvdsx v2, 0, r3997; CHECK-P9-BE-NEXT: blr998;999; CHECK-NOVSX-LABEL: testSplat8:1000; CHECK-NOVSX: # %bb.0: # %entry1001; CHECK-NOVSX-NEXT: ld r3, 0(r3)1002; CHECK-NOVSX-NEXT: std r3, -8(r1)1003; CHECK-NOVSX-NEXT: std r3, -16(r1)1004; CHECK-NOVSX-NEXT: addi r3, r1, -161005; CHECK-NOVSX-NEXT: lvx v2, 0, r31006; CHECK-NOVSX-NEXT: blr1007;1008; CHECK-P7-LABEL: testSplat8:1009; CHECK-P7: # %bb.0: # %entry1010; CHECK-P7-NEXT: lxvdsx v2, 0, r31011; CHECK-P7-NEXT: blr1012;1013; P8-AIX-64-LABEL: testSplat8:1014; P8-AIX-64: # %bb.0: # %entry1015; P8-AIX-64-NEXT: lxvdsx v2, 0, r31016; P8-AIX-64-NEXT: blr1017;1018; P8-AIX-32-LABEL: testSplat8:1019; P8-AIX-32: # %bb.0: # %entry1020; P8-AIX-32-NEXT: li r4, 41021; P8-AIX-32-NEXT: lfiwzx f1, 0, r31022; P8-AIX-32-NEXT: lfiwzx f0, r3, r41023; P8-AIX-32-NEXT: xxspltw vs1, vs1, 11024; P8-AIX-32-NEXT: xxspltw vs0, vs0, 11025; P8-AIX-32-NEXT: xxmrghw vs0, vs1, vs01026; P8-AIX-32-NEXT: xxmrghd v2, vs0, vs01027; P8-AIX-32-NEXT: blr1028entry:1029 %0 = load <8 x i8>, ptr %ptr, align 81030 %vecinit30 = shufflevector <8 x i8> %0, <8 x i8> undef, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>1031 %1 = bitcast <16 x i8> %vecinit30 to <2 x i64>1032 ret <2 x i64> %11033}1034 1035define <2 x i64> @testSplati64_0(ptr nocapture readonly %ptr) #0 {1036; CHECK-P8-LABEL: testSplati64_0:1037; CHECK-P8: # %bb.0: # %entry1038; CHECK-P8-NEXT: lxvdsx v2, 0, r31039; CHECK-P8-NEXT: blr1040;1041; CHECK-P9-LABEL: testSplati64_0:1042; CHECK-P9: # %bb.0: # %entry1043; CHECK-P9-NEXT: lxvdsx v2, 0, r31044; CHECK-P9-NEXT: blr1045;1046; CHECK-P9-BE-LABEL: testSplati64_0:1047; CHECK-P9-BE: # %bb.0: # %entry1048; CHECK-P9-BE-NEXT: lxvdsx v2, 0, r31049; CHECK-P9-BE-NEXT: blr1050;1051; CHECK-NOVSX-LABEL: testSplati64_0:1052; CHECK-NOVSX: # %bb.0: # %entry1053; CHECK-NOVSX-NEXT: ld r3, 0(r3)1054; CHECK-NOVSX-NEXT: std r3, -8(r1)1055; CHECK-NOVSX-NEXT: std r3, -16(r1)1056; CHECK-NOVSX-NEXT: addi r3, r1, -161057; CHECK-NOVSX-NEXT: lvx v2, 0, r31058; CHECK-NOVSX-NEXT: blr1059;1060; CHECK-P7-LABEL: testSplati64_0:1061; CHECK-P7: # %bb.0: # %entry1062; CHECK-P7-NEXT: lxvdsx v2, 0, r31063; CHECK-P7-NEXT: blr1064;1065; P8-AIX-64-LABEL: testSplati64_0:1066; P8-AIX-64: # %bb.0: # %entry1067; P8-AIX-64-NEXT: lxvdsx v2, 0, r31068; P8-AIX-64-NEXT: blr1069;1070; P8-AIX-32-LABEL: testSplati64_0:1071; P8-AIX-32: # %bb.0: # %entry1072; P8-AIX-32-NEXT: li r4, 41073; P8-AIX-32-NEXT: lfiwzx f0, r3, r41074; P8-AIX-32-NEXT: xxspltw v2, vs0, 11075; P8-AIX-32-NEXT: lfiwzx f0, 0, r31076; P8-AIX-32-NEXT: lwz r3, L..C3(r2) # %const.01077; P8-AIX-32-NEXT: lxvw4x v4, 0, r31078; P8-AIX-32-NEXT: xxspltw v3, vs0, 11079; P8-AIX-32-NEXT: vperm v2, v3, v2, v41080; P8-AIX-32-NEXT: blr1081entry:1082 %0 = load <1 x i64>, ptr %ptr, align 81083 %1 = shufflevector <1 x i64> %0, <1 x i64> undef, <2 x i32> <i32 0, i32 0>1084 ret <2 x i64> %11085}1086 1087define <2 x i64> @testSplati64_1(ptr nocapture readonly %ptr) #0 {1088; CHECK-P8-LABEL: testSplati64_1:1089; CHECK-P8: # %bb.0: # %entry1090; CHECK-P8-NEXT: addi r3, r3, 81091; CHECK-P8-NEXT: lxvdsx v2, 0, r31092; CHECK-P8-NEXT: blr1093;1094; CHECK-P9-LABEL: testSplati64_1:1095; CHECK-P9: # %bb.0: # %entry1096; CHECK-P9-NEXT: addi r3, r3, 81097; CHECK-P9-NEXT: lxvdsx v2, 0, r31098; CHECK-P9-NEXT: blr1099;1100; CHECK-P9-BE-LABEL: testSplati64_1:1101; CHECK-P9-BE: # %bb.0: # %entry1102; CHECK-P9-BE-NEXT: addi r3, r3, 81103; CHECK-P9-BE-NEXT: lxvdsx v2, 0, r31104; CHECK-P9-BE-NEXT: blr1105;1106; CHECK-NOVSX-LABEL: testSplati64_1:1107; CHECK-NOVSX: # %bb.0: # %entry1108; CHECK-NOVSX-NEXT: ld r4, 8(r3)1109; CHECK-NOVSX-NEXT: std r4, -8(r1)1110; CHECK-NOVSX-NEXT: ld r3, 0(r3)1111; CHECK-NOVSX-NEXT: std r3, -16(r1)1112; CHECK-NOVSX-NEXT: addi r3, r1, -161113; CHECK-NOVSX-NEXT: lvx v2, 0, r31114; CHECK-NOVSX-NEXT: addis r3, r2, .LCPI21_0@toc@ha1115; CHECK-NOVSX-NEXT: addi r3, r3, .LCPI21_0@toc@l1116; CHECK-NOVSX-NEXT: lvx v3, 0, r31117; CHECK-NOVSX-NEXT: vperm v2, v2, v2, v31118; CHECK-NOVSX-NEXT: blr1119;1120; CHECK-P7-LABEL: testSplati64_1:1121; CHECK-P7: # %bb.0: # %entry1122; CHECK-P7-NEXT: addi r3, r3, 81123; CHECK-P7-NEXT: lxvdsx v2, 0, r31124; CHECK-P7-NEXT: blr1125;1126; P8-AIX-LABEL: testSplati64_1:1127; P8-AIX: # %bb.0: # %entry1128; P8-AIX-NEXT: addi r3, r3, 81129; P8-AIX-NEXT: lxvdsx v2, 0, r31130; P8-AIX-NEXT: blr1131entry:1132 %0 = load <2 x i64>, ptr %ptr, align 81133 %1 = shufflevector <2 x i64> %0, <2 x i64> undef, <2 x i32> <i32 1, i32 1>1134 ret <2 x i64> %11135}1136 1137define dso_local void @testByteSplat() #0 {1138; CHECK-P8-LABEL: testByteSplat:1139; CHECK-P8: # %bb.0: # %entry1140; CHECK-P8-NEXT: lbzx r3, 0, r31141; CHECK-P8-NEXT: mtvsrwz v2, r31142; CHECK-P8-NEXT: vspltb v2, v2, 71143; CHECK-P8-NEXT: xxswapd vs0, v21144; CHECK-P8-NEXT: stxvd2x vs0, 0, r31145; CHECK-P8-NEXT: blr1146;1147; CHECK-P9-LABEL: testByteSplat:1148; CHECK-P9: # %bb.0: # %entry1149; CHECK-P9-NEXT: lxsibzx v2, 0, r31150; CHECK-P9-NEXT: vspltb v2, v2, 71151; CHECK-P9-NEXT: stxv v2, 0(r3)1152; CHECK-P9-NEXT: blr1153;1154; CHECK-P9-BE-LABEL: testByteSplat:1155; CHECK-P9-BE: # %bb.0: # %entry1156; CHECK-P9-BE-NEXT: lxsibzx v2, 0, r31157; CHECK-P9-BE-NEXT: vspltb v2, v2, 71158; CHECK-P9-BE-NEXT: stxv v2, 0(r3)1159; CHECK-P9-BE-NEXT: blr1160;1161; CHECK-NOVSX-LABEL: testByteSplat:1162; CHECK-NOVSX: # %bb.0: # %entry1163; CHECK-NOVSX-NEXT: lbz r3, 0(r3)1164; CHECK-NOVSX-NEXT: stb r3, -16(r1)1165; CHECK-NOVSX-NEXT: addi r3, r1, -161166; CHECK-NOVSX-NEXT: lvx v2, 0, r31167; CHECK-NOVSX-NEXT: vspltb v2, v2, 151168; CHECK-NOVSX-NEXT: stvx v2, 0, r31169; CHECK-NOVSX-NEXT: blr1170;1171; CHECK-P7-LABEL: testByteSplat:1172; CHECK-P7: # %bb.0: # %entry1173; CHECK-P7-NEXT: lvsr v2, 0, r31174; CHECK-P7-NEXT: lvx v3, 0, r31175; CHECK-P7-NEXT: vperm v2, v3, v3, v21176; CHECK-P7-NEXT: vspltb v2, v2, 151177; CHECK-P7-NEXT: stxvd2x v2, 0, r31178; CHECK-P7-NEXT: blr1179;1180; P8-AIX-LABEL: testByteSplat:1181; P8-AIX: # %bb.0: # %entry1182; P8-AIX-NEXT: lbzx r3, 0, r31183; P8-AIX-NEXT: mtvsrwz v2, r31184; P8-AIX-NEXT: vspltb v2, v2, 71185; P8-AIX-NEXT: stxvw4x v2, 0, r31186; P8-AIX-NEXT: blr1187entry:1188 %0 = load i8, ptr undef, align 11189 %splat.splatinsert.i = insertelement <16 x i8> poison, i8 %0, i32 01190 %splat.splat.i = shufflevector <16 x i8> %splat.splatinsert.i, <16 x i8> poison, <16 x i32> zeroinitializer1191 store <16 x i8> %splat.splat.i, ptr undef, align 161192 ret void1193}1194 1195declare double @dummy() local_unnamed_addr1196attributes #0 = { nounwind }1197