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 13:40:51

Joel Falcou wrote:
> Eric Niebler a écrit :
>> 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. ???
> No, I wasn't and you did ;)

Still confused.

<snip>
> Here is a small test case :
> 
> http://codepad.org/x1U86VS9

Hey, that codepad thing is pretty cool. OK, I see the following in your 
simd_context class:

   template<class This,class X>
   struct result<This(bp::tag::terminal,X)>
   {
     // NOTE! I added the following assertion:
     BOOST_MPL_ASSERT_NOT((boost::is_reference<X>));
     typedef typename SimdDesc::type type;
   };

   template<class This,class X>
   struct result<This(bp::tag::terminal,simd_value<X>)>
   {
     typedef typename X::type type;
   };

The MPL assertion I added fired, and the type of X was "const 
simd_value<simd_info<int,4>> &". You probably mean for terminals of that 
type to be handled by the following specialization, but its not because 
of the cv qualifier and the reference.

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