aa
com.cliffc.aa.HM.HM.Ident Class Reference
Inheritance diagram for com.cliffc.aa.HM.HM.Ident:
[legend]
Collaboration diagram for com.cliffc.aa.HM.HM.Ident:
[legend]

Public Member Functions

String p ()
 
final String toString ()
 

Package Functions

 Ident (String name)
 
void add_hm_work (Worklist work)
 
void add_val_work (Syntax child, Worklist work)
 
T2 debug_find ()
 
T2 find ()
 
boolean hm (Worklist work)
 
T2 idt ()
 
boolean more_work (Worklist work)
 
final boolean more_work_impl (Worklist work)
 
final SB p0 (SB sb, VBitSet dups)
 
SB p1 (SB sb)
 
SB p2 (SB sb, VBitSet dups)
 
void prep_lookup_deps (Ident id)
 
int prep_tree (Syntax par, VStack nongen, Worklist work)
 
final void prep_tree_impl (Syntax par, VStack nongen, Worklist work, T2 t)
 
SB str (SB sb)
 
Type val (Worklist work)
 

Package Attributes

Syntax _def
 
Type _flow
 
T2 _hmt
 
T2 _idt
 
int _idx
 
final String _name
 
VStack _nongen
 
Syntax _par
 

Private Member Functions

int _init (Syntax def, T2 idt)
 

Detailed Description

Definition at line 426 of file HM.java.

Constructor & Destructor Documentation

◆ Ident()

com.cliffc.aa.HM.HM.Ident.Ident ( String  name)
package

Definition at line 431 of file HM.java.

431 { _name=name; }

References com.cliffc.aa.HM.HM.Ident._name.

Member Function Documentation

◆ _init()

int com.cliffc.aa.HM.HM.Ident._init ( Syntax  def,
T2  idt 
)
private

Definition at line 472 of file HM.java.

472 { _def = def; _idt = idt; return 1; }

References com.cliffc.aa.HM.HM.Ident._def, com.cliffc.aa.HM.HM.Ident._idt, and com.cliffc.aa.HM.HM.Ident.idt().

Referenced by com.cliffc.aa.HM.HM.Ident.prep_tree().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ add_hm_work()

void com.cliffc.aa.HM.HM.Ident.add_hm_work ( Worklist  work)
package

Reimplemented from com.cliffc.aa.HM.HM.Syntax.

Definition at line 442 of file HM.java.

442  {
443  work.push(_par);
444  T2 t = idt();
445  if( t.nongen_in(_par == null ? null : _par._nongen) ) // Got captured in some parent?
446  t.add_deps_work(work); // Need to revisit dependent ids
447  if( _par instanceof Apply && ((Apply)_par)._fun instanceof NotNil )
448  work.push(((Apply)_par)._fun);
449  }

References com.cliffc.aa.HM.HM.Syntax._nongen, com.cliffc.aa.HM.HM.Syntax._par, com.cliffc.aa.HM.HM.T2.add_deps_work(), com.cliffc.aa.HM.HM.Ident.idt(), com.cliffc.aa.HM.HM.T2.nongen_in(), and com.cliffc.aa.HM.HM.Worklist.push().

Here is the call graph for this function:

◆ add_val_work()

void com.cliffc.aa.HM.HM.Syntax.add_val_work ( Syntax  child,
Worklist  work 
)
packageinherited

Reimplemented in com.cliffc.aa.HM.HM.PrimSyn, com.cliffc.aa.HM.HM.Apply, com.cliffc.aa.HM.HM.Let, and com.cliffc.aa.HM.HM.Lambda.

Definition at line 365 of file HM.java.

365 {} // Add affected neighbors to worklist

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

Here is the caller graph for this function:

◆ debug_find()

T2 com.cliffc.aa.HM.HM.Syntax.debug_find ( )
packageinherited

Definition at line 348 of file HM.java.

