Mercurial > hg > CbC > CbC_llvm

annotate llvm/test/Transforms/NewGVN/pr34135.ll @ 201:a96fbbdf2d0f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 04 Jun 2021 21:07:06 +0900
parents 1d019706d866
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
anatofuz
parents:
diff changeset
2 ; RUN: opt < %s -newgvn -enable-phi-of-ops=true -S | FileCheck %s
anatofuz
parents:
diff changeset
3 ;; Make sure we don't incorrectly use predicateinfo to simplify phi of ops cases
anatofuz
parents:
diff changeset
4 source_filename = "pr34135.ll"
anatofuz
parents:
diff changeset
5
anatofuz
parents:
diff changeset
6 define void @snork(i32 %arg) {
anatofuz
parents:
diff changeset
7 ; CHECK-LABEL: @snork(
anatofuz
parents:
diff changeset
8 ; CHECK-NEXT: bb:
anatofuz
parents:
diff changeset
9 ; CHECK-NEXT: [[TMP:%.*]] = sext i32 [[ARG:%.*]] to i64
anatofuz
parents:
diff changeset
10 ; CHECK-NEXT: br label [[BB1:%.*]]
anatofuz
parents:
diff changeset
11 ; CHECK: bb1:
anatofuz
parents:
diff changeset
12 ; CHECK-NEXT: [[TMP2:%.*]] = phi i64 [ 0, [[BB:%.*]] ], [ [[TMP3:%.*]], [[BB1]] ]
anatofuz
parents:
diff changeset
13 ; CHECK-NEXT: [[TMP3]] = add i64 [[TMP2]], 1
anatofuz
parents:
diff changeset
14 ; CHECK-NEXT: [[TMP4:%.*]] = icmp slt i64 [[TMP3]], [[TMP]]
anatofuz
parents:
diff changeset
15 ; CHECK-NEXT: br i1 [[TMP4]], label [[BB1]], label [[BB7:%.*]]
anatofuz
parents:
diff changeset
16 ; CHECK: bb5:
anatofuz
parents:
diff changeset
17 ; CHECK-NEXT: [[TMP6:%.*]] = icmp sgt i64 [[TMP]], 1
anatofuz
parents:
diff changeset
18 ; CHECK-NEXT: br i1 [[TMP6]], label [[BB7]], label [[BB9:%.*]]
anatofuz
parents:
diff changeset
19 ; CHECK: bb7:
anatofuz
parents:
diff changeset
20 ; CHECK-NEXT: br label [[BB5:%.*]]
anatofuz
parents:
diff changeset
21 ; CHECK: bb9:
anatofuz
parents:
diff changeset
22 ; CHECK-NEXT: unreachable
anatofuz
parents:
diff changeset
23 ;
anatofuz
parents:
diff changeset
24 bb:
anatofuz
parents:
diff changeset
25 %tmp = sext i32 %arg to i64
anatofuz
parents:
diff changeset
26 br label %bb1
anatofuz
parents:
diff changeset
27
anatofuz
parents:
diff changeset
28 bb1: ; preds = %bb1, %bb
anatofuz
parents:
diff changeset
29 %tmp2 = phi i64 [ 0, %bb ], [ %tmp3, %bb1 ]
anatofuz
parents:
diff changeset
30 %tmp3 = add i64 %tmp2, 1
anatofuz
parents:
diff changeset
31 %tmp4 = icmp slt i64 %tmp3, %tmp
anatofuz
parents:
diff changeset
32 br i1 %tmp4, label %bb1, label %bb7
anatofuz
parents:
diff changeset
33
anatofuz
parents:
diff changeset
34 bb5: ; preds = %bb7
anatofuz
parents:
diff changeset
35 %tmp6 = icmp sgt i64 %tmp8, 1
anatofuz
parents:
diff changeset
36 br i1 %tmp6, label %bb7, label %bb9
anatofuz
parents:
diff changeset
37
anatofuz
parents:
diff changeset
38 bb7: ; preds = %bb5, %bb1
anatofuz
parents:
diff changeset
39 %tmp8 = phi i64 [ undef, %bb5 ], [ %tmp, %bb1 ]
anatofuz
parents:
diff changeset
40 br label %bb5
anatofuz
parents:
diff changeset
41
anatofuz
parents:
diff changeset
42 bb9: ; preds = %bb5
anatofuz
parents:
diff changeset
43 unreachable
anatofuz
parents:
diff changeset
44 }