1178476Sjb/* 2178476Sjb * CDDL HEADER START 3178476Sjb * 4178476Sjb * The contents of this file are subject to the terms of the 5178476Sjb * Common Development and Distribution License (the "License"). 6178476Sjb * You may not use this file except in compliance with the License. 7178476Sjb * 8178476Sjb * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE 9178476Sjb * or http://www.opensolaris.org/os/licensing. 10178476Sjb * See the License for the specific language governing permissions 11178476Sjb * and limitations under the License. 12178476Sjb * 13178476Sjb * When distributing Covered Code, include this CDDL HEADER in each 14178476Sjb * file and include the License file at usr/src/OPENSOLARIS.LICENSE. 15178476Sjb * If applicable, add the following below this CDDL HEADER, with the 16178476Sjb * fields enclosed by brackets "[]" replaced with your own identifying 17178476Sjb * information: Portions Copyright [yyyy] [name of copyright owner] 18178476Sjb * 19178476Sjb * CDDL HEADER END 20178476Sjb */ 21178476Sjb 22178476Sjb/* 23178476Sjb * Copyright 2006 Sun Microsystems, Inc. All rights reserved. 24178476Sjb * Use is subject to license terms. 25178476Sjb */ 26178476Sjb 27178476Sjb#pragma ident "%Z%%M% %I% %E% SMI" 28178476Sjb/* 29178476Sjb * ASSERTION: 30178476Sjb * Verify the behavior of speculations with changes in specsize. 31178476Sjb * 32178476Sjb * SECTION: Speculative Tracing/Options and Tuning; 33178476Sjb * Options and Tunables/specsize 34178476Sjb * 35178476Sjb */ 36178476Sjb 37178476Sjb#pragma D option quiet 38178476Sjb#pragma D option specsize=-40 39178476Sjb 40178476SjbBEGIN 41178476Sjb{ 42178476Sjb self->speculateFlag = 0; 43178476Sjb self->commitFlag = 0; 44178476Sjb self->spec = speculation(); 45178476Sjb printf("Speculative buffer ID: %d\n", self->spec); 46178476Sjb} 47178476Sjb 48178476SjbBEGIN 49178476Sjb{ 50178476Sjb speculate(self->spec); 51178476Sjb printf("Lots of data\n"); 52178476Sjb printf("Has to be crammed into this buffer\n"); 53178476Sjb printf("Until it overflows\n"); 54178476Sjb printf("And causes flops\n"); 55178476Sjb self->speculateFlag++; 56178476Sjb 57178476Sjb} 58178476Sjb 59178476SjbBEGIN 60178476Sjb/1 <= self->speculateFlag/ 61178476Sjb{ 62178476Sjb commit(self->spec); 63178476Sjb self->commitFlag++; 64178476Sjb} 65178476Sjb 66178476SjbBEGIN 67178476Sjb/1 <= self->commitFlag/ 68178476Sjb{ 69178476Sjb printf("Statement was executed\n"); 70178476Sjb exit(0); 71178476Sjb} 72178476Sjb 73178476SjbBEGIN 74178476Sjb/1 > self->commitFlag/ 75178476Sjb{ 76178476Sjb printf("Statement wasn't executed\n"); 77178476Sjb exit(1); 78178476Sjb} 79