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