[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / SROA / vector-promotion-different-size.ll
blob56e1f1f2160a7ba913b47e9e34e30f239bc5b450
1 ; RUN: opt < %s -sroa -S | FileCheck %s
2 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-n8:16:32:64"
4 define <4 x i1> @vector_bitcast() {
5   ; CHECK-LABEL: @vector_bitcast
6   ; CHECK: alloca i1
8     %a = alloca <3 x i1>
9     store <3 x i1> <i1 1,i1 0,i1 1>, <3 x i1>* %a
10     %cast = bitcast <3 x i1>* %a to <4 x i1>*
11     %vec = load <4 x i1>, <4 x i1>* %cast
12     ret <4 x i1> %vec
15 define void @vector_bitcast_2() {
16   ; CHECK-LABEL: @vector_bitcast_2
17   ; CHECK: alloca <32 x i16>
19     %"sum$1.host2" = alloca <32 x i16>
20     store <32 x i16> undef, <32 x i16>* %"sum$1.host2"
21     %bc = bitcast <32 x i16>* %"sum$1.host2" to <64 x i16>*
22     %bcl = load <64 x i16>, <64 x i16>* %bc
23     ret void