aboutsummaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorMichael Forney <[email protected]>2021-03-11 18:57:33 -0800
committerQuentin Carbonneaux <[email protected]>2021-03-12 17:09:10 +0100
commita2962bb1ec4f14197d8c6901fb27ee44a439cd15 (patch)
tree14f4df2f63aa176ab52511b6fc3a94ac86609f59 /tools
parent9c4e4bc68afa23e1e22dcf939cd7647a0a615c2b (diff)
arm64: fix selcall call data for return of aggregate in memory
The no-op `copy R0` is necessary in order to trigger dopm in spill.c and rega.c, which assume that a call is always followed by one or more copies from registers. However, the arm64 ABI does not actually return the caller-passed pointer as in x86_64. This causes an assertion failure qbe: aarch64: Assertion failed: r == T.rglob || b == fn->start (spill.c: spill: 470) for the following test program type :t = { l 3 } function $f() { @start.1 @start.2 %ret =:t call $g() ret } The assertion failure only triggers when the block containing the call is not the first block, because the check is skipped for the first block (since some registers may have been used for arguments). To fix this, set R0 in the call data so that spill/rega can see that this dummy "return" register was generated by the call. This matches qbe's existing behavior when the function returns void, another case where no register is used for the function result.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions