36 lines · plain
1; RUN: opt -disable-output -debugify-each -passes=gvn < %s 2>&1 | FileCheck %s2 3; CHECK-NOT: ERROR: Instruction with empty DebugLoc in function _Z3bazv -- {{%.*}} = phi4; CHECK: CheckFunctionDebugify [GVNPass]: PASS5 6@foo = dso_local local_unnamed_addr global i32 0, align 47@x = global i8 178 9define dso_local void @_Z3bazv() local_unnamed_addr #0 {10entry:11 br label %for.cond12 13for.cond.loopexit.loopexit: ; preds = %for.inc14 br label %for.cond.loopexit15 16for.cond.loopexit: ; preds = %for.cond.loopexit.loopexit, %for.cond17 br label %for.cond18 19for.cond: ; preds = %for.cond.loopexit, %entry20 %.pr = load i32, ptr @foo, align 421 %tobool1 = icmp eq i32 %.pr, 022 br i1 %tobool1, label %for.cond.loopexit, label %for.inc.preheader23 24for.inc.preheader: ; preds = %for.cond25 br label %for.inc26 27for.inc: ; preds = %for.inc.preheader, %for.inc28 %val = load i8, ptr @x29 %conv = sext i8 %val to i3230 store i32 %conv, ptr @foo, align 431 %tobool = icmp eq i8 %val, 032 br i1 %tobool, label %for.cond.loopexit.loopexit, label %for.inc33}34 35declare dso_local signext i8 @_Z3barv() local_unnamed_addr #136