Inheritance diagram for com.cliffc.aa.HM.HM9.If:

Collaboration diagram for com.cliffc.aa.HM.HM9.If:

Public Member Functions
	If ()

String	p ()

final String	toString ()

Package Functions
void	add_hm_work (Worklist work)

void	add_val_work (Syntax child, Worklist work)

Type	apply (Syntax[] args)

T2	debug_find ()

T2	find ()

boolean	hm (Worklist work)

PrimSyn	make ()

boolean	more_work (Worklist work)

final boolean	more_work_impl (Worklist work)

String	name ()

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)

T2	targ (int i)

Type	val (Worklist work)

Static Package Functions
static void	reset ()

Package Attributes
final String[]	_args

final Syntax	_body

final int	_fidx

Type	_flow

T2	_hmt

VStack	_nongen

Syntax	_par

final T2[]	_targs

final Type[]	_types

Static Package Attributes
static T2	BOOL

static T2	FLT64

static final NonBlockingHashMapLong< Lambda >	FUNS = new NonBlockingHashMapLong<>()

static T2	INT64

static int	PAIR_ALIAS

static T2	STRP

static int	TRIPLE_ALIAS

static Worklist	WORK

Static Private Attributes
static final String[][]	IDS

Detailed Description

Definition at line 1044 of file HM9.java.

Constructor & Destructor Documentation

◆ If()

com.cliffc.aa.HM.HM9.If.If ( )

Definition at line 1046 of file HM9.java.

1046 { super(T2.make_leaf(),T2.make_leaf(),T2.make_leaf(),T2.make_leaf()); }

References com.cliffc.aa.HM.HM9.T2.make_leaf().

Referenced by com.cliffc.aa.HM.HM9.If.make().

Here is the call graph for this function:

Here is the caller graph for this function:

Member Function Documentation

◆ add_hm_work()

void com.cliffc.aa.HM.HM9.PrimSyn.add_hm_work ( Worklist work )

packageinherited

Reimplemented from com.cliffc.aa.HM.HM9.Lambda.

Definition at line 966 of file HM9.java.

                                               {
       if( find().is_err() ) work.push(_par);
     }

References com.cliffc.aa.HM.HM9.Syntax._par, com.cliffc.aa.HM.HM9.Syntax.find(), and com.cliffc.aa.HM.HM9.Worklist.push().

Here is the call graph for this function:

◆ add_val_work()

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

packageinherited

Reimplemented from com.cliffc.aa.HM.HM9.Lambda.

Definition at line 969 of file HM9.java.

969 { throw unimpl(); }

◆ apply()

Type com.cliffc.aa.HM.HM9.If.apply ( Syntax[] args )

package

Reimplemented from com.cliffc.aa.HM.HM9.Lambda.

Definition at line 1065 of file HM9.java.

                                          {
       Type pred= args[0]._flow;
       Type t1  = args[1]._flow;
       Type t2  = args[2]._flow;
       // Conditional Constant Propagation: only prop types from executable sides
       if( pred == TypeInt.FALSE || pred == Type.NIL || pred==Type.XNIL )
         return t2;              // False only
       if( pred.above_center() ) // Delay any values
         return Type.XSCALAR;    // t1.join(t2);     // Join of either
       if( !pred.must_nil() )    // True only
         return t1;           
       // Could be either, so meet
       return t1.meet(t2);
     }

References com.cliffc.aa.HM.HM9.Syntax._flow, com.cliffc.aa.type.Type< T extends Type< T >.above_center(), com.cliffc.aa.type.TypeInt.FALSE, com.cliffc.aa.type.Type< T extends Type< T >.meet(), com.cliffc.aa.type.Type< T extends Type< T >.must_nil(), com.cliffc.aa.type.Type< T extends Type< T >.NIL, com.cliffc.aa.type.Type< T extends Type< T >.XNIL, and com.cliffc.aa.type.Type< T extends Type< T >.XSCALAR.

Here is the call graph for this function:

◆ debug_find()

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

packageinherited

Definition at line 329 of file HM9.java.

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

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

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ find()

