Mercurial > hg > CbC > CbC_llvm

annotate polly/test/ScopInfo/constant-non-integer-branch-condition.ll @ 150:1d019706d866

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM10
author anatofuz
date Thu, 13 Feb 2020 15:10:13 +0900
parents
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 ; RUN: opt %loadPolly -analyze -polly-scops %s | FileCheck %s
anatofuz
parents:
diff changeset
2 ;
anatofuz
parents:
diff changeset
3 ; At some point this caused a problem in the domain generation as we
anatofuz
parents:
diff changeset
4 ; assumed any constant branch condition to be valid. However, only constant
anatofuz
parents:
diff changeset
5 ; integers are interesting and can be handled.
anatofuz
parents:
diff changeset
6 ;
anatofuz
parents:
diff changeset
7 ; CHECK: Stmt_entry_split__TO__cleanup
anatofuz
parents:
diff changeset
8 ;
anatofuz
parents:
diff changeset
9 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
anatofuz
parents:
diff changeset
10
anatofuz
parents:
diff changeset
11 ; Function Attrs: nounwind uwtable
anatofuz
parents:
diff changeset
12 define i32 @main(i32* %A) #0 {
anatofuz
parents:
diff changeset
13 entry:
anatofuz
parents:
diff changeset
14 br label %entry.split
anatofuz
parents:
diff changeset
15
anatofuz
parents:
diff changeset
16 entry.split: ; preds = %entry
anatofuz
parents:
diff changeset
17 br i1 icmp ne (i32 (...)* @test_weak, i32 (...)* null), label %if.then, label %cleanup
anatofuz
parents:
diff changeset
18
anatofuz
parents:
diff changeset
19 if.then: ; preds = %entry.split
anatofuz
parents:
diff changeset
20 store i32 0, i32* %A
anatofuz
parents:
diff changeset
21 br label %cleanup
anatofuz
parents:
diff changeset
22
anatofuz
parents:
diff changeset
23 cleanup: ; preds = %if.then, %entry.split
anatofuz
parents:
diff changeset
24 ret i32 0
anatofuz
parents:
diff changeset
25 }
anatofuz
parents:
diff changeset
26
anatofuz
parents:
diff changeset
27 declare extern_weak i32 @test_weak(...)