Simpler extract-target pass that has lower-omp-target-data as prerequisite#11

Open

gabrielrodcanal wants to merge 26 commits intomainfrom

gabriel/new_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
Add pass that converts target function to HLS compatible format. Function arguments are dereferenced, since HLS is not compatible with pointers to pointers. OpenMP variables in the omp.map.info ope…
gabrielrodcanal
committed
More modular design to remove the target operation
gabrielrodcanal
committed
Keep only the top-level module to contain the HLS function - necessary to generate LLVM IR
gabrielrodcanal
committed

Commits on Aug 3, 2025

Merge branch 'main' into gabriel/target_to_hls
mesham
authored

Commits on Aug 4, 2025

Commits on Aug 5, 2025

Commits on Aug 7, 2025

Commits on Aug 8, 2025