Changeset 522

Timestamp:

04/19/07 18:21:35 (1 year ago)

Author:

Gregor

Message:

Thu Apr 19 15:18:40 PDT 2007 Richards@codu.org

• Adde pre/post digen commands.
  

Thu Apr 19 14:17:05 PDT 2007 Richards@codu.org

• rebuild/mars.c: Added flags= variable to configuration files.
  

Thu Apr 19 14:07:36 PDT 2007 Richards@codu.org

• MERGE: DMD 1.013
  

Thu Apr 19 14:07:10 PDT 2007 Richards@codu.org

• Local branch.
  

Files:

• trunk/docs/README.software_engineers (modified) (1 diff)
• trunk/rebuild/README (modified) (1 diff)
• trunk/rebuild/cast.c (modified) (2 diffs)
• trunk/rebuild/constfold.c (modified) (2 diffs)
• trunk/rebuild/declaration.c (modified) (1 diff)
• trunk/rebuild/expression.c (modified) (5 diffs)
• trunk/rebuild/expression.h (modified) (1 diff)
• trunk/rebuild/interpret.c (modified) (8 diffs)
• trunk/rebuild/link.c (modified) (5 diffs)
• trunk/rebuild/mars.c (modified) (6 diffs)
• trunk/rebuild/mtype.c (modified) (4 diffs)
• trunk/rebuild/opover.c (modified) (2 diffs)
• trunk/rebuild/optimize.c (modified) (3 diffs)
• trunk/rebuild/parse.c (modified) (7 diffs)
• trunk/rebuild/port.h (modified) (1 diff)
• trunk/rebuild/statement.c (modified) (1 diff)
• trunk/sss/build.d (modified) (2 diffs)

trunk/docs/README.software_engineers

@@ -94 +94 @@
-    section.
-
-
-
-
-
+
+
+
+
+
+
-    * .d files. If a .d file is specified as a command, it will be compiled and
-      run.

trunk/rebuild/README

@@ -80 +80 @@
-path=<path>             Adds <path> to $PATH (or %PATH%) during each rebuild
-                        run.
+flags=<flags>           Acts as though <flags> were passed with every rebuild
+                        run.

trunk/rebuild/cast.c

