praveenmunagapati/grammar

BNF grammar for LLVM IR assembly.

Modules

01_modules.bnf

• Source filename
• Target specifiers
• Module-level inline assembly
• Type definitions
• Comdat definitions
• Global variables
• Functions
• Attribute group definitions
• Metadata definitions

Identifiers

02_identifiers.bnf

• Global identifier
• Local identifier
• Label identifier
• Attribute group ID
• Comdat name
• Metadata identifier

Types

03_types.bnf

• Void type
• Function type
• Integer type
• Floating-point type
• Pointer type
• Vector type
• Label type
• Metadata type
• Array type
• Struct type
• Named type

Values

04_values.bnf

Constants

05_constants.bnf

• Integer constant
• Floating-point constant
• Pointer constant
• Vector constant
• Array constant
• Struct constant
• Zero initializer constant
• Undefined value constant

Constant expressions

06_constant_expressions.bnf

• Binary expressions
• Bitwise expressions
• Vector expressions
• Aggregate expressions
• Memory expressions
• Conversion expressions
• Other expressions

Basic blocks

07_basic_blocks.bnf

Instructions

08_instructions.bnf

• Binary instructions
• Bitwise instructions
• Vector instructions
• Aggregate instructions
• Memory instructions
• Conversion instructions
• Other instructions

Terminators

09_terminators.bnf