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 6target 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 8declare double @cos(double) 9 10; Check cos(-x) -> cos(x); 11 12define 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 20define 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 30define 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