Rejects valid optimization

Open nunoplopes opened this issue 11 years ago • 0 comments

Alive rejects the following (apparently it's not using the hasOneUse() condition at all):

Pre: hasOneUse(%Ptr)
%Ptr = alloca 
store %x, %Ptr
  =>
skip

Apr 04 '15 16:04 nunoplopes