Displaying 2 results from an estimated 2 matches for "signsequal".
2019 Feb 09
2
how experimental are the llvm.experimental.vector.reduce.* functions?
...align 16
%tmp1 = load <4 x i32>, <4 x i32>* %b, align 16
%tmp2 = add <4 x i32> %tmp, %tmp1
%tmpsign = icmp slt <4 x i32> %tmp, zeroinitializer
%tmp1sign = icmp slt <4 x i32> %tmp1, zeroinitializer
%sumsign = icmp slt <4 x i32> %tmp2, zeroinitializer
%signsequal = icmp eq <4 x i1> %tmpsign, %tmp1sign
%summismatch = icmp ne <4 x i1> %sumsign, %tmpsign
%overflow = and <4 x i1> %signsequal, %summismatch
%tmp5 = bitcast <4 x i1> %overflow to i4
%tmp6 = icmp ne i4 %tmp5, 0
br i1 %tmp6, label %OverflowFail, label %OverflowOk
Ov...
2019 Feb 09
2
how experimental are the llvm.experimental.vector.reduce.* functions?
On Sat, Feb 9, 2019 at 6:25 PM Simon Pilgrim <llvm-dev at redking.me.uk> wrote:
> The add/sub (+mul) overflow intrinsics are being updated to support
> vectors to match the related add/sub saturation intrinsics. We haven't
> updated the docs yet as legalization, vectorization and various minor bits
> of plumbing still need to be finished before it can be officially supported