3 polygen grammar for LLVM assembly language.
5 This file defines an LLVM assembly language grammar for polygen,
6 which is a tool for generating random text based on a grammar.
7 It is strictly syntax-based, and makes no attempt to generate
8 IR that is semantically valid. Most of the IR produced doesn't
13 I ::= "title: LLVM assembly language\n"
14 ^ "status: experimental\n"
15 ^ "audience: LLVM developers\n"
21 Define rules for non-keyword tokens. This is currently just a bunch
22 of hacks. They don't cover many valid forms of tokens, and they also
23 generate some invalid forms of tokens. The LLVM parser has custom
24 C++ code to lex these; custom C++ code for emitting them would be
25 convenient, but polygen doesn't support that.
27 NonZeroDecimalDigit ::= 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 ;
28 DecimalDigit ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 ;
29 DecimalDigitSeq ::= DecimalDigit [^ DecimalDigitSeq ];
30 HexDigit ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
31 | a | b | c | d | e | f ;
32 HexDigitSeq ::= HexDigit [^ HexDigitSeq ];
33 StringChar ::= a | b | c | d | e | f | g | h | i | j | k | l | m
34 | n | o | p | q | r | s | t | u | v | w | x | y | z ;
35 StringConstantSeq ::= StringChar [^ StringConstantSeq ];
36 StringConstant ::= StringChar [^ StringConstantSeq ];
37 EUINT64VAL ::= NonZeroDecimalDigit [^ DecimalDigitSeq ];
38 ESINT64VAL ::= [ "-" ] ^ EUINT64VAL ;
39 EUAPINTVAL ::= EUINT64VAL ;
40 ESAPINTVAL ::= ESINT64VAL ;
41 LOCALVALID ::= "%" ^ DecimalDigitSeq ;
42 GLOBALVALID ::= "@" ^ DecimalDigitSeq ;
43 INTTYPE ::= "i" ^ EUINT64VAL ;
44 GLOBALVAR ::= "@" ^ StringConstant ;
45 LOCALVAR ::= "%" ^ StringConstant ;
46 STRINGCONSTANT ::= "\"" ^ StringConstant ^ "\"" ;
47 ATSTRINGCONSTANT ::= "@" ^ STRINGCONSTANT ;
48 PCTSTRINGCONSTANT ::= "%" ^ STRINGCONSTANT ;
49 LABELSTR ::= StringConstant ;
50 FPVAL ::= ESAPINTVAL ^ "." ^ EUAPINTVAL | "0x" ^ HexDigitSeq ;
53 The rest of this file is derived directly from llvmAsmParser.y.
56 ArithmeticOps ::= + OptNW add | fadd | OptNW sub | fsub | OptNW mul | fmul |
57 udiv | OptExact sdiv | fdiv | urem | srem | frem ;
58 LogicalOps ::= shl | lshr | ashr | and | or | xor;
59 CastOps ::= trunc | zext | sext | fptrunc | fpext | bitcast |
60 uitofp | sitofp | fptoui | fptosi | inttoptr | ptrtoint ;
62 IPredicates ::= eq | ne | slt | sgt | sle | sge | ult | ugt | ule | uge ;
64 FPredicates ::= oeq | one | olt | ogt | ole | oge | ord | uno | ueq | une
65 | ult | ugt | ule | uge | true | false ;
68 FPType ::= float | double | "ppc_fp128" | fp128 | "x86_fp80";
70 LocalName ::= LOCALVAR | STRINGCONSTANT | PCTSTRINGCONSTANT ;
71 OptLocalName ::= LocalName | _ ;
73 OptAddrSpace ::= - addrspace ^ "(" ^ EUINT64VAL ^ ")" | _ ;
75 OptLocalAssign ::= LocalName "=" | _ ;
77 GlobalName ::= GLOBALVAR | ATSTRINGCONSTANT ;
79 OptGlobalAssign ::= GlobalAssign | _ ;
81 GlobalAssign ::= GlobalName "=" ;
108 FunctionDeclareLinkage
114 FunctionDefineLinkage
124 AliasLinkage ::= + _ | weak | "weak_odr" | internal ;
126 OptCallingConv ::= + _ |
134 ParamAttr ::= zeroext
145 OptParamAttrs ::= + _ | OptParamAttrs ParamAttr ;
154 | OptRetAttrs RetAttr
157 FuncAttr ::= noreturn
173 OptFuncAttrs ::= + _ | OptFuncAttrs FuncAttr ;
175 OptGC ::= + _ | gc STRINGCONSTANT ;
177 OptAlign ::= + _ | align EUINT64VAL ;
178 OptCAlign ::= + _ | ^ "," align EUINT64VAL ;
180 SectionString ::= section STRINGCONSTANT ;
182 OptSection ::= + _ | SectionString ;
184 GlobalVarAttributes ::= + _ | ^ "," GlobalVarAttribute GlobalVarAttributes ;
185 GlobalVarAttribute ::= SectionString | align EUINT64VAL ;
187 PrimType ::= INTTYPE | float | double | "ppc_fp128" | fp128 | "x86_fp80"
193 | Types OptAddrSpace ^ "*"
196 | Types "(" ^ ArgTypeListI ^ ")" OptFuncAttrs
197 | void "(" ^ ArgTypeListI ^ ")" OptFuncAttrs
198 | "[" ^ EUINT64VAL "x" Types ^ "]"
199 | "<" ^ EUINT64VAL "x" Types ^ ">"
202 | "<" ^ "{" TypeListI "}" ^ ">"
203 | "<" ^ "{" ^ "}" ^ ">"
206 ArgType ::= Types OptParamAttrs ;
208 ResultTypes ::= Types | void ;
210 ArgTypeList ::= ArgType | ArgTypeList ^ "," ArgType ;
212 ArgTypeListI ::= ArgTypeList | ArgTypeList ^ "," "..." | "..." | _ ;
214 TypeListI ::= Types | TypeListI ^ "," Types ;
216 ConstVal::= Types "[" ^ ConstVector ^ "]"
218 | Types "c" ^ STRINGCONSTANT
219 | Types "<" ^ ConstVector ^ ">"
220 | Types "{" ConstVector "}"
222 | Types "<" ^ "{" ConstVector "}" ^ ">"
223 | Types "<" ^ "{" ^ "}" ^ ">"
226 | Types SymbolicValueRef
228 | Types zeroinitializer
237 ConstExpr::= CastOps "(" ^ ConstVal to Types ^ ")"
238 | getelementptr OptInBounds "(" ^ ConstVal IndexList ^ ")"
239 | select "(" ^ ConstVal ^ "," ConstVal ^ "," ConstVal ^ ")"
240 | ArithmeticOps "(" ^ ConstVal ^ "," ConstVal ^ ")"
241 | LogicalOps "(" ^ ConstVal ^ "," ConstVal ^ ")"
242 | icmp IPredicates "(" ^ ConstVal ^ "," ConstVal ^ ")"
243 | fcmp FPredicates "(" ^ ConstVal ^ "," ConstVal ^ ")"
244 | extractelement "(" ^ ConstVal ^ "," ConstVal ^ ")"
245 | insertelement "(" ^ ConstVal ^ "," ConstVal ^ "," ConstVal ^ ")"
246 | shufflevector "(" ^ ConstVal ^ "," ConstVal ^ "," ConstVal ^ ")"
247 | extractvalue "(" ^ ConstVal ^ ConstantIndexList ^ ")"
248 | insertvalue "(" ^ ConstVal ^ "," ConstVal ^ ConstantIndexList ^ ")" ;
250 ConstVector ::= ConstVector ^ "," ConstVal | ConstVal ;
252 GlobalType ::= global | constant ;
254 ThreadLocal ::= - "thread_local" | _ ;
256 AliaseeRef ::= ResultTypes SymbolicValueRef
257 | bitcast "(" ^ AliaseeRef to Types ^ ")" ;
259 Module ::= +++ DefinitionList | --- _ ;
261 DefinitionList ::= - Definition | + DefinitionList Definition ;
264 ::= ^ ( +++++ define Function
265 | declare FunctionProto
266 | - module asm AsmBlock
267 | OptLocalAssign type Types
268 | OptGlobalAssign GVVisibilityStyle ThreadLocal OptAddrSpace GlobalType
269 ConstVal GlobalVarAttributes
270 | OptGlobalAssign GVInternalLinkage GVVisibilityStyle ThreadLocal OptAddrSpace
271 GlobalType ConstVal GlobalVarAttributes
272 | OptGlobalAssign GVExternalLinkage GVVisibilityStyle ThreadLocal OptAddrSpace
273 GlobalType Types GlobalVarAttributes
274 | OptGlobalAssign GVVisibilityStyle alias AliasLinkage AliaseeRef
275 | target TargetDefinition
276 | deplibs "=" LibrariesDefinition
279 AsmBlock ::= STRINGCONSTANT ;
281 TargetDefinition ::= triple "=" STRINGCONSTANT
282 | datalayout "=" STRINGCONSTANT ;
284 LibrariesDefinition ::= "[" ( LibList | _ ) "]";
286 LibList ::= LibList ^ "," STRINGCONSTANT | STRINGCONSTANT ;
288 ArgListH ::= ArgListH ^ "," Types OptParamAttrs OptLocalName
289 | Types OptParamAttrs OptLocalName ;
291 ArgList ::= ArgListH | ArgListH ^ "," "..." | "..." | _ ;
293 FunctionHeaderH ::= OptCallingConv OptRetAttrs ResultTypes
294 GlobalName ^ "(" ^ ArgList ^ ")"
295 OptFuncAttrs OptSection OptAlign OptGC ;
297 BEGIN ::= ( begin | "{" ) ^ "\n";
300 FunctionDefineLinkage GVVisibilityStyle FunctionHeaderH BEGIN ;
302 END ::= ^ ( end | "}" ) ^ "\n";
304 Function ::= BasicBlockList END ;
306 FunctionProto ::= FunctionDeclareLinkage GVVisibilityStyle FunctionHeaderH ;
308 OptSideEffect ::= _ | sideeffect ;
310 ConstValueRef ::= ESINT64VAL
318 | "<" ConstVector ">"
319 | "[" ConstVector "]"
321 | "c" ^ STRINGCONSTANT
322 | "{" ConstVector "}"
324 | "<" ^ "{" ConstVector "}" ^ ">"
325 | "<" ^ "{" ^ "}" ^ ">"
327 | asm OptSideEffect STRINGCONSTANT ^ "," STRINGCONSTANT ;
329 SymbolicValueRef ::= LOCALVALID
334 ValueRef ::= SymbolicValueRef | ConstValueRef;
336 ResolvedVal ::= Types ValueRef ;
338 ReturnedVal ::= ResolvedVal | ReturnedVal ^ "," ResolvedVal ;
340 BasicBlockList ::= BasicBlockList BasicBlock | FunctionHeader BasicBlock ;
342 BasicBlock ::= InstructionList OptLocalAssign BBTerminatorInst ;
344 InstructionList ::= +++ InstructionList Inst
346 | ^ LABELSTR ^ ":\n" ;
348 BBTerminatorInst ::= ^ " " ^
352 | br INTTYPE ValueRef ^ "," label ValueRef ^ "," label ValueRef
353 | switch IntType ValueRef ^ "," label ValueRef "[" JumpTable "]"
354 | switch IntType ValueRef ^ "," label ValueRef "[" ^ "]"
355 | invoke OptCallingConv ResultTypes ValueRef ^ "(" ^ ParamList ^ ")"
357 to label ValueRef unwind label ValueRef
359 | unreachable ) ^ "\n";
361 JumpTable ::= JumpTable IntType ConstValueRef ^ "," label ValueRef
362 | IntType ConstValueRef ^ "," label ValueRef ;
364 Inst ::= ^ " " ^ OptLocalAssign InstVal ^ "\n";
366 PHIList ::= Types "[" ValueRef ^ "," ValueRef "]"
367 | PHIList ^ "," "[" ValueRef ^ "," ValueRef "]" ;
369 ParamList ::= Types OptParamAttrs ValueRef OptParamAttrs
370 | label OptParamAttrs ValueRef OptParamAttrs
371 | ParamList ^ "," Types OptParamAttrs ValueRef OptParamAttrs
372 | ParamList ^ "," label OptParamAttrs ValueRef OptParamAttrs
375 IndexList ::= _ | IndexList ^ "," ResolvedVal ;
377 ConstantIndexList ::= "," EUINT64VAL | ConstantIndexList ^ "," EUINT64VAL ;
379 OptTailCall ::= tail call | call ;
382 ArithmeticOps Types ValueRef ^ "," ValueRef
383 | LogicalOps Types ValueRef ^ "," ValueRef
384 | icmp IPredicates Types ValueRef ^ "," ValueRef
385 | fcmp FPredicates Types ValueRef ^ "," ValueRef
386 | CastOps ResolvedVal to Types
387 | select ResolvedVal ^ "," ResolvedVal ^ "," ResolvedVal
388 | "va_arg" ResolvedVal ^ "," Types
389 | extractelement ResolvedVal ^ "," ResolvedVal
390 | insertelement ResolvedVal ^ "," ResolvedVal ^ "," ResolvedVal
391 | shufflevector ResolvedVal ^ "," ResolvedVal ^ "," ResolvedVal
393 | OptTailCall OptCallingConv ResultTypes ValueRef ^ "(" ^ ParamList ^ ")"
397 OptVolatile ::= - volatile | _ ;
398 OptExact ::= - exact | _ ;
399 OptNSW ::= - nsw | _ ;
400 OptNUW ::= - nuw | _ ;
401 OptNW ::= OptNUW OptNSW | OptNSW OptNUW ;
402 OptInBounds ::= - inbounds | _ ;
404 MemoryInst ::= malloc Types OptCAlign
405 | malloc Types ^ "," INTTYPE ValueRef OptCAlign
406 | alloca Types OptCAlign
407 | alloca Types ^ "," INTTYPE ValueRef OptCAlign
409 | OptVolatile load Types ValueRef OptCAlign
410 | OptVolatile store ResolvedVal ^ "," Types ValueRef OptCAlign
411 | getresult Types ValueRef ^ "," EUINT64VAL
412 | getelementptr OptInBounds Types ValueRef IndexList
413 | extractvalue Types ValueRef ^ ConstantIndexList
414 | insertvalue Types ValueRef ^ "," Types ValueRef ^ ConstantIndexList ;