Displaying 2 results from an estimated 2 matches for "d20846".
Did you mean:
20846
2016 Jun 01
0
Loads and stores of unsized types?
To reiterate what I said on IRC, I agree with David and would expect the
verifier to reject unsized loads and stores.
On Mon, May 30, 2016 at 4:05 PM Sanjoy Das via llvm-dev <
llvm-dev at lists.llvm.org> wrote:
> This came up in D20764, this IR verifies today:
>
> %X = type opaque
>
> define void @f_0(%X* %ptr) {
> %t = load %X, %X* %ptr
> ret void
> }
>
>
2016 May 30
3
Loads and stores of unsized types?
This came up in D20764, this IR verifies today:
%X = type opaque
define void @f_0(%X* %ptr) {
%t = load %X, %X* %ptr
ret void
}
define void @f_1(%X %val, %X* %ptr) {
store %X %val, %X* %ptr
ret void
}
which I found surprising -- what does it mean to load / store values
of unknown sizes? Passing it to llc fails an assertion. Are there
legitimate cases where we'd want to generate