1 ; Test that the cos library call simplifier works correctly. 2 ; 3 ; RUN: opt < %s -instcombine -S | FileCheck %s -check-prefix=NO-FLOAT-SHRINK 4 ; RUN: opt < %s -instcombine -enable-double-float-shrink -S | FileCheck %s -check-prefix=DO-FLOAT-SHRINK 5 6 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" 7 8 declare double @cos(double) 9 10 ; Check cos(-x) -> cos(x); 11 12 define double @test_simplify1(double %d) { 13 ; NO-FLOAT-SHRINK-LABEL: @test_simplify1( 14 %neg = fsub double -0.000000e+00, %d 15 %cos = call double @cos(double %neg) 16 ; NO-FLOAT-SHRINK: call double @cos(double %d) 17 ret double %cos 18 } 19 20 define float @test_simplify2(float %f) { 21 ; DO-FLOAT-SHRINK-LABEL: @test_simplify2( 22 %conv1 = fpext float %f to double 23 %neg = fsub double -0.000000e+00, %conv1 24 %cos = call double @cos(double %neg) 25 %conv2 = fptrunc double %cos to float 26 ; DO-FLOAT-SHRINK: call float @cosf(float %f) 27 ret float %conv2 28 } 29 30 define float @test_simplify3(float %f) { 31 ; NO-FLOAT-SHRINK-LABEL: @test_simplify3( 32 %conv1 = fpext float %f to double 33 %neg = fsub double -0.000000e+00, %conv1 34 %cos = call double @cos(double %neg) 35 ; NO-FLOAT-SHRINK: call double @cos(double %conv1) 36 %conv2 = fptrunc double %cos to float 37 ret float %conv2 38 } 39
