diff --git a/loopy/kernel/__init__.py b/loopy/kernel/__init__.py index 8f10fd8d30aba88a3bc4ac544553a93d04846170..7dd67bc42077088f31bd219cd179709fce959661 100644 --- a/loopy/kernel/__init__.py +++ b/loopy/kernel/__init__.py @@ -957,6 +957,8 @@ class LoopKernel(RecordWithoutPickling): options = [insn.id] if insn.priority: options.append("priority=%d" % insn.priority) + if insn.tags: + options.append("tags=%s" % ":".join(insn.tags)) if len(loop_list) > loop_list_width: lines.append("[%s]" % loop_list) @@ -966,7 +968,7 @@ class LoopKernel(RecordWithoutPickling): else: lines.append("[%s]%s%s <- %s # %s" % ( loop_list, " "*(loop_list_width-len(loop_list)), - lhs, rhs, ", ".join(options))) + lhs, rhs, ",".join(options))) lines.extend(trailing)