T2 com.cliffc.aa.HM.HM9.Syntax.find ( )

packageinherited

Definition at line 325 of file HM9.java.

               {                 // U-F find
       T2 t = _hmt.find();
       return t== _hmt ? t : (_hmt =t);
     }

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ hm()

boolean com.cliffc.aa.HM.HM9.If.hm ( Worklist work )

package

Reimplemented from com.cliffc.aa.HM.HM9.PrimSyn.

Definition at line 1048 of file HM9.java.

                                         {
       T2 rez = find().args(3);
       // GCP helps HM: do not unify dead control paths
       if( DO_GCP ) {            // Doing GCP during HM
         Type pred = _types[0];
         if( pred == TypeInt.FALSE || pred == Type.NIL || pred==Type.XNIL )
           return rez.unify(targ(2),work); // Unify only the false side
         if( pred.above_center() ) // Neither side executes
           return false;           // Unify neither side
         if( !pred.must_nil() )    // Unify only the true side
           return rez.unify(targ(1),work);
       }
       // Unify both sides with the result
       return
         rez.unify(targ(1),work) |
         rez.find().unify(targ(2),work);
     }

References com.cliffc.aa.HM.HM9.Lambda._types, com.cliffc.aa.type.Type< T extends Type< T >.above_center(), com.cliffc.aa.HM.HM9.T2.args(), com.cliffc.aa.HM.HM9.DO_GCP, com.cliffc.aa.type.TypeInt.FALSE, com.cliffc.aa.HM.HM9.Syntax.find(), com.cliffc.aa.HM.HM9.T2.find(), com.cliffc.aa.type.Type< T extends Type< T >.must_nil(), com.cliffc.aa.type.Type< T extends Type< T >.NIL, com.cliffc.aa.HM.HM9.Lambda.targ(), com.cliffc.aa.HM.HM9.T2.unify(), and com.cliffc.aa.type.Type< T extends Type< T >.XNIL.

Here is the call graph for this function:

◆ make()

PrimSyn com.cliffc.aa.HM.HM9.If.make ( )

package

Reimplemented from com.cliffc.aa.HM.HM9.PrimSyn.

Definition at line 1047 of file HM9.java.

1047 { return new If(); }

References com.cliffc.aa.HM.HM9.If.If().

Here is the call graph for this function:

◆ more_work()

boolean com.cliffc.aa.HM.HM9.PrimSyn.more_work ( Worklist work )

packageinherited

Reimplemented from com.cliffc.aa.HM.HM9.Lambda.

Definition at line 970 of file HM9.java.

970 { return more_work_impl(work); }

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

Here is the call graph for this function:

◆ more_work_impl()

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

packageinherited

Definition at line 362 of file HM9.java.

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

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

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ name()

String com.cliffc.aa.HM.HM9.If.name ( )

package

Reimplemented from com.cliffc.aa.HM.HM9.PrimSyn.

Definition at line 1045 of file HM9.java.

1045 { return "if"; }

◆ p()

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

inherited

Definition at line 374 of file HM9.java.

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

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

Here is the call graph for this function:

◆ p0()

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

packageinherited

Definition at line 375 of file HM9.java.

                                      {
       _hmt.get_dups(dups);
       VBitSet visit = new VBitSet();
       p1(sb.i());
       if( DO_HM  ) _hmt .str(sb.p(", HM="), visit,dups);
       if( DO_GCP ) _flow.str(sb.p(", CCP="),visit.clr(),null,false);
       sb.nl();
       return p2(sb.ii(1),dups).di(1);
     }

References com.cliffc.aa.HM.HM9.Syntax._flow, com.cliffc.aa.HM.HM9.Syntax._hmt, com.cliffc.aa.util.VBitSet.clr(), com.cliffc.aa.util.SB.di(), com.cliffc.aa.HM.HM9.DO_GCP, com.cliffc.aa.HM.HM9.DO_HM, com.cliffc.aa.HM.HM9.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.HM9.Syntax.p1(), com.cliffc.aa.HM.HM9.Syntax.p2(), com.cliffc.aa.type.Type< T extends Type< T >.str(), and com.cliffc.aa.HM.HM9.T2.str().

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ p1()

