Lines Matching refs:AddedComplexity

640 let AddedComplexity = 10 in
1375 let AddedComplexity = 1 in {
1385 let AddedComplexity = 1 in {
1399 let AddedComplexity = 1 in {
1450 let AddedComplexity = 5 in {
1467 } // AddedComplexity = 5
1469 let AddedComplexity = 5 in {
1526 } // AddedComplexity = 5
1917 let AddedComplexity = 10 in {
2261 let AddedComplexity = 10 in {
2304 let AddedComplexity = 10 in {
2330 } // AddedComplexity = 10
2346 let AddedComplexity = 10 in {
2375 let AddedComplexity = 10 in {
2597 let AddedComplexity = 20 in {
2936 let Predicates = [UseSTRQro], AddedComplexity = 10 in {
2961 let AddedComplexity = 10 in {
2979 let AddedComplexity = 10 in {
3006 } // AddedComplexity = 10
3025 let AddedComplexity = 19 in {
3070 let AddedComplexity = 10 in {
3145 } // AddedComplexity = 10
3158 let AddedComplexity = 19 in {
3221 let AddedComplexity = 10 in {
3280 } // AddedComplexity = 10
3297 let AddedComplexity = 19 in {
6450 let AddedComplexity = 19 in
6467 let AddedComplexity = 19 in
6658 // sra patterns have an AddedComplexity of 10, so make sure we have a higher
6659 // AddedComplexity for the following patterns since we want to match sext + sra
6661 let AddedComplexity = 20 in {
6678 } // AddedComplexity = 20
7510 let AddedComplexity = 15 in {
7542 } // AddedComplexity=10
7582 let AddedComplexity = 10 in {
7685 let AddedComplexity = 10 in {