[all-commits] [llvm/llvm-project] 0b6cd1: [mlir][LLVM] Add support for `ptrtoaddr`

[Markus Böck via All-commits]

  Branch: refs/heads/users/zero9178/llvm-ptr-to-addr-dialect
  Home:   https://github.com/llvm/llvm-project
  Commit: 0b6cd1a2a718c6514b938cdb3bad11141e321cad
      https://github.com/llvm/llvm-project/commit/0b6cd1a2a718c6514b938cdb3bad11141e321cad
  Author: Markus Böck <markus.boeck02 at gmail.com>
  Date:   2026-03-06 (Fri, 06 Mar 2026)

  Changed paths:
    M mlir/include/mlir/Dialect/LLVMIR/LLVMOps.td
    M mlir/lib/Dialect/LLVMIR/IR/LLVMDialect.cpp
    M mlir/test/Dialect/LLVMIR/invalid.mlir
    M mlir/test/Dialect/LLVMIR/roundtrip.mlir
    M mlir/test/Target/LLVMIR/Import/instructions.ll
    M mlir/test/Target/LLVMIR/llvmir.mlir

  Log Message:
  -----------
  [mlir][LLVM] Add support for `ptrtoaddr`

The `ptrtoaddr` op is akin to `ptrtoint` with some important differences:
* It does not capture the provenance of the pointer, meaning a pointer does not escape and subsequent `inttoptr` don't make a legal pointer. LLVM can then assume the pointer never escaped, which helps alias analysis.
* It does not support arbitrary integer types, but only exactly the integer type that is equal in width to the pointer type as specified by the data layout.

This PR adds the op the MLIR dialect and adds the corresponding verification for the datalayout property.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications