[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Qemu-devel] [patch v3 02/18] tcg: Minor adjustments to deposit expander
From: |
Richard Henderson |
Subject: |
[Qemu-devel] [patch v3 02/18] tcg: Minor adjustments to deposit expanders |
Date: |
Wed, 16 Nov 2016 21:03:29 +0100 |
Assert that len is not 0.
Since we have asserted that ofs + len <= N, a later
check for len == N implies that ofs == 0.
Signed-off-by: Richard Henderson <address@hidden>
---
tcg/tcg-op.c | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/tcg/tcg-op.c b/tcg/tcg-op.c
index c185b9c..b17f03f 100644
--- a/tcg/tcg-op.c
+++ b/tcg/tcg-op.c
@@ -533,10 +533,11 @@ void tcg_gen_deposit_i32(TCGv_i32 ret, TCGv_i32 arg1,
TCGv_i32 arg2,
TCGv_i32 t1;
tcg_debug_assert(ofs < 32);
+ tcg_debug_assert(len > 0);
tcg_debug_assert(len <= 32);
tcg_debug_assert(ofs + len <= 32);
- if (ofs == 0 && len == 32) {
+ if (len == 32) {
tcg_gen_mov_i32(ret, arg2);
return;
}
@@ -1718,10 +1719,11 @@ void tcg_gen_deposit_i64(TCGv_i64 ret, TCGv_i64 arg1,
TCGv_i64 arg2,
TCGv_i64 t1;
tcg_debug_assert(ofs < 64);
+ tcg_debug_assert(len > 0);
tcg_debug_assert(len <= 64);
tcg_debug_assert(ofs + len <= 64);
- if (ofs == 0 && len == 64) {
+ if (len == 64) {
tcg_gen_mov_i64(ret, arg2);
return;
}
--
2.7.4
- [Qemu-devel] [patch v3 00/18] tcg field extract primitives, Richard Henderson, 2016/11/16
- [Qemu-devel] [patch v3 02/18] tcg: Minor adjustments to deposit expanders,
Richard Henderson <=
- [Qemu-devel] [patch v3 01/18] tcg: Add field extraction primitives, Richard Henderson, 2016/11/16
- [Qemu-devel] [patch v3 04/18] tcg/aarch64: Implement field extraction opcodes, Richard Henderson, 2016/11/16
- [Qemu-devel] [patch v3 03/18] tcg: Add deposit_z expander, Richard Henderson, 2016/11/16
- [Qemu-devel] [patch v3 05/18] tcg/arm: Move isa detection to tcg-target.h, Richard Henderson, 2016/11/16
- [Qemu-devel] [patch v3 07/18] tcg/i386: Implement field extraction opcodes, Richard Henderson, 2016/11/16
- [Qemu-devel] [patch v3 06/18] tcg/arm: Implement field extraction opcodes, Richard Henderson, 2016/11/16
- [Qemu-devel] [patch v3 08/18] tcg/mips: Implement field extraction opcodes, Richard Henderson, 2016/11/16
- [Qemu-devel] [patch v3 09/18] tcg/ppc: Implement field extraction opcodes, Richard Henderson, 2016/11/16
- [Qemu-devel] [patch v3 10/18] tcg/s390: Expose host facilities to tcg-target.h, Richard Henderson, 2016/11/16
- [Qemu-devel] [patch v3 12/18] tcg/s390: Support deposit into zero, Richard Henderson, 2016/11/16