Attachment 87148 Details for Bug 70088 – patch

[patch] patch

0001-r600g-sb-fix-issue-with-DCE-between-GVN-and-GCM.patch (text/plain), 5.44 KB, created by Vadim Girlin on 2013-10-05 00:58:26 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Vadim Girlin

Created: 2013-10-05 00:58:26 UTC

Size: 5.44 KB

patch

obsolete

>From 7c0e96cafc1cf155f7c79ae7e767ae781f3459c6 Mon Sep 17 00:00:00 2001
>From: Vadim Girlin <vadimgirlin@gmail.com>
>Date: Sat, 5 Oct 2013 04:44:13 +0400
>Subject: [PATCH] r600g/sb: fix issue with DCE between GVN and GCM
>
>We can't perform DCE using the liveness pass between GVN and GCM
>because it relies on the correct schedule, but GVN doesn't care about
>preserving correctness - it's rescheduled later by GCM.
>
>This patch makes def_use and dce_cleanup passes perform some
>simplified DCE between GVN and GCM instead of relying on liveness pass.
>
>Signed-off-by: Vadim Girlin <vadimgirlin@gmail.com>
>---
> src/gallium/drivers/r600/sb/sb_core.cpp        | 10 ++++++++--
> src/gallium/drivers/r600/sb/sb_dce_cleanup.cpp | 20 +++++++++++++-------
> src/gallium/drivers/r600/sb/sb_def_use.cpp     |  5 +++--
> src/gallium/drivers/r600/sb/sb_pass.h          |  2 +-
> src/gallium/drivers/r600/sb/sb_shader.h        | 12 ++++++++++++
> src/gallium/drivers/r600/sb/sb_valtable.cpp    |  1 +
> 6 files changed, 38 insertions(+), 12 deletions(-)
>
>diff --git a/src/gallium/drivers/r600/sb/sb_core.cpp b/src/gallium/drivers/r600/sb/sb_core.cpp
>index b5dd88e..9fd9d9a 100644
>--- a/src/gallium/drivers/r600/sb/sb_core.cpp
>+++ b/src/gallium/drivers/r600/sb/sb_core.cpp
>@@ -184,6 +184,8 @@ int r600_sb_bytecode_process(struct r600_context *rctx,
> 		SB_RUN_PASS(psi_ops,		1);
> 
> 	SB_RUN_PASS(liveness,			0);
>+
>+	sh->dce_flags = DF_REMOVE_DEAD | DF_EXPAND;
> 	SB_RUN_PASS(dce_cleanup,		0);
> 	SB_RUN_PASS(def_use,			0);
> 
>@@ -201,9 +203,10 @@ int r600_sb_bytecode_process(struct r600_context *rctx,
> 
> 	SB_RUN_PASS(gvn,				1);
> 
>-	SB_RUN_PASS(liveness,			0);
>+	SB_RUN_PASS(def_use,			1);
>+
>+	sh->dce_flags = DF_REMOVE_DEAD | DF_REMOVE_UNUSED;
> 	SB_RUN_PASS(dce_cleanup,		1);
>-	SB_RUN_PASS(def_use,			0);
> 
> 	SB_RUN_PASS(ra_split,			0);
> 	SB_RUN_PASS(def_use,			0);
>@@ -217,6 +220,9 @@ int r600_sb_bytecode_process(struct r600_context *rctx,
> 	sh->compute_interferences = true;
> 	SB_RUN_PASS(liveness,			0);
> 
>+	sh->dce_flags = DF_REMOVE_DEAD;
>+	SB_RUN_PASS(dce_cleanup,		1);
>+
> 	SB_RUN_PASS(ra_coalesce,		1);
> 	SB_RUN_PASS(ra_init,			1);
> 
>diff --git a/src/gallium/drivers/r600/sb/sb_dce_cleanup.cpp b/src/gallium/drivers/r600/sb/sb_dce_cleanup.cpp
>index f879395..9933323 100644
>--- a/src/gallium/drivers/r600/sb/sb_dce_cleanup.cpp
>+++ b/src/gallium/drivers/r600/sb/sb_dce_cleanup.cpp
>@@ -56,7 +56,8 @@ bool dce_cleanup::visit(cf_node& n, bool enter) {
> 		else
> 			cleanup_dst(n);
> 	} else {
>-		if (n.bc.op_ptr->flags & (CF_CLAUSE | CF_BRANCH | CF_LOOP))
>+		if ((sh.dce_flags & DF_EXPAND) &&
>+				(n.bc.op_ptr->flags & (CF_CLAUSE | CF_BRANCH | CF_LOOP)))
> 			n.expand();
> 	}
> 	return true;
>@@ -107,19 +108,20 @@ bool dce_cleanup::visit(region_node& n, bool enter) {
> }
> 
> void dce_cleanup::cleanup_dst(node& n) {
>-	cleanup_dst_vec(n.dst);
>+	if (!cleanup_dst_vec(n.dst))
>+		if (!n.dst.empty() && !(n.flags & NF_DONT_KILL) && n.parent)
>+			n.remove();
> }
> 
> bool dce_cleanup::visit(container_node& n, bool enter) {
>-	if (enter) {
>+	if (enter)
> 		cleanup_dst(n);
>-	} else {
>-
>-	}
> 	return true;
> }
> 
>-void dce_cleanup::cleanup_dst_vec(vvec& vv) {
>+bool dce_cleanup::cleanup_dst_vec(vvec& vv) {
>+	bool alive = !(sh.dce_flags & DF_REMOVE_UNUSED);
>+
> 	for (vvec::iterator I = vv.begin(), E = vv.end(); I != E; ++I) {
> 		value* &v = *I;
> 		if (!v)
>@@ -130,7 +132,11 @@ void dce_cleanup::cleanup_dst_vec(vvec& vv) {
> 
> 		if (v->is_dead())
> 			v = NULL;
>+		else
>+			alive = true;
> 	}
>+
>+	return alive;
> }
> 
> } // namespace r600_sb
>diff --git a/src/gallium/drivers/r600/sb/sb_def_use.cpp b/src/gallium/drivers/r600/sb/sb_def_use.cpp
>index a512d92..e0c3ae0 100644
>--- a/src/gallium/drivers/r600/sb/sb_def_use.cpp
>+++ b/src/gallium/drivers/r600/sb/sb_def_use.cpp
>@@ -99,9 +99,10 @@ void def_use::process_defs(node *n, vvec &vv, bool arr_def) {
> 
> 		v->delete_uses();
> 
>-		if (v->is_rel()) {
>+		if (v->is_rel())
> 			process_defs(n, v->mdef, true);
>-		}
>+		else
>+			v->flags |= VLF_DEAD;
> 	}
> }
> 
>diff --git a/src/gallium/drivers/r600/sb/sb_pass.h b/src/gallium/drivers/r600/sb/sb_pass.h
>index 95d2a20..f948e88 100644
>--- a/src/gallium/drivers/r600/sb/sb_pass.h
>+++ b/src/gallium/drivers/r600/sb/sb_pass.h
>@@ -135,7 +135,7 @@ public:
> private:
> 
> 	void cleanup_dst(node &n);
>-	void cleanup_dst_vec(vvec &vv);
>+	bool cleanup_dst_vec(vvec &vv);
> 
> };
> 
>diff --git a/src/gallium/drivers/r600/sb/sb_shader.h b/src/gallium/drivers/r600/sb/sb_shader.h
>index e515d31..7955bba 100644
>--- a/src/gallium/drivers/r600/sb/sb_shader.h
>+++ b/src/gallium/drivers/r600/sb/sb_shader.h
>@@ -71,6 +71,16 @@ enum chunk_flags {
> 	RCF_PREALLOC = (1 << 4)
> };
> 
>+enum dce_flags {
>+	DF_REMOVE_DEAD  = (1 << 0),
>+	DF_REMOVE_UNUSED = (1 << 1),
>+	DF_EXPAND = (1 << 2),
>+};
>+
>+inline dce_flags operator |(dce_flags l, dce_flags r) {
>+	return (dce_flags)((unsigned)l|(unsigned)r);
>+}
>+
> inline chunk_flags operator |(chunk_flags l, chunk_flags r) {
> 	return (chunk_flags)((unsigned)l|(unsigned)r);
> }
>@@ -297,6 +307,8 @@ public:
> 
> 	unsigned ngpr, nstack;
> 
>+	unsigned dce_flags;
>+
> 	shader(sb_context &sctx, shader_target t, unsigned id);
> 
> 	~shader();
>diff --git a/src/gallium/drivers/r600/sb/sb_valtable.cpp b/src/gallium/drivers/r600/sb/sb_valtable.cpp
>index 00aee66..bfa4094 100644
>--- a/src/gallium/drivers/r600/sb/sb_valtable.cpp
>+++ b/src/gallium/drivers/r600/sb/sb_valtable.cpp
>@@ -220,6 +220,7 @@ void value::add_use(node* n, use_kind kind, int arg) {
> 	sblog << "     kind " << kind << "    arg " << arg << "\n";
> 	}
> 	uses = new use_info(n, kind, arg, uses);
>+	flags &= ~VLF_DEAD;
> }
> 
> unsigned value::use_count() {
>-- 
>1.8.3.1
>

Actions: View | Splinter Review

Attachments on bug 70088: 87079 | 87094 | 87095 | 87098 | 87148 | 87597

Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct. How we collect and use information is described in our Privacy Policy.