1; RUN: llc -disable-post-ra -verify-machineinstrs < %s -mtriple=aarch64-none-linux-gnu | FileCheck %s
2
3; Tests that the 'nest' parameter attribute causes the relevant parameter to be
4; passed in the right register.
5
6define i8* @nest_receiver(i8* nest %arg) nounwind {
7; CHECK-LABEL: nest_receiver:
8; CHECK-NEXT: // BB#0:
9; CHECK-NEXT: mov x0, x18
10; CHECK-NEXT: ret
11
12  ret i8* %arg
13}
14
15define i8* @nest_caller(i8* %arg) nounwind {
16; CHECK-LABEL: nest_caller:
17; CHECK: mov x18, x0
18; CHECK-NEXT: bl nest_receiver
19; CHECK: ret
20
21  %result = call i8* @nest_receiver(i8* nest %arg)
22  ret i8* %result
23}
24