104 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: -ppc-asm-full-reg-names -ppc-vsr-nums-as-vr < %s | FileCheck %s4 5; The tests check the behavior of the tail call decision when the callee is speculatable.6 7; Callee should be tail called in this function since it is at a tail call position.8define dso_local double @speculatable_callee_return_use_only (ptr nocapture %res, double %a) #0 {9; CHECK-LABEL: speculatable_callee_return_use_only:10; CHECK: # %bb.0: # %entry11; CHECK-NEXT: b callee12; CHECK-NEXT: #TC_RETURNd8 callee 013entry:14 %value = tail call double @callee(double %a) #215 ret double %value16}17 18; Callee should not be tail called since it is not at a tail call position.19define dso_local void @speculatable_callee_non_return_use_only (ptr nocapture %res, double %a) #0 {20; CHECK-LABEL: speculatable_callee_non_return_use_only:21; CHECK: # %bb.0: # %entry22; CHECK-NEXT: mflr r023; CHECK-NEXT: std r30, -16(r1) # 8-byte Folded Spill24; CHECK-NEXT: stdu r1, -48(r1)25; CHECK-NEXT: std r0, 64(r1)26; CHECK-NEXT: mr r30, r327; CHECK-NEXT: bl callee28; CHECK-NEXT: stfd f1, 0(r30)29; CHECK-NEXT: addi r1, r1, 4830; CHECK-NEXT: ld r0, 16(r1)31; CHECK-NEXT: ld r30, -16(r1) # 8-byte Folded Reload32; CHECK-NEXT: mtlr r033; CHECK-NEXT: blr34entry:35 %call = tail call double @callee(double %a) #236 store double %call, ptr %res, align 837 ret void38}39 40; Callee should not be tail called since it is not at a tail call position.41define dso_local double @speculatable_callee_multi_use (ptr nocapture %res, double %a) #0 {42; CHECK-LABEL: speculatable_callee_multi_use:43; CHECK: # %bb.0: # %entry44; CHECK-NEXT: mflr r045; CHECK-NEXT: std r30, -16(r1) # 8-byte Folded Spill46; CHECK-NEXT: stdu r1, -48(r1)47; CHECK-NEXT: std r0, 64(r1)48; CHECK-NEXT: mr r30, r349; CHECK-NEXT: bl callee50; CHECK-NEXT: stfd f1, 0(r30)51; CHECK-NEXT: addi r1, r1, 4852; CHECK-NEXT: ld r0, 16(r1)53; CHECK-NEXT: ld r30, -16(r1) # 8-byte Folded Reload54; CHECK-NEXT: mtlr r055; CHECK-NEXT: blr56 entry:57 %call = tail call double @callee(double %a) #258 store double %call, ptr %res, align 859 ret double %call60}61 62; Callee should not be tail called since it is not at a tail call position.63; FIXME: A speculatable callee can be tail called if it is moved into a valid tail call position.64define dso_local double @speculatable_callee_intermediate_instructions (ptr nocapture %res, double %a) #0 {65; CHECK-LABEL: speculatable_callee_intermediate_instructions:66; CHECK: # %bb.0: # %entry67; CHECK-NEXT: mflr r068; CHECK-NEXT: std r30, -16(r1) # 8-byte Folded Spill69; CHECK-NEXT: stdu r1, -48(r1)70; CHECK-NEXT: std r0, 64(r1)71; CHECK-NEXT: mr r30, r372; CHECK-NEXT: bl callee73; CHECK-NEXT: lis r3, 410174; CHECK-NEXT: ori r3, r3, 1310775; CHECK-NEXT: rldic r3, r3, 34, 176; CHECK-NEXT: oris r3, r3, 5242877; CHECK-NEXT: ori r3, r3, 5242978; CHECK-NEXT: std r3, 0(r30)79; CHECK-NEXT: addi r1, r1, 4880; CHECK-NEXT: ld r0, 16(r1)81; CHECK-NEXT: ld r30, -16(r1) # 8-byte Folded Reload82; CHECK-NEXT: mtlr r083; CHECK-NEXT: blr84 85 entry:86 %call = tail call double @callee(double %a) #287 store double 5.2, ptr %res, align 888 ret double %call89}90 91 92define dso_local double @callee(double) #1 {93; CHECK-LABEL: callee:94; CHECK: # %bb.0:95; CHECK-NEXT: addis r3, r2, .LCPI4_0@toc@ha96; CHECK-NEXT: lfs f1, .LCPI4_0@toc@l(r3)97; CHECK-NEXT: blr98 ret double 4.599}100 101attributes #0 = { nounwind }102attributes #1 = { readnone speculatable }103attributes #2 = { nounwind noinline }104