blob: 3ae9e3a64c0f2703dbe10b7f98a4c0546624e26b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#define uint unsigned int
uint xtc_umul_ytc(uint x, uint y) { return (x * 3) * (y * 2); }
/*
* check-name: canonical-muldiv
* check-description:
* 1) verify that constants in mul chains are
* pushed at the right of the whole chain.
* For example '(a * 3) * b' must be canonicalized into '(a * b) * 1'
* This is needed in general for constant simplification;
* for example, for:
* '(a * 3) * (b * 2)'
* to be simplified into:
* '(a * b) * 6'
*
* check-command: test-linearize -Wno-decl $file
* check-known-to-fail
* check-output-ignore
*
* check-output-excludes: \\$3
* check-output-excludes: \\$2
* check-output-contains: \\$6
*/
|
