Displaying 5 results from an estimated 5 matches for "trueval_is_tru".
Did you mean:
trueval_is_true
2019 Feb 26
2
funnel shift, select, and poison
> Transforms/InstCombine/select.ll
> ================================
> define i1 @trueval_is_true(i1 %C, i1 %X) {
> %R = select i1 %C, i1 1, i1 %X
> ret i1 %R
> }
> =>
> define i1 @trueval_is_true(i1 %C, i1 %X) {
> %R = or i1 %C, %X
> ret i1 %R
> }
> ERROR: Target is more poisonous than source (when %C = #x1 & %X = poison)
>
> (there are many va...
2019 Feb 27
3
funnel shift, select, and poison
...SDAG is
> undocumented, so anything goes down there?
>
>
> On Tue, Feb 26, 2019 at 2:06 PM John Regehr via llvm-dev <
> llvm-dev at lists.llvm.org> wrote:
>
>> > Transforms/InstCombine/select.ll
>> > ================================
>> > define i1 @trueval_is_true(i1 %C, i1 %X) {
>> > %R = select i1 %C, i1 1, i1 %X
>> > ret i1 %R
>> > }
>> > =>
>> > define i1 @trueval_is_true(i1 %C, i1 %X) {
>> > %R = or i1 %C, %X
>> > ret i1 %R
>> > }
>> > ERROR: Target is more pois...
2018 May 04
0
RFC: Are auto-generated assertions a good practice?
..., it's going to
result in a *lot* of regression test diffs. On the plus side, it forces the
author (I've definitely been there) to consider a lot of patterns that they
probably didn't think about it initially.
Note that for IR assertions, the scripts reg-ex-ify value names:
define i1 @trueval_is_true(i1 %C, i1 %X) {
; CHECK-LABEL: @trueval_is_true(
; CHECK-NEXT: [[R:%.*]] = or i1 [[C:%.*]], [[X:%.*]]
; CHECK-NEXT: ret i1 [[R]]
;
%R = select i1 %C, i1 true, i1 %X
ret i1 %R
}
So this actually insulates the tests from cosmetic changes in value naming.
That's something that's fr...
2018 May 04
2
RFC: Are auto-generated assertions a good practice?
On Fri, May 4, 2018 at 10:16 AM Sanjay Patel <spatel at rotateright.com> wrote:
> I understand the overfit argument (but in most cases it just shows that a
> unit test isn't minimized)...
>
Even minimized tests sometimes need a few other things to setup the
circumstance (many DWARF tests, for example - produce the full DWARF
output, but maybe you only care about one part of it
2019 Feb 26
2
funnel shift, select, and poison
If I got poison propagation right, it's probably only by luck!
Hopefully, the funnel shift bug is fixed here:
https://reviews.llvm.org/rL354905
Nuno, IIUC this means that you do *not* need to change the funnel shift
semantics in Alive.
So I think that means we're still on track to go with John's suggestion
that only select and phi can block poison?
(I don't know of any