350 lines
7.0 KiB
C
350 lines
7.0 KiB
C
|
|
/* bug #2947: OptStackOps() attempts to remove non-removable Rhs X */
|
|
|
|
#include <stdio.h>
|
|
#include <stdlib.h>
|
|
|
|
unsigned char t8 = 0;
|
|
int t16 = -1;
|
|
unsigned char r8a, r8b;
|
|
int r16;
|
|
unsigned char c = 10;
|
|
unsigned char d = 1;
|
|
|
|
static int fail = 0;
|
|
|
|
void r8a_xor_test(void)
|
|
{
|
|
/* 'if' needed to produce a label below, moved by OptJumpTarget3 */
|
|
if (t8 != 0) {
|
|
/* Keep X reg at 0 */
|
|
t8 = 0;
|
|
}
|
|
|
|
/* d >= 0 is const, A/X=1 (Warning: Result of comparison is always true) */
|
|
r8a = c ^ (d >= 0);
|
|
|
|
if (r8a != 11) {
|
|
++fail;
|
|
printf("r8a = c ^ (d >= 0) : fail\n");
|
|
}
|
|
}
|
|
|
|
void r8b_xor_test(void)
|
|
{
|
|
/* 'if' needed to produce a label below, moved by OptJumpTarget3 */
|
|
if (t8 != 0) {
|
|
/* Clobber X reg */
|
|
t16 = -1;
|
|
}
|
|
|
|
/* d >= 0 is const, A/X=1 (Warning: Result of comparison is always true) */
|
|
r8b = c ^ (d >= 0);
|
|
|
|
if (r8b != 11) {
|
|
++fail;
|
|
printf("r8b = c ^ (d >= 0) : fail\n");
|
|
}
|
|
}
|
|
|
|
void r8a_or_test(void)
|
|
{
|
|
/* 'if' needed to produce a label below, moved by OptJumpTarget3 */
|
|
if (t8 != 0) {
|
|
/* Keep X reg at 0 */
|
|
t8 = 0;
|
|
}
|
|
|
|
/* d >= 0 is const, A/X=1 (Warning: Result of comparison is always true) */
|
|
r8a = c | (d >= 0);
|
|
|
|
if (r8a != 11) {
|
|
++fail;
|
|
printf("r8a = c | (d >= 0) : fail\n");
|
|
}
|
|
}
|
|
|
|
void r8b_or_test(void)
|
|
{
|
|
/* 'if' needed to produce a label below, moved by OptJumpTarget3 */
|
|
if (t8 != 0) {
|
|
/* Clobber X reg */
|
|
t16 = -1;
|
|
}
|
|
|
|
/* d >= 0 is const, A/X=1 (Warning: Result of comparison is always true) */
|
|
r8b = c | (d >= 0);
|
|
|
|
if (r8b != 11) {
|
|
++fail;
|
|
printf("r8b = c | (d >= 0) : fail\n");
|
|
}
|
|
}
|
|
|
|
void r8a_add_test(void)
|
|
{
|
|
/* 'if' needed to produce a label below, moved by OptJumpTarget3 */
|
|
if (t8 != 0) {
|
|
/* Keep X reg at 0 */
|
|
t8 = 0;
|
|
}
|
|
|
|
/* d >= 0 is const, A/X=1 (Warning: Result of comparison is always true) */
|
|
r8a = c + (d >= 0);
|
|
|
|
if (r8a != 11) {
|
|
++fail;
|
|
printf("r8a = c + (d >= 0) : fail\n");
|
|
}
|
|
}
|
|
|
|
void r8b_add_test(void)
|
|
{
|
|
/* 'if' needed to produce a label below, moved by OptJumpTarget3 */
|
|
if (t8 != 0) {
|
|
/* Clobber X reg */
|
|
t16 = -1;
|
|
}
|
|
|
|
/* d >= 0 is const, A/X=1 (Warning: Result of comparison is always true) */
|
|
r8b = c + (d >= 0);
|
|
|
|
if (r8b != 11) {
|
|
++fail;
|
|
printf("r8b = c + (d >= 0) : fail\n");
|
|
}
|
|
}
|
|
|
|
void r8a_sub_test(void)
|
|
{
|
|
/* 'if' needed to produce a label below, moved by OptJumpTarget3 */
|
|
if (t8 != 0) {
|
|
/* Keep X reg at 0 */
|
|
t8 = 0;
|
|
}
|
|
|
|
/* d >= 0 is const, A/X=1 (Warning: Result of comparison is always true) */
|
|
r8a = c - (d >= 0);
|
|
|
|
if (r8a != 9) {
|
|
++fail;
|
|
printf("r8a = c - (d >= 0) : fail\n");
|
|
}
|
|
}
|
|
|
|
void r8b_sub_test(void)
|
|
{
|
|
/* 'if' needed to produce a label below, moved by OptJumpTarget3 */
|
|
if (t8 != 0) {
|
|
/* Clobber X reg */
|
|
t16 = -1;
|
|
}
|
|
|
|
/* d >= 0 is const, A/X=1 (Warning: Result of comparison is always true) */
|
|
r8b = c - (d >= 0);
|
|
|
|
if (r8b != 9) {
|
|
++fail;
|
|
printf("r8b = c - (d >= 0) : fail\n");
|
|
}
|
|
}
|
|
|
|
void r8a_ge_test(void)
|
|
{
|
|
/* 'if' needed to produce a label below, moved by OptJumpTarget3 */
|
|
if (t8 != 0) {
|
|
/* Keep X reg at 0 */
|
|
t8 = 0;
|
|
}
|
|
|
|
/* d >= 0 is const, A/X=1 (Warning: Result of comparison is always true) */
|
|
r8a = c >= (d >= 0);
|
|
|
|
if (r8a != 1) {
|
|
++fail;
|
|
printf("r8a = c >= (d >= 0) : fail\n");
|
|
}
|
|
}
|
|
|
|
void r8b_ge_test(void)
|
|
{
|
|
/* 'if' needed to produce a label below, moved by OptJumpTarget3 */
|
|
if (t8 != 0) {
|
|
/* Clobber X reg */
|
|
t16 = -1;
|
|
}
|
|
|
|
/* d >= 0 is const, A/X=1 (Warning: Result of comparison is always true) */
|
|
r8b = c >= (d >= 0);
|
|
|
|
if (r8b != 1) {
|
|
++fail;
|
|
printf("r8b = c >= (d >= 0) : fail\n");
|
|
}
|
|
}
|
|
|
|
void r8a_le_test(void)
|
|
{
|
|
/* 'if' needed to produce a label below, moved by OptJumpTarget3 */
|
|
if (t8 != 0) {
|
|
/* Keep X reg at 0 */
|
|
t8 = 0;
|
|
}
|
|
|
|
/* d >= 0 is const, A/X=1 (Warning: Result of comparison is always true) */
|
|
r8a = d <= (d >= 0);
|
|
|
|
if (r8a != 1) {
|
|
++fail;
|
|
printf("r8a = d <= (d >= 0) : fail\n");
|
|
}
|
|
}
|
|
|
|
void r8b_le_test(void)
|
|
{
|
|
/* 'if' needed to produce a label below, moved by OptJumpTarget3 */
|
|
if (t8 != 0) {
|
|
/* Clobber X reg */
|
|
t16 = -1;
|
|
}
|
|
|
|
/* d >= 0 is const, A/X=1 (Warning: Result of comparison is always true) */
|
|
r8b = d <= (d >= 0);
|
|
|
|
if (r8b != 1) {
|
|
++fail;
|
|
printf("r8b = d <= (d >= 0) : fail\n");
|
|
}
|
|
}
|
|
|
|
void r16_xor_test(void)
|
|
{
|
|
/* 'if' needed to produce a label below */
|
|
if (t16 != 0) {
|
|
/* Clobber X reg */
|
|
t16 = -1;
|
|
}
|
|
|
|
/* d >= 0 is const, A/X=1 (Warning: Result of comparison is always true) */
|
|
r16 = c ^ (d >= 0);
|
|
|
|
if (r16 != 11) {
|
|
++fail;
|
|
printf("r16 = c ^ (d >= 0) : fail\n");
|
|
}
|
|
}
|
|
|
|
void r16_or_test(void)
|
|
{
|
|
/* 'if' needed to produce a label below */
|
|
if (t16 != 0) {
|
|
/* Clobber X reg */
|
|
t16 = -1;
|
|
}
|
|
|
|
/* d >= 0 is const, A/X=1 (Warning: Result of comparison is always true) */
|
|
r16 = c | (d >= 0);
|
|
|
|
if (r16 != 11) {
|
|
++fail;
|
|
printf("r16 = c | (d >= 0) : fail\n");
|
|
}
|
|
}
|
|
|
|
void r16_add_test(void)
|
|
{
|
|
/* 'if' needed to produce a label below */
|
|
if (t16 != 0) {
|
|
/* Clobber X reg */
|
|
t16 = -1;
|
|
}
|
|
|
|
/* d >= 0 is const, A/X=1 (Warning: Result of comparison is always true) */
|
|
r16 = c + (d >= 0);
|
|
|
|
if (r16 != 11) {
|
|
++fail;
|
|
printf("r16 = c + (d >= 0) : fail\n");
|
|
}
|
|
}
|
|
|
|
void r16_sub_test(void)
|
|
{
|
|
/* 'if' needed to produce a label below */
|
|
if (t16 != 0) {
|
|
/* Clobber X reg */
|
|
t16 = -1;
|
|
}
|
|
|
|
/* d >= 0 is const, A/X=1 (Warning: Result of comparison is always true) */
|
|
r16 = c - (d >= 0);
|
|
|
|
if (r16 != 9) {
|
|
++fail;
|
|
printf("r16 = c - (d >= 0) : fail\n");
|
|
}
|
|
}
|
|
|
|
void r16_ge_test(void)
|
|
{
|
|
/* 'if' needed to produce a label below */
|
|
if (t16 != 0) {
|
|
/* Clobber X reg */
|
|
t16 = -1;
|
|
}
|
|
|
|
/* d >= 0 is const, A/X=1 (Warning: Result of comparison is always true) */
|
|
r16 = c >= (d >= 0);
|
|
|
|
if (r16 != 1) {
|
|
++fail;
|
|
printf("r16 = c >= (d >= 0) : fail\n");
|
|
}
|
|
}
|
|
|
|
void r16_le_test(void)
|
|
{
|
|
/* 'if' needed to produce a label below */
|
|
if (t16 != 0) {
|
|
/* Keep X reg at 0 */
|
|
t16 = -1;
|
|
}
|
|
|
|
/* d >= 0 is const, A/X=1 (Warning: Result of comparison is always true) */
|
|
r16 = d <= (unsigned int)(d >= 0);
|
|
|
|
if (r16 != 1) {
|
|
++fail;
|
|
printf("r16 = d <= (d >= 0) : fail\n");
|
|
}
|
|
}
|
|
|
|
int main(void)
|
|
{
|
|
r8a_xor_test();
|
|
r8b_xor_test();
|
|
r8a_or_test();
|
|
r8b_or_test();
|
|
|
|
r8a_add_test();
|
|
r8b_add_test();
|
|
r8a_sub_test();
|
|
r8b_sub_test();
|
|
|
|
r8a_ge_test();
|
|
r8b_ge_test();
|
|
r8a_le_test();
|
|
r8b_le_test();
|
|
|
|
r16_xor_test();
|
|
r16_or_test();
|
|
|
|
r16_add_test();
|
|
r16_sub_test();
|
|
|
|
r16_ge_test();
|
|
r16_le_test();
|
|
|
|
return fail == 0 ? EXIT_SUCCESS : EXIT_FAILURE;
|
|
}
|