Formal Definitions

I’m sure this has probably been asked before, so if someone could just point me in the right direction I would appreciate it. I am trying to find the formal language specifications for LLVM IR. A lot of these are in the language reference manual online, but it’s difficult to dig some of the things out of that document. For instance I was wondering what are all the tokens for the language. Some of the CFG grammar definitions are there in EBNF, but some of them are not and only examples are given. Are these documents online anywhere?
Thank you,