tlively added a comment.

In D101684#2737842 <https://reviews.llvm.org/D101684#2737842>, @penzn wrote:

> I think there is another dimension to this aside from project composition - 
> intrinsics have a tendency to "interact" with their surroundings, and it 
> better to capture the IR rather than the end result. Even if we can verify 
> that simple calls produce instructions we expect, this might not hold true is 
> the arguments change, or the call is in a different context. IR definitely 
> gives more opportunities to test things through.

Yeah, the contract that specific instructions are generated really only holds 
in trivial cases by design. I'm not sure how to best formalize that, though.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D101684

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to