Re: [Boost-users] [Proto] Reducing domain check in operator

Subject: Re: [Boost-users] [Proto] Reducing domain check in operator
From: Eric Niebler (eric_at_[hidden])
Date: 2009-02-27 01:55:35

joel falcou wrote:
> OK.
> 
> Last question. I changed my make_expr to use domain_of and it worked 
> nice for the base case.

I'm confused. You *were* using domain_of and I told you not to. ???

> Then I changed the domain of the exponent thingy.
> 
> exponent takes a float/double vec adn return an integral vec of the same 
> size. So I gave to simd_expr<tag::exponent_> the same domain as 
> vec<integer>. Now I can build things like :
> 
> exponent(vf) + vi with the proper type and everything works.
> 
> Now, I had some strange behavior in my calalble_context. When I debug 
> it, it seems that the type of exponent(vf) is
> 
> simd_expr< vec<float,4>, domain< simd_info<int,4> > >
> 
> instead of some :
> 
> simd_expr< bp::terminal<vec<float,4> >, domain< simd_info<int,4> > >
> 
> So I don't how how to catch it in my context operator() overload.
> 
> For info, my exponent function is something like :
> 
> template<class A0> static inline typename
> proto::result_of::make_expr< tag::exponent_
> , domain< make_integrer_vec<A0>::info_type >
----^^^^^^

What is domain here?

> , A0 const&>
> exponent( A0 const a0)
> {
> return proto::make_expr< tag::exponent_
> , domain< make_integrer_vec<A0>::info_type > >( boost::cref(a0));
> }

Please post complete code that I can test.

-- 
Eric Niebler
BoostPro Computing
http://www.boostpro.com