HomePhabricator

IR: Have byref imply dereferenceable

Authored by arsenm on Jun 25 2020, 4:17 PM.

Description

IR: Have byref imply dereferenceable

The langref already states it does, but this wasn't implemented. Also
covers inalloca and preallocated. Also helps fix a dependence on
pointer element types.

Details

Committed
arsenmThu, Sep 24, 6:57 AM
Parents
rGd65a7003c435: OpaquePtr: Add helpers for sret to mirror byval
Branches
Unknown
Tags
Unknown