I haven’t used HLS but I guess the code that it emits will be full of references to Xilinx primitives and/or black boxes (propietary IP cores), so trying to port it to even another Xilinx FPGA (not to say a different vendor) will probably be a huge task