Index: include/llvm/Analysis/AliasSetTracker.h =================================================================== --- include/llvm/Analysis/AliasSetTracker.h +++ include/llvm/Analysis/AliasSetTracker.h @@ -121,10 +121,10 @@ AliasSet *Forward; /// All instructions without a specific address in this alias set. - /// In rare cases this vector can have a null'ed out WeakTrackingVH + /// In rare cases this vector can have a null'ed out WeakVH /// instances (can happen if some other loop pass deletes an /// instruction in this list). - std::vector UnknownInsts; + std::vector UnknownInsts; /// Number of nodes pointing to this AliasSet plus the number of AliasSets /// forwarding to it. Index: test/Analysis/AliasSet/unknown-inst-tracking.ll =================================================================== --- /dev/null +++ test/Analysis/AliasSet/unknown-inst-tracking.ll @@ -0,0 +1,23 @@ +; RUN: opt -S -licm -loop-unswitch < %s | FileCheck %s + +@global = external global i32 + +declare i32 @f_1(i8, i32 returned) + +define i32 @f_0() { +; CHECK-LABEL: @f_0( +bb: + br label %bb1 + +bb1: ; preds = %bb3, %bb + %tmp = load i32, i32* @global + %tmp2 = select i1 false, i16 1, i16 0 + br label %bb3 + +bb3: ; preds = %bb3, %bb1 + %tmp4 = phi i8 [ 0, %bb1 ], [ %tmp6, %bb3 ] + %tmp5 = icmp eq i16 %tmp2, 0 + %tmp6 = select i1 %tmp5, i8 %tmp4, i8 1 + %tmp7 = tail call i32 @f_1(i8 %tmp6, i32 1) + br i1 false, label %bb1, label %bb3 +}