polly/test/CodeGen/scop_expander_segfault.ll

   1 ; RUN: opt %loadPolly -polly-codegen -S %s | FileCheck %s
   2 ;
   3 ; This test was extracted from gcc in SPEC2006 and it crashed our code
   4 ; generation, or to be more precise, the ScopExpander due to a endless
   5 ; recursion. It was fixed in r261474 (git: 61cba205ca59).
   6 ;
   7 ; CHECK: polly.start:
   8 ;
   9 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  10
  11 define void @lex_number(ptr %str) {
  12 entry:
  13   br label %for.end
  14
  15 for.end:                                          ; preds = %entry
  16   %0 = load i8, ptr %str, align 1
  17   %cmp17 = icmp eq i8 %0, 48
  18   br i1 %cmp17, label %land.lhs.true34, label %lor.lhs.false81
  19
  20 land.lhs.true34:                                  ; preds = %for.end
  21   %arrayidx35 = getelementptr inbounds i8, ptr %str, i64 1
  22   %str.arrayidx35 = select i1 undef, ptr %str, ptr %arrayidx35
  23   br label %lor.lhs.false81
  24
  25 lor.lhs.false81:                                  ; preds = %land.lhs.true34, %for.end
  26   %p.0 = phi ptr [ %str.arrayidx35, %land.lhs.true34 ], [ %str, %for.end ]
  27   br label %do.body172
  28
  29 do.body172:                                       ; preds = %lor.lhs.false81
  30   ret void
  31 }