test/Transforms/PhaseOrdering/lifetime-sanitizer.ll

   1 ; RUN: opt < %s -O0 -S | FileCheck %s
   2 ; RUN: opt < %s -O1 -S | FileCheck %s
   3 ; RUN: opt < %s -O2 -S | FileCheck %s
   4 ; RUN: opt < %s -O3 -S | FileCheck %s
   5 ; RUN: opt < %s -passes='default<O0>' -S | FileCheck %s
   6 ; RUN: opt < %s -passes='default<O1>' -S | FileCheck %s
   7 ; RUN: opt < %s -passes='default<O2>' -S | FileCheck %s
   8 ; RUN: opt < %s -passes='default<O3>' -S | FileCheck %s
   9
  10 declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture)
  11 declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture)
  12 declare void @foo(i8* nocapture)
  13
  14 define void @asan() sanitize_address {
  15 entry:
  16   ; CHECK-LABEL: @asan(
  17   %text = alloca i8, align 1
  18
  19   call void @llvm.lifetime.start.p0i8(i64 1, i8* %text)
  20   call void @llvm.lifetime.end.p0i8(i64 1, i8* %text)
  21   ; CHECK: call void @llvm.lifetime.start
  22   ; CHECK-NEXT: call void @llvm.lifetime.end
  23
  24   call void @foo(i8* %text) ; Keep alloca alive
  25
  26   ret void
  27 }
  28
  29 define void @hwasan() sanitize_hwaddress {
  30 entry:
  31   ; CHECK-LABEL: @hwasan(
  32   %text = alloca i8, align 1
  33
  34   call void @llvm.lifetime.start.p0i8(i64 1, i8* %text)
  35   call void @llvm.lifetime.end.p0i8(i64 1, i8* %text)
  36   ; CHECK: call void @llvm.lifetime.start
  37   ; CHECK-NEXT: call void @llvm.lifetime.end
  38
  39   call void @foo(i8* %text) ; Keep alloca alive
  40
  41   ret void
  42 }
  43
  44 define void @msan() sanitize_memory {
  45 entry:
  46   ; CHECK-LABEL: @msan(
  47   %text = alloca i8, align 1
  48
  49   call void @llvm.lifetime.start.p0i8(i64 1, i8* %text)
  50   call void @llvm.lifetime.end.p0i8(i64 1, i8* %text)
  51   ; CHECK: call void @llvm.lifetime.start
  52   ; CHECK-NEXT: call void @llvm.lifetime.end
  53
  54   call void @foo(i8* %text) ; Keep alloca alive
  55
  56   ret void
  57 }
  58
  59 define void @no_asan() {
  60 entry:
  61   ; CHECK-LABEL: @no_asan(
  62   %text = alloca i8, align 1
  63
  64   call void @llvm.lifetime.start.p0i8(i64 1, i8* %text)
  65   call void @llvm.lifetime.end.p0i8(i64 1, i8* %text)
  66   ; CHECK-NO: call void @llvm.lifetime
  67
  68   call void @foo(i8* %text) ; Keep alloca alive
  69
  70   ret void
  71 }