34 lines · plain
1; RUN: opt < %s -passes=instcombine -S | FileCheck %s2; ModuleID = '3555a.c'3; sqrt(fabs) cannot be negative zero, so we should eliminate the fadd.4target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"5target triple = "i386-apple-darwin9.8"6 7; CHECK-LABEL: @mysqrt(8; CHECK-NOT: fadd9; CHECK: ret10define double @mysqrt(double %x) nounwind {11entry:12 %x_addr = alloca double ; <ptr> [#uses=2]13 %retval = alloca double, align 8 ; <ptr> [#uses=2]14 %0 = alloca double, align 8 ; <ptr> [#uses=2]15 %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0]16 store double %x, ptr %x_addr17 %1 = load double, ptr %x_addr, align 8 ; <double> [#uses=1]18 %2 = call double @fabs(double %1) nounwind readnone ; <double> [#uses=1]19 %3 = call double @sqrt(double %2) nounwind readonly ; <double> [#uses=1]20 %4 = fadd double %3, 0.000000e+00 ; <double> [#uses=1]21 store double %4, ptr %0, align 822 %5 = load double, ptr %0, align 8 ; <double> [#uses=1]23 store double %5, ptr %retval, align 824 br label %return25 26return: ; preds = %entry27 %retval1 = load double, ptr %retval ; <double> [#uses=1]28 ret double %retval129}30 31declare double @fabs(double)32 33declare double @sqrt(double) nounwind readonly34