34 lines · plain
1; RUN: opt -S -aa-pipeline=basic-aa -passes=dse < %s | FileCheck %s2 3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"4target triple = "x86_64-unknown-linux-gnu"5 6; We incorrectly returned noalias in the example below for "ptr.64" and7; "either_ptr.64".8; PR184609 10%nested = type { %nested.i64 }11%nested.i64 = type { i64 }12 13define i64 @testcase(ptr noalias %p1, ptr noalias %p2,14 i32 %a, i32 %b) {15 %ptr = getelementptr inbounds %nested, ptr %p1, i64 -1, i32 016 %ptr.64 = getelementptr inbounds %nested.i64, ptr %ptr, i64 0, i32 017 %ptr2= getelementptr inbounds %nested, ptr %p2, i64 0, i32 018 %cmp = icmp ult i32 %a, %b19 %either_ptr = select i1 %cmp, ptr %ptr2, ptr %ptr20 %either_ptr.64 = getelementptr inbounds %nested.i64, ptr %either_ptr, i64 0, i32 021 22; Because either_ptr.64 and ptr.64 can alias (we used to return noalias)23; elimination of the first store is not valid.24 25; CHECK: store i64 226; CHECK: load27; CHECK: store i64 128 29 store i64 2, ptr %ptr.64, align 830 %r = load i64, ptr %either_ptr.64, align 831 store i64 1, ptr %ptr.64, align 832 ret i64 %r33}34