blob: 4e4a2b2612c724c4f1e4bd849f5920184d57380b (
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
; RUN: opt < %s -instcombine -S | FileCheck %s
define double @log_pow(double %x, double %y) {
%pow = call fast double @llvm.pow.f64(double %x, double %y)
%call = call fast double @log(double %pow)
ret double %call
}
; CHECK-LABEL: define double @log_pow(
; CHECK-NEXT: %log = call fast double @log(double %x)
; CHECK-NEXT: %mul = fmul fast double %log, %y
; CHECK-NEXT: ret double %mul
define double @log_pow_not_fast(double %x, double %y) {
%pow = call double @llvm.pow.f64(double %x, double %y)
%call = call fast double @log(double %pow)
ret double %call
}
; CHECK-LABEL: define double @log_pow_not_fast(
; CHECK-NEXT: %pow = call double @llvm.pow.f64(double %x, double %y)
; CHECK-NEXT: %call = call fast double @log(double %pow)
; CHECK-NEXT: ret double %call
define double @function_pointer(double ()* %fptr, double %p1) {
%call1 = call double %fptr()
%pow = call double @log(double %call1)
ret double %pow
}
; CHECK-LABEL: @function_pointer
; CHECK-NEXT: %call1 = call double %fptr()
; CHECK-NEXT: %pow = call double @log(double %call1)
; CHECK-NEXT: ret double %pow
define double @log_exp2(double %x) {
%call2 = call fast double @exp2(double %x)
%call3 = call fast double @log(double %call2)
ret double %call3
}
; CHECK-LABEL: @log_exp2
; CHECK-NEXT: %call2 = call fast double @exp2(double %x)
; CHECK-NEXT: %logmul = fmul fast double %x, 0x3FE62E42FEFA39EF
; CHECK-NEXT: ret double %logmul
define double @log_exp2_not_fast(double %x) {
%call2 = call double @exp2(double %x)
%call3 = call fast double @log(double %call2)
ret double %call3
}
; CHECK-LABEL: @log_exp2_not_fast
; CHECK-NEXT: %call2 = call double @exp2(double %x)
; CHECK-NEXT: %call3 = call fast double @log(double %call2)
; CHECK-NEXT: ret double %call3
declare double @log(double) #0
declare double @exp2(double)
declare double @llvm.pow.f64(double, double)
attributes #0 = { nounwind readnone }
|
