1 ; RUN: opt < %s -instsimplify -S | FileCheck %s
3 ; These tests choose arbitrarily between float and double,
4 ; and between uge and olt, to give reasonble coverage
5 ; without combinatorial explosion.
7 declare float @llvm.fabs.f32(float)
8 declare float @llvm.sqrt.f32(float)
9 declare double @llvm.powi.f64(double,i32)
10 declare float @llvm.exp.f32(float)
11 declare double @llvm.exp2.f64(double)
12 declare float @llvm.fma.f32(float,float,float)
14 declare void @expect_equal(i1,i1)
16 ; CHECK-LABEL: @orderedLessZeroTree(
17 define i1 @orderedLessZeroTree(float,float,float,float) {
18 %square = fmul float %0, %0
19 %abs = call float @llvm.fabs.f32(float %1)
20 %sqrt = call float @llvm.sqrt.f32(float %2)
21 %fma = call float @llvm.fma.f32(float %3, float %3, float %sqrt)
22 %div = fdiv float %square, %abs
23 %rem = frem float %sqrt, %fma
24 %add = fadd float %div, %rem
25 %uge = fcmp uge float %add, 0.000000e+00
30 ; CHECK-LABEL: @orderedLessZeroExpExt(
31 define i1 @orderedLessZeroExpExt(float) {
32 %a = call float @llvm.exp.f32(float %0)
33 %b = fpext float %a to double
34 %uge = fcmp uge double %b, 0.000000e+00
39 ; CHECK-LABEL: @orderedLessZeroExp2Trunc(
40 define i1 @orderedLessZeroExp2Trunc(double) {
41 %a = call double @llvm.exp2.f64(double %0)
42 %b = fptrunc double %a to float
43 %olt = fcmp olt float %b, 0.000000e+00
48 ; CHECK-LABEL: @orderedLessZeroPowi(
49 define i1 @orderedLessZeroPowi(double,double) {
50 ; Even constant exponent
51 %a = call double @llvm.powi.f64(double %0, i32 2)
52 %square = fmul double %1, %1
53 ; Odd constant exponent with provably non-negative base
54 %b = call double @llvm.powi.f64(double %square, i32 3)
55 %c = fadd double %a, %b
56 %olt = fcmp olt double %b, 0.000000e+00
61 define i1 @nonans1(double %in1, double %in2) {
62 %cmp = fcmp nnan uno double %in1, %in2
65 ; CHECK-LABEL: @nonans1
66 ; CHECK-NEXT: ret i1 false
69 define i1 @nonans2(double %in1, double %in2) {
70 %cmp = fcmp nnan ord double %in1, %in2
73 ; CHECK-LABEL: @nonans2
74 ; CHECK-NEXT: ret i1 true