SB com.cliffc.aa.HM.HM9.PrimSyn.p1 ( SB sb )

packageinherited

Reimplemented from com.cliffc.aa.HM.HM9.Lambda.

Definition at line 972 of file HM9.java.

972 { return sb.p(name()); }

References com.cliffc.aa.HM.HM9.PrimSyn.name(), and com.cliffc.aa.util.SB.p().

Here is the call graph for this function:

◆ p2()

SB com.cliffc.aa.HM.HM9.PrimSyn.p2	(	SB	sb,
		VBitSet	dups
	)

packageinherited

Reimplemented from com.cliffc.aa.HM.HM9.Lambda.

Definition at line 973 of file HM9.java.

973 { return sb; }

◆ prep_lookup_deps()

void com.cliffc.aa.HM.HM9.Lambda.prep_lookup_deps ( Ident id )

packageinherited

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

Definition at line 533 of file HM9.java.

                                               {
       for( int i=0; i<_args.length; i++ )
         if( Util.eq(_args[i],id._name) ) _targs[i].push_update(id);
     }

References com.cliffc.aa.HM.HM9.Lambda._args, com.cliffc.aa.HM.HM9.Lambda._targs, com.cliffc.aa.util.Util.eq(), and com.cliffc.aa.HM.HM9.T2.push_update().

Here is the call graph for this function:

◆ prep_tree()

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

packageinherited

Reimplemented from com.cliffc.aa.HM.HM9.Lambda.

Reimplemented in com.cliffc.aa.HM.HM9.NotNil.

Definition at line 952 of file HM9.java.

                                                                       {
       prep_tree_impl(par,nongen,work, _hmt);
       return 1;
     }

References com.cliffc.aa.HM.HM9.Syntax._hmt, and com.cliffc.aa.HM.HM9.Syntax.prep_tree_impl().

Here is the call graph for this function:

◆ prep_tree_impl()

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

packageinherited

Definition at line 351 of file HM9.java.

                                                                                 {
       _par = par;
       _hmt = t;
       _flow= Type.XSCALAR;
       _nongen = nongen;
       work.push(this);
     }

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

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ reset()

static void com.cliffc.aa.HM.HM9.PrimSyn.reset ( )

staticpackageinherited

Definition at line 930 of file HM9.java.

                         {
       PAIR_ALIAS   = BitsAlias.new_alias(BitsAlias.REC);
       TRIPLE_ALIAS = BitsAlias.new_alias(BitsAlias.REC);
       BOOL  = T2.make_base(TypeInt.BOOL);
       INT64 = T2.make_base(TypeInt.INT64);
       FLT64 = T2.make_base(TypeFlt.FLT64);
       STRP  = T2.make_base(TypeMemPtr.STRPTR);
     }

References com.cliffc.aa.type.TypeInt.BOOL, com.cliffc.aa.HM.HM9.PrimSyn.BOOL, com.cliffc.aa.type.TypeFlt.FLT64, com.cliffc.aa.HM.HM9.PrimSyn.FLT64, com.cliffc.aa.type.TypeInt.INT64, com.cliffc.aa.HM.HM9.PrimSyn.INT64, com.cliffc.aa.HM.HM9.T2.make_base(), com.cliffc.aa.type.BitsAlias.new_alias(), com.cliffc.aa.HM.HM9.PrimSyn.PAIR_ALIAS, com.cliffc.aa.type.BitsAlias.REC, com.cliffc.aa.HM.HM9.PrimSyn.STRP, com.cliffc.aa.type.TypeMemPtr.STRPTR, and com.cliffc.aa.HM.HM9.PrimSyn.TRIPLE_ALIAS.

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ str()

SB com.cliffc.aa.HM.HM9.PrimSyn.str ( SB sb )

packageinherited

Reimplemented from com.cliffc.aa.HM.HM9.Lambda.

Definition at line 971 of file HM9.java.

971 { return sb.p(name()); }

References com.cliffc.aa.HM.HM9.PrimSyn.name(), and com.cliffc.aa.util.SB.p().

