25 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine,verify -S | FileCheck %s3 4define <2 x i8> @constprop_load_bitcast(ptr %ptr) {5; CHECK-LABEL: @constprop_load_bitcast(6; CHECK-NEXT: store <vscale x 16 x i1> zeroinitializer, ptr [[PTR:%.*]], align 167; CHECK-NEXT: ret <2 x i8> zeroinitializer8;9 store <vscale x 16 x i1> zeroinitializer, ptr %ptr, align 1610 %a = load <2 x i8>, ptr %ptr, align 1611 ret <2 x i8> %a12}13 14; vscale-sized vec not guaranteed to fill destination.15define <8 x i8> @constprop_load_bitcast_neg(ptr %ptr) {16; CHECK-LABEL: @constprop_load_bitcast_neg(17; CHECK-NEXT: store <vscale x 16 x i1> zeroinitializer, ptr [[PTR:%.*]], align 1618; CHECK-NEXT: [[A:%.*]] = load <8 x i8>, ptr [[PTR]], align 1619; CHECK-NEXT: ret <8 x i8> [[A]]20;21 store <vscale x 16 x i1> zeroinitializer, ptr %ptr, align 1622 %a = load <8 x i8>, ptr %ptr, align 1623 ret <8 x i8> %a24}25