llvm/test/Analysis/GlobalsModRef/global-used-by-global.ll

   1 ; RUN: opt < %s -aa-pipeline=globals-aa -passes='require<globals-aa>,gvn' -S | FileCheck %s
   2
   3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   4
   5 @a = internal global ptr null, align 8
   6 @b = global ptr @a, align 8
   7 @c = global ptr @a, align 8
   8 @d = common global i32 0, align 4
   9
  10 ; Make sure we globals-aa doesn't get confused and allow hoisting
  11 ; the load from @a out of the loop.
  12
  13 ; CHECK-LABEL: define i32 @main()
  14 ; CHECK: for.body:
  15 ; CHECK-NEXT:   %2 = load ptr, ptr @b, align 8
  16 ; CHECK-NEXT:   store ptr @d, ptr %2, align 8
  17 ; CHECK-NEXT:   %3 = load ptr, ptr @a, align 8
  18 ; CHECK-NEXT:   %cmp1 = icmp ne ptr %3, @d
  19 ; CHECK-NEXT:   br i1 %cmp1, label %if.then, label %if.end
  20
  21 define i32 @main() {
  22 entry:
  23   %0 = load i32, ptr @d, align 4
  24   br label %for.cond
  25
  26 for.cond:                                         ; preds = %if.end, %entry
  27   %1 = phi i32 [ %inc, %if.end ], [ %0, %entry ]
  28   %cmp = icmp slt i32 %1, 1
  29   br i1 %cmp, label %for.body, label %for.end
  30
  31 for.body:                                         ; preds = %for.cond
  32   %2 = load ptr, ptr @b, align 8
  33   store ptr @d, ptr %2, align 8
  34   %3 = load ptr, ptr @a, align 8
  35   %cmp1 = icmp ne ptr %3, @d
  36   br i1 %cmp1, label %if.then, label %if.end
  37
  38 if.then:                                          ; preds = %for.body
  39   br label %return
  40
  41 if.end:                                           ; preds = %for.body
  42   %4 = load i32, ptr @d, align 4
  43   %inc = add nsw i32 %4, 1
  44   store i32 %inc, ptr @d, align 4
  45   br label %for.cond
  46
  47 for.end:                                          ; preds = %for.cond
  48   br label %return
  49
  50 return:                                           ; preds = %for.end, %if.then
  51   %retval.0 = phi i32 [ 1, %if.then ], [ 0, %for.end ]
  52   ret i32 %retval.0
  53 }
  54