1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2 ; RUN: opt < %s -instcombine -S | FileCheck %s 3 4 ; -x + y => y - x 5 6 define float @fneg_op0(float %x, float %y) { 7 ; CHECK-LABEL: @fneg_op0( 8 ; CHECK-NEXT: [[ADD:%.*]] = fsub float [[Y:%.*]], [[X:%.*]] 9 ; CHECK-NEXT: ret float [[ADD]] 10 ; 11 %neg = fsub float -0.0, %x 12 %add = fadd float %neg, %y 13 ret float %add 14 } 15 16 ; x + -y => x - y 17 18 define float @fneg_op1(float %x, float %y) { 19 ; CHECK-LABEL: @fneg_op1( 20 ; CHECK-NEXT: [[ADD:%.*]] = fsub float [[X:%.*]], [[Y:%.*]] 21 ; CHECK-NEXT: ret float [[ADD]] 22 ; 23 %neg = fsub float -0.0, %y 24 %add = fadd float %x, %neg 25 ret float %add 26 } 27 28
