Taints the non-acquire RMW's store address with the load part
[oota-llvm.git] / test / Transforms / InstCombine / cos-2.ll
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)
6 declare signext i8 @sqrt(...)
7
8 ; Check that functions with the wrong prototype aren't simplified.
9
10 define float @test_no_simplify1(double %d) {
11 ; CHECK-LABEL: @test_no_simplify1(
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 }
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