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
11 TODO: Metadata, in all its forms
15 I ::= "title: LLVM assembly language\n"
16 ^ "status: experimental\n"
17 ^ "audience: LLVM developers\n"
23 Define rules for non-keyword tokens. This is currently just a bunch
24 of hacks. They don't cover many valid forms of tokens, and they also
25 generate some invalid forms of tokens. The LLVM parser has custom
26 C++ code to lex these; custom C++ code for emitting them would be
27 convenient, but polygen doesn't support that.
29 NonZeroDecimalDigit ::= 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 ;
30 DecimalDigit ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 ;
31 DecimalDigitSeq ::= DecimalDigit [^ DecimalDigitSeq ];
32 HexDigit ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
33 | a | b | c | d | e | f ;
34 HexDigitSeq ::= HexDigit [^ HexDigitSeq ];
35 StringChar ::= a | b | c | d | e | f | g | h | i | j | k | l | m
36 | n | o | p | q | r | s | t | u | v | w | x | y | z ;
37 StringConstantSeq ::= StringChar [^ StringConstantSeq ];
38 StringConstant ::= StringChar [^ StringConstantSeq ];
39 EUINT64VAL ::= NonZeroDecimalDigit [^ DecimalDigitSeq ];
40 ESINT64VAL ::= [ "-" ] ^ EUINT64VAL ;
41 EUAPINTVAL ::= EUINT64VAL ;
42 ESAPINTVAL ::= ESINT64VAL ;
43 LOCALVALID ::= "%" ^ DecimalDigitSeq ;
44 GLOBALVALID ::= "@" ^ DecimalDigitSeq ;
45 INTTYPE ::= "i" ^ EUINT64VAL ;
46 GLOBALVAR ::= "@" ^ StringConstant ;
47 LOCALVAR ::= "%" ^ StringConstant ;
48 STRINGCONSTANT ::= "\"" ^ StringConstant ^ "\"" ;
49 ATSTRINGCONSTANT ::= "@" ^ STRINGCONSTANT ;
50 PCTSTRINGCONSTANT ::= "%" ^ STRINGCONSTANT ;
51 LABELSTR ::= StringConstant ;
52 FPVAL ::= ESAPINTVAL ^ "." ^ EUAPINTVAL | "0x" ^ HexDigitSeq ;
55 The rest of this file is derived directly from llvmAsmParser.y.
58 ArithmeticOps ::= + OptNW add | fadd | OptNW sub | fsub | OptNW mul | fmul |
59 udiv | OptExact sdiv | fdiv | urem | srem | frem ;
60 LogicalOps ::= shl | lshr | ashr | and | or | xor;
61 CastOps ::= trunc | zext | sext | fptrunc | fpext | bitcast |
62 uitofp | sitofp | fptoui | fptosi | inttoptr | ptrtoint ;
64 IPredicates ::= eq | ne | slt | sgt | sle | sge | ult | ugt | ule | uge ;
66 FPredicates ::= oeq | one | olt | ogt | ole | oge | ord | uno | ueq | une
67 | ult | ugt | ule | uge | true | false ;
70 FPType ::= float | double | "ppc_fp128" | fp128 | "x86_fp80";
72 LocalName ::= LOCALVAR | STRINGCONSTANT | PCTSTRINGCONSTANT ;
73 OptLocalName ::= LocalName | _ ;
75 OptAddrSpace ::= - addrspace ^ "(" ^ EUINT64VAL ^ ")" | _ ;
77 OptLocalAssign ::= LocalName "=" | _ ;
79 GlobalName ::= GLOBALVAR | ATSTRINGCONSTANT ;
81 OptGlobalAssign ::= GlobalAssign | _ ;
83 GlobalAssign ::= GlobalName "=" ;
96 | "linker_private_weak"
112 FunctionDeclareLinkage
118 FunctionDefineLinkage
128 AliasLinkage ::= + _ | weak | "weak_odr" | internal ;
130 OptCallingConv ::= + _ |
138 ParamAttr ::= zeroext
149 OptParamAttrs ::= + _ | OptParamAttrs ParamAttr ;
158 | OptRetAttrs RetAttr
161 FuncAttr ::= noreturn
181 OptFuncAttrs ::= + _ | OptFuncAttrs FuncAttr ;
183 OptGC ::= + _ | gc STRINGCONSTANT ;
185 OptAlign ::= + _ | align EUINT64VAL ;
186 OptCAlign ::= + _ | ^ "," align EUINT64VAL ;
188 SectionString ::= section STRINGCONSTANT ;
190 OptSection ::= + _ | SectionString ;
192 GlobalVarAttributes ::= + _ | ^ "," GlobalVarAttribute GlobalVarAttributes ;
193 GlobalVarAttribute ::= SectionString | align EUINT64VAL ;
195 PrimType ::= INTTYPE | float | double | "ppc_fp128" | fp128 | "x86_fp80"
201 | Types OptAddrSpace ^ "*"
204 | Types "(" ^ ArgTypeListI ^ ")" OptFuncAttrs
205 | void "(" ^ ArgTypeListI ^ ")" OptFuncAttrs
206 | "[" ^ EUINT64VAL "x" Types ^ "]"
207 | "<" ^ EUINT64VAL "x" Types ^ ">"
210 | "<" ^ "{" TypeListI "}" ^ ">"
211 | "<" ^ "{" ^ "}" ^ ">"
214 ArgType ::= Types OptParamAttrs ;
216 ResultTypes ::= Types | void ;
218 ArgTypeList ::= ArgType | ArgTypeList ^ "," ArgType ;
220 ArgTypeListI ::= ArgTypeList | ArgTypeList ^ "," "..." | "..." | _ ;
222 TypeListI ::= Types | TypeListI ^ "," Types ;
224 ConstVal::= Types "[" ^ ConstVector ^ "]"
226 | Types "c" ^ STRINGCONSTANT
227 | Types "<" ^ ConstVector ^ ">"
228 | Types "{" ConstVector "}"
230 | Types "<" ^ "{" ConstVector "}" ^ ">"
231 | Types "<" ^ "{" ^ "}" ^ ">"
234 | Types SymbolicValueRef
236 | Types zeroinitializer
245 ConstExpr::= CastOps "(" ^ ConstVal to Types ^ ")"
246 | getelementptr OptInBounds "(" ^ ConstVal IndexList ^ ")"
247 | select "(" ^ ConstVal ^ "," ConstVal ^ "," ConstVal ^ ")"
248 | ArithmeticOps "(" ^ ConstVal ^ "," ConstVal ^ ")"
249 | LogicalOps "(" ^ ConstVal ^ "," ConstVal ^ ")"
250 | icmp IPredicates "(" ^ ConstVal ^ "," ConstVal ^ ")"
251 | fcmp FPredicates "(" ^ ConstVal ^ "," ConstVal ^ ")"
252 | extractelement "(" ^ ConstVal ^ "," ConstVal ^ ")"
253 | insertelement "(" ^ ConstVal ^ "," ConstVal ^ "," ConstVal ^ ")"
254 | shufflevector "(" ^ ConstVal ^ "," ConstVal ^ "," ConstVal ^ ")"
255 | extractvalue "(" ^ ConstVal ^ ConstantIndexList ^ ")"
256 | insertvalue "(" ^ ConstVal ^ "," ConstVal ^ ConstantIndexList ^ ")" ;
258 ConstVector ::= ConstVector ^ "," ConstVal | ConstVal ;
260 GlobalType ::= global | constant ;
262 ThreadLocal ::= - "thread_local" | _ ;
264 AliaseeRef ::= ResultTypes SymbolicValueRef
265 | bitcast "(" ^ AliaseeRef to Types ^ ")" ;
267 Module ::= +++ DefinitionList | --- _ ;
269 DefinitionList ::= - Definition | + DefinitionList Definition ;
272 ::= ^ ( +++++ define Function
273 | declare FunctionProto
274 | - module asm AsmBlock
275 | OptLocalAssign type Types
276 | OptGlobalAssign GVVisibilityStyle ThreadLocal OptAddrSpace GlobalType
277 ConstVal GlobalVarAttributes
278 | OptGlobalAssign GVInternalLinkage GVVisibilityStyle ThreadLocal OptAddrSpace
279 GlobalType ConstVal GlobalVarAttributes
280 | OptGlobalAssign GVExternalLinkage GVVisibilityStyle ThreadLocal OptAddrSpace
281 GlobalType Types GlobalVarAttributes
282 | OptGlobalAssign GVVisibilityStyle alias AliasLinkage AliaseeRef
283 | target TargetDefinition
284 | deplibs "=" LibrariesDefinition
287 AsmBlock ::= STRINGCONSTANT ;
289 TargetDefinition ::= triple "=" STRINGCONSTANT
290 | datalayout "=" STRINGCONSTANT ;
292 LibrariesDefinition ::= "[" ( LibList | _ ) "]";
294 LibList ::= LibList ^ "," STRINGCONSTANT | STRINGCONSTANT ;
296 ArgListH ::= ArgListH ^ "," Types OptParamAttrs OptLocalName
297 | Types OptParamAttrs OptLocalName ;
299 ArgList ::= ArgListH | ArgListH ^ "," "..." | "..." | _ ;
301 FunctionHeaderH ::= OptCallingConv OptRetAttrs ResultTypes
302 GlobalName ^ "(" ^ ArgList ^ ")"
303 OptFuncAttrs OptSection OptAlign OptGC ;
305 BEGIN ::= ( begin | "{" ) ^ "\n";
308 FunctionDefineLinkage GVVisibilityStyle FunctionHeaderH BEGIN ;
310 END ::= ^ ( end | "}" ) ^ "\n";
312 Function ::= BasicBlockList END ;
314 FunctionProto ::= FunctionDeclareLinkage GVVisibilityStyle FunctionHeaderH ;
316 OptSideEffect ::= _ | sideeffect ;
318 ConstValueRef ::= ESINT64VAL
326 | "<" ConstVector ">"
327 | "[" ConstVector "]"
329 | "c" ^ STRINGCONSTANT
330 | "{" ConstVector "}"
332 | "<" ^ "{" ConstVector "}" ^ ">"
333 | "<" ^ "{" ^ "}" ^ ">"
335 | asm OptSideEffect STRINGCONSTANT ^ "," STRINGCONSTANT ;
337 SymbolicValueRef ::= LOCALVALID
342 ValueRef ::= SymbolicValueRef | ConstValueRef;
344 ResolvedVal ::= Types ValueRef ;
346 ReturnedVal ::= ResolvedVal | ReturnedVal ^ "," ResolvedVal ;
348 BasicBlockList ::= BasicBlockList BasicBlock | FunctionHeader BasicBlock ;
350 BasicBlock ::= InstructionList OptLocalAssign BBTerminatorInst ;
352 InstructionList ::= +++ InstructionList Inst
354 | ^ LABELSTR ^ ":\n" ;
356 BBTerminatorInst ::= ^ " " ^
360 | br INTTYPE ValueRef ^ "," label ValueRef ^ "," label ValueRef
361 | switch IntType ValueRef ^ "," label ValueRef "[" JumpTable "]"
362 | switch IntType ValueRef ^ "," label ValueRef "[" ^ "]"
363 | invoke OptCallingConv ResultTypes ValueRef ^ "(" ^ ParamList ^ ")"
365 to label ValueRef unwind label ValueRef
367 | unreachable ) ^ "\n";
369 JumpTable ::= JumpTable IntType ConstValueRef ^ "," label ValueRef
370 | IntType ConstValueRef ^ "," label ValueRef ;
372 Inst ::= ^ " " ^ OptLocalAssign InstVal ^ "\n";
374 PHIList ::= Types "[" ValueRef ^ "," ValueRef "]"
375 | PHIList ^ "," "[" ValueRef ^ "," ValueRef "]" ;
377 ParamList ::= Types OptParamAttrs ValueRef OptParamAttrs
378 | label OptParamAttrs ValueRef OptParamAttrs
379 | ParamList ^ "," Types OptParamAttrs ValueRef OptParamAttrs
380 | ParamList ^ "," label OptParamAttrs ValueRef OptParamAttrs
383 IndexList ::= _ | IndexList ^ "," ResolvedVal ;
385 ConstantIndexList ::= "," EUINT64VAL | ConstantIndexList ^ "," EUINT64VAL ;
387 OptTailCall ::= tail call | call ;
390 ArithmeticOps Types ValueRef ^ "," ValueRef
391 | LogicalOps Types ValueRef ^ "," ValueRef
392 | icmp IPredicates Types ValueRef ^ "," ValueRef
393 | fcmp FPredicates Types ValueRef ^ "," ValueRef
394 | CastOps ResolvedVal to Types
395 | select ResolvedVal ^ "," ResolvedVal ^ "," ResolvedVal
396 | "va_arg" ResolvedVal ^ "," Types
397 | extractelement ResolvedVal ^ "," ResolvedVal
398 | insertelement ResolvedVal ^ "," ResolvedVal ^ "," ResolvedVal
399 | shufflevector ResolvedVal ^ "," ResolvedVal ^ "," ResolvedVal
401 | OptTailCall OptCallingConv ResultTypes ValueRef ^ "(" ^ ParamList ^ ")"
405 OptVolatile ::= - volatile | _ ;
406 OptExact ::= - exact | _ ;
407 OptNSW ::= - nsw | _ ;
408 OptNUW ::= - nuw | _ ;
409 OptNW ::= OptNUW OptNSW | OptNSW OptNUW ;
410 OptInBounds ::= - inbounds | _ ;
412 MemoryInst ::= malloc Types OptCAlign
413 | malloc Types ^ "," INTTYPE ValueRef OptCAlign
414 | alloca Types OptCAlign
415 | alloca Types ^ "," INTTYPE ValueRef OptCAlign
417 | OptVolatile load Types ValueRef OptCAlign
418 | OptVolatile store ResolvedVal ^ "," Types ValueRef OptCAlign
419 | getresult Types ValueRef ^ "," EUINT64VAL
420 | getelementptr OptInBounds Types ValueRef IndexList
421 | extractvalue Types ValueRef ^ ConstantIndexList
422 | insertvalue Types ValueRef ^ "," Types ValueRef ^ ConstantIndexList ;