annotate polly/test/CodeGen/out-of-scop-phi-node-use.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:
diff changeset
1 ; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
2
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
4 target triple = "x86_64-unknown-linux-gnu"
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
5
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
6 ; CHECK-LABEL: polly.merge_new_and_old:
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
7 ; CHECK-NEXT: %_s.sroa.343.0.ph5161118.ph.merge = phi i32 [ %_s.sroa.343.0.ph5161118.ph.final_reload, %polly.exiting ], [ %_s.sroa.343.0.ph516.lcssa2357, %for.cond.981.region_exiting ]
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
8
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
9 ; CHECK-LABEL: for.cond.981:
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
10 ; CHECK-NEXT: %_s.sroa.343.0.ph5161118 = phi i32 [ undef, %for.cond ], [ %_s.sroa.343.0.ph5161118.ph.merge, %polly.merge_new_and_old ]
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
11
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
12 ; CHECK-LABEL: polly.exiting:
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
13 ; CHECK-NEXT: %_s.sroa.343.0.ph5161118.ph.final_reload = load i32, ptr %_s.sroa.343.0.ph5161118.s2a
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
14
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
15 ; Function Attrs: nounwind uwtable
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
16 define void @lzmaDecode() #0 {
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
17 entry:
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
18 br label %for.cond.outer.outer.outer
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
19
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
20 for.cond: ; preds = %for.cond.outer.outer.outer
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
21 switch i32 undef, label %cleanup.1072 [
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
22 i32 23, label %for.cond.981
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
23 i32 4, label %_LZMA_C_RDBD
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
24 i32 19, label %sw.bb.956
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
25 i32 26, label %saveStateAndReturn
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
26 ]
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
27
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
28 _LZMA_C_RDBD: ; preds = %for.cond
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
29 ret void
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
30
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
31 sw.bb.956: ; preds = %for.cond
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
32 %_s.sroa.294.0.ph519.lcssa2388 = phi i32 [ undef, %for.cond ]
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
33 %_s.sroa.343.0.ph516.lcssa2357 = phi i32 [ undef, %for.cond ]
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
34 %cmp958 = icmp eq i32 %_s.sroa.294.0.ph519.lcssa2388, 0
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
35 br i1 %cmp958, label %if.then.960, label %if.else.969
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
36
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
37 if.then.960: ; preds = %sw.bb.956
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
38 br label %for.cond.981
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
39
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
40 if.else.969: ; preds = %sw.bb.956
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
41 br label %for.cond.981
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
42
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
43 for.cond.981: ; preds = %if.else.969, %if.then.960, %for.cond
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
44 %_s.sroa.343.0.ph5161118 = phi i32 [ %_s.sroa.343.0.ph516.lcssa2357, %if.then.960 ], [ %_s.sroa.343.0.ph516.lcssa2357, %if.else.969 ], [ undef, %for.cond ]
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
45 ret void
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
46
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
47 for.cond.outer.outer.outer: ; preds = %entry
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
48 br label %for.cond
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
49
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
50 saveStateAndReturn: ; preds = %for.cond
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
51 ret void
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
52
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
53 cleanup.1072: ; preds = %for.cond
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
54 ret void
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
55 }
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
56
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
57 attributes #0 = { nounwind uwtable "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+mmx,+sse,+sse2" "unsafe-fp-math"="false" "use-soft-float"="false" }
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
58
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
59 !llvm.ident = !{!0}
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
60
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
61 !0 = !{!"clang version 3.8.0 (trunk 250010) (llvm/trunk 250018)"}