1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
/* Check that the redundant test removal code in the *cbranch_t split works
as expected on non-SH2A targets. Because on SH2A the movrt instruction
is used, this test is re-used and checked differently in pr51244-16.c. */
/* { dg-do compile } */
/* { dg-options "-O2" } */
/* { dg-skip-if "" { "sh*-*-*" } { "-m5*" "-m2a*" } { "" } } */
/* { dg-final { scan-assembler-times "tst" 6 } } */
/* { dg-final { scan-assembler-times "movt" 6 } } */
/* { dg-final { scan-assembler-times "xor" 3 } } */
/* { dg-final { scan-assembler-not "extu|exts|negc" } } */
typedef char bool;
int
test_0 (int a, int b, int c, int* d)
{
/* non SH2A: 1x tst, 1x movt, 1x xor
SH2A: 1x tst, 1x movrt */
bool x = a == 0;
d[2] = !x;
return x ? b : c;
}
int
test_1 (int a, int b, int c, int* d)
{
/* 1x tst, 1x movt */
bool x = a != 0;
d[2] = !x;
return x ? b : c;
}
int
test_2 (int a, int b, int c, char* d)
{
/* Check that there is no sign/zero-extension before the store.
non SH2A: 1x tst, 1x movt, 1x xor
SH2A: 1x tst, 1x movrt */
bool x = a == 0;
d[2] = !x;
return x ? b : c;
}
int
test_3 (int a, int b, int c, char* d)
{
/* Check that there is no sign/zero-extension before the store.
1x tst, 1x movt */
bool x = a != 0;
d[2] = !x;
return x ? b : c;
}
int
test_4 (int a, int b, int c, char* d)
{
/* 1x tst, 1x movt */
bool x = a != 0;
d[2] = !x;
return !x ? b : c;
}
int
test_5 (int a, int b, int c, char* d)
{
/* non SH2A: 1x tst, 1x movt, 1x xor
SH2A: 1x tst, 1x movrt */
bool x = a == 0;
d[2] = !x;
return !x ? b : c;
}
|