15 lines · plain
1; RUN: opt < %s -passes=instcombine -S | FileCheck %s2; This is a check to assure the attributes of `pow` do3; not get passed to sqrt.4 5define 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 void9;10 %call = call afn double @pow(double %x, double 1.5)11 ret void12}13 14declare double @pow(double noundef, double noundef)15