| Meador Inge | 193e035 | 2012-11-13 04:16:17 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -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) |
| Sanjay Patel | bd2dc67 | 2016-01-20 17:41:14 +0000 | [diff] [blame] | 6 | declare signext i8 @sqrt(...) |
| Meador Inge | 193e035 | 2012-11-13 04:16:17 +0000 | [diff] [blame] | 7 | |
| Sanjay Patel | bd2dc67 | 2016-01-20 17:41:14 +0000 | [diff] [blame] | 8 | ; Check that functions with the wrong prototype aren't simplified. |
| Meador Inge | 193e035 | 2012-11-13 04:16:17 +0000 | [diff] [blame] | 9 | |
| 10 | define float @test_no_simplify1(double %d) { |
| Stephen Lin | c1c7a13 | 2013-07-14 01:42:54 +0000 | [diff] [blame] | 11 | ; CHECK-LABEL: @test_no_simplify1( |
| Meador Inge | 193e035 | 2012-11-13 04:16:17 +0000 | [diff] [blame] | 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 | } |
| Sanjay Patel | bd2dc67 | 2016-01-20 17:41:14 +0000 | [diff] [blame] | 17 | |
| 18 | |
| 19 | define i8 @bogus_sqrt() { |
| 20 | %fake_sqrt = call signext i8 (...) @sqrt() |
| 21 | ret i8 %fake_sqrt |
| 22 | |
| 23 | ; CHECK-LABEL: bogus_sqrt( |
| 24 | ; CHECK-NEXT: %fake_sqrt = call signext i8 (...) @sqrt() |
| 25 | ; CHECK-NEXT: ret i8 %fake_sqrt |
| 26 | } |
| 27 | |