annotate polly/test/ScopInfo/undef_in_cond.ll @ 266:00f31e85ec16 default tip

Added tag current for changeset 31d058e83c98
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 14 Oct 2023 10:13:55 +0900
parents c4bab56944e8
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
236
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
1 ; RUN: opt %loadPolly -polly-print-scops -disable-output < %s | FileCheck %s
150
anatofuz
parents:
diff changeset
2 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
anatofuz
parents:
diff changeset
3
anatofuz
parents:
diff changeset
4 define fastcc void @fix_operands() nounwind {
anatofuz
parents:
diff changeset
5 entry:
anatofuz
parents:
diff changeset
6 br i1 undef, label %bb3, label %bb1
anatofuz
parents:
diff changeset
7
anatofuz
parents:
diff changeset
8 bb1: ; preds = %bb
anatofuz
parents:
diff changeset
9 %0 = icmp eq i32 0, undef ; <i1> [#uses=1]
anatofuz
parents:
diff changeset
10 br i1 %0, label %bb3, label %bb2
anatofuz
parents:
diff changeset
11
anatofuz
parents:
diff changeset
12 bb2: ; preds = %bb1
anatofuz
parents:
diff changeset
13 br label %bb3
anatofuz
parents:
diff changeset
14
anatofuz
parents:
diff changeset
15 bb3: ; preds = %bb2, %bb1, %bb
anatofuz
parents:
diff changeset
16 br label %bb14
anatofuz
parents:
diff changeset
17
anatofuz
parents:
diff changeset
18 bb14: ; preds = %bb5, %bb4, %bb3, %entry
anatofuz
parents:
diff changeset
19 ret void
anatofuz
parents:
diff changeset
20 }
anatofuz
parents:
diff changeset
21
anatofuz
parents:
diff changeset
22 ; CHECK-NOT: Function: