; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=asan -asan-use-after-return=never -S | FileCheck %s --check-prefixes=CHECK,NEVER
; RUN: opt < %s -passes=asan -asan-use-after-return=runtime -S | FileCheck %s --check-prefixes=CHECK,RUNTIME
; RUN: opt < %s -passes=asan -asan-use-after-return=always -S | FileCheck %s --check-prefixes=CHECK,ALWAYS
target datalayout = "e-i64:64-f80:128-s:64-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

declare void @Foo(ptr)

define void @Empty() uwtable sanitize_address {
; CHECK-LABEL: @Empty(
; CHECK-NEXT:  entry:
; CHECK-NEXT:    ret void
;
entry:
  ret void
}

define void @Simple() uwtable sanitize_address {
; NEVER-LABEL: @Simple(
; NEVER-NEXT:  entry:
; NEVER-NEXT:    [[MYALLOCA:%.*]] = alloca i8, i64 64, align 32
; NEVER-NEXT:    [[TMP2:%.*]] = getelementptr i8, ptr [[MYALLOCA]], i64 32
; NEVER-NEXT:    store i64 1102416563, ptr [[MYALLOCA]], align 8
; NEVER-NEXT:    [[TMP5:%.*]] = getelementptr i8, ptr [[MYALLOCA]], i64 8
; NEVER-NEXT:    store i64 ptrtoint (ptr @___asan_gen_stack to i64), ptr [[TMP5]], align 8
; NEVER-NEXT:    [[TMP7:%.*]] = getelementptr i8, ptr [[MYALLOCA]], i64 16
; NEVER-NEXT:    store i64 ptrtoint (ptr @Simple to i64), ptr [[TMP7]], align 8
; NEVER-NEXT:    [[TMP0:%.*]] = ptrtoint ptr [[MYALLOCA]] to i64
; NEVER-NEXT:    [[TMP8:%.*]] = lshr i64 [[TMP0]], 3
; NEVER-NEXT:    [[TMP9:%.*]] = add i64 [[TMP8]], 2147450880
; NEVER-NEXT:    [[TMP10:%.*]] = add i64 [[TMP9]], 0
; NEVER-NEXT:    [[TMP11:%.*]] = inttoptr i64 [[TMP10]] to ptr
; NEVER-NEXT:    store i64 -868083113472691727, ptr [[TMP11]], align 1
; NEVER-NEXT:    call void @Foo(ptr [[TMP2]])
; NEVER-NEXT:    store i64 1172321806, ptr [[MYALLOCA]], align 8
; NEVER-NEXT:    [[TMP12:%.*]] = add i64 [[TMP9]], 0
; NEVER-NEXT:    [[TMP13:%.*]] = inttoptr i64 [[TMP12]] to ptr
; NEVER-NEXT:    store i64 0, ptr [[TMP13]], align 1
; NEVER-NEXT:    ret void
;
; RUNTIME-LABEL: @Simple(
; RUNTIME-NEXT:  entry:
; RUNTIME-NEXT:    [[ASAN_LOCAL_STACK_BASE:%.*]] = alloca i64, align 8
; RUNTIME-NEXT:    [[TMP0:%.*]] = load i32, ptr @__asan_option_detect_stack_use_after_return, align 4
; RUNTIME-NEXT:    [[TMP1:%.*]] = icmp ne i32 [[TMP0]], 0
; RUNTIME-NEXT:    br i1 [[TMP1]], label [[TMP2:%.*]], label [[TMP4:%.*]]
; RUNTIME:       2:
; RUNTIME-NEXT:    [[TMP3:%.*]] = call i64 @__asan_stack_malloc_0(i64 64)
; RUNTIME-NEXT:    br label [[TMP4]]
; RUNTIME:       4:
; RUNTIME-NEXT:    [[TMP5:%.*]] = phi i64 [ 0, [[ENTRY:%.*]] ], [ [[TMP3]], [[TMP2]] ]
; RUNTIME-NEXT:    [[TMP8:%.*]] = inttoptr i64 [[TMP5]] to ptr
; RUNTIME-NEXT:    [[TMP6:%.*]] = icmp eq i64 [[TMP5]], 0
; RUNTIME-NEXT:    br i1 [[TMP6]], label [[TMP7:%.*]], label [[TMP9:%.*]]
; RUNTIME:       8:
; RUNTIME-NEXT:    [[MYALLOCA:%.*]] = alloca i8, i64 64, align 32
; RUNTIME-NEXT:    br label [[TMP9]]
; RUNTIME:       9:
; RUNTIME-NEXT:    [[TMP13:%.*]] = phi ptr [ [[TMP8]], [[TMP4]] ], [ [[MYALLOCA]], [[TMP7]] ]
; RUNTIME-NEXT:    store ptr [[TMP13]], ptr [[ASAN_LOCAL_STACK_BASE]], align 8
; RUNTIME-NEXT:    [[TMP12:%.*]] = getelementptr i8, ptr [[TMP13]], i64 32
; RUNTIME-NEXT:    store i64 1102416563, ptr [[TMP13]], align 8
; RUNTIME-NEXT:    [[TMP15:%.*]] = getelementptr i8, ptr [[TMP13]], i64 8
; RUNTIME-NEXT:    store i64 ptrtoint (ptr @___asan_gen_stack to i64), ptr [[TMP15]], align 8
; RUNTIME-NEXT:    [[TMP17:%.*]] = getelementptr i8, ptr [[TMP13]], i64 16
; RUNTIME-NEXT:    store i64 ptrtoint (ptr @Simple to i64), ptr [[TMP17]], align 8
; RUNTIME-NEXT:    [[TMP10:%.*]] = ptrtoint ptr [[TMP13]] to i64
; RUNTIME-NEXT:    [[TMP18:%.*]] = lshr i64 [[TMP10]], 3
; RUNTIME-NEXT:    [[TMP19:%.*]] = add i64 [[TMP18]], 2147450880
; RUNTIME-NEXT:    [[TMP20:%.*]] = add i64 [[TMP19]], 0
; RUNTIME-NEXT:    [[TMP21:%.*]] = inttoptr i64 [[TMP20]] to ptr
; RUNTIME-NEXT:    store i64 -868083113472691727, ptr [[TMP21]], align 1
; RUNTIME-NEXT:    call void @Foo(ptr [[TMP12]])
; RUNTIME-NEXT:    store i64 1172321806, ptr [[TMP13]], align 8
; RUNTIME-NEXT:    [[TMP22:%.*]] = icmp ne i64 [[TMP5]], 0
; RUNTIME-NEXT:    br i1 [[TMP22]], label [[TMP23:%.*]], label [[TMP30:%.*]]
; RUNTIME:       20:
; RUNTIME-NEXT:    [[TMP24:%.*]] = add i64 [[TMP19]], 0
; RUNTIME-NEXT:    [[TMP25:%.*]] = inttoptr i64 [[TMP24]] to ptr
; RUNTIME-NEXT:    store i64 -723401728380766731, ptr [[TMP25]], align 1
; RUNTIME-NEXT:    [[TMP27:%.*]] = getelementptr i8, ptr [[TMP8]], i64 56
; RUNTIME-NEXT:    [[TMP28:%.*]] = load i64, ptr [[TMP27]], align 8
; RUNTIME-NEXT:    [[TMP29:%.*]] = inttoptr i64 [[TMP28]] to ptr
; RUNTIME-NEXT:    store i8 0, ptr [[TMP29]], align 1
; RUNTIME-NEXT:    br label [[TMP33:%.*]]
; RUNTIME:       26:
; RUNTIME-NEXT:    [[TMP31:%.*]] = add i64 [[TMP19]], 0
; RUNTIME-NEXT:    [[TMP32:%.*]] = inttoptr i64 [[TMP31]] to ptr
; RUNTIME-NEXT:    store i64 0, ptr [[TMP32]], align 1
; RUNTIME-NEXT:    br label [[TMP33]]
; RUNTIME:       29:
; RUNTIME-NEXT:    ret void
;
; ALWAYS-LABEL: @Simple(
; ALWAYS-NEXT:  entry:
; ALWAYS-NEXT:    [[ASAN_LOCAL_STACK_BASE:%.*]] = alloca i64, align 8
; ALWAYS-NEXT:    [[TMP0:%.*]] = call i64 @__asan_stack_malloc_always_0(i64 64)
; ALWAYS-NEXT:    [[TMP3:%.*]] = inttoptr i64 [[TMP0]] to ptr
; ALWAYS-NEXT:    [[TMP1:%.*]] = icmp eq i64 [[TMP0]], 0
; ALWAYS-NEXT:    br i1 [[TMP1]], label [[TMP2:%.*]], label [[TMP4:%.*]]
; ALWAYS:       3:
; ALWAYS-NEXT:    [[MYALLOCA:%.*]] = alloca i8, i64 64, align 32
; ALWAYS-NEXT:    br label [[TMP4]]
; ALWAYS:       4:
; ALWAYS-NEXT:    [[TMP8:%.*]] = phi ptr [ [[TMP3]], [[ENTRY:%.*]] ], [ [[MYALLOCA]], [[TMP2]] ]
; ALWAYS-NEXT:    store ptr [[TMP8]], ptr [[ASAN_LOCAL_STACK_BASE]], align 8
; ALWAYS-NEXT:    [[TMP7:%.*]] = getelementptr i8, ptr [[TMP8]], i64 32
; ALWAYS-NEXT:    store i64 1102416563, ptr [[TMP8]], align 8
; ALWAYS-NEXT:    [[TMP10:%.*]] = getelementptr i8, ptr [[TMP8]], i64 8
; ALWAYS-NEXT:    store i64 ptrtoint (ptr @___asan_gen_stack to i64), ptr [[TMP10]], align 8
; ALWAYS-NEXT:    [[TMP12:%.*]] = getelementptr i8, ptr [[TMP8]], i64 16
; ALWAYS-NEXT:    store i64 ptrtoint (ptr @Simple to i64), ptr [[TMP12]], align 8
; ALWAYS-NEXT:    [[TMP5:%.*]] = ptrtoint ptr [[TMP8]] to i64
; ALWAYS-NEXT:    [[TMP13:%.*]] = lshr i64 [[TMP5]], 3
; ALWAYS-NEXT:    [[TMP14:%.*]] = add i64 [[TMP13]], 2147450880
; ALWAYS-NEXT:    [[TMP15:%.*]] = add i64 [[TMP14]], 0
; ALWAYS-NEXT:    [[TMP16:%.*]] = inttoptr i64 [[TMP15]] to ptr
; ALWAYS-NEXT:    store i64 -868083113472691727, ptr [[TMP16]], align 1
; ALWAYS-NEXT:    call void @Foo(ptr [[TMP7]])
; ALWAYS-NEXT:    store i64 1172321806, ptr [[TMP8]], align 8
; ALWAYS-NEXT:    [[TMP17:%.*]] = icmp ne i64 [[TMP0]], 0
; ALWAYS-NEXT:    br i1 [[TMP17]], label [[TMP18:%.*]], label [[TMP25:%.*]]
; ALWAYS:       15:
; ALWAYS-NEXT:    [[TMP19:%.*]] = add i64 [[TMP14]], 0
; ALWAYS-NEXT:    [[TMP20:%.*]] = inttoptr i64 [[TMP19]] to ptr
; ALWAYS-NEXT:    store i64 -723401728380766731, ptr [[TMP20]], align 1
; ALWAYS-NEXT:    [[TMP22:%.*]] = getelementptr i8, ptr [[TMP3]], i64 56
; ALWAYS-NEXT:    [[TMP23:%.*]] = load i64, ptr [[TMP22]], align 8
; ALWAYS-NEXT:    [[TMP24:%.*]] = inttoptr i64 [[TMP23]] to ptr
; ALWAYS-NEXT:    store i8 0, ptr [[TMP24]], align 1
; ALWAYS-NEXT:    br label [[TMP28:%.*]]
; ALWAYS:       21:
; ALWAYS-NEXT:    [[TMP26:%.*]] = add i64 [[TMP14]], 0
; ALWAYS-NEXT:    [[TMP27:%.*]] = inttoptr i64 [[TMP26]] to ptr
; ALWAYS-NEXT:    store i64 0, ptr [[TMP27]], align 1
; ALWAYS-NEXT:    br label [[TMP28]]
; ALWAYS:       24:
; ALWAYS-NEXT:    ret void
;
entry:
  %x = alloca i8, align 16
  call void @Foo(ptr %x)
  ret void
}

define void @Huge() uwtable sanitize_address {
; CHECK-LABEL: @Huge(
; CHECK-NEXT:  entry:
; CHECK-NEXT:    [[MYALLOCA:%.*]] = alloca i8, i64 100288, align 32
; CHECK-NEXT:    [[TMP2:%.*]] = getelementptr i8, ptr [[MYALLOCA]], i64 32
; CHECK-NEXT:    store i64 1102416563, ptr [[MYALLOCA]], align 8
; CHECK-NEXT:    [[TMP5:%.*]] = getelementptr i8, ptr [[MYALLOCA]], i64 8
; CHECK-NEXT:    store i64 ptrtoint (ptr @___asan_gen_stack.1 to i64), ptr [[TMP5]], align 8
; CHECK-NEXT:    [[TMP7:%.*]] = getelementptr i8, ptr [[MYALLOCA]], i64 16
; CHECK-NEXT:    store i64 ptrtoint (ptr @Huge to i64), ptr [[TMP7]], align 8
; CHECK-NEXT:    [[TMP0:%.*]] = ptrtoint ptr [[MYALLOCA]] to i64
; CHECK-NEXT:    [[TMP8:%.*]] = lshr i64 [[TMP0]], 3
; CHECK-NEXT:    [[TMP9:%.*]] = add i64 [[TMP8]], 2147450880
; CHECK-NEXT:    [[TMP10:%.*]] = add i64 [[TMP9]], 0
; CHECK-NEXT:    [[TMP11:%.*]] = inttoptr i64 [[TMP10]] to ptr
; CHECK-NEXT:    store i32 -235802127, ptr [[TMP11]], align 1
; CHECK-NEXT:    [[TMP12:%.*]] = add i64 [[TMP9]], 12504
; CHECK-NEXT:    [[TMP13:%.*]] = inttoptr i64 [[TMP12]] to ptr
; CHECK-NEXT:    store i64 -868082074056920077, ptr [[TMP13]], align 1
; CHECK-NEXT:    [[TMP14:%.*]] = add i64 [[TMP9]], 12512
; CHECK-NEXT:    [[TMP15:%.*]] = inttoptr i64 [[TMP14]] to ptr
; CHECK-NEXT:    store i64 -868082074056920077, ptr [[TMP15]], align 1
; CHECK-NEXT:    [[TMP16:%.*]] = add i64 [[TMP9]], 12520
; CHECK-NEXT:    [[TMP17:%.*]] = inttoptr i64 [[TMP16]] to ptr
; CHECK-NEXT:    store i64 -868082074056920077, ptr [[TMP17]], align 1
; CHECK-NEXT:    [[TMP18:%.*]] = add i64 [[TMP9]], 12528
; CHECK-NEXT:    [[TMP19:%.*]] = inttoptr i64 [[TMP18]] to ptr
; CHECK-NEXT:    store i64 -868082074056920077, ptr [[TMP19]], align 1
; CHECK-NEXT:    call void @Foo(ptr [[TMP2]])
; CHECK-NEXT:    store i64 1172321806, ptr [[MYALLOCA]], align 8
; CHECK-NEXT:    [[TMP20:%.*]] = add i64 [[TMP9]], 0
; CHECK-NEXT:    [[TMP21:%.*]] = inttoptr i64 [[TMP20]] to ptr
; CHECK-NEXT:    store i32 0, ptr [[TMP21]], align 1
; CHECK-NEXT:    [[TMP22:%.*]] = add i64 [[TMP9]], 12504
; CHECK-NEXT:    [[TMP23:%.*]] = inttoptr i64 [[TMP22]] to ptr
; CHECK-NEXT:    store i64 0, ptr [[TMP23]], align 1
; CHECK-NEXT:    [[TMP24:%.*]] = add i64 [[TMP9]], 12512
; CHECK-NEXT:    [[TMP25:%.*]] = inttoptr i64 [[TMP24]] to ptr
; CHECK-NEXT:    store i64 0, ptr [[TMP25]], align 1
; CHECK-NEXT:    [[TMP26:%.*]] = add i64 [[TMP9]], 12520
; CHECK-NEXT:    [[TMP27:%.*]] = inttoptr i64 [[TMP26]] to ptr
; CHECK-NEXT:    store i64 0, ptr [[TMP27]], align 1
; CHECK-NEXT:    [[TMP28:%.*]] = add i64 [[TMP9]], 12528
; CHECK-NEXT:    [[TMP29:%.*]] = inttoptr i64 [[TMP28]] to ptr
; CHECK-NEXT:    store i64 0, ptr [[TMP29]], align 1
; CHECK-NEXT:    ret void
;
entry:
  %x = alloca [100000 x i8], align 16
  call void @Foo(ptr %x)
  ret void
}