diff options
Diffstat (limited to 'llvm/test/Analysis/CFLAliasAnalysis/interproc-ret-arg.ll')
| -rw-r--r-- | llvm/test/Analysis/CFLAliasAnalysis/interproc-ret-arg.ll | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/llvm/test/Analysis/CFLAliasAnalysis/interproc-ret-arg.ll b/llvm/test/Analysis/CFLAliasAnalysis/interproc-ret-arg.ll index c49662aa854..9d29f927e35 100644 --- a/llvm/test/Analysis/CFLAliasAnalysis/interproc-ret-arg.ll +++ b/llvm/test/Analysis/CFLAliasAnalysis/interproc-ret-arg.ll @@ -4,10 +4,6 @@ ; RUN: opt < %s -disable-basicaa -cfl-aa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s ; RUN: opt < %s -aa-pipeline=cfl-aa -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s -; We have to xfail this since @return_arg_callee is treated as an opaque -; function, and the anlysis couldn't prove that %b and %c are not aliases -; XFAIL: * - define i32* @return_arg_callee(i32* %arg1, i32* %arg2) { ret i32* %arg1 } @@ -22,4 +18,4 @@ define void @test_return_arg() { %c = call i32* @return_arg_callee(i32* %a, i32* %b) ret void -}
\ No newline at end of file +} |