348 { return _hmt.debug_find(); } // Find, without the roll-up

References com.cliffc.aa.HM.HM.Syntax._hmt, and com.cliffc.aa.HM.HM.T2.debug_find().

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

Here is the call graph for this function:
Here is the caller graph for this function:

◆ find()

◆ hm()

boolean com.cliffc.aa.HM.HM.Ident.hm ( Worklist  work)
package

Reimplemented from com.cliffc.aa.HM.HM.Syntax.

Definition at line 439 of file HM.java.

439  {
440  return idt().fresh_unify(find(),_nongen,work);
441  }

References com.cliffc.aa.HM.HM.Syntax._nongen, com.cliffc.aa.HM.HM.Syntax.find(), com.cliffc.aa.HM.HM.T2.fresh_unify(), and com.cliffc.aa.HM.HM.Ident.idt().

Here is the call graph for this function:

◆ idt()

T2 com.cliffc.aa.HM.HM.Ident.idt ( )
package

Definition at line 435 of file HM.java.

435  {
436  T2 idt = _idt.find();
437  return idt==_idt ? idt : (_idt=idt);
438  }

References com.cliffc.aa.HM.HM.Ident._idt, and com.cliffc.aa.HM.HM.T2.find().

Referenced by com.cliffc.aa.HM.HM.Ident._init(), com.cliffc.aa.HM.HM.Ident.add_hm_work(), and com.cliffc.aa.HM.HM.Ident.hm().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ more_work()

boolean com.cliffc.aa.HM.HM.Ident.more_work ( Worklist  work)
package

Reimplemented from com.cliffc.aa.HM.HM.Syntax.

Definition at line 473 of file HM.java.

473 { return more_work_impl(work); }

References com.cliffc.aa.HM.HM.Syntax.more_work_impl().

Here is the call graph for this function:

◆ more_work_impl()

final boolean com.cliffc.aa.HM.HM.Syntax.more_work_impl ( Worklist  work)
packageinherited

Definition at line 381 of file HM.java.

381  {
382  if( work.has(this) ) return true;
383  if( DO_HM && hm(null) ) // Any more HM work?
384  return false; // Found HM work not on worklist
385  if( DO_GCP && val(null)!=_flow )
386  return false; // Found GCP work not on worklist
387  return true;
388  }

References com.cliffc.aa.HM.HM.Syntax._flow, com.cliffc.aa.HM.HM.DO_GCP, com.cliffc.aa.HM.HM.DO_HM, com.cliffc.aa.HM.HM.Worklist.has(), com.cliffc.aa.HM.HM.Syntax.hm(), and com.cliffc.aa.HM.HM.Syntax.val().

Referenced by com.cliffc.aa.HM.HM.Con.more_work(), com.cliffc.aa.HM.HM.Ident.more_work(), com.cliffc.aa.HM.HM.Lambda.more_work(), com.cliffc.aa.HM.HM.Let.more_work(), com.cliffc.aa.HM.HM.Apply.more_work(), com.cliffc.aa.HM.HM.Struct.more_work(), com.cliffc.aa.HM.HM.Field.more_work(), and com.cliffc.aa.HM.HM.PrimSyn.more_work().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ p()

String com.cliffc.aa.HM.HM.Syntax.p ( )
inherited

Definition at line 393 of file HM.java.

393 { return p0(new SB(), new VBitSet()).toString(); }

References com.cliffc.aa.HM.HM.Syntax.p0(), and com.cliffc.aa.util.SB.toString().

Here is the call graph for this function:

◆ p0()

final SB com.cliffc.aa.HM.HM.Syntax.p0 ( SB  sb,
VBitSet  dups 
)
packageinherited

Definition at line 394 of file HM.java.

394  {
395  _hmt.get_dups(dups);
396  VBitSet visit = new VBitSet();
397  p1(sb.i());
398  if( DO_HM ) _hmt .str(sb.p(", HM="), visit,dups);
399  if( DO_GCP ) _flow.str(sb.p(", CCP="),visit.clr(),null,false);
400  sb.nl();
401  return p2(sb.ii(1),dups).di(1);
402  }

