RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-19 02:52:53 +02:00
Code Issues Projects Releases Wiki Activity
64c9fc2e9c
llvm-mirror/test/Verifier/sret.ll

12 lines
413 B
LLVM
Raw Normal View History

Allow sret on the second parameter as well as the first MSVC always places the implicit sret parameter after the implicit this parameter of instance methods. We used to handle this for x86_thiscallcc by allocating the sret parameter on the stack and leaving the this pointer in ecx, but that doesn't handle alternative calling conventions like cdecl, stdcall, fastcall, or the win64 convention. Instead, change the verifier to allow sret on the second parameter. This also requires changing the Mips and X86 backends to return the argument with the sret parameter, instead of assuming that the sret parameter comes first. The Sparc backend also returns sret parameters in a register, but I wasn't able to update it to handle secondary sret parameters. It currently calls report_fatal_error if you feed it an sret in the second parameter. Reviewers: rafael.espindola, majnemer Differential Revision: http://reviews.llvm.org/D3617 llvm-svn: 208453
2014-05-10 00:32:13 +02:00
; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
OpaquePtr: Bulk update tests to use typed sret
2020-11-20 20:07:11 +01:00
declare void @a(i32* sret(i32) %a, i32* sret(i32) %b)
Allow sret on the second parameter as well as the first MSVC always places the implicit sret parameter after the implicit this parameter of instance methods. We used to handle this for x86_thiscallcc by allocating the sret parameter on the stack and leaving the this pointer in ecx, but that doesn't handle alternative calling conventions like cdecl, stdcall, fastcall, or the win64 convention. Instead, change the verifier to allow sret on the second parameter. This also requires changing the Mips and X86 backends to return the argument with the sret parameter, instead of assuming that the sret parameter comes first. The Sparc backend also returns sret parameters in a register, but I wasn't able to update it to handle secondary sret parameters. It currently calls report_fatal_error if you feed it an sret in the second parameter. Reviewers: rafael.espindola, majnemer Differential Revision: http://reviews.llvm.org/D3617 llvm-svn: 208453
2014-05-10 00:32:13 +02:00
; CHECK: Cannot have multiple 'sret' parameters!
OpaquePtr: Bulk update tests to use typed sret
2020-11-20 20:07:11 +01:00
declare void @b(i32* %a, i32* %b, i32* sret(i32) %c)
Allow sret on the second parameter as well as the first MSVC always places the implicit sret parameter after the implicit this parameter of instance methods. We used to handle this for x86_thiscallcc by allocating the sret parameter on the stack and leaving the this pointer in ecx, but that doesn't handle alternative calling conventions like cdecl, stdcall, fastcall, or the win64 convention. Instead, change the verifier to allow sret on the second parameter. This also requires changing the Mips and X86 backends to return the argument with the sret parameter, instead of assuming that the sret parameter comes first. The Sparc backend also returns sret parameters in a register, but I wasn't able to update it to handle secondary sret parameters. It currently calls report_fatal_error if you feed it an sret in the second parameter. Reviewers: rafael.espindola, majnemer Differential Revision: http://reviews.llvm.org/D3617 llvm-svn: 208453
2014-05-10 00:32:13 +02:00
; CHECK: Attribute 'sret' is not on first or second parameter!
Verifier: Fix assert when verifying non-pointer byval or preallocated This would fail on a cast<PointerType> when verifying the attribute if these attributes were incorrectly used with a non-pointer type.
2020-11-21 00:14:28 +01:00
[Verifier] Improve incompatible attribute type check A couple of attributes had explicit checks for incompatibility with pointer types. However, this is already handled generically by the typeIncompatible() check. We can drop these after adding SwiftError to typeIncompatible(). However, the previous implementation of the check prints out all attributes that are incompatible with a given type, even though those attributes aren't actually used. This has the annoying result that the error message changes every time a new attribute is added to the list. Improve this by explicitly finding which attribute isn't compatible and printing just that.
2021-07-14 20:58:52 +02:00
; CHECK: Attribute 'sret(i32)' applied to incompatible type!
Verifier: Fix assert when verifying non-pointer byval or preallocated This would fail on a cast<PointerType> when verifying the attribute if these attributes were incorrectly used with a non-pointer type.
2020-11-21 00:14:28 +01:00
; CHECK-NEXT: void (i32)* @not_ptr
declare void @not_ptr(i32 sret(i32) %x)
Reference in New Issue Copy Permalink