Displaying 6 results from an estimated 6 matches for "alivetoolkit".
2020 Jun 15
5
[RFC] Integer Intrinsics for abs, in unsigned/signed min/max
...e them first class citizens,
by introducing intrinsics and use then throughout.
This has been previously discussed in:
https://lists.llvm.org/pipermail/llvm-dev/2016-November/106868.html
Proposed LangRef semantics: https://reviews.llvm.org/D81829
Proposed alive2 implementation: https://github.com/AliveToolkit/alive2/pull/353
Roman.
2019 Feb 25
4
funnel shift, select, and poison
There's a question about the behavior of funnel shift [1] + select and
poison here that reminds me of previous discussions about select and poison
[2]:
https://github.com/AliveToolkit/alive2/pull/32#discussion_r257528880
Example:
define i8 @fshl_zero_shift_guard(i8 %x, i8 %y, i8 %sh) {
%c = icmp eq i8 %sh, 0
%f = fshl i8 %x, i8 %y, i8 %sh
%s = select i1 %c, i8 %x, i8 %f ; shift amount is 0 returns x (same as fshl)
ret i8 %s
}
=>
define i8 @fshl_zero_shift_guard(i8 %x, i8 %y,...
2019 Feb 25
2
funnel shift, select, and poison
...nday, February 25, 2019 4:29 PM
> Subject: [llvm-dev] funnel shift, select, and poison
>
>
> There's a question about the behavior of funnel shift [1] + select and
> poison here that reminds me of previous discussions about select and
> poison
> [2]:
> https://github.com/AliveToolkit/alive2/pull/32#discussion_r257528880
>
> Example:
> define i8 @fshl_zero_shift_guard(i8 %x, i8 %y, i8 %sh) {
> %c = icmp eq i8 %sh, 0
> %f = fshl i8 %x, i8 %y, i8 %sh
> %s = select i1 %c, i8 %x, i8 %f ; shift amount is 0 returns x (same as
> fshl)
> ret i8 %s
> }
> =&g...
2019 Feb 25
3
funnel shift, select, and poison
...t: Monday, February 25, 2019 4:29 PM
> Subject: [llvm-dev] funnel shift, select, and poison
>
>
> There's a question about the behavior of funnel shift [1] + select and
> poison here that reminds me of previous discussions about select and poison
> [2]:
> https://github.com/AliveToolkit/alive2/pull/32#discussion_r257528880
>
> Example:
> define i8 @fshl_zero_shift_guard(i8 %x, i8 %y, i8 %sh) {
> %c = icmp eq i8 %sh, 0
> %f = fshl i8 %x, i8 %y, i8 %sh
> %s = select i1 %c, i8 %x, i8 %f ; shift amount is 0 returns x (same as
> fshl)
> ret i8 %s
> }
> =&g...
2019 Feb 26
2
funnel shift, select, and poison
...nel shift, select, and poison
> >
> >
> > There's a question about the behavior of funnel shift [1] + select
> and
> > poison here that reminds me of previous discussions about select and
> > poison
> > [2]:
> > https://github.com/AliveToolkit/alive2/pull/32#discussion_r257528880
> >
> > Example:
> > define i8 @fshl_zero_shift_guard(i8 %x, i8 %y, i8 %sh) {
> > %c = icmp eq i8 %sh, 0
> > %f = fshl i8 %x, i8 %y, i8 %sh
> > %s = select i1 %c, i8 %x, i8 %f ; shift amount is 0 returns x...
2020 Jul 08
4
[RFC] Saturating left shift intrinsics
Hello,
This is an RFC for adding intrinsics which perform saturating signed/unsigned left shift.
There is currently a patch on Phabricator here:
https://reviews.llvm.org/D83216
The intrinsics are of the form
i32 @llvm.sshl.sat.i32(i32, i32)
i32 @llvm.ushl.sat.i32(i32, i32)
<4 x i32> @llvm.sshl.sat.v4i32(<4 x i32>, <4 x i32>)
<4 x i32>