[PATCH] D117890: [LangRef] Require elementtype attribute for gc.statepoint intrinsic

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

@reames I tried using the gc.result type (https://gist.github.com/nikic/703794bdf8ab04c4a4ca40c4145a1f90), but this did result in codegen changes. In particular, if there is no gc.result use, but the function is non-void, then we no longer have the `implicit-def dead $eax` on the statepoint (see the last two test changes).

I'm not familiar with the area, but I assume that would be incorrect, as we lose the knowledge that the register may be clobbered by the call?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D117890/new/

https://reviews.llvm.org/D117890