1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 2; RUN: opt -passes='default<O1>' -S < %s | FileCheck %s 3 4; Following test must generate fabs intrinsic. It goes through following stages 5; 1. SROA propagates the nsz function attribute on the phi node. 6; 2. SimplifyCFG pass converts phi node to select. 7; 3. InstCombine converts select with nsz flag into fabs intrinsic. 8 9define double @fabs_fcmp_olt_nsz_func_attr(double %0, double %1) "no-signed-zeros-fp-math"="true" { 10; CHECK-LABEL: define double @fabs_fcmp_olt_nsz_func_attr( 11; CHECK-SAME: double [[TMP0:%.*]], double [[TMP1:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] { 12; CHECK-NEXT: [[ENTRY:.*:]] 13; CHECK-NEXT: [[X_0:%.*]] = tail call nnan nsz double @llvm.fabs.f64(double [[TMP0]]) 14; CHECK-NEXT: ret double [[X_0]] 15entry: 16 %x = alloca double 17 store double %0, ptr %x 18 %cmp = fcmp nnan nsz olt double %0, 0.000000e+00 19 br i1 %cmp, label %if.then, label %return 20 21if.then: ; preds = %entry 22 %fneg = fneg nnan nsz double %0 23 store double %fneg, ptr %x 24 br label %return 25 26return: ; preds = %entry, %if.then 27 %ret = load double, ptr %x 28 ret double %ret 29} 30