annotate gcc/testsuite/gcc.dg/tree-ssa/foldconst-3.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* { dg-do compile } */
kono
parents:
diff changeset
2 /* { dg-options "-O2 -fdump-tree-optimized -fno-short-enums" } */
kono
parents:
diff changeset
3 typedef const union tree_node *const_tree;
kono
parents:
diff changeset
4 typedef struct
kono
parents:
diff changeset
5 {
kono
parents:
diff changeset
6 }
kono
parents:
diff changeset
7 double_int;
kono
parents:
diff changeset
8 double_int double_int_zext (double_int, unsigned);
kono
parents:
diff changeset
9 enum tree_code
kono
parents:
diff changeset
10 { ERROR_MARK, IDENTIFIER_NODE, TREE_LIST, BLOCK, ENUMERAL_TYPE, BOOLEAN_TYPE,
kono
parents:
diff changeset
11 INTEGER_TYPE, ARRAY_TYPE, INTEGER_CST, VAR_DECL, PARM_DECL, RESULT_DECL,
kono
parents:
diff changeset
12 };
kono
parents:
diff changeset
13 enum tree_code_class
kono
parents:
diff changeset
14 { tcc_exceptional, tcc_constant, tcc_type, tcc_declaration, tcc_reference, };
kono
parents:
diff changeset
15 struct tree_base
kono
parents:
diff changeset
16 {
kono
parents:
diff changeset
17 __extension__ enum tree_code code:16;
kono
parents:
diff changeset
18 unsigned unsigned_flag:1;
kono
parents:
diff changeset
19 };
kono
parents:
diff changeset
20 struct tree_type
kono
parents:
diff changeset
21 {
kono
parents:
diff changeset
22 unsigned int precision:10;
kono
parents:
diff changeset
23 union tree_type_symtab
kono
parents:
diff changeset
24 {
kono
parents:
diff changeset
25 } symtab;
kono
parents:
diff changeset
26 };
kono
parents:
diff changeset
27 union tree_node
kono
parents:
diff changeset
28 {
kono
parents:
diff changeset
29 struct tree_base base;
kono
parents:
diff changeset
30 struct tree_type type;
kono
parents:
diff changeset
31 };
kono
parents:
diff changeset
32 const enum tree_code_class tree_code_type[] =
kono
parents:
diff changeset
33 { tcc_exceptional, 1, 0, 0, 0, 0, 2, };
kono
parents:
diff changeset
34 extern void tree_class_check_failed (const_tree, const char *);
kono
parents:
diff changeset
35
kono
parents:
diff changeset
36 void
kono
parents:
diff changeset
37 int_fits_type_p (const_tree c, const_tree type)
kono
parents:
diff changeset
38 {
kono
parents:
diff changeset
39 double_int dc, dd;
kono
parents:
diff changeset
40 {
kono
parents:
diff changeset
41 if (((enum tree_code) (type)->base.code) == INTEGER_TYPE && ((
kono
parents:
diff changeset
42 {
kono
parents:
diff changeset
43 __typeof
kono
parents:
diff changeset
44 (type) __t
kono
parents:
diff changeset
45 = (type);
kono
parents:
diff changeset
46 if
kono
parents:
diff changeset
47 (tree_code_type
kono
parents:
diff changeset
48 [(int)
kono
parents:
diff changeset
49 (((enum
kono
parents:
diff changeset
50 tree_code)
kono
parents:
diff changeset
51 (__t)->
kono
parents:
diff changeset
52 base.
kono
parents:
diff changeset
53 code))]
kono
parents:
diff changeset
54 !=
kono
parents:
diff changeset
55 (tcc_type))
kono
parents:
diff changeset
56 tree_class_check_failed
kono
parents:
diff changeset
57 (__t,
kono
parents:
diff changeset
58 __FUNCTION__);
kono
parents:
diff changeset
59 __t;})->
kono
parents:
diff changeset
60 base.
kono
parents:
diff changeset
61 unsigned_flag))
kono
parents:
diff changeset
62 dd = double_int_zext (dd, ((
kono
parents:
diff changeset
63 {
kono
parents:
diff changeset
64 __typeof (type) __t = (type);
kono
parents:
diff changeset
65 if (tree_code_type
kono
parents:
diff changeset
66 [(int)
kono
parents:
diff changeset
67 (((enum tree_code) (__t)->base.
kono
parents:
diff changeset
68 code))] !=
kono
parents:
diff changeset
69 (tcc_type))
kono
parents:
diff changeset
70 tree_class_check_failed (__t,
kono
parents:
diff changeset
71 __FUNCTION__);
kono
parents:
diff changeset
72 __t;}
kono
parents:
diff changeset
73 )->type.precision));
kono
parents:
diff changeset
74 }
kono
parents:
diff changeset
75 }
kono
parents:
diff changeset
76 /* The switch should be switch converted and later constant propagated. */
kono
parents:
diff changeset
77 /* { dg-final { scan-tree-dump-not "tree_code_type" "optimized"} } */