Collaboration diagram for com.cliffc.aa.HM.HM8:

[legend]

Classes
class	Apply

class	Con

class	Field

class	Ident

class	Lambda

class	Let

class	Struct

class	Syntax

class	T2

class	VStack

class	Worklist

Public Member Functions
String	toString ()

Static Public Member Functions
static Syntax	hm (String sprog)

Static Package Functions
	[static initializer]

static Syntax	parse (String s)

static void	reset ()

static Syntax	term ()

Static Package Attributes
static boolean	DEBUG_LEAKS =false

static final HashMap< String, T2 >	PRIMS = new HashMap<>()

Static Private Member Functions
static String	id ()

static boolean	isAlpha0 (byte c)

static boolean	isAlpha1 (byte c)

static boolean	isDigit (byte c)

static boolean	isWS (byte c)

static Syntax	number ()

static< T > T	require (char c, T t)

static void	require (String s)

static byte	skipWS ()

static Syntax	string ()

Static Private Attributes
static byte[]	BUF

static final SB	ID = new SB()

static int	X

Detailed Description

Definition at line 24 of file HM8.java.

Member Function Documentation

◆ [static initializer]()

com.cliffc.aa.HM.HM8.[static initializer]

staticpackage

◆ hm()

static Syntax com.cliffc.aa.HM.HM8.hm ( String sprog )

static

Definition at line 29 of file HM8.java.

                                           {
     Worklist work = new Worklist();
  
     // Simple types
     T2 bool  = T2.make_base(TypeInt.BOOL);
     T2 int64 = T2.make_base(TypeInt.INT64);
     T2 flt64 = T2.make_base(TypeFlt.FLT64);
     T2 strp  = T2.make_base(TypeMemPtr.STRPTR);
  
     // Primitives
     PRIMS.put("nil",T2.make_nil());
  
     T2 var1 = T2.make_leaf();
     T2 var2 = T2.make_leaf();
     T2 var3 = T2.make_leaf();
  
     PRIMS.put("pair1",T2.make_fun(var1, T2.make_fun(var2, T2.prim("pair",var1,var2) ))); // curried
     PRIMS.put("pair",T2.make_fun(var1, var2, T2.prim("pair",var1,var2) ));
     PRIMS.put("triple",T2.make_fun(var1, var2, var3, T2.prim("triple",var1,var2,var3) ));
  
     PRIMS.put("if",T2.make_fun(var2,var1,var1,var1));
  
     PRIMS.put("dec",T2.make_fun(int64,int64));
     PRIMS.put("*"  ,T2.make_fun(int64,int64,int64));
     PRIMS.put("?0",T2.make_fun(T2.make_leaf(),bool));
     PRIMS.put("isempty",T2.make_fun(strp,bool));
  
     // Print a string; int->str
     PRIMS.put("str",T2.make_fun(int64,strp));
     // Factor; FP div/mod-like operation
     PRIMS.put("factor",T2.make_fun(flt64,T2.prim("divmod",flt64,flt64)));
  
     // Parse
     Syntax prog = parse( sprog );
  
     // Prep for SSA: pre-gather all the (unique) ids
     int cnt_syns = prog.prep_tree(null,null,work);
     int init_T2s = T2.CNT;
  
     while( work.len()>0 ) {     // While work
       int oldcnt = T2.CNT;      // Used for cost-check when no-progress
       Syntax syn = work.pop();  // Get work
       T2 old = syn._t;          // Old value for progress assert
       if( syn.hm(work) ) {      // Compute a new HM type and check for progress
         assert !syn.debug_find().unify(old.find(),null);// monotonic: unifying with the result is no-progress
         syn.add_work(work);     // Push affected neighors on worklist
       } else {
         assert !DEBUG_LEAKS || oldcnt==T2.CNT;  // No-progress consumes no-new-T2s
       }
       // VERY EXPENSIVE ASSERT: O(n^2).  Every Syntax that makes progress is on the worklist
       assert prog.more_work(work);
     }
     assert prog.more_work(work);
  
     //System.out.println("Initial T2s: "+init_T2s+", Prog size: "+cnt_syns+", worklist iters: "+work._cnt+", T2s: "+T2.CNT);
     return prog;
   }

Here is the call graph for this function:

Here is the caller graph for this function:

◆ id()

static String com.cliffc.aa.HM.HM8.id ( )

staticprivate

