static RuleBasedPrototypeMemorySpecs() { Default = new RuleBasedPrototypeMemorySpecs(); Default.Register <AllocaArrayPrototype>(MemorySpecification.Nothing); Default.Register <AllocaPrototype>(MemorySpecification.Nothing); Default.Register <BoxPrototype>(MemorySpecification.Nothing); Default.Register <ConstantPrototype>(MemorySpecification.Nothing); Default.Register <CopyPrototype>(MemorySpecification.Nothing); Default.Register <DynamicCastPrototype>(MemorySpecification.Nothing); Default.Register <GetStaticFieldPointerPrototype>(MemorySpecification.Nothing); Default.Register <ReinterpretCastPrototype>(MemorySpecification.Nothing); Default.Register <GetFieldPointerPrototype>(MemorySpecification.Nothing); Default.Register <NewDelegatePrototype>(MemorySpecification.Nothing); Default.Register <UnboxPrototype>(MemorySpecification.Nothing); // Mark volatile loads and stores as unknown to ensure that they are never reordered // with regard to other memory operations. // TODO: is this really how we should represent volatility? Default.Register <LoadPrototype>(proto => proto.IsVolatile ? MemorySpecification.Unknown : MemorySpecification.ArgumentRead.Create(0)); Default.Register <StorePrototype>(proto => proto.IsVolatile ? MemorySpecification.Unknown : MemorySpecification.ArgumentWrite.Create(0)); // Call-like instruction prototypes. Default.Register <CallPrototype>( proto => proto.Lookup == MethodLookup.Static ? proto.Callee.GetMemorySpecification() : MemorySpecification.Unknown); Default.Register <NewObjectPrototype>( proto => proto.Constructor.GetMemorySpecification()); Default.Register <IndirectCallPrototype>(MemorySpecification.Unknown); // Arithmetic intrinsics never read or write. foreach (var name in ArithmeticIntrinsics.Operators.All) { Default.Register( ArithmeticIntrinsics.GetArithmeticIntrinsicName(name, false), MemorySpecification.Nothing); Default.Register( ArithmeticIntrinsics.GetArithmeticIntrinsicName(name, true), MemorySpecification.Nothing); } // Array intrinsics. Default.Register( ArrayIntrinsics.Namespace.GetIntrinsicName(ArrayIntrinsics.Operators.GetElementPointer), MemorySpecification.Nothing); Default.Register( ArrayIntrinsics.Namespace.GetIntrinsicName(ArrayIntrinsics.Operators.LoadElement), MemorySpecification.UnknownRead); Default.Register( ArrayIntrinsics.Namespace.GetIntrinsicName(ArrayIntrinsics.Operators.StoreElement), MemorySpecification.UnknownWrite); Default.Register( ArrayIntrinsics.Namespace.GetIntrinsicName(ArrayIntrinsics.Operators.GetLength), MemorySpecification.Nothing); Default.Register( ArrayIntrinsics.Namespace.GetIntrinsicName(ArrayIntrinsics.Operators.NewArray), MemorySpecification.Nothing); // Exception intrinsics. Default.Register( ExceptionIntrinsics.Namespace.GetIntrinsicName(ExceptionIntrinsics.Operators.GetCapturedException), MemorySpecification.UnknownRead); // Object intrinsics. Default.Register( ObjectIntrinsics.Namespace.GetIntrinsicName(ObjectIntrinsics.Operators.UnboxAny), MemorySpecification.UnknownRead); // Memory intrinsics. Default.Register( MemoryIntrinsics.Namespace.GetIntrinsicName(MemoryIntrinsics.Operators.AllocaPinned), MemorySpecification.Nothing); }
/// <summary> /// Creates a copy of another set of prototype exception spec rules. /// </summary> public RuleBasedPrototypeMemorySpecs(RuleBasedPrototypeMemorySpecs other) { this.store = new RuleBasedSpecStore <MemorySpecification>(other.store); }