Fixes verifier errors encountered in PR42413.
Details
Details
Diff Detail
Diff Detail
- Repository
- rG LLVM Github Monorepo
Event Timeline
llvm/lib/Transforms/Utils/CallPromotionUtils.cpp | ||
---|---|---|
419–420 | It'd be better if we could copy/paste the source byval type. We'd probably have to handle an unspecified byval type anyway; but it's the difference between code that will carry on working forever and we can prune later, and code that will need modifying again before opaque pointers are a thing. I'm not asking you to do this, Reid; it's late here but I'll try to come up with a concrete diff tomorrow. |
Comment Actions
Prepare for a future with no poitnee types by checking if a byval type is available. If there is a pointee type and the IR is valid, this will be identical to FormalTy.
Comment Actions
I see you haven't approved this patch, but I'll go ahead and land it later today. I'll assume you approve of this change since you wrote it. :)
It'd be better if we could copy/paste the source byval type.
We'd probably have to handle an unspecified byval type anyway; but it's the difference between code that will carry on working forever and we can prune later, and code that will need modifying again before opaque pointers are a thing.
I'm not asking you to do this, Reid; it's late here but I'll try to come up with a concrete diff tomorrow.