108 lines · plain
1; RUN: opt < %s -aa-pipeline=basic-aa -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s2target datalayout = "p:64:64"3 4declare void @escape(ptr %ptr)5 6; Verify that unescaped noalias parameter does not alias inttoptr7define void @test1(ptr noalias %P, i64 %Q_as_int) {8 ; CHECK-LABEL: Function: test1:9 ; CHECK: NoAlias: i8* %P, i8* %Q10 %Q = inttoptr i64 %Q_as_int to ptr11 store i8 0, ptr %P12 store i8 1, ptr %Q13 ret void14}15 16; Verify that unescaped alloca does not alias inttoptr17define void @test2(i64 %Q_as_int) {18 ; CHECK-LABEL: Function: test2:19 ; CHECK: NoAlias: i8* %P, i8* %Q20 %P = alloca i821 %Q = inttoptr i64 %Q_as_int to ptr22 store i8 0, ptr %P23 store i8 1, ptr %Q24 ret void25}26 27; Verify that escaped noalias parameter may alias inttoptr28define void @test3(ptr noalias %P, i64 %Q_as_int) {29 ; CHECK-LABEL: Function: test3:30 ; CHECK: MayAlias: i8* %P, i8* %Q31 call void @escape(ptr %P)32 %Q = inttoptr i64 %Q_as_int to ptr33 store i8 0, ptr %P34 store i8 1, ptr %Q35 ret void36}37 38; Verify that escaped alloca may alias inttoptr39define void @test4(i64 %Q_as_int) {40 ; CHECK-LABEL: Function: test4:41 ; CHECK: MayAlias: i8* %P, i8* %Q42 %P = alloca i843 call void @escape(ptr %P)44 %Q = inttoptr i64 %Q_as_int to ptr45 store i8 0, ptr %P46 store i8 1, ptr %Q47 ret void48}49 50 51; Verify that global may alias inttoptr52@G = external global i853define void @test5(i64 %Q_as_int) {54 ; CHECK-LABEL: Function: test5:55 ; CHECK: MayAlias: i8* %Q, i8* @G56 %Q = inttoptr i64 %Q_as_int to ptr57 store i8 0, ptr @G58 store i8 1, ptr %Q59 ret void60}61 62; Verify that extractvalue of a coerced ptr argument array are NoAlias a function local object63define void @test_extractvalue([2 x ptr] %Q.coerce) {64 ; CHECK-LABEL: Function: test_extractvalue:65 ; CHECK: NoAlias: i8* %P, i8* %Q66 %P = alloca i867 %Q = extractvalue [2 x ptr] %Q.coerce, 168 store i8 0, ptr %P69 store i8 1, ptr %Q70 ret void71}72 73; Same as test_extractvalue with an escape of %P74define void @test_extractvalue_escape([2 x ptr] %Q.coerce) {75 ; CHECK-LABEL: Function: test_extractvalue_escape:76 ; CHECK: NoAlias: i8* %P, i8* %Q77 %P = alloca i878 call void @escape(ptr %P)79 %Q = extractvalue [2 x ptr] %Q.coerce, 180 store i8 0, ptr %P81 store i8 1, ptr %Q82 ret void83}84 85; Verify that extractvalue of a coerced ptr argument array are NoAlias a function local object86define void @test_extractvalue_int([2 x i64] %Q.coerce) {87 ; CHECK-LABEL: Function: test_extractvalue_int:88 ; CHECK: NoAlias: i8* %P, i8* %Q89 %P = alloca i890 %Q_as_int = extractvalue [2 x i64] %Q.coerce, 191 %Q = inttoptr i64 %Q_as_int to ptr92 store i8 0, ptr %P93 store i8 1, ptr %Q94 ret void95}96 97; Same as test_extractvalue_int with an escape of %P98define void @test_extractvalue_int_escape([2 x i64] %Q.coerce) {99 ; CHECK-LABEL: Function: test_extractvalue_int_escape:100 ; CHECK: MayAlias: i8* %P, i8* %Q101 %P = alloca i8102 call void @escape(ptr %P)103 %Q_as_int = extractvalue [2 x i64] %Q.coerce, 1104 %Q = inttoptr i64 %Q_as_int to ptr105 store i8 0, ptr %P106 store i8 1, ptr %Q107 ret void108}