diff options
| author | Rob Clark <[email protected]> | 2016-06-02 11:19:43 -0400 |
|---|---|---|
| committer | Rob Clark <[email protected]> | 2016-06-02 15:44:07 -0400 |
| commit | 27a97097e1a6d8f0a29393b2fcc6fdb0a500bf92 (patch) | |
| tree | 0f39114a10a81bfc79f729a9727a9fd7a2f353f1 /src/gallium | |
| parent | 374ad2e2bd14b4fd0c161d41e3627793ffabe468 (diff) | |
freedreno/ir3: fix coverity warning
CID 1362453
Signed-off-by: Rob Clark <[email protected]>
Diffstat (limited to 'src/gallium')
| -rw-r--r-- | src/gallium/drivers/freedreno/ir3/ir3.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/gallium/drivers/freedreno/ir3/ir3.c b/src/gallium/drivers/freedreno/ir3/ir3.c index 1406856a4a0..a01df3bf6b3 100644 --- a/src/gallium/drivers/freedreno/ir3/ir3.c +++ b/src/gallium/drivers/freedreno/ir3/ir3.c @@ -428,12 +428,14 @@ static int emit_cat5(struct ir3_instruction *instr, void *ptr, iassert(!((dst->flags ^ type_flags(instr->cat5.type)) & IR3_REG_HALF)); + assume(src1 || !src2); + assume(src2 || !src3); + if (src1) { cat5->full = ! (src1->flags & IR3_REG_HALF); cat5->src1 = reg(src1, info, instr->repeat, IR3_REG_HALF); } - if (instr->flags & IR3_INSTR_S2EN) { if (src2) { iassert(!((src1->flags ^ src2->flags) & IR3_REG_HALF)); |