commit 3e5bc0c33e0565b84c429caf2bbff0da70e549c2
author Dan Gohman <gohman@apple.com> Mon Jul 27 21:55:32 2009 +0000
committer Dan Gohman <gohman@apple.com> Mon Jul 27 21:55:32 2009 +0000
tree 567a451d0a46f46478bf2748f04f6936d9317ba5
parent a690e598dc08a8875c910b6a962f6900af811ca3

Add inbounds to the polygen grammar.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@77261 91177308-0d34-0410-b5e6-96231b3b80d8

utils/llvm.grm

diff --git a/utils/llvm.grm b/utils/llvm.grm
index cbb72e9..4499d4b 100644
--- a/utils/llvm.grm
+++ b/utils/llvm.grm
@@ -233,7 +233,7 @@
  | 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 @@
 OptNSW ::= - nsw | _ ;
 OptNUW ::= - nuw | _ ;
 OptNW  ::= OptNUW OptNSW ;
+OptInBounds  ::= - inbounds | _ ;
 
 MemoryInst ::= malloc Types OptCAlign
  | malloc Types ^ "," INTTYPE ValueRef OptCAlign
@@ -406,6 +407,6 @@
  | 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 ;