; In this test, a local alloca cannot alias an incoming argument.
-; RUN: opt %s -gvn -instcombine | llvm-dis | not grep sub
+; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s
+
+; CHECK: define i32 @test
+; CHECK-NEXT: ret i32 0
define i32 @test(i32* %P) {
%X = alloca i32