References com.cliffc.aa.HM.HM.Syntax._flow, com.cliffc.aa.HM.HM.Syntax._hmt, com.cliffc.aa.util.VBitSet.clr(), com.cliffc.aa.util.SB.di(), com.cliffc.aa.HM.HM.DO_GCP, com.cliffc.aa.HM.HM.DO_HM, com.cliffc.aa.HM.HM.T2.get_dups(), com.cliffc.aa.util.SB.i(), com.cliffc.aa.util.SB.ii(), com.cliffc.aa.util.SB.nl(), com.cliffc.aa.util.SB.p(), com.cliffc.aa.HM.HM.Syntax.p1(), com.cliffc.aa.HM.HM.Syntax.p2(), com.cliffc.aa.type.Type< T extends Type< T >.str(), and com.cliffc.aa.HM.HM.T2.str().

Referenced by com.cliffc.aa.HM.HM.Syntax.p(), com.cliffc.aa.HM.HM.Lambda.p2(), com.cliffc.aa.HM.HM.Let.p2(), com.cliffc.aa.HM.HM.Apply.p2(), com.cliffc.aa.HM.HM.Struct.p2(), and com.cliffc.aa.HM.HM.Field.p2().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ p1()

SB com.cliffc.aa.HM.HM.Ident.p1 ( SB  sb)
package

Reimplemented from com.cliffc.aa.HM.HM.Syntax.

Definition at line 433 of file HM.java.

433 { return sb.p(_name); }

References com.cliffc.aa.HM.HM.Ident._name, and com.cliffc.aa.util.SB.p().

Referenced by com.cliffc.aa.HM.HM.Ident.str().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ p2()

SB com.cliffc.aa.HM.HM.Ident.p2 ( SB  sb,
VBitSet  dups 
)
package

Reimplemented from com.cliffc.aa.HM.HM.Syntax.

Definition at line 434 of file HM.java.

434 { return sb; }

◆ prep_lookup_deps()

void com.cliffc.aa.HM.HM.Syntax.prep_lookup_deps ( Ident  id)
packageinherited

Reimplemented in com.cliffc.aa.HM.HM.Let, and com.cliffc.aa.HM.HM.Lambda.

Definition at line 377 of file HM.java.

377 {}

◆ prep_tree()

int com.cliffc.aa.HM.HM.Ident.prep_tree ( Syntax  par,
VStack  nongen,
Worklist  work 
)
package

Reimplemented from com.cliffc.aa.HM.HM.Syntax.

Definition at line 453 of file HM.java.

453  {
454  prep_tree_impl(par,nongen,work,T2.make_leaf());
455  for( Syntax syn = _par; syn!=null; syn = syn._par )
456  syn.prep_lookup_deps(this);
457 
458  // Lookup, and get the T2 type var and a pointer to the flow type.
459  for( Syntax syn = _par; syn!=null; syn = syn._par ) {
460  if( syn instanceof Lambda ) {
461  Lambda lam = (Lambda)syn;
462  if( (_idx = Util.find(lam._args,_name)) != -1 )
463  return _init(lam,lam.targ(_idx));
464  } else if( syn instanceof Let ) {
465  Let let = (Let)syn; _idx=-1;
466  if( Util.eq(let._arg0,_name) )
467  return _init(let,let._targ);
468  }
469  }
470  throw new RuntimeException("Parse error, "+_name+" is undefined in "+_par);
471  }

References com.cliffc.aa.HM.HM.Let._arg0, com.cliffc.aa.HM.HM.Lambda._args, com.cliffc.aa.HM.HM.Ident._idx, com.cliffc.aa.HM.HM.Ident._init(), com.cliffc.aa.HM.HM.Ident._name, com.cliffc.aa.HM.HM.Syntax._par, com.cliffc.aa.HM.HM.Let._targ, com.cliffc.aa.util.Util.eq(), com.cliffc.aa.util.Util.find(), com.cliffc.aa.HM.HM.T2.make_leaf(), com.cliffc.aa.HM.HM.Syntax.prep_tree_impl(), and com.cliffc.aa.HM.HM.Lambda.targ().

Here is the call graph for this function:

◆ prep_tree_impl()

final void com.cliffc.aa.HM.HM.Syntax.prep_tree_impl ( Syntax  par,
VStack  nongen,
Worklist  work,
T2  t 
)
packageinherited

Definition at line 370 of file HM.java.

370  {
371  _par = par;
372  _hmt = t;
373  _flow= Type.XSCALAR;
374  _nongen = nongen;
375  work.push(this);
376  }

References com.cliffc.aa.HM.HM.Syntax._flow, com.cliffc.aa.HM.HM.Syntax._hmt, com.cliffc.aa.HM.HM.Syntax._nongen, com.cliffc.aa.HM.HM.Syntax._par, com.cliffc.aa.HM.HM.Worklist.push(), and com.cliffc.aa.type.Type< T extends Type< T >.XSCALAR.

Referenced by com.cliffc.aa.HM.HM.Con.prep_tree(), com.cliffc.aa.HM.HM.Ident.prep_tree(), com.cliffc.aa.HM.HM.Lambda.prep_tree(), com.cliffc.aa.HM.HM.Let.prep_tree(), com.cliffc.aa.HM.HM.Apply.prep_tree(), com.cliffc.aa.HM.HM.Struct.prep_tree(), com.cliffc.aa.HM.HM.Field.prep_tree(), and com.cliffc.aa.HM.HM.PrimSyn.prep_tree().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ str()

SB com.cliffc.aa.HM.HM.Ident.str ( SB  sb)
package

Reimplemented from com.cliffc.aa.HM.HM.Syntax.

Definition at line 432 of file HM.java.

432 { return p1(sb); }

References com.cliffc.aa.HM.HM.Ident.p1().

Here is the call graph for this function:

◆ toString()

final String com.cliffc.aa.HM.HM.Syntax.toString ( )
inherited

Definition at line 390 of file HM.java.

390 { return str(new SB()).toString(); }

References com.cliffc.aa.HM.HM.Syntax.str(), and com.cliffc.aa.util.SB.toString().

Referenced by com.cliffc.aa.HM.HM.Lambda.p1().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ val()

Type com.cliffc.aa.HM.HM.Ident.val ( Worklist  work)
package

Reimplemented from com.cliffc.aa.HM.HM.Syntax.

Definition at line 450 of file HM.java.

450  {
451  return _def instanceof Let ? ((Let)_def)._def._flow : ((Lambda)_def)._types[_idx];
452  }

References com.cliffc.aa.HM.HM.Ident._def, com.cliffc.aa.HM.HM.Let._def, com.cliffc.aa.HM.HM.Syntax._flow, and com.cliffc.aa.HM.HM.Ident._idx.

Member Data Documentation

◆ _def

Syntax com.cliffc.aa.HM.HM.Ident._def
package

Definition at line 428 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Ident._init(), and com.cliffc.aa.HM.HM.Ident.val().

◆ _flow

◆ _hmt

T2 com.cliffc.aa.HM.HM.Syntax._hmt
packageinherited

Definition at line 343 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Syntax.debug_find(), com.cliffc.aa.HM.HM.Syntax.find(), com.cliffc.aa.HM.HM.hm(), com.cliffc.aa.HM.HM.Syntax.p0(), com.cliffc.aa.HM.HM.Let.prep_tree(), com.cliffc.aa.HM.HM.PrimSyn.prep_tree(), com.cliffc.aa.HM.HM.Syntax.prep_tree_impl(), com.cliffc.aa.HM.HM.PrimSyn.PrimSyn(), com.cliffc.aa.HM.TestHM.run(), com.cliffc.aa.HM.TestHM9.run(), com.cliffc.aa.HM.TestHM.test05(), com.cliffc.aa.HM.TestHM9.test05(), com.cliffc.aa.HM.TestHM.test06(), com.cliffc.aa.HM.TestHM9.test06(), com.cliffc.aa.HM.TestHM.test14(), com.cliffc.aa.HM.TestHM9.test14(), com.cliffc.aa.HM.TestHM.test18(), com.cliffc.aa.HM.TestHM9.test18(), com.cliffc.aa.HM.TestHM.test20(), com.cliffc.aa.HM.TestHM9.test20(), com.cliffc.aa.HM.TestHM9.test32(), com.cliffc.aa.HM.TestHM.test32(), com.cliffc.aa.HM.TestHM9.test33(), com.cliffc.aa.HM.TestHM.test33(), com.cliffc.aa.HM.TestHM9.test34(), com.cliffc.aa.HM.TestHM.test34(), com.cliffc.aa.HM.TestHM9.test36(), com.cliffc.aa.HM.TestHM.test36(), com.cliffc.aa.HM.TestHM.test39(), com.cliffc.aa.HM.TestHM9.test39(), com.cliffc.aa.HM.TestHM.test40(), com.cliffc.aa.HM.TestHM9.test40(), com.cliffc.aa.HM.TestHM.test41(), com.cliffc.aa.HM.TestHM9.test41(), com.cliffc.aa.HM.TestHM.test42(), com.cliffc.aa.HM.TestHM9.test42(), com.cliffc.aa.HM.TestHM.test43(), com.cliffc.aa.HM.TestHM9.test43(), com.cliffc.aa.HM.TestHM.test44(), com.cliffc.aa.HM.TestHM9.test44(), com.cliffc.aa.HM.TestHM.test45(), com.cliffc.aa.HM.TestHM9.test45(), com.cliffc.aa.HM.TestHM.test49(), com.cliffc.aa.HM.TestHM9.test49(), com.cliffc.aa.HM.TestHM.test50(), com.cliffc.aa.HM.TestHM9.test50(), com.cliffc.aa.HM.TestHM.test51(), com.cliffc.aa.HM.TestHM.test52(), com.cliffc.aa.HM.TestHM.test55(), com.cliffc.aa.HM.TestHM.test56(), and com.cliffc.aa.HM.TestHM.test57().

◆ _idt

T2 com.cliffc.aa.HM.HM.Ident._idt
package

Definition at line 430 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Ident._init(), and com.cliffc.aa.HM.HM.Ident.idt().

◆ _idx

int com.cliffc.aa.HM.HM.Ident._idx
package

Definition at line 429 of file HM.java.

Referenced by com.cliffc.aa.HM.HM.Ident.prep_tree(), and com.cliffc.aa.HM.HM.Ident.val().

◆ _name

final String com.cliffc.aa.HM.HM.Ident._name
package

◆ _nongen

VStack com.cliffc.aa.HM.HM.Syntax._nongen
packageinherited

◆ _par


The documentation for this class was generated from the following file:
com.cliffc.aa.HM.HM.Ident.idt
T2 idt()
Definition: HM.java:435
com.cliffc.aa.HM.HM.T2.fresh_unify
boolean fresh_unify(T2 that, VStack nongen, Worklist work)
Definition: HM.java:1769
com.cliffc.aa.HM.HM.Syntax.find
T2 find()
Definition: HM.java:344
com.cliffc.aa.HM.HM.Ident._idx
int _idx
Definition: HM.java:429
com.cliffc.aa.util.Util.find
static int find(int[] es, int e)
Definition: Util.java:6
com.cliffc.aa.util.Util.eq
static boolean eq(String s0, String s1)
Definition: Util.java:16
com.cliffc.aa.util.SB.ii
SB ii(int i)
Definition: SB.java:44
com.cliffc.aa.util.SB.di
SB di(int i)
Definition: SB.java:46
com.cliffc.aa.HM.HM.Syntax.hm
abstract boolean hm(Worklist work)
com.cliffc.aa.HM.HM.Ident.p1
SB p1(SB sb)
Definition: HM.java:433
com.cliffc.aa.type.Type.XSCALAR
static final Type XSCALAR
Definition: Type.java:329
com.cliffc.aa.HM.HM.Syntax.val
abstract Type val(Worklist work)
com.cliffc.aa.type.Type
an implementation of language AA
Definition: Type.java:94
com.cliffc.aa.HM.HM.Syntax.p2
abstract SB p2(SB sb, VBitSet dups)
com.cliffc.aa.util.VBitSet.clr
VBitSet clr()
Definition: VBitSet.java:9
com.cliffc.aa.HM.HM.Syntax._flow
Type _flow
Definition: HM.java:351
com.cliffc.aa.type.Type.str
SB str(SB sb, VBitSet dups, TypeMem mem, boolean debug)
Definition: Type.java:131
com.cliffc.aa.HM.HM.DO_HM
static final boolean DO_HM
Definition: HM.java:91
com.cliffc.aa.HM.HM.Syntax._par
Syntax _par
Definition: HM.java:341
com.cliffc.aa.HM.HM.Syntax.p1
abstract SB p1(SB sb)
com.cliffc.aa.HM.HM.Syntax.p0
final SB p0(SB sb, VBitSet dups)
Definition: HM.java:394
com.cliffc.aa.HM.HM.Ident._def
Syntax _def
Definition: HM.java:428
com.cliffc.aa.HM.HM.Ident._name
final String _name
Definition: HM.java:427
com.cliffc.aa.HM.HM.Syntax._nongen
VStack _nongen
Definition: HM.java:342
com.cliffc.aa.HM.HM.Syntax._hmt
T2 _hmt
Definition: HM.java:343
com.cliffc.aa.util.Util
Definition: Util.java:5
com.cliffc.aa.HM.HM.Syntax.more_work_impl
final boolean more_work_impl(Worklist work)
Definition: HM.java:381
com.cliffc.aa.HM.HM.Syntax.prep_tree_impl
final void prep_tree_impl(Syntax par, VStack nongen, Worklist work, T2 t)
Definition: HM.java:370
com.cliffc.aa.util.VBitSet
Definition: VBitSet.java:5
com.cliffc.aa.HM.HM.Syntax.str
abstract SB str(SB sb)
com.cliffc.aa.util.SB
Tight/tiny StringBuilder wrapper.
Definition: SB.java:8
com.cliffc.aa.util.SB.nl
SB nl()
Definition: SB.java:48
com.cliffc.aa.util.SB.p
SB p(String s)
Definition: SB.java:13
com.cliffc.aa.HM.HM.DO_GCP
static final boolean DO_GCP
Definition: HM.java:92
com.cliffc.aa.HM.HM.T2.find
T2 find()
Definition: HM.java:1374
com.cliffc.aa.HM.HM.Ident._idt
T2 _idt
Definition: HM.java:430
com.cliffc.aa.util.SB.i
SB i(int d)
Definition: SB.java:38
com.cliffc.aa.HM.HM.Ident._init
int _init(Syntax def, T2 idt)
Definition: HM.java:472
com.cliffc.aa.HM.HM.T2.get_dups
VBitSet get_dups(VBitSet dups)
Definition: HM.java:2148
com.cliffc.aa.HM.HM.T2.str
SB str(SB sb, VBitSet visit, VBitSet dups)
Definition: HM.java:2163
com.cliffc.aa.util.SB.toString
String toString()
Definition: SB.java:62
com.cliffc.aa.HM.HM.T2.debug_find
T2 debug_find()
Definition: HM.java:1364