Enable ArrayPropertyOpt on OSSA

[meg-gupta]

• Add tests with array semantic calls having @guaranteed self
• Support copy_value as self value
• Support hoisting/copying self of array semantic calls in OSSA. This is common with Enable ArrayBoundsCheckElimination on OSSA #35380. And can be reviewed once in common for both PRs

[meg-gupta]

@swift-ci test

[meg-gupta]

@swift-ci test source compatibility

[meg-gupta]

@swift-ci benchmark

[swift-ci]

Performance: -O

Improvement	OLD	NEW	DELTA	RATIO
ObjectiveCBridgeStubFromNSDate	6220	5040	-19.0%	1.23x (?)

Code size: -O

Performance: -Osize

Regression	OLD	NEW	DELTA	RATIO
FlattenListFlatMap	3932	6148	+56.4%	0.64x (?)

Code size: -Osize

Performance: -Onone

Code size: -swiftlibs

How to read the data

The tables contain differences in performance which are larger than 8% and differences in code size which are larger than 1%.

If you see any unexpected regressions, you should consider fixing the
regressions before you merge the PR.

Noise: Sometimes the performance results (not code size!) contain false
alarms. Unexpected regressions which are marked with '(?)' are probably noise.
If you see regressions which you cannot explain you can try to run the
benchmarks again. If regressions still show up, please consult with the
performance team (@eeckstein).

Hardware Overview

  Model Name: Mac Pro
  Model Identifier: MacPro6,1
  Processor Name: 12-Core Intel Xeon E5
  Processor Speed: 2.7 GHz
  Number of Processors: 1
  Total Number of Cores: 12
  L2 Cache (per Core): 256 KB
  L3 Cache: 30 MB
  Memory: 64 GB

[atrick]

This relies on the same replaceAllUsesWithUndef fix as
#35380
But otherwise looks good.

[atrick]

LGTM

[meg-gupta]

@swift-ci test and merge