stdlib: annotate some floating point functions with "optimize.sil.inline.constant.arguments"

eeckstein · eeckstein · commit 3f6f16359893 · 2025-04-01T18:12:45.000+02:00
diff --git a/stdlib/public/core/FloatingPointTypes.swift.gyb b/stdlib/public/core/FloatingPointTypes.swift.gyb
@@ -541,6 +541,7 @@ extension ${Self}: BinaryFloatingPoint {
   }
 
   @inlinable
+  @_semantics("optimize.sil.inline.constant.arguments")
   public var exponent: Int {
     if !isFinite { return .max }
     if isZero { return .min }
@@ -884,6 +885,7 @@ extension ${Self}: BinaryFloatingPoint {
   }
 
   @inlinable
+  @_semantics("optimize.sil.inline.constant.arguments")
   public var significandWidth: Int {
     let trailingZeroBits = significandBitPattern.trailingZeroBitCount
     if isNormal {
diff --git a/stdlib/public/core/Integers.swift b/stdlib/public/core/Integers.swift
@@ -2696,6 +2696,7 @@ extension FixedWidthInteger {
 extension FixedWidthInteger {
   @inlinable
   @_semantics("optimize.sil.specialize.generic.partial.never")
+  @_semantics("optimize.sil.inline.constant.arguments")
   public // @testable
   static func _convert<Source: BinaryFloatingPoint>(
     from source: Source

Original file line number	Diff line number	Diff line change
`@@ -541,6 +541,7 @@ extension ${Self}: BinaryFloatingPoint {`
`541`	`541`	`}`
`542`	`542`
`543`	`543`	`@inlinable`
	`544`	`+ @_semantics("optimize.sil.inline.constant.arguments")`
`544`	`545`	`public var exponent: Int {`
`545`	`546`	`if !isFinite { return .max }`
`546`	`547`	`if isZero { return .min }`
`@@ -884,6 +885,7 @@ extension ${Self}: BinaryFloatingPoint {`
`884`	`885`	`}`
`885`	`886`
`886`	`887`	`@inlinable`
	`888`	`+ @_semantics("optimize.sil.inline.constant.arguments")`
`887`	`889`	`public var significandWidth: Int {`
`888`	`890`	`let trailingZeroBits = significandBitPattern.trailingZeroBitCount`
`889`	`891`	`if isNormal {`