X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=utils%2Fllvm.grm;h=d65f075076cf8ef8eb4c064a8cece328c5d40acf;hb=1b0dc64919e947bb4f4677b138c734e33061f7c4;hp=fa0dcd1e1520ccddf80d0aeb5d71dfdd6a5179e7;hpb=d622b0b2088e7b4fbc7b9250b7240fcbbc469260;p=oota-llvm.git diff --git a/utils/llvm.grm b/utils/llvm.grm index fa0dcd1e152..d65f075076c 100644 --- a/utils/llvm.grm +++ b/utils/llvm.grm @@ -8,6 +8,8 @@ It is strictly syntax-based, and makes no attempt to generate 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" @@ -90,6 +92,8 @@ GVInternalLinkage | dllexport | common | private + | "linker_private" + | "linker_private_weak" ; GVExternalLinkage @@ -168,6 +172,11 @@ FuncAttr ::= noreturn | optsize | ssp | sspreq + | returns_twice + | nonlazybind + | sanitize_address + | sanitize_thread + | sanitize_memory ; OptFuncAttrs ::= + _ | OptFuncAttrs FuncAttr ;