1; RUN: opt %loadPolly -analyze -polly-scops %s | FileCheck %s
2;
3; At some point this caused a problem in the domain generation as we
4; assumed any constant branch condition to be valid. However, only constant
5; integers are interesting and can be handled.
6;
7; CHECK: Stmt_entry_split__TO__cleanup
8;
9target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
10
11; Function Attrs: nounwind uwtable
12define i32 @main(i32* %A) #0 {
13entry:
14  br label %entry.split
15
16entry.split:                                      ; preds = %entry
17  br i1 icmp ne (i32 (...)* @test_weak, i32 (...)* null), label %if.then, label %cleanup
18
19if.then:                                          ; preds = %entry.split
20  store i32 0, i32* %A
21  br label %cleanup
22
23cleanup:                                          ; preds = %if.then, %entry.split
24  ret i32 0
25}
26
27declare extern_weak i32 @test_weak(...)
28