Sorting out the list of P4 issues

[Tom Womack]

> >2) lack of good documentation for various SSE options

> I've just submitted that to gnatsweb.

That's now PR target/5610

> >4) ICEs when using the existing intrics?
>
> No, my ICE is with inline assembler using SSE constraints; I've submitted
it
> to gnatsweb with Jan in the cc: field, though I haven't got a PR number
yet.
> I've not tried using the existing SSE1 intrinsics.

This is now PR target/5609

Is there some manual intervention in generating the PR numbers? I'm slightly
surprised that it takes tens of minutes to get the email in response to
submitting the gnatsweb form.

Tom