That probably requires some work. FPChecker seems to only provide compiler driver wrappers, so I’m not sure how reusable it is as a library. GPUCompiler currently doesn’t offer any way to easily extend its compilation or optimization pipeline without essentially redefining parts of it.