llvm-project

1
; RUN: opt %loadNPMPolly -passes=polly-codegen -S < %s | FileCheck %s
2
;
3
; Verify we do not crash when we synthezise code for the udiv in the SCoP.
4
;
5
; CHECK: polly.start
6
;
7
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
8

9
; Function Attrs: nounwind uwtable
10
define void @RestartModel() #0 {
11
entry:
12
  br label %for.cond32.preheader
13

14
for.cond32.preheader:                             ; preds = %entry, %for.body50.7
15
  %i.13 = phi i32 [ 0, %entry ], [ %inc60, %for.body50.7 ]
16
  %add = add i32 %i.13, 2
17
  %div44 = udiv i32 undef, %add
18
  %sub45 = sub i32 16384, %div44
19
  %conv46 = trunc i32 %sub45 to i16
20
  br label %for.body35
21

22
for.body35:                                       ; preds = %for.cond32.preheader
23
  br label %for.body50
24

25
for.body50:                                       ; preds = %for.body35
26
  br label %for.body50.1
27

28
for.cond62:                                       ; preds = %for.body50.7
29
  %conv46.lcssa = phi i16 [ %conv46, %for.body50.7 ]
30
  store i16 %conv46.lcssa, ptr undef, align 2
31
  br label %for.end83
32

33
for.end83:                                        ; preds = %for.cond62
34
  ret void
35

36
for.body50.1:                                     ; preds = %for.body50
37
  br label %for.body50.2
38

39
for.body50.2:                                     ; preds = %for.body50.1
40
  br label %for.body50.3
41

42
for.body50.3:                                     ; preds = %for.body50.2
43
  br label %for.body50.4
44

45
for.body50.4:                                     ; preds = %for.body50.3
46
  br label %for.body50.5
47

48
for.body50.5:                                     ; preds = %for.body50.4
49
  br label %for.body50.6
50

51
for.body50.6:                                     ; preds = %for.body50.5
52
  br label %for.body50.7
53

54
for.body50.7:                                     ; preds = %for.body50.6
55
  %inc60 = add i32 %i.13, 1
56
  %cmp29 = icmp ult i32 %inc60, 128
57
  br i1 %cmp29, label %for.cond32.preheader, label %for.cond62
58
}
59