• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: opt %loadPolly -S < %s -polly-codegen-ppcg \
2; RUN: -polly-invariant-load-hoisting | FileCheck %s -check-prefix=CODEGEN
3
4; REQUIRES: pollyacc
5
6target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n8:16:32-S64"
7
8%S = type { i32, i32, [12 x %L] }
9%L = type { i32, i32, double, i32, i32, i32, i32, i32 }
10
11define void @test(%S* %cpi, i1 %b) {
12; CODEGEN-LABEL: @test(
13; CODEGEN:    polly.preload.begin:
14; CODEGEN-NEXT:  br i1 false
15
16entry:
17  %nt = getelementptr inbounds %S, %S* %cpi, i32 0, i32 1
18  br i1 %b, label %if.then14, label %exit
19
20if.then14:
21  %ns = getelementptr inbounds %S, %S* %cpi, i32 0, i32 0
22  %l0 = load i32, i32* %ns, align 8
23  %cmp12.i = icmp sgt i32 %l0, 0
24  br i1 %cmp12.i, label %for.body.lr.ph.i, label %exit
25
26for.body.lr.ph.i:
27  %l1 = load i32, i32* %nt, align 4
28  br label %for.body.i
29
30for.body.i:
31  %phi = phi i32 [ 0, %for.body.lr.ph.i ], [ %inc, %for.body.i ]
32  %mul.i163 = mul nsw i32 %phi, %l1
33  %cv = getelementptr inbounds %S, %S* %cpi, i32 0, i32 2, i32 %mul.i163, i32 0
34  store i32 0, i32* %cv, align 8
35  %inc = add nuw nsw i32 %phi, 1
36  %l2 = load i32, i32* %ns, align 8
37  %cmp.i164 = icmp slt i32 %inc, %l2
38  br i1 %cmp.i164, label %for.body.i, label %exit
39
40exit:
41  ret void
42}
43