35 lines · plain
1; To test that asan does not break the musttail call contract.2;3; RUN: opt < %s -passes=asan -S | FileCheck %s4 5define internal i32 @foo(ptr %p) sanitize_address {6 %rv = load i32, ptr %p7 ret i32 %rv8}9 10declare void @alloca_test_use(ptr)11define i32 @call_foo(ptr %a) sanitize_address {12 %x = alloca [10 x i8], align 113 call void @alloca_test_use(ptr %x)14 %r = musttail call i32 @foo(ptr %a)15 ret i32 %r16}17 18; CHECK-LABEL: define i32 @call_foo(ptr %a) 19; CHECK: %r = musttail call i32 @foo(ptr %a)20; CHECK-NEXT: ret i32 %r21 22 23define i32 @call_foo_cast(ptr %a) sanitize_address {24 %x = alloca [10 x i8], align 125 call void @alloca_test_use(ptr %x)26 %r = musttail call i32 @foo(ptr %a)27 %t = bitcast i32 %r to i3228 ret i32 %t29}30 31; CHECK-LABEL: define i32 @call_foo_cast(ptr %a)32; CHECK: %r = musttail call i32 @foo(ptr %a)33; CHECK-NEXT: %t = bitcast i32 %r to i3234; CHECK-NEXT: ret i32 %t35