From 448c4942e75e109692919e1a1a10ad8b2f0e3ae0 Mon Sep 17 00:00:00 2001 From: George Burgess IV Date: Wed, 21 Jan 2015 22:39:35 +0000 Subject: [PATCH] Added test to cover the CFLAA bitset indexing bug. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@226710 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../stratified-attrs-indexing.ll | 33 +++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 test/Analysis/CFLAliasAnalysis/stratified-attrs-indexing.ll diff --git a/test/Analysis/CFLAliasAnalysis/stratified-attrs-indexing.ll b/test/Analysis/CFLAliasAnalysis/stratified-attrs-indexing.ll new file mode 100644 index 00000000000..8afedf2e139 --- /dev/null +++ b/test/Analysis/CFLAliasAnalysis/stratified-attrs-indexing.ll @@ -0,0 +1,33 @@ +; This testcase ensures that CFLAA doesn't try to access out of bounds indices +; when given functions with large amounts of arguments (specifically, more +; arguments than the StratifiedAttrs bitset can handle) +; +; Because the result on failure is effectively crashing the compiler, output +; checking is minimal. + +; RUN: opt < %s -cfl-aa -aa-eval -print-may-aliases -disable-output 2>&1 | FileCheck %s + +; CHECK: Function: test +define void @test(i1 %cond, + i32* %arg1, i32* %arg2, i32* %arg3, i32* %arg4, i32* %arg5, + i32* %arg6, i32* %arg7, i32* %arg8, i32* %arg9, i32* %arg10, + i32* %arg11, i32* %arg12, i32* %arg13, i32* %arg14, i32* %arg15, + i32* %arg16, i32* %arg17, i32* %arg18, i32* %arg19, i32* %arg20, + i32* %arg21, i32* %arg22, i32* %arg23, i32* %arg24, i32* %arg25, + i32* %arg26, i32* %arg27, i32* %arg28, i32* %arg29, i32* %arg30, + i32* %arg31, i32* %arg32, i32* %arg33, i32* %arg34, i32* %arg35) { + + ; CHECK: 946 Total Alias Queries Performed + ; CHECK: 810 no alias responses (85.6%) + %a = alloca i32, align 4 + %b = select i1 %cond, i32* %arg35, i32* %arg34 + %c = select i1 %cond, i32* %arg34, i32* %arg33 + %d = select i1 %cond, i32* %arg33, i32* %arg32 + %e = select i1 %cond, i32* %arg32, i32* %arg31 + %f = select i1 %cond, i32* %arg31, i32* %arg30 + %g = select i1 %cond, i32* %arg30, i32* %arg29 + %h = select i1 %cond, i32* %arg29, i32* %arg28 + %i = select i1 %cond, i32* %arg28, i32* %arg27 + + ret void +} -- 2.34.1