| 137 | // Handle cases where 'this.is_simple()' and unequal to 't'. |
| 138 | // Subclassed xmeet calls can assert that '!t.is_simple()'. |
| 139 | Type xmeet(Type t) { |
| 140 | assert is_simple(); // Should be overridden in subclass |
| 141 | // ANY meet anything is thing; thing meet ALL is ALL |
| 142 | if( _type==TBOT || t._type==TTOP ) return this; |
| 143 | if( _type==TTOP || t._type==TBOT ) return t; |
| 144 | // 'this' is {TCTRL,TXCTRL} |
| 145 | if( !t.is_simple() ) return BOTTOM; |
| 146 | // 't' is {TCTRL,TXCTRL} |
| 147 | return _type==TCTRL || t._type==TCTRL ? CONTROL : XCONTROL; |
| 148 | } |
| 149 | |
| 150 | public Type dual() { |
| 151 | return switch( _type ) { |