Check

Table of contents

Overview

Subtopics

Postorder processing

Key IR concepts

Instruction operands

Parameters and arguments

SemIR textual format

Raw form

Formatted IR

Instructions

Top-level entities

Core loop

Node stack

Delayed evaluation (not yet implemented)

Templates (not yet implemented)

Rewrites

Types

Type printing (not yet implemented)

Expression categories

ExprCategory::NotExpression

ExprCategory::Value

ExprCategory::DurableReference and ExprCategory::EphemeralReference

ExprCategory::Initializing

ExprCategory::Mixed

Value bindings

Handling Parse::Tree errors (not yet implemented)

Alternatives considered