Можно ли перевести язык ассемблера в LLVM IR, оптимизировать его и затем перекомпилировать под другую архитектуру?

Можно ли перевести язык ассемблера в LLVM IR, оптимизировать его, а затем перекомпилировать под другую архитектуру? Как вы будете обрабатывать "push" и "pop" на стеке в IR? Это самое простое возражение, которое я нашел, но я уверен, что таких возражений масса.

Я планирую создать динамический рекомпилятор, и кажется, что это было бы отличным решением, поскольку LLVM автоматически оптимизирует мой код под новую архитектуру. Возможно ли все это с LLVM?

Спасибо