comparison polly/test/ScopInfo/multi-scop.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
comparison
equal deleted inserted replaced
237:c80f45b162ad 252:1f2b6ac9f198
1 ; RUN: opt %loadPolly -polly-print-detect -polly-scops -disable-output < %s | FileCheck %s 1 ; RUN: opt %loadPolly -polly-print-detect -polly-scops -disable-output < %s | FileCheck %s
2 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 2 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
3 3
4 ; This test case contains two scops. 4 ; This test case contains two scops.
5 define void @test(i32 %l, double* %a) { 5 define void @test(i32 %l, ptr %a) {
6 entry: 6 entry:
7 br label %entry.split 7 br label %entry.split
8 8
9 entry.split: ; preds = %entry 9 entry.split: ; preds = %entry
10 %shl = shl i32 %l, 2 10 %shl = shl i32 %l, 2
20 20
21 for.body81: ; preds = %for.body81, %for.end 21 for.body81: ; preds = %for.body81, %for.end
22 %j.19 = phi i32 [ %shl, %for.end ], [ %add169, %for.body81 ] 22 %j.19 = phi i32 [ %shl, %for.end ], [ %add169, %for.body81 ]
23 %add13710 = or i32 %j.19, 1 23 %add13710 = or i32 %j.19, 1
24 %idxprom138 = sext i32 %add13710 to i64 24 %idxprom138 = sext i32 %add13710 to i64
25 %arrayidx139 = getelementptr inbounds double, double* %a, i64 %idxprom138 25 %arrayidx139 = getelementptr inbounds double, ptr %a, i64 %idxprom138
26 store double undef, double* %arrayidx139, align 8 26 store double undef, ptr %arrayidx139, align 8
27 %add169 = add nsw i32 %j.19, 2 27 %add169 = add nsw i32 %j.19, 2
28 br i1 false, label %for.body81, label %for.end170 28 br i1 false, label %for.body81, label %for.end170
29 29
30 for.end170: ; preds = %for.body81 30 for.end170: ; preds = %for.body81
31 ret void 31 ret void