78 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4define double @zero(double %value) {5; CHECK-LABEL: define double @zero(6; CHECK-SAME: double [[VALUE:%.*]]) {7; CHECK-NEXT: ret double 1.000000e+008;9 %res = call double @llvm.pow.f64(double %value, double 0.000000e+00)10 ret double %res11}12 13define double @minus_zero(double %value) {14; CHECK-LABEL: define double @minus_zero(15; CHECK-SAME: double [[VALUE:%.*]]) {16; CHECK-NEXT: ret double 1.000000e+0017;18 %res = call double @llvm.pow.f64(double %value, double -0.000000e+00)19 ret double %res20}21 22define double @fast_zero(double %value) {23; CHECK-LABEL: define double @fast_zero(24; CHECK-SAME: double [[VALUE:%.*]]) {25; CHECK-NEXT: ret double 1.000000e+0026;27 %res = call fast double @llvm.pow.f64(double %value, double 0.000000e+00)28 ret double %res29}30 31define double @fast_minus_zero(double %value) {32; CHECK-LABEL: define double @fast_minus_zero(33; CHECK-SAME: double [[VALUE:%.*]]) {34; CHECK-NEXT: ret double 1.000000e+0035;36 %res = call fast double @llvm.pow.f64(double %value, double -0.000000e+00)37 ret double %res38}39 40define <2 x double> @vec_zero(<2 x double> %value) {41; CHECK-LABEL: define <2 x double> @vec_zero(42; CHECK-SAME: <2 x double> [[VALUE:%.*]]) {43; CHECK-NEXT: ret <2 x double> splat (double 1.000000e+00)44;45 %res = call <2 x double> @llvm.pow.v2f64(<2 x double> %value, <2 x double> <double 0.000000e+00, double 0.000000e+00>)46 ret <2 x double> %res47}48 49define <2 x double> @vec_minus_zero(<2 x double> %value) {50; CHECK-LABEL: define <2 x double> @vec_minus_zero(51; CHECK-SAME: <2 x double> [[VALUE:%.*]]) {52; CHECK-NEXT: ret <2 x double> splat (double 1.000000e+00)53;54 %res = call <2 x double> @llvm.pow.v2f64(<2 x double> %value, <2 x double> <double -0.000000e+00, double -0.000000e+00>)55 ret <2 x double> %res56}57 58define <2 x double> @vec_fast_zero(<2 x double> %value) {59; CHECK-LABEL: define <2 x double> @vec_fast_zero(60; CHECK-SAME: <2 x double> [[VALUE:%.*]]) {61; CHECK-NEXT: ret <2 x double> splat (double 1.000000e+00)62;63 %res = call fast <2 x double> @llvm.pow.v2f64(<2 x double> %value, <2 x double> <double 0.000000e+00, double 0.000000e+00>)64 ret <2 x double> %res65}66 67define <2 x double> @vec_fast_minus_zero(<2 x double> %value) {68; CHECK-LABEL: define <2 x double> @vec_fast_minus_zero(69; CHECK-SAME: <2 x double> [[VALUE:%.*]]) {70; CHECK-NEXT: ret <2 x double> splat (double 1.000000e+00)71;72 %res = call fast <2 x double> @llvm.pow.v2f64(<2 x double> %value, <2 x double> <double -0.000000e+00, double -0.000000e+00>)73 ret <2 x double> %res74}75 76declare double @llvm.pow.f64(double, double)77declare <2 x double> @llvm.pow.v2f64(<2 x double>, <2 x double>)78