xref: /llvm-project/polly/test/ScopInfo/complex_execution_context.ll (revision e1f056f692d869708c1898d9d65a69ac5584a0ed)
1; RUN: opt %loadNPMPolly -pass-remarks-analysis="polly-scops" '-passes=print<polly-function-scops>' \
2; RUN:     -polly-invariant-load-hoisting=true \
3; RUN:     -disable-output < %s 2>&1 | FileCheck %s
4;
5; CHECK: Low complexity assumption:
6;
7target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
8
9@board = external global [421 x i8], align 16
10
11; Function Attrs: nounwind uwtable
12define fastcc void @ping_recurse(ptr nocapture %mx, ptr nocapture %mr, i32 %color) unnamed_addr {
13entry:
14  br label %land.lhs.true38.1
15
16if.end58:                                         ; preds = %land.lhs.true38.2, %if.end54.1
17  ret void
18
19land.lhs.true38.1:                                ; preds = %entry
20  %0 = load i32, ptr %mr, align 4
21  %cmp41.1 = icmp eq i32 %0, 0
22  br i1 %cmp41.1, label %land.lhs.true43.1, label %if.end54.1
23
24land.lhs.true43.1:                                ; preds = %land.lhs.true38.1
25  %1 = load i32, ptr %mx, align 4
26  %cmp46.1 = icmp eq i32 %1, 1
27  %cmp51.1 = icmp eq i32 0, %color
28  %or.cond.1 = or i1 %cmp51.1, %cmp46.1
29  br i1 %or.cond.1, label %if.then53.1, label %if.end54.1
30
31if.then53.1:                                      ; preds = %land.lhs.true43.1
32  tail call fastcc void @ping_recurse(ptr nonnull %mx, ptr nonnull %mr, i32 %color)
33  br label %if.end54.1
34
35if.end54.1:                                       ; preds = %if.then53.1, %land.lhs.true43.1, %land.lhs.true38.1
36  %2 = load i8, ptr @board, align 1
37  %cmp36.2 = icmp eq i8 %2, 3
38  br i1 %cmp36.2, label %if.end58, label %land.lhs.true38.2
39
40land.lhs.true38.2:                                ; preds = %if.end54.1
41  %3 = load i32, ptr %mr, align 4
42  br label %if.end58
43}
44