test/Analysis/DDG/root-node.ll

   1 ; RUN: opt < %s -disable-output "-passes=print<ddg>" 2>&1 | FileCheck %s
   2
   3 ; CHECK-LABEL: 'DDG' for loop 'test1.for.body':
   4
   5 ; CHECK: Node Address:[[N1:0x[0-9a-f]*]]:single-instruction
   6 ; CHECK-NEXT: Instructions:
   7 ; CHECK-NEXT:   %i2.03 = phi i64 [ 0, %for.body.lr.ph ], [ %inc2, %test1.for.body ]
   8
   9 ; CHECK: Node Address:[[N2:0x[0-9a-f]*]]:single-instruction
  10 ; CHECK-NEXT: Instructions:
  11 ; CHECK-NEXT:   %i1.02 = phi i64 [ 0, %for.body.lr.ph ], [ %inc, %test1.for.body ]
  12
  13 ; CHECK: Node Address:[[ROOT:0x[0-9a-f]*]]:root
  14 ; CHECK-NEXT: Edges:
  15 ; CHECK-NEXT:  [rooted] to [[N1]]
  16 ; CHECK-NEXT:  [rooted] to [[N2]]
  17
  18
  19 ;; // Two separate components in the graph. Root node must link to both.
  20 ;; void test1(unsigned long n, float * restrict a, float * restrict b) {
  21 ;;   for (unsigned long i1 = 0, i2 = 0; i1 < n; i1++, i2++) {
  22 ;;     a[i1] = 1;
  23 ;;     b[i2] = -1;
  24 ;;   }
  25 ;; }
  26
  27 define void @test1(i64 %n, float* noalias %a, float* noalias %b) {
  28 entry:
  29   %cmp1 = icmp ult i64 0, %n
  30   br i1 %cmp1, label %for.body.lr.ph, label %for.end
  31
  32 for.body.lr.ph:                                   ; preds = %entry
  33   br label %test1.for.body
  34
  35 test1.for.body:                                         ; preds = %for.body.lr.ph, %test1.for.body
  36   %i2.03 = phi i64 [ 0, %for.body.lr.ph ], [ %inc2, %test1.for.body ]
  37   %i1.02 = phi i64 [ 0, %for.body.lr.ph ], [ %inc, %test1.for.body ]
  38   %arrayidx = getelementptr inbounds float, float* %a, i64 %i1.02
  39   store float 1.000000e+00, float* %arrayidx, align 4
  40   %arrayidx1 = getelementptr inbounds float, float* %b, i64 %i2.03
  41   store float -1.000000e+00, float* %arrayidx1, align 4
  42   %inc = add i64 %i1.02, 1
  43   %inc2 = add i64 %i2.03, 1
  44   %cmp = icmp ult i64 %inc, %n
  45   br i1 %cmp, label %test1.for.body, label %for.cond.for.end_crit_edge
  46
  47 for.cond.for.end_crit_edge:                       ; preds = %test1.for.body
  48   br label %for.end
  49
  50 for.end:                                          ; preds = %for.cond.for.end_crit_edge, %entry
  51   ret void
  52 }