blob: af33d98954479e31a4a40eb3a4abfc28749c6630 (
plain)
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
30
31
|
; RUN: opt < %s -instcombine -S | FileCheck %s
declare double @acos(double)
; Check that functions without any function attributes are simplified.
define double @test_simplify_acos() {
; CHECK-LABEL: @test_simplify_acos
%pi = call double @acos(double -1.000000e+00)
; CHECK-NOT: call double @acos
; CHECK: ret double 0x400921FB54442D18
ret double %pi
}
; Check that we don't constant fold builtin functions.
define double @test_acos_nobuiltin() {
; CHECK-LABEL: @test_acos_nobuiltin
%pi = call double @acos(double -1.000000e+00) nobuiltin
; CHECK: call double @acos(double -1.000000e+00)
ret double %pi
}
; Check that we don't constant fold strictfp results that require rounding.
define double @test_acos_strictfp() strictfp {
; CHECK-LABEL: @test_acos_strictfp
%pi = call double @acos(double -1.000000e+00) strictfp
; CHECK: call double @acos(double -1.000000e+00)
ret double %pi
}
|
