llvm/test/Transforms/NewGVN/stale-loop-info.ll

   1 ; RUN: opt -passes='require<loops>,newgvn' -S < %s | FileCheck %s
   2
   3 ; This used to fail with ASAN enabled and if for some reason LoopInfo remained
   4 ; available during GVN.  In this case BasicAA will use LI but
   5 ; MergeBlockIntoPredecessor in GVN failed to update LI.
   6
   7 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
   8
   9 %struct.wibble.1028 = type { i32, i32, %struct.barney.881 }
  10 %struct.barney.881 = type { %struct.zot.882 }
  11 %struct.zot.882 = type { [64 x i8] }
  12
  13 ; Function Attrs: argmemonly
  14 declare void @snork.1(ptr) local_unnamed_addr #0
  15
  16 define hidden zeroext i1 @eggs(ptr %arg, i1 %arg2) unnamed_addr align 2 {
  17 bb:
  18   br i1 %arg2, label %bb14, label %bb3
  19
  20 bb3:                                              ; preds = %bb
  21   %tmp = getelementptr inbounds %struct.wibble.1028, ptr %arg, i64 0, i32 2, i32 0, i32 0, i64 0
  22   br label %bb6
  23
  24 bb6:                                              ; preds = %bb12, %bb3
  25   br label %bb7
  26
  27 bb7:                                              ; preds = %bb6
  28   br i1 undef, label %bb11, label %bb8
  29
  30 bb8:                                              ; preds = %bb7
  31   %tmp9 = load ptr, ptr %tmp, align 8
  32 ; CHECK: %tmp9 = load ptr, ptr %tmp, align 8
  33   br label %bb12
  34
  35 bb11:                                             ; preds = %bb7
  36   br label %bb12
  37
  38 bb12:                                             ; preds = %bb11, %bb8
  39   %tmp13 = phi ptr [ %tmp, %bb11 ], [ %tmp9, %bb8 ]
  40   call void @snork.1(ptr %tmp13) #1
  41   br label %bb6
  42
  43 bb14:                                             ; preds = %bb
  44   ret i1 false
  45 }
  46
  47 attributes #0 = { argmemonly }
  48 attributes #1 = { nounwind }