IR that is semantically valid. Most of the IR produced doesn't
pass the Verifier.
+TODO: Metadata, in all its forms
+
*)
I ::= "title: LLVM assembly language\n"
| dllexport
| common
| private
+ | "linker_private"
+ | "linker_private_weak"
;
GVExternalLinkage
| optsize
| ssp
| sspreq
+ | returns_twice
+ | nonlazybind
+ | address_safety
;
OptFuncAttrs ::= + _ | OptFuncAttrs FuncAttr ;