| Roman Lebedev | fdc94fc | 2022-12-09 00:52:21 +0300 | [diff] [blame] | 1 | ; RUN: opt -passes=verify %s |
| Tim Northover | 67b1bc4 | 2021-02-10 14:35:16 +0000 | [diff] [blame] | 2 | |
| Nikita Popov | e0f7b7e | 2023-01-05 13:10:32 +0100 | [diff] [blame] | 3 | define swifttailcc void @valid_attrs(ptr sret(i64) %ret, ptr byval(i8) %byval, ptr swiftself %self, ptr swiftasync %ctx) { |
| 4 | musttail call swifttailcc void @valid_attrs(ptr sret(i64) %ret, ptr byval(i8) %byval, ptr swiftself %self, ptr swiftasync %ctx) |
| Tim Northover | 67b1bc4 | 2021-02-10 14:35:16 +0000 | [diff] [blame] | 5 | ret void |
| 6 | } |
| 7 | |
| 8 | define swifttailcc void @mismatch_parms() { |
| Nikita Popov | e0f7b7e | 2023-01-05 13:10:32 +0100 | [diff] [blame] | 9 | musttail call swifttailcc void @valid_attrs(ptr sret(i64) undef, ptr byval(i8) undef, ptr swiftself undef, ptr swiftasync undef) |
| Tim Northover | 67b1bc4 | 2021-02-10 14:35:16 +0000 | [diff] [blame] | 10 | ret void |
| 11 | } |
