polly/test/ScopInfo/condition-after-error-block-before-scop.ll

   1 ; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s
   2
   3 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
   4 target triple = "x86_64-unknown-linux-gnu"
   5
   6 %class.node = type { ptr, ptr }
   7
   8 define void @foobar(ptr %A) {
   9 if.end:
  10   br i1 undef, label %if.then29, label %lor.lhs.false
  11
  12 lor.lhs.false:
  13   %call25 = tail call i32 undef(ptr undef)
  14   br i1 undef, label %if.then29, label %if.end30
  15
  16 if.then29:
  17   br label %if.end30
  18
  19 if.end30:
  20   %tobool76.not = phi i1 [ false, %lor.lhs.false ], [ true, %if.then29 ]
  21   br label %if.end75
  22
  23 if.end75:
  24   br label %if.end79
  25
  26 if.end79:
  27   br label %if.then84
  28
  29 if.then84:
  30   br label %if.end91
  31
  32 if.end91:
  33   br i1 %tobool76.not, label %if.end98, label %if.then93
  34
  35 if.then93:
  36   store double 0.0, ptr %A
  37   br label %if.end98
  38
  39 if.end98:
  40   %tobool131 = phi i1 [ false, %if.end91 ], [ true, %if.then93 ]
  41   ret void
  42 }
  43
  44
  45 ; CHECK: polly.stmt.if.then93:
  46 ; CHECK:   store double 0.000000e+00, ptr %A
  47 ; CHECK:   br label %polly.exiting
  48