185 lines · plain
1; RUN: opt < %s -aa-pipeline=basic-aa -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s2 3target datalayout = "e-m:e-p:32:32-f64:32:64-f80:32-n8:16:32-S128"4target triple = "i386-unknown-linux-gnu"5 6declare ptr @random.i32(ptr %ptr)7declare ptr @random.i8(ptr %ptr)8 9; CHECK-LABEL: Function: arr:10; CHECK-DAG: MayAlias: i32* %alloca, i32* %p011; CHECK-DAG: NoAlias: i32* %alloca, i32* %p112define void @arr() {13 %alloca = alloca i32, i32 414 %random = call ptr @random.i32(ptr %alloca)15 %p0 = getelementptr inbounds i32, ptr %random, i32 016 %p1 = getelementptr inbounds i32, ptr %random, i32 117 load i32, ptr %alloca18 load i32, ptr %p019 load i32, ptr %p120 ret void21}22 23; CHECK-LABEL: Function: arg:24; CHECK-DAG: MayAlias: i32* %arg, i32* %p025; CHECK-DAG: MayAlias: i32* %arg, i32* %p126define void @arg(ptr %arg) {27 %random = call ptr @random.i32(ptr %arg)28 %p0 = getelementptr inbounds i32, ptr %random, i32 029 %p1 = getelementptr inbounds i32, ptr %random, i32 130 load i32, ptr %arg31 load i32, ptr %p032 load i32, ptr %p133 ret void34}35 36@gv = global i32 137; CHECK-LABEL: Function: global:38; CHECK-DAG: MayAlias: i32* %random, i32* @gv39; CHECK-DAG: NoAlias: i32* %p1, i32* @gv40define void @global() {41 %random = call ptr @random.i32(ptr @gv)42 %p1 = getelementptr inbounds i32, ptr %random, i32 143 load i32, ptr @gv44 load i32, ptr %random45 load i32, ptr %p146 ret void47}48 49; CHECK-LABEL: Function: struct:50; CHECK-DAG: MayAlias: i32* %alloca, i32* %p051; CHECK-DAG: MayAlias: i32* %f1, i32* %p052; CHECK-DAG: NoAlias: i32* %alloca, i32* %p153; CHECK-DAG: MayAlias: i32* %f1, i32* %p154%struct = type { i32, i32, i32 }55define void @struct() {56 %alloca = alloca %struct57 %random = call ptr @random.i32(ptr %alloca)58 %f1 = getelementptr inbounds %struct, ptr %alloca, i32 0, i32 159 %p0 = getelementptr inbounds i32, ptr %random, i32 060 %p1 = getelementptr inbounds i32, ptr %random, i32 161 load i32, ptr %alloca62 load i32, ptr %f163 load i32, ptr %p064 load i32, ptr %p165 ret void66}67 68; CHECK-LABEL: Function: complex1:69; CHECK-DAG: MayAlias: i32* %a2.0, i32* %r2.070; CHECK-DAG: NoAlias: i32* %a2.0, i32* %r2.171; CHECK-DAG: MayAlias: i32* %a2.0, i32* %r2.i72; CHECK-DAG: MayAlias: i32* %a2.0, i32* %r2.1i73; CHECK-DAG: NoAlias: i32* %a1, i32* %r2.074; CHECK-DAG: NoAlias: i32* %a1, i32* %r2.175; CHECK-DAG: MayAlias: i32* %a1, i32* %r2.i76; CHECK-DAG: MayAlias: i32* %a1, i32* %r2.1i77%complex = type { i32, i32, [4 x i32] }78define void @complex1(i32 %i) {79 %alloca = alloca %complex80 %r.i32 = call ptr @random.i32(ptr %alloca)81 %a1 = getelementptr inbounds %complex, ptr %alloca, i32 0, i32 182 %a2.0 = getelementptr inbounds %complex, ptr %alloca, i32 0, i32 2, i32 083 %r2.0 = getelementptr inbounds %complex, ptr %r.i32, i32 0, i32 2, i32 084 %r2.1 = getelementptr inbounds %complex, ptr %r.i32, i32 0, i32 2, i32 185 %r2.i = getelementptr inbounds %complex, ptr %r.i32, i32 0, i32 2, i32 %i86 %r2.1i = getelementptr inbounds i32, ptr %r2.1, i32 %i87 load i32, ptr %a2.088 load i32, ptr %a189 load i32, ptr %r2.090 load i32, ptr %r2.191 load i32, ptr %r2.i92 load i32, ptr %r2.1i93 ret void94}95 96; CHECK-LABEL: Function: complex2:97; CHECK-DAG: NoAlias: i32* %alloca, i32* %p12098; CHECK-DAG: MayAlias: i32* %alloca, i32* %pi2099; CHECK-DAG: MayAlias: i32* %alloca, i32* %pij1100; CHECK-DAG: MayAlias: i32* %a3, i32* %pij1101%inner = type { i32, i32 }102%outer = type { i32, i32, [10 x %inner] }103declare ptr @rand_outer(ptr %p)104define void @complex2(i32 %i, i32 %j) {105 %alloca = alloca i32, i32 128106 %a3 = getelementptr inbounds i32, ptr %alloca, i32 3107 %random = call ptr @rand_outer(ptr %alloca)108 %p120 = getelementptr inbounds %outer, ptr %random, i32 1, i32 2, i32 2, i32 0109 %pi20 = getelementptr inbounds %outer, ptr %random, i32 %i, i32 2, i32 2, i32 0110 %pij1 = getelementptr inbounds %outer, ptr %random, i32 %i, i32 2, i32 %j, i32 1111 load i32, ptr %alloca112 load i32, ptr %a3113 load i32, ptr %p120114 load i32, ptr %pi20115 load i32, ptr %pij1116 ret void117}118 119; CHECK-LABEL: Function: pointer_offset:120; CHECK-DAG: MayAlias: ptr* %add.ptr, ptr* %x121; CHECK-DAG: MayAlias: ptr* %add.ptr, ptr* %q2122%struct.X = type { ptr, ptr }123define i32 @pointer_offset(i32 signext %i, i32 signext %j, i32 zeroext %off) {124entry:125 %i.addr = alloca i32126 %j.addr = alloca i32127 %x = alloca %struct.X128 store i32 %i, ptr %i.addr129 store i32 %j, ptr %j.addr130 store ptr %i.addr, ptr %x131 %q2 = getelementptr inbounds %struct.X, ptr %x, i32 0, i32 1132 store ptr %j.addr, ptr %q2133 %add.ptr = getelementptr inbounds ptr, ptr %q2, i32 %off134 %0 = load ptr, ptr %add.ptr135 %1 = load i32, ptr %0136 ret i32 %1137}138 139; CHECK-LABEL: Function: one_size_unknown:140; CHECK: NoModRef: Ptr: i8* %p.minus1 <-> call void @llvm.memset.p0.i32(ptr %p, i8 0, i32 %size, i1 false)141define void @one_size_unknown(ptr %p, i32 %size) {142 %p.minus1 = getelementptr inbounds i8, ptr %p, i32 -1143 call void @llvm.memset.p0.i32(ptr %p, i8 0, i32 %size, i1 false)144 load i8, ptr %p.minus1145 ret void146}147 148 149; If part of the addressing is done with non-inbounds GEPs, we can't use150; properties implied by the last gep w/the whole offset. In this case,151; %random = %alloc - 4 bytes is well defined, and results in %step == %alloca,152; leaving %p as an entirely inbounds gep pointing inside %alloca153; CHECK-LABEL: Function: all_inbounds:154; CHECK: MayAlias: i32* %alloca, i8* %random155; CHECK: MayAlias: i32* %alloca, i8* %p1156define void @all_inbounds() {157 %alloca = alloca i32, i32 4158 %random = call ptr @random.i8(ptr %alloca)159 %step = getelementptr i8, ptr %random, i8 4160 %p1 = getelementptr inbounds i8, ptr %step, i8 2161 load i32, ptr %alloca162 load i8, ptr %random163 load i8, ptr %p1164 ret void165}166 167 168; For all values of %x, %random and %p1 can't alias because %random would169; have to be out of bounds (and thus a contradiction) for them to be equal.170; CHECK-LABEL: Function: common_factor:171; CHECK: NoAlias: i32* %p0, i32* %p1172define void @common_factor(i32 %x) {173 %alloca = alloca i32, i32 4174 %random = call ptr @random.i8(ptr %alloca)175 %p0 = getelementptr inbounds i32, ptr %alloca, i32 %x176 %step = getelementptr inbounds i8, ptr %random, i8 4177 %p1 = getelementptr inbounds i32, ptr %step, i32 %x178 load i32, ptr %p0179 load i32, ptr %p1180 ret void181}182 183 184declare void @llvm.memset.p0.i32(ptr, i8, i32, i1)185