2 types derived from LabelSymbol
Microsoft.CodeAnalysis.CSharp (2)
Symbols\Source\SourceLabelSymbol.cs (1)
13internal sealed class SourceLabelSymbol : LabelSymbol
Symbols\Synthesized\GeneratedLabelSymbol.cs (1)
12internal sealed class GeneratedLabelSymbol : LabelSymbol
428 references to LabelSymbol
Microsoft.CodeAnalysis.CSharp (428)
Binder\Binder_Expressions.cs (2)
2457var symbol = (LabelSymbol)result.Symbols.First();
Binder\Binder_Patterns.cs (4)
54LabelSymbol whenTrueLabel = new GeneratedLabelSymbol("isPatternSuccess"); 55LabelSymbol whenFalseLabel = new GeneratedLabelSymbol("isPatternFailure"); 129static bool? getConstantResult(BoundDecisionDag decisionDag, bool negated, LabelSymbol whenTrueLabel, LabelSymbol whenFalseLabel)
Binder\Binder_Statements.cs (5)
480var symbol = result.Symbols.Count > 0 && result.IsMultiViable ? 481(LabelSymbol)result.Symbols.First() : 522var symbol = boundLabel.Label; 4069internal virtual ImmutableArray<LabelSymbol> Labels 4073return ImmutableArray<LabelSymbol>.Empty;
Binder\BlockBinder.cs (3)
51protected override ImmutableArray<LabelSymbol> BuildLabels() 53ArrayBuilder<LabelSymbol> labels = null; 55return (labels != null) ? labels.ToImmutableAndFree() : ImmutableArray<LabelSymbol>.Empty;
Binder\DecisionDagBuilder.cs (11)
61private readonly LabelSymbol _defaultLabel; 69private DecisionDagBuilder(CSharpCompilation compilation, LabelSymbol defaultLabel, bool forLowering, BindingDiagnosticBag diagnostics) 86LabelSymbol defaultLabel, 102LabelSymbol defaultLabel, 118LabelSymbol whenTrueLabel, 119LabelSymbol whenFalseLabel, 131LabelSymbol whenTrueLabel) 189LabelSymbol label) 1033BoundDecisionDagNode finalState(SyntaxNode syntax, LabelSymbol label, ImmutableArray<BoundPatternBinding> bindings) 1992public readonly LabelSymbol CaseLabel; 1999LabelSymbol CaseLabel)
Binder\EmbeddedStatementBinder.cs (3)
53protected override ImmutableArray<LabelSymbol> BuildLabels() 55ArrayBuilder<LabelSymbol> labels = null; 58return labels?.ToImmutableAndFree() ?? ImmutableArray<LabelSymbol>.Empty;
Binder\LocalScopeBinder.cs (11)
23private ImmutableArray<LabelSymbol> _labels; 71internal sealed override ImmutableArray<LabelSymbol> Labels 77ImmutableInterlocked.InterlockedCompareExchange(ref _labels, BuildLabels(), default(ImmutableArray<LabelSymbol>)); 84protected virtual ImmutableArray<LabelSymbol> BuildLabels() 86return ImmutableArray<LabelSymbol>.Empty; 117private SmallDictionary<string, LabelSymbol> _lazyLabelsMap; 118private SmallDictionary<string, LabelSymbol> LabelsMap 353protected void BuildLabels(SyntaxList<StatementSyntax> statements, ref ArrayBuilder<LabelSymbol> labels) 362internal static void BuildLabels(MethodSymbol containingMethod, StatementSyntax statement, ref ArrayBuilder<LabelSymbol> labels) 369labels = ArrayBuilder<LabelSymbol>.GetInstance(); 432LabelSymbol labelSymbol;
Binder\ScriptLocalScopeBinder.cs (5)
29protected override ImmutableArray<LabelSymbol> BuildLabels() 57private ImmutableArray<LabelSymbol> _lazyLabels; 70internal ImmutableArray<LabelSymbol> GetLabels() 79private static ImmutableArray<LabelSymbol> GetLabels(SynthesizedInteractiveInitializerMethod scriptInitializer, CompilationUnitSyntax syntax) 81var builder = ArrayBuilder<LabelSymbol>.GetInstance();
Binder\SimpleProgramBinder.cs (3)
64protected override ImmutableArray<LabelSymbol> BuildLabels() 66ArrayBuilder<LabelSymbol>? labels = null; 76return labels?.ToImmutableAndFree() ?? ImmutableArray<LabelSymbol>.Empty;
Binder\SimpleProgramUnitBinder.cs (2)
44protected override ImmutableArray<LabelSymbol> BuildLabels() 46return ImmutableArray<LabelSymbol>.Empty;
Binder\SwitchBinder.cs (9)
93private static Dictionary<object, SourceLabelSymbol> BuildLabelsByValue(ImmutableArray<LabelSymbol> labels) 174protected override ImmutableArray<LabelSymbol> BuildLabels() 179ArrayBuilder<LabelSymbol> labels = ArrayBuilder<LabelSymbol>.GetInstance(); 200private void BuildSwitchLabels(SyntaxList<SwitchLabelSyntax> labelsSyntax, Binder sectionBinder, ArrayBuilder<LabelSymbol> labels, BindingDiagnosticBag tempDiagnosticBag) 449private Dictionary<SyntaxNode, LabelSymbol> _labelsByNode; 450protected Dictionary<SyntaxNode, LabelSymbol> LabelsByNode 456var result = new Dictionary<SyntaxNode, LabelSymbol>(); 457foreach (var label in Labels)
Binder\SwitchBinder_Patterns.cs (4)
78static bool isSubsumed(BoundSwitchLabel switchLabel, ImmutableHashSet<LabelSymbol> reachableLabels) 190Dictionary<SyntaxNode, LabelSymbol> labelsByNode = LabelsByNode; 194LabelSymbol label = labelsByNode[labelSyntax]; 230LabelSymbol label,
Binder\SwitchExpressionBinder.cs (2)
34bool reportedNotExhaustive = CheckSwitchExpressionExhaustive(node, boundInputExpression, switchArms, out BoundDecisionDag decisionDag, out LabelSymbol? defaultLabel, diagnostics); 59[NotNullWhen(true)] out LabelSymbol? defaultLabel,
BoundTree\BoundDecisionDag.cs (3)
21private ImmutableHashSet<LabelSymbol> _reachableLabels; 46public ImmutableHashSet<LabelSymbol> ReachableLabels 52var result = ImmutableHashSet.CreateBuilder<LabelSymbol>(Symbols.SymbolEqualityComparer.ConsiderEverything);
BoundTree\BoundStatementExtensions.cs (1)
28internal static void AssertIsLabeledStatementWithLabel(this BoundStatement node, LabelSymbol label)
BoundTree\BoundSwitchExpression.cs (1)
12public BoundDecisionDag GetDecisionDagForLowering(CSharpCompilation compilation, out LabelSymbol? defaultLabel)
BoundTree\BoundTreeRewriter.cs (3)
80public virtual LabelSymbol? VisitLabelSymbol(LabelSymbol? symbol) => symbol; 129return VisitLabelSymbol((LabelSymbol)symbol);
BoundTree\Constructors.cs (2)
576public BoundGotoStatement(SyntaxNode syntax, LabelSymbol label, bool hasErrors = false) 616public BoundTryStatement(SyntaxNode syntax, BoundBlock tryBlock, ImmutableArray<BoundCatchBlock> catchBlocks, BoundBlock? finallyBlockOpt, LabelSymbol? finallyLabelOpt = null)
BoundTree\LengthBasedStringSwitchData.cs (26)
87public readonly LabelSymbol? NullCaseLabel; 88public readonly ImmutableArray<(int value, LabelSymbol label)> LengthCaseLabels; 90public LengthJumpTable(LabelSymbol? nullCaseLabel, ImmutableArray<(int value, LabelSymbol label)> lengthCaseLabels) 101public readonly LabelSymbol Label; 103public readonly ImmutableArray<(char value, LabelSymbol label)> CharCaseLabels; 105internal CharJumpTable(LabelSymbol label, int selectedCharPosition, ImmutableArray<(char value, LabelSymbol label)> charCaseLabels) 117public readonly LabelSymbol Label; 118public readonly ImmutableArray<(string value, LabelSymbol label)> StringCaseLabels; 120internal StringJumpTable(LabelSymbol label, ImmutableArray<(string value, LabelSymbol label)> stringCaseLabels) 137internal static LengthBasedStringSwitchData Create(ImmutableArray<(ConstantValue value, LabelSymbol label)> inputCases) 141LabelSymbol? nullCaseLabel = null; 151var lengthCaseLabels = ArrayBuilder<(int value, LabelSymbol label)>.GetInstance(); 157var labelForLength = CreateAndRegisterCharJumpTables(stringLength, group.SelectAsArray(c => (c.value.StringValue!, c.label)), charJumpTables, stringJumpTables); 165private static LabelSymbol CreateAndRegisterCharJumpTables(int stringLength, ImmutableArray<(string value, LabelSymbol label)> casesWithGivenLength, 186var charCaseLabels = ArrayBuilder<(char value, LabelSymbol label)>.GetInstance(); 191LabelSymbol label = (stringLength == 1) 202static int selectBestCharacterIndex(int stringLength, ImmutableArray<(string value, LabelSymbol label)> caseLabels) 229static (int singleEntryCount, int largestBucket) positionScore(int position, ImmutableArray<(string value, LabelSymbol label)> caseLabels) 253private static LabelSymbol CreateAndRegisterStringJumpTable(ImmutableArray<(string value, LabelSymbol label)> cases, ArrayBuilder<StringJumpTable> stringJumpTables) 290void dump<T>(ImmutableArray<(T value, LabelSymbol label)> cases) 298string readable(LabelSymbol? label)
CodeGen\EmitStatement.cs (10)
1251LabelSymbol fallThroughLabel, 1342LabelSymbol fallThroughLabel, 1382void emitLengthDispatch(LengthBasedStringSwitchData lengthBasedSwitchInfo, LocalOrParameter keyTemp, LabelSymbol fallThroughLabel, SyntaxNode syntaxNode) 1419void emitCharDispatches(LengthBasedStringSwitchData lengthBasedSwitchInfo, LocalOrParameter keyTemp, LabelSymbol fallThroughLabel, SyntaxNode syntaxNode) 1460void emitFinalDispatches(LengthBasedStringSwitchData lengthBasedSwitchInfo, LocalOrParameter keyTemp, TypeSymbol keyType, LabelSymbol fallThroughLabel, SyntaxNode syntaxNode) 1487LabelSymbol fallThroughLabel, 1940private Dictionary<LabelSymbol, GeneratedLabelSymbol> _labelClones; 1987var casesBuilder = ArrayBuilder<(ConstantValue, LabelSymbol)>.GetInstance(); 2009private GeneratedLabelSymbol GetLabelClone(LabelSymbol label) 2014_labelClones = labelClones = new Dictionary<LabelSymbol, GeneratedLabelSymbol>();
CodeGen\Optimizer.cs (3)
1442foreach ((_, LabelSymbol label) in node.Cases) 1828private void RecordBranch(LabelSymbol label) 1845private void RecordLabel(LabelSymbol label)
Compilation\MemberSemanticModel.cs (2)
764foreach (var label in binder.Labels) 789foreach (var label in binder.Labels)
Compiler\MethodBodySynthesizer.Lowered.cs (4)
58LabelSymbol again = F.GenerateLabel("again"); 59LabelSymbol start = F.GenerateLabel("start"); 156LabelSymbol again = F.GenerateLabel("again"); 157LabelSymbol start = F.GenerateLabel("start");
FlowAnalysis\AbstractFlowPass.cs (11)
79private readonly PooledDictionary<LabelSymbol, TLocalState> _labels; 210_labels = PooledDictionary<LabelSymbol, TLocalState>.GetInstance(); 399public readonly LabelSymbol? Label; 402public PendingBranch(BoundNode branch, TLocalState state, LabelSymbol label, bool isConditionalState = false, TLocalState stateWhenTrue = default, TLocalState stateWhenFalse = default) 513protected virtual TLocalState LabelState(LabelSymbol label) 722private void ResolveBreaks(TLocalState breakState, LabelSymbol label) 731private void ResolveContinues(LabelSymbol continueLabel) 744private void JoinPendingBranches(ref TLocalState state, LabelSymbol label) 772private bool ResolveBranches(LabelSymbol label, BoundStatement? target) 791protected virtual void ResolveBranch(PendingBranch pending, LabelSymbol label, BoundStatement? target, ref bool labelStateChanged) 3352protected void VisitLabel(LabelSymbol label, BoundStatement node)
FlowAnalysis\AbstractFlowPass.PendingBranchesCollection.cs (5)
17private PooledDictionary<LabelSymbol, ArrayBuilder<PendingBranch>>? _labeledBranches; 60internal ArrayBuilder<PendingBranch>? GetAndRemoveBranches(LabelSymbol? label) 88var label = branch.Label; 113private ArrayBuilder<PendingBranch> GetOrAddLabeledBranches(LabelSymbol label) 117_labeledBranches = PooledDictionary<LabelSymbol, ArrayBuilder<PendingBranch>>.GetInstance();
FlowAnalysis\AbstractFlowPass_Switch.cs (1)
136foreach ((_, LabelSymbol label) in node.Cases)
FlowAnalysis\AlwaysAssignedWalker.cs (4)
26private readonly HashSet<LabelSymbol> _labelsInside = new HashSet<LabelSymbol>(); 82protected override void ResolveBranch(PendingBranch pending, LabelSymbol label, BoundStatement target, ref bool labelStateChanged) 105private void ResolveLabel(BoundNode node, LabelSymbol label)
FlowAnalysis\ControlFlowPass.cs (5)
19private readonly PooledDictionary<LabelSymbol, BoundNode> _labelsDefined = PooledDictionary<LabelSymbol, BoundNode>.GetInstance(); 20private readonly PooledHashSet<LabelSymbol> _labelsUsed = PooledHashSet<LabelSymbol>.GetInstance(); 112protected override LocalState LabelState(LabelSymbol label)
FlowAnalysis\ExitPointsWalker.cs (2)
20private readonly ArrayBuilder<LabelSymbol> _labelsInside; 26_labelsInside = new ArrayBuilder<LabelSymbol>();
FlowAnalysis\NullableWalker_Patterns.cs (5)
374private PooledDictionary<LabelSymbol, (LocalState state, bool believedReachable)> LearnFromDecisionDag( 416var labelStateMap = PooledDictionary<LabelSymbol, (LocalState state, bool believedReachable)>.GetInstance(); 987PooledDictionary<LabelSymbol, (LocalState state, bool believedReachable)> labelStateMap, 1032PooledDictionary<LabelSymbol, (LocalState state, bool believedReachable)> labelStateMap, 1044LocalState getStateForArm(BoundSwitchExpressionArm arm, PooledDictionary<LabelSymbol, (LocalState state, bool believedReachable)> labelStateMap)
Generated\BoundNodes.xml.Generated.cs (108)
3680public BoundBreakStatement(SyntaxNode syntax, LabelSymbol label, bool hasErrors) 3689public BoundBreakStatement(SyntaxNode syntax, LabelSymbol label) 3698public LabelSymbol Label { get; } 3703public BoundBreakStatement Update(LabelSymbol label) 3717public BoundContinueStatement(SyntaxNode syntax, LabelSymbol label, bool hasErrors) 3726public BoundContinueStatement(SyntaxNode syntax, LabelSymbol label) 3735public LabelSymbol Label { get; } 3740public BoundContinueStatement Update(LabelSymbol label) 3754public BoundSwitchStatement(SyntaxNode syntax, BoundExpression expression, ImmutableArray<LocalSymbol> innerLocals, ImmutableArray<MethodSymbol> innerLocalFunctions, ImmutableArray<BoundSwitchSection> switchSections, BoundDecisionDag reachabilityDecisionDag, BoundSwitchLabel? defaultLabel, LabelSymbol breakLabel, bool hasErrors = false) 3780public LabelSymbol BreakLabel { get; } 3785public BoundSwitchStatement Update(BoundExpression expression, ImmutableArray<LocalSymbol> innerLocals, ImmutableArray<MethodSymbol> innerLocalFunctions, ImmutableArray<BoundSwitchSection> switchSections, BoundDecisionDag reachabilityDecisionDag, BoundSwitchLabel? defaultLabel, LabelSymbol breakLabel) 3799public BoundSwitchDispatch(SyntaxNode syntax, BoundExpression expression, ImmutableArray<(ConstantValue value, LabelSymbol label)> cases, LabelSymbol defaultLabel, LengthBasedStringSwitchData? lengthBasedStringSwitchDataOpt, bool hasErrors = false) 3814public ImmutableArray<(ConstantValue value, LabelSymbol label)> Cases { get; } 3815public LabelSymbol DefaultLabel { get; } 3821public BoundSwitchDispatch Update(BoundExpression expression, ImmutableArray<(ConstantValue value, LabelSymbol label)> cases, LabelSymbol defaultLabel, LengthBasedStringSwitchData? lengthBasedStringSwitchDataOpt) 3868protected BoundLoopStatement(BoundKind kind, SyntaxNode syntax, LabelSymbol breakLabel, LabelSymbol continueLabel, bool hasErrors) 3879protected BoundLoopStatement(BoundKind kind, SyntaxNode syntax, LabelSymbol breakLabel, LabelSymbol continueLabel) 3890public LabelSymbol BreakLabel { get; } 3891public LabelSymbol ContinueLabel { get; } 3896protected BoundConditionalLoopStatement(BoundKind kind, SyntaxNode syntax, ImmutableArray<LocalSymbol> locals, BoundExpression condition, BoundStatement body, LabelSymbol breakLabel, LabelSymbol continueLabel, bool hasErrors = false) 3918public BoundDoStatement(SyntaxNode syntax, ImmutableArray<LocalSymbol> locals, BoundExpression condition, BoundStatement body, LabelSymbol breakLabel, LabelSymbol continueLabel, bool hasErrors = false) 3934public BoundDoStatement Update(ImmutableArray<LocalSymbol> locals, BoundExpression condition, BoundStatement body, LabelSymbol breakLabel, LabelSymbol continueLabel) 3948public BoundWhileStatement(SyntaxNode syntax, ImmutableArray<LocalSymbol> locals, BoundExpression condition, BoundStatement body, LabelSymbol breakLabel, LabelSymbol continueLabel, bool hasErrors = false) 3964public BoundWhileStatement Update(ImmutableArray<LocalSymbol> locals, BoundExpression condition, BoundStatement body, LabelSymbol breakLabel, LabelSymbol continueLabel) 3978public BoundForStatement(SyntaxNode syntax, ImmutableArray<LocalSymbol> outerLocals, BoundStatement? initializer, ImmutableArray<LocalSymbol> innerLocals, BoundExpression? condition, BoundStatement? increment, BoundStatement body, LabelSymbol breakLabel, LabelSymbol continueLabel, bool hasErrors = false) 4006public BoundForStatement Update(ImmutableArray<LocalSymbol> outerLocals, BoundStatement? initializer, ImmutableArray<LocalSymbol> innerLocals, BoundExpression? condition, BoundStatement? increment, BoundStatement body, LabelSymbol breakLabel, LabelSymbol continueLabel) 4020public BoundForEachStatement(SyntaxNode syntax, ForEachEnumeratorInfo? enumeratorInfoOpt, BoundValuePlaceholder? elementPlaceholder, BoundExpression? elementConversion, BoundTypeExpression iterationVariableType, ImmutableArray<LocalSymbol> iterationVariables, BoundExpression? iterationErrorExpressionOpt, BoundExpression expression, BoundForEachDeconstructStep? deconstructionOpt, BoundAwaitableInfo? awaitOpt, BoundStatement body, LabelSymbol breakLabel, LabelSymbol continueLabel, bool hasErrors = false) 4057public BoundForEachStatement Update(ForEachEnumeratorInfo? enumeratorInfoOpt, BoundValuePlaceholder? elementPlaceholder, BoundExpression? elementConversion, BoundTypeExpression iterationVariableType, ImmutableArray<LocalSymbol> iterationVariables, BoundExpression? iterationErrorExpressionOpt, BoundExpression expression, BoundForEachDeconstructStep? deconstructionOpt, BoundAwaitableInfo? awaitOpt, BoundStatement body, LabelSymbol breakLabel, LabelSymbol continueLabel) 4206public BoundTryStatement(SyntaxNode syntax, BoundBlock tryBlock, ImmutableArray<BoundCatchBlock> catchBlocks, BoundBlock? finallyBlockOpt, LabelSymbol? finallyLabelOpt, bool preferFaultHandler, bool hasErrors = false) 4223public LabelSymbol? FinallyLabelOpt { get; } 4229public BoundTryStatement Update(BoundBlock tryBlock, ImmutableArray<BoundCatchBlock> catchBlocks, BoundBlock? finallyBlockOpt, LabelSymbol? finallyLabelOpt, bool preferFaultHandler) 4656public BoundLabelStatement(SyntaxNode syntax, LabelSymbol label, bool hasErrors) 4665public BoundLabelStatement(SyntaxNode syntax, LabelSymbol label) 4674public LabelSymbol Label { get; } 4679public BoundLabelStatement Update(LabelSymbol label) 4693public BoundGotoStatement(SyntaxNode syntax, LabelSymbol label, BoundExpression? caseExpressionOpt, BoundLabel? labelExpressionOpt, bool hasErrors = false) 4704public LabelSymbol Label { get; } 4711public BoundGotoStatement Update(LabelSymbol label, BoundExpression? caseExpressionOpt, BoundLabel? labelExpressionOpt) 4725public BoundLabeledStatement(SyntaxNode syntax, LabelSymbol label, BoundStatement body, bool hasErrors = false) 4736public LabelSymbol Label { get; } 4742public BoundLabeledStatement Update(LabelSymbol label, BoundStatement body) 4756public BoundLabel(SyntaxNode syntax, LabelSymbol label, TypeSymbol? type, bool hasErrors) 4765public BoundLabel(SyntaxNode syntax, LabelSymbol label, TypeSymbol? type) 4774public LabelSymbol Label { get; } 4779public BoundLabel Update(LabelSymbol label, TypeSymbol? type) 4830public BoundConditionalGoto(SyntaxNode syntax, BoundExpression condition, bool jumpIfTrue, LabelSymbol label, bool hasErrors = false) 4844public LabelSymbol Label { get; } 4849public BoundConditionalGoto Update(BoundExpression condition, bool jumpIfTrue, LabelSymbol label) 4863protected BoundSwitchExpression(BoundKind kind, SyntaxNode syntax, BoundExpression expression, ImmutableArray<BoundSwitchExpressionArm> switchArms, BoundDecisionDag reachabilityDecisionDag, LabelSymbol? defaultLabel, bool reportedNotExhaustive, TypeSymbol? type, bool hasErrors = false) 4881public LabelSymbol? DefaultLabel { get; } 4887public BoundSwitchExpressionArm(SyntaxNode syntax, ImmutableArray<LocalSymbol> locals, BoundPattern pattern, BoundExpression? whenClause, BoundExpression value, LabelSymbol label, bool hasErrors = false) 4907public LabelSymbol Label { get; } 4912public BoundSwitchExpressionArm Update(ImmutableArray<LocalSymbol> locals, BoundPattern pattern, BoundExpression? whenClause, BoundExpression value, LabelSymbol label) 4926public BoundUnconvertedSwitchExpression(SyntaxNode syntax, BoundExpression expression, ImmutableArray<BoundSwitchExpressionArm> switchArms, BoundDecisionDag reachabilityDecisionDag, LabelSymbol? defaultLabel, bool reportedNotExhaustive, TypeSymbol? type, bool hasErrors = false) 4940public BoundUnconvertedSwitchExpression Update(BoundExpression expression, ImmutableArray<BoundSwitchExpressionArm> switchArms, BoundDecisionDag reachabilityDecisionDag, LabelSymbol? defaultLabel, bool reportedNotExhaustive, TypeSymbol? type) 4954public BoundConvertedSwitchExpression(SyntaxNode syntax, TypeSymbol? naturalTypeOpt, bool wasTargetTyped, BoundExpression expression, ImmutableArray<BoundSwitchExpressionArm> switchArms, BoundDecisionDag reachabilityDecisionDag, LabelSymbol? defaultLabel, bool reportedNotExhaustive, TypeSymbol type, bool hasErrors = false) 4974public BoundConvertedSwitchExpression Update(TypeSymbol? naturalTypeOpt, bool wasTargetTyped, BoundExpression expression, ImmutableArray<BoundSwitchExpressionArm> switchArms, BoundDecisionDag reachabilityDecisionDag, LabelSymbol? defaultLabel, bool reportedNotExhaustive, TypeSymbol type) 5130public BoundLeafDecisionDagNode(SyntaxNode syntax, LabelSymbol label, bool hasErrors) 5139public BoundLeafDecisionDagNode(SyntaxNode syntax, LabelSymbol label) 5148public LabelSymbol Label { get; } 5153public BoundLeafDecisionDagNode Update(LabelSymbol label) 5674public BoundSwitchLabel(SyntaxNode syntax, LabelSymbol label, BoundPattern pattern, BoundExpression? whenClause, bool hasErrors = false) 5686public LabelSymbol Label { get; } 5693public BoundSwitchLabel Update(LabelSymbol label, BoundPattern pattern, BoundExpression? whenClause) 7931public BoundIsPatternExpression(SyntaxNode syntax, BoundExpression expression, BoundPattern pattern, bool isNegated, BoundDecisionDag reachabilityDecisionDag, LabelSymbol whenTrueLabel, LabelSymbol whenFalseLabel, TypeSymbol? type, bool hasErrors = false) 7953public LabelSymbol WhenTrueLabel { get; } 7954public LabelSymbol WhenFalseLabel { get; } 7959public BoundIsPatternExpression Update(BoundExpression expression, BoundPattern pattern, bool isNegated, BoundDecisionDag reachabilityDecisionDag, LabelSymbol whenTrueLabel, LabelSymbol whenFalseLabel, TypeSymbol? type) 11413LabelSymbol label = this.VisitLabelSymbol(node.Label); 11418LabelSymbol label = this.VisitLabelSymbol(node.Label); 11425LabelSymbol breakLabel = this.VisitLabelSymbol(node.BreakLabel); 11434LabelSymbol defaultLabel = this.VisitLabelSymbol(node.DefaultLabel); 11448LabelSymbol breakLabel = this.VisitLabelSymbol(node.BreakLabel); 11449LabelSymbol continueLabel = this.VisitLabelSymbol(node.ContinueLabel); 11457LabelSymbol breakLabel = this.VisitLabelSymbol(node.BreakLabel); 11458LabelSymbol continueLabel = this.VisitLabelSymbol(node.ContinueLabel); 11467LabelSymbol breakLabel = this.VisitLabelSymbol(node.BreakLabel); 11468LabelSymbol continueLabel = this.VisitLabelSymbol(node.ContinueLabel); 11478LabelSymbol breakLabel = this.VisitLabelSymbol(node.BreakLabel); 11479LabelSymbol continueLabel = this.VisitLabelSymbol(node.ContinueLabel); 11520LabelSymbol? finallyLabelOpt = this.VisitLabelSymbol(node.FinallyLabelOpt); 11593LabelSymbol label = this.VisitLabelSymbol(node.Label); 11598LabelSymbol label = this.VisitLabelSymbol(node.Label); 11605LabelSymbol label = this.VisitLabelSymbol(node.Label); 11611LabelSymbol label = this.VisitLabelSymbol(node.Label); 11622LabelSymbol label = this.VisitLabelSymbol(node.Label); 11629LabelSymbol label = this.VisitLabelSymbol(node.Label); 11637LabelSymbol? defaultLabel = this.VisitLabelSymbol(node.DefaultLabel); 11646LabelSymbol? defaultLabel = this.VisitLabelSymbol(node.DefaultLabel); 11681LabelSymbol label = this.VisitLabelSymbol(node.Label); 11781LabelSymbol label = this.VisitLabelSymbol(node.Label); 12200LabelSymbol whenTrueLabel = this.VisitLabelSymbol(node.WhenTrueLabel); 12201LabelSymbol whenFalseLabel = this.VisitLabelSymbol(node.WhenFalseLabel);
Lowering\AsyncRewriter\AsyncExceptionHandlerRewriter.cs (25)
249LabelSymbol finallyLabel) 263var proxied = proxiedLabels[i - 1]; 264var proxy = proxyLabels[proxied]; 281LabelSymbol proxy, 284LabelSymbol finallyLabel) 313var target = proxiedLabels[i - 1]; 314var parentProxy = parent.ProxyLabelIfNeeded(target); 331var returnLabel = parent.ProxyReturnIfNeeded(_F.CurrentFunction, pendingValue, out returnValue); 364var proxyLabel = _currentAwaitFinallyFrame.ProxyLabelIfNeeded(node.Label); 377var returnLabel = _currentAwaitFinallyFrame.ProxyReturnIfNeeded( 759private Dictionary<BoundTryStatement, HashSet<LabelSymbol>> _labelsInInterestingTry; 800internal HashSet<LabelSymbol> Labels(BoundTryStatement statement) 822_labelsInInterestingTry = labelsInInterestingTry = new Dictionary<BoundTryStatement, HashSet<LabelSymbol>>(); 915public readonly HashSet<LabelSymbol> LabelsOpt; 925public Dictionary<LabelSymbol, LabelSymbol> proxyLabels; 927public List<LabelSymbol> proxiedLabels; 937public AwaitFinallyFrame(AwaitFinallyFrame parent, HashSet<LabelSymbol> labelsOpt, SyntaxNode syntax) 956public LabelSymbol ProxyLabelIfNeeded(LabelSymbol label) 968this.proxyLabels = proxyLabels = new Dictionary<LabelSymbol, LabelSymbol>(); 969this.proxiedLabels = proxiedLabels = new List<LabelSymbol>(); 972LabelSymbol proxy; 983public LabelSymbol ProxyReturnIfNeeded(
Lowering\AsyncRewriter\AsyncIteratorMethodToStateMachineRewriter.cs (4)
34private LabelSymbol _currentDisposalLabel; 40private readonly LabelSymbol _exprReturnLabelTrue; 368var savedDisposalLabel = _currentDisposalLabel; 409var savedDisposalLabel = _currentDisposalLabel;
Lowering\AsyncRewriter\AsyncMethodToStateMachineRewriter.cs (2)
45protected readonly LabelSymbol _exprReturnLabel; 50private readonly LabelSymbol _exitLabel;
Lowering\ClosureConversion\ClosureConversion.Analysis.Tree.cs (7)
338private readonly PooledDictionary<LabelSymbol, ArrayBuilder<Scope>> _scopesAfterLabel = PooledDictionary<LabelSymbol, ArrayBuilder<Scope>>.GetInstance(); 347private readonly ArrayBuilder<ArrayBuilder<LabelSymbol>> _labelsInScope = ArrayBuilder<ArrayBuilder<LabelSymbol>>.GetInstance(); 361_labelsInScope.Push(ArrayBuilder<LabelSymbol>.GetInstance()); 549private void CheckCanMergeWithParent(LabelSymbol jumpTarget) 739_labelsInScope.Push(ArrayBuilder<LabelSymbol>.GetInstance());
Lowering\IteratorRewriter\IteratorMethodToStateMachineRewriter.cs (5)
34private LabelSymbol? _exitLabel; 360var proxyLabel = _currentFinallyFrame.ProxyLabelIfNeeded(node.Label); 449var proxy = p.Value; 450var destination = p.Key; 459var parentProxy = parent.ProxyLabelIfNeeded(destination);
Lowering\IteratorRewriter\IteratorMethodToStateMachineRewriter.IteratorFinallyFrame.cs (9)
34public readonly HashSet<LabelSymbol> labels; 41public Dictionary<LabelSymbol, LabelSymbol> proxyLabels; 47HashSet<LabelSymbol> labels) 98public LabelSymbol ProxyLabelIfNeeded(LabelSymbol label) 109this.proxyLabels = proxyLabels = new Dictionary<LabelSymbol, LabelSymbol>(); 112LabelSymbol proxy;
Lowering\IteratorRewriter\IteratorMethodToStateMachineRewriter.YieldsInTryAnalysis.cs (6)
23private Dictionary<BoundTryStatement, HashSet<LabelSymbol>> _labelsInYieldingTrys; 54internal HashSet<LabelSymbol> Labels(BoundTryStatement statement) 77_labelsInYieldingTrys = yieldingTryLabels = new Dictionary<BoundTryStatement, HashSet<LabelSymbol>>(); 122protected HashSet<LabelSymbol> currentLabels; 130private void CollectLabel(LabelSymbol label) 137this.currentLabels = currentLabels = new HashSet<LabelSymbol>();
Lowering\LocalRewriter\LocalRewriter.DecisionDagRewriter.cs (33)
43private readonly PooledDictionary<BoundDecisionDagNode, LabelSymbol> _dagNodeLabels = PooledDictionary<BoundDecisionDagNode, LabelSymbol>.GetInstance(); 111protected virtual LabelSymbol GetDagNodeLabel(BoundDecisionDagNode dag) 113if (!_dagNodeLabels.TryGetValue(dag, out LabelSymbol label)) 400if (_dagNodeLabels.TryGetValue(node, out LabelSymbol label)) 566bool foundLabel = this._dagNodeLabels.TryGetValue(node, out LabelSymbol label); 572var label = GetDagNodeLabel(node); 589var cases = ArrayBuilder<(ConstantValue value, LabelSymbol label)>.GetInstance(); 608var label = GetDagNodeLabel(node); 620ImmutableArray<(ConstantValue value, LabelSymbol label)> cases, 643(ImmutableArray<(ConstantValue value, LabelSymbol label)> whenTrueCases, ImmutableArray<(ConstantValue value, LabelSymbol label)> whenFalseCases) 644splitCases(ImmutableArray<(ConstantValue value, LabelSymbol label)> cases, BinaryOperatorKind op, ConstantValue value) 646var whenTrueBuilder = ArrayBuilder<(ConstantValue value, LabelSymbol label)>.GetInstance(); 647var whenFalseBuilder = ArrayBuilder<(ConstantValue value, LabelSymbol label)>.GetInstance(); 681LabelSymbol trueLabel = whenTrue.Label; 687LabelSymbol falseLabel = whenFalse.Label; 693LabelSymbol falseLabel = _factory.GenerateLabel("relationalDispatch"); 704private sealed class CasesComparer : IComparer<(ConstantValue value, LabelSymbol label)> 713int IComparer<(ConstantValue value, LabelSymbol label)>.Compare((ConstantValue value, LabelSymbol label) left, (ConstantValue value, LabelSymbol label) right) 744LabelSymbol defaultLabel = node.Otherwise; 787ImmutableArray<(ConstantValue value, LabelSymbol label)> cases; 1002var whenExpressionMap = PooledDictionary<BoundExpression, (LabelSymbol LabelToWhenExpression, ArrayBuilder<BoundWhenDecisionDagNode> WhenNodes)>.GetInstance(); 1003var whenNodeMap = PooledDictionary<BoundWhenDecisionDagNode, (LabelSymbol LabelToWhenExpression, int WhenNodeIdentifier)>.GetInstance(); 1011LabelSymbol labelToWhenExpression; 1062LabelSymbol labelToSectionScope = GetDagNodeLabel(whenNode); 1079void lowerWhenExpressionIfShared(BoundExpression whenExpression, LabelSymbol labelToWhenExpression, ArrayBuilder<BoundWhenDecisionDagNode> whenNodes) 1087var whenTrueLabel = GetDagNodeLabel(whenNodes[0].WhenTrue); 1123void addConditionalGoto(BoundExpression whenExpression, SyntaxNode whenClauseSyntax, LabelSymbol whenTrueLabel, ArrayBuilder<BoundStatement> sectionBuilder) 1153LabelSymbol labelToSectionScope = GetDagNodeLabel(whenClause); 1160var trueLabel = GetDagNodeLabel(whenTrue);
Lowering\LocalRewriter\LocalRewriter.DecisionDagRewriter.ValueDispatchNode.cs (6)
38public readonly ImmutableArray<(ConstantValue value, LabelSymbol label)> Cases; 39public readonly LabelSymbol Otherwise; 40public SwitchDispatch(SyntaxNode syntax, ImmutableArray<(ConstantValue value, LabelSymbol label)> dispatches, LabelSymbol otherwise) : base(syntax) 53public readonly LabelSymbol Label; 54public LeafDispatchNode(SyntaxNode syntax, LabelSymbol Label) : base(syntax) => this.Label = Label;
Lowering\LocalRewriter\LocalRewriter_FixedStatement.cs (3)
167private Dictionary<BoundNode, HashSet<LabelSymbol>>? _lazyUnmatchedLabelCache; 179_lazyUnmatchedLabelCache = new Dictionary<BoundNode, HashSet<LabelSymbol>>(); 182HashSet<LabelSymbol> unmatched = UnmatchedGotoFinder.Find(node, _lazyUnmatchedLabelCache, RecursionDepth);
Lowering\LocalRewriter\LocalRewriter_ForEachStatement.cs (10)
144LabelSymbol breakLabel, 145LabelSymbol continueLabel, 591LabelSymbol breakLabel, 592LabelSymbol continueLabel, 887LabelSymbol breakLabel, 888LabelSymbol continueLabel, 1036LabelSymbol breakLabel, 1037LabelSymbol continueLabel, 1147LabelSymbol breakLabelInner = dimension == 0 // outermost for-loop 1167LabelSymbol continueLabelInner;
Lowering\LocalRewriter\LocalRewriter_ForStatement.cs (2)
47LabelSymbol breakLabel, 48LabelSymbol continueLabel,
Lowering\LocalRewriter\LocalRewriter_IsPatternOperator.cs (10)
58LabelSymbol whenTrueLabel, 59LabelSymbol whenFalseLabel) 121LabelSymbol afterIsPatternExpression = _factory.GenerateLabel("afterIsPatternExpression"); 122LabelSymbol trueLabel = node.WhenTrueLabel; 123LabelSymbol falseLabel = node.WhenFalseLabel; 137private static bool IsFailureNode(BoundDecisionDagNode node, LabelSymbol whenFalseLabel) 221LabelSymbol whenTrueLabel, 222LabelSymbol whenFalseLabel) 239LabelSymbol whenTrueLabel, 240LabelSymbol whenFalseLabel)
Lowering\LocalRewriter\LocalRewriter_PatternSwitchStatement.cs (5)
26private readonly Dictionary<SyntaxNode, LabelSymbol> _sectionLabels = PooledDictionary<SyntaxNode, LabelSymbol>.GetInstance(); 40protected override LabelSymbol GetDagNodeLabel(BoundDecisionDagNode dag) 42var result = base.GetDagNodeLabel(dag); 52if (_sectionLabels.TryGetValue(section, out LabelSymbol? replacementLabel))
Lowering\LocalRewriter\LocalRewriter_SwitchExpression.cs (2)
54node.GetDecisionDagForLowering(_factory.Compilation, out LabelSymbol? defaultLabel), 90LabelSymbol afterSwitchExpression = _factory.GenerateLabel("afterSwitchExpression");
Lowering\LocalRewriter\LocalRewriter_WhileStatement.cs (4)
45LabelSymbol breakLabel, 46LabelSymbol continueLabel, 111LabelSymbol breakLabel, 112LabelSymbol continueLabel,
Lowering\StateMachineRewriter\MethodToStateMachineRewriter.cs (4)
64private Dictionary<LabelSymbol, List<StateMachineState>> _dispatches = new Dictionary<LabelSymbol, List<StateMachineState>>(); 234_dispatches ??= new Dictionary<LabelSymbol, List<StateMachineState>>(); 900oldDispatches ??= new Dictionary<LabelSymbol, List<StateMachineState>>();
Lowering\SyntheticBoundNodeFactory.cs (6)
937public BoundStatement ConditionalGoto(BoundExpression condition, LabelSymbol label, bool jumpIfTrue) 1094var caseBuilder = ArrayBuilder<(ConstantValue Value, LabelSymbol label)>.GetInstance(); 1099LabelSymbol sectionLabel = new GeneratedLabelSymbol("case " + section.Values[0]); 1133public BoundGotoStatement Goto(LabelSymbol label) 1138public BoundLabelStatement Label(LabelSymbol label) 1597LabelSymbol? finallyLabel = null)
Lowering\UnmatchedGotoFinder.cs (15)
22private readonly Dictionary<BoundNode, HashSet<LabelSymbol>> _unmatchedLabelsCache; // NB: never modified. 24private HashSet<LabelSymbol> _gotos; 25private HashSet<LabelSymbol> _targets; 27private UnmatchedGotoFinder(Dictionary<BoundNode, HashSet<LabelSymbol>> unmatchedLabelsCache, int recursionDepth) 34public static HashSet<LabelSymbol> Find(BoundNode node, Dictionary<BoundNode, HashSet<LabelSymbol>> unmatchedLabelsCache, int recursionDepth) 38HashSet<LabelSymbol> gotos = finder._gotos; 39HashSet<LabelSymbol> targets = finder._targets; 49HashSet<LabelSymbol> unmatched; 54foreach (LabelSymbol label in unmatched) 81foreach ((_, LabelSymbol label) in node.Cases) 101private void AddGoto(LabelSymbol label) 105_gotos = new HashSet<LabelSymbol>(); 111private void AddTarget(LabelSymbol label) 115_targets = new HashSet<LabelSymbol>();
Operations\CSharpOperationFactory.cs (1)
2749LabelSymbol label = boundSwitchLabel.Label;
Symbols\LabelSymbol.cs (2)
138/// Gets the immediately containing symbol of the <see cref="LabelSymbol"/>. 150/// Gets the immediately containing symbol of the <see cref="LabelSymbol"/>.
Symbols\PublicModel\LabelSymbol.cs (2)
11private readonly Symbols.LabelSymbol _underlying; 13public LabelSymbol(Symbols.LabelSymbol underlying)
Symbols\SymbolExtensions.cs (1)
628internal static ILabelSymbol? GetPublicSymbol(this LabelSymbol? symbol)
Symbols\SymbolVisitor.cs (1)
60public virtual void VisitLabel(LabelSymbol symbol)
Symbols\SymbolVisitor`1.cs (1)
60public virtual TResult VisitLabel(LabelSymbol symbol)
Symbols\SymbolVisitor`2.cs (2)
257/// Called when visiting a <see cref="LabelSymbol" />; Override this with specific 263public virtual TResult VisitLabel(LabelSymbol symbol, TArgument argument)