[llvm] 0d66659 - [BasicAA] Add test for #126670 (NFC)

[Nikita Popov via llvm-commits]

Author: Nikita Popov
Date: 2025-02-18T15:12:27+01:00
New Revision: 0d666598a06420d1c59f3b02ef5022ec9af39b0d

URL: https://github.com/llvm/llvm-project/commit/0d666598a06420d1c59f3b02ef5022ec9af39b0d
DIFF: https://github.com/llvm/llvm-project/commit/0d666598a06420d1c59f3b02ef5022ec9af39b0d.diff

LOG: [BasicAA] Add test for #126670 (NFC)

Added: 
    llvm/test/Analysis/BasicAA/escape-source-aggregate.ll

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/llvm/test/Analysis/BasicAA/escape-source-aggregate.ll b/llvm/test/Analysis/BasicAA/escape-source-aggregate.ll
new file mode 100644
index 0000000000000..cef11b94f3873
--- /dev/null
+++ b/llvm/test/Analysis/BasicAA/escape-source-aggregate.ll
@@ -0,0 +1,24 @@
+; RUN: opt -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 <  %s | FileCheck %s
+
+declare { ptr, i1 } @get_struct()
+declare <2 x ptr> @get_vec()
+
+; CHECK: MayAlias: i32* %a, i32* %extract
+define i32 @test_extractvalue() {
+  %a = alloca i32
+  %call = call { ptr, i1 } @get_struct()
+  %extract = extractvalue { ptr, i1 } %call, 0
+  store i32 0, ptr %extract
+  %v = load i32, ptr %a
+  ret i32 %v
+}
+
+; CHECK: MayAlias: i32* %a, i32* %extract
+define i32 @test_extractelement() {
+  %a = alloca i32
+  %call = call <2 x ptr> @get_vec()
+  %extract = extractelement <2 x ptr> %call, i32 0
+  store i32 0, ptr %extract
+  %v = load i32, ptr %a
+  ret i32 %v
+}