72 lines
1.9 KiB
LLVM
72 lines
1.9 KiB
LLVM
|
; RUN: opt < %s -O0 -S | FileCheck %s
|
||
|
|
; RUN: opt < %s -O1 -S | FileCheck %s
|
||
|
|
; RUN: opt < %s -O2 -S | FileCheck %s
|
||
|
|
; RUN: opt < %s -O3 -S | FileCheck %s
|
||
|
|
; RUN: opt < %s -passes='default<O0>' -S | FileCheck %s
|
||
|
|
; RUN: opt < %s -passes='default<O1>' -S | FileCheck %s
|
||
|
|
; RUN: opt < %s -passes='default<O2>' -S | FileCheck %s
|
||
|
|
; RUN: opt < %s -passes='default<O3>' -S | FileCheck %s
|
||
|
|
|
||
|
|
declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture)
|
||
|
|
declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture)
|
||
|
|
declare void @foo(i8* nocapture)
|
||
|
|
|
||
|
|
define void @asan() sanitize_address {
|
||
|
|
entry:
|
||
|
|
; CHECK-LABEL: @asan(
|
||
|
|
%text = alloca i8, align 1
|
||
|
|
|
||
|
|
call void @llvm.lifetime.start.p0i8(i64 1, i8* %text)
|
||
|
|
call void @llvm.lifetime.end.p0i8(i64 1, i8* %text)
|
||
|
|
; CHECK: call void @llvm.lifetime.start
|
||
|
|
; CHECK-NEXT: call void @llvm.lifetime.end
|
||
|
|
|
||
|
|
call void @foo(i8* %text) ; Keep alloca alive
|
||
|
|
|
||
|
|
ret void
|
||
|
|
}
|
||
|
|
|
||
|
|
define void @hwasan() sanitize_hwaddress {
|
||
|
|
entry:
|
||
|
|
; CHECK-LABEL: @hwasan(
|
||
|
|
%text = alloca i8, align 1
|
||
|
|
|
||
|
|
call void @llvm.lifetime.start.p0i8(i64 1, i8* %text)
|
||
|
|
call void @llvm.lifetime.end.p0i8(i64 1, i8* %text)
|
||
|
|
; CHECK: call void @llvm.lifetime.start
|
||
|
|
; CHECK-NEXT: call void @llvm.lifetime.end
|
||
|
|
|
||
|
|
call void @foo(i8* %text) ; Keep alloca alive
|
||
|
|
|
||
|
|
ret void
|
||
|
|
}
|
||
|
|
|
||
|
|
define void @msan() sanitize_memory {
|
||
|
|
entry:
|
||
|
|
; CHECK-LABEL: @msan(
|
||
|
|
%text = alloca i8, align 1
|
||
|
|
|
||
|
|
call void @llvm.lifetime.start.p0i8(i64 1, i8* %text)
|
||
|
|
call void @llvm.lifetime.end.p0i8(i64 1, i8* %text)
|
||
|
|
; CHECK: call void @llvm.lifetime.start
|
||
|
|
; CHECK-NEXT: call void @llvm.lifetime.end
|
||
|
|
|
||
|
|
call void @foo(i8* %text) ; Keep alloca alive
|
||
|
|
|
||
|
|
ret void
|
||
|
|
}
|
||
|
|
|
||
|
|
define void @no_asan() {
|
||
|
|
entry:
|
||
|
|
; CHECK-LABEL: @no_asan(
|
||
|
|
%text = alloca i8, align 1
|
||
|
|
|
||
|
|
call void @llvm.lifetime.start.p0i8(i64 1, i8* %text)
|
||
|
|
call void @llvm.lifetime.end.p0i8(i64 1, i8* %text)
|
||
|
|
; CHECK-NO: call void @llvm.lifetime
|
||
|
|
|
||
|
|
call void @foo(i8* %text) ; Keep alloca alive
|
||
|
|
|
||
|
|
ret void
|
||
|
|
}
|