diff options
Diffstat (limited to 'llvm/test/Transforms/Reassociate/fast-MissedTree.ll')
| -rw-r--r-- | llvm/test/Transforms/Reassociate/fast-MissedTree.ll | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/llvm/test/Transforms/Reassociate/fast-MissedTree.ll b/llvm/test/Transforms/Reassociate/fast-MissedTree.ll index a87c7f4a2d1..021c48a293e 100644 --- a/llvm/test/Transforms/Reassociate/fast-MissedTree.ll +++ b/llvm/test/Transforms/Reassociate/fast-MissedTree.ll @@ -12,7 +12,19 @@ define float @test1(float %A, float %B) { } ; Check again using minimal subset of FMF. +; Both 'reassoc' and 'nsz' are required. +define float @test1_reassoc_nsz(float %A, float %B) { +; CHECK-LABEL: @test1_reassoc_nsz( +; CHECK-NEXT: [[Z:%.*]] = fadd reassoc nsz float %A, %B +; CHECK-NEXT: ret float [[Z]] +; + %W = fadd reassoc nsz float %B, -5.0 + %Y = fadd reassoc nsz float %A, 5.0 + %Z = fadd reassoc nsz float %W, %Y + ret float %Z +} +; Verify the fold is not done with only 'reassoc' ('nsz' is required). define float @test1_reassoc(float %A, float %B) { ; CHECK-LABEL: @test1_reassoc( ; CHECK-NEXT: [[W:%.*]] = fadd reassoc float %B, -5.000000e+00 @@ -25,4 +37,3 @@ define float @test1_reassoc(float %A, float %B) { %Z = fadd reassoc float %W, %Y ret float %Z } - |
