llvm/test/Transforms/SROA/pr26972.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes='sroa<preserve-cfg>' -S | FileCheck %s --check-prefixes=CHECK,CHECK-PRESERVE-CFG
   3 ; RUN: opt < %s -passes='sroa<modify-cfg>' -S | FileCheck %s --check-prefixes=CHECK,CHECK-MODIFY-CFG
   4 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
   5 target triple = "x86_64-pc-linux"
   6
   7 ; Make sure we properly handle allocas where the allocated
   8 ; size overflows a uint32_t. This specific constant results in
   9 ; the size in bits being 32 after truncation to a 32-bit int.
  10 define void @fn1() {
  11 ; CHECK-LABEL: @fn1(
  12 ; CHECK-NEXT:    ret void
  13 ;
  14   %a = alloca [1073741825 x i32], align 16
  15   call void @llvm.lifetime.end.p0(i64 4294967300, ptr %a)
  16   ret void
  17 }
  18
  19 declare void @llvm.lifetime.end.p0(i64, ptr nocapture)
  20 ;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
  21 ; CHECK-MODIFY-CFG: {{.*}}
  22 ; CHECK-PRESERVE-CFG: {{.*}}