Class AssumeRangeAttribute
Can be used to specify that a parameter or return has a range assumption. Assumptions feed directly into the optimizer and allow better codegen.
Only usable on values of type scalar integer.
The range is a closed interval [min..max] - EG. the attributed value is greater-than-or-equal-to min and less-than-or-equal-to max.
Inherited Members
Namespace: Unity.Burst.CompilerServices
Syntax
[AttributeUsage(AttributeTargets.Parameter | AttributeTargets.ReturnValue)]
public class AssumeRangeAttribute : Attribute, _AttributeConstructors
| Name | Description |
|---|---|
| AssumeRangeAttribute(Int64, Int64) | Assume that an integer is in the signed closed interval [min..max]. |
| AssumeRangeAttribute(UInt64, UInt64) | Assume that an integer is in the unsigned closed interval [min..max]. |