1
; RUN: llc < %s -march=x86 -mattr=+sse2 | FileCheck %s
4
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
5
target triple = "i686-apple-darwin9.4.0"
6
%struct.anon = type <{ float, float }>
7
@.str = internal constant [17 x i8] c"pt: %.0f, %.0f\0A\00\00" ; <[17 x i8]*> [#uses=1]
9
; We can not fold either stack load into an 'xor' instruction because that
10
; would change what should be a 4-byte load into a 16-byte load.
11
; We can fold the 16-byte constant load into either 'xor' instruction,
12
; but we do not. It has more than one use, so it gets loaded into a register.
14
define void @foo(%struct.anon* byval %p) nounwind {
16
; CHECK: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
17
; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
18
; CHECK-NEXT: movaps {{.*#+}} xmm2 = [2147483648,2147483648,2147483648,2147483648]
19
; CHECK-NEXT: xorps %xmm2, %xmm0
20
; CHECK-NEXT: cvtss2sd %xmm0, %xmm0
21
; CHECK-NEXT: xorps %xmm2, %xmm1
23
%tmp = getelementptr %struct.anon, %struct.anon* %p, i32 0, i32 0 ; <float*> [#uses=1]
24
%tmp1 = load float, float* %tmp ; <float> [#uses=1]
25
%tmp2 = getelementptr %struct.anon, %struct.anon* %p, i32 0, i32 1 ; <float*> [#uses=1]
26
%tmp3 = load float, float* %tmp2 ; <float> [#uses=1]
27
%neg = fsub float -0.000000e+00, %tmp1 ; <float> [#uses=1]
28
%conv = fpext float %neg to double ; <double> [#uses=1]
29
%neg4 = fsub float -0.000000e+00, %tmp3 ; <float> [#uses=1]
30
%conv5 = fpext float %neg4 to double ; <double> [#uses=1]
31
%call = call i32 (...) @printf( i8* getelementptr ([17 x i8], [17 x i8]* @.str, i32 0, i32 0), double %conv, double %conv5 ) ; <i32> [#uses=0]
35
declare i32 @printf(...)
37
; We can not fold the load from the stack into the 'and' instruction because
38
; that changes an 8-byte load into a 16-byte load (illegal memory access).
39
; We can fold the load of the constant because it is a 16-byte vector constant.
41
define double @PR22371(double %x) {
42
; CHECK-LABEL: PR22371:
43
; CHECK: movsd 16(%esp), %xmm0
44
; CHECK-NEXT: andpd LCPI1_0, %xmm0
45
; CHECK-NEXT: movlpd %xmm0, (%esp)
46
%call = tail call double @fabs(double %x) #0
50
declare double @fabs(double) #0
51
attributes #0 = { readnone }