[ValueTracking] De-pessimize isImpliedCondition around unsigned compares
[oota-llvm.git] / test / Transforms / Reassociate / fast-MissedTree.ll
1 ; RUN: opt < %s -reassociate -instcombine -S | FileCheck %s
2
3 define float @test1(float %A, float %B) {
4 ; CHECK-LABEL: test1
5 ; CHECK: %Z = fadd fast float %A, %B
6 ; CHECK: ret float %Z
7         %W = fadd fast float %B, -5.0
8         %Y = fadd fast float %A, 5.0
9         %Z = fadd fast float %W, %Y
10         ret float %Z
11 }