48 lines · plain
1; RUN: opt -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 < %s | FileCheck %s2 3declare { ptr, i1 } @get_struct()4declare <2 x ptr> @get_vec()5declare void @escape(ptr)6 7; CHECK: NoAlias: i32* %a, i32* %extract8define i32 @test_extractvalue() {9 %a = alloca i3210 %call = call { ptr, i1 } @get_struct()11 %extract = extractvalue { ptr, i1 } %call, 012 store i32 0, ptr %extract13 %v = load i32, ptr %a14 ret i32 %v15}16 17; CHECK: NoAlias: i32* %a, i32* %extract18define i32 @test_extractelement() {19 %a = alloca i3220 %call = call <2 x ptr> @get_vec()21 %extract = extractelement <2 x ptr> %call, i32 022 store i32 0, ptr %extract23 %v = load i32, ptr %a24 ret i32 %v25}26 27; CHECK: MayAlias: i32* %a, i32* %extract28define i32 @test_extractvalue_escape() {29 %a = alloca i3230 call void @escape(ptr %a)31 %call = call { ptr, i1 } @get_struct()32 %extract = extractvalue { ptr, i1 } %call, 033 store i32 0, ptr %extract34 %v = load i32, ptr %a35 ret i32 %v36}37 38; CHECK: MayAlias: i32* %a, i32* %extract39define i32 @test_extractelement_escape() {40 %a = alloca i3241 call void @escape(ptr %a)42 %call = call <2 x ptr> @get_vec()43 %extract = extractelement <2 x ptr> %call, i32 044 store i32 0, ptr %extract45 %v = load i32, ptr %a46 ret i32 %v47}48