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:
312633Sahl  * Increasing the value of nspec to two should will increase the number of
322633Sahl  * speculative buffers to two.
332633Sahl  *
342633Sahl  * SECTION: Speculative Tracing/Options and Tuning;
352633Sahl  *		Options and Tunables/nspec
362633Sahl  *
372633Sahl  */
382633Sahl 
392633Sahl #pragma D option quiet
40*4926Sjhaslam #pragma D option cleanrate=3000hz
412633Sahl #pragma D option nspec=2
422633Sahl 
432633Sahl BEGIN
442633Sahl {
452633Sahl 	var1 = 0;
462633Sahl 	var2 = 0;
472633Sahl 	var3 = 0;
482633Sahl }
492633Sahl 
502633Sahl BEGIN
512633Sahl {
522633Sahl 	var1 = speculation();
532633Sahl 	printf("Speculation ID: %d\n", var1);
542633Sahl 	var2 = speculation();
552633Sahl 	printf("Speculation ID: %d\n", var2);
562633Sahl 	var3 = speculation();
572633Sahl 	printf("Speculation ID: %d\n", var3);
582633Sahl }
592633Sahl 
602633Sahl BEGIN
612633Sahl /var1 && var2 && (!var3)/
622633Sahl {
632633Sahl 	printf("Succesfully got two speculative buffers");
642633Sahl 	exit(0);
652633Sahl }
662633Sahl 
672633Sahl BEGIN
682633Sahl /(!var1) || (!var2) || var3/
692633Sahl {
702633Sahl 	printf("Test failed");
712633Sahl 	exit(1);
722633Sahl }
732633Sahl 
742633Sahl ERROR
752633Sahl {
762633Sahl 	exit(1);
772633Sahl }
78