llvm-project

1
; RUN: opt < %s -passes=loop-simplify -S
2
; PR8702
3
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
4
target triple = "x86_64-unknown-freebsd9.0"
5

6
declare void @foo(i32 %x)
7

8
define fastcc void @inm_merge() nounwind {
9
entry:
10
  br label %for.cond
11

12
for.cond:                                         ; preds = %while.cond36.i, %entry
13
  br i1 undef, label %do.body, label %for.body
14

15
for.body:                                         ; preds = %for.cond
16
  br i1 undef, label %while.cond36.i, label %if.end44
17

18
if.end44:                                         ; preds = %for.body
19
  %call49 = call fastcc i32 @inm_get_source()
20
  br i1 undef, label %if.end54, label %for.cond64
21

22
if.end54:                                         ; preds = %if.end44
23
  br label %while.cond36.i
24

25
while.cond36.i:                                   ; preds = %if.end54, %for.body
26
  br label %for.cond
27

28
for.cond64:                                       ; preds = %if.end88, %for.cond64, %if.end44
29
  %error.161 = phi i32 [ %error.161, %for.cond64 ], [ %error.161, %if.end88 ], [ %call49, %if.end44 ]
30
  call void @foo(i32 %error.161)
31
  br i1 undef, label %for.cond64, label %if.end88
32

33
if.end88:                                         ; preds = %for.cond64
34
  br i1 undef, label %for.cond64, label %if.end98
35

36
if.end98:                                         ; preds = %if.end88
37
  unreachable
38

39
do.body:                                          ; preds = %for.cond
40
  unreachable
41
}
42

43
declare fastcc i32 @inm_get_source() nounwind
44