[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / Scalarizer / store-bug.ll
blob8f4d30db1a874d7b9c5ea7e9fdd6fc5428101f6f
1 ; RUN: opt -scalarizer -scalarize-load-store -S < %s | FileCheck %s
2 ; RUN: opt -passes='function(scalarizer)' -scalarize-load-store -S < %s | FileCheck %s
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"
5 ; This input caused the scalarizer not to clear cached results
6 ; properly.
8 ; Any regressions should trigger an assert in the scalarizer.
10 define void @func(<4 x float> %val, <4 x float> *%ptr) {
11   store <4 x float> %val, <4 x float> *%ptr
12   ret void
13 ; CHECK: store float %val.i0, float* %ptr.i0, align 16
14 ; CHECK: store float %val.i1, float* %ptr.i1, align 4
15 ; CHECK: store float %val.i2, float* %ptr.i2, align 8
16 ; CHECK: store float %val.i3, float* %ptr.i3, align 4
19 define void @func.copy(<4 x float> %val, <4 x float> *%ptr) {
20   store <4 x float> %val, <4 x float> *%ptr
21   ret void
22 ; CHECK: store float %val.i0, float* %ptr.i0, align 16
23 ; CHECK: store float %val.i1, float* %ptr.i1, align 4
24 ; CHECK: store float %val.i2, float* %ptr.i2, align 8
25 ; CHECK: store float %val.i3, float* %ptr.i3, align 4