test/Analysis/CFLAliasAnalysis/stratified-attrs-indexing.ll

   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 }