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/* 30178476Sjb * ASSERTION: 31178476Sjb * Verify the behavior of variations in specsize. 32178476Sjb * 33178476Sjb * SECTION: Speculative Tracing/Options and Tuning; 34178476Sjb * Options and Tunables/specsize 35178476Sjb * 36178476Sjb * BUG: 1001148 37178476Sjb * 38178476Sjb * NOTES: This code has four different behaviors. 39178476Sjb * 1. 0 < specsize < 8 40178476Sjb * 2. 8 <= specsize <= 39 || 0 == specsize 41178476Sjb * 3. 40 <= specsize 42178476Sjb * 4. 0 > specsize 43178476Sjb * 44178476Sjb */ 45178476Sjb 46178476Sjb#pragma D option quiet 47178476Sjb#pragma D option specsize=10 48178476Sjb 49178476SjbBEGIN 50178476Sjb{ 51178476Sjb self->speculateFlag = 0; 52178476Sjb self->commitFlag = 0; 53178476Sjb self->spec = speculation(); 54178476Sjb printf("Speculative buffer ID: %d\n", self->spec); 55178476Sjb} 56178476Sjb 57178476SjbBEGIN 58178476Sjb{ 59178476Sjb speculate(self->spec); 60178476Sjb printf("Lots of data\n"); 61178476Sjb printf("Has to be crammed into this buffer\n"); 62178476Sjb printf("Until it overflows\n"); 63178476Sjb printf("And causes flops\n"); 64178476Sjb self->speculateFlag++; 65178476Sjb 66178476Sjb} 67178476Sjb 68178476SjbBEGIN 69178476Sjb/1 <= self->speculateFlag/ 70178476Sjb{ 71178476Sjb commit(self->spec); 72178476Sjb self->commitFlag++; 73178476Sjb} 74178476Sjb 75178476SjbBEGIN 76178476Sjb/1 <= self->commitFlag/ 77178476Sjb{ 78178476Sjb printf("Statement was executed\n"); 79178476Sjb exit(0); 80178476Sjb} 81178476Sjb 82178476SjbBEGIN 83178476Sjb/1 > self->commitFlag/ 84178476Sjb{ 85178476Sjb printf("Statement wasn't executed\n"); 86178476Sjb exit(1); 87178476Sjb} 88