Lines Matching refs:reassoc
15 ; Both 'reassoc' and 'nsz' are required.
18 ; CHECK-NEXT: [[Z:%.*]] = fadd reassoc nsz float %A, %B
21 %W = fadd reassoc nsz float %B, -5.0
22 %Y = fadd reassoc nsz float %A, 5.0
23 %Z = fadd reassoc nsz float %W, %Y
27 ; Verify the fold is not done with only 'reassoc' ('nsz' is required).
30 ; CHECK-NEXT: [[W:%.*]] = fadd reassoc float %B, -5.000000e+00
31 ; CHECK-NEXT: [[Y:%.*]] = fadd reassoc float %A, 5.000000e+00
32 ; CHECK-NEXT: [[Z:%.*]] = fadd reassoc float [[Y]], [[W]]
35 %W = fadd reassoc float %B, -5.0
36 %Y = fadd reassoc float %A, 5.0
37 %Z = fadd reassoc float %W, %Y