Hi,
Indeed, the split condition needs to be populated. However, I doubt that the
pattern in question is used by the compiler. Do you have an example where it is
exercised?
Thanks,
Claudiu
________________________________
From: Kewen Lin <li...@linux.ibm.com>
Sent: Wednesday, June 2, 2021 8:04 AM
To: gcc-patches@gcc.gnu.org <gcc-patches@gcc.gnu.org>
Cc: Kewen Lin <li...@linux.ibm.com>; g...@amylaar.uk <g...@amylaar.uk>; Claudiu
Zissulescu <claz...@synopsys.com>; andrew.burg...@embecosm.com
<andrew.burg...@embecosm.com>
Subject: [PATCH 02/11] arc: Update unexpected empty split condition
gcc/ChangeLog:
* config/arc/arc.md (*bbit_di): Fix empty split condition.
---
gcc/config/arc/arc.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gcc/config/arc/arc.md b/gcc/config/arc/arc.md
index 7a52551eef5..a03840c4c36 100644
--- a/gcc/config/arc/arc.md
+++ b/gcc/config/arc/arc.md
@@ -5020,7 +5020,7 @@ (define_insn_and_split "*bbit_di"
(clobber (reg:CC_ZN CC_REG))]
"!CROSSING_JUMP_P (insn)"
"#"
- ""
+ "&& 1"
[(parallel
[(set (pc) (if_then_else (match_dup 3) (label_ref (match_dup 0)) (pc)))
(clobber (reg:CC_ZN CC_REG))])]
--
2.17.1
