From ee99cef30d6d86ccca812923e36989037b997929 Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Tue, 9 Jul 2013 16:10:01 -0400
Subject: [PATCH] Add 'id_prefix' insn id option

---
 loopy/kernel/creation.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/loopy/kernel/creation.py b/loopy/kernel/creation.py
index 23533b399..6fe42dfff 100644
--- a/loopy/kernel/creation.py
+++ b/loopy/kernel/creation.py
@@ -141,7 +141,7 @@ def expand_defines_in_expr(expr, defines):
 INSN_RE = re.compile(
         "\s*(?:\<(?P<temp_var_type>.*?)\>)?"
         "\s*(?P<lhs>.+?)\s*(?<!\:)=\s*(?P<rhs>.+?)"
-        "\s*?(?:\{(?P<options>[\s\w=,:]+)\}\s*)?$"
+        "\s*?(?:\{(?P<options>[\s\w_=,:]+)\}\s*)?$"
         )
 SUBST_RE = re.compile(
         r"^\s*(?P<lhs>.+?)\s*:=\s*(?P<rhs>.+)\s*$"
@@ -186,6 +186,8 @@ def parse_insn(insn):
 
                 if opt_key == "id":
                     insn_id = opt_value
+                elif opt_key == "id_prefix":
+                    insn_id = MakeUnique(opt_value)
                 elif opt_key == "priority":
                     priority = int(opt_value)
                 elif opt_key == "dep":
-- 
GitLab