Analysis based resource properties

[bogner]

Resource properties that depend on analysis of the program

• [HLSL] Implement IncrementCounter/DecrementCounter on structured buffers llvm-project#113513
• [DirectX] Introduce llvm.dx.updateCounter intrinsic and lower it to the dxil op llvm-project#92147
• Design analysis pass(es?) to determine IsGloballyCoherent and HasCounter #179
• [HLSL] Validate that updateCounter is only either incremented or decremented and not both llvm-project#114130

[hekota]

Closing this as we won't be using umbrella tasks like this going forward.