src/share/vm/opto/type.hpp

*** 166,176 ****
    int higher_equal( const Type *t ) const { return !cmp(meet(t),t); }
  
    // MEET operation; lower in lattice.
    const Type *meet( const Type *t ) const;
    // WIDEN: 'widens' for Ints and other range types
!   virtual const Type *widen( const Type *old ) const { return this; }
    // NARROW: complement for widen, used by pessimistic phases
    virtual const Type *narrow( const Type *old ) const { return this; }
  
    // DUAL operation: reflect around lattice centerline.  Used instead of
    // join to ensure my lattice is symmetric up and down.
--- 166,176 ----
    int higher_equal( const Type *t ) const { return !cmp(meet(t),t); }
  
    // MEET operation; lower in lattice.
    const Type *meet( const Type *t ) const;
    // WIDEN: 'widens' for Ints and other range types
!   virtual const Type *widen( const Type *old, const Type* limit ) const { return this; }
    // NARROW: complement for widen, used by pessimistic phases
    virtual const Type *narrow( const Type *old ) const { return this; }
  
    // DUAL operation: reflect around lattice centerline.  Used instead of
    // join to ensure my lattice is symmetric up and down.
*** 407,417 ****
  
    virtual bool        is_finite() const;  // Has a finite value
  
    virtual const Type *xmeet( const Type *t ) const;
    virtual const Type *xdual() const;    // Compute dual right now.
!   virtual const Type *widen( const Type *t ) const;
    virtual const Type *narrow( const Type *t ) const;
    // Do not kill _widen bits.
    virtual const Type *filter( const Type *kills ) const;
    // Convenience common pre-built types.
    static const TypeInt *MINUS_1;
--- 407,417 ----
  
    virtual bool        is_finite() const;  // Has a finite value
  
    virtual const Type *xmeet( const Type *t ) const;
    virtual const Type *xdual() const;    // Compute dual right now.
!   virtual const Type *widen( const Type *t, const Type* limit_type ) const;
    virtual const Type *narrow( const Type *t ) const;
    // Do not kill _widen bits.
    virtual const Type *filter( const Type *kills ) const;
    // Convenience common pre-built types.
    static const TypeInt *MINUS_1;
*** 463,473 ****
  
    virtual bool        is_finite() const;  // Has a finite value
  
    virtual const Type *xmeet( const Type *t ) const;
    virtual const Type *xdual() const;    // Compute dual right now.
!   virtual const Type *widen( const Type *t ) const;
    virtual const Type *narrow( const Type *t ) const;
    // Do not kill _widen bits.
    virtual const Type *filter( const Type *kills ) const;
    // Convenience common pre-built types.
    static const TypeLong *MINUS_1;
--- 463,473 ----
  
    virtual bool        is_finite() const;  // Has a finite value
  
    virtual const Type *xmeet( const Type *t ) const;
    virtual const Type *xdual() const;    // Compute dual right now.
!   virtual const Type *widen( const Type *t, const Type* limit_type ) const;
    virtual const Type *narrow( const Type *t ) const;
    // Do not kill _widen bits.
    virtual const Type *filter( const Type *kills ) const;
    // Convenience common pre-built types.
    static const TypeLong *MINUS_1;