llvm/test/Transforms/DeadStoreElimination/wide-pointer-index-offset.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
; RUN: opt -passes=dse -S %s | FileCheck %s

target datalayout = "e-m:e-p:128:128:128"

; Tests with constant offsets that does not fit into i64.

define void @wide_offset_store_not_eliminated(ptr %A) {
; CHECK-LABEL: define void @wide_offset_store_not_eliminated(
; CHECK-SAME: ptr [[A:%.*]]) {
; CHECK-NEXT:    [[GEP:%.*]] = getelementptr i8, ptr [[A]], i128 147573952589676412928
; CHECK-NEXT:    store i32 1, ptr [[GEP]], align 4
; CHECK-NEXT:    store i32 2, ptr [[A]], align 4
; CHECK-NEXT:    ret void
;
  %gep = getelementptr i8, ptr %A, i128 147573952589676412928
  store i32 1, ptr %gep, align 4
  store i32 2, ptr %A, align 4
  ret void
}

define void @wide_offset_load_store(ptr %A) {
; CHECK-LABEL: define void @wide_offset_load_store(
; CHECK-SAME: ptr [[A:%.*]]) {
; CHECK-NEXT:    [[GEP:%.*]] = getelementptr i8, ptr [[A]], i128 147573952589676412928
; CHECK-NEXT:    [[L:%.*]] = load i32, ptr [[GEP]], align 4
; CHECK-NEXT:    store i32 [[L]], ptr [[A]], align 4
; CHECK-NEXT:    ret void
;
  %gep = getelementptr i8, ptr %A, i128 147573952589676412928
  %l = load i32, ptr %gep, align 4
  store i32 %l, ptr %A, align 4
  ret void
}