[llvm] [LSROA] Add logical SROA pass (PR #192058)

[Nathan Gauër via llvm-commits]

================
@@ -0,0 +1,37 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
+; RUN: opt < %s -passes='logical-sroa' -S | FileCheck %s --check-prefixes=CHECK
+
+declare void @llvm.lifetime.start.p0(ptr nocapture)
+declare void @llvm.lifetime.end.p0(ptr nocapture)
+declare ptr @llvm.structured.alloca.p0()
+declare ptr @llvm.structured.gep.p0(ptr, ...)
+
+%S = type { i32, { i32, i32 } }
+
+define i32 @test_nested_struct() {
----------------
Keenuts wrote:

Yes, this will be done by adding elements to the worklist again after a change, simply not handled yet. Adding a comment.

https://github.com/llvm/llvm-project/pull/192058