Erik Eckstein 21b4004d69 Devirtualizer: don't de-virtualize witness calls to non-generic thunks which call a generic function. ...

If the callee is a non-generic thunk which calls a (not inlinable) generic function in the defining module,
it's more efficient to not devirtualize, but call the non-generic thunk - even though it's done through the witness table.
Example:
```
  protocol P {
    func f(x: [Int])   // not generic
  }
  struct S: P {
    func f(x: some RandomAccessCollection<Int>) { ... } // generic
  }
```

In the defining module, the generic conformance can be fully specialized (which is not possible in the client module, because it's not inlinable).

rdar://102623022

2022-12-21 08:52:53 +01:00

2.8 KiB

Raw Blame History

View Raw