Definition at line 155 of file HM8.java.

                              {
     ID.clear();
     while( X<BUF.length && isAlpha1(BUF[X]) )
       ID.p((char)BUF[X++]);
     String s = ID.toString().intern();
     if( s.length()==0 ) throw unimpl("Missing id");
     return s;
   }

References com.cliffc.aa.HM.HM8.BUF, com.cliffc.aa.util.SB.clear(), com.cliffc.aa.HM.HM8.ID, com.cliffc.aa.HM.HM8.isAlpha1(), com.cliffc.aa.util.SB.p(), com.cliffc.aa.util.SB.toString(), and com.cliffc.aa.HM.HM8.X.

Referenced by com.cliffc.aa.HM.HM8.T2.add_fld(), com.cliffc.aa.HM.HM8.Field.Field(), and com.cliffc.aa.HM.HM8.term().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ isAlpha0()

static boolean com.cliffc.aa.HM.HM8.isAlpha0 ( byte c )

staticprivate

Definition at line 184 of file HM8.java.

184 { return ('a'<=c && c <= 'z') || ('A'<=c && c <= 'Z') || (c=='_') || (c=='*') || (c=='?'); }

Referenced by com.cliffc.aa.HM.HM8.isAlpha1(), and com.cliffc.aa.HM.HM8.term().

Here is the caller graph for this function:

◆ isAlpha1()

static boolean com.cliffc.aa.HM.HM8.isAlpha1 ( byte c )

staticprivate

Definition at line 185 of file HM8.java.

185 { return isAlpha0(c) || ('0'<=c && c <= '9') || (c=='/'); }

References com.cliffc.aa.HM.HM8.isAlpha0().

Referenced by com.cliffc.aa.HM.HM8.id().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ isDigit()

static boolean com.cliffc.aa.HM.HM8.isDigit ( byte c )

staticprivate

Definition at line 183 of file HM8.java.

183 { return '0' <= c && c <= '9'; }

Referenced by com.cliffc.aa.HM.HM8.number(), and com.cliffc.aa.HM.HM8.term().

Here is the caller graph for this function:

◆ isWS()

static boolean com.cliffc.aa.HM.HM8.isWS ( byte c )

staticprivate

Definition at line 182 of file HM8.java.

182 { return c == ' ' || c == '\t' || c == '\n' || c == '\r'; }

Referenced by com.cliffc.aa.HM.HM8.skipWS().

Here is the caller graph for this function:

◆ number()

static Syntax com.cliffc.aa.HM.HM8.number ( )

staticprivate

Definition at line 163 of file HM8.java.

                                  {
     int sum=0;
     while( X<BUF.length && isDigit(BUF[X]) )
       sum = sum*10+BUF[X++]-'0';
     if( X>= BUF.length || BUF[X]!='.' ) return new Con(TypeInt.con(sum));
     X++;
     float f = (float)sum;
     f = f + (BUF[X++]-'0')/10.0f;
     return new Con(TypeFlt.con(f));
   }

References com.cliffc.aa.HM.HM8.BUF, com.cliffc.aa.type.TypeFlt.con(), com.cliffc.aa.type.TypeInt.con(), com.cliffc.aa.HM.HM8.isDigit(), and com.cliffc.aa.HM.HM8.X.

Referenced by com.cliffc.aa.HM.HM8.term().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ parse()

static Syntax com.cliffc.aa.HM.HM8.parse ( String s )

staticpackage

Definition at line 93 of file HM8.java.

                                   {
     X = 0;
     BUF = s.getBytes();
     Syntax prog = term();
     if( skipWS() != -1 ) throw unimpl("Junk at end of program: "+new String(BUF,X,BUF.length-X));
     return prog;
   }

References com.cliffc.aa.HM.HM8.BUF, com.cliffc.aa.HM.HM8.skipWS(), com.cliffc.aa.HM.HM8.term(), and com.cliffc.aa.HM.HM8.X.

Referenced by com.cliffc.aa.HM.HM8.hm().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ require() [1/2]

static <T> T com.cliffc.aa.HM.HM8.require	(	char	c,
		T	t
	)

staticprivate

Definition at line 186 of file HM8.java.

186 { if( skipWS()!=c ) throw unimpl("Missing '"+c+"'"); X++; return t; }

References com.cliffc.aa.HM.HM8.skipWS(), and com.cliffc.aa.HM.HM8.X.

Referenced by com.cliffc.aa.HM.HM8.string(), and com.cliffc.aa.HM.HM8.term().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ require() [2/2]

