|
// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.
// See the LICENSE file in the project root for more information.
#nullable disable
using System;
using System.Collections.Immutable;
using System.Diagnostics;
using System.Reflection.Metadata;
using Microsoft.CodeAnalysis.CodeGen;
using Microsoft.CodeAnalysis.CSharp.Symbols;
using Roslyn.Utilities;
namespace Microsoft.CodeAnalysis.CSharp.CodeGen
{
internal partial class CodeGenerator
{
/// <summary>
/// Emits address as in &
///
/// May introduce a temp which it will return. (otherwise returns null)
/// </summary>
private LocalDefinition EmitAddress(BoundExpression expression, AddressKind addressKind)
{
switch (expression.Kind)
{
case BoundKind.RefValueOperator:
EmitRefValueAddress((BoundRefValueOperator)expression);
break;
case BoundKind.Local:
return EmitLocalAddress((BoundLocal)expression, addressKind);
case BoundKind.Dup:
Debug.Assert(((BoundDup)expression).RefKind != RefKind.None, "taking address of a stack value?");
return EmitDupAddress((BoundDup)expression, addressKind);
case BoundKind.ConditionalReceiver:
// do nothing receiver ref must be already pushed
Debug.Assert(!expression.Type.IsReferenceType);
Debug.Assert(!expression.Type.IsValueType || expression.Type.IsNullableType());
break;
case BoundKind.ComplexConditionalReceiver:
EmitComplexConditionalReceiverAddress((BoundComplexConditionalReceiver)expression);
break;
case BoundKind.Parameter:
return EmitParameterAddress((BoundParameter)expression, addressKind);
case BoundKind.FieldAccess:
return EmitFieldAddress((BoundFieldAccess)expression, addressKind);
case BoundKind.ArrayAccess:
if (!HasHome(expression, addressKind))
{
goto default;
}
EmitArrayElementAddress((BoundArrayAccess)expression, addressKind);
break;
case BoundKind.ThisReference:
Debug.Assert(expression.Type.IsValueType || IsAnyReadOnly(addressKind), "'this' is readonly in classes");
if (expression.Type.IsValueType)
{
if (!HasHome(expression, addressKind))
{
// a readonly method is calling a non-readonly method, therefore we need to copy 'this'
goto default;
}
_builder.EmitLoadArgumentOpcode(0);
}
else
{
_builder.EmitLoadArgumentAddrOpcode(0);
}
break;
case BoundKind.PreviousSubmissionReference:
// script references are lowered to a this reference and a field access
throw ExceptionUtilities.UnexpectedValue(expression.Kind);
case BoundKind.BaseReference:
Debug.Assert(false, "base is always a reference type, why one may need a reference to it?");
break;
case BoundKind.PassByCopy:
return EmitPassByCopyAddress((BoundPassByCopy)expression, addressKind);
case BoundKind.Sequence:
return EmitSequenceAddress((BoundSequence)expression, addressKind);
case BoundKind.PointerIndirectionOperator:
// The address of a dereferenced address is that address.
BoundExpression operand = ((BoundPointerIndirectionOperator)expression).Operand;
Debug.Assert(operand.Type.IsPointerType());
EmitExpression(operand, used: true);
break;
case BoundKind.PseudoVariable:
EmitPseudoVariableAddress((BoundPseudoVariable)expression);
break;
case BoundKind.Call:
var call = (BoundCall)expression;
if (UseCallResultAsAddress(call, addressKind))
{
EmitCallExpression(call, UseKind.UsedAsAddress);
break;
}
goto default;
case BoundKind.FunctionPointerInvocation:
var funcPtrInvocation = (BoundFunctionPointerInvocation)expression;
var funcPtrRefKind = funcPtrInvocation.FunctionPointer.Signature.RefKind;
if (funcPtrRefKind == RefKind.Ref ||
(IsAnyReadOnly(addressKind) && funcPtrRefKind == RefKind.RefReadOnly))
{
EmitCalli(funcPtrInvocation, UseKind.UsedAsAddress);
break;
}
goto default;
case BoundKind.DefaultExpression:
var type = expression.Type;
var temp = this.AllocateTemp(type, expression.Syntax);
_builder.EmitLocalAddress(temp); // ldloca temp
_builder.EmitOpCode(ILOpCode.Dup); // dup
_builder.EmitOpCode(ILOpCode.Initobj); // initobj <type>
EmitSymbolToken(type, expression.Syntax);
return temp;
case BoundKind.ConditionalOperator:
if (!HasHome(expression, addressKind))
{
goto default;
}
EmitConditionalOperatorAddress((BoundConditionalOperator)expression, addressKind);
break;
case BoundKind.AssignmentOperator:
var assignment = (BoundAssignmentOperator)expression;
if (!assignment.IsRef || !HasHome(assignment, addressKind))
{
goto default;
}
else
{
EmitAssignmentExpression(assignment, UseKind.UsedAsAddress);
break;
}
case BoundKind.ThrowExpression:
// emit value or address is the same here.
EmitExpression(expression, used: true);
return null;
default:
Debug.Assert(!HasHome(expression, addressKind));
return EmitAddressOfTempClone(expression);
}
return null;
}
private static bool UseCallResultAsAddress(BoundCall call, AddressKind addressKind)
{
var methodRefKind = call.Method.RefKind;
return methodRefKind == RefKind.Ref ||
(IsAnyReadOnly(addressKind) && methodRefKind == RefKind.RefReadOnly);
}
private LocalDefinition EmitPassByCopyAddress(BoundPassByCopy passByCopyExpr, AddressKind addressKind)
{
// Normally we can just defer PassByCopy to the `default`,
// but in some cases the value inside is already a temp that is local to that node.
// In such case we can skip extra store/reload
if (passByCopyExpr.Expression is BoundSequence sequence)
{
if (DigForValueLocal(sequence, sequence.Value) != null)
{
return EmitSequenceAddress(sequence, addressKind);
}
}
return EmitAddressOfTempClone(passByCopyExpr);
}
/// <summary>
/// Emit code for a conditional (aka ternary) operator.
/// </summary>
/// <remarks>
/// (b ? x : y) becomes
/// push b
/// if pop then goto CONSEQUENCE
/// push y
/// goto DONE
/// CONSEQUENCE:
/// push x
/// DONE:
/// </remarks>
private void EmitConditionalOperatorAddress(BoundConditionalOperator expr, AddressKind addressKind)
{
Debug.Assert(expr.ConstantValueOpt == null, "Constant value should have been emitted directly");
object consequenceLabel = new object();
object doneLabel = new object();
EmitCondBranch(expr.Condition, ref consequenceLabel, sense: true);
AddExpressionTemp(EmitAddress(expr.Alternative, addressKind));
_builder.EmitBranch(ILOpCode.Br, doneLabel);
// If we get to consequenceLabel, we should not have Alternative on stack, adjust for that.
_builder.AdjustStack(-1);
_builder.MarkLabel(consequenceLabel);
AddExpressionTemp(EmitAddress(expr.Consequence, addressKind));
_builder.MarkLabel(doneLabel);
}
private void EmitComplexConditionalReceiverAddress(BoundComplexConditionalReceiver expression)
{
Debug.Assert(!expression.Type.IsReferenceType);
Debug.Assert(!expression.Type.IsValueType);
var receiverType = expression.Type;
var whenValueTypeLabel = new Object();
var doneLabel = new Object();
EmitInitObj(receiverType, true, expression.Syntax);
EmitBox(receiverType, expression.Syntax);
_builder.EmitBranch(ILOpCode.Brtrue, whenValueTypeLabel);
var receiverTemp = EmitAddress(expression.ReferenceTypeReceiver, AddressKind.ReadOnly);
Debug.Assert(receiverTemp == null);
_builder.EmitBranch(ILOpCode.Br, doneLabel);
_builder.AdjustStack(-1);
_builder.MarkLabel(whenValueTypeLabel);
// we will not write through this receiver, but it could be a target of mutating calls
EmitReceiverRef(expression.ValueTypeReceiver, AddressKind.Constrained);
_builder.MarkLabel(doneLabel);
}
/// <summary>
/// May introduce a temp which it will return. (otherwise returns null)
/// </summary>
private LocalDefinition EmitLocalAddress(BoundLocal localAccess, AddressKind addressKind)
{
var local = localAccess.LocalSymbol;
if (!HasHome(localAccess, addressKind))
{
return EmitAddressOfTempClone(localAccess);
}
if (IsStackLocal(local))
{
if (local.RefKind != RefKind.None)
{
// do nothing, ref should be on the stack
}
else
{
// cannot get address of a stack value.
// Something is wrong with optimizer
throw ExceptionUtilities.UnexpectedValue(local.RefKind);
}
}
else
{
_builder.EmitLocalAddress(GetLocal(localAccess));
}
return null;
}
/// <summary>
/// May introduce a temp which it will return. (otherwise returns null)
/// </summary>
private LocalDefinition EmitDupAddress(BoundDup dup, AddressKind addressKind)
{
if (!HasHome(dup, addressKind))
{
return EmitAddressOfTempClone(dup);
}
_builder.EmitOpCode(ILOpCode.Dup);
return null;
}
private void EmitPseudoVariableAddress(BoundPseudoVariable expression)
{
EmitExpression(expression.EmitExpressions.GetAddress(expression), used: true);
}
private void EmitRefValueAddress(BoundRefValueOperator refValue)
{
// push typed reference
// refanyval type -- pops typed reference, pushes address of variable
EmitExpression(refValue.Operand, true);
_builder.EmitOpCode(ILOpCode.Refanyval);
EmitSymbolToken(refValue.Type, refValue.Syntax);
}
/// <summary>
/// Emits address of a temp.
/// Used in cases where taking address directly is not possible
/// (typically because expression does not have a home)
///
/// Introduce a temp which it will return.
/// </summary>
private LocalDefinition EmitAddressOfTempClone(BoundExpression expression)
{
EmitExpression(expression, true);
var value = this.AllocateTemp(expression.Type, expression.Syntax);
_builder.EmitLocalStore(value);
_builder.EmitLocalAddress(value);
return value;
}
/// <summary>
/// May introduce a temp which it will return. (otherwise returns null)
/// </summary>
private LocalDefinition EmitSequenceAddress(BoundSequence sequence, AddressKind addressKind)
{
DefineAndRecordLocals(sequence);
EmitSideEffects(sequence);
var result = EmitAddress(sequence.Value, addressKind);
CloseScopeAndKeepLocals(sequence);
return result;
}
private static LocalSymbol DigForValueLocal(BoundSequence topSequence, BoundExpression value)
{
switch (value.Kind)
{
case BoundKind.Local:
var local = (BoundLocal)value;
var symbol = local.LocalSymbol;
if (topSequence.Locals.Contains(symbol))
{
return symbol;
}
break;
case BoundKind.Sequence:
return DigForValueLocal(topSequence, ((BoundSequence)value).Value);
case BoundKind.FieldAccess:
var fieldAccess = (BoundFieldAccess)value;
if (!fieldAccess.FieldSymbol.IsStatic)
{
var receiver = fieldAccess.ReceiverOpt;
if (!receiver.Type.IsReferenceType)
{
return DigForValueLocal(topSequence, receiver);
}
}
break;
}
return null;
}
private void EmitArrayIndices(ImmutableArray<BoundExpression> indices)
{
for (int i = 0; i < indices.Length; ++i)
{
BoundExpression index = indices[i];
EmitExpression(index, used: true);
TreatLongsAsNative(index.Type.PrimitiveTypeCode);
}
}
private void EmitArrayElementAddress(BoundArrayAccess arrayAccess, AddressKind addressKind)
{
EmitExpression(arrayAccess.Expression, used: true);
EmitArrayIndices(arrayAccess.Indices);
if (ShouldEmitReadOnlyPrefix(arrayAccess, addressKind))
{
_builder.EmitOpCode(ILOpCode.Readonly);
}
if (((ArrayTypeSymbol)arrayAccess.Expression.Type).IsSZArray)
{
_builder.EmitOpCode(ILOpCode.Ldelema);
var elementType = arrayAccess.Type;
EmitSymbolToken(elementType, arrayAccess.Syntax);
}
else
{
_builder.EmitArrayElementAddress(_module.Translate((ArrayTypeSymbol)arrayAccess.Expression.Type),
arrayAccess.Syntax, _diagnostics.DiagnosticBag);
}
}
private bool ShouldEmitReadOnlyPrefix(BoundArrayAccess arrayAccess, AddressKind addressKind)
{
if (addressKind == AddressKind.Constrained)
{
Debug.Assert(arrayAccess.Type.TypeKind == TypeKind.TypeParameter, "constrained call should only be used with type parameter types");
return true;
}
if (!IsAnyReadOnly(addressKind))
{
return false;
}
// no benefits to value types
return !arrayAccess.Type.IsValueType;
}
/// <summary>
/// May introduce a temp which it will return. (otherwise returns null)
/// </summary>
private LocalDefinition EmitFieldAddress(BoundFieldAccess fieldAccess, AddressKind addressKind)
{
FieldSymbol field = fieldAccess.FieldSymbol;
if (!HasHome(fieldAccess, addressKind))
{
// accessing a field that is not writable (const or readonly)
return EmitAddressOfTempClone(fieldAccess);
}
else if (fieldAccess.FieldSymbol.IsStatic)
{
EmitStaticFieldAddress(field, fieldAccess.Syntax);
return null;
}
else
{
return EmitInstanceFieldAddress(fieldAccess, addressKind);
}
}
private void EmitStaticFieldAddress(FieldSymbol field, SyntaxNode syntaxNode)
{
_builder.EmitOpCode(ILOpCode.Ldsflda);
EmitSymbolToken(field, syntaxNode);
}
/// <summary>
/// Checks if expression directly or indirectly represents a value with its own home. In
/// such cases it is possible to get a reference without loading into a temporary.
/// </summary>
private bool HasHome(BoundExpression expression, AddressKind addressKind)
=> HasHome(expression, addressKind, _method, IsPeVerifyCompatEnabled(), _stackLocals);
private LocalDefinition EmitParameterAddress(BoundParameter parameter, AddressKind addressKind)
{
ParameterSymbol parameterSymbol = parameter.ParameterSymbol;
if (!HasHome(parameter, addressKind))
{
// accessing a parameter that is not writable
return EmitAddressOfTempClone(parameter);
}
int slot = ParameterSlot(parameter);
if (parameterSymbol.RefKind == RefKind.None)
{
_builder.EmitLoadArgumentAddrOpcode(slot);
}
else
{
_builder.EmitLoadArgumentOpcode(slot);
}
return null;
}
/// <summary>
/// Emits receiver in a form that allows member accesses ( O or & ).
/// For verifier-reference types it is the actual reference.
/// For the value types it is an address of the receiver.
/// For generic types it is either a boxed receiver or the address of the receiver with readonly intent.
///
/// addressKind - kind of address that is needed in case if receiver is not a reference type.
///
/// May introduce a temp which it will return. (otherwise returns null)
/// </summary>
private LocalDefinition EmitReceiverRef(BoundExpression receiver, AddressKind addressKind)
{
var receiverType = receiver.Type;
if (receiverType.IsVerifierReference())
{
EmitExpression(receiver, used: true);
return null;
}
if (BoxNonVerifierReferenceReceiver(receiverType, addressKind))
{
//[Note: Constraints on a generic parameter only restrict the types that
//the generic parameter may be instantiated with. Verification (see Partition III)
//requires that a field, property or method that a generic parameter is known
//to provide through meeting a constraint, cannot be directly accessed/called
//via the generic parameter unless it is first boxed (see Partition III) or
//the callvirt instruction is prefixed with the constrained. prefix instruction
//(see Partition III). end note]
EmitExpression(receiver, used: true);
// conditional receivers are already boxed if needed when pushed
if (receiver.Kind != BoundKind.ConditionalReceiver)
{
EmitBox(receiver.Type, receiver.Syntax);
}
return null;
}
Debug.Assert(receiverType.TypeKind == TypeKind.TypeParameter || receiverType.IsValueType);
return EmitAddress(receiver, addressKind);
}
private static bool BoxNonVerifierReferenceReceiver(TypeSymbol receiverType, AddressKind addressKind)
{
Debug.Assert(!receiverType.IsVerifierReference());
return receiverType.TypeKind == TypeKind.TypeParameter && addressKind != AddressKind.Constrained;
}
/// <summary>
/// May introduce a temp which it will return. (otherwise returns null)
/// </summary>
private LocalDefinition EmitInstanceFieldAddress(BoundFieldAccess fieldAccess, AddressKind addressKind)
{
var field = fieldAccess.FieldSymbol;
// NOTE: We are not propagating AddressKind.Constrained here.
// The reason is that while Constrained permits calls, it does not permit
// taking field addresses, so we have to turn Constrained into writeable.
// For ref fields, we only require a readonly address for the receiver
// since we are loading the field value.
var tempOpt = EmitReceiverRef(
fieldAccess.ReceiverOpt,
field.RefKind == RefKind.None ?
(addressKind == AddressKind.Constrained ? AddressKind.Writeable : addressKind) :
(addressKind != AddressKind.ReadOnlyStrict ? AddressKind.ReadOnly : addressKind));
_builder.EmitOpCode(field.RefKind == RefKind.None ? ILOpCode.Ldflda : ILOpCode.Ldfld);
EmitSymbolToken(field, fieldAccess.Syntax);
// When loading an address of a fixed field, we actually
// want to load the address of its "FixedElementField" instead.
// Both the buffer backing struct and its only field should be at the same location,
// so we could in theory just use address of the struct, but in some contexts that causes
// PEVerify errors because the struct has unexpected type. (Ex: struct& when int& is expected)
if (field.IsFixedSizeBuffer)
{
var fixedImpl = field.FixedImplementationType(_module);
var fixedElementField = fixedImpl.FixedElementField;
// if we get a mildly corrupted FixedImplementationType which does
// not happen to have fixedElementField
// we just leave address of the whole struct.
//
// That seems an adequate fallback because:
// 1) it should happen only in impossibly rare cases involving malformed types
// 2) the address of the struct is same as that of the buffer, just type is wrong.
// and that only matters to the verifier and we are in unsafe context anyways.
if ((object)fixedElementField != null)
{
_builder.EmitOpCode(ILOpCode.Ldflda);
EmitSymbolToken(fixedElementField, fieldAccess.Syntax);
}
}
return tempOpt;
}
}
}
|