From patchwork Mon Nov 26 23:04:47 2018 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Richard Henderson X-Patchwork-Id: 152097 Delivered-To: patch@linaro.org Received: by 2002:a2e:299d:0:0:0:0:0 with SMTP id p29-v6csp493959ljp; Mon, 26 Nov 2018 15:07:21 -0800 (PST) X-Google-Smtp-Source: AJdET5c6lGbiUGGiskLapxkje8nPP1P2+Tx8Nz18ZvAbTh+f8fMiCc+Ug5AlkV/11XQx3Qk/40en X-Received: by 2002:a81:3149:: with SMTP id x70mr30835590ywx.420.1543273641008; Mon, 26 Nov 2018 15:07:21 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1543273641; cv=none; d=google.com; s=arc-20160816; b=zZtIKN0k1z/JKSh2tqyATeWEN2L/aSD8A4YKyxJvwjLDhmxqxFlaKnpeM6d4bFW6nk C+iSnf5AFThb0Imig3FLzs6he+glHApP/lxt8V9azvmAppvWeBCaZbhfl5hrVkQXu9qb ryCt0Kr4TIPaNZM9/gN7/U4w3m2I1aQX5UdDn8FGttF108ZwKxFOl8xoo7oCmUWm2q9j 3nt6BHVlEkwK4qvA0sGo8S+K7lIXGdmzlzMk2pRJY8adufmZ5Va/etdhPMxcvfhl4Kgb +orqggkWe8xrDdrPHLhiO9HAg2YpAQQJPnNQMUosrvHuRbFEpfPQromKcZU+VDnj6Kos tnbA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=sender:errors-to: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; bh=dpjKuA4SMUMijsyMzZSjISWd0OJDtOFutwkwA5Mu2Bk=; b=OdGcQPZquiBh2nNcPmTD68/2JgWtZLstoaORLj6pDmLwNH4VV9VSWsyw9A3p44cg3h fp08lRf27DBST7Aw4K2l7PANqjNwDbqWymL9byjDuXax0fnsVuABYcrqxrX1AY59/6Vf T5Jh1YBO6xbrJMK80G1ngi6xXxYVcnJi2FrhZgZRtUMUumxJZF75uOW7REu82SlXpxMc yQ95gfiDBNAOe6pXv4btDSi734csRKIAmOXtn4C59Gul9xQcFBVIBbTiFyRWctfwyP3G VA3IAj1JdAt2jrp2zypkJOq0sBCsJChpIxpn21wXbZ4PcppD0eMihw3t9k/y/+iBXfP7 6BYA== ARC-Authentication-Results: i=1; mx.google.com; dkim=fail header.i=@linaro.org header.s=google header.b=CFzKqbqG; 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 p66-v6si1267191ywb.67.2018.11.26.15.07.20 for (version=TLS1 cipher=AES128-SHA bits=128/128); Mon, 26 Nov 2018 15:07:21 -0800 (PST) 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=CFzKqbqG; 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]:39240 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gRPyK-0003WT-E7 for patch@linaro.org; Mon, 26 Nov 2018 18:07:20 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:43060) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gRPw3-0002ZO-Rx for qemu-devel@nongnu.org; Mon, 26 Nov 2018 18:05:00 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gRPw0-0000Gk-BB for qemu-devel@nongnu.org; Mon, 26 Nov 2018 18:04:59 -0500 Received: from mail-pg1-x541.google.com ([2607:f8b0:4864:20::541]:35340) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gRPw0-0000Gc-69 for qemu-devel@nongnu.org; Mon, 26 Nov 2018 18:04:56 -0500 Received: by mail-pg1-x541.google.com with SMTP id s198so6879865pgs.2 for ; Mon, 26 Nov 2018 15:04:56 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; h=from:to:subject:date:message-id:in-reply-to:references; bh=dpjKuA4SMUMijsyMzZSjISWd0OJDtOFutwkwA5Mu2Bk=; b=CFzKqbqG5fNEI1mvsih4XhDtu/lBo5Um01PgxgXvJs8OBn43Cw3sC1T5GvBqIJ0EZ+ 4kWOgWlEPwg64UNTmg0uwnS3nI4jXPWFclHtNrCLVZUfVR3ZCenAcyNieRWrdqpJde4U +VccPznnoYPgxSoZOYoNHpym4nz4LZIfS547A= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:date:message-id:in-reply-to :references; bh=dpjKuA4SMUMijsyMzZSjISWd0OJDtOFutwkwA5Mu2Bk=; b=QqcZanid8sAAHC+re05tBvEMc7t2mFO3hCsjzERk+QYOH2q1Opr/ntp5w07L1SSMlo /oEnfwsjvB4dCZa+WqbuUAXYpb7M/OIDqe0Vy11IstPxJ1QmXco/51Z/8eHCeqsdBI/Y 8XUwImfEatrk5JMs+GgA/gFnh/CD9a5eXWaGCh3N+MjbBYUUsRxMfSiBw6Z6hxV3Gffb rM4RxNaATNKN7cxKa6gqkjSuUjIIKa0fuR4CRGXfO6OWXGW4mKrWociDszknAHV4ayGW h+KWuwaWEiicvT1yekCx+qGdBzSk4oQlc74XHVT+fMBxVr9rSs7/KVKYGZVq4ABsYGd1 Jd8w== X-Gm-Message-State: AA+aEWaKncUrSLF8BepWhoZ+XMp7S9L15z5TqSgNkiath+SObZs1gEUa amZ4xnxwl6r6Y3uarnaToFg9d/VZ5vA= X-Received: by 2002:a63:ef47:: with SMTP id c7mr27044868pgk.386.1543273494726; Mon, 26 Nov 2018 15:04:54 -0800 (PST) Received: from cloudburst.twiddle.net (97-113-170-180.tukw.qwest.net. [97.113.170.180]) by smtp.gmail.com with ESMTPSA id o13sm1798703pfk.57.2018.11.26.15.04.53 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Mon, 26 Nov 2018 15:04:53 -0800 (PST) From: Richard Henderson To: qemu-devel@nongnu.org Date: Mon, 26 Nov 2018 15:04:47 -0800 Message-Id: <20181126230450.672-2-richard.henderson@linaro.org> X-Mailer: git-send-email 2.17.2 In-Reply-To: <20181126230450.672-1-richard.henderson@linaro.org> References: <20181126230450.672-1-richard.henderson@linaro.org> X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::541 Subject: [Qemu-devel] [PATCH 1/4] tcg: Renumber TCG_CALL_* flags 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: , Errors-To: qemu-devel-bounces+patch=linaro.org@nongnu.org Sender: "Qemu-devel" Previously, the low 4 bits were used for TCG_CALL_TYPE_MASK, which was removed in 6a18ae2d2947532d5c26439548afa0481c4529f9. Signed-off-by: Richard Henderson --- tcg/tcg.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) -- 2.17.2 diff --git a/tcg/tcg.h b/tcg/tcg.h index 73737dc671..e94f805370 100644 --- a/tcg/tcg.h +++ b/tcg/tcg.h @@ -464,11 +464,11 @@ typedef TCGv_ptr TCGv_env; /* call flags */ /* Helper does not read globals (either directly or through an exception). It implies TCG_CALL_NO_WRITE_GLOBALS. */ -#define TCG_CALL_NO_READ_GLOBALS 0x0010 +#define TCG_CALL_NO_READ_GLOBALS 0x0001 /* Helper does not write globals */ -#define TCG_CALL_NO_WRITE_GLOBALS 0x0020 +#define TCG_CALL_NO_WRITE_GLOBALS 0x0002 /* Helper can be safely suppressed if the return value is not used. */ -#define TCG_CALL_NO_SIDE_EFFECTS 0x0040 +#define TCG_CALL_NO_SIDE_EFFECTS 0x0004 /* convenience version of most used call flags */ #define TCG_CALL_NO_RWG TCG_CALL_NO_READ_GLOBALS From patchwork Mon Nov 26 23:04:48 2018 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Richard Henderson X-Patchwork-Id: 152096 Delivered-To: patch@linaro.org Received: by 2002:a2e:299d:0:0:0:0:0 with SMTP id p29-v6csp491422ljp; Mon, 26 Nov 2018 15:05:20 -0800 (PST) X-Google-Smtp-Source: AJdET5cl8dg48ZDfK6j0KdXd/+wy3XjlhFL1rmFr8dq/fHg3/+knFAk7XeRr51Xb1Wc7UNndbcar X-Received: by 2002:a81:b623:: with SMTP id u35mr31342272ywh.177.1543273520573; Mon, 26 Nov 2018 15:05:20 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1543273520; cv=none; d=google.com; s=arc-20160816; b=bMtlU6Yyhtd8Cenvh855lENxPss/mAZyGPM4PwxeoPSls8tDQvKSfCN+3LgeiE1VeP W66VEAOOXYIRPJsla715883CnhX03l/tF7mt1qODFeagM/18Dgn8/wa3RBat4E6Hz0Hd Fq8IqcwdOSKNhJ3kjhCDHVB8af1KL5jjWatijVZMKWR+TYFd8KvL0SgCVQUD1JC62u7R ynin6YHVxfYQLUEjjMt52dwd43BwvzQw746wMojiqXLXPKbBwvKAFZrTOpZ4pG+zJCh9 7F520suz4vNktv638iP3bVDxLrVNCrXvOWiSoeNh0zTv8hCEo1INwOTmKvvENl4wjrbn lY8Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=sender:errors-to: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; bh=+rd8f0EuKeLcBkc84eNzbeuWs4zuLZUL/ehXCsMsyMI=; b=0hBL8XWBNaU0F1WXQ63ZzboEuPpU+STvhLh5l8xWTe0oaDuE0Pcw2LtcZ4oBDr17vE kT+fEFOwV6UPiwGtbqWUkJTuaINSqMsR48h70sNVPhP614HPoKKtni5xD9SUqaFQYAOU A27fLLjeY0XVyD48mEO6jWUUZLXQKKR8umf2MuiQZnWmKauJ3KRPwZAiMblIa7JBD1I4 gqSA4rjhtbACYI1oIOLrXAqUjj/p3f23IYvXrsYFIVEiQmA0K8ubbtsZEpbiUX0kaOJV 9joe3ac9wQ0k3yUU9A8C1GPfzIidocpzhcA0tP2AfZq0bVbk2DKUmoFR1c0wA3rOFGp4 +iwQ== ARC-Authentication-Results: i=1; mx.google.com; dkim=fail header.i=@linaro.org header.s=google header.b=KeNi0Hd9; 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 h66-v6si1221818yba.238.2018.11.26.15.05.20 for (version=TLS1 cipher=AES128-SHA bits=128/128); Mon, 26 Nov 2018 15:05:20 -0800 (PST) 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=KeNi0Hd9; 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]:39232 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gRPwO-0002ak-0K for patch@linaro.org; Mon, 26 Nov 2018 18:05:20 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:43059) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gRPw3-0002ZN-Rv for qemu-devel@nongnu.org; Mon, 26 Nov 2018 18:05:00 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gRPw1-0000Gv-NX for qemu-devel@nongnu.org; Mon, 26 Nov 2018 18:04:59 -0500 Received: from mail-pg1-x542.google.com ([2607:f8b0:4864:20::542]:46839) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gRPw1-0000Gp-IL for qemu-devel@nongnu.org; Mon, 26 Nov 2018 18:04:57 -0500 Received: by mail-pg1-x542.google.com with SMTP id w7so6858742pgp.13 for ; Mon, 26 Nov 2018 15:04:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; h=from:to:subject:date:message-id:in-reply-to:references; bh=+rd8f0EuKeLcBkc84eNzbeuWs4zuLZUL/ehXCsMsyMI=; b=KeNi0Hd9x55Vd/RffJf7qe1LHe+fRGIzspyfMVYNwNj1gMwrPiJVaq8HWSO7rqhbeU OGbTLU22Xi69gWvmmD3BJ1wCSE2VRHjHMLA9yVZQ+CBLJp8a3DcnOVhNMttSEZpqG9Ro atRJUAaFEbtTLz4ZA+4XFoe4HF3kwVezRjUn4= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:date:message-id:in-reply-to :references; bh=+rd8f0EuKeLcBkc84eNzbeuWs4zuLZUL/ehXCsMsyMI=; b=gXDaxb1l7McVat9rlRkZSIVEoG2Jfpb+menwcpzagcGLH2vJSjs2iekaaTABMx9vse VtuPUx3x6EhHKnaQUPnkoEQhRpbLMo4BstzL+RS5eWU0feRCAQmTCwrx9Yhf2XxbV3q7 zEwNV2OnEriQlbnF43RFMZOp03XrPkdV4vrwaoQQtb3xEBRHZTbipFhCS2XwqOju95uf 4aZbEdVHN6Kc8nPesIgtmL39gMZoXggsUxrcnGE6HMKTLDkjf00CEIJ3kDFhSY0tH1nF DILiykQ2uNelYjKmAROBNp85waZDxRjR464oNvTwksyi+vE5BriGfLzmWC5ihOHtozYa jJlg== X-Gm-Message-State: AA+aEWbPUPDWQI8p+340o6A70DJg6CfT3PoPzLt+GGfIH6BkxEynt321 WhFQRErQMUQlyFE7/ZLH+9dRt1oT6Yc= X-Received: by 2002:a65:55ca:: with SMTP id k10mr26600240pgs.448.1543273496225; Mon, 26 Nov 2018 15:04:56 -0800 (PST) Received: from cloudburst.twiddle.net (97-113-170-180.tukw.qwest.net. [97.113.170.180]) by smtp.gmail.com with ESMTPSA id o13sm1798703pfk.57.2018.11.26.15.04.54 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Mon, 26 Nov 2018 15:04:55 -0800 (PST) From: Richard Henderson To: qemu-devel@nongnu.org Date: Mon, 26 Nov 2018 15:04:48 -0800 Message-Id: <20181126230450.672-3-richard.henderson@linaro.org> X-Mailer: git-send-email 2.17.2 In-Reply-To: <20181126230450.672-1-richard.henderson@linaro.org> References: <20181126230450.672-1-richard.henderson@linaro.org> X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::542 Subject: [Qemu-devel] [PATCH 2/4] tcg: Add TCG_CALL_NO_RETURN 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: , Errors-To: qemu-devel-bounces+patch=linaro.org@nongnu.org Sender: "Qemu-devel" Remember which helpers have been marked noreturn. Signed-off-by: Richard Henderson --- include/exec/helper-head.h | 13 +++++++++++++ include/exec/helper-tcg.h | 21 ++++++++++++++------- tcg/tcg.h | 2 ++ 3 files changed, 29 insertions(+), 7 deletions(-) -- 2.17.2 diff --git a/include/exec/helper-head.h b/include/exec/helper-head.h index 276dd5afce..ab4f8b6623 100644 --- a/include/exec/helper-head.h +++ b/include/exec/helper-head.h @@ -108,6 +108,19 @@ #define dh_is_signed_env dh_is_signed_ptr #define dh_is_signed(t) dh_is_signed_##t +#define dh_callflag_i32 0 +#define dh_callflag_s32 0 +#define dh_callflag_int 0 +#define dh_callflag_i64 0 +#define dh_callflag_s64 0 +#define dh_callflag_f16 0 +#define dh_callflag_f32 0 +#define dh_callflag_f64 0 +#define dh_callflag_ptr 0 +#define dh_callflag_void 0 +#define dh_callflag_noreturn TCG_CALL_NO_RETURN +#define dh_callflag(t) glue(dh_callflag_, dh_alias(t)) + #define dh_sizemask(t, n) \ ((dh_is_64bit(t) << (n*2)) | (dh_is_signed(t) << (n*2+1))) diff --git a/include/exec/helper-tcg.h b/include/exec/helper-tcg.h index b3bdb0c399..268e0f804b 100644 --- a/include/exec/helper-tcg.h +++ b/include/exec/helper-tcg.h @@ -11,36 +11,43 @@ #define str(s) #s #define DEF_HELPER_FLAGS_0(NAME, FLAGS, ret) \ - { .func = HELPER(NAME), .name = str(NAME), .flags = FLAGS, \ + { .func = HELPER(NAME), .name = str(NAME), \ + .flags = FLAGS | dh_callflag(ret), \ .sizemask = dh_sizemask(ret, 0) }, #define DEF_HELPER_FLAGS_1(NAME, FLAGS, ret, t1) \ - { .func = HELPER(NAME), .name = str(NAME), .flags = FLAGS, \ + { .func = HELPER(NAME), .name = str(NAME), \ + .flags = FLAGS | dh_callflag(ret), \ .sizemask = dh_sizemask(ret, 0) | dh_sizemask(t1, 1) }, #define DEF_HELPER_FLAGS_2(NAME, FLAGS, ret, t1, t2) \ - { .func = HELPER(NAME), .name = str(NAME), .flags = FLAGS, \ + { .func = HELPER(NAME), .name = str(NAME), \ + .flags = FLAGS | dh_callflag(ret), \ .sizemask = dh_sizemask(ret, 0) | dh_sizemask(t1, 1) \ | dh_sizemask(t2, 2) }, #define DEF_HELPER_FLAGS_3(NAME, FLAGS, ret, t1, t2, t3) \ - { .func = HELPER(NAME), .name = str(NAME), .flags = FLAGS, \ + { .func = HELPER(NAME), .name = str(NAME), \ + .flags = FLAGS | dh_callflag(ret), \ .sizemask = dh_sizemask(ret, 0) | dh_sizemask(t1, 1) \ | dh_sizemask(t2, 2) | dh_sizemask(t3, 3) }, #define DEF_HELPER_FLAGS_4(NAME, FLAGS, ret, t1, t2, t3, t4) \ - { .func = HELPER(NAME), .name = str(NAME), .flags = FLAGS, \ + { .func = HELPER(NAME), .name = str(NAME), \ + .flags = FLAGS | dh_callflag(ret), \ .sizemask = dh_sizemask(ret, 0) | dh_sizemask(t1, 1) \ | dh_sizemask(t2, 2) | dh_sizemask(t3, 3) | dh_sizemask(t4, 4) }, #define DEF_HELPER_FLAGS_5(NAME, FLAGS, ret, t1, t2, t3, t4, t5) \ - { .func = HELPER(NAME), .name = str(NAME), .flags = FLAGS, \ + { .func = HELPER(NAME), .name = str(NAME), \ + .flags = FLAGS | dh_callflag(ret), \ .sizemask = dh_sizemask(ret, 0) | dh_sizemask(t1, 1) \ | dh_sizemask(t2, 2) | dh_sizemask(t3, 3) | dh_sizemask(t4, 4) \ | dh_sizemask(t5, 5) }, #define DEF_HELPER_FLAGS_6(NAME, FLAGS, ret, t1, t2, t3, t4, t5, t6) \ - { .func = HELPER(NAME), .name = str(NAME), .flags = FLAGS, \ + { .func = HELPER(NAME), .name = str(NAME), \ + .flags = FLAGS | dh_callflag(ret), \ .sizemask = dh_sizemask(ret, 0) | dh_sizemask(t1, 1) \ | dh_sizemask(t2, 2) | dh_sizemask(t3, 3) | dh_sizemask(t4, 4) \ | dh_sizemask(t5, 5) | dh_sizemask(t6, 6) }, diff --git a/tcg/tcg.h b/tcg/tcg.h index e94f805370..6b6bc75c82 100644 --- a/tcg/tcg.h +++ b/tcg/tcg.h @@ -469,6 +469,8 @@ typedef TCGv_ptr TCGv_env; #define TCG_CALL_NO_WRITE_GLOBALS 0x0002 /* Helper can be safely suppressed if the return value is not used. */ #define TCG_CALL_NO_SIDE_EFFECTS 0x0004 +/* Helper is QEMU_NORETURN. */ +#define TCG_CALL_NO_RETURN 0x0008 /* convenience version of most used call flags */ #define TCG_CALL_NO_RWG TCG_CALL_NO_READ_GLOBALS From patchwork Mon Nov 26 23:04:49 2018 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Richard Henderson X-Patchwork-Id: 152099 Delivered-To: patch@linaro.org Received: by 2002:a2e:299d:0:0:0:0:0 with SMTP id p29-v6csp494379ljp; Mon, 26 Nov 2018 15:07:41 -0800 (PST) X-Google-Smtp-Source: AFSGD/Waq69EgYrLjpDE8ZLaMAFvwPLXVCM3CmVOrc2YElsNz/0feHwh+gJepqBJ6ul4zzFVPAok X-Received: by 2002:a25:8b81:: with SMTP id j1-v6mr30737342ybl.256.1543273661101; Mon, 26 Nov 2018 15:07:41 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1543273661; cv=none; d=google.com; s=arc-20160816; b=XhHjmQD4n4BK1iYYWLl8h+Dxu62Zy9mSVkjuWWoIQJIex/u1WAMu4Tk5qZ9vQ5d7jM B+KkS/u03sJgGstwXD94vBjVafAkj9ZSDBxhd3XXtJY0z8zjISkEg7rxDIZjaEokLsQO S/OdezHhcO4E8Hn/oAad59HTHok82WupGILFTzMhs7cr4dafk1Ar+LuYFdYmmNprnItU c5aDijZFdb9lQPao/UN2Ffqzaf1Zur12PxhrU2emEPxl1umlkeTG5fFGtI8yi6IubqVO q9L2T1w5ob8Ow6C3wtjOm6JLVHUWZJYzKxg77p2I956OjK0bzV5aPA60IajS9evr1Jbq z4pw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=sender:errors-to: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; bh=cSSRpXux8jrEAJrLH5pON8RbGB5i6xvuDyS55RcT4eY=; b=NdJno+mR5XOFgg1XUJZpdNzjPR7nYy1jtz9ebOt+LPXb8WmstoJzEakSaiPntTmkLT /TFOpWDs3T4l1j1ps3dbzVlcxJqPf+/WTmDKryCMnF8EiD0LaOh7/R/d3GWgLsLVrpN2 kpEzUspxSFzQJTJCiWlBqxloL3rbS0ElIFEAxxf5TRc8YNXJQyrYxqjI9YeQXTt/PakM c5knywvccGBVOkKSvpzQ3IOJkGSENxAuAp1nML5s6P82XwhqD7FWoiTnxVbTpBIq7nYL OxogNqjoCt7VJ7B3XviUlnxeHtVbVZs8QeJn7Y7N5s+yGFJtLgRfho/aiufLu7NA0K2r mtdQ== ARC-Authentication-Results: i=1; mx.google.com; dkim=fail header.i=@linaro.org header.s=google header.b=fMTfZX9F; 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 p62-v6si1338280ybb.157.2018.11.26.15.07.40 for (version=TLS1 cipher=AES128-SHA bits=128/128); Mon, 26 Nov 2018 15:07:41 -0800 (PST) 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=fMTfZX9F; 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]:39247 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gRPye-0005Dh-CY for patch@linaro.org; Mon, 26 Nov 2018 18:07:40 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:43089) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gRPwH-0002oC-G5 for qemu-devel@nongnu.org; Mon, 26 Nov 2018 18:05:14 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gRPw7-0000I4-IT for qemu-devel@nongnu.org; Mon, 26 Nov 2018 18:05:07 -0500 Received: from mail-pg1-x543.google.com ([2607:f8b0:4864:20::543]:39498) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gRPw3-0000H2-Pc for qemu-devel@nongnu.org; Mon, 26 Nov 2018 18:04:59 -0500 Received: by mail-pg1-x543.google.com with SMTP id w6so6877520pgl.6 for ; Mon, 26 Nov 2018 15:04:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; h=from:to:subject:date:message-id:in-reply-to:references; bh=cSSRpXux8jrEAJrLH5pON8RbGB5i6xvuDyS55RcT4eY=; b=fMTfZX9FpsFESCixE//OJvf7YONSauAuLkMybk5knPxr63JsF7Mk5xWRI0XvqQgjQa VpB8bldmeRyppGjlDxHCZEpU3ABPt8J9+Xr1ykCrp0JsZdvsemlfmoxq/xFI7vAflXKE JjbGiaPgfMMAzLtbI/UrKCqvVhoAVJubp4Ct0= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:date:message-id:in-reply-to :references; bh=cSSRpXux8jrEAJrLH5pON8RbGB5i6xvuDyS55RcT4eY=; b=HNGlpLvVRjavY8ioqWBPaCICRCDl2OoWhFDAHHZ3A6+DdfZrrNFG1KYRiKwCF3aIy5 BkVbzYGVYR2BpAkYZpMKpidfrm/A8YN2GAOf1cvJsxA80lj/eRcL15ENYZmak8V6v4vl viWNZSFNV/JsmoLXrcfeHa2rGw9GSSVa7HI08ozUAwCVTcyl0WUjnm8/HWmAjBiiffjH rRaVfQbkLPvndQjHfEEg/HGevo+nBSW7D9JSTm8RF7c0MN0soAdBozYq40GOYMcyIWpS HwLDMmk69halvtSYp4eJtuoSLIBSdG2wkvAedp9yDiziV6tLMjedCha1pbYcBVFC51tC 39eA== X-Gm-Message-State: AA+aEWZHg9t/63QqTqcU4xn+xEyC5AbN8Zv9M0xTnDgfb1OP5IGTUFQG 2dooeK/P+zwMmwMohmx03YjH706Lw3Q= X-Received: by 2002:a63:4f20:: with SMTP id d32mr26816250pgb.47.1543273497538; Mon, 26 Nov 2018 15:04:57 -0800 (PST) Received: from cloudburst.twiddle.net (97-113-170-180.tukw.qwest.net. [97.113.170.180]) by smtp.gmail.com with ESMTPSA id o13sm1798703pfk.57.2018.11.26.15.04.56 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Mon, 26 Nov 2018 15:04:56 -0800 (PST) From: Richard Henderson To: qemu-devel@nongnu.org Date: Mon, 26 Nov 2018 15:04:49 -0800 Message-Id: <20181126230450.672-4-richard.henderson@linaro.org> X-Mailer: git-send-email 2.17.2 In-Reply-To: <20181126230450.672-1-richard.henderson@linaro.org> References: <20181126230450.672-1-richard.henderson@linaro.org> X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::543 Subject: [Qemu-devel] [PATCH 3/4] tcg: Reference count labels 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: , Errors-To: qemu-devel-bounces+patch=linaro.org@nongnu.org Sender: "Qemu-devel" Increment when adding branches, and decrement when removing them. Signed-off-by: Richard Henderson --- tcg/tcg-op.h | 1 + tcg/tcg.h | 3 ++- tcg/tcg-op.c | 2 ++ tcg/tcg.c | 20 ++++++++++++++++++++ 4 files changed, 25 insertions(+), 1 deletion(-) -- 2.17.2 diff --git a/tcg/tcg-op.h b/tcg/tcg-op.h index db4e9188f4..7007ec0d4d 100644 --- a/tcg/tcg-op.h +++ b/tcg/tcg-op.h @@ -260,6 +260,7 @@ static inline void gen_set_label(TCGLabel *l) static inline void tcg_gen_br(TCGLabel *l) { + l->refs++; tcg_gen_op1(INDEX_op_br, label_arg(l)); } diff --git a/tcg/tcg.h b/tcg/tcg.h index 6b6bc75c82..c6caeeb42b 100644 --- a/tcg/tcg.h +++ b/tcg/tcg.h @@ -246,7 +246,8 @@ typedef struct TCGRelocation { typedef struct TCGLabel { unsigned has_value : 1; - unsigned id : 31; + unsigned id : 15; + unsigned refs : 16; union { uintptr_t value; tcg_insn_unit *value_ptr; diff --git a/tcg/tcg-op.c b/tcg/tcg-op.c index 1ad095cc35..bab889662d 100644 --- a/tcg/tcg-op.c +++ b/tcg/tcg-op.c @@ -240,6 +240,7 @@ void tcg_gen_brcond_i32(TCGCond cond, TCGv_i32 arg1, TCGv_i32 arg2, TCGLabel *l) if (cond == TCG_COND_ALWAYS) { tcg_gen_br(l); } else if (cond != TCG_COND_NEVER) { + l->refs++; tcg_gen_op4ii_i32(INDEX_op_brcond_i32, arg1, arg2, cond, label_arg(l)); } } @@ -1405,6 +1406,7 @@ void tcg_gen_brcond_i64(TCGCond cond, TCGv_i64 arg1, TCGv_i64 arg2, TCGLabel *l) if (cond == TCG_COND_ALWAYS) { tcg_gen_br(l); } else if (cond != TCG_COND_NEVER) { + l->refs++; if (TCG_TARGET_REG_BITS == 32) { tcg_gen_op6ii_i32(INDEX_op_brcond2_i32, TCGV_LOW(arg1), TCGV_HIGH(arg1), TCGV_LOW(arg2), diff --git a/tcg/tcg.c b/tcg/tcg.c index 17c193791f..31b9b58240 100644 --- a/tcg/tcg.c +++ b/tcg/tcg.c @@ -2191,6 +2191,26 @@ static void process_op_defs(TCGContext *s) void tcg_op_remove(TCGContext *s, TCGOp *op) { + TCGLabel *label; + + switch (op->opc) { + case INDEX_op_br: + label = arg_label(op->args[0]); + label->refs--; + break; + case INDEX_op_brcond_i32: + case INDEX_op_brcond_i64: + label = arg_label(op->args[3]); + label->refs--; + break; + case INDEX_op_brcond2_i32: + label = arg_label(op->args[5]); + label->refs--; + break; + default: + break; + } + QTAILQ_REMOVE(&s->ops, op, link); QTAILQ_INSERT_TAIL(&s->free_ops, op, link); s->nb_ops--; From patchwork Mon Nov 26 23:04:50 2018 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Richard Henderson X-Patchwork-Id: 152098 Delivered-To: patch@linaro.org Received: by 2002:a2e:299d:0:0:0:0:0 with SMTP id p29-v6csp494356ljp; Mon, 26 Nov 2018 15:07:39 -0800 (PST) X-Google-Smtp-Source: AFSGD/XmuyvF0AWquSOrGPhCRoRZPJg2S5S7agY6HN2STNaBEze6lu/hkY7uGEvLmGgHZzYdJy/9 X-Received: by 2002:a25:a091:: with SMTP id y17-v6mr29941254ybh.157.1543273659751; Mon, 26 Nov 2018 15:07:39 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1543273659; cv=none; d=google.com; s=arc-20160816; b=x5eoYF7dL2SQPXWaUOjVT+43aYHh57E3aIXAtG2xGfl9N+WuEve/N8nqMi6Hzkobw8 H8U47jnPOcrFZaZHpIPyaM3MCgD2dMwmKOiVxVbRGqzBfpvC/RBIeyoteLOxMf7yGWUk vHLiSm3HAGZAeHK/glz8xFCY248ZTp8rsCZeaniPEfp7hsKTFa1uRcdwO25ElgIhcZFk AMMOWLBAYZmt5Sw6D8zc9KfgDpQopHO08QsXbsq/MWNInPl4WgAf/50a0x5TI19aZljX AvpfUr6HqSXyEKI5QVrrv1hdrs2K48XBkbXgw7O8xoxCMprbyY7GzUOgSPOeFqtjxr6/ b7jQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=sender:errors-to: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; bh=a0XirnQ7KM4RULalH+OyIr7voieSl1aNO3zcM/erWq4=; b=fSoRuJAtne+WR+15FNnyLfk8JAx8NbIvCk1qO7EHiCFu8Bygr0LJ2CKZFuXiJzxaUC O5SsJR4Yzeeb4RYoj94ElQlzJ9VfEKszKXQCsSBXIHqmifWmGI7OIUFy6VGskXLIsbxo bUgoJPJI05sHPT9dxWaP1mNadNcwVgU5wqDP20f3vG31p+48fcqM+be8QEmYKSJgoRLX 26u8MAw31v7Oemjw+M6H5Eewa/DH5xjAna55ONKLjc4WJfSANW328IGOlf5Fbk52hF7k 9RrqIyRe7sRz4ezgN33G+H6I+2aE1gFF8f++fovKOg8SjJenBmVOhRXUkLq6TshGFiWa WMuA== ARC-Authentication-Results: i=1; mx.google.com; dkim=fail header.i=@linaro.org header.s=google header.b=NdyQs752; 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 131-v6si1245318ybv.124.2018.11.26.15.07.39 for (version=TLS1 cipher=AES128-SHA bits=128/128); Mon, 26 Nov 2018 15:07:39 -0800 (PST) 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=NdyQs752; 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]:39246 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gRPyd-0005Cd-6T for patch@linaro.org; Mon, 26 Nov 2018 18:07:39 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:43094) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gRPwH-0002oJ-Ir for qemu-devel@nongnu.org; Mon, 26 Nov 2018 18:05:16 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gRPwC-0000Px-PD for qemu-devel@nongnu.org; Mon, 26 Nov 2018 18:05:13 -0500 Received: from mail-pf1-x442.google.com ([2607:f8b0:4864:20::442]:33436) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gRPw5-0000H5-NP for qemu-devel@nongnu.org; Mon, 26 Nov 2018 18:05:03 -0500 Received: by mail-pf1-x442.google.com with SMTP id c123so6626614pfb.0 for ; Mon, 26 Nov 2018 15:05:00 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; h=from:to:subject:date:message-id:in-reply-to:references; bh=a0XirnQ7KM4RULalH+OyIr7voieSl1aNO3zcM/erWq4=; b=NdyQs7524wesy0vigNHMby5pjG+QxRG9kxgP3PK8vJeFL/IJSCjPcV8B0UKIWrvmBI 0PkBmSvPgKyD5KseCTJVcfpVi4U1P7c2mlXstMzDiFNcwW36YJBxXjJ7Oe5CR1EprdGl 7F6INDx0qz3WDrcESXdI0m3ZVjihRfW+2+3/w= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:date:message-id:in-reply-to :references; bh=a0XirnQ7KM4RULalH+OyIr7voieSl1aNO3zcM/erWq4=; b=hR7xk7pwz7TPQ70HxdTZJTqXRR/p3kywIBXOpL5BBDFqA3dnVuEfXk2tv0rvHbYARJ D79ZGWGp5LgMbLgwEwa1CzuYkZxHJibVJ9vBRGa+FzQgnKF/M9roAWhY331nUJ7HT2cs 0cswQuJPaB1RhpQh7oka2DqSYDr/DamXt9DatQJvKCW14/n2Iy4nmhmgx2eVy9PDZ3Wp d0traMKvTUzl2vIwDwOoy/nwBVNNWo8PifXLiLIyizyOIpZVTVBhOROD9YWijBlyFkLK iXh97vS1pYw/nc/rmUSf7ervf3rGvoSzLPysiUm66ieCQV2Ei/ZSfbDfuzmWg9S6Fdry B/JQ== X-Gm-Message-State: AA+aEWaNNPb6m4VSs3MaJVAlzLquueyHqyd8fxnpOtvGI45oof+uNmPI O+5/WXAdG0+0MiYDCHMm4Tt/+I2o76o= X-Received: by 2002:a65:534b:: with SMTP id w11mr26930014pgr.125.1543273498747; Mon, 26 Nov 2018 15:04:58 -0800 (PST) Received: from cloudburst.twiddle.net (97-113-170-180.tukw.qwest.net. [97.113.170.180]) by smtp.gmail.com with ESMTPSA id o13sm1798703pfk.57.2018.11.26.15.04.57 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Mon, 26 Nov 2018 15:04:57 -0800 (PST) From: Richard Henderson To: qemu-devel@nongnu.org Date: Mon, 26 Nov 2018 15:04:50 -0800 Message-Id: <20181126230450.672-5-richard.henderson@linaro.org> X-Mailer: git-send-email 2.17.2 In-Reply-To: <20181126230450.672-1-richard.henderson@linaro.org> References: <20181126230450.672-1-richard.henderson@linaro.org> X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::442 Subject: [Qemu-devel] [PATCH 4/4] tcg: Add reachable_code_pass 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: , Errors-To: qemu-devel-bounces+patch=linaro.org@nongnu.org Sender: "Qemu-devel" Delete trivially dead code that follows unconditional branches and noreturn helpers. These can occur either via optimization or via the structure of a target's translator following an exception. Signed-off-by: Richard Henderson --- tcg/tcg.c | 76 +++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 76 insertions(+) -- 2.17.2 Reviewed-by: Emilio G. Cota diff --git a/tcg/tcg.c b/tcg/tcg.c index 31b9b58240..ffbf8f01ad 100644 --- a/tcg/tcg.c +++ b/tcg/tcg.c @@ -2301,6 +2301,81 @@ static void tcg_la_bb_end(TCGContext *s) } } +/* Reachable analysis : remove unreachable code. */ +static void reachable_code_pass(TCGContext *s) +{ + TCGOp *op, *op_next; + bool dead = false; + + QTAILQ_FOREACH_SAFE(op, &s->ops, link, op_next) { + bool remove = dead; + TCGLabel *label; + int call_flags; + + switch (op->opc) { + case INDEX_op_set_label: + label = arg_label(op->args[0]); + if (label->refs == 0) { + /* + * While there is an occasional backward branch, virtually + * all branches generated by the translators are forward. + * Which means that generally we will have already removed + * all references to the label that will be, and there is + * little to be gained by iterating. + */ + remove = true; + } else { + /* Once we see a label, insns become live again. */ + dead = false; + remove = false; + + /* + * Optimization can fold conditional branches to unconditional. + * If we find a label with one reference which is preceeded by + * an unconditional branch to it, remove both. This needed to + * wait until the dead code in between them was removed. + */ + if (label->refs == 1) { + TCGOp *op_prev = QTAILQ_PREV(op, TCGOpHead, link); + if (op_prev->opc == INDEX_op_br && + label == arg_label(op_prev->args[0])) { + tcg_op_remove(s, op_prev); + remove = true; + } + } + } + break; + + case INDEX_op_br: + case INDEX_op_exit_tb: + case INDEX_op_goto_ptr: + /* Unconditional branches; everything following is dead. */ + dead = true; + break; + + case INDEX_op_call: + /* Notice noreturn helper calls, raising exceptions. */ + call_flags = op->args[TCGOP_CALLO(op) + TCGOP_CALLI(op) + 1]; + if (call_flags & TCG_CALL_NO_RETURN) { + dead = true; + } + break; + + case INDEX_op_insn_start: + /* Never remove -- we need to keep these for unwind. */ + remove = false; + break; + + default: + break; + } + + if (remove) { + tcg_op_remove(s, op); + } + } +} + /* Liveness analysis : update the opc_arg_life array to tell if a given input arguments is dead. Instructions updating dead temporaries are removed. */ @@ -3537,6 +3612,7 @@ int tcg_gen_code(TCGContext *s, TranslationBlock *tb) atomic_set(&prof->la_time, prof->la_time - profile_getclock()); #endif + reachable_code_pass(s); liveness_pass_1(s); if (s->nb_indirects > 0) {