KonstantinSeurer
/
mesa
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

intel/compiler: Use assume() instead of assert() for array bounds. 

This should make both GCC and clang happy and make them believe that
the array bounds are not exceeded.

Signed-off-by: Timur Kristóf <timur.kristof@gmail.com>
Reviewed-by: Jason Ekstrand <jason@jlekstrand.net>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/9634>
This commit is contained in:
Timur Kristóf 2021-03-16 21:02:42 +01:00 committed by Marge Bot
parent 84f91dfea5
commit eb378e4cd0
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/intel/compiler/brw_inst.h
View File

@ -1273,8 +1273,8 @@ BRW_IA16_ADDR_IMM(send_dst, -1, -1, 62, 56, 52)
static inline uint64_t
brw_inst_bits(const brw_inst *inst, unsigned high, unsigned low)
{
assert(high < 128);
assert(high >= low);
assume(high < 128);
assume(high >= low);
/* We assume the field doesn't cross 64-bit boundaries. */
const unsigned word = high / 64;
assert(word == low / 64);
@ -1295,8 +1295,8 @@ brw_inst_bits(const brw_inst *inst, unsigned high, unsigned low)
static inline void
brw_inst_set_bits(brw_inst *inst, unsigned high, unsigned low, uint64_t value)
{
assert(high < 128);
assert(high >= low);
assume(high < 128);
assume(high >= low);
const unsigned word = high / 64;
assert(word == low / 64);