1; RUN: not FileCheck -check-prefix=X1 -input-file %s %s
2; RUN: not FileCheck -check-prefix=X2 -input-file %s %s
3; RUN: not FileCheck -check-prefix=X3 -input-file %s %s
4; RUN: not FileCheck -check-prefix=X4 -input-file %s %s
5; RUN: not FileCheck -check-prefix=X5 -input-file %s %s
6; RUN: not FileCheck -check-prefix=X6 -input-file %s %s
7
8__x1
9add r10, r1, r2
10add r11, r3, r4
11mul r5, r10, r12
12__x1
13
14; X1: __x1
15; X1-DAG: add [[REG1:r[0-9]+]], r1, r2
16; X1-DAG: add [[REG2:r[0-9]+]], r3, r4
17; X1: mul r5, [[REG1]], [[REG2]]
18; X1: __x1
19
20__x2
21mul r11, r3, r4
22mul r10, r1, r2
23add r5, r11, r11
24__x2
25
26; X2: __x2
27; X2-DAG: mul [[REG1:r[0-9]+]], r1, r2
28; X2-DAG: mul [[REG2:r[0-9]+]], r3, r4
29; X2: add r5, [[REG1]], [[REG2]]
30; X2: __x2
31
32__x3
33add r11, r3, r4
34add r12, r1, r2
35mul r5, r10, r11
36__x3
37
38; X3: __x3
39; X3-DAG: add [[REG1:r[0-9]+]], r1, r2
40; X3-DAG: add [[REG2:r[0-9]+]], r3, r4
41; X3-DAG: mul r5, [[REG1]], [[REG2]]
42; X3: __x3
43
44__x4
45add r11, r3, r4
46add r12, r1, r2
47not
48mul r5, r12, r11
49__x4
50
51; X4: __x4
52; X4-DAG: add [[REG1:r[0-9]+]], r1, r2
53; X4-DAG: add [[REG2:r[0-9]+]], r3, r4
54; X4-NOT: not
55; X4-DAG: mul r5, [[REG1]], [[REG2]]
56; X4: __x4
57
58__x5
59mul r5, r12, r11
60add r11, r3, r4
61add r12, r1, r2
62not
63__x5
64
65; X5: __x5
66; X5-DAG: add [[REG1:r[0-9]+]], r1, r2
67; X5-DAG: add [[REG2:r[0-9]+]], r3, r4
68; X5-NOT: not
69; X5-DAG: mul r5, [[REG1]], [[REG2]]
70; X5: __x5
71
72__x6
73add r11, r3, r4
74mul r6, r12, r11
75add r12, r1, r2
76mul r5, r12, r11
77__x6
78
79; X6: __x6
80; X6-DAG: add [[REG1:r[0-9]+]], r1, r2
81; X6-DAG: add [[REG2:r[0-9]+]], r3, r4
82; X6-NOT: not
83; X6-DAG: mul r5, [[REG1]], [[REG2]]
84; X6-DAG: mul r6, [[REG1]], [[REG2]]
85; X6: __x6
86