Mercurial > hg > CbC > CbC_llvm

comparison polly/test/ForwardOpTree/changed-kind.ll @ 236:c4bab56944e8 llvm-original

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 16
author kono
date Wed, 09 Nov 2022 17:45:10 +0900
parents 79ff65ed7e25
children 1f2b6ac9f198
comparison
equal deleted inserted replaced
232:70dce7da266c 236:c4bab56944e8
1 ; RUN: opt %loadPolly -polly-optree -analyze < %s | FileCheck %s -match-full-lines 1 ; RUN: opt %loadPolly -polly-print-optree -disable-output < %s | FileCheck %s -match-full-lines
2 2
3 ; In the code below, %0 is known to be equal to the content of @c (constant 0). 3 ; In the code below, %0 is known to be equal to the content of @c (constant 0).
4 ; Thus, in order to save a scalar dependency, forward-optree replaces 4 ; Thus, in order to save a scalar dependency, forward-optree replaces
5 ; the use of %0 in Stmt_lor_end93 by a load from @c by changing the 5 ; the use of %0 in Stmt_lor_end93 by a load from @c by changing the
6 ; access find from a scalar access to a array accesses. 6 ; access find from a scalar access to a array accesses.
7 ; llvm.org/PR48034 decribes a crash caused by the mid-processing change. 7 ; llvm.org/PR48034 describes a crash caused by the mid-processing change.
8 8
9 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" 9 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
10 target triple = "x86_64-unknown-linux-gnu" 10 target triple = "x86_64-unknown-linux-gnu"
11 11
12 @c = external dso_local global i64, align 8 12 @c = external dso_local global i64, align 8
41 br label %while.cond.loopexit 41 br label %while.cond.loopexit
42 } 42 }
43 43
44 44
45 ; CHECK: Statistics { 45 ; CHECK: Statistics {
46 ; CHECK: Reloads: 1 46 ; CHECK: Reloads: 0
47 ; CHECK: } 47 ; CHECK: }
48
49 ; CHECK: After statements {
50 ; CHECK: Stmt_lor_end93
51 ; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 1]
52 ; CHECK-NEXT: { Stmt_lor_end93[] -> MemRef3[] };
53 ; CHECK-NEXT: new: { Stmt_lor_end93[] -> MemRef_c[0] };
54 ; CHECK: }