Lines Matching refs:AddedComplexity

1073 let AddedComplexity = 10 in
2324 let AddedComplexity = 1 in {
2336 let AddedComplexity = 1 in {
2350 let AddedComplexity = 1 in {
2401 let AddedComplexity = 5 in {
2418 } // AddedComplexity = 5
2420 let AddedComplexity = 5 in {
2517 } // AddedComplexity = 5
2781 let AddedComplexity = 6 in
2920 let AddedComplexity = 10 in {
3326 let AddedComplexity = 10 in {
3369 let AddedComplexity = 10 in {
3395 } // AddedComplexity = 10
3411 let AddedComplexity = 10 in {
3440 let AddedComplexity = 10 in {
3666 let AddedComplexity = 20 in {
4078 let Predicates = [UseSTRQro], AddedComplexity = 10 in {
4103 let AddedComplexity = 10 in {
4121 let AddedComplexity = 10 in {
4148 } // AddedComplexity = 10
4168 let AddedComplexity = 19 in {
4215 let AddedComplexity = 10 in {
4290 } // AddedComplexity = 10
4304 let AddedComplexity = 19 in {
4374 let AddedComplexity = 10 in {
4433 } // AddedComplexity = 10
4451 let AddedComplexity = 19 in {
6409 let AddedComplexity = 10 in {
6461 } // AddedComplexity = 10
8057 let AddedComplexity = 5 in
8080 let AddedComplexity = 5 in
8589 let AddedComplexity = 19 in
8606 let AddedComplexity = 19 in
8796 // sra patterns have an AddedComplexity of 10, so make sure we have a higher
8797 // AddedComplexity for the following patterns since we want to match sext + sra
8799 let AddedComplexity = 20 in {
8816 } // AddedComplexity = 20
9615 let AddedComplexity = 15 in {
9647 } // AddedComplexity=10
9699 let AddedComplexity = 10 in {
9802 let AddedComplexity = 10 in {