@@ -404 +404 @@
-}
-
+int AssocArrayLiteralExp::implicitConvTo(Type *t)
+{   MATCH result = MATCHexact;
+
+    Type *typeb = type->toBasetype();
+    Type *tb = t->toBasetype();
+    if (tb->ty == Taarray && typeb->ty == Taarray)
+    {
+    for (size_t i = 0; i < keys->dim; i++)
+    {   Expression *e = (Expression *)keys->data[i];
+        MATCH m = (MATCH)e->implicitConvTo(((TypeAArray *)tb)->key);
+        if (m < result)
+        result = m;         // remember worst match
+        if (result == MATCHnomatch)
+        break;              // no need to check for worse
+        e = (Expression *)values->data[i];
+        m = (MATCH)e->implicitConvTo(tb->next);
+        if (m < result)
+        result = m;         // remember worst match
+        if (result == MATCHnomatch)
+        break;              // no need to check for worse
+    }
+    return result;
+    }
+    else
+    return Expression::implicitConvTo(t);
+}
+
-int AddrExp::implicitConvTo(Type *t)
-{
@@ -919 +946 @@
-    {
-    type = typeb->next->pointerTo();
+    }
+L1:
+    return Expression::castTo(sc, t);
+}
+
+Expression *AssocArrayLiteralExp::castTo(Scope *sc, Type *t)
+{
+    Type *typeb = type->toBasetype();
+    Type *tb = t->toBasetype();
+    if (tb->ty == Taarray && typeb->ty == Taarray &&
+    tb->next->toBasetype()->ty != Tvoid)
+    {
+    assert(keys->dim == values->dim);
+    for (size_t i = 0; i < keys->dim; i++)
+    {   Expression *e = (Expression *)values->data[i];
+        e = e->castTo(sc, tb->next);
+        values->data[i] = (void *)e;
+
+        e = (Expression *)keys->data[i];
+        e = e->castTo(sc, ((TypeAArray *)tb)->key);
+        keys->data[i] = (void *)e;
+    }
+    type = t;
+    return this;
-    }
-L1:

trunk/rebuild/constfold.c

@@ -1019 +1019 @@
-    e = new IntegerExp(loc, dim, type);
-    }
+    else if (e1->op == TOKassocarrayliteral)
+    {   AssocArrayLiteralExp *ale = (AssocArrayLiteralExp *)e1;
+    size_t dim = ale->keys->dim;
+
+    e = new IntegerExp(loc, dim, type);
+    }
-    else
-    e = EXP_CANT_INTERPRET;
@@ -1088 +1094 @@
-        {   e = (Expression *)ale->elements->data[i];
-        e->type = type;
+        }
+    }
+    }
+    else if (e1->op == TOKassocarrayliteral && !e1->checkSideEffect(2))
+    {
+    AssocArrayLiteralExp *ae = (AssocArrayLiteralExp *)e1;
+    /* Search the keys backwards, in case there are duplicate keys
+     */
+    for (size_t i = ae->keys->dim; i;)
+    {
+        i--;
+        Expression *ekey = (Expression *)ae->keys->data[i];
+        Expression *ex = Equal(TOKequal, Type::tbool, ekey, e2);
+        if (ex == EXP_CANT_INTERPRET)
+        return ex;
+        if (ex->isBool(TRUE))
+        {   e = (Expression *)ae->values->data[i];
+        e->type = type;
+        break;
-        }
-    }

trunk/rebuild/declaration.c

@@ -597 +597 @@
-{
-    //printf("VarDeclaration::semantic('%s', parent = '%s')\n", toChars(), sc->parent->toChars());
+    //printf("type = %s\n", type->toChars());
+    //printf("linkage = %d\n", sc->linkage);
-    //if (strcmp(toChars(), "mul") == 0) halt();
-

trunk/rebuild/expression.c

@@ -43 +43 @@
-#endif
-
-
+//
-#include "mtype.h"
-#include "init.h"
@@ -3416 +3416 @@
-        exps->push(e);
-    }
+    else if (o->dyncast() == DYNCAST_TYPE)
+    {
+        Type *t = (Type *)o;
+        Expression *e = new TypeExp(loc, t);
+        exps->push(e);
+    }
-    else
-    {
@@ -4175 +4181 @@
-Expression *CompileExp::semantic(Scope *sc)
-{
-1 || 
+
-    printf("CompileExp::semantic('%s')\n", toChars());
-#endif
@@ -4181 +4187 @@
-    e1 = resolveProperties(sc, e1);
-    e1 = e1->optimize(WANTvalue | WANTinterpret);
-e1->print();
-    if (e1->op != TOKstring)
-    {   //error("argument to mixin must be a string, not (%s)", e1->toChars());
@@ -5924 +5929 @@
-    }
-    }
-
+
+
-}
-

trunk/rebuild/expression.h

@@ -368 +368 @@
-    Expression *optimize(int result);
-    Expression *interpret(InterState *istate);
+    int implicitConvTo(Type *t);
+    Expression *castTo(Scope *sc, Type *t);
-
-    int inlineCost(InlineCostState *ics);

trunk/rebuild/interpret.c

@@ -992 +992 @@
-
-Expression *AssocArrayLiteralExp::interpret(InterState *istate)
-NULL
-NULL
+keys
+values
-
-#if LOG
@@ -1005 +1005 @@
-    ex = ekey->interpret(istate);
-    if (ex == EXP_CANT_INTERPRET)
-
-
-
-
+
-
-    /* If any changes, do Copy On Write
@@ -1014 +1011 @@
-    if (ex != ekey)
-    {
-
-
-
-
-
-
-
-
+
+
-        keysx->data[i] = (void *)ex;
-    }
@@ -1027 +1018 @@
-    ex = evalue->interpret(istate);
-    if (ex == EXP_CANT_INTERPRET)
-
-
-
-
+
-
-    /* If any changes, do Copy On Write
@@ -1036 +1024 @@
-    if (ex != evalue)
-    {
-
-
-
-
-
-
-
-
+
+
-        valuesx->data[i] = (void *)ex;
-    }
-    }
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-    ae->type = type;
-    return ae;
-    }
-    return this;
+
+Lerr:
+    if (keysx != keys)
+    delete keysx;
+    if (valuesx != values)
+    delete values;
+    return EXP_CANT_INTERPRET;
-}
-
@@ -1201 +1212 @@
-    }
-    }
-
+
+
+
-    {
-    VarExp *ve = (VarExp *)e1;
@@ -1460 +1473 @@
-    if (e1 == EXP_CANT_INTERPRET)
-    goto Lcant;
-
+ || e1->op == TOKassocarrayliteral
-    {
-    e = ArrayLength(type, e1);
@@ -1484 +1497 @@
-    goto Lcant;
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
-
-    e2 = this->e2->interpret(istate);

trunk/rebuild/link.c

@@ -1 +1 @@
-
-
-6
+7
-// All Rights Reserved
-// written by Walter Bright
@@ -131 +131 @@
-    return cline;
-}
-
+
-int runLINK()
-{
@@ -159 +159 @@
-    else
-    {   /* Generate exe file name from first sourcefile name, or object file
-     
+
-        char *n;
-        if (global.cmodules &&
@@ -171 +171 @@
-            n = (char *)global.params.objfiles->data[0];
-        
-   
-   
-
-   
-   
-   
-   
-   
+        
+        
+
+        
+        
+        
+        
+        
-            out = string(n).substr(0, e - n);
-   
-   
+        
+        
-        {
-            out = "a.out";
@@ -259 +259 @@
-    return 0;
-}
-
+
-void runClean()
-{

trunk/rebuild/mars.c

@@ -50 +50 @@
-
-void getenv_setargv(const char *envvar, int *pargc, char** *pargv);
+void string_setargv(const char *, int *, char***);
-
-Global global;
@@ -65 +66 @@
-    copyright = "Copyright (c) 1999-2007 by Digital Mars and Gregor Richards";
-    written = "written by Walter Bright and Gregor Richards";
-2
+3
-    global.structalign = 8;
-    cmodules = NULL;
@@ -428 +429 @@
-    }
-    
-
+
+
+
+
+
+
+
+
+
+
+
-
-#if 0
@@ -1596 +1607 @@
-
-
+void string_setargv(const char *, int *, char***);
-
-/***********************************
@@ -1606 +1618 @@
-{
-    char *env;
+    env = getenv(envvar);
+    if (!env)
+        return;
+    string_setargv(env, pargc, pargv);
+}
+
+
+/***********************************
+ * Parse and append contents of a string
+ * to argc and argv[].
+ * The string is separated into arguments, processing \ and ".
+ */
+
+void string_setargv(const char *string, int *pargc, char** *pargv)
+{
+    char *env;
-    char *p;
-    Array *argv;
@@ -1616 +1644 @@
-    int j;
-
-
-
-
-
-
+
-
-    argc = *pargc;

trunk/rebuild/mtype.c

@@ -1676 +1676 @@
-}
-
+Expression *semanticLength(Scope *sc, TupleDeclaration *s, Expression *exp)
+{
+    ScopeDsymbol *sym = new ArrayScopeSymbol(s);
+    sym->parent = sc->scopesym;
+    sc = sc->push(sym);
+
+    exp = exp->semantic(sc);
+
+    sc->pop();
+    return exp;
+}
+
-void TypeSArray::resolve(Loc loc, Scope *sc, Expression **pe, Type **pt, Dsymbol **ps)
-{
@@ -1744 +1756 @@
-{
-    //printf("TypeSArray::semantic() %s\n", toChars());
+
+    Type *t;
+    Expression *e;
+    Dsymbol *s;
+    next->resolve(loc, sc, &e, &t, &s);
+    if (dim && s && s->isTupleDeclaration())
+    {   TupleDeclaration *sd = s->isTupleDeclaration();
+
+    dim = semanticLength(sc, sd, dim);
+    dim = dim->optimize(WANTvalue | WANTinterpret);
+    uinteger_t d = dim->toUInteger();
+
+    if (d >= sd->objects->dim)
+    {   error(loc, "tuple index %ju exceeds %u", d, sd->objects->dim);
+        return Type::terror;
+    }
+    Object *o = (Object *)sd->objects->data[(size_t)d];
+    if (o->dyncast() != DYNCAST_TYPE)
+    {   error(loc, "%s is not a type", toChars());
+        return Type::terror;
+    }
+    t = (Type *)o;
+    return t;
+    }
+
-    next = next->semantic(loc,sc);
-    Type *tbn = next->toBasetype();
@@ -1761 +1798 @@
-        goto Loverflow;
-
-
-
-
+
-         tbn->isfloating() ||
-         tbn->ty == Tpointer ||
@@ -2203 +2238 @@
-    FuncDeclaration *fd;
-    Expressions *arguments;
-    char aakeys[7+3*sizeof(int)+1];
-    int size = key->size(e->loc);
-
-    assert(size);
-
-
-
-
-
-
-
-
-
-
+
-    ec = new VarExp(0, fd);
-    arguments = new Expressions();
-    arguments->push(e);
-
-
+
-    e = new CallExp(e->loc, ec, arguments);
-    e->type = index->arrayOf();

trunk/rebuild/opover.c

@@ -1 +1 @@
-
-// Compiler implementation of the D programming language
-6
+7
-// All Rights Reserved
-// written by Walter Bright
@@ -27 +27 @@
-#endif
-
-
+//
-#include "mtype.h"
-#include "init.h"

trunk/rebuild/optimize.c

@@ -265 +265 @@
-    //printf("CastExp::optimize(result = %d) %s\n", result, toChars());
-    //printf("from %s to %s\n", type->toChars(), to->toChars());
+    //printf("from %s\n", type->toChars());
-    //printf("type = %p\n", type);
-    assert(type);
-
-
+
+
+
+
+
+
-    if ((e1->op == TOKstring || e1->op == TOKarrayliteral) &&
-    (type->ty == Tpointer || type->ty == Tarray) &&
@@ -277 +282 @@
-    return e1;
-    }
+    /* The first test here is to prevent infinite loops
+     */
+    if (op1 != TOKarrayliteral && e1->op == TOKarrayliteral)
+    return e1->castTo(NULL, to);
-    if (e1->op == TOKnull &&
-    (type->ty == Tpointer || type->ty == Tclass))
@@ -520 +529 @@
-    e1 = e1->optimize(WANTvalue | (result & WANTinterpret));
-    e = this;
-
+ || e1->op == TOKassocarrayliteral
-    {
-    e = ArrayLength(type, e1);

trunk/rebuild/parse.c

@@ -192 +192 @@
-
-        case TOKinvariant:
+#if 1
+        s = parseInvariant();
+#else
-        if (peek(&token)->value == TOKlcurly)
-            s = parseInvariant();
@@ -199 +202 @@
-            goto Lstc;
-        }
+#endif
-        break;
-
@@ -268 +272 @@
-            case TOKsynchronized: stc |= STCsynchronized; goto Lstc;
-            case TOKdeprecated:   stc |= STCdeprecated;  goto Lstc;
-
+//
-            default:
-            break;
@@ -2002 +2006 @@
-        }
-        v->storage_class = storage_class;
-
+
+
+
+
+
+
+
+
+
-        switch (token.value)
-        {   case TOKsemicolon:
@@ -2062 +2074 @@
-        v = new VarDeclaration(loc, t, ident, init);
-        v->storage_class = storage_class;
-
+
+
+
+
+
+
+
+
+
-        switch (token.value)
-        {   case TOKsemicolon:
@@ -2328 +2348 @@
-    case TOKvoid:
-        t = peek(&token);
-
+ || t->value == TOKcomma
-        {
-        nextToken();
@@ -3962 +3982 @@
-
-    case TOKlbracket:
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-        break;
-    }

trunk/rebuild/port.h

@@ -35 +35 @@
-    static double dbl_min;
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
-
-    static double floor(double);

trunk/rebuild/statement.c

@@ -2479 +2479 @@
-        fd->nrvo_can = 0;
-    }
+    else
+        fd->nrvo_can = 0;
-
-    if (fd->returnLabel && tbret->ty != Tvoid)

trunk/sss/build.d

@@ -85 +85 @@
-            writefln("Creating imports for %s", target);
-            
+            // do the predigen
+            if ("predigen" in settings) {
+                dsssScriptedStep(conf, settings["predigen"]);
+            }
+            
-            // this is a library, so make .di files
-            char[][] srcFiles = targetToFiles(build, conf);
@@ -122 +127 @@
-                    }
-                }
+            }
+            
+            // do the postdigen
+            if ("postdigen" in settings) {
+                dsssScriptedStep(conf, settings["postdigen"]);
-            }
-