derek/TheRock
1
0 Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
Files
main
TheRock/compiler/amd-llvm/llvm/test/Transforms/InstCombine/store.ll
T
derek.holloway 7502bf64a4
CodeQL / Analyze (actions) (push) Canceled after 0s
Details
CodeQL / Analyze (python) (push) Canceled after 0s
Details
pre-commit / pre-commit (push) Canceled after 0s
Details
Multi-Arch CI / setup (push) Canceled after 0s
Details
Publish build_manylinux_x86_64 images / publish_build_manylinux_x86_64 (push) Canceled after 0s
Details
Setup (Multi-Arch) / setup (push) Canceled after 0s
Details
Multi-Arch CI / Linux::${{ fromJSON(needs.setup.outputs.linux_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Details
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Details
Publish no_rocm_image_ubi10 image / publish_no_rocm_image_ubi10 (push) Canceled after 0s
Details
Multi-Arch CI / Windows::${{ fromJSON(needs.setup.outputs.windows_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Details
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Details
Multi-Arch CI / Manifest Diff (push) Canceled after 0s
Details
TheRock Manifest Diff Report / Generate Manifest Diff Report (push) Canceled after 0s
Details
Multi-Arch CI / CI Summary (push) Canceled after 0s
Details
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04 (push) Canceled after 0s
Details
Publish no_rocm_image_ubuntu24_04_ocl_rt images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Details
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Details
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Details
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Details
Publish no_rocm_image_ubuntu24_04_rocgdb images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Details
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Details
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Details
Unit Tests / Unit Tests :: ubuntu-24.04 (push) Canceled after 0s
Details
Unit Tests / Unit Tests :: windows-2022 (push) Canceled after 0s
Details
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_media (push) Canceled after 0s
Details
Unit Tests / Unit Tests Summary (push) Canceled after 0s
Details
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_openmpi (push) Canceled after 0s
Details
Flatten subprojects into a single base monorepo
2026-09-02 16:34:47 -07:00

518 lines
14 KiB
LLVM
Raw Permalink Blame History

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; FIXME: This is technically incorrect because it might overwrite a poison
; value. Stop folding it once #52930 is resolved.
define void @store_of_undef(ptr %P) {
; CHECK-LABEL: @store_of_undef(
; CHECK-NEXT: ret void
;
store i32 undef, ptr %P
ret void
}
define void @store_of_poison(ptr %P) {
; CHECK-LABEL: @store_of_poison(
; CHECK-NEXT: ret void
;
store i32 poison, ptr %P
ret void
}
define void @store_into_undef(ptr %P) {
; CHECK-LABEL: @store_into_undef(
; CHECK-NEXT: store i32 123, ptr undef, align 4
; CHECK-NEXT: ret void
;
store i32 123, ptr undef
ret void
}
define void @store_into_null(ptr %P) {
; CHECK-LABEL: @store_into_null(
; CHECK-NEXT: store i32 poison, ptr null, align 4
; CHECK-NEXT: ret void
;
store i32 124, ptr null
ret void
}
define void @test2(ptr %P) {
; CHECK-LABEL: @test2(
; CHECK-NEXT: ret void
;
%X = load i32, ptr %P
%Y = add i32 %X, 0
store i32 %Y, ptr %P
ret void
}
define void @store_at_gep_off_null_inbounds(i64 %offset) {
; CHECK-LABEL: @store_at_gep_off_null_inbounds(
; CHECK-NEXT: [[PTR:%.*]] = getelementptr inbounds [4 x i8], ptr null, i64 [[OFFSET:%.*]]
; CHECK-NEXT: store i32 poison, ptr [[PTR]], align 4
; CHECK-NEXT: ret void
;
%ptr = getelementptr inbounds i32, ptr null, i64 %offset
store i32 24, ptr %ptr
ret void
}
define void @store_at_gep_off_null_not_inbounds(i64 %offset) {
; CHECK-LABEL: @store_at_gep_off_null_not_inbounds(
; CHECK-NEXT: [[PTR:%.*]] = getelementptr [4 x i8], ptr null, i64 [[OFFSET:%.*]]
; CHECK-NEXT: store i32 poison, ptr [[PTR]], align 4
; CHECK-NEXT: ret void
;
%ptr = getelementptr i32, ptr null, i64 %offset
store i32 24, ptr %ptr
ret void
}
define void @store_at_gep_off_no_null_opt(i64 %offset) #0 {
; CHECK-LABEL: @store_at_gep_off_no_null_opt(
; CHECK-NEXT: [[PTR:%.*]] = getelementptr inbounds [4 x i8], ptr null, i64 [[OFFSET:%.*]]
; CHECK-NEXT: store i32 24, ptr [[PTR]], align 4
; CHECK-NEXT: ret void
;
%ptr = getelementptr inbounds i32, ptr null, i64 %offset
store i32 24, ptr %ptr
ret void
}
attributes #0 = { null_pointer_is_valid }
;; Simple sinking tests
; "if then else"
define i32 @test3(i1 %C) {
; CHECK-LABEL: @test3(
; CHECK-NEXT: br i1 [[C:%.*]], label [[COND:%.*]], label [[COND2:%.*]]
; CHECK: Cond:
; CHECK-NEXT: br label [[CONT:%.*]]
; CHECK: Cond2:
; CHECK-NEXT: br label [[CONT]]
; CHECK: Cont:
; CHECK-NEXT: [[STOREMERGE:%.*]] = phi i32 [ 47, [[COND2]] ], [ -987654321, [[COND]] ]
; CHECK-NEXT: ret i32 [[STOREMERGE]]
;
%A = alloca i32
br i1 %C, label %Cond, label %Cond2
Cond:
store i32 -987654321, ptr %A
br label %Cont
Cond2:
store i32 47, ptr %A
br label %Cont
Cont:
%V = load i32, ptr %A
ret i32 %V
}
; "if then"
define i32 @test4(i1 %C) {
; CHECK-LABEL: @test4(
; CHECK-NEXT: br i1 [[C:%.*]], label [[COND:%.*]], label [[CONT:%.*]]
; CHECK: Cond:
; CHECK-NEXT: br label [[CONT]]
; CHECK: Cont:
; CHECK-NEXT: [[STOREMERGE:%.*]] = phi i32 [ -987654321, [[COND]] ], [ 47, [[TMP0:%.*]] ]
; CHECK-NEXT: ret i32 [[STOREMERGE]]
;
%A = alloca i32
store i32 47, ptr %A
br i1 %C, label %Cond, label %Cont
Cond:
store i32 -987654321, ptr %A
br label %Cont
Cont:
%V = load i32, ptr %A
ret i32 %V
}
; "if then"
define void @test5(i1 %C, ptr %P) {
; CHECK-LABEL: @test5(
; CHECK-NEXT: br i1 [[C:%.*]], label [[COND:%.*]], label [[CONT:%.*]]
; CHECK: Cond:
; CHECK-NEXT: br label [[CONT]]
; CHECK: Cont:
; CHECK-NEXT: [[STOREMERGE:%.*]] = phi i32 [ -987654321, [[COND]] ], [ 47, [[TMP0:%.*]] ]
; CHECK-NEXT: store i32 [[STOREMERGE]], ptr [[P:%.*]], align 1
; CHECK-NEXT: ret void
;
store i32 47, ptr %P, align 1
br i1 %C, label %Cond, label %Cont
Cond:
store i32 -987654321, ptr %P, align 1
br label %Cont
Cont:
ret void
}
; PR14753 - merging two stores should preserve the TBAA tag.
define void @test6(i32 %n, ptr %a, ptr %gi) nounwind uwtable ssp {
; CHECK-LABEL: @test6(
; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[FOR_COND:%.*]]
; CHECK: for.cond:
; CHECK-NEXT: [[STOREMERGE:%.*]] = phi i32 [ 42, [[ENTRY:%.*]] ], [ [[INC:%.*]], [[FOR_BODY:%.*]] ]
; CHECK-NEXT: store i32 [[STOREMERGE]], ptr [[GI:%.*]], align 4, !tbaa [[TBAA0:![0-9]+]]
; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[STOREMERGE]], [[N:%.*]]
; CHECK-NEXT: br i1 [[CMP]], label [[FOR_BODY]], label [[FOR_END:%.*]]
; CHECK: for.body:
; CHECK-NEXT: [[IDXPROM:%.*]] = sext i32 [[STOREMERGE]] to i64
; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds [4 x i8], ptr [[A:%.*]], i64 [[IDXPROM]]
; CHECK-NEXT: store float 0.000000e+00, ptr [[ARRAYIDX]], align 4, !tbaa [[TBAA4:![0-9]+]]
; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr [[GI]], align 4, !tbaa [[TBAA0]]
; CHECK-NEXT: [[INC]] = add nsw i32 [[TMP0]], 1
; CHECK-NEXT: br label [[FOR_COND]]
; CHECK: for.end:
; CHECK-NEXT: ret void
;
entry:
store i32 42, ptr %gi, align 4, !tbaa !0
br label %for.cond
for.cond:
%storemerge = phi i32 [ 0, %entry ], [ %inc, %for.body ]
%0 = load i32, ptr %gi, align 4, !tbaa !0
%cmp = icmp slt i32 %0, %n
br i1 %cmp, label %for.body, label %for.end
for.body:
%idxprom = sext i32 %0 to i64
%arrayidx = getelementptr inbounds float, ptr %a, i64 %idxprom
store float 0.000000e+00, ptr %arrayidx, align 4, !tbaa !3
%1 = load i32, ptr %gi, align 4, !tbaa !0
%inc = add nsw i32 %1, 1
store i32 %inc, ptr %gi, align 4, !tbaa !0
br label %for.cond
for.end:
ret void
}
define void @dse1(ptr %p) {
; CHECK-LABEL: @dse1(
; CHECK-NEXT: store i32 0, ptr [[P:%.*]], align 4
; CHECK-NEXT: ret void
;
store i32 0, ptr %p
store i32 0, ptr %p
ret void
}
; Slightly subtle: if we're mixing atomic and non-atomic access to the
; same location, then the contents of the location are undefined if there's
; an actual race. As such, we're free to pick either store under the
; assumption that we're not racing with any other thread.
define void @dse2(ptr %p) {
; CHECK-LABEL: @dse2(
; CHECK-NEXT: store i32 0, ptr [[P:%.*]], align 4
; CHECK-NEXT: ret void
;
store atomic i32 0, ptr %p unordered, align 4
store i32 0, ptr %p
ret void
}
define void @dse3(ptr %p) {
; CHECK-LABEL: @dse3(
; CHECK-NEXT: store atomic i32 0, ptr [[P:%.*]] unordered, align 4
; CHECK-NEXT: ret void
;
store i32 0, ptr %p
store atomic i32 0, ptr %p unordered, align 4
ret void
}
define void @dse4(ptr %p) {
; CHECK-LABEL: @dse4(
; CHECK-NEXT: store atomic i32 0, ptr [[P:%.*]] unordered, align 4
; CHECK-NEXT: ret void
;
store atomic i32 0, ptr %p unordered, align 4
store atomic i32 0, ptr %p unordered, align 4
ret void
}
; Implementation limit - could remove unordered store here, but
; currently don't.
define void @dse5(ptr %p) {
; CHECK-LABEL: @dse5(
; CHECK-NEXT: store atomic i32 0, ptr [[P:%.*]] unordered, align 4
; CHECK-NEXT: store atomic i32 0, ptr [[P]] seq_cst, align 4
; CHECK-NEXT: ret void
;
store atomic i32 0, ptr %p unordered, align 4
store atomic i32 0, ptr %p seq_cst, align 4
ret void
}
define void @write_back1(ptr %p) {
; CHECK-LABEL: @write_back1(
; CHECK-NEXT: ret void
;
%v = load i32, ptr %p
store i32 %v, ptr %p
ret void
}
define void @write_back2(ptr %p) {
; CHECK-LABEL: @write_back2(
; CHECK-NEXT: ret void
;
%v = load atomic i32, ptr %p unordered, align 4
store i32 %v, ptr %p
ret void
}
define void @write_back3(ptr %p) {
; CHECK-LABEL: @write_back3(
; CHECK-NEXT: ret void
;
%v = load i32, ptr %p
store atomic i32 %v, ptr %p unordered, align 4
ret void
}
define void @write_back4(ptr %p) {
; CHECK-LABEL: @write_back4(
; CHECK-NEXT: ret void
;
%v = load atomic i32, ptr %p unordered, align 4
store atomic i32 %v, ptr %p unordered, align 4
ret void
}
; Can't remove store due to ordering side effect
define void @write_back5(ptr %p) {
; CHECK-LABEL: @write_back5(
; CHECK-NEXT: [[V:%.*]] = load atomic i32, ptr [[P:%.*]] unordered, align 4
; CHECK-NEXT: store atomic i32 [[V]], ptr [[P]] seq_cst, align 4
; CHECK-NEXT: ret void
;
%v = load atomic i32, ptr %p unordered, align 4
store atomic i32 %v, ptr %p seq_cst, align 4
ret void
}
define void @write_back6(ptr %p) {
; CHECK-LABEL: @write_back6(
; CHECK-NEXT: [[V:%.*]] = load atomic i32, ptr [[P:%.*]] seq_cst, align 4
; CHECK-NEXT: ret void
;
%v = load atomic i32, ptr %p seq_cst, align 4
store atomic i32 %v, ptr %p unordered, align 4
ret void
}
define void @write_back7(ptr %p) {
; CHECK-LABEL: @write_back7(
; CHECK-NEXT: [[V:%.*]] = load atomic volatile i32, ptr [[P:%.*]] seq_cst, align 4
; CHECK-NEXT: ret void
;
%v = load atomic volatile i32, ptr %p seq_cst, align 4
store atomic i32 %v, ptr %p unordered, align 4
ret void
}
@Unknown = external constant i32
define void @store_to_constant() {
; CHECK-LABEL: @store_to_constant(
; CHECK-NEXT: ret void
;
store i32 0, ptr @Unknown
ret void
}
; Delete stores to readonly noalias pointers.
define void @store_to_readonly_noalias(ptr readonly noalias %0) {
; CHECK-LABEL: @store_to_readonly_noalias(
; CHECK-NEXT: ret void
;
store i32 3, ptr %0, align 4
ret void
}
define void @store_select_with_null(i1 %cond, ptr %p) {
; CHECK-LABEL: @store_select_with_null(
; CHECK-NEXT: store i32 0, ptr [[SEL:%.*]], align 4
; CHECK-NEXT: ret void
;
%sel = select i1 %cond, ptr %p, ptr null
store i32 0, ptr %sel, align 4
ret void
}
define void @store_select_with_null_commuted(i1 %cond, ptr %p) {
; CHECK-LABEL: @store_select_with_null_commuted(
; CHECK-NEXT: store i32 0, ptr [[SEL:%.*]], align 4
; CHECK-NEXT: ret void
;
%sel = select i1 %cond, ptr null, ptr %p
store i32 0, ptr %sel, align 4
ret void
}
define void @store_select_with_null_null_is_valid(i1 %cond, ptr %p) null_pointer_is_valid {
; CHECK-LABEL: @store_select_with_null_null_is_valid(
; CHECK-NEXT: [[SEL:%.*]] = select i1 [[COND:%.*]], ptr [[P:%.*]], ptr null
; CHECK-NEXT: store i32 0, ptr [[SEL]], align 4
; CHECK-NEXT: ret void
;
%sel = select i1 %cond, ptr %p, ptr null
store i32 0, ptr %sel, align 4
ret void
}
define void @store_select_with_unknown(i1 %cond, ptr %p, ptr %p2) {
; CHECK-LABEL: @store_select_with_unknown(
; CHECK-NEXT: [[SEL:%.*]] = select i1 [[COND:%.*]], ptr [[P:%.*]], ptr [[P2:%.*]]
; CHECK-NEXT: store i32 0, ptr [[SEL]], align 4
; CHECK-NEXT: ret void
;
%sel = select i1 %cond, ptr %p, ptr %p2
store i32 0, ptr %sel, align 4
ret void
}
define void @store_select_with_null_gep(i1 %cond, ptr %p, i64 %off) {
; CHECK-LABEL: @store_select_with_null_gep(
; CHECK-NEXT: [[GEP:%.*]] = getelementptr i8, ptr [[SEL:%.*]], i64 [[OFF:%.*]]
; CHECK-NEXT: store i32 0, ptr [[GEP]], align 4
; CHECK-NEXT: ret void
;
%sel = select i1 %cond, ptr %p, ptr null
%gep = getelementptr i8, ptr %sel, i64 %off
store i32 0, ptr %gep, align 4
ret void
}
define void @store_const_b8(ptr %p) {
; CHECK-LABEL: @store_const_b8(
; CHECK-NEXT: store i8 1, ptr [[P:%.*]], align 1
; CHECK-NEXT: ret void
;
store b8 1, ptr %p
ret void
}
define void @store_const_v4b8_zero(ptr %p) {
; CHECK-LABEL: @store_const_v4b8_zero(
; CHECK-NEXT: store <4 x i8> zeroinitializer, ptr [[P:%.*]], align 4
; CHECK-NEXT: ret void
;
store <4 x b8> zeroinitializer, ptr %p
ret void
}
define void @store_const_v4b8_splat(ptr %p) {
; CHECK-LABEL: @store_const_v4b8_splat(
; CHECK-NEXT: store <4 x i8> splat (i8 5), ptr [[P:%.*]], align 4
; CHECK-NEXT: ret void
;
store <4 x b8> splat (b8 5), ptr %p
ret void
}
define void @store_const_v4b8_mixed(ptr %p) {
; CHECK-LABEL: @store_const_v4b8_mixed(
; CHECK-NEXT: store <4 x i8> <i8 1, i8 poison, i8 3, i8 undef>, ptr [[P:%.*]], align 4
; CHECK-NEXT: ret void
;
store <4 x b8> <b8 1, b8 poison, b8 3, b8 undef>, ptr %p
ret void
}
define void @store_const_v4b8_data(ptr %p) {
; CHECK-LABEL: @store_const_v4b8_data(
; CHECK-NEXT: store <4 x i8> <i8 1, i8 2, i8 3, i8 4>, ptr [[P:%.*]], align 4
; CHECK-NEXT: ret void
;
store <4 x b8> <b8 1, b8 2, b8 3, b8 4>, ptr %p
ret void
}
define void @store_const_nxv4b8_splat(ptr %p) {
; CHECK-LABEL: @store_const_nxv4b8_splat(
; CHECK-NEXT: store <vscale x 4 x i8> splat (i8 5), ptr [[P:%.*]], align 4
; CHECK-NEXT: ret void
;
store <vscale x 4 x b8> splat (b8 5), ptr %p
ret void
}
define void @store_const_nxv4b8_zero(ptr %p) {
; CHECK-LABEL: @store_const_nxv4b8_zero(
; CHECK-NEXT: store <vscale x 4 x i8> zeroinitializer, ptr [[P:%.*]], align 4
; CHECK-NEXT: ret void
;
store <vscale x 4 x b8> zeroinitializer, ptr %p
ret void
}
define void @store_const_b8_atomic(ptr %p) {
; CHECK-LABEL: @store_const_b8_atomic(
; CHECK-NEXT: store atomic i8 42, ptr [[P:%.*]] unordered, align 1
; CHECK-NEXT: ret void
;
store atomic b8 42, ptr %p unordered, align 1
ret void
}
define void @store_const_v4b8_atomic(ptr %p) {
; CHECK-LABEL: @store_const_v4b8_atomic(
; CHECK-NEXT: store atomic <4 x i8> splat (i8 5), ptr [[P:%.*]] unordered, align 4
; CHECK-NEXT: ret void
;
store atomic <4 x b8> splat (b8 5), ptr %p unordered, align 4
ret void
}
define void @store_const_b5(ptr %p) {
; CHECK-LABEL: @store_const_b5(
; CHECK-NEXT: store i5 5, ptr [[P:%.*]], align 1
; CHECK-NEXT: ret void
;
store b5 5, ptr %p, align 1
ret void
}
; Byte constants cannot represent pointer provenance.
; Make sure we do not fold the bitcast and change the store type.
define void @store_const_b64_from_ptr(ptr %p) {
; CHECK-LABEL: @store_const_b64_from_ptr(
; CHECK-NEXT: store b64 bitcast (ptr @Unknown to b64), ptr [[P:%.*]], align 4
; CHECK-NEXT: ret void
;
store b64 bitcast (ptr @Unknown to b64), ptr %p
ret void
}
; Only constants should be folded.
define void @store_nonconst_b8(b8 %v, ptr %p) {
; CHECK-LABEL: @store_nonconst_b8(
; CHECK-NEXT: store b8 [[V:%.*]], ptr [[P:%.*]], align 1
; CHECK-NEXT: ret void
;
store b8 %v, ptr %p
ret void
}
!0 = !{!4, !4, i64 0}
!1 = !{!"omnipotent char", !2}
!2 = !{!"Simple C/C++ TBAA"}
!3 = !{!"float", !1}
!4 = !{!"int", !1}
Reference in new issue View Git Blame Copy Permalink