From c641272b3505ddf35af23c6a694ec60e481e3112 Mon Sep 17 00:00:00 2001
From: Avimitin <dev@avimit.in>
Date: Tue, 21 May 2024 19:25:08 +0800
Subject: [PATCH] [release] add FP case only when elaborate with zve32f config

Signed-off-by: Avimitin <dev@avimit.in>
---
 nix/t1/release/default.nix | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/nix/t1/release/default.nix b/nix/t1/release/default.nix
index 3b0ebe9cc..b1e20d8df 100644
--- a/nix/t1/release/default.nix
+++ b/nix/t1/release/default.nix
@@ -13,13 +13,20 @@
 , ip
 , cases
 , elaborateConfigJson
+, elaborateConfig
 }:
 
+let
+  extension = lib.head elaborateConfig.parameter.extensions;
+  isFp = lib.hasInfix "f" extension;
+in
+
 lib.makeScope newScope (scope: rec {
   inherit elaborateConfigJson configName;
 
   testCases = with cases; [
     intrinsic.matmul
+  ] ++ lib.optionals isFp [
     intrinsic.softmax
     intrinsic.linear_normalization
   ];