[{"id":3677878,"web_url":"http://patchwork.ozlabs.org/comment/3677878/","msgid":"<f72593b2-0c82-4f90-804d-b03105b00815@linaro.org>","list_archive_url":null,"date":"2026-04-16T00:18:11","subject":"Re: [RFC PATCH v5 5/6] target/mips: Convert MSA LD/ST.D (Doubleword\n Vector)","submitter":{"id":72104,"url":"http://patchwork.ozlabs.org/api/people/72104/","name":"Richard Henderson","email":"richard.henderson@linaro.org"},"content":"On 4/16/26 06:20, Philippe Mathieu-Daudé wrote:\n> Replace runtime helpers by translation.\n> \n> Replace the legacy cpu_ld/st*_data_ra() calls by tcg_gen_qemu_ld/st()\n> which allow to respect atomicity.\n> \n> Remove the ensure_writable_pages() hack and MSALDST_PROTO macro.\n> \n> Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>\n> ---\n>   target/mips/tcg/msa_helper.h.inc |  6 ----\n>   target/mips/tcg/msa_helper.c     | 53 --------------------------------\n>   target/mips/tcg/msa_translate.c  | 18 +----------\n>   3 files changed, 1 insertion(+), 76 deletions(-)\n> \n> diff --git a/target/mips/tcg/msa_helper.h.inc b/target/mips/tcg/msa_helper.h.inc\n> index f0d31ceef29..e994353056f 100644\n> --- a/target/mips/tcg/msa_helper.h.inc\n> +++ b/target/mips/tcg/msa_helper.h.inc\n> @@ -432,9 +432,3 @@ DEF_HELPER_4(msa_ftint_s_df, void, env, i32, i32, i32)\n>   DEF_HELPER_4(msa_ftint_u_df, void, env, i32, i32, i32)\n>   DEF_HELPER_4(msa_ffint_s_df, void, env, i32, i32, i32)\n>   DEF_HELPER_4(msa_ffint_u_df, void, env, i32, i32, i32)\n> -\n> -#define MSALDST_PROTO(type)                         \\\n> -DEF_HELPER_3(msa_ld_ ## type, void, env, i32, tl)   \\\n> -DEF_HELPER_3(msa_st_ ## type, void, env, i32, tl)\n> -MSALDST_PROTO(d)\n> -#undef MSALDST_PROTO\n> diff --git a/target/mips/tcg/msa_helper.c b/target/mips/tcg/msa_helper.c\n> index c93c0cddebc..67ec19ea95c 100644\n> --- a/target/mips/tcg/msa_helper.c\n> +++ b/target/mips/tcg/msa_helper.c\n> @@ -21,11 +21,8 @@\n>   #include \"cpu.h\"\n>   #include \"internal.h\"\n>   #include \"tcg/tcg.h\"\n> -#include \"accel/tcg/cpu-ldst.h\"\n> -#include \"accel/tcg/probe.h\"\n>   #include \"exec/helper-proto.h\"\n>   #include \"exec/memop.h\"\n> -#include \"exec/target_page.h\"\n>   #include \"fpu/softfloat.h\"\n>   #include \"fpu_helper.h\"\n>   \n> @@ -8205,53 +8202,3 @@ void helper_msa_ffint_u_df(CPUMIPSState *env, uint32_t df, uint32_t wd,\n>   \n>       msa_move_v(pwd, pwx);\n>   }\n> -\n> -/* Data format min and max values */\n> -#define DF_BITS(df) (1 << ((df) + 3))\n> -\n> -/* Element-by-element access macros */\n> -#define DF_ELEMENTS(df) (MSA_WRLEN / DF_BITS(df))\n> -\n> -void helper_msa_ld_d(CPUMIPSState *env, uint32_t wd,\n> -                     target_ulong addr)\n> -{\n> -    wr_t *pwd = &(env->active_fpu.fpr[wd].wr);\n> -    uintptr_t ra = GETPC();\n> -    uint64_t d0, d1;\n> -\n> -    d0 = cpu_ldq_data_ra(env, addr + 0, ra);\n> -    d1 = cpu_ldq_data_ra(env, addr + 8, ra);\n> -    pwd->d[0] = d0;\n> -    pwd->d[1] = d1;\n> -}\n> -\n> -#define MSA_PAGESPAN(x) \\\n> -        ((((x) & ~TARGET_PAGE_MASK) + MSA_WRLEN / 8 - 1) >= TARGET_PAGE_SIZE)\n> -\n> -static inline void ensure_writable_pages(CPUMIPSState *env,\n> -                                         target_ulong addr,\n> -                                         int mmu_idx,\n> -                                         uintptr_t retaddr)\n> -{\n> -    /* FIXME: Probe the actual accesses (pass and use a size) */\n> -    if (unlikely(MSA_PAGESPAN(addr))) {\n> -        /* first page */\n> -        probe_write(env, addr, 0, mmu_idx, retaddr);\n> -        /* second page */\n> -        addr = (addr & TARGET_PAGE_MASK) + TARGET_PAGE_SIZE;\n> -        probe_write(env, addr, 0, mmu_idx, retaddr);\n> -    }\n> -}\n> -\n> -void helper_msa_st_d(CPUMIPSState *env, uint32_t wd,\n> -                     target_ulong addr)\n> -{\n> -    wr_t *pwd = &(env->active_fpu.fpr[wd].wr);\n> -    int mmu_idx = mips_env_mmu_index(env);\n> -    uintptr_t ra = GETPC();\n> -\n> -    ensure_writable_pages(env, addr, mmu_idx, GETPC());\n> -\n> -    cpu_stq_data_ra(env, addr + 0, pwd->d[0], ra);\n> -    cpu_stq_data_ra(env, addr + 8, pwd->d[1], ra);\n> -}\n\nThis isn't using a LE operation...\n\n> diff --git a/target/mips/tcg/msa_translate.c b/target/mips/tcg/msa_translate.c\n> index 8486508f5ba..b1d764bd179 100644\n> --- a/target/mips/tcg/msa_translate.c\n> +++ b/target/mips/tcg/msa_translate.c\n> @@ -785,8 +785,8 @@ static bool trans_msa_ldst(DisasContext *ctx, arg_msa_i *a, bool is_load)\n>           MO_ATOM_NONE,\n>           MO_ATOM_SUBALIGN, /* Slightly stronger than required */\n>           MO_ATOM_SUBALIGN, /* Slightly stronger than required */\n> +        MO_ATOM_IFALIGN_PAIR\n>       };\n> -    TCGv_i32 wd;\n>       TCGv_i128 t16;\n>       TCGv_va addr;\n>       MemOp mop;\n> @@ -801,22 +801,6 @@ static bool trans_msa_ldst(DisasContext *ctx, arg_msa_i *a, bool is_load)\n>       addr = tcgv_va_temp_new();\n>       gen_base_offset_addr(ctx, addr, a->ws, a->sa << a->df);\n>   \n> -    wd = tcg_constant_i32(a->wd);\n> -\n> -    if (is_load) {\n> -        switch (a->df) {\n> -        case 3:\n> -            gen_helper_msa_ld_d(tcg_env, wd, addr);\n> -            return true;\n> -        }\n> -    } else {\n> -        switch (a->df) {\n> -        case 3:\n> -            gen_helper_msa_st_d(tcg_env, wd, addr);\n> -            return true;\n> -        }\n> -    }\n> -\n>       t16 = tcg_temp_new_i128();\n>   \n>       mop = MO_128 | MO_LE;\n\n... which you're now getting from here.\n\nYou could bswap d0 and d1, or you could have the 64-bit path reorder d0 and d1 in t16 and \nmop ^= MO_BSWAP.\n\n\nr~","headers":{"Return-Path":"<qemu-devel-bounces+incoming=patchwork.ozlabs.org@nongnu.org>","X-Original-To":"incoming@patchwork.ozlabs.org","Delivered-To":"patchwork-incoming@legolas.ozlabs.org","Authentication-Results":["legolas.ozlabs.org;\n\tdkim=pass (2048-bit key;\n unprotected) header.d=linaro.org header.i=@linaro.org header.a=rsa-sha256\n header.s=google header.b=CxH7fPS1;\n\tdkim-atps=neutral","legolas.ozlabs.org;\n spf=pass (sender SPF authorized) smtp.mailfrom=nongnu.org\n (client-ip=209.51.188.17; helo=lists1p.gnu.org;\n envelope-from=qemu-devel-bounces+incoming=patchwork.ozlabs.org@nongnu.org;\n receiver=patchwork.ozlabs.org)"],"Received":["from lists1p.gnu.org (lists1p.gnu.org [209.51.188.17])\n\t(using TLSv1.2 with cipher ECDHE-ECDSA-AES256-GCM-SHA384 (256/256 bits))\n\t(No client certificate requested)\n\tby legolas.ozlabs.org (Postfix) with ESMTPS id 4fwzBg1b8lz1yG9\n\tfor <incoming@patchwork.ozlabs.org>; Thu, 16 Apr 2026 10:18:35 +1000 (AEST)","from localhost ([::1] helo=lists1p.gnu.org)\n\tby lists1p.gnu.org with esmtp (Exim 4.90_1)\n\t(envelope-from <qemu-devel-bounces@nongnu.org>)\n\tid 1wDAR8-0003lx-Rv; Wed, 15 Apr 2026 20:18:26 -0400","from eggs.gnu.org ([2001:470:142:3::10])\n by lists1p.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)\n (Exim 4.90_1) (envelope-from <richard.henderson@linaro.org>)\n id 1wDAR4-0003lV-Ni\n for qemu-devel@nongnu.org; Wed, 15 Apr 2026 20:18:23 -0400","from mail-pl1-x636.google.com ([2607:f8b0:4864:20::636])\n by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)\n (Exim 4.90_1) (envelope-from <richard.henderson@linaro.org>)\n id 1wDAR2-0003l9-5g\n for qemu-devel@nongnu.org; Wed, 15 Apr 2026 20:18:22 -0400","by mail-pl1-x636.google.com with SMTP id\n d9443c01a7336-2a8fba3f769so33781935ad.2\n for <qemu-devel@nongnu.org>; Wed, 15 Apr 2026 17:18:19 -0700 (PDT)","from ?IPV6:2401:d002:dc0f:2100:31f2:aa94:4389:37f8?\n (bg30dhzr9yyk68wp6s9g.ip6.superloop.au.\n [2401:d002:dc0f:2100:31f2:aa94:4389:37f8])\n by smtp.gmail.com with ESMTPSA id\n d9443c01a7336-2b4780efa9fsm32356155ad.12.2026.04.15.17.18.14\n (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128);\n Wed, 15 Apr 2026 17:18:17 -0700 (PDT)"],"DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=linaro.org; s=google; t=1776298698; x=1776903498; darn=nongnu.org;\n h=content-transfer-encoding:in-reply-to:content-language:from\n :references:cc:to:subject:user-agent:mime-version:date:message-id\n :from:to:cc:subject:date:message-id:reply-to;\n bh=jh6ngV3LCF5wyCqtiiXdFMjAbQJ7fwH1cCJ9pGcKZgw=;\n b=CxH7fPS1d+f742ZdH9l/Ceolj4NimPDpJpK8VLu8d7cvaFXPKhHIVeb9h1qc4RP+rv\n igvzG7B6m62SnHYMkVnemXRc2Ivq19OMPx4jA8q1mhBq49p+YMKqktE6QqZbI/hdjrPu\n M27Aik5lvHy91bjCUJRxO6D3SV5VnCFrgg2/yRwQt27P5354nR6iqOact69LXFj7d+sl\n VgXNlOf3o2TqKNEmSaGNquyQbGJ62n/239wHYv1DgC1rdN18dgjAUdancgw6AyMq5/Fv\n a2U59Gi3AeLsWcO/KOTydODxBpTxluwIe+SkrXkxvzV0KIHgfAs0FkfdvUNT+WmBlR31\n PE3w==","X-Google-DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=1e100.net; s=20251104; t=1776298698; x=1776903498;\n h=content-transfer-encoding:in-reply-to:content-language:from\n :references:cc:to:subject:user-agent:mime-version:date:message-id\n :x-gm-gg:x-gm-message-state:from:to:cc:subject:date:message-id\n :reply-to;\n bh=jh6ngV3LCF5wyCqtiiXdFMjAbQJ7fwH1cCJ9pGcKZgw=;\n b=FQwZlLz9CAMqxdOxZl8dGLdF9oNZ9Wu7UMsOBHoG63cFMYgPMhH8qwOYjBabt+9BwS\n No+FbO+n7vgHhwfndc8ejf9z8+aC+nwZYCnOqd4R8XtNmYLaNRcRFp6hKtjekVDXuSxh\n zP5fxmY8wgy31wWS7vnKogS7+lSy5M/c29ddA7sE0B/bQJBnT0nm5aUA4kdJG2wT6dwR\n 5oJliZ7HdKTDRD6TNiWHP9VmaNkPgHqdwGLCz0DZUwaNz5rnP++O8Wnmgfmay6sc0u2c\n I2xJwKVicxgECfeNr/qXGdViCKFqtx/WYxF/e0gMU5o30Kj9SLVqwrUyQekoOXxbAVde\n vfpg==","X-Forwarded-Encrypted":"i=1;\n AFNElJ9QNPrEwlOyKfp9IyvEb4TnXi0H5RMcyOzDSNjaMcGThDjc2sVKk62wPtd6EMi0yA1qtOMkS2cfPxKx@nongnu.org","X-Gm-Message-State":"AOJu0YwqdctYOZJOsI335tN9uNtfB/hMuVIfrkzAnV1Udes7hgv+u0Pp\n L91MC8kXUE7uOWTTrrGIfoIPNxQHDxZELQNYCPLrJ4rtMoL68SLPqYkaSocJ9KMR+mo=","X-Gm-Gg":"AeBDiesTrckY7vwGCQlu+r2szGOuttk+3PlzfLNPWlq0HhNZf+E+VE9gZXLmxRozQFr\n 6mWGdQU78Hh6Eutl8ywE4NsenT84ANXOr3rQjHEB/GaAxL3ZDbzz8yBOgwtrDQAWL8F32EYP+Zy\n 6TPB80o8Wm8eoOH+gat7R3Q6pCkcUmNhVxQu3W/gduHKkdRGCkgXX3yBzoFsLRJ2oi2FlQr1GOy\n CM8iHJq+TZGExf0SFmFeWu0kUhu7tN9ENKUvIDccDx8gcPJ9LQFMYWVPyaWuD2cWlzt/b3JsOsB\n MVz7CfsG7GGg1ahbnNUNGGSTXxe1aEUNkaQlHn8O9BTugmHjv+Di2abnTH8yIJOEFTV6qE7UBRq\n 4HG+tsFPMI9YONlwVYLMge2hgQOrJcFrPgJ1A8pciYSsLibAGUC7lCXa+NPxtPviEQmSnes1W0m\n OtFxm6ckVdG/2HhOBagsZBxAVGQmbPpgK3W4daOAiZTc5d7OHrXuFvgHUBBTUI9b7U+aaniXnlm\n ZHBdoVSfHHO/WlphbRquXsQymC5Hdw+KGJd8X93YyeEBtEfq55uB/QAeCPCxHCNHQ==","X-Received":"by 2002:a17:902:8e84:b0:2b2:98d7:bff with SMTP id\n d9443c01a7336-2b2d5aad43cmr169496865ad.45.1776298698083;\n Wed, 15 Apr 2026 17:18:18 -0700 (PDT)","Message-ID":"<f72593b2-0c82-4f90-804d-b03105b00815@linaro.org>","Date":"Thu, 16 Apr 2026 10:18:11 +1000","MIME-Version":"1.0","User-Agent":"Mozilla Thunderbird","Subject":"Re: [RFC PATCH v5 5/6] target/mips: Convert MSA LD/ST.D (Doubleword\n Vector)","To":"=?utf-8?q?Philippe_Mathieu-Daud=C3=A9?= <philmd@linaro.org>,\n qemu-devel@nongnu.org","Cc":"Jiaxun Yang <jiaxun.yang@flygoat.com>,\n Aleksandar Rikalo <arikalo@gmail.com>, Aurelien Jarno <aurelien@aurel32.net>","References":"<20260415202027.83008-1-philmd@linaro.org>\n <20260415202027.83008-6-philmd@linaro.org>","From":"Richard Henderson <richard.henderson@linaro.org>","Content-Language":"en-US","In-Reply-To":"<20260415202027.83008-6-philmd@linaro.org>","Content-Type":"text/plain; charset=UTF-8; format=flowed","Content-Transfer-Encoding":"8bit","Received-SPF":"pass client-ip=2607:f8b0:4864:20::636;\n envelope-from=richard.henderson@linaro.org; helo=mail-pl1-x636.google.com","X-Spam_score_int":"-20","X-Spam_score":"-2.1","X-Spam_bar":"--","X-Spam_report":"(-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,\n DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1,\n RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001,\n SPF_PASS=-0.001 autolearn=ham autolearn_force=no","X-Spam_action":"no action","X-BeenThere":"qemu-devel@nongnu.org","X-Mailman-Version":"2.1.29","Precedence":"list","List-Id":"qemu development <qemu-devel.nongnu.org>","List-Unsubscribe":"<https://lists.nongnu.org/mailman/options/qemu-devel>,\n <mailto:qemu-devel-request@nongnu.org?subject=unsubscribe>","List-Archive":"<https://lists.nongnu.org/archive/html/qemu-devel>","List-Post":"<mailto:qemu-devel@nongnu.org>","List-Help":"<mailto:qemu-devel-request@nongnu.org?subject=help>","List-Subscribe":"<https://lists.nongnu.org/mailman/listinfo/qemu-devel>,\n <mailto:qemu-devel-request@nongnu.org?subject=subscribe>","Errors-To":"qemu-devel-bounces+incoming=patchwork.ozlabs.org@nongnu.org","Sender":"qemu-devel-bounces+incoming=patchwork.ozlabs.org@nongnu.org"}}]