Skip to content

Commit 0d66659

Browse files
committed
[BasicAA] Add test for #126670 (NFC)
1 parent 3b6cc94 commit 0d66659

File tree

1 file changed

+24
-0
lines changed

1 file changed

+24
-0
lines changed
Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
; RUN: opt -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 < %s | FileCheck %s
2+
3+
declare { ptr, i1 } @get_struct()
4+
declare <2 x ptr> @get_vec()
5+
6+
; CHECK: MayAlias: i32* %a, i32* %extract
7+
define i32 @test_extractvalue() {
8+
%a = alloca i32
9+
%call = call { ptr, i1 } @get_struct()
10+
%extract = extractvalue { ptr, i1 } %call, 0
11+
store i32 0, ptr %extract
12+
%v = load i32, ptr %a
13+
ret i32 %v
14+
}
15+
16+
; CHECK: MayAlias: i32* %a, i32* %extract
17+
define i32 @test_extractelement() {
18+
%a = alloca i32
19+
%call = call <2 x ptr> @get_vec()
20+
%extract = extractelement <2 x ptr> %call, i32 0
21+
store i32 0, ptr %extract
22+
%v = load i32, ptr %a
23+
ret i32 %v
24+
}

0 commit comments

Comments
 (0)