llvm/test/Transforms/InstCombine/pow-to-sqrt.ll

   1 ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
   2 ; This is a check to assure the attributes of `pow` do
   3 ; not get passed to sqrt.
   4
   5 define void @pow_to_sqrt(double %x) {
   6 ; CHECK-LABEL: @pow_to_sqrt(
   7 ; CHECK-NEXT: [[SQRT:%.*]] = call afn double @sqrt(double [[X:%.*]])
   8 ; CHECK-NEXT: ret void
   9 ;
  10   %call = call afn double @pow(double %x, double 1.5)
  11   ret void
  12 }
  13
  14 declare double @pow(double noundef, double noundef)