Here is the call graph for this function:

◆ targ()

T2 com.cliffc.aa.HM.HM9.Lambda.targ ( int i )

packageinherited

Definition at line 495 of file HM9.java.

495 { T2 targ = _targs[i].find(); return targ==_targs[i] ? targ : (_targs[i]=targ); }

References com.cliffc.aa.HM.HM9.Lambda._targs, com.cliffc.aa.HM.HM9.T2.find(), and com.cliffc.aa.HM.HM9.Lambda.targ().

Referenced by com.cliffc.aa.HM.HM9.Lambda.add_hm_work(), com.cliffc.aa.HM.HM9.Apply.add_val_work(), com.cliffc.aa.HM.HM9.Lambda.hm(), com.cliffc.aa.HM.HM9.PrimSyn.hm(), com.cliffc.aa.HM.HM9.If.hm(), com.cliffc.aa.HM.HM9.NotNil.hm(), com.cliffc.aa.HM.HM9.Lambda.p1(), com.cliffc.aa.HM.HM9.Ident.prep_tree(), com.cliffc.aa.HM.HM9.Lambda.prep_tree(), and com.cliffc.aa.HM.HM9.Lambda.targ().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ toString()

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

inherited

Definition at line 371 of file HM9.java.

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

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

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ val()

Type com.cliffc.aa.HM.HM9.Lambda.val ( Worklist work )

packageinherited

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

Definition at line 520 of file HM9.java.

520 { return TypeFunPtr.make(_fidx,_args.length,Type.ANY); }

References com.cliffc.aa.HM.HM9.Lambda._args, com.cliffc.aa.HM.HM9.Lambda._fidx, com.cliffc.aa.type.Type< T extends Type< T >.ANY, and com.cliffc.aa.type.TypeFunPtr.make().

Referenced by com.cliffc.aa.HM.HM9.NotNil.apply(), and com.cliffc.aa.HM.HM9.Lambda.Lambda().

Here is the call graph for this function:

Here is the caller graph for this function:

Member Data Documentation

◆ _args

final String [] com.cliffc.aa.HM.HM9.Lambda._args

packageinherited

Definition at line 459 of file HM9.java.

Referenced by com.cliffc.aa.HM.HM9.Lambda.Lambda(), com.cliffc.aa.HM.HM9.Lambda.p1(), com.cliffc.aa.HM.HM9.Lambda.prep_lookup_deps(), com.cliffc.aa.HM.HM9.Ident.prep_tree(), com.cliffc.aa.HM.HM9.Lambda.str(), and com.cliffc.aa.HM.HM9.Lambda.val().

◆ _body

final Syntax com.cliffc.aa.HM.HM9.Lambda._body

packageinherited

Definition at line 460 of file HM9.java.

Referenced by com.cliffc.aa.HM.HM9.Lambda.add_hm_work(), com.cliffc.aa.HM.HM9.Apply.add_val_work(), com.cliffc.aa.HM.HM9.Lambda.apply(), com.cliffc.aa.HM.HM9.Lambda.hm(), com.cliffc.aa.HM.HM9.Lambda.Lambda(), com.cliffc.aa.HM.HM9.Lambda.more_work(), com.cliffc.aa.HM.HM9.Lambda.p2(), com.cliffc.aa.HM.HM9.Lambda.prep_tree(), com.cliffc.aa.HM.HM9.Lambda.str(), and com.cliffc.aa.HM.HM9.T2.walk_types_in().

◆ _fidx

final int com.cliffc.aa.HM.HM9.Lambda._fidx

packageinherited

Definition at line 463 of file HM9.java.

Referenced by com.cliffc.aa.HM.HM9.Lambda.hm(), com.cliffc.aa.HM.HM9.Lambda.Lambda(), com.cliffc.aa.HM.HM9.PrimSyn.PrimSyn(), and com.cliffc.aa.HM.HM9.Lambda.val().

◆ _flow

Type com.cliffc.aa.HM.HM9.Syntax._flow

packageinherited

Definition at line 332 of file HM9.java.

◆ _hmt

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

packageinherited

