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 * Calling speculate() with zero does not have any ill effects. 32178476Sjb * Statement after speculate does not execute. 33178476Sjb * 34178476Sjb * SECTION: Speculative Tracing/Creating a Speculation 35178476Sjb */ 36178476Sjb 37178476Sjb#pragma D option quiet 38178476Sjb 39178476SjbBEGIN 40178476Sjb{ 41178476Sjb self->speculateFlag = 0; 42178476Sjb self->spec = speculation(); 43178476Sjb self->spec = speculation(); 44178476Sjb printf("Speculative buffer ID: %d\n", self->spec); 45178476Sjb} 46178476Sjb 47178476SjbBEGIN 48178476Sjb{ 49178476Sjb speculate(self->spec); 50178476Sjb self->speculateFlag++; 51178476Sjb} 52178476Sjb 53178476SjbBEGIN 54178476Sjb/1 == self->speculateFlag/ 55178476Sjb{ 56178476Sjb printf("Statement was executed\n"); 57178476Sjb exit(1); 58178476Sjb} 59178476Sjb 60178476SjbBEGIN 61178476Sjb/1 != self->speculateFlag/ 62178476Sjb{ 63178476Sjb printf("Statement wasn't executed\n"); 64178476Sjb exit(0); 65178476Sjb} 66