xref: /llvm-project/polly/test/ScopInfo/condition-after-error-block-before-scop.ll (revision e1f056f692d869708c1898d9d65a69ac5584a0ed)
1; RUN: opt %loadNPMPolly -passes=polly-codegen -S < %s 2>&1 | FileCheck %s
2
3target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
4target triple = "x86_64-unknown-linux-gnu"
5
6%class.node = type { ptr, ptr }
7
8define void @foobar(ptr %A) {
9if.end:
10  br i1 undef, label %if.then29, label %lor.lhs.false
11
12lor.lhs.false:
13  %call25 = tail call i32 undef(ptr undef)
14  br i1 undef, label %if.then29, label %if.end30
15
16if.then29:
17  br label %if.end30
18
19if.end30:
20  %tobool76.not = phi i1 [ false, %lor.lhs.false ], [ true, %if.then29 ]
21  br label %if.end75
22
23if.end75:
24  br label %if.end79
25
26if.end79:
27  br label %if.then84
28
29if.then84:
30  br label %if.end91
31
32if.end91:
33  br i1 %tobool76.not, label %if.end98, label %if.then93
34
35if.then93:
36  store double 0.0, ptr %A
37  br label %if.end98
38
39if.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
49