llvm/test/Transforms/InstCombine/cos-2.ll

   1 ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
   2
   3 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"
   4
   5 declare float @cos(double)
   6 declare signext i8 @sqrt(...)
   7
   8 ; Check that functions with the wrong prototype aren't simplified.
   9
  10 define float @test_no_simplify1(double %d) {
  11 ; CHECK-LABEL: @test_no_simplify1(
  12   %neg = fsub double -0.000000e+00, %d
  13   %cos = call float @cos(double %neg)
  14 ; CHECK: call float @cos(double %neg)
  15   ret float %cos
  16 }
  17
  18 define float @test_no_simplify2(double %d) {
  19 ; CHECK-LABEL: @test_no_simplify2(
  20   %neg = fneg double %d
  21   %cos = call float @cos(double %neg)
  22 ; CHECK: call float @cos(double %neg)
  23   ret float %cos
  24 }
  25
  26 define i8 @bogus_sqrt() {
  27   %fake_sqrt = call signext i8 (...) @sqrt()
  28   ret i8 %fake_sqrt
  29
  30 ; CHECK-LABEL: bogus_sqrt(
  31 ; CHECK-NEXT:  %fake_sqrt = call signext i8 (...) @sqrt()
  32 ; CHECK-NEXT:  ret i8 %fake_sqrt
  33 }
  34