annotate llvm/test/Transforms/IndVarSimplify/pr24783.ll @ 252:1f2b6ac9f198 llvm-original

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 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
2 ; RUN: opt -S -passes=indvars < %s | FileCheck %s
150
anatofuz
parents:
diff changeset
3
anatofuz
parents:
diff changeset
4 target datalayout = "E-m:e-i64:64-n32:64"
anatofuz
parents:
diff changeset
5 target triple = "powerpc64-unknown-linux-gnu"
anatofuz
parents:
diff changeset
6
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
7 define void @f(ptr %end.s, ptr %loc, i32 %p) {
150
anatofuz
parents:
diff changeset
8 ; CHECK-LABEL: @f(
236
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
9 ; CHECK-NEXT: entry:
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
10 ; CHECK-NEXT: br label [[WHILE_BODY_I:%.*]]
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
11 ; CHECK: while.body.i:
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
12 ; CHECK-NEXT: br i1 true, label [[LOOP_EXIT:%.*]], label [[WHILE_BODY_I]]
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
13 ; CHECK: loop.exit:
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
14 ; CHECK-NEXT: [[END:%.*]] = getelementptr inbounds i32, ptr [[END_S:%.*]], i32 [[P:%.*]]
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
15 ; CHECK-NEXT: store ptr [[END]], ptr [[LOC:%.*]], align 8
236
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
16 ; CHECK-NEXT: ret void
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
17 ;
150
anatofuz
parents:
diff changeset
18 entry:
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
19 %end = getelementptr inbounds i32, ptr %end.s, i32 %p
150
anatofuz
parents:
diff changeset
20 br label %while.body.i
anatofuz
parents:
diff changeset
21
anatofuz
parents:
diff changeset
22 while.body.i:
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
23 %ptr = phi ptr [ %ptr.inc, %while.body.i ], [ %end.s, %entry ]
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
24 %ptr.inc = getelementptr inbounds i8, ptr %ptr, i8 1
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
25 %cmp.i = icmp eq ptr %ptr.inc, %end
150
anatofuz
parents:
diff changeset
26 br i1 %cmp.i, label %loop.exit, label %while.body.i
anatofuz
parents:
diff changeset
27
anatofuz
parents:
diff changeset
28 loop.exit:
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
29 %ptr.inc.lcssa = phi ptr [ %ptr.inc, %while.body.i ]
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
30 store ptr %ptr.inc.lcssa, ptr %loc
150
anatofuz
parents:
diff changeset
31 ret void
anatofuz
parents:
diff changeset
32 }