412 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mcpu=pwr8 -mtriple=powerpc64le-unknown-unknown \3; RUN: -ppc-asm-full-reg-names -verify-machineinstrs -O2 < %s | FileCheck %s4; RUN: llc -mcpu=pwr8 -mtriple=powerpc64-unknown-unknown \5; RUN: -ppc-asm-full-reg-names -verify-machineinstrs -O2 < %s | FileCheck %s \6; RUN: --check-prefix=CHECK-BE7; RUN: llc -mcpu=pwr9 -mtriple=powerpc64le-unknown-unknown \8; RUN: -ppc-asm-full-reg-names -verify-machineinstrs -O2 < %s | FileCheck %s \9; RUN: --check-prefix=CHECK-P910; RUN: llc -mcpu=pwr9 -mtriple=powerpc64-unknown-unknown \11; RUN: -ppc-asm-full-reg-names -verify-machineinstrs -O2 < %s | FileCheck %s \12; RUN: --check-prefix=CHECK-P9-BE13define dso_local i32 @poc(ptr %base, i32 %index, i1 %flag, i32 %default) {14; CHECK-LABEL: poc:15; CHECK: # %bb.0: # %entry16; CHECK-NEXT: andi. r5, r5, 117; CHECK-NEXT: bc 4, gt, .LBB0_218; CHECK-NEXT: # %bb.1: # %true19; CHECK-NEXT: extsw r4, r420; CHECK-NEXT: sldi r4, r4, 221; CHECK-NEXT: lwzx r3, r3, r422; CHECK-NEXT: blr23; CHECK-NEXT: .LBB0_2: # %false24; CHECK-NEXT: mr r3, r625; CHECK-NEXT: blr26;27; CHECK-BE-LABEL: poc:28; CHECK-BE: # %bb.0: # %entry29; CHECK-BE-NEXT: andi. r5, r5, 130; CHECK-BE-NEXT: bc 4, gt, .LBB0_231; CHECK-BE-NEXT: # %bb.1: # %true32; CHECK-BE-NEXT: extsw r4, r433; CHECK-BE-NEXT: sldi r4, r4, 234; CHECK-BE-NEXT: lwzx r3, r3, r435; CHECK-BE-NEXT: blr36; CHECK-BE-NEXT: .LBB0_2: # %false37; CHECK-BE-NEXT: mr r3, r638; CHECK-BE-NEXT: blr39;40; CHECK-P9-LABEL: poc:41; CHECK-P9: # %bb.0: # %entry42; CHECK-P9-NEXT: andi. r5, r5, 143; CHECK-P9-NEXT: bc 4, gt, .LBB0_244; CHECK-P9-NEXT: # %bb.1: # %true45; CHECK-P9-NEXT: extswsli r4, r4, 246; CHECK-P9-NEXT: lwzx r3, r3, r447; CHECK-P9-NEXT: blr48; CHECK-P9-NEXT: .LBB0_2: # %false49; CHECK-P9-NEXT: mr r3, r650; CHECK-P9-NEXT: blr51;52; CHECK-P9-BE-LABEL: poc:53; CHECK-P9-BE: # %bb.0: # %entry54; CHECK-P9-BE-NEXT: andi. r5, r5, 155; CHECK-P9-BE-NEXT: bc 4, gt, .LBB0_256; CHECK-P9-BE-NEXT: # %bb.1: # %true57; CHECK-P9-BE-NEXT: extswsli r4, r4, 258; CHECK-P9-BE-NEXT: lwzx r3, r3, r459; CHECK-P9-BE-NEXT: blr60; CHECK-P9-BE-NEXT: .LBB0_2: # %false61; CHECK-P9-BE-NEXT: mr r3, r662; CHECK-P9-BE-NEXT: blr63entry:64 %iconv = sext i32 %index to i6465 br i1 %flag, label %true, label %false66 67true:68 %ptr = getelementptr inbounds i32, ptr %base, i64 %iconv69 %value = load i32, ptr %ptr, align 470 ret i32 %value71 72false:73 ret i32 %default74}75 76define dso_local i64 @poc_i64(ptr %base, i32 %index, i1 %flag, i64 %default) {77; CHECK-LABEL: poc_i64:78; CHECK: # %bb.0: # %entry79; CHECK-NEXT: andi. r5, r5, 180; CHECK-NEXT: bc 4, gt, .LBB1_281; CHECK-NEXT: # %bb.1: # %true82; CHECK-NEXT: extsw r4, r483; CHECK-NEXT: sldi r4, r4, 384; CHECK-NEXT: ldx r3, r3, r485; CHECK-NEXT: blr86; CHECK-NEXT: .LBB1_2: # %false87; CHECK-NEXT: mr r3, r688; CHECK-NEXT: blr89;90; CHECK-BE-LABEL: poc_i64:91; CHECK-BE: # %bb.0: # %entry92; CHECK-BE-NEXT: andi. r5, r5, 193; CHECK-BE-NEXT: bc 4, gt, .LBB1_294; CHECK-BE-NEXT: # %bb.1: # %true95; CHECK-BE-NEXT: extsw r4, r496; CHECK-BE-NEXT: sldi r4, r4, 397; CHECK-BE-NEXT: ldx r3, r3, r498; CHECK-BE-NEXT: blr99; CHECK-BE-NEXT: .LBB1_2: # %false100; CHECK-BE-NEXT: mr r3, r6101; CHECK-BE-NEXT: blr102;103; CHECK-P9-LABEL: poc_i64:104; CHECK-P9: # %bb.0: # %entry105; CHECK-P9-NEXT: andi. r5, r5, 1106; CHECK-P9-NEXT: bc 4, gt, .LBB1_2107; CHECK-P9-NEXT: # %bb.1: # %true108; CHECK-P9-NEXT: extswsli r4, r4, 3109; CHECK-P9-NEXT: ldx r3, r3, r4110; CHECK-P9-NEXT: blr111; CHECK-P9-NEXT: .LBB1_2: # %false112; CHECK-P9-NEXT: mr r3, r6113; CHECK-P9-NEXT: blr114;115; CHECK-P9-BE-LABEL: poc_i64:116; CHECK-P9-BE: # %bb.0: # %entry117; CHECK-P9-BE-NEXT: andi. r5, r5, 1118; CHECK-P9-BE-NEXT: bc 4, gt, .LBB1_2119; CHECK-P9-BE-NEXT: # %bb.1: # %true120; CHECK-P9-BE-NEXT: extswsli r4, r4, 3121; CHECK-P9-BE-NEXT: ldx r3, r3, r4122; CHECK-P9-BE-NEXT: blr123; CHECK-P9-BE-NEXT: .LBB1_2: # %false124; CHECK-P9-BE-NEXT: mr r3, r6125; CHECK-P9-BE-NEXT: blr126entry:127 %iconv = sext i32 %index to i64128 br i1 %flag, label %true, label %false129 130true:131 %ptr = getelementptr inbounds i64, ptr %base, i64 %iconv132 %value = load i64, ptr %ptr, align 8133 ret i64 %value134 135false:136 ret i64 %default137}138 139define dso_local i64 @no_extswsli(ptr %base, i32 %index, i1 %flag) {140; CHECK-LABEL: no_extswsli:141; CHECK: # %bb.0: # %entry142; CHECK-NEXT: extsw r4, r4143; CHECK-NEXT: andi. r5, r5, 1144; CHECK-NEXT: bc 4, gt, .LBB2_2145; CHECK-NEXT: # %bb.1: # %true146; CHECK-NEXT: sldi r4, r4, 3147; CHECK-NEXT: ldx r3, r3, r4148; CHECK-NEXT: blr149; CHECK-NEXT: .LBB2_2: # %false150; CHECK-NEXT: mr r3, r4151; CHECK-NEXT: blr152;153; CHECK-BE-LABEL: no_extswsli:154; CHECK-BE: # %bb.0: # %entry155; CHECK-BE-NEXT: extsw r4, r4156; CHECK-BE-NEXT: andi. r5, r5, 1157; CHECK-BE-NEXT: bc 4, gt, .LBB2_2158; CHECK-BE-NEXT: # %bb.1: # %true159; CHECK-BE-NEXT: sldi r4, r4, 3160; CHECK-BE-NEXT: ldx r3, r3, r4161; CHECK-BE-NEXT: blr162; CHECK-BE-NEXT: .LBB2_2: # %false163; CHECK-BE-NEXT: mr r3, r4164; CHECK-BE-NEXT: blr165;166; CHECK-P9-LABEL: no_extswsli:167; CHECK-P9: # %bb.0: # %entry168; CHECK-P9-NEXT: extsw r4, r4169; CHECK-P9-NEXT: andi. r5, r5, 1170; CHECK-P9-NEXT: bc 4, gt, .LBB2_2171; CHECK-P9-NEXT: # %bb.1: # %true172; CHECK-P9-NEXT: sldi r4, r4, 3173; CHECK-P9-NEXT: ldx r3, r3, r4174; CHECK-P9-NEXT: blr175; CHECK-P9-NEXT: .LBB2_2: # %false176; CHECK-P9-NEXT: mr r3, r4177; CHECK-P9-NEXT: blr178;179; CHECK-P9-BE-LABEL: no_extswsli:180; CHECK-P9-BE: # %bb.0: # %entry181; CHECK-P9-BE-NEXT: extsw r4, r4182; CHECK-P9-BE-NEXT: andi. r5, r5, 1183; CHECK-P9-BE-NEXT: bc 4, gt, .LBB2_2184; CHECK-P9-BE-NEXT: # %bb.1: # %true185; CHECK-P9-BE-NEXT: sldi r4, r4, 3186; CHECK-P9-BE-NEXT: ldx r3, r3, r4187; CHECK-P9-BE-NEXT: blr188; CHECK-P9-BE-NEXT: .LBB2_2: # %false189; CHECK-P9-BE-NEXT: mr r3, r4190; CHECK-P9-BE-NEXT: blr191entry:192 %iconv = sext i32 %index to i64193 br i1 %flag, label %true, label %false194 195true:196 %ptr = getelementptr inbounds i64, ptr %base, i64 %iconv197 %value = load i64, ptr %ptr, align 8198 ret i64 %value199 200false:201 ret i64 %iconv202}203 204define hidden void @testCaller(i1 %incond) local_unnamed_addr align 2 nounwind {205; CHECK-LABEL: testCaller:206; CHECK: # %bb.0: # %entry207; CHECK-NEXT: mfocrf r12, 32208; CHECK-NEXT: stw r12, 8(r1)209; CHECK-NEXT: mflr r0210; CHECK-NEXT: stdu r1, -64(r1)211; CHECK-NEXT: std r0, 80(r1)212; CHECK-NEXT: std r30, 48(r1) # 8-byte Folded Spill213; CHECK-NEXT: andi. r3, r3, 1214; CHECK-NEXT: li r3, -1215; CHECK-NEXT: li r30, 0216; CHECK-NEXT: crmove 4*cr2+lt, gt217; CHECK-NEXT: std r29, 40(r1) # 8-byte Folded Spill218; CHECK-NEXT: b .LBB3_2219; CHECK-NEXT: .p2align 4220; CHECK-NEXT: .LBB3_1: # %if.end116221; CHECK-NEXT: #222; CHECK-NEXT: bl callee223; CHECK-NEXT: nop224; CHECK-NEXT: mr r3, r29225; CHECK-NEXT: .LBB3_2: # %cond.end.i.i226; CHECK-NEXT: # =>This Loop Header: Depth=1227; CHECK-NEXT: # Child Loop BB3_3 Depth 2228; CHECK-NEXT: lwz r29, 0(r3)229; CHECK-NEXT: li r5, 0230; CHECK-NEXT: extsw r4, r29231; CHECK-NEXT: .p2align 5232; CHECK-NEXT: .LBB3_3: # %while.body5.i233; CHECK-NEXT: # Parent Loop BB3_2 Depth=1234; CHECK-NEXT: # => This Inner Loop Header: Depth=2235; CHECK-NEXT: addi r5, r5, -1236; CHECK-NEXT: cmpwi r5, 0237; CHECK-NEXT: bgt cr0, .LBB3_3238; CHECK-NEXT: # %bb.4: # %while.cond12.preheader.i239; CHECK-NEXT: #240; CHECK-NEXT: bc 12, 4*cr2+lt, .LBB3_1241; CHECK-NEXT: # %bb.5: # %for.cond99.preheader242; CHECK-NEXT: #243; CHECK-NEXT: ld r5, 0(r3)244; CHECK-NEXT: sldi r4, r4, 2245; CHECK-NEXT: stw r3, 0(r3)246; CHECK-NEXT: stwx r30, r5, r4247; CHECK-NEXT: b .LBB3_1248;249; CHECK-BE-LABEL: testCaller:250; CHECK-BE: # %bb.0: # %entry251; CHECK-BE-NEXT: mfcr r12252; CHECK-BE-NEXT: stw r12, 8(r1)253; CHECK-BE-NEXT: mflr r0254; CHECK-BE-NEXT: stdu r1, -80(r1)255; CHECK-BE-NEXT: std r0, 96(r1)256; CHECK-BE-NEXT: std r30, 64(r1) # 8-byte Folded Spill257; CHECK-BE-NEXT: andi. r3, r3, 1258; CHECK-BE-NEXT: li r3, -1259; CHECK-BE-NEXT: li r30, 0260; CHECK-BE-NEXT: crmove 4*cr2+lt, gt261; CHECK-BE-NEXT: std r29, 56(r1) # 8-byte Folded Spill262; CHECK-BE-NEXT: b .LBB3_2263; CHECK-BE-NEXT: .p2align 4264; CHECK-BE-NEXT: .LBB3_1: # %if.end116265; CHECK-BE-NEXT: #266; CHECK-BE-NEXT: bl callee267; CHECK-BE-NEXT: nop268; CHECK-BE-NEXT: mr r3, r29269; CHECK-BE-NEXT: .LBB3_2: # %cond.end.i.i270; CHECK-BE-NEXT: # =>This Loop Header: Depth=1271; CHECK-BE-NEXT: # Child Loop BB3_3 Depth 2272; CHECK-BE-NEXT: lwz r29, 0(r3)273; CHECK-BE-NEXT: li r5, 0274; CHECK-BE-NEXT: extsw r4, r29275; CHECK-BE-NEXT: .p2align 5276; CHECK-BE-NEXT: .LBB3_3: # %while.body5.i277; CHECK-BE-NEXT: # Parent Loop BB3_2 Depth=1278; CHECK-BE-NEXT: # => This Inner Loop Header: Depth=2279; CHECK-BE-NEXT: addi r5, r5, -1280; CHECK-BE-NEXT: cmpwi r5, 0281; CHECK-BE-NEXT: bgt cr0, .LBB3_3282; CHECK-BE-NEXT: # %bb.4: # %while.cond12.preheader.i283; CHECK-BE-NEXT: #284; CHECK-BE-NEXT: bc 12, 4*cr2+lt, .LBB3_1285; CHECK-BE-NEXT: # %bb.5: # %for.cond99.preheader286; CHECK-BE-NEXT: #287; CHECK-BE-NEXT: ld r5, 0(r3)288; CHECK-BE-NEXT: sldi r4, r4, 2289; CHECK-BE-NEXT: stw r3, 0(r3)290; CHECK-BE-NEXT: stwx r30, r5, r4291; CHECK-BE-NEXT: b .LBB3_1292;293; CHECK-P9-LABEL: testCaller:294; CHECK-P9: # %bb.0: # %entry295; CHECK-P9-NEXT: mfocrf r12, 32296; CHECK-P9-NEXT: mflr r0297; CHECK-P9-NEXT: stw r12, 8(r1)298; CHECK-P9-NEXT: stdu r1, -64(r1)299; CHECK-P9-NEXT: andi. r3, r3, 1300; CHECK-P9-NEXT: std r0, 80(r1)301; CHECK-P9-NEXT: std r30, 48(r1) # 8-byte Folded Spill302; CHECK-P9-NEXT: li r3, -1303; CHECK-P9-NEXT: li r30, 0304; CHECK-P9-NEXT: std r29, 40(r1) # 8-byte Folded Spill305; CHECK-P9-NEXT: crmove 4*cr2+lt, gt306; CHECK-P9-NEXT: b .LBB3_2307; CHECK-P9-NEXT: .p2align 4308; CHECK-P9-NEXT: .LBB3_1: # %if.end116309; CHECK-P9-NEXT: #310; CHECK-P9-NEXT: bl callee311; CHECK-P9-NEXT: nop312; CHECK-P9-NEXT: mr r3, r29313; CHECK-P9-NEXT: .LBB3_2: # %cond.end.i.i314; CHECK-P9-NEXT: # =>This Loop Header: Depth=1315; CHECK-P9-NEXT: # Child Loop BB3_3 Depth 2316; CHECK-P9-NEXT: lwz r29, 0(r3)317; CHECK-P9-NEXT: li r4, 0318; CHECK-P9-NEXT: .p2align 5319; CHECK-P9-NEXT: .LBB3_3: # %while.body5.i320; CHECK-P9-NEXT: # Parent Loop BB3_2 Depth=1321; CHECK-P9-NEXT: # => This Inner Loop Header: Depth=2322; CHECK-P9-NEXT: addi r4, r4, -1323; CHECK-P9-NEXT: cmpwi r4, 0324; CHECK-P9-NEXT: bgt cr0, .LBB3_3325; CHECK-P9-NEXT: # %bb.4: # %while.cond12.preheader.i326; CHECK-P9-NEXT: #327; CHECK-P9-NEXT: bc 12, 4*cr2+lt, .LBB3_1328; CHECK-P9-NEXT: # %bb.5: # %for.cond99.preheader329; CHECK-P9-NEXT: #330; CHECK-P9-NEXT: ld r4, 0(r3)331; CHECK-P9-NEXT: extswsli r5, r29, 2332; CHECK-P9-NEXT: stw r3, 0(r3)333; CHECK-P9-NEXT: stwx r30, r4, r5334; CHECK-P9-NEXT: b .LBB3_1335;336; CHECK-P9-BE-LABEL: testCaller:337; CHECK-P9-BE: # %bb.0: # %entry338; CHECK-P9-BE-NEXT: mfcr r12339; CHECK-P9-BE-NEXT: mflr r0340; CHECK-P9-BE-NEXT: stw r12, 8(r1)341; CHECK-P9-BE-NEXT: stdu r1, -80(r1)342; CHECK-P9-BE-NEXT: andi. r3, r3, 1343; CHECK-P9-BE-NEXT: std r0, 96(r1)344; CHECK-P9-BE-NEXT: std r30, 64(r1) # 8-byte Folded Spill345; CHECK-P9-BE-NEXT: li r3, -1346; CHECK-P9-BE-NEXT: li r30, 0347; CHECK-P9-BE-NEXT: std r29, 56(r1) # 8-byte Folded Spill348; CHECK-P9-BE-NEXT: crmove 4*cr2+lt, gt349; CHECK-P9-BE-NEXT: b .LBB3_2350; CHECK-P9-BE-NEXT: .p2align 4351; CHECK-P9-BE-NEXT: .LBB3_1: # %if.end116352; CHECK-P9-BE-NEXT: #353; CHECK-P9-BE-NEXT: bl callee354; CHECK-P9-BE-NEXT: nop355; CHECK-P9-BE-NEXT: mr r3, r29356; CHECK-P9-BE-NEXT: .LBB3_2: # %cond.end.i.i357; CHECK-P9-BE-NEXT: # =>This Loop Header: Depth=1358; CHECK-P9-BE-NEXT: # Child Loop BB3_3 Depth 2359; CHECK-P9-BE-NEXT: lwz r29, 0(r3)360; CHECK-P9-BE-NEXT: li r4, 0361; CHECK-P9-BE-NEXT: .p2align 5362; CHECK-P9-BE-NEXT: .LBB3_3: # %while.body5.i363; CHECK-P9-BE-NEXT: # Parent Loop BB3_2 Depth=1364; CHECK-P9-BE-NEXT: # => This Inner Loop Header: Depth=2365; CHECK-P9-BE-NEXT: addi r4, r4, -1366; CHECK-P9-BE-NEXT: cmpwi r4, 0367; CHECK-P9-BE-NEXT: bgt cr0, .LBB3_3368; CHECK-P9-BE-NEXT: # %bb.4: # %while.cond12.preheader.i369; CHECK-P9-BE-NEXT: #370; CHECK-P9-BE-NEXT: bc 12, 4*cr2+lt, .LBB3_1371; CHECK-P9-BE-NEXT: # %bb.5: # %for.cond99.preheader372; CHECK-P9-BE-NEXT: #373; CHECK-P9-BE-NEXT: ld r4, 0(r3)374; CHECK-P9-BE-NEXT: extswsli r5, r29, 2375; CHECK-P9-BE-NEXT: stw r3, 0(r3)376; CHECK-P9-BE-NEXT: stwx r30, r4, r5377; CHECK-P9-BE-NEXT: b .LBB3_1378entry:379 br label %exit380 381exit: ; preds = %entry382 br label %cond.end.i.i383 384cond.end.i.i: ; preds = %if.end116, %exit385 %CurrentState.0566 = phi i32 [ %CurrentState.2, %if.end116 ], [ -1, %exit ]386 %0 = load i32, ptr poison, align 8387 br label %while.body5.i388 389while.cond12.preheader.i: ; preds = %while.body5.i390 br i1 %incond, label %if.end116, label %for.cond99.preheader391 392while.body5.i: ; preds = %while.body5.i, %cond.end.i.i393 %Test.012.i = phi i32 [ 0, %cond.end.i.i ], [ %dec10.i, %while.body5.i ]394 %dec10.i = add nsw i32 %Test.012.i, -1395 %cmp4.i = icmp slt i32 0, %dec10.i396 br i1 %cmp4.i, label %while.body5.i, label %while.cond12.preheader.i397 398for.cond99.preheader: ; preds = %while.cond12.preheader.i399 %1 = load ptr, ptr poison, align 8400 %conv103 = sext i32 %0 to i64401 %arrayidx.i426 = getelementptr inbounds i32, ptr %1, i64 %conv103402 store i32 0, ptr %arrayidx.i426, align 4403 store i32 %CurrentState.0566, ptr poison, align 8404 br label %if.end116405 406if.end116: ; preds = %for.cond99.preheader, %while.cond12.preheader.i407 %CurrentState.2 = phi i32 [ %0, %while.cond12.preheader.i ], [ poison, %for.cond99.preheader ]408 call fastcc void @callee()409 br label %cond.end.i.i410}411declare dso_local fastcc void @callee() unnamed_addr align 2412