blob: 3afe7d863561e461e9977ba47f29db1c025155b8 [file] [log] [blame]
/* **********************************************************
* Copyright (c) 2008-2010 VMware, Inc. All rights reserved.
* **********************************************************/
/*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
*
* * Redistributions of source code must retain the above copyright notice,
* this list of conditions and the following disclaimer.
*
* * Redistributions in binary form must reproduce the above copyright notice,
* this list of conditions and the following disclaimer in the documentation
* and/or other materials provided with the distribution.
*
* * Neither the name of VMware, Inc. nor the names of its contributors may be
* used to endorse or promote products derived from this software without
* specific prior written permission.
*
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
* ARE DISCLAIMED. IN NO EVENT SHALL VMWARE, INC. OR CONTRIBUTORS BE LIABLE
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
* SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
* CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH
* DAMAGE.
*/
#include <stdio.h>
__declspec(dllexport,noinline)
void start_instrument()
{}
__declspec(dllexport,noinline)
void stop_instrument()
{}
int main(int argc)
{
int i, x, y;
/* dummy marker to inform client lib to start instrumenting */
start_instrument();
x = argc;
y = 0;
/* We should have one branch that alternates between taken and not
* taken, and a back edge that is taken 9 times and not taken
* once. Without optimization, however, we seem to have one extra
* cbr that's always taken. If we turn on optimization, we'll
* have to adjust the expected output.
*/
i = 0;
do {
if (x % 2) {
y++;
}
i++;
x++;
} while (i < 10);
/* dummy marker to inform client lib to stop instrumenting */
stop_instrument();
fprintf(stderr, "y=%d\n", y);
return 0;
}