Definition at line 324 of file HM9.java.

Referenced by com.cliffc.aa.HM.HM9.Syntax.debug_find(), com.cliffc.aa.HM.HM9.Syntax.find(), com.cliffc.aa.HM.HM9.hm(), com.cliffc.aa.HM.HM9.Syntax.p0(), com.cliffc.aa.HM.HM9.Let.prep_tree(), com.cliffc.aa.HM.HM9.PrimSyn.prep_tree(), com.cliffc.aa.HM.HM9.Syntax.prep_tree_impl(), and com.cliffc.aa.HM.HM9.PrimSyn.PrimSyn().

◆ _nongen

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

packageinherited

Definition at line 323 of file HM9.java.

Referenced by com.cliffc.aa.HM.HM9.Ident.add_hm_work(), com.cliffc.aa.HM.HM9.Ident.hm(), and com.cliffc.aa.HM.HM9.Syntax.prep_tree_impl().

◆ _par

Syntax com.cliffc.aa.HM.HM9.Syntax._par

packageinherited

Definition at line 322 of file HM9.java.

Referenced by com.cliffc.aa.HM.HM9.Ident.add_hm_work(), com.cliffc.aa.HM.HM9.Lambda.add_hm_work(), com.cliffc.aa.HM.HM9.Let.add_hm_work(), com.cliffc.aa.HM.HM9.Apply.add_hm_work(), com.cliffc.aa.HM.HM9.Struct.add_hm_work(), com.cliffc.aa.HM.HM9.Field.add_hm_work(), com.cliffc.aa.HM.HM9.PrimSyn.add_hm_work(), com.cliffc.aa.HM.HM9.hm(), com.cliffc.aa.HM.HM9.Ident.prep_tree(), and com.cliffc.aa.HM.HM9.Syntax.prep_tree_impl().

◆ _targs

final T2 [] com.cliffc.aa.HM.HM9.Lambda._targs

packageinherited

Definition at line 461 of file HM9.java.

Referenced by com.cliffc.aa.HM.HM9.Lambda.add_hm_work(), com.cliffc.aa.HM.HM9.Pair1.Pair1X.apply(), com.cliffc.aa.HM.HM9.Lambda.hm(), com.cliffc.aa.HM.HM9.PrimSyn.hm(), com.cliffc.aa.HM.HM9.Lambda.Lambda(), com.cliffc.aa.HM.HM9.Lambda.prep_lookup_deps(), com.cliffc.aa.HM.HM9.Lambda.prep_tree(), com.cliffc.aa.HM.HM9.PrimSyn.PrimSyn(), com.cliffc.aa.HM.HM9.Lambda.targ(), and com.cliffc.aa.HM.HM9.T2.walk_types_in().

◆ _types

final Type [] com.cliffc.aa.HM.HM9.Lambda._types

packageinherited

Definition at line 462 of file HM9.java.

Referenced by com.cliffc.aa.HM.HM9.Apply.add_val_work(), com.cliffc.aa.HM.HM9.If.hm(), com.cliffc.aa.HM.HM9.Lambda.Lambda(), and com.cliffc.aa.HM.HM9.Lambda.p1().

◆ BOOL

T2 com.cliffc.aa.HM.HM9.PrimSyn.BOOL

staticpackageinherited

Definition at line 927 of file HM9.java.

Referenced by com.cliffc.aa.HM.HM9.EQ.EQ(), com.cliffc.aa.HM.HM9.EQ0.EQ0(), com.cliffc.aa.HM.HM9.IsEmpty.IsEmpty(), and com.cliffc.aa.HM.HM9.PrimSyn.reset().

◆ FLT64

T2 com.cliffc.aa.HM.HM9.PrimSyn.FLT64

staticpackageinherited

Definition at line 927 of file HM9.java.

Referenced by com.cliffc.aa.HM.HM9.Factor.Factor(), and com.cliffc.aa.HM.HM9.PrimSyn.reset().

◆ FUNS

final NonBlockingHashMapLong<Lambda> com.cliffc.aa.HM.HM9.Lambda.FUNS = new NonBlockingHashMapLong<>()

