1 ; RUN: opt < %s -passes=asan -asan-instrument-dynamic-allocas -S | FileCheck %s
3 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
4 target triple = "x86_64-apple-macosx10.10.0"
6 define i32 @test_promotable_allocas() sanitize_address {
8 ; CHECK: %0 = alloca i32, align 4
9 ; CHECK: store i32 0, ptr %0, align 4
10 ; CHECK: %1 = load i32, ptr %0, align 4
13 ; CHECK-NOT: __asan_stack_malloc_0
15 ; CHECK-NOT: call void @__asan_report_store4
17 %0 = alloca i32, align 4
18 store i32 0, ptr %0, align 4
19 %1 = load i32, ptr %0, align 4