43 lines · plain
1; RUN: llc -mcpu=ppc -verify-machineinstrs < %s | FileCheck %s2target datalayout = "E-m:e-i64:64-n32:64"3target triple = "powerpc64-unknown-linux-gnu"4 5; Tests that the 'nest' parameter attribute causes the relevant parameter to be6; passed in the right register (r11 for PPC).7 8define ptr @nest_receiver(ptr nest %arg) nounwind {9; CHECK-LABEL: nest_receiver:10; CHECK: # %bb.0:11; CHECK-NEXT: mr 3, 1112; CHECK-NEXT: blr13 14 ret ptr %arg15}16 17define ptr @nest_caller(ptr %arg) nounwind {18; CHECK-LABEL: nest_caller:19; CHECK: mr 11, 320; CHECK: std 0, 128(1)21; CHECK-NEXT: bl nest_receiver22; CHECK: blr23 24 %result = call ptr @nest_receiver(ptr nest %arg)25 ret ptr %result26}27 28define void @test_indirect(ptr nocapture %f, ptr %p) {29entry:30 31; CHECK-LABEL: test_indirect32; CHECK-DAG: ld [[DEST:[0-9]+]], 0(3)33; CHECK-DAG: ld 2, 8(3)34; CHECK-DAG: mr 11, 435; CHECK: mtctr [[DEST]]36; CHECK: bctrl37; CHECK: blr38 39 %call = tail call signext i32 %f(ptr nest %p)40 ret void41}42 43