1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2; RUN: llc -verify-machineinstrs -ppc-vsr-nums-as-vr -ppc-asm-full-reg-names \ 3; RUN: -mtriple=powerpc64le-unknown-linux-gnu -mcpu=pwr9 < %s | FileCheck %s --check-prefix=CHECK-PWR9 4; RUN: llc -verify-machineinstrs -ppc-vsr-nums-as-vr -ppc-asm-full-reg-names \ 5; RUN: -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr8 < %s | FileCheck %s 6 7; Check CSR split can work properly for tests below. 8 9@a = dso_local local_unnamed_addr global i32 0, align 4 10 11define dso_local signext i32 @test1(i32* %b) local_unnamed_addr { 12; CHECK-PWR9-LABEL: test1: 13; CHECK-PWR9: # %bb.0: # %entry 14; CHECK-PWR9-NEXT: mflr r0 15; CHECK-PWR9-NEXT: .cfi_def_cfa_offset 48 16; CHECK-PWR9-NEXT: .cfi_offset lr, 16 17; CHECK-PWR9-NEXT: .cfi_offset r30, -16 18; CHECK-PWR9-NEXT: std r30, -16(r1) # 8-byte Folded Spill 19; CHECK-PWR9-NEXT: std r0, 16(r1) 20; CHECK-PWR9-NEXT: stdu r1, -48(r1) 21; CHECK-PWR9-NEXT: mr r30, r3 22; CHECK-PWR9-NEXT: addis r3, r2, a@toc@ha 23; CHECK-PWR9-NEXT: lwa r3, a@toc@l(r3) 24; CHECK-PWR9-NEXT: cmpld r3, r30 25; CHECK-PWR9-NEXT: # implicit-def: $r3 26; CHECK-PWR9-NEXT: bne cr0, .LBB0_2 27; CHECK-PWR9-NEXT: # %bb.1: # %if.then 28; CHECK-PWR9-NEXT: bl callVoid 29; CHECK-PWR9-NEXT: nop 30; CHECK-PWR9-NEXT: mr r3, r30 31; CHECK-PWR9-NEXT: bl callNonVoid 32; CHECK-PWR9-NEXT: nop 33; CHECK-PWR9-NEXT: .LBB0_2: # %if.end 34; CHECK-PWR9-NEXT: extsw r3, r3 35; CHECK-PWR9-NEXT: addi r1, r1, 48 36; CHECK-PWR9-NEXT: ld r0, 16(r1) 37; CHECK-PWR9-NEXT: ld r30, -16(r1) # 8-byte Folded Reload 38; CHECK-PWR9-NEXT: mtlr r0 39; CHECK-PWR9-NEXT: blr 40; 41; CHECK-LABEL: test1: 42; CHECK: # %bb.0: # %entry 43; CHECK-NEXT: mflr r0 44; CHECK-NEXT: std r0, 16(r1) 45; CHECK-NEXT: stdu r1, -128(r1) 46; CHECK-NEXT: .cfi_def_cfa_offset 128 47; CHECK-NEXT: .cfi_offset lr, 16 48; CHECK-NEXT: .cfi_offset r30, -16 49; CHECK-NEXT: addis r4, r2, a@toc@ha 50; CHECK-NEXT: std r30, 112(r1) # 8-byte Folded Spill 51; CHECK-NEXT: mr r30, r3 52; CHECK-NEXT: lwa r4, a@toc@l(r4) 53; CHECK-NEXT: cmpld r4, r3 54; CHECK-NEXT: # implicit-def: $r3 55; CHECK-NEXT: bne cr0, .LBB0_2 56; CHECK-NEXT: # %bb.1: # %if.then 57; CHECK-NEXT: bl callVoid 58; CHECK-NEXT: nop 59; CHECK-NEXT: mr r3, r30 60; CHECK-NEXT: bl callNonVoid 61; CHECK-NEXT: nop 62; CHECK-NEXT: .LBB0_2: # %if.end 63; CHECK-NEXT: ld r30, 112(r1) # 8-byte Folded Reload 64; CHECK-NEXT: extsw r3, r3 65; CHECK-NEXT: addi r1, r1, 128 66; CHECK-NEXT: ld r0, 16(r1) 67; CHECK-NEXT: mtlr r0 68; CHECK-NEXT: blr 69entry: 70 %0 = load i32, i32* @a, align 4, !tbaa !2 71 %conv = sext i32 %0 to i64 72 %1 = inttoptr i64 %conv to i32* 73 %cmp = icmp eq i32* %1, %b 74 br i1 %cmp, label %if.then, label %if.end 75 76if.then: ; preds = %entry 77 %call = tail call signext i32 bitcast (i32 (...)* @callVoid to i32 ()*)() 78 %call2 = tail call signext i32 @callNonVoid(i32* %b) 79 br label %if.end 80 81if.end: ; preds = %if.then, %entry 82 %retval.0 = phi i32 [ %call2, %if.then ], [ undef, %entry ] 83 ret i32 %retval.0 84} 85 86declare signext i32 @callVoid(...) local_unnamed_addr 87 88declare signext i32 @callNonVoid(i32*) local_unnamed_addr 89 90define dso_local signext i32 @test2(i32* %p1) local_unnamed_addr { 91; CHECK-PWR9-LABEL: test2: 92; CHECK-PWR9: # %bb.0: # %entry 93; CHECK-PWR9-NEXT: mflr r0 94; CHECK-PWR9-NEXT: .cfi_def_cfa_offset 48 95; CHECK-PWR9-NEXT: .cfi_offset lr, 16 96; CHECK-PWR9-NEXT: .cfi_offset r30, -16 97; CHECK-PWR9-NEXT: std r30, -16(r1) # 8-byte Folded Spill 98; CHECK-PWR9-NEXT: std r0, 16(r1) 99; CHECK-PWR9-NEXT: stdu r1, -48(r1) 100; CHECK-PWR9-NEXT: mr r30, r3 101; CHECK-PWR9-NEXT: li r3, 0 102; CHECK-PWR9-NEXT: cmpldi r30, 0 103; CHECK-PWR9-NEXT: beq cr0, .LBB1_3 104; CHECK-PWR9-NEXT: # %bb.1: # %if.end 105; CHECK-PWR9-NEXT: addis r4, r2, a@toc@ha 106; CHECK-PWR9-NEXT: lwa r4, a@toc@l(r4) 107; CHECK-PWR9-NEXT: cmpld r4, r30 108; CHECK-PWR9-NEXT: bne cr0, .LBB1_3 109; CHECK-PWR9-NEXT: # %bb.2: # %if.then2 110; CHECK-PWR9-NEXT: bl callVoid 111; CHECK-PWR9-NEXT: nop 112; CHECK-PWR9-NEXT: mr r3, r30 113; CHECK-PWR9-NEXT: bl callNonVoid 114; CHECK-PWR9-NEXT: nop 115; CHECK-PWR9-NEXT: .LBB1_3: # %return 116; CHECK-PWR9-NEXT: extsw r3, r3 117; CHECK-PWR9-NEXT: addi r1, r1, 48 118; CHECK-PWR9-NEXT: ld r0, 16(r1) 119; CHECK-PWR9-NEXT: ld r30, -16(r1) # 8-byte Folded Reload 120; CHECK-PWR9-NEXT: mtlr r0 121; CHECK-PWR9-NEXT: blr 122; 123; CHECK-LABEL: test2: 124; CHECK: # %bb.0: # %entry 125; CHECK-NEXT: mflr r0 126; CHECK-NEXT: std r0, 16(r1) 127; CHECK-NEXT: stdu r1, -128(r1) 128; CHECK-NEXT: .cfi_def_cfa_offset 128 129; CHECK-NEXT: .cfi_offset lr, 16 130; CHECK-NEXT: .cfi_offset r30, -16 131; CHECK-NEXT: std r30, 112(r1) # 8-byte Folded Spill 132; CHECK-NEXT: mr r30, r3 133; CHECK-NEXT: cmpldi r3, 0 134; CHECK-NEXT: li r3, 0 135; CHECK-NEXT: beq cr0, .LBB1_3 136; CHECK-NEXT: # %bb.1: # %if.end 137; CHECK-NEXT: addis r4, r2, a@toc@ha 138; CHECK-NEXT: lwa r4, a@toc@l(r4) 139; CHECK-NEXT: cmpld r4, r30 140; CHECK-NEXT: bne cr0, .LBB1_3 141; CHECK-NEXT: # %bb.2: # %if.then2 142; CHECK-NEXT: bl callVoid 143; CHECK-NEXT: nop 144; CHECK-NEXT: mr r3, r30 145; CHECK-NEXT: bl callNonVoid 146; CHECK-NEXT: nop 147; CHECK-NEXT: .LBB1_3: # %return 148; CHECK-NEXT: ld r30, 112(r1) # 8-byte Folded Reload 149; CHECK-NEXT: extsw r3, r3 150; CHECK-NEXT: addi r1, r1, 128 151; CHECK-NEXT: ld r0, 16(r1) 152; CHECK-NEXT: mtlr r0 153; CHECK-NEXT: blr 154entry: 155 %tobool = icmp eq i32* %p1, null 156 br i1 %tobool, label %return, label %if.end 157 158if.end: ; preds = %entry 159 %0 = load i32, i32* @a, align 4, !tbaa !2 160 %conv = sext i32 %0 to i64 161 %1 = inttoptr i64 %conv to i32* 162 %cmp = icmp eq i32* %1, %p1 163 br i1 %cmp, label %if.then2, label %return 164 165if.then2: ; preds = %if.end 166 %call = tail call signext i32 bitcast (i32 (...)* @callVoid to i32 ()*)() 167 %call3 = tail call signext i32 @callNonVoid(i32* nonnull %p1) 168 br label %return 169 170return: ; preds = %if.end, %entry, %if.then2 171 %retval.0 = phi i32 [ %call3, %if.then2 ], [ 0, %entry ], [ 0, %if.end ] 172 ret i32 %retval.0 173} 174 175 176define dso_local i8* @test3(i8** nocapture %p1, i8 zeroext %p2) local_unnamed_addr { 177; CHECK-PWR9-LABEL: test3: 178; CHECK-PWR9: # %bb.0: # %entry 179; CHECK-PWR9-NEXT: mflr r0 180; CHECK-PWR9-NEXT: .cfi_def_cfa_offset 64 181; CHECK-PWR9-NEXT: .cfi_offset lr, 16 182; CHECK-PWR9-NEXT: .cfi_offset r29, -24 183; CHECK-PWR9-NEXT: .cfi_offset r30, -16 184; CHECK-PWR9-NEXT: std r29, -24(r1) # 8-byte Folded Spill 185; CHECK-PWR9-NEXT: std r30, -16(r1) # 8-byte Folded Spill 186; CHECK-PWR9-NEXT: std r0, 16(r1) 187; CHECK-PWR9-NEXT: stdu r1, -64(r1) 188; CHECK-PWR9-NEXT: ld r30, 0(r3) 189; CHECK-PWR9-NEXT: cmpldi r30, 0 190; CHECK-PWR9-NEXT: beq cr0, .LBB2_2 191; CHECK-PWR9-NEXT: # %bb.1: # %land.rhs 192; CHECK-PWR9-NEXT: mr r29, r3 193; CHECK-PWR9-NEXT: clrldi r4, r4, 32 194; CHECK-PWR9-NEXT: mr r3, r30 195; CHECK-PWR9-NEXT: bl bar 196; CHECK-PWR9-NEXT: nop 197; CHECK-PWR9-NEXT: std r3, 0(r29) 198; CHECK-PWR9-NEXT: .LBB2_2: # %land.end 199; CHECK-PWR9-NEXT: mr r3, r30 200; CHECK-PWR9-NEXT: addi r1, r1, 64 201; CHECK-PWR9-NEXT: ld r0, 16(r1) 202; CHECK-PWR9-NEXT: ld r30, -16(r1) # 8-byte Folded Reload 203; CHECK-PWR9-NEXT: ld r29, -24(r1) # 8-byte Folded Reload 204; CHECK-PWR9-NEXT: mtlr r0 205; CHECK-PWR9-NEXT: blr 206; 207; CHECK-LABEL: test3: 208; CHECK: # %bb.0: # %entry 209; CHECK-NEXT: mflr r0 210; CHECK-NEXT: std r0, 16(r1) 211; CHECK-NEXT: stdu r1, -144(r1) 212; CHECK-NEXT: .cfi_def_cfa_offset 144 213; CHECK-NEXT: .cfi_offset lr, 16 214; CHECK-NEXT: .cfi_offset r29, -24 215; CHECK-NEXT: .cfi_offset r30, -16 216; CHECK-NEXT: std r30, 128(r1) # 8-byte Folded Spill 217; CHECK-NEXT: ld r30, 0(r3) 218; CHECK-NEXT: std r29, 120(r1) # 8-byte Folded Spill 219; CHECK-NEXT: cmpldi r30, 0 220; CHECK-NEXT: beq cr0, .LBB2_2 221; CHECK-NEXT: # %bb.1: # %land.rhs 222; CHECK-NEXT: mr r29, r3 223; CHECK-NEXT: clrldi r4, r4, 32 224; CHECK-NEXT: mr r3, r30 225; CHECK-NEXT: bl bar 226; CHECK-NEXT: nop 227; CHECK-NEXT: std r3, 0(r29) 228; CHECK-NEXT: .LBB2_2: # %land.end 229; CHECK-NEXT: mr r3, r30 230; CHECK-NEXT: ld r30, 128(r1) # 8-byte Folded Reload 231; CHECK-NEXT: ld r29, 120(r1) # 8-byte Folded Reload 232; CHECK-NEXT: addi r1, r1, 144 233; CHECK-NEXT: ld r0, 16(r1) 234; CHECK-NEXT: mtlr r0 235; CHECK-NEXT: blr 236entry: 237 %0 = load i8*, i8** %p1, align 8, !tbaa !6 238 %tobool = icmp eq i8* %0, null 239 br i1 %tobool, label %land.end, label %land.rhs 240 241land.rhs: ; preds = %entry 242 %call = tail call i8* @bar(i8* nonnull %0, i8 zeroext %p2) 243 store i8* %call, i8** %p1, align 8, !tbaa !6 244 br label %land.end 245 246land.end: ; preds = %entry, %land.rhs 247 ret i8* %0 248} 249 250declare i8* @bar(i8*, i8 zeroext) local_unnamed_addr 251 252 253!llvm.module.flags = !{!0} 254!llvm.ident = !{!1} 255 256!0 = !{i32 1, !"wchar_size", i32 4} 257!1 = !{!"clang version 10.0.0 (trunk 367381) (llvm/trunk 367388)"} 258!2 = !{!3, !3, i64 0} 259!3 = !{!"int", !4, i64 0} 260!4 = !{!"omnipotent char", !5, i64 0} 261!5 = !{!"Simple C/C++ TBAA"} 262!6 = !{!7, !7, i64 0} 263!7 = !{!"any pointer", !4, i64 0} 264