This is about the most insightful write-up on different IRs I ever read. After ramblings of humble me of course ;-).
I can't claim that I actually used many different IRs, but I've had enough of LLVM IR and just looks at the rest of crowd were enough too. When time has come to wave LLVM IR bye-bye, I figured that readability and familiarity should be the properties of the utmost importance for the IR (all the rest of properties like expressiveness and preciseness of semantics are obvious). That way came PseudoC: https://github.com/pfalcon/ScratchABlock/blob/master/docs/PseudoC-spec.md
Re: http://reversing.io/posts/the-il-nop/
This is about the most insightful write-up on different IRs I ever read. After ramblings of humble me of course ;-).
I can't claim that I actually used many different IRs, but I've had enough of LLVM IR and just looks at the rest of crowd were enough too. When time has come to wave LLVM IR bye-bye, I figured that readability and familiarity should be the properties of the utmost importance for the IR (all the rest of properties like expressiveness and preciseness of semantics are obvious). That way came PseudoC: https://github.com/pfalcon/ScratchABlock/blob/master/docs/PseudoC-spec.md
And Falcon IR gets quite a section in an IR zoo I maintain: https://github.com/pfalcon/ScratchABlock/blob/master/docs/ir-why-not.md