Is it meaningful to translate Verilog to LLVM IR?

Hi all, I wonder if it is possible to translate Verilog to LLVM IR and use the IR to do some optimization?

See the CIRCT incubator project. There was just a talk on it at LLVMDev.