From nobody Sat Apr 11 19:55:48 2026 Delivered-To: importer@patchew.org Authentication-Results: mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=qemu-devel-bounces+importer=patchew.org@nongnu.org; dmarc=pass(p=reject dis=none) header.from=oss.qualcomm.com ARC-Seal: i=1; a=rsa-sha256; t=1775676159; cv=none; d=zohomail.com; s=zohoarc; b=PPL7IV3AeaNEVmRHnkQ8GrPtwvhvRWRpA4VotwMmfvz5VIqakXEvTg6I91lzzGNXTqeN0jVUEP+GsMkmbse6pifWgXNgchIGmNpHDjdvMWyNrQmsrm8cR+//2MESRYqxp8Em0kC0+sQgI5c1ee3DprcvidKV2FYRmgLbmSIGwMQ= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1775676159; h=Content-Type:Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Archive:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=/cvTSbV/zAeAfBfzYUeoj6fbSDj+UEBx4bvW7Z/SrW8=; b=HuoG9bLa/de9EmNeC+GPu/Q/SYmvCSScckDSnzYxPmvV8fb2cz4Lwg2z+sxPMFRdXa3x4SbAuSzSza6N0KcdSZ5J1XjxxhDneXPTMHFQkUeOLmoE+n2nQ2aryW90ojfBlxd2QQFktpVsrSpI7cj0cQsg0Wm60KhRgG1XyL8MplA= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=qemu-devel-bounces+importer=patchew.org@nongnu.org; dmarc=pass header.from= (p=reject dis=none) Return-Path: Received: from lists.gnu.org (lists1p.gnu.org [209.51.188.17]) by mx.zohomail.com with SMTPS id 1775676159617480.13471944815126; Wed, 8 Apr 2026 12:22:39 -0700 (PDT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1wAYKL-0003WP-8Q; Wed, 08 Apr 2026 15:12:37 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists1p.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1wAYIv-000773-Ak for qemu-devel@nongnu.org; Wed, 08 Apr 2026 15:11:10 -0400 Received: from mx0b-0031df01.pphosted.com ([205.220.180.131]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1wAKOq-0005aK-Jp for qemu-devel@nongnu.org; Wed, 08 Apr 2026 00:20:22 -0400 Received: from pps.filterd (m0279873.ppops.net [127.0.0.1]) by mx0a-0031df01.pphosted.com (8.18.1.11/8.18.1.11) with ESMTP id 637J6dRJ071787 for ; Wed, 8 Apr 2026 04:20:19 GMT Received: from mail-dl1-f70.google.com (mail-dl1-f70.google.com [74.125.82.70]) by mx0a-0031df01.pphosted.com (PPS) with ESMTPS id 4dd7sx9dq6-1 (version=TLSv1.3 cipher=TLS_AES_128_GCM_SHA256 bits=128 verify=NOT) for ; Wed, 08 Apr 2026 04:20:19 +0000 (GMT) Received: by mail-dl1-f70.google.com with SMTP id a92af1059eb24-127133794b6so9493287c88.1 for ; Tue, 07 Apr 2026 21:20:19 -0700 (PDT) Received: from hu-bcain-lv.qualcomm.com (Global_NAT1.qualcomm.com. [129.46.96.20]) by smtp.gmail.com with ESMTPSA id a92af1059eb24-12c14a371b1sm6480362c88.13.2026.04.07.21.20.16 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 07 Apr 2026 21:20:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=qualcomm.com; h= cc:content-transfer-encoding:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to; s=qcppdkim1; bh= /cvTSbV/zAeAfBfzYUeoj6fbSDj+UEBx4bvW7Z/SrW8=; b=DsdaRayZlG5YRCDX FDFue4d6ljB6z7LuQHtdCqDqCX/hz3GDXgJyBcc9Ol2zHpJO304vPEOVh0rzo+H5 AC3z76flVXFU3guzIffbAmM9IG+lqxAZqQRcWji2uEYDOylgljGZKdFwBUjmyVee 3piFx2KkyuWoNVsMWtAPM0YrTHXI4Rr9LXAgdwbI/qzvJKu9935MVwgrFUFk4n58 e3PTwknzbYOlbve0ng7arCumO5U602iz5Rx/boRdKwTI3+nnTyrhenlyBE8ErsDp lIQyhKpurs8oQdOJTY2rrOqyXdKrARDtOMG1e+dkZgNLrT+9AOIrwNi4SYhALvaL 9lS/dw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oss.qualcomm.com; s=google; t=1775622018; x=1776226818; darn=nongnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=/cvTSbV/zAeAfBfzYUeoj6fbSDj+UEBx4bvW7Z/SrW8=; b=DfuGqsMvc96dcbDDrDF9MCO4IiHr8pRXnlYFXv0kfjxwlYzlAYEMPjdJHa7/h6Oe71 dArQ+hEGyPXO4W/qfnH8TRrS5u14LrvhN5pjBEh92ubQ9C9K5PStGYoFMKyuQejovc7e nlfAF4dc5DGJUBw/C9vQxMA5dUGFMQ+TjkRey2lJF/vKQUFI4OAEsspJNShECDYpYEMp HohLC4QkoMlDquEuyB65aRxTlnOWUvWkg5kpX0wHCrqmKDRvBNa+9H6qLRuS3UlC+Fyj 8xMfN1jLkwQ4gorgGtxLCt5jxjujXKMxFrVoXdE2fo1LSON/5XntvheWcKXysEn4R1Wm J6Mw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1775622018; x=1776226818; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-gg:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=/cvTSbV/zAeAfBfzYUeoj6fbSDj+UEBx4bvW7Z/SrW8=; b=H9IA8ga5ZBQts0PNc2ISeIBUGQA0m0etBz9Dcd1GtKK96MB7MveP0qrcT4uzklQciy ko788trXDbS1e+MjYuxHmJ/qpBe55WnWT02s/4cVLLx9ACq52ssGtxcGdUNgHQFkJyhn PxAWA9QsS9wo6BZLzsMExoTjQHRNJ9XS3SC9WQ4yrQZ8+kR0maDhHAmFBFu8jK47fyA/ hXzc4feTFUa/FRy6b1A5+cN2dJk6+0YU5sPNuRVAsR2n2XJXcjPC6aSsGmahF5jG4a+z uK4kv+m9rvAVALW39HP3qlAKUfp1ECv4duKlQ0Q6OkPt4PUbStupcbL8UQ1nEreXNg8H scEA== X-Gm-Message-State: AOJu0YxHg+NNsLmsei0WmdX/kAh9l5hhvELniQxfnM7EnkgmfuhIdU5e 7pzKFT1hRd4fy/SPLDZWCyUUzJXvez1FgiXKWmnXb6bnqy+jhiBmQuqQvRydhMv4jVml1sSDcRi AeMQLJUF6MX6jMi6RKoJNvg6K625I4aS0eXXiMHtGi3y7X5TJgP8tpyLhk7CtT8aaQQ== X-Gm-Gg: AeBDieuGLVeJ6HV3AcA9Uljs3mxv4RSMUr4r6UE1zsVusIo/BczvQRPfUJrpV2fNd0X WU4Myektit16bdWVkgbMmERAeu4AA7b0XnatpyGY04qjj6PcKz6UsxlNBcJi3xUEbvmxGpi5Dbn e8wIycPSnjDt/EBPgrvxmFj4YDBJm3CH+JL2M1lPJeCkvwz9ArJZEkmrJYZ0oXnh6fuXnQPgK2j iRbXcAjcK9Ul8+UEHHJD+V01fenlHWxkq58HPPfZsHISc5qkf7g+p/Rc5A4DJ02XMJsM0SrNZIm 5JdSeuwbXMK8muF9lyw0tXLUaaXJDVVv3H69Bdc3bUos5Qzz9oGtvvr+ksnKl+5cpjC1VwO0iDm ROUwC+FXwvz5XW1r1rpUkvse2xaoetcC9PsUI06J33CTgFbxqN9YNXUSNUCXOQRO9Igux4w== X-Received: by 2002:a05:7022:ec17:b0:128:d23d:81a2 with SMTP id a92af1059eb24-12bfb777066mr9807566c88.29.1775622018275; Tue, 07 Apr 2026 21:20:18 -0700 (PDT) X-Received: by 2002:a05:7022:ec17:b0:128:d23d:81a2 with SMTP id a92af1059eb24-12bfb777066mr9807548c88.29.1775622017675; Tue, 07 Apr 2026 21:20:17 -0700 (PDT) From: Brian Cain To: qemu-devel@nongnu.org Cc: brian.cain@oss.qualcomm.com, philmd@linaro.org, ltaylorsimpson@gmail.com, matheus.bernardino@oss.qualcomm.com, marco.liebel@oss.qualcomm.com, quic_mburton@quicinc.com, sid.manning@oss.qualcomm.com, ale@rev.ng, anjo@rev.ng Subject: [PATCH v4 09/28] target/hexagon: Implement stack overflow exception Date: Tue, 7 Apr 2026 21:19:34 -0700 Message-Id: <20260408041953.1899532-10-brian.cain@oss.qualcomm.com> X-Mailer: git-send-email 2.34.1 In-Reply-To: <20260408041953.1899532-1-brian.cain@oss.qualcomm.com> References: <20260408041953.1899532-1-brian.cain@oss.qualcomm.com> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Authority-Analysis: v=2.4 cv=etfvCIpX c=1 sm=1 tr=0 ts=69d5d783 cx=c_pps a=SvEPeNj+VMjHSW//kvnxuw==:117 a=ouPCqIW2jiPt+lZRy3xVPw==:17 a=IkcTkHD0fZMA:10 a=A5OVakUREuEA:10 a=s4-Qcg_JpJYA:10 a=VkNPw1HP01LnGYTKEx00:22 a=u7WPNUs3qKkmUXheDGA7:22 a=rJkE3RaqiGZ5pbrm-msn:22 a=pGLkceISAAAA:8 a=EUspDBNiAAAA:8 a=DTjK4E8Rq4C45BV92HcA:9 a=QEXdDO2ut3YA:10 a=Kq8ClHjjuc5pcCNDwlU0:22 X-Proofpoint-ORIG-GUID: 3FJvzSYMLoLv22JD3An0eDcD-5LrXy6v X-Proofpoint-Spam-Details-Enc: AW1haW4tMjYwNDA4MDAzNSBTYWx0ZWRfX7I5bATXZGYfs yoEjJYiEBMb678xyLz4NbBOijogvEVAF7jvvbjj4cVRETPWUtf6nG/xDNFdfZLCFxKOXtsmw73j UdQ1neFUAi1MpJUzk6r5+0kjLmNzgd9JO9PQ+H5Vnh3lbwBbI2wijmxZImyNG50nNyPXg/mX06R ymzvU55+zHBs4FtMjhz/OGtgfPpsPGKC1sukcXbFFTl/tUa3GIlKe8DLI5qfZtJNR7GQK+jn2Em pLoUNGCtwvL2VyYJ2CXg45NeBl2yQKnic6xznwBmgIKE5+KQoh2hUUSCRHYWPIYwikMrtjddEIi zoX0kiJNDDk2sQVp9i7iXkqLFP3FPjL9HUs9oU+mgoWSN09h57IjHzJTjdpcSxbAfhUYjAVu6OZ HUB5bFFaAEKlSa5DqSfaB8SqS+jlXT6M1NDCKVg6J8JlBzGYb6t/mbth98kgLX10D6grOAQYagj RXzCbuCHkzxZ1gF++2A== X-Proofpoint-GUID: 3FJvzSYMLoLv22JD3An0eDcD-5LrXy6v X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.293,Aquarius:18.0.1143,Hydra:6.1.51,FMLib:17.12.100.49 definitions=2026-04-08_02,2026-04-07_05,2025-10-01_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=1501 lowpriorityscore=0 phishscore=0 bulkscore=0 impostorscore=0 suspectscore=0 spamscore=0 clxscore=1015 malwarescore=0 adultscore=0 classifier=typeunknown authscore=0 authtc= authcc= route=outbound adjust=0 reason=mlx scancount=1 engine=8.22.0-2604010000 definitions=main-2604080035 Received-SPF: pass (zohomail.com: domain of gnu.org designates 209.51.188.17 as permitted sender) client-ip=209.51.188.17; envelope-from=qemu-devel-bounces+importer=patchew.org@nongnu.org; helo=lists.gnu.org; Received-SPF: pass client-ip=205.220.180.131; envelope-from=brian.cain@oss.qualcomm.com; helo=mx0b-0031df01.pphosted.com X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, SPF_HELO_NONE=0.001, 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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: qemu-devel-bounces+importer=patchew.org@nongnu.org Sender: qemu-devel-bounces+importer=patchew.org@nongnu.org X-ZohoMail-DKIM: pass (identity @qualcomm.com) X-ZM-MESSAGEID: 1775676160805158500 Implement the frame limit check for system emulation mode. When allocframe computes a new stack pointer below FRAMELIMIT, raise a precise exception (HEX_CAUSE_STACK_LIMIT). The check is skipped in monitor mode. Reviewed-by: Taylor Simpson Signed-off-by: Brian Cain --- target/hexagon/helper.h | 1 + target/hexagon/idef-parser/parser-helpers.h | 2 ++ target/hexagon/macros.h | 3 -- target/hexagon/sys_macros.h | 4 +++ target/hexagon/translate.h | 2 ++ target/hexagon/genptr.c | 18 +++++++---- target/hexagon/idef-parser/parser-helpers.c | 9 ++++++ target/hexagon/op_helper.c | 36 +++++++++++++++++++++ target/hexagon/idef-parser/idef-parser.y | 3 ++ 9 files changed, 68 insertions(+), 10 deletions(-) diff --git a/target/hexagon/helper.h b/target/hexagon/helper.h index 9ca87acfe63..ebcd471ec0a 100644 --- a/target/hexagon/helper.h +++ b/target/hexagon/helper.h @@ -109,6 +109,7 @@ DEF_HELPER_2(probe_hvx_stores, void, env, int) DEF_HELPER_2(probe_pkt_scalar_hvx_stores, void, env, int) =20 #if !defined(CONFIG_USER_ONLY) +DEF_HELPER_3(raise_stack_overflow, void, env, i32, i32) DEF_HELPER_2(swi, void, env, i32) DEF_HELPER_2(cswi, void, env, i32) DEF_HELPER_2(ciad, void, env, i32) diff --git a/target/hexagon/idef-parser/parser-helpers.h b/target/hexagon/i= def-parser/parser-helpers.h index 2087d534a93..d3dfcec5690 100644 --- a/target/hexagon/idef-parser/parser-helpers.h +++ b/target/hexagon/idef-parser/parser-helpers.h @@ -295,6 +295,8 @@ void gen_cancel(Context *c, YYLTYPE *locp); =20 void gen_load_cancel(Context *c, YYLTYPE *locp); =20 +void gen_framecheck(Context *c, YYLTYPE *locp, HexValue *addr, HexValue *e= a); + void gen_load(Context *c, YYLTYPE *locp, HexValue *size, HexSignedness signedness, HexValue *ea, HexValue *dst); =20 diff --git a/target/hexagon/macros.h b/target/hexagon/macros.h index 26d3f7d8a4b..d3f2105c932 100644 --- a/target/hexagon/macros.h +++ b/target/hexagon/macros.h @@ -538,9 +538,6 @@ static inline TCGv gen_read_ireg(TCGv result, TCGv val,= int shift) =20 #ifdef CONFIG_USER_ONLY #define fFRAMECHECK(ADDR, EA) do { } while (0) /* Not modelled in linux-us= er */ -#else -/* System mode not implemented yet */ -#define fFRAMECHECK(ADDR, EA) g_assert_not_reached(); #endif =20 #ifdef QEMU_GENERATE diff --git a/target/hexagon/sys_macros.h b/target/hexagon/sys_macros.h index 364fcde7383..cbc857fa2f5 100644 --- a/target/hexagon/sys_macros.h +++ b/target/hexagon/sys_macros.h @@ -95,6 +95,10 @@ #define fTRAP(TRAPTYPE, IMM) \ register_trap_exception(env, TRAPTYPE, IMM, PC) =20 +#ifdef QEMU_GENERATE +#define fFRAMECHECK(ADDR, EA) gen_framecheck(ctx, ADDR, EA) +#endif + #define fVIRTINSN_SPSWAP(IMM, REG) #define fVIRTINSN_GETIE(IMM, REG) { REG =3D 0xdeafbeef; } #define fVIRTINSN_SETIE(IMM, REG) diff --git a/target/hexagon/translate.h b/target/hexagon/translate.h index eaf48a865c2..4e090565aac 100644 --- a/target/hexagon/translate.h +++ b/target/hexagon/translate.h @@ -340,4 +340,6 @@ FIELD(PROBE_PKT_SCALAR_HVX_STORES, S0_IS_PRED, 3, 1) FIELD(PROBE_PKT_SCALAR_HVX_STORES, S1_IS_PRED, 4, 1) FIELD(PROBE_PKT_SCALAR_HVX_STORES, MMU_IDX, 5, 2) =20 +void gen_framecheck(DisasContext *ctx, TCGv_i32 addr, TCGv_i32 ea); + #endif diff --git a/target/hexagon/genptr.c b/target/hexagon/genptr.c index 63cbb7edbbc..129c13b637d 100644 --- a/target/hexagon/genptr.c +++ b/target/hexagon/genptr.c @@ -889,26 +889,30 @@ static void gen_load_frame(DisasContext *ctx, TCGv_i6= 4 frame, TCGv EA) tcg_gen_qemu_ld_i64(frame, EA, ctx->mem_idx, MO_LE | MO_UQ); } =20 -#ifndef CONFIG_HEXAGON_IDEF_PARSER /* Stack overflow check */ -static void gen_framecheck(TCGv EA, int framesize) +void gen_framecheck(DisasContext *ctx, TCGv_i32 addr, TCGv_i32 ea) { - /* Not modelled in linux-user mode */ - /* Placeholder for system mode */ #ifndef CONFIG_USER_ONLY - g_assert_not_reached(); + TCGLabel *ok =3D gen_new_label(); + tcg_gen_brcond_i32(TCG_COND_GEU, addr, hex_gpr[HEX_REG_FRAMELIMIT], ok= ); + gen_helper_raise_stack_overflow(tcg_env, + tcg_constant_i32(ctx->insn->slot), ea); + gen_set_label(ok); #endif } =20 +#ifndef CONFIG_HEXAGON_IDEF_PARSER static void gen_allocframe(DisasContext *ctx, TCGv r29, int framesize) { TCGv r30 =3D get_result_gpr(ctx, HEX_REG_FP); + TCGv_i32 new_r29 =3D tcg_temp_new_i32(); TCGv_i64 frame; tcg_gen_addi_tl(r30, r29, -8); frame =3D gen_frame_scramble(); gen_store8(tcg_env, r30, frame, ctx->insn->slot); - gen_framecheck(r30, framesize); - tcg_gen_subi_tl(r29, r30, framesize); + tcg_gen_subi_tl(new_r29, r30, framesize); + gen_framecheck(ctx, new_r29, hex_gpr[HEX_REG_PC]); + tcg_gen_mov_tl(r29, new_r29); } =20 static void gen_deallocframe(DisasContext *ctx, TCGv_i64 r31_30, TCGv r30) diff --git a/target/hexagon/idef-parser/parser-helpers.c b/target/hexagon/i= def-parser/parser-helpers.c index 70bfa64432d..b942d9ea16b 100644 --- a/target/hexagon/idef-parser/parser-helpers.c +++ b/target/hexagon/idef-parser/parser-helpers.c @@ -1731,6 +1731,15 @@ void gen_load_cancel(Context *c, YYLTYPE *locp) OUT(c, locp, "}\n"); } =20 +void gen_framecheck(Context *c, YYLTYPE *locp, HexValue *addr, HexValue *e= a) +{ + HexValue addr_m =3D rvalue_materialize(c, locp, addr); + HexValue ea_m =3D rvalue_materialize(c, locp, ea); + addr_m =3D gen_rvalue_truncate(c, locp, &addr_m); + ea_m =3D gen_rvalue_truncate(c, locp, &ea_m); + OUT(c, locp, "gen_framecheck(ctx, ", &addr_m, ", ", &ea_m, ");\n"); +} + void gen_load(Context *c, YYLTYPE *locp, HexValue *width, HexSignedness signedness, HexValue *ea, HexValue *dst) { diff --git a/target/hexagon/op_helper.c b/target/hexagon/op_helper.c index d40061de06e..6bc8287e8fe 100644 --- a/target/hexagon/op_helper.c +++ b/target/hexagon/op_helper.c @@ -1392,6 +1392,42 @@ void HELPER(vwhist128qm)(CPUHexagonState *env, int32= _t uiV) } =20 #ifndef CONFIG_USER_ONLY +void HELPER(raise_stack_overflow)(CPUHexagonState *env, uint32_t slot, + uint32_t badva) +{ + /* + * Per section 7.3.1 of the V67 Programmer's Reference, + * stack limit exception isn't raised in monitor mode. + */ + uint32_t ssr =3D env->t_sreg[HEX_SREG_SSR]; + CPUState *cs; + + if (GET_SSR_FIELD(SSR_EX, ssr) || + !GET_SSR_FIELD(SSR_UM, ssr)) { + return; + } + + cs =3D env_cpu(env); + cs->exception_index =3D HEX_EVENT_PRECISE; + env->cause_code =3D HEX_CAUSE_STACK_LIMIT; + ASSERT_DIRECT_TO_GUEST_UNSET(env, cs->exception_index); + + if (slot =3D=3D 0) { + env->t_sreg[HEX_SREG_BADVA0] =3D badva; + SET_SSR_FIELD(env, SSR_V0, 1); + SET_SSR_FIELD(env, SSR_V1, 0); + SET_SSR_FIELD(env, SSR_BVS, 0); + } else if (slot =3D=3D 1) { + env->t_sreg[HEX_SREG_BADVA1] =3D badva; + SET_SSR_FIELD(env, SSR_V0, 0); + SET_SSR_FIELD(env, SSR_V1, 1); + SET_SSR_FIELD(env, SSR_BVS, 1); + } else { + g_assert_not_reached(); + } + cpu_loop_exit_restore(cs, 0); +} + void HELPER(ciad)(CPUHexagonState *env, uint32_t mask) { g_assert_not_reached(); diff --git a/target/hexagon/idef-parser/idef-parser.y b/target/hexagon/idef= -parser/idef-parser.y index c6f17c6afa7..22070d8c3fe 100644 --- a/target/hexagon/idef-parser/idef-parser.y +++ b/target/hexagon/idef-parser/idef-parser.y @@ -404,6 +404,9 @@ control_statement : frame_check ; =20 frame_check : FCHK '(' rvalue ',' rvalue ')' ';' + { + gen_framecheck(c, &@1, &$3, &$5); + } ; =20 cancel_statement : LOAD_CANCEL --=20 2.34.1