llvm/test/Transforms/PhaseOrdering/X86/store-constant-merge.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -O3 -S | FileCheck %s

target triple = "x86_64-unknown-linux-gnu"

%struct.data_t = type { [16 x i8] }

declare void @process6data_t(i64, i64)
declare void @process36data_tS_S_(i64, i64, i64, i64, i64, i64)

; See https://llvm.org/PR47023 for source examples.
; In all tests, we expect the i8 constant stores to get merged optimally
; (through SROA, combining, etc.) so that there are no store insts left.

define void @bad1() #0 {
; CHECK-LABEL: @bad1(
; CHECK-NEXT:    call void @process6data_t(i64 21542142465, i64 0)
; CHECK-NEXT:    ret void
;
  %1 = alloca %struct.data_t, align 1
  %2 = getelementptr inbounds %struct.data_t, %struct.data_t* %1, i32 0, i32 0
  %3 = getelementptr inbounds [16 x i8], [16 x i8]* %2, i64 0, i64 0
  store i8 1, i8* %3, align 1
  %4 = getelementptr inbounds i8, i8* %3, i64 1
  store i8 2, i8* %4, align 1
  %5 = getelementptr inbounds i8, i8* %4, i64 1
  store i8 3, i8* %5, align 1
  %6 = getelementptr inbounds i8, i8* %5, i64 1
  store i8 4, i8* %6, align 1
  %7 = getelementptr inbounds i8, i8* %6, i64 1
  store i8 5, i8* %7, align 1
  %8 = getelementptr inbounds i8, i8* %7, i64 1
  %9 = getelementptr inbounds i8, i8* %3, i64 16
  br label %10

10:                                               ; preds = %10, %0
  %11 = phi i8* [ %8, %0 ], [ %12, %10 ]
  store i8 0, i8* %11, align 1
  %12 = getelementptr inbounds i8, i8* %11, i64 1
  %13 = icmp eq i8* %12, %9
  br i1 %13, label %14, label %10

14:                                               ; preds = %10
  %15 = bitcast %struct.data_t* %1 to { i64, i64 }*
  %16 = getelementptr inbounds { i64, i64 }, { i64, i64 }* %15, i32 0, i32 0
  %17 = load i64, i64* %16, align 1
  %18 = getelementptr inbounds { i64, i64 }, { i64, i64 }* %15, i32 0, i32 1
  %19 = load i64, i64* %18, align 1
  call void @process6data_t(i64 %17, i64 %19)
  ret void
}

define void @bad2() #0 {
; CHECK-LABEL: @bad2(
; CHECK-NEXT:    call void @process6data_t(i64 216736853120975361, i64 1411785848587524)
; CHECK-NEXT:    ret void
;
  %1 = alloca %struct.data_t, align 1
  %2 = getelementptr inbounds %struct.data_t, %struct.data_t* %1, i32 0, i32 0
  %3 = getelementptr inbounds [16 x i8], [16 x i8]* %2, i64 0, i64 0
  store i8 1, i8* %3, align 1
  %4 = getelementptr inbounds i8, i8* %3, i64 1
  store i8 2, i8* %4, align 1
  %5 = getelementptr inbounds i8, i8* %4, i64 1
  store i8 3, i8* %5, align 1
  %6 = getelementptr inbounds i8, i8* %5, i64 1
  store i8 4, i8* %6, align 1
  %7 = getelementptr inbounds i8, i8* %6, i64 1
  store i8 5, i8* %7, align 1
  %8 = getelementptr inbounds i8, i8* %7, i64 1
  store i8 1, i8* %8, align 1
  %9 = getelementptr inbounds i8, i8* %8, i64 1
  store i8 2, i8* %9, align 1
  %10 = getelementptr inbounds i8, i8* %9, i64 1
  store i8 3, i8* %10, align 1
  %11 = getelementptr inbounds i8, i8* %10, i64 1
  store i8 4, i8* %11, align 1
  %12 = getelementptr inbounds i8, i8* %11, i64 1
  store i8 5, i8* %12, align 1
  %13 = getelementptr inbounds i8, i8* %12, i64 1
  store i8 1, i8* %13, align 1
  %14 = getelementptr inbounds i8, i8* %13, i64 1
  store i8 2, i8* %14, align 1
  %15 = getelementptr inbounds i8, i8* %14, i64 1
  store i8 3, i8* %15, align 1
  %16 = getelementptr inbounds i8, i8* %15, i64 1
  store i8 4, i8* %16, align 1
  %17 = getelementptr inbounds i8, i8* %16, i64 1
  store i8 5, i8* %17, align 1
  %18 = getelementptr inbounds i8, i8* %17, i64 1
  %19 = getelementptr inbounds i8, i8* %3, i64 16
  br label %20

20:                                               ; preds = %20, %0
  %21 = phi i8* [ %18, %0 ], [ %22, %20 ]
  store i8 0, i8* %21, align 1
  %22 = getelementptr inbounds i8, i8* %21, i64 1
  %23 = icmp eq i8* %22, %19
  br i1 %23, label %24, label %20

24:                                               ; preds = %20
  %25 = bitcast %struct.data_t* %1 to { i64, i64 }*
  %26 = getelementptr inbounds { i64, i64 }, { i64, i64 }* %25, i32 0, i32 0
  %27 = load i64, i64* %26, align 1
  %28 = getelementptr inbounds { i64, i64 }, { i64, i64 }* %25, i32 0, i32 1
  %29 = load i64, i64* %28, align 1
  call void @process6data_t(i64 %27, i64 %29)
  ret void
}

