xlauko wrote: I am also not sure whether import needs to have separate insertion operation for globals and aliases (globalInsertionOp, aliasInsertionOp). FYI, I am working on GlobalIFunc import which uses similar insertion. https://github.com/llvm/llvm-project/pull/127490