Lines Matching refs:AddedComplexity

332 let AddedComplexity = 10 in
642 let AddedComplexity = 1 in {
652 let AddedComplexity = 1 in {
666 let AddedComplexity = 1 in {
717 let AddedComplexity = 7 in {
734 } // AddedComplexity = 7
736 let AddedComplexity = 5 in {
785 } // AddedComplexity = 5
1071 let AddedComplexity = 10 in {
1380 let AddedComplexity = 10 in {
1423 let AddedComplexity = 10 in {
1447 } // AddedComplexity = 10
1463 let AddedComplexity = 10 in {
1492 let AddedComplexity = 10 in {
2029 let AddedComplexity = 10 in {
2047 let AddedComplexity = 10 in {
2072 } // AddedComplexity = 10
2091 let AddedComplexity = 19 in {
2133 let AddedComplexity = 10 in {
2198 } // AddedComplexity = 10
5170 let AddedComplexity = 19 in
5186 let AddedComplexity = 19 in
5352 // sra patterns have an AddedComplexity of 10, so make sure we have a higher
5353 // AddedComplexity for the following patterns since we want to match sext + sra
5355 let AddedComplexity = 20 in {
5372 } // AddedComplexity = 20
6054 let AddedComplexity = 15 in {
6086 } // AddedComplexity=10