1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt < %s -instcombine -S -verify | FileCheck %s
3
4define <2 x i8> @constprop_load_bitcast(<vscale x 16 x i1>* %ptr) {
5; CHECK-LABEL: @constprop_load_bitcast(
6; CHECK-NEXT:    store <vscale x 16 x i1> zeroinitializer, <vscale x 16 x i1>* [[PTR:%.*]], align 16
7; CHECK-NEXT:    ret <2 x i8> zeroinitializer
8;
9  store <vscale x 16 x i1> zeroinitializer, <vscale x 16 x i1>* %ptr, align 16
10  %cast_to_fixed = bitcast <vscale x 16 x i1>* %ptr to <2 x i8>*
11  %a = load <2 x i8>, <2 x i8>* %cast_to_fixed, align 16
12  ret <2 x i8> %a
13}
14
15; vscale-sized vec not guaranteed to fill destination.
16define <8 x i8> @constprop_load_bitcast_neg(<vscale x 16 x i1>* %ptr) {
17; CHECK-LABEL: @constprop_load_bitcast_neg(
18; CHECK-NEXT:    store <vscale x 16 x i1> zeroinitializer, <vscale x 16 x i1>* [[PTR:%.*]], align 16
19; CHECK-NEXT:    [[CAST_TO_FIXED:%.*]] = bitcast <vscale x 16 x i1>* [[PTR]] to <8 x i8>*
20; CHECK-NEXT:    [[A:%.*]] = load <8 x i8>, <8 x i8>* [[CAST_TO_FIXED]], align 16
21; CHECK-NEXT:    ret <8 x i8> [[A]]
22;
23  store <vscale x 16 x i1> zeroinitializer, <vscale x 16 x i1>* %ptr, align 16
24  %cast_to_fixed = bitcast <vscale x 16 x i1>* %ptr to <8 x i8>*
25  %a = load <8 x i8>, <8 x i8>* %cast_to_fixed, align 16
26  ret <8 x i8> %a
27}
28