This is an archive of the discontinued LLVM Phabricator instance.

[opaque pointer types] Add an explicit value type to the byval attribute.
Needs ReviewPublic

Authored by mjacob on Jan 23 2016, 7:05 PM.
This revision needs review, but all specified reviewers are disabled or inactive.

Details

Reviewers
tstellarAMD
Summary

The semantics of a pointer parameter with the byval attribute depend on
the pointee type. In a world with opaque pointer types we need to
record this type (or, at least its size and alignment) explicitly.

It is yet to be decided whether this is the right approach. Discussion
will be continued on llvm-dev in parallel.

Depends on D16515.

Diff Detail

Event Timeline

mjacob updated this revision to Diff 45816.Jan 23 2016, 7:05 PM
mjacob retitled this revision from to [opaque pointer types] Add an explicit value type to the byval attribute..
mjacob updated this object.
mjacob added subscribers: dblaikie, eddyb, llvm-commits.