static void com.cliffc.aa.HM.HM8.require ( String s )

staticprivate

Definition at line 187 of file HM8.java.

                                         {
     skipWS();
     for( int i=0; i<s.length(); i++ )
       if( X+i >= BUF.length || BUF[X+i]!=s.charAt(i) )
         throw unimpl("Missing '"+s+"'");
     X+=s.length();
   }

References com.cliffc.aa.HM.HM8.BUF, com.cliffc.aa.HM.HM8.skipWS(), and com.cliffc.aa.HM.HM8.X.

Here is the call graph for this function:

◆ reset()

static void com.cliffc.aa.HM.HM8.reset ( )

staticpackage

Definition at line 86 of file HM8.java.

86 { PRIMS.clear(); T2.reset(); BitsAlias.reset_to_init0(); }

References com.cliffc.aa.HM.HM8.PRIMS, com.cliffc.aa.HM.HM8.T2.reset(), and com.cliffc.aa.type.BitsAlias.reset_to_init0().

Referenced by com.cliffc.aa.HM.TestHM8.reset().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ skipWS()

static byte com.cliffc.aa.HM.HM8.skipWS ( )

staticprivate

Definition at line 178 of file HM8.java.

                                {
     while( X<BUF.length && isWS(BUF[X]) ) X++;
     return X==BUF.length ? -1 : BUF[X];
   }

References com.cliffc.aa.HM.HM8.BUF, com.cliffc.aa.HM.HM8.isWS(), and com.cliffc.aa.HM.HM8.X.

Referenced by com.cliffc.aa.HM.HM8.parse(), com.cliffc.aa.HM.HM8.require(), and com.cliffc.aa.HM.HM8.term().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ string()

static Syntax com.cliffc.aa.HM.HM8.string ( )

staticprivate

Definition at line 173 of file HM8.java.

                                  {
     int start = ++X;
     while( X<BUF.length && BUF[X]!='"' ) X++;
     return require('"', new Con(TypeStr.con(new String(BUF,start,X-start).intern())));
   }

References com.cliffc.aa.HM.HM8.BUF, com.cliffc.aa.type.TypeStr.con(), com.cliffc.aa.HM.HM8.require(), and com.cliffc.aa.HM.HM8.X.

Referenced by com.cliffc.aa.HM.HM8.term().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ term()

static Syntax com.cliffc.aa.HM.HM8.term ( )

staticpackage

Definition at line 100 of file HM8.java.

                        {
     if( skipWS()==-1 ) return null;
     if( isDigit(BUF[X]) ) return number();
     if( BUF[X]=='"' ) return string();
     if( BUF[X]=='(' ) {         // Parse an Apply
       X++;                      // Skip paren
       Syntax fun = term();
       Ary<Syntax> ARGS = new Ary<>(new Syntax[1],0);
       while( skipWS()!= ')' && X<BUF.length ) ARGS.push(term());
       return new Apply(fun,require(')',ARGS.asAry()));
     }
     if( BUF[X]=='{' ) {         // Lambda of 1 or 2 args
       X++;                      // Skip paren
       Ary<String> args = new Ary<>(new String[1],0);
       while( skipWS()!='-' ) args.push(id());
       require("->");
       Syntax body = require('}',term());
       return new Lambda(body,args.asAry());
     }
     // Let or Id
     if( isAlpha0(BUF[X]) ) {
       String id = id();
       if( skipWS()!='=' )  return new Ident(id);
       // Let expression; "id = term(); term..."
       X++;                      // Skip '='
       Syntax def = require(';',term());
       return new Let(id,def,term());
     }
  
     // Structure
     if( BUF[X]=='@' ) {
       X++;
       require('{',null);
       Ary<String>  ids = new Ary<>(String.class);
       Ary<Syntax> flds = new Ary<>(Syntax.class);
       while( skipWS()!='}' && X < BUF.length ) {
         String id = require('=',id());
         Syntax fld = term();
         if( fld==null ) throw unimpl("Missing term for field "+id);
         ids .push( id);
         flds.push(fld);
         if( skipWS()==',' ) X++;
       }
       return require('}',new Struct(ids.asAry(),flds.asAry()));
     }
  
     // Field lookup is prefix or backwards: ".x term"
     if( BUF[X]=='.' ) {
       X++;
       return new Field(id(),term());
     }
  
     throw unimpl("Unknown syntax");
   }