Displaying 3 results from an estimated 3 matches for "liskov_substitution_principle".
2020 Mar 26
2
Multi-Threading Compilers
> On Mar 26, 2020, at 8:26 AM, Doerfert, Johannes <jdoerfert at anl.gov> wrote:
>
> On 3/26/20 5:53 AM, Florian Hahn wrote:
>>> It also doesn't solve the problem of Functions themselves -- those are
>>> also GlobalValues…
>>
>>
>> I am not sure why not. Function passes should only rely on the information at the callsite & from the
2020 Mar 27
2
Multi-Threading Compilers
...ck win". So far I thought this was a
> discussion of ideas, methods to gather data, and potential pitfalls.
Making use-def chains work differently based on the dynamic type of a Value* is very problematic to me. It breaks the liskov substitution principle <https://en.wikipedia.org/wiki/Liskov_substitution_principle> and is likely to lead to widespread bugs.
> > Instead, let’s break down the problems and fix them (the right way!)
> > one at a time. For example, it seems that the thread agrees that the
> > overall design of constants are a problem: let's talk about
> > (incremen...
2012 Jun 19
2
[LLVMdev] object construction patterns and unique_ptr
On Jun 18, 2012, at 4:36 PM, Michael Spencer wrote:
>>>>
>>>> In asking around for clean models on how to do this better, I've heard two interesting ideas:
>>>>
>>>> 1) Incorporate the error_code and string message into the File class. That is the factory method always returns a File object. But there is a method on File objects to query if