fabianmcg wrote:

> To me it does not "keep things simple", it makes things misleading: something 
> that is prefixed `!llvm` should be a LLVM type.

In this case, I would argue it's an LLVM specific type alias, and as such it 
makes sense to be prefixed `!llvm`. If a dialect consider useful such aliases, 
and the aliased type is in the dependent dialects I don't see what is the issue 
for short hands. We already allow a limited form with OpAsmDialect aliases.

> For readability, the LLVM operations can print simply `ptr<3>` if they wish 
> so. (even better if we get rid of the numbers here, like LLVM is trying to do 
> right now)

Getting rid of the numbers should be possible in the short term. But, replacing 
`!llvm.ptr` with `!ptr.ptr` is starting to be in the critical path for all of 
these changes to not have hacky solutions.

Finally, the motivation to preserve `!llvm.ptr` and `LLVMPointerType` is to 
make the transition less painful and more gradual. I'd hope that in the future, 
we could phase out things like `LLVMPointerType`.

https://github.com/llvm/llvm-project/pull/173094
_______________________________________________
llvm-branch-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
  • [... Fabian Mora via llvm-branch-commits
  • [... Fabian Mora via llvm-branch-commits
  • [... Fabian Mora via llvm-branch-commits
  • [... Fabian Mora via llvm-branch-commits
  • [... via llvm-branch-commits
  • [... via llvm-branch-commits
  • [... Valentin Clement バレンタイン クレメン via llvm-branch-commits
  • [... Mehdi Amini via llvm-branch-commits
  • [... Fabian Mora via llvm-branch-commits
  • [... Mehdi Amini via llvm-branch-commits
  • [... Fabian Mora via llvm-branch-commits
  • [... Mehdi Amini via llvm-branch-commits

Reply via email to