Mercurial > hg > CbC > CbC_llvm

annotate llvm/test/Transforms/IndVarSimplify/udiv-invariant-but-traps.ll @ 252:1f2b6ac9f198 llvm-original

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM16-1
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 18 Aug 2023 09:04:13 +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 -passes=indvars -S < %s | FileCheck %s
150
anatofuz
parents:
diff changeset
2
anatofuz
parents:
diff changeset
3 @b = common global i32 0, align 4
anatofuz
parents:
diff changeset
4
anatofuz
parents:
diff changeset
5 define i32 @foo(i32 %x, i1 %y) {
anatofuz
parents:
diff changeset
6 bb0:
anatofuz
parents:
diff changeset
7 br label %bb1
anatofuz
parents:
diff changeset
8
anatofuz
parents:
diff changeset
9 bb1:
anatofuz
parents:
diff changeset
10 br i1 %y, label %bb14, label %bb8
anatofuz
parents:
diff changeset
11
anatofuz
parents:
diff changeset
12 bb8:
anatofuz
parents:
diff changeset
13 %i = phi i64 [ %i.next, %bb8 ], [ 0, %bb1 ]
anatofuz
parents:
diff changeset
14 %i.next = add i64 %i, 1
anatofuz
parents:
diff changeset
15 %div = udiv i32 1, %x
anatofuz
parents:
diff changeset
16 %c = icmp eq i64 %i.next, 6
anatofuz
parents:
diff changeset
17 br i1 %c, label %bb11, label %bb8
anatofuz
parents:
diff changeset
18
anatofuz
parents:
diff changeset
19 bb11:
anatofuz
parents:
diff changeset
20 br i1 %y, label %bb1, label %bb13
anatofuz
parents:
diff changeset
21
anatofuz
parents:
diff changeset
22 bb13:
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
23 store i32 %div, ptr @b, align 4
150
anatofuz
parents:
diff changeset
24 br label %bb14
anatofuz
parents:
diff changeset
25
anatofuz
parents:
diff changeset
26 bb14:
anatofuz
parents:
diff changeset
27 ret i32 0
anatofuz
parents:
diff changeset
28 }
anatofuz
parents:
diff changeset
29
anatofuz
parents:
diff changeset
30 ; CHECK-LABEL: @foo(
anatofuz
parents:
diff changeset
31 ; CHECK: bb8:
anatofuz
parents:
diff changeset
32 ; CHECK: udiv