llvm-project

1
; RUN: opt %loadNPMPolly '-passes=print<polly-function-scops>,polly-scop-printer' -disable-output < %s
2
;
3
; Check that the ScopPrinter does not crash.
4
; ScopPrinter needs the ScopDetection pass, which should depend on
5
; ScalarEvolution transitively.
6
;
7
; FIXME: -dot-scops always prints to the same hardcoded filename
8
;        scops.<functionname>.dot. If there is another test with the same
9
;        function name and printing a dot file there will be a race condition
10
;        when running tests in parallel.
11

12
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
13

14
define void @func(i32 %n, i32 %m, ptr noalias nonnull %A) {
15
entry:
16
  br label %outer.for
17

18
outer.for:
19
  %j = phi i32 [0, %entry], [%j.inc, %outer.inc]
20
  %j.cmp = icmp slt i32 %j, %n
21
  br i1 %j.cmp, label %inner.for, label %outer.exit
22

23
  inner.for:
24
    %i = phi i32 [1, %outer.for], [%i.inc, %inner.inc]
25
    %b = phi double [0.0, %outer.for], [%a, %inner.inc]
26
    %i.cmp = icmp slt i32 %i, %m
27
    br i1 %i.cmp, label %body1, label %inner.exit
28

29
    body1:
30
      %A_idx = getelementptr inbounds double, ptr %A, i32 %i
31
      %a = load double, ptr %A_idx
32
      store double %a, ptr %A_idx
33
      br label %inner.inc
34

35
  inner.inc:
36
    %i.inc = add nuw nsw i32 %i, 1
37
    br label %inner.for
38

39
  inner.exit:
40
    br label %outer.inc
41

42
outer.inc:
43
  store double %b, ptr %A
44
  %j.inc = add nuw nsw i32 %j, 1
45
  br label %outer.for
46

47
outer.exit:
48
  br label %return
49

50
return:
51
  ret void
52
}
53