projects
/
oota-llvm.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
In Thumb2, direct branches can be encoded as either a "short" conditional branch...
[oota-llvm.git]
/
utils
/
llvm.grm
diff --git
a/utils/llvm.grm
b/utils/llvm.grm
index 4499d4b35a9f7c5124a3aa34a84f90683d040e4a..9d6bdf79f539a23b1250af13a79d778bff1cba0e 100644
(file)
--- 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.
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"
*)
I ::= "title: LLVM assembly language\n"
@@
-90,6
+92,8
@@
GVInternalLinkage
| dllexport
| common
| private
| dllexport
| common
| private
+ | "linker_private"
+ | "linker_private_weak"
;
GVExternalLinkage
;
GVExternalLinkage
@@
-161,6
+165,8
@@
FuncAttr ::= noreturn
| signext
| readnone
| readonly
| signext
| readnone
| readonly
+ | inlinehint
+ | alignstack
| noinline
| alwaysinline
| optsize
| noinline
| alwaysinline
| optsize
@@
-396,7
+402,7
@@
OptVolatile ::= - volatile | _ ;
OptExact ::= - exact | _ ;
OptNSW ::= - nsw | _ ;
OptNUW ::= - nuw | _ ;
OptExact ::= - exact | _ ;
OptNSW ::= - nsw | _ ;
OptNUW ::= - nuw | _ ;
-OptNW ::= OptNUW OptNSW ;
+OptNW ::= OptNUW OptNSW
| OptNSW OptNUW
;
OptInBounds ::= - inbounds | _ ;
MemoryInst ::= malloc Types OptCAlign
OptInBounds ::= - inbounds | _ ;
MemoryInst ::= malloc Types OptCAlign