X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=utils%2Fllvm.grm;h=92a4053173d64f87b08460cc956d83a0e46da449;hb=1aeb225d49dfc869dfad08f31323e64eb43f20f7;hp=f97c0d147ae7c22e1933761619c090c14b75b6c6;hpb=a2858527d7a8b4b3f2cb31b7c1d056bc43341056;p=oota-llvm.git

diff --git a/utils/llvm.grm b/utils/llvm.grm
index f97c0d147ae..92a4053173d 100644
--- a/utils/llvm.grm
+++ b/utils/llvm.grm
@@ -9,7 +9,6 @@ IR that is semantically valid. Most of the IR produced doesn't
 pass the Verifier.
 
 TODO: Metadata, in all its forms
-TODO: Union types
 
 *)
 
@@ -93,8 +92,6 @@ GVInternalLinkage
  | dllexport
  | common
  | private
- | "linker_private"
- | "linker_private_weak"
  ;
 
 GVExternalLinkage
@@ -173,6 +170,11 @@ FuncAttr      ::= noreturn
  | optsize
  | ssp
  | sspreq
+ | returns_twice
+ | nonlazybind
+ | sanitize_address
+ | sanitize_thread
+ | sanitize_memory
  ;
 
 OptFuncAttrs  ::= + _ | OptFuncAttrs FuncAttr ;