search for: checksafety

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 !...