define void @bad3() {
; CHECK-LABEL: @bad3(
; CHECK-NEXT:    call void @process36data_tS_S_(i64 21542142465, i64 0, i64 723401749922909195, i64 723401728380766730, i64 1446803478303675925, i64 5651576002974730)
; CHECK-NEXT:    ret void
;
  %1 = alloca %struct.data_t, align 1
  %2 = alloca %struct.data_t, align 1
  %3 = alloca %struct.data_t, align 1
  %4 = getelementptr inbounds %struct.data_t, %struct.data_t* %1, i32 0, i32 0
  %5 = getelementptr inbounds [16 x i8], [16 x i8]* %4, i64 0, i64 0
  store i8 1, i8* %5, align 1
  %6 = getelementptr inbounds i8, i8* %5, i64 1
  store i8 2, i8* %6, align 1
  %7 = getelementptr inbounds i8, i8* %6, i64 1
  store i8 3, i8* %7, align 1
  %8 = getelementptr inbounds i8, i8* %7, i64 1
  store i8 4, i8* %8, align 1
  %9 = getelementptr inbounds i8, i8* %8, i64 1
  store i8 5, i8* %9, align 1
  %10 = getelementptr inbounds i8, i8* %9, i64 1
  store i8 0, i8* %10, align 1
  %11 = getelementptr inbounds i8, i8* %10, i64 1
  store i8 0, i8* %11, align 1
  %12 = getelementptr inbounds i8, i8* %11, i64 1
  store i8 0, i8* %12, align 1
  %13 = getelementptr inbounds i8, i8* %12, i64 1
  store i8 0, i8* %13, align 1
  %14 = getelementptr inbounds i8, i8* %13, i64 1
  store i8 0, i8* %14, align 1
  %15 = getelementptr inbounds i8, i8* %14, i64 1
  store i8 0, i8* %15, align 1
  %16 = getelementptr inbounds i8, i8* %15, i64 1
  store i8 0, i8* %16, align 1
  %17 = getelementptr inbounds i8, i8* %16, i64 1
  store i8 0, i8* %17, align 1
  %18 = getelementptr inbounds i8, i8* %17, i64 1
  store i8 0, i8* %18, align 1
  %19 = getelementptr inbounds i8, i8* %18, i64 1
  store i8 0, i8* %19, align 1
  %20 = getelementptr inbounds i8, i8* %19, i64 1
  store i8 0, i8* %20, align 1
  %21 = getelementptr inbounds %struct.data_t, %struct.data_t* %2, i32 0, i32 0
  %22 = getelementptr inbounds [16 x i8], [16 x i8]* %21, i64 0, i64 0
  store i8 11, i8* %22, align 1
  %23 = getelementptr inbounds i8, i8* %22, i64 1
  store i8 12, i8* %23, align 1
  %24 = getelementptr inbounds i8, i8* %23, i64 1
  store i8 13, i8* %24, align 1
  %25 = getelementptr inbounds i8, i8* %24, i64 1
  store i8 14, i8* %25, align 1
  %26 = getelementptr inbounds i8, i8* %25, i64 1
  store i8 15, i8* %26, align 1
  %27 = getelementptr inbounds i8, i8* %26, i64 1
  store i8 10, i8* %27, align 1
  %28 = getelementptr inbounds i8, i8* %27, i64 1
  store i8 10, i8* %28, align 1
  %29 = getelementptr inbounds i8, i8* %28, i64 1
  store i8 10, i8* %29, align 1
  %30 = getelementptr inbounds i8, i8* %29, i64 1
  store i8 10, i8* %30, align 1
  %31 = getelementptr inbounds i8, i8* %30, i64 1
  store i8 10, i8* %31, align 1
  %32 = getelementptr inbounds i8, i8* %31, i64 1
  store i8 10, i8* %32, align 1
  %33 = getelementptr inbounds i8, i8* %32, i64 1
  store i8 10, i8* %33, align 1
  %34 = getelementptr inbounds i8, i8* %33, i64 1
  store i8 10, i8* %34, align 1
  %35 = getelementptr inbounds i8, i8* %34, i64 1
  store i8 10, i8* %35, align 1
  %36 = getelementptr inbounds i8, i8* %35, i64 1
  store i8 10, i8* %36, align 1
  %37 = getelementptr inbounds i8, i8* %36, i64 1
  store i8 10, i8* %37, align 1
  %38 = getelementptr inbounds %struct.data_t, %struct.data_t* %3, i32 0, i32 0
  %39 = getelementptr inbounds [16 x i8], [16 x i8]* %38, i64 0, i64 0
  store i8 21, i8* %39, align 1
  %40 = getelementptr inbounds i8, i8* %39, i64 1
  store i8 22, i8* %40, align 1
  %41 = getelementptr inbounds i8, i8* %40, i64 1
  store i8 23, i8* %41, align 1
  %42 = getelementptr inbounds i8, i8* %41, i64 1
  store i8 24, i8* %42, align 1
  %43 = getelementptr inbounds i8, i8* %42, i64 1
  store i8 25, i8* %43, align 1
  %44 = getelementptr inbounds i8, i8* %43, i64 1
  store i8 20, i8* %44, align 1
  %45 = getelementptr inbounds i8, i8* %44, i64 1
  store i8 20, i8* %45, align 1
  %46 = getelementptr inbounds i8, i8* %45, i64 1
  store i8 20, i8* %46, align 1
  %47 = getelementptr inbounds i8, i8* %46, i64 1
  store i8 10, i8* %47, align 1
  %48 = getelementptr inbounds i8, i8* %47, i64 1
  store i8 20, i8* %48, align 1
  %49 = getelementptr inbounds i8, i8* %48, i64 1
  store i8 20, i8* %49, align 1
  %50 = getelementptr inbounds i8, i8* %49, i64 1
  store i8 20, i8* %50, align 1
  %51 = getelementptr inbounds i8, i8* %50, i64 1
  store i8 20, i8* %51, align 1
  %52 = getelementptr inbounds i8, i8* %51, i64 1
  store i8 20, i8* %52, align 1
  %53 = getelementptr inbounds i8, i8* %52, i64 1
  store i8 20, i8* %53, align 1
  %54 = getelementptr inbounds i8, i8* %53, i64 1
  %55 = getelementptr inbounds i8, i8* %39, i64 16
  br label %56

56:                                               ; preds = %56, %0
  %57 = phi i8* [ %54, %0 ], [ %58, %56 ]
  store i8 0, i8* %57, align 1
  %58 = getelementptr inbounds i8, i8* %57, i64 1
  %59 = icmp eq i8* %58, %55
  br i1 %59, label %60, label %56

60:                                               ; preds = %56
  %61 = bitcast %struct.data_t* %1 to { i64, i64 }*
  %62 = getelementptr inbounds { i64, i64 }, { i64, i64 }* %61, i32 0, i32 0
  %63 = load i64, i64* %62, align 1
  %64 = getelementptr inbounds { i64, i64 }, { i64, i64 }* %61, i32 0, i32 1
  %65 = load i64, i64* %64, align 1
  %66 = bitcast %struct.data_t* %2 to { i64, i64 }*
  %67 = getelementptr inbounds { i64, i64 }, { i64, i64 }* %66, i32 0, i32 0
  %68 = load i64, i64* %67, align 1
  %69 = getelementptr inbounds { i64, i64 }, { i64, i64 }* %66, i32 0, i32 1
  %70 = load i64, i64* %69, align 1
  %71 = bitcast %struct.data_t* %3 to { i64, i64 }*
  %72 = getelementptr inbounds { i64, i64 }, { i64, i64 }* %71, i32 0, i32 0
  %73 = load i64, i64* %72, align 1
  %74 = getelementptr inbounds { i64, i64 }, { i64, i64 }* %71, i32 0, i32 1
  %75 = load i64, i64* %74, align 1
  call void @process36data_tS_S_(i64 %63, i64 %65, i64 %68, i64 %70, i64 %73, i64 %75)
  ret void
}

define void @bad4() #0 {
; CHECK-LABEL: @bad4(
; CHECK-NEXT:    tail call void @process36data_tS_S_(i64 21542142465, i64 0, i64 723401749922909195, i64 723401728380766730, i64 1446803478303675925, i64 798285110420182026)
; CHECK-NEXT:    ret void
;
  %1 = alloca %struct.data_t, align 1
  %2 = alloca %struct.data_t, align 1
  %3 = alloca %struct.data_t, align 1
  %4 = getelementptr inbounds %struct.data_t, %struct.data_t* %1, i32 0, i32 0
  %5 = getelementptr inbounds [16 x i8], [16 x i8]* %4, i64 0, i64 0
  store i8 1, i8* %5, align 1
  %6 = getelementptr inbounds i8, i8* %5, i64 1
  store i8 2, i8* %6, align 1
  %7 = getelementptr inbounds i8, i8* %6, i64 1
  store i8 3, i8* %7, align 1
  %8 = getelementptr inbounds i8, i8* %7, i64 1
  store i8 4, i8* %8, align 1
  %9 = getelementptr inbounds i8, i8* %8, i64 1
  store i8 5, i8* %9, align 1
  %10 = getelementptr inbounds i8, i8* %9, i64 1
  store i8 0, i8* %10, align 1
  %11 = getelementptr inbounds i8, i8* %10, i64 1
  store i8 0, i8* %11, align 1
  %12 = getelementptr inbounds i8, i8* %11, i64 1
  store i8 0, i8* %12, align 1
  %13 = getelementptr inbounds i8, i8* %12, i64 1
  store i8 0, i8* %13, align 1
  %14 = getelementptr inbounds i8, i8* %13, i64 1
  store i8 0, i8* %14, align 1
  %15 = getelementptr inbounds i8, i8* %14, i64 1
  store i8 0, i8* %15, align 1
  %16 = getelementptr inbounds i8, i8* %15, i64 1
  store i8 0, i8* %16, align 1
  %17 = getelementptr inbounds i8, i8* %16, i64 1
  store i8 0, i8* %17, align 1
  %18 = getelementptr inbounds i8, i8* %17, i64 1
  store i8 0, i8* %18, align 1
  %19 = getelementptr inbounds i8, i8* %18, i64 1
  store i8 0, i8* %19, align 1
  %20 = getelementptr inbounds i8, i8* %19, i64 1
  store i8 0, i8* %20, align 1
  %21 = getelementptr inbounds %struct.data_t, %struct.data_t* %2, i32 0, i32 0
  %22 = getelementptr inbounds [16 x i8], [16 x i8]* %21, i64 0, i64 0
  store i8 11, i8* %22, align 1
  %23 = getelementptr inbounds i8, i8* %22, i64 1
  store i8 12, i8* %23, align 1
  %24 = getelementptr inbounds i8, i8* %23, i64 1
  store i8 13, i8* %24, align 1
  %25 = getelementptr inbounds i8, i8* %24, i64 1
  store i8 14, i8* %25, align 1
  %26 = getelementptr inbounds i8, i8* %25, i64 1
  store i8 15, i8* %26, align 1
  %27 = getelementptr inbounds i8, i8* %26, i64 1
  store i8 10, i8* %27, align 1
  %28 = getelementptr inbounds i8, i8* %27, i64 1
  store i8 10, i8* %28, align 1
  %29 = getelementptr inbounds i8, i8* %28, i64 1
  store i8 10, i8* %29, align 1
  %30 = getelementptr inbounds i8, i8* %29, i64 1
  store i8 10, i8* %30, align 1
  %31 = getelementptr inbounds i8, i8* %30, i64 1
  store i8 10, i8* %31, align 1
  %32 = getelementptr inbounds i8, i8* %31, i64 1
  store i8 10, i8* %32, align 1
  %33 = getelementptr inbounds i8, i8* %32, i64 1
  store i8 10, i8* %33, align 1
  %34 = getelementptr inbounds i8, i8* %33, i64 1
  store i8 10, i8* %34, align 1
  %35 = getelementptr inbounds i8, i8* %34, i64 1
  store i8 10, i8* %35, align 1
  %36 = getelementptr inbounds i8, i8* %35, i64 1
  store i8 10, i8* %36, align 1
  %37 = getelementptr inbounds i8, i8* %36, i64 1
  store i8 10, i8* %37, align 1
  %38 = getelementptr inbounds %struct.data_t, %struct.data_t* %3, i32 0, i32 0
  %39 = getelementptr inbounds [16 x i8], [16 x i8]* %38, i64 0, i64 0
  store i8 21, i8* %39, align 1
  %40 = getelementptr inbounds i8, i8* %39, i64 1
  store i8 22, i8* %40, align 1
  %41 = getelementptr inbounds i8, i8* %40, i64 1
  store i8 23, i8* %41, align 1
  %42 = getelementptr inbounds i8, i8* %41, i64 1
  store i8 24, i8* %42, align 1
  %43 = getelementptr inbounds i8, i8* %42, i64 1
  store i8 25, i8* %43, align 1
  %44 = getelementptr inbounds i8, i8* %43, i64 1
  store i8 20, i8* %44, align 1
  %45 = getelementptr inbounds i8, i8* %44, i64 1
  store i8 20, i8* %45, align 1
  %46 = getelementptr inbounds i8, i8* %45, i64 1
  store i8 20, i8* %46, align 1
  %47 = getelementptr inbounds i8, i8* %46, i64 1
  store i8 10, i8* %47, align 1
  %48 = getelementptr inbounds i8, i8* %47, i64 1
  store i8 20, i8* %48, align 1
  %49 = getelementptr inbounds i8, i8* %48, i64 1
  store i8 20, i8* %49, align 1
  %50 = getelementptr inbounds i8, i8* %49, i64 1
  store i8 20, i8* %50, align 1
  %51 = getelementptr inbounds i8, i8* %50, i64 1
  store i8 20, i8* %51, align 1
  %52 = getelementptr inbounds i8, i8* %51, i64 1
  store i8 20, i8* %52, align 1
  %53 = getelementptr inbounds i8, i8* %52, i64 1
  store i8 20, i8* %53, align 1
  %54 = getelementptr inbounds i8, i8* %53, i64 1
  store i8 11, i8* %54, align 1
  %55 = bitcast %struct.data_t* %1 to { i64, i64 }*
  %56 = getelementptr inbounds { i64, i64 }, { i64, i64 }* %55, i32 0, i32 0
  %57 = load i64, i64* %56, align 1
  %58 = getelementptr inbounds { i64, i64 }, { i64, i64 }* %55, i32 0, i32 1
  %59 = load i64, i64* %58, align 1
  %60 = bitcast %struct.data_t* %2 to { i64, i64 }*
  %61 = getelementptr inbounds { i64, i64 }, { i64, i64 }* %60, i32 0, i32 0
  %62 = load i64, i64* %61, align 1
  %63 = getelementptr inbounds { i64, i64 }, { i64, i64 }* %60, i32 0, i32 1
  %64 = load i64, i64* %63, align 1
  %65 = bitcast %struct.data_t* %3 to { i64, i64 }*
  %66 = getelementptr inbounds { i64, i64 }, { i64, i64 }* %65, i32 0, i32 0
  %67 = load i64, i64* %66, align 1
  %68 = getelementptr inbounds { i64, i64 }, { i64, i64 }* %65, i32 0, i32 1
  %69 = load i64, i64* %68, align 1
  call void @process36data_tS_S_(i64 %57, i64 %59, i64 %62, i64 %64, i64 %67, i64 %69)
  ret void
}