From patchwork Fri Nov 3 08:40:44 2017 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Richard Henderson X-Patchwork-Id: 117861 Delivered-To: patch@linaro.org Received: by 10.140.22.164 with SMTP id 33csp3188694qgn; Fri, 3 Nov 2017 01:44:31 -0700 (PDT) X-Google-Smtp-Source: ABhQp+RD/ETwZ7lQv9/Op7KE90hPBwn4YVDCE+MF8BiolzmoP7RpUx/x9/MhqoQnMZ07br7j3MYd X-Received: by 10.37.246.39 with SMTP id t39mr4268793ybd.220.1509698671025; Fri, 03 Nov 2017 01:44:31 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1509698671; cv=none; d=google.com; s=arc-20160816; b=hLTYITDgny8KwvF4sYJEovOMoL7pibvupST2YkkTnRlM7heBVPfANQpGOZPgq4dS69 7w4xTdSPwtLRejHdhTabcHt18A1B0ofr2m2SwTp/XOAJBmfkXRC1hcrOuNdmNMY3rbJO JBOJyS1I9bKw5ojH6qfC6Hus/rX8ZneS9SvFnLuL4la5Ela2i8+bXVDfsdKJSz9pCXqt o8l6Iw/pZP7qy/d8IJ+IPfDkHlxAdediotKyWYsqDcx05l1Mvx5eqI1WRnjFTKhRzU+n CbT6CqHVZIMePQcHB0biW+kj9SP5apSS1eIc6FlCDWw/ZbOBgjs3FfhRSrdy9ttd6HBS NOiA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=sender:errors-to:cc:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:subject:references:in-reply-to :message-id:date:to:from:dkim-signature:arc-authentication-results; bh=4BDSQzsdDM7Bh+3NBnayvPVdSEpTsHHmQGK53JqNFC4=; b=p+MkYbSxQuFiykK1BaVly8DRksjwsj9iivLSXD1VNbJn7OzKC6M3BquIEs+RwApVoc SaNNCI3ICuXDda5xszc5Keyi2gTvGCY2iqtCAkKHENhEwVC4iAUAn1WNqkRK2H7iq5Kg 8Xw1Kp+kYLOcaRNc2Qif9CbpMO+cKFEjICCSOuj3/ix/cQI10VJ2x5nGb/CGQjEthSQd JluCqEn/+981XVhJSdjOePDwc+Y5kzk1Fvh8CZSctjOKqee3uko7RY/oF6VA9ZdUPgTp a5uBW0pR/NHWfJKWKXJHnQ3ZpgtQbY49iwemtkEfxtN9+0PsF9IjGeXnuTyhbfdkpMT+ OwGw== ARC-Authentication-Results: i=1; mx.google.com; dkim=fail header.i=@linaro.org header.s=google header.b=AM9RR2qA; spf=pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 2001:4830:134:3::11 as permitted sender) smtp.mailfrom=qemu-devel-bounces+patch=linaro.org@nongnu.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=linaro.org Return-Path: Received: from lists.gnu.org (lists.gnu.org. [2001:4830:134:3::11]) by mx.google.com with ESMTPS id q9si1282985ybd.395.2017.11.03.01.44.30 for (version=TLS1 cipher=AES128-SHA bits=128/128); Fri, 03 Nov 2017 01:44:31 -0700 (PDT) Received-SPF: pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 2001:4830:134:3::11 as permitted sender) client-ip=2001:4830:134:3::11; Authentication-Results: mx.google.com; dkim=fail header.i=@linaro.org header.s=google header.b=AM9RR2qA; spf=pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 2001:4830:134:3::11 as permitted sender) smtp.mailfrom=qemu-devel-bounces+patch=linaro.org@nongnu.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=linaro.org Received: from localhost ([::1]:35426 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eAXaY-0004Ei-Jq for patch@linaro.org; Fri, 03 Nov 2017 04:44:30 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:48437) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eAXX6-00029t-Og for qemu-devel@nongnu.org; Fri, 03 Nov 2017 04:40:57 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eAXX3-0002Q6-0Q for qemu-devel@nongnu.org; Fri, 03 Nov 2017 04:40:56 -0400 Received: from mail-wm0-x241.google.com ([2a00:1450:400c:c09::241]:54219) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eAXX2-0002PT-Q2 for qemu-devel@nongnu.org; Fri, 03 Nov 2017 04:40:52 -0400 Received: by mail-wm0-x241.google.com with SMTP id r196so3507748wmf.2 for ; Fri, 03 Nov 2017 01:40:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; h=from:to:cc:subject:date:message-id:in-reply-to:references; bh=4BDSQzsdDM7Bh+3NBnayvPVdSEpTsHHmQGK53JqNFC4=; b=AM9RR2qA8miT1hG3oIA0PZdDE9bn6aPP0aHlIy9+NWIPylrHqWZhKFidf7AfV7IAGA aOPPLEpdUdIPkjixXsj977JK9MiUhyQAwA3wQ75zL5dojLwCi+Fjg+A1lIZVnmKObq8v nXNP2T7IPLFXubQwvQYBw5NIToD00kKmTzJVQ= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references; bh=4BDSQzsdDM7Bh+3NBnayvPVdSEpTsHHmQGK53JqNFC4=; b=m+MMn6CQrJNkRW8p1gdXo97VXA/RCo6Lm0msl82I4AV5s3phZol6+/nKIjbXNFM08G 6vq14FdukTgPdlY/Oml1mStzIZ6AAVwHeuLflDlxKXIA7uoWIERqaJBZyfxroYyFAVjC OG9fct0jwCXq+WkuFsyCum6wtI5KEcipU5c2SclmoT7Qb6gicAyGv70Gl7rKPxGL1SaM MesHk1BmggmA9yo+rBBrla79hQU60Mr2tcO9ddr4UA+hBqPtdSVX0jdHwFyfUaLxWw0j ZAxCB/yASipT3UxYqpo7PENtfUdpUhOZzMqFPqD84nzuoTXisdG0dlXeDXEByK0K+aNX 9nUQ== X-Gm-Message-State: AMCzsaXMkfoyUbBlQpVNeYPM0f1S9ga8js/g4FwKQOUcbbeFRek55zsU hBg3MmG/vS3jUrI4uaKi8rMpGWlZuJA= X-Received: by 10.28.239.2 with SMTP id n2mr3363577wmh.140.1509698451521; Fri, 03 Nov 2017 01:40:51 -0700 (PDT) Received: from cloudburst.twiddle.net.ASUS (p57A4515F.dip0.t-ipconnect.de. [87.164.81.95]) by smtp.gmail.com with ESMTPSA id e6sm12548347wrg.53.2017.11.03.01.40.50 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Fri, 03 Nov 2017 01:40:50 -0700 (PDT) From: Richard Henderson To: qemu-devel@nongnu.org Date: Fri, 3 Nov 2017 09:40:44 +0100 Message-Id: <20171103084046.12821-2-richard.henderson@linaro.org> X-Mailer: git-send-email 2.13.6 In-Reply-To: <20171103084046.12821-1-richard.henderson@linaro.org> References: <20171103084046.12821-1-richard.henderson@linaro.org> X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2a00:1450:400c:c09::241 Subject: [Qemu-devel] [PULL 1/3] tcg: Allow constant pool entries in the prologue X-BeenThere: qemu-devel@nongnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: peter.maydell@linaro.org Errors-To: qemu-devel-bounces+patch=linaro.org@nongnu.org Sender: "Qemu-devel" Both ARMv6 and AArch64 currently may drop complex guest_base values into the constant pool. But generic code wasn't expecting that, and the pool is not emitted. Correct that. Tested-by: Emilio G. Cota Tested-by: Laurent Desnogues Reported-by: Laurent Desnogues Signed-off-by: Richard Henderson --- tcg/tcg.c | 49 ++++++++++++++++++++++++++++++++++++++++++------- 1 file changed, 42 insertions(+), 7 deletions(-) -- 2.13.6 diff --git a/tcg/tcg.c b/tcg/tcg.c index 683ff4abb7..c22f1c4441 100644 --- a/tcg/tcg.c +++ b/tcg/tcg.c @@ -771,12 +771,32 @@ void tcg_prologue_init(TCGContext *s) /* Put the prologue at the beginning of code_gen_buffer. */ buf0 = s->code_gen_buffer; + total_size = s->code_gen_buffer_size; s->code_ptr = buf0; s->code_buf = buf0; + s->data_gen_ptr = NULL; s->code_gen_prologue = buf0; + /* Compute a high-water mark, at which we voluntarily flush the buffer + and start over. The size here is arbitrary, significantly larger + than we expect the code generation for any one opcode to require. */ + s->code_gen_highwater = s->code_gen_buffer + (total_size - TCG_HIGHWATER); + +#ifdef TCG_TARGET_NEED_POOL_LABELS + s->pool_labels = NULL; +#endif + /* Generate the prologue. */ tcg_target_qemu_prologue(s); + +#ifdef TCG_TARGET_NEED_POOL_LABELS + /* Allow the prologue to put e.g. guest_base into a pool entry. */ + { + bool ok = tcg_out_pool_finalize(s); + tcg_debug_assert(ok); + } +#endif + buf1 = s->code_ptr; flush_icache_range((uintptr_t)buf0, (uintptr_t)buf1); @@ -785,21 +805,36 @@ void tcg_prologue_init(TCGContext *s) s->code_gen_ptr = buf1; s->code_gen_buffer = buf1; s->code_buf = buf1; - total_size = s->code_gen_buffer_size - prologue_size; + total_size -= prologue_size; s->code_gen_buffer_size = total_size; - /* Compute a high-water mark, at which we voluntarily flush the buffer - and start over. The size here is arbitrary, significantly larger - than we expect the code generation for any one opcode to require. */ - s->code_gen_highwater = s->code_gen_buffer + (total_size - TCG_HIGHWATER); - tcg_register_jit(s->code_gen_buffer, total_size); #ifdef DEBUG_DISAS if (qemu_loglevel_mask(CPU_LOG_TB_OUT_ASM)) { qemu_log_lock(); qemu_log("PROLOGUE: [size=%zu]\n", prologue_size); - log_disas(buf0, prologue_size); + if (s->data_gen_ptr) { + size_t code_size = s->data_gen_ptr - buf0; + size_t data_size = prologue_size - code_size; + size_t i; + + log_disas(buf0, code_size); + + for (i = 0; i < data_size; i += sizeof(tcg_target_ulong)) { + if (sizeof(tcg_target_ulong) == 8) { + qemu_log("0x%08" PRIxPTR ": .quad 0x%016" PRIx64 "\n", + (uintptr_t)s->data_gen_ptr + i, + *(uint64_t *)(s->data_gen_ptr + i)); + } else { + qemu_log("0x%08" PRIxPTR ": .long 0x%08x\n", + (uintptr_t)s->data_gen_ptr + i, + *(uint32_t *)(s->data_gen_ptr + i)); + } + } + } else { + log_disas(buf0, prologue_size); + } qemu_log("\n"); qemu_log_flush(); qemu_log_unlock();