Displaying 1 result from an estimated 1 matches for "checksafety".
2017 Nov 29
3
RFC: Adding 'no-overflow' keyword to 'sdiv'\'udiv' instructions
...uctions to one with 'nof' by using guards for each lane:
%r = sdiv <4 x i32> %a, %b can be lowered to:
(assuimg %a = <i32 %a.0, i32 %a.1, i32 %a.2, i32 %a.3>, %b = <i32 %b.0, i32 %b.1, i32 %b.2, i32 %b.3> and %r = <i32 %r.0, i32 %r.1, i32 %r.2, i32 %r.3>)
If CheckSafety(%a.0,%b.0):
%r.0 = sdiv nof i32 %a.0, %b.0
If CheckSafety(%a.1,%b.1):
%r.1 = sdiv nof i32 %a.1, %b.1
If CheckSafety(%a.2,%b.2):
%r.2 = sdiv nof i32 %a.2, %b.2
If CheckSafety(%a.3,%b.3):
%r.3 = sdiv nof i32 %a.3, %b.3
CheckSafety(a,b): (of sdiv)
b != 0 || (b != -1 && a !...