| Meador Inge | 193e035 | 2012-11-13 04:16:17 +0000 | [diff] [blame] | 1 | ; Test that the pow library call simplifier works correctly. |
| 2 | ; |
| 3 | ; RUN: opt < %s -instcombine -S | FileCheck %s |
| 4 | |
| 5 | declare float @pow(double, double) |
| 6 | |
| 7 | ; Check that pow functions with the wrong prototype aren't simplified. |
| 8 | |
| 9 | define float @test_no_simplify1(double %x) { |
| Stephen Lin | c1c7a13 | 2013-07-14 01:42:54 +0000 | [diff] [blame] | 10 | ; CHECK-LABEL: @test_no_simplify1( |
| Meador Inge | 193e035 | 2012-11-13 04:16:17 +0000 | [diff] [blame] | 11 | %retval = call float @pow(double 1.0, double %x) |
| 12 | ; CHECK-NEXT: call float @pow(double 1.000000e+00, double %x) |
| 13 | ret float %retval |
| 14 | } |