1*2be1a816SJohn Birrell /* 2*2be1a816SJohn Birrell * CDDL HEADER START 3*2be1a816SJohn Birrell * 4*2be1a816SJohn Birrell * The contents of this file are subject to the terms of the 5*2be1a816SJohn Birrell * Common Development and Distribution License (the "License"). 6*2be1a816SJohn Birrell * You may not use this file except in compliance with the License. 7*2be1a816SJohn Birrell * 8*2be1a816SJohn Birrell * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE 9*2be1a816SJohn Birrell * or http://www.opensolaris.org/os/licensing. 10*2be1a816SJohn Birrell * See the License for the specific language governing permissions 11*2be1a816SJohn Birrell * and limitations under the License. 12*2be1a816SJohn Birrell * 13*2be1a816SJohn Birrell * When distributing Covered Code, include this CDDL HEADER in each 14*2be1a816SJohn Birrell * file and include the License file at usr/src/OPENSOLARIS.LICENSE. 15*2be1a816SJohn Birrell * If applicable, add the following below this CDDL HEADER, with the 16*2be1a816SJohn Birrell * fields enclosed by brackets "[]" replaced with your own identifying 17*2be1a816SJohn Birrell * information: Portions Copyright [yyyy] [name of copyright owner] 18*2be1a816SJohn Birrell * 19*2be1a816SJohn Birrell * CDDL HEADER END 20*2be1a816SJohn Birrell */ 21*2be1a816SJohn Birrell 22*2be1a816SJohn Birrell /* 23*2be1a816SJohn Birrell * Copyright 2007 Sun Microsystems, Inc. All rights reserved. 24*2be1a816SJohn Birrell * Use is subject to license terms. 25*2be1a816SJohn Birrell */ 26*2be1a816SJohn Birrell 27*2be1a816SJohn Birrell #pragma ident "%Z%%M% %I% %E% SMI" 28*2be1a816SJohn Birrell 29*2be1a816SJohn Birrell /* 30*2be1a816SJohn Birrell * ASSERTION: 31*2be1a816SJohn Birrell * Increasing the value of nspec to two should will increase the number of 32*2be1a816SJohn Birrell * speculative buffers to two. 33*2be1a816SJohn Birrell * 34*2be1a816SJohn Birrell * SECTION: Speculative Tracing/Options and Tuning; 35*2be1a816SJohn Birrell * Options and Tunables/nspec 36*2be1a816SJohn Birrell * 37*2be1a816SJohn Birrell */ 38*2be1a816SJohn Birrell 39*2be1a816SJohn Birrell #pragma D option quiet 40*2be1a816SJohn Birrell #pragma D option cleanrate=3000hz 41*2be1a816SJohn Birrell #pragma D option nspec=2 42*2be1a816SJohn Birrell 43*2be1a816SJohn Birrell BEGIN 44*2be1a816SJohn Birrell { 45*2be1a816SJohn Birrell var1 = 0; 46*2be1a816SJohn Birrell var2 = 0; 47*2be1a816SJohn Birrell var3 = 0; 48*2be1a816SJohn Birrell } 49*2be1a816SJohn Birrell 50*2be1a816SJohn Birrell BEGIN 51*2be1a816SJohn Birrell { 52*2be1a816SJohn Birrell var1 = speculation(); 53*2be1a816SJohn Birrell printf("Speculation ID: %d\n", var1); 54*2be1a816SJohn Birrell var2 = speculation(); 55*2be1a816SJohn Birrell printf("Speculation ID: %d\n", var2); 56*2be1a816SJohn Birrell var3 = speculation(); 57*2be1a816SJohn Birrell printf("Speculation ID: %d\n", var3); 58*2be1a816SJohn Birrell } 59*2be1a816SJohn Birrell 60*2be1a816SJohn Birrell BEGIN 61*2be1a816SJohn Birrell /var1 && var2 && (!var3)/ 62*2be1a816SJohn Birrell { 63*2be1a816SJohn Birrell printf("Succesfully got two speculative buffers"); 64*2be1a816SJohn Birrell exit(0); 65*2be1a816SJohn Birrell } 66*2be1a816SJohn Birrell 67*2be1a816SJohn Birrell BEGIN 68*2be1a816SJohn Birrell /(!var1) || (!var2) || var3/ 69*2be1a816SJohn Birrell { 70*2be1a816SJohn Birrell printf("Test failed"); 71*2be1a816SJohn Birrell exit(1); 72*2be1a816SJohn Birrell } 73*2be1a816SJohn Birrell 74*2be1a816SJohn Birrell ERROR 75*2be1a816SJohn Birrell { 76*2be1a816SJohn Birrell exit(1); 77*2be1a816SJohn Birrell } 78