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