Reimplement Parser

[idavis]

Lexing

• Basic raw tokens
• Basic cooked tokens
• Cook pragma and annotation

Parsing

• Version Add initial AST and parser infrastructure #2148
• Include Add initial AST and parser infrastructure #2148
• pragma Add initial AST and parser infrastructure #2148
• annotation Add initial AST and parser infrastructure #2148
• Statements -
  • alias Add ability to parse aliases, control flow statements, and expression statements to QASM3 parser #2191
  • array concatenation Add ability to parse aliases, control flow statements, and expression statements to QASM3 parser #2191
  • assignment Add ability to parse aliases, control flow statements, and expression statements to QASM3 parser #2191
  • barrier Add missing statements to QASM3 parser #2200
  • box Add missing statements to QASM3 parser #2200
  • break Add ability to parse aliases, control flow statements, and expression statements to QASM3 parser #2191
  • cal Add missing statements to QASM3 parser #2200
  • calibration grammar Add missing statements to QASM3 parser #2200
  • classical decl
    • Bit, int, uint, float, angle, bool, duration, stretch Adding classical & io decls to the parser, stubbing out array decls #2165
    • Arrays Add array and measurement declaration statements #2180
    • Measurement result Add array and measurement declaration statements #2180
  • const decls Adding classical & io decls to the parser, stubbing out array decls #2165
  • continue Add ability to parse aliases, control flow statements, and expression statements to QASM3 parser #2191
  • def Add subroutine, return, and gate defs, externs, and old style decls #2176
  • defcal Add missing statements to QASM3 parser #2200
  • delay Add missing statements to QASM3 parser #2200
  • end Add ability to parse aliases, control flow statements, and expression statements to QASM3 parser #2191
  • expression statement Add ability to parse aliases, control flow statements, and expression statements to QASM3 parser #2191
  • extern Add subroutine, return, and gate defs, externs, and old style decls #2176
  • for loops Add ability to parse aliases, control flow statements, and expression statements to QASM3 parser #2191
  • gate call Add missing statements to QASM3 parser #2200
  • gate statement Add subroutine, return, and gate defs, externs, and old style decls #2176
  • gphase Add missing statements to QASM3 parser #2200
  • if statement Add ability to parse aliases, control flow statements, and expression statements to QASM3 parser #2191
  • IO decls Adding classical & io decls to the parser, stubbing out array decls #2165
  • measure arrow Add missing statements to QASM3 parser #2200
  • old style decl Add subroutine, return, and gate defs, externs, and old style decls #2176
  • quantum decl Add ability to parse quantum decls and lit exprs #2160
  • reset Add missing statements to QASM3 parser #2200
  • return Add subroutine, return, and gate defs, externs, and old style decls #2176
  • switch statements QASM3 - Parse switch statements #2178
  • while loops Add ability to parse aliases, control flow statements, and expression statements to QASM3 parser #2191
  • gate def Add subroutine, return, and gate defs, externs, and old style decls #2176
• Precedence Implement Pratt Parsing for Qasm3 parser #2166
• Expressions -
  • ident Add initial AST and parser infrastructure #2148
  • unary Implement Pratt Parsing for Qasm3 parser #2166
  • binary Implement Pratt Parsing for Qasm3 parser #2166
  • literal Add ability to parse quantum decls and lit exprs #2160
  • timing literal Add missing statements to QASM3 parser #2200
  • function call Implement Pratt Parsing for Qasm3 parser #2166
  • cast Implement Pratt Parsing for Qasm3 parser #2166
  • assignment Make assignment a StmtKind #2216
  • assignment op Make assignment a StmtKind #2216
• Check for cyclic includes
• Document parsing functions with grammar defs and spec notes Add grammar docstrings to QASM3 parser #2222

Lowering

• Statements -
  • alias Implement base declarations and binary expression lowering #2221
  • array concatenation
  • assignment
    • simple Implement base declarations and binary expression lowering #2221
    • indexed Implement base declarations and binary expression lowering #2221
  • barrier
  • binary expressions
    • angle, bit, bool, float, int, uint Implement base declarations and binary expression lowering #2221
    • complex
    • duration
  • box
  • break
  • cal
  • calibration grammar
  • classical decls with default and literal initializers
    • Bit, int, uint, float, angle, bool, duration, stretch Implement base declarations and binary expression lowering #2221
    • creg
    • qreg
    • Arrays
    • Measurement result
  • classical decls with all expressions and casting Add initial semantic analysis/transform #2214
    • Bit, int, uint, float, angle, bool, duration, stretch Implement base declarations and binary expression lowering #2221
    • creg
    • qreg
    • Arrays
    • Measurement result
  • continue
  • def
  • defcal
  • delay
  • end
  • expression statement Implement base declarations and binary expression lowering #2221
  • extern
  • for loops
  • gate call
    • broadcast
  • gphase
  • if statement
  • IO decls
  • measure arrow
  • old style decl
  • quantum decl
  • reset
  • return
  • switch statements
  • while loops
  • gate def
  • Return semantic error on anonymous blocks and switch statements if version is set to 3.0 as they were introduced in 3.1

Compiling

• Statements -
  • alias
  • array concatenation
  • assignment
  • barrier
  • box
    • pragma impls
  • break
  • cal
  • calibration grammar
  • classical decls
    • Bit, int, float, angle, bool, duration, stretch
    • uint 63 bitness with 64 bigint. Separate ops for uint?
    • creg
    • qreg
    • Arrays
    • Measurement result
  • def
  • end
  • expression statement
  • extern
  • for loops
  • gate call
  • gphase
  • if statement
  • IO decls
  • measure arrow
  • old style decl
  • quantum decl
  • reset
  • return
  • switch statements
  • while loops
  • gate def
    • simulatable
      out of scope:
  • delay
  • barrier?