define void @foo() { top: br label %L3 L3: ; preds = %L13, %top %value_phi = phi ptr [ null, %top ], [ %0, %L13 ] %0 = getelementptr i8, ptr %value_phi, i64 8 %.not = icmp ule ptr %value_phi, null br i1 %.not, label %L13, label %L15 L13: ; preds = %L3 br label %L3 L15: ; preds = %L3 ret void }