1 ; This testcase ensures that CFLAA doesn't try to access out of bounds indices 2 ; when given functions with large amounts of arguments (specifically, more 3 ; arguments than the StratifiedAttrs bitset can handle) 4 ; 5 ; Because the result on failure is effectively crashing the compiler, output 6 ; checking is minimal. 7 8 ; RUN: opt < %s -cfl-aa -aa-eval -print-may-aliases -disable-output 2>&1 | FileCheck %s 9 10 ; CHECK: Function: test 11 define void @test(i1 %cond, 12 i32* %arg1, i32* %arg2, i32* %arg3, i32* %arg4, i32* %arg5, 13 i32* %arg6, i32* %arg7, i32* %arg8, i32* %arg9, i32* %arg10, 14 i32* %arg11, i32* %arg12, i32* %arg13, i32* %arg14, i32* %arg15, 15 i32* %arg16, i32* %arg17, i32* %arg18, i32* %arg19, i32* %arg20, 16 i32* %arg21, i32* %arg22, i32* %arg23, i32* %arg24, i32* %arg25, 17 i32* %arg26, i32* %arg27, i32* %arg28, i32* %arg29, i32* %arg30, 18 i32* %arg31, i32* %arg32, i32* %arg33, i32* %arg34, i32* %arg35) { 19 20 ; CHECK: 946 Total Alias Queries Performed 21 ; CHECK: 43 no alias responses (4.5%) 22 %a = alloca i32, align 4 23 %b = select i1 %cond, i32* %arg35, i32* %arg34 24 %c = select i1 %cond, i32* %arg34, i32* %arg33 25 %d = select i1 %cond, i32* %arg33, i32* %arg32 26 %e = select i1 %cond, i32* %arg32, i32* %arg31 27 %f = select i1 %cond, i32* %arg31, i32* %arg30 28 %g = select i1 %cond, i32* %arg30, i32* %arg29 29 %h = select i1 %cond, i32* %arg29, i32* %arg28 30 %i = select i1 %cond, i32* %arg28, i32* %arg27 31 32 ret void 33 } 34
