[linux-ia64] Predication vs. Branching

[linux-ia64] Predication vs. Branching

[Jonathan Case Nicklin]

Hi,

This might not be the appropriate forum, but what the heck. Does anyone
have
a definitive answer on what happens to predicated instructions that are
not
executed (ie where in the pipeline are they discarded). The reason I ask

this is because i am curious about the threshold where it becomes better

to branch around a section of code rather than predicate it.

Best Regards,
Jonathan Nicklin

Re: [linux-ia64] Predication vs. Branching

[Jonathan Case Nicklin]

Dan Pop wrote:

> On Tue, 19 Sep 2000, Jonathan Case Nicklin wrote:
>
> > This might not be the appropriate forum, but what the heck. Does anyone
> > have
> > a definitive answer on what happens to predicated instructions that are
> > not
> > executed (ie where in the pipeline are they discarded).
>
> According to the manual, they become NOPs of the appropriate type.
>
> Dan

Dan,
    But When? Do they always consume execution resources or are they
dropped as soon as their predicate dependency is fulfilled... assuming their

dependent predicate evaluates false and that there are predicate dependent
instructions in the pipeline.

-Jonathan Nicklin

Re: [linux-ia64] Predication vs. Branching

[Jonathan Case Nicklin]

Dan Pop wrote:

> On Tue, 19 Sep 2000, Jonathan Case Nicklin wrote:
>
> > Dan Pop wrote:
> >
> > > On Tue, 19 Sep 2000, Jonathan Case Nicklin wrote:
> > >
> > > > This might not be the appropriate forum, but what the heck. Does
anyone
> > > > have
> > > > a definitive answer on what happens to predicated instructions
that are
> > > > not
> > > > executed (ie where in the pipeline are they discarded).
> > >
> > > According to the manual, they become NOPs of the appropriate type.

> > >
> > > Dan
> >
> > Dan,
> >     But When? Do they always consume execution resources or are they

> > dropped as soon as their predicate dependency is fulfilled...
assuming their
> >
> > dependent predicate evaluates false and that there are predicate
dependent
> > instructions in the pipeline.
>
> According to the Itanium microarchitecture manual, they do consume
> execution resources, by their mere presence in the bundle.
>
> I.e. the following code still keeps the CPU busy for one cycle:
>
> {.mib
>         nop.m   0
>         nop.i   0
>         nop.b   0
> }
> {.mib
>         nop.m   0
>         nop.i   0
>         nop.b   0
> }
>
> No execution unit can be assigned to a more useful instruction during
> that cycle.
>
> Replacing the NOPs by predicated away instructions of the
> corresponding types shouldn't change anything.
>
> Dan
>
> _______________________________________________
> Linux-IA64 mailing list
> Linux-IA64@linuxia64.org
> http://lists.linuxia64.org/lists/listinfo/linux-ia64

Dan,

okey-dokey... The predicated instructions that are not executed do
consume
execution resources because they evaluate to NOPs... and NOPs do carry
all
the way through the pipeline until commit (this is what i was curious
about).
Now the question is, at what point does it become more efficient to
branch
rather than predicate? I assume this would dependent on the pipeline
depth
and total Instruction Fetch Bandwidth.

Thanks,
Jonathan Nicklin

Re: [linux-ia64] Predication vs. Branching

[Dan Pop]

On Tue, 19 Sep 2000, Jonathan Case Nicklin wrote:

> This might not be the appropriate forum, but what the heck. Does anyone
> have
> a definitive answer on what happens to predicated instructions that are
> not
> executed (ie where in the pipeline are they discarded).

According to the manual, they become NOPs of the appropriate type.

Dan

Re: [linux-ia64] Predication vs. Branching

[Dan Pop]

On Tue, 19 Sep 2000, Jonathan Case Nicklin wrote:

> Dan Pop wrote:
> 
> > On Tue, 19 Sep 2000, Jonathan Case Nicklin wrote:
> >
> > > This might not be the appropriate forum, but what the heck. Does anyone
> > > have
> > > a definitive answer on what happens to predicated instructions that are
> > > not
> > > executed (ie where in the pipeline are they discarded).
> >
> > According to the manual, they become NOPs of the appropriate type.
> >
> > Dan
> 
> Dan,
>     But When? Do they always consume execution resources or are they
> dropped as soon as their predicate dependency is fulfilled... assuming their
> 
> dependent predicate evaluates false and that there are predicate dependent
> instructions in the pipeline.

According to the Itanium microarchitecture manual, they do consume
execution resources, by their mere presence in the bundle.

I.e. the following code still keeps the CPU busy for one cycle:

{.mib
	nop.m	0
	nop.i	0
	nop.b	0
}
{.mib
	nop.m   0
	nop.i   0
	nop.b   0
}

No execution unit can be assigned to a more useful instruction during
that cycle.

Replacing the NOPs by predicated away instructions of the
corresponding types shouldn't change anything.

Dan