polly/test/ScopInfo/complex_execution_context.ll

   1 ; RUN: opt %loadPolly -pass-remarks-analysis="polly-scops" -polly-print-scops \
   2 ; RUN:     -polly-invariant-load-hoisting=true \
   3 ; RUN:     -disable-output < %s 2>&1 | FileCheck %s
   4 ;
   5 ; CHECK: Low complexity assumption:
   6 ;
   7 target 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
  12 define fastcc void @ping_recurse(ptr nocapture %mx, ptr nocapture %mr, i32 %color) unnamed_addr {
  13 entry:
  14   br label %land.lhs.true38.1
  15
  16 if.end58:                                         ; preds = %land.lhs.true38.2, %if.end54.1
  17   ret void
  18
  19 land.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
  24 land.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
  31 if.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
  35 if.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
  40 land.lhs.true38.2:                                ; preds = %if.end54.1
  41   %3 = load i32, ptr %mr, align 4
  42   br label %if.end58
  43 }