Ejemplo n.º 1
0
        public static void DoGenerate()
        {
            var edsl_base = @"..\..\..\..\Libptx.Edsl\Libptx.Edsl\";
            var dir_sregs = edsl_base + @"Expressions\Sregs\";
            Func<String, String> dir2ns = dir => dir.Replace(@"..\..\..\..\Libptx.Edsl\", String.Empty).Replace(@"\", ".").Slice(0, -1);

            foreach (var t in Sregs.All)
            {
                var buf = new StringBuilder();
                var w = new StringWriter(buf).Indented();
                w.WriteLine("using Libptx.Edsl.Common.Types.Scalar;");
                w.WriteLine("using Libptx.Edsl.Common.Types.Vector;");
                w.WriteLineNoTabs(String.Empty);
                w.WriteLine("namespace {0}", dir2ns(dir_sregs));
                w.WriteLine("{");
                w.Indent++;
                w.WriteLine("public class {0} : {1}, sreg", t.Name, t.FullName);
                w.WriteLine("{");
                w.Indent++;

                var xid = t.Name == "tid" || t.Name == "ntid" || t.Name == "ctaid" || t.Name == "nctaid";
                if (xid)
                {
                    var post_20 = Context.Current.Version >= SoftwareIsa.PTX_20;
                    if (post_20)
                    {
                        w.EmitTypeSpec(t.Name, new Type { Name = TypeName.U16, Mod = TypeMod.V4 }, Space.Other);
                        w.EmitTypeSpec(t.Name, new Type { Name = TypeName.U32, Mod = TypeMod.V4 }, Space.Other);
                    }
                    else
                    {
                        w.EmitTypeSpec(t.Name, new Type { Name = TypeName.U16, Mod = TypeMod.V4 }, Space.Other);
                    }
                }
                else
                {
                    var type = t.Attr<SregAttribute>().Type;
                    w.EmitTypeSpec(t.Name, type, Space.Other);
                }

                // todo. also emit same stuff as gets emitted for non-reg vars of appropriate type
                // e.g. .x, .y, .z accessors for grid-related special registers

                w.Indent--;
                w.WriteLine("}");
                w.Indent--;
                w.WriteLine("}");

                var fname = dir_sregs + t.Name + ".cs";
                File.WriteAllText(fname, buf.ToString());
            }
        }
Ejemplo n.º 2
0
        public static void DoGenerate()
        {
            foreach (var op in Ptxops.All)
            {
                var dir = @"..\..\..\..\" + op.Namespace.Replace(".", @"\") + @"\";
                var file = dir + op.Name + ".cs";
                var text = File.ReadAllText(file);
                Action<String> use = ns =>
                {
                    if (!text.Contains("using " + ns + ";"))
                    {
                        var liof = text.LastIndexOf("using") + 1;
                        var next = text.IndexOf(Environment.NewLine, liof);
                        var ins = next == -1 ? 0 : (next + Environment.NewLine.Length);
                        text = text.Insert(ins, "using " + ns + ";" + Environment.NewLine);
                    }
                };

                var buf = new StringBuilder();
                var w = new StringWriter(buf).Indented();
                w.Indent += 2;
                w.WriteLineNoTabs(String.Empty);

                w.WriteLineNoTabs(String.Empty);
                var names = op.Signatures().SelectMany(s =>
                {
                    var bal = 0;
                    var eof = s.TakeWhile(c =>
                    {
                        if (c == '{') bal++;
                        if (c == '}') bal--;
                        if (bal == 0 && c == ' ') return false;
                        return true;
                    }).Count();

                    var arg_list = s.Slice(eof + 1).Trim();
                    arg_list = arg_list.Extract("^(?<name>.*?);?$");
                    var parsed_args = arg_list.Split(",".MkArray(), StringSplitOptions.RemoveEmptyEntries).Select(arg =>
                    {
                        arg = arg.Trim().Replace("[", "").Replace("]", "").Replace("{", "").Replace("}", "");
                        var parsed = arg.Trim().Parse(@"^(?<prefix>[!-])?(?<name>[\w\d]+)(\|(?<othername>[\w\d]+))?(\.(?<suffix>[\w\d]+))?$");
                        return parsed["name"];
                    }).ToReadOnly();

                    return parsed_args;
                }).Distinct().ToReadOnly();
                if (names.IsEmpty()) continue;

                names.ForEach(name =>
                {
                    use("Libptx.Expressions");
                    var decl = String.Format("public Expression {0} {{ get; set; }}", name);
                    if (text.Contains(decl))
                    {
                        var iof_decl = text.IndexOf(decl);
                        iof_decl -= "        ".Length;
                        iof_decl -= Environment.NewLine.Length * 2;
                        var iof_brace = text.IndexOf("}", iof_decl);
                        text = text.Remove(iof_decl, iof_brace - iof_decl + 1);
                    }

                    w.WriteLine(decl);
                });

                w.WriteLineNoTabs(String.Empty);
                use("Libcuda.Versions");
                w.WriteLine("protected override void custom_validate_ops(SoftwareIsa target_swisa, HardwareIsa target_hwisa)");
                w.WriteLine("{");
                w.Indent++;
                names.ForEach(name =>
                {
                    var props = op.GetProperties(BF.PublicInstance).Where(p => p.PropertyType == typeof(Type)).Select(p => p.Name).ToHashSet();

                    var prop = "N/A" as String;
                    if (props.Contains(name + "type")) prop = name + "type";
                    if (props.Contains("type")) prop = "type";

                    use("XenoGears.Assertions");
                    w.WriteLine("agree({0}, {1}).AssertTrue();", name, prop);
                });
                w.Indent--;
                w.Write("}");

                var iof = text.IndicesOf(c => c == '}').ThirdLastOrDefault(-1);
                if (iof == -1) continue;
                text = text.Insert(iof + 1, buf.ToString());
                File.WriteAllText(file, text);
            }
        }
Ejemplo n.º 3
0
        public static void DoGenerate()
        {
            var edsl_base = @"..\..\..\..\Libptx.Edsl\Libptx.Edsl\";
            var dir_types = edsl_base + @"Common\Types\";
            Func<String, String> dir2ns = dir =>
            {
                var rel = dir.Replace(@"..\..\..\..\Libptx.Edsl\", String.Empty);
                rel = (rel + @"\").Unfold(s => s.Slice(0, -1), s => s.EndsWith(@"\")).Last();
                return rel.Replace(@"\", ".").Slice(0, -1);
            };

            Types.Opaque.ForEach(t =>
            {
                var dir_opaques = dir_types + @"Opaque\";

                var buf = new StringBuilder();
                var w = new StringWriter(buf).Indented();
                w.WriteLine("using {0};", typeof(Expression).Namespace);
                w.WriteLineNoTabs(String.Empty);
                w.WriteLine("namespace {0}", dir2ns(dir_opaques));
                w.WriteLine("{");
                w.Indent++;
                w.WriteLine("public partial class {0} : typed_expr", t);
                w.WriteLine("{");
                w.Indent++;
                w.WriteLine("public {0}(Expression expr)", t);
                w.Indent++;
                w.WriteLine(": base(expr)");
                w.Indent--;
                w.WriteLine("{");
                w.Indent++;
                w.Indent--;
                w.WriteLine("}");
                w.Indent--;
                w.WriteLine("}");
                w.Indent--;
                w.WriteLine("}");

                var fname = dir_opaques + t + ".cs";
                if (!Directory.Exists(dir_opaques)) Directory.CreateDirectory(dir_opaques);
                File.WriteAllText(fname, buf.ToString());
            });

            Types.Other.ForEach(t =>
            {
                var dir_opaques = dir_types + @"Other\";

                var buf = new StringBuilder();
                var w = new StringWriter(buf).Indented();
                w.WriteLine("using {0};", typeof(Expression).Namespace);
                w.WriteLineNoTabs(String.Empty);
                w.WriteLine("namespace {0}", dir2ns(dir_opaques));
                w.WriteLine("{");
                w.Indent++;
                w.WriteLine("public partial class {0} : typed_expr", t);
                w.WriteLine("{");
                w.Indent++;
                w.WriteLine("public {0}(Expression expr)", t);
                w.Indent++;
                w.WriteLine(": base(expr)");
                w.Indent--;
                w.WriteLine("{");
                w.Indent++;
                w.Indent--;
                w.WriteLine("}");
                w.Indent--;
                w.WriteLine("}");
                w.Indent--;
                w.WriteLine("}");

                var fname = dir_opaques + t + ".cs";
                if (!Directory.Exists(dir_opaques)) Directory.CreateDirectory(dir_opaques);
                File.WriteAllText(fname, buf.ToString());
            });

            var scalars = Combinatorics.CartesianProduct(Types.Scalar, new []{ null, "reg" }, new []{null, "relaxed"}).ToReadOnly();
            scalars.Zip((t, mod1, mod2) =>
            {
                if (mod1 == null && mod2 == "relaxed") return;
                var mod = mod1 == null && mod2 == null ? null :
                    mod1 == "reg" && mod2 == null ? "reg" :
                    mod1 == "reg" && mod2 == "relaxed" ? "relaxed_reg" :
                    ((Func<String>)(() => { throw AssertionHelper.Fail(); }))();
                var name = t.Name.Signature();
                if (mod != null) name = mod + "_" + name;
                var dir = dir_types + @"Scalar\";

                var buf = new StringBuilder();
                var w = new StringWriter(buf).Indented();
                w.WriteLine("using {0};", typeof(Expression).Namespace);
                w.WriteLineNoTabs(String.Empty);
                w.WriteLine("namespace {0}", dir2ns(dir));
                w.WriteLine("{");
                w.Indent++;
                w.WriteLine("public partial class {0} : typed_expr", name);
                w.WriteLine("{");
                w.Indent++;
                w.WriteLine("public {0}(Expression expr)", name);
                w.Indent++;
                w.WriteLine(": base(expr)");
                w.Indent--;
                w.WriteLine("{");
                w.Indent++;
                w.Indent--;
                w.WriteLine("}");
                w.Indent--;
                w.WriteLine("}");
                w.Indent--;
                w.WriteLine("}");

                var fname = dir + name + ".cs";
                if (!Directory.Exists(dir)) Directory.CreateDirectory(dir);
                File.WriteAllText(fname, buf.ToString());
            });

            var vectors = Combinatorics.CartesianProduct(Types.Vector, new []{ null, "reg" }, new []{null, "relaxed"}).ToReadOnly();
            vectors.Zip((t, mod1, mod2) =>
            {
                if (mod1 == null && mod2 == "relaxed") return;
                var mod = mod1 == null && mod2 == null ? null :
                    mod1 == "reg" && mod2 == null ? "reg" :
                    mod1 == "reg" && mod2 == "relaxed" ? "relaxed_reg" :
                    ((Func<String>)(() => { throw AssertionHelper.Fail(); }))();
                var name = String.Format("v{0}_{1}", t.vec_rank(), t.vec_el().Name.Signature());
                if (mod != null) name = mod + "_" + name;
                var dir = dir_types + @"Vector\";

                var buf = new StringBuilder();
                var w = new StringWriter(buf).Indented();
                w.WriteLine("using {0};", typeof(Expression).Namespace);
                w.WriteLineNoTabs(String.Empty);
                w.WriteLine("namespace {0}", dir2ns(dir));
                w.WriteLine("{");
                w.Indent++;
                w.WriteLine("public partial class {0} : typed_expr", name);
                w.WriteLine("{");
                w.Indent++;
                w.WriteLine("public {0}(Expression expr)", name);
                w.Indent++;
                w.WriteLine(": base(expr)");
                w.Indent--;
                w.WriteLine("{");
                w.Indent++;
                w.Indent--;
                w.WriteLine("}");
                w.Indent--;
                w.WriteLine("}");
                w.Indent--;
                w.WriteLine("}");

                var fname = dir + name + ".cs";
                if (!Directory.Exists(dir)) Directory.CreateDirectory(dir);
                File.WriteAllText(fname, buf.ToString());
            });
        }
Ejemplo n.º 4
0
        public static void DoGenerate()
        {
            var edsl_base = @"..\..\..\..\Libptx.Edsl\Libptx.Edsl\";
            var dir_vector = edsl_base + @"Expressions\Immediate\";
            var dir_vectors = edsl_base + @"Expressions\Immediate\Vectors\";
            Func<String, String> dir2ns = dir =>
            {
                var rel = dir.Replace(@"..\..\..\..\Libptx.Edsl\", String.Empty);
                rel = (rel + @"\").Unfold(s => s.Slice(0, -1), s => s.EndsWith(@"\")).Last();
                return rel.Replace(@"\", ".").Slice(0, -1);
            };

            var shortcuts = new Dictionary<int, List<String>>();
            new []{1, 2, 4}.ForEach(i => shortcuts.Add(i, new List<String>()));

            Types.Vector.ForEach(t =>
            {
                t.is_vec().AssertTrue();
                var name = String.Format("v{0}_{1}", t.vec_rank(), t.vec_el().Name.Signature());

                var buf_vec = new StringBuilder();
                var w_vec = new StringWriter(buf_vec).Indented();
                w_vec.WriteLine("using {0};", typeof(AssertionHelper).Namespace);
                w_vec.WriteLine("using {0};", typeof(Libptx.Edsl.Expressions.Slots.var).Namespace);
                w_vec.WriteLine("using Libptx.Edsl.Common.Types.Scalar;");
                w_vec.WriteLineNoTabs(String.Empty);
                w_vec.WriteLine("namespace {0}", dir2ns(dir_vectors));
                w_vec.WriteLine("{");
                w_vec.Indent++;
                w_vec.WriteLine("public class {0} : vector", name);
                w_vec.WriteLine("{");
                w_vec.Indent++;

                Func<int, String> arg_name = i => i == 1 ? "x" : i == 2 ? "y" : i == 3 ? "z" : i == 4 ? "w" : 
                    ((Func<String>)(() => { throw AssertionHelper.Fail(); }))();
                var args = 1.UpTo(t.vec_rank()).Select(i => String.Format("reg_{0} {1}", t.vec_el().Name.Signature(), arg_name(i))).StringJoin(", ");
                w_vec.WriteLine("public {0}({1})", name, args);

                var arg_names = 1.UpTo(t.vec_rank()).Select(arg_name).StringJoin(", ");
                shortcuts[t.vec_rank()].Add(String.Format("public static {0} v{1}({2}) {{ return new {0}({3}); }}", name, t.vec_rank(), args, arg_names));

                w_vec.WriteLine("{");
                w_vec.Indent++;
                w_vec.WriteLine("ElementType = {0};", t.vec_el().Name.Signature());
                1.UpTo(t.vec_rank()).ForEach(i => w_vec.WriteLine("Elements.Add({0}.AssertCast<var>());", arg_name(i)));
                w_vec.Indent--;
                w_vec.WriteLine("}");

                w_vec.WriteLineNoTabs(String.Empty);
                w_vec.EmitTypeSpec(name, t, Space.Reg, true);
                w_vec.Indent--;

                w_vec.WriteLine("}");
                w_vec.Indent--;
                w_vec.WriteLine("}");

                var fname_reg = dir_vectors + name + ".cs";
                if (!Directory.Exists(dir_vectors)) Directory.CreateDirectory(dir_vectors);
                File.WriteAllText(fname_reg, buf_vec.ToString());
            });

            var buf = new StringBuilder();
            var w = new StringWriter(buf).Indented();
            w.WriteLine("using {0};", typeof(Vector).Namespace);
            w.WriteLine("using Libptx.Edsl.Common.Types.Scalar;");
            w.WriteLine("using {0};", dir2ns(dir_vectors));
            w.WriteLineNoTabs(String.Empty);
            w.WriteLine("namespace {0}", dir2ns(dir_vector));
            w.WriteLine("{");
            w.Indent++;
            w.WriteLine("public class vector : Vector");
            w.WriteLine("{");
            w.Indent++;

            var write_shortcuts = shortcuts.Keys.Select<int, Action>(i => () => shortcuts[i].ForEach(w.WriteLine));
            var write_empty_lines = Seq.Nats.Select<int, Action>(_ => () => w.WriteLineNoTabs(String.Empty));
            write_shortcuts.Intersperse(write_empty_lines).SkipLast(1).RunEach();

            w.Indent--;
            w.WriteLine("}");
            w.Indent--;
            w.WriteLine("}");

            var fname = dir_vector + "vector.cs";
            if (!Directory.Exists(dir_vector)) Directory.CreateDirectory(dir_vector);
            File.WriteAllText(fname, buf.ToString());
        }