search for: crit_edg

...... br i1 %cmp, label %loop.body, %loop.exit, !llvm.loop !123 loop.exit: If a pass needs to split the critical edge from %loop.body -> %loop.body, it will create something like preheader: ... loop.body: ; preds = %preheader, %loop.body.crit_edge ... br i1 %cmp, label %loop.body.crit_edge, %loop.exit, !llvm.loop !123 // No longer a loop latch block loop.body.crit_edge: ... br %loop.body // Now a loop latch, wit...

...ost logical to say that the > ptr is alive (and invariant) from the function entry. Yes, I meant not visible in any dominating block. I believe assuming the ptr is alive from the function entry is conservatively correct, but not optimal. In my testcase, a lifetime.start could be inserted in the crit_edge bb. Do we really want to handle cross-function stack lifetime analysis ? That's an interesting point. Until now, I supposed this all stayed inside the same function. > > > > > > > I think this ambiguity should be cleared in the LRM, because today’s > > implicit a...

Hi all, Apparently some people had trouble joining today. I also had trouble using the attendee ID provided by webex. I've canceled the meeting series and will be scheduling a new one with an updated link. Please remember to update your calendars with the new invite. My apologies to those who couldn't join today, and to everyone for the churn. Today's Meeting Minutes:

...; preds = %entry %0 = getelementptr inbounds %struct.X* %x, i64 0, i32 0, i64 0 call void @llvm.lifetime.start(i64 33, i8* %0) call void @_ZN1X11doSomethingEv(%struct.X* %x) br label %label label: ; preds = %if.else.label_crit_edge, %if.then %.pre-phi = phi i8* [ %.pre, %if.else.label_crit_edge ], [ %0, %if.then ] call void @_Z3barR1X(%struct.X* dereferenceable(33) %x) call void @llvm.lifetime.end(i64 33, i8* %.pre-phi) br label %if.end3 if.else: ; preds = %entry ta...