diff options
author | Dan Gohman <gohman@apple.com> | 2009-07-27 21:55:32 +0000 |
---|---|---|
committer | Dan Gohman <gohman@apple.com> | 2009-07-27 21:55:32 +0000 |
commit | 224251d18eb6b6e83b49e27ab69d6e42a405c6dd (patch) | |
tree | 567a451d0a46f46478bf2748f04f6936d9317ba5 /utils/llvm.grm | |
parent | d5c947022d7bb0b2bf330998e9c4eff941e0f899 (diff) | |
download | llvm-224251d18eb6b6e83b49e27ab69d6e42a405c6dd.tar.gz llvm-224251d18eb6b6e83b49e27ab69d6e42a405c6dd.tar.bz2 llvm-224251d18eb6b6e83b49e27ab69d6e42a405c6dd.tar.xz |
Add inbounds to the polygen grammar.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@77261 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'utils/llvm.grm')
-rw-r--r-- | utils/llvm.grm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/utils/llvm.grm b/utils/llvm.grm index cbb72e9283..4499d4b35a 100644 --- a/utils/llvm.grm +++ b/utils/llvm.grm @@ -233,7 +233,7 @@ ConstVal::= Types "[" ^ ConstVector ^ "]" | Types FPVAL ; ConstExpr::= CastOps "(" ^ ConstVal to Types ^ ")" - | getelementptr "(" ^ ConstVal IndexList ^ ")" + | getelementptr OptInBounds "(" ^ ConstVal IndexList ^ ")" | select "(" ^ ConstVal ^ "," ConstVal ^ "," ConstVal ^ ")" | ArithmeticOps "(" ^ ConstVal ^ "," ConstVal ^ ")" | LogicalOps "(" ^ ConstVal ^ "," ConstVal ^ ")" @@ -397,6 +397,7 @@ OptExact ::= - exact | _ ; OptNSW ::= - nsw | _ ; OptNUW ::= - nuw | _ ; OptNW ::= OptNUW OptNSW ; +OptInBounds ::= - inbounds | _ ; MemoryInst ::= malloc Types OptCAlign | malloc Types ^ "," INTTYPE ValueRef OptCAlign @@ -406,6 +407,6 @@ MemoryInst ::= malloc Types OptCAlign | OptVolatile load Types ValueRef OptCAlign | OptVolatile store ResolvedVal ^ "," Types ValueRef OptCAlign | getresult Types ValueRef ^ "," EUINT64VAL - | getelementptr Types ValueRef IndexList + | getelementptr OptInBounds Types ValueRef IndexList | extractvalue Types ValueRef ^ ConstantIndexList | insertvalue Types ValueRef ^ "," Types ValueRef ^ ConstantIndexList ; |