Modernise extract-target pass#9

Draft

gabrielrodcanal wants to merge 5 commits intomainfrom

gabriel/extract_target

Commits on Jul 31, 2025

Modernise extract-target pass. Note how the location of the bounds was not correct in the previous version
gabrielrodcanal
committed

Commits on Aug 1, 2025

Add the signature of the offloaded function to the module calling the function. Otherwise, the function will not be present in the symbol table of the calling module
gabrielrodcanal
committed
Fix location index. Now all the examples build
gabrielrodcanal
committed
Add upper bound to the offload function arguments. Otherwise the generated IR does not pass the mlir-opt verifier. Tested on all the offload examples
gabrielrodcanal
committed

Commits on Aug 3, 2025

Merge branch 'main' into gabriel/extract_target
mesham
authored