staticpackageinherited

Definition at line 458 of file HM9.java.

Referenced by com.cliffc.aa.HM.HM9.Apply.add_val_work(), com.cliffc.aa.HM.HM9.Lambda.Lambda(), com.cliffc.aa.HM.HM9.reset(), com.cliffc.aa.HM.HM9.Apply.val(), com.cliffc.aa.HM.HM9.T2.walk_types_in(), and com.cliffc.aa.HM.HM9.Root.xval().

◆ IDS

final String [][] com.cliffc.aa.HM.HM9.PrimSyn.IDS

staticprivateinherited

Initial value:

= new String[][] {
      null,
      {"x"},
      {"x","y"},
      {"x","y","z"},
    }

Definition at line 939 of file HM9.java.

Referenced by com.cliffc.aa.HM.HM9.PrimSyn.PrimSyn().

◆ INT64

T2 com.cliffc.aa.HM.HM9.PrimSyn.INT64

staticpackageinherited

Definition at line 927 of file HM9.java.

Referenced by com.cliffc.aa.HM.HM9.Dec.Dec(), com.cliffc.aa.HM.HM9.EQ0.EQ0(), com.cliffc.aa.HM.HM9.Mul.Mul(), com.cliffc.aa.HM.HM9.PrimSyn.reset(), and com.cliffc.aa.HM.HM9.Str.Str().

◆ PAIR_ALIAS

int com.cliffc.aa.HM.HM9.PrimSyn.PAIR_ALIAS

staticpackageinherited

Definition at line 929 of file HM9.java.

Referenced by com.cliffc.aa.HM.HM9.Pair1.Pair1X.apply(), com.cliffc.aa.HM.HM9.Pair.apply(), com.cliffc.aa.HM.HM9.Pair.Pair(), com.cliffc.aa.HM.HM9.Pair1.Pair1(), com.cliffc.aa.HM.HM9.Pair1.Pair1X.Pair1X(), and com.cliffc.aa.HM.HM9.PrimSyn.reset().

◆ STRP

T2 com.cliffc.aa.HM.HM9.PrimSyn.STRP

staticpackageinherited

Definition at line 927 of file HM9.java.

Referenced by com.cliffc.aa.HM.HM9.IsEmpty.IsEmpty(), com.cliffc.aa.HM.HM9.PrimSyn.reset(), and com.cliffc.aa.HM.HM9.Str.Str().

◆ TRIPLE_ALIAS

int com.cliffc.aa.HM.HM9.PrimSyn.TRIPLE_ALIAS

staticpackageinherited

Definition at line 929 of file HM9.java.

Referenced by com.cliffc.aa.HM.HM9.Triple.apply(), com.cliffc.aa.HM.HM9.PrimSyn.reset(), and com.cliffc.aa.HM.HM9.Triple.Triple().

◆ WORK

Worklist com.cliffc.aa.HM.HM9.PrimSyn.WORK

staticpackageinherited

Definition at line 928 of file HM9.java.

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

The documentation for this class was generated from the following file:

HM9.java

Public Member Functions

Package Functions

Static Package Functions

Package Attributes

Static Package Attributes

Static Private Attributes

Detailed Description

Constructor & Destructor Documentation

◆ If()

Member Function Documentation

◆ add_hm_work()

◆ add_val_work()

◆ apply()

◆ debug_find()

◆ find()

◆ hm()

◆ make()

◆ more_work()

◆ more_work_impl()

◆ name()

◆ p()

◆ p0()

◆ p1()

◆ p2()

◆ prep_lookup_deps()

◆ prep_tree()

◆ prep_tree_impl()

◆ reset()

◆ str()

◆ targ()

◆ toString()

◆ val()

Member Data Documentation

◆ _args

◆ _body

◆ _fidx

◆ _flow

◆ _hmt

◆ _nongen

◆ _par

◆ _targs

◆ _types

◆ BOOL

◆ FLT64

◆ FUNS

◆ IDS

◆ INT64

◆ PAIR_ALIAS

◆ STRP

◆ TRIPLE_ALIAS

◆ WORK