12633Sahl /*
22633Sahl  * CDDL HEADER START
32633Sahl  *
42633Sahl  * The contents of this file are subject to the terms of the
52633Sahl  * Common Development and Distribution License (the "License").
62633Sahl  * You may not use this file except in compliance with the License.
72633Sahl  *
82633Sahl  * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
92633Sahl  * or http://www.opensolaris.org/os/licensing.
102633Sahl  * See the License for the specific language governing permissions
112633Sahl  * and limitations under the License.
122633Sahl  *
132633Sahl  * When distributing Covered Code, include this CDDL HEADER in each
142633Sahl  * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
152633Sahl  * If applicable, add the following below this CDDL HEADER, with the
162633Sahl  * fields enclosed by brackets "[]" replaced with your own identifying
172633Sahl  * information: Portions Copyright [yyyy] [name of copyright owner]
182633Sahl  *
192633Sahl  * CDDL HEADER END
202633Sahl  */
212633Sahl 
222633Sahl /*
23*4926Sjhaslam  * Copyright 2007 Sun Microsystems, Inc.  All rights reserved.
242633Sahl  * Use is subject to license terms.
252633Sahl  */
262633Sahl 
272633Sahl #pragma ident	"%Z%%M%	%I%	%E% SMI"
282633Sahl 
292633Sahl /*
302633Sahl  * ASSERTION: Test the normal behavior of speculate() and discard().
312633Sahl  *
322633Sahl  * SECTION: Speculative Tracing/Discarding a Speculation;
332633Sahl  *	Options and Tunables/cleanrate
342633Sahl  *
352633Sahl  */
362633Sahl #pragma D option quiet
37*4926Sjhaslam #pragma D option cleanrate=2000hz
382633Sahl 
392633Sahl BEGIN
402633Sahl {
412633Sahl 	self->var = speculation();
422633Sahl 	printf("Speculation ID: %d\n", self->var);
432633Sahl 	self->speculate = 0;
442633Sahl 	self->discard = 0;
452633Sahl }
462633Sahl 
472633Sahl BEGIN
482633Sahl /1 > self->speculate/
492633Sahl {
502633Sahl 	speculate(self->var);
512633Sahl 	self->speculate++;
522633Sahl 	printf("Called speculate on id: %d\n", self->var);
532633Sahl }
542633Sahl 
552633Sahl BEGIN
562633Sahl /1 <= self->speculate/
572633Sahl {
582633Sahl 	discard(self->var);
592633Sahl 	self->discard++;
602633Sahl }
612633Sahl 
622633Sahl BEGIN
632633Sahl /(1 == self->discard)/
642633Sahl {
652633Sahl 	printf("Succesfully tested buffer discard\n");
662633Sahl 	exit(0);
672633Sahl }
682633Sahl 
692633Sahl BEGIN
702633Sahl /(0 == self->discard)/
712633Sahl {
722633Sahl 	printf("Failed to discard buffer\n");
732633Sahl 	exit(1);
742633Sahl }
75