1*9880d681SAndroid Build Coastguard Worker; NOTE: Assertions have been autogenerated by update_test_checks.py 2*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -instcombine -S | FileCheck %s 3*9880d681SAndroid Build Coastguard Worker 4*9880d681SAndroid Build Coastguard Workerdeclare double @fabs(double) readonly 5*9880d681SAndroid Build Coastguard Worker 6*9880d681SAndroid Build Coastguard Workerdefine double @test(double %X) { 7*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test( 8*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: [[Y:%.*]] = fadd double %X, 0.000000e+00 9*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: ret double [[Y]] 10*9880d681SAndroid Build Coastguard Worker; 11*9880d681SAndroid Build Coastguard Worker %Y = fadd double %X, 0.0 ;; Should be a single add x, 0.0 12*9880d681SAndroid Build Coastguard Worker %Z = fadd double %Y, 0.0 13*9880d681SAndroid Build Coastguard Worker ret double %Z 14*9880d681SAndroid Build Coastguard Worker} 15*9880d681SAndroid Build Coastguard Worker 16*9880d681SAndroid Build Coastguard Workerdefine double @test1(double %X) { 17*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test1( 18*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: [[Y:%.*]] = call double @fabs(double %X) 19*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: ret double [[Y]] 20*9880d681SAndroid Build Coastguard Worker; 21*9880d681SAndroid Build Coastguard Worker %Y = call double @fabs(double %X) 22*9880d681SAndroid Build Coastguard Worker %Z = fadd double %Y, 0.0 23*9880d681SAndroid Build Coastguard Worker ret double %Z 24*9880d681SAndroid Build Coastguard Worker} 25