llvm/test/Transforms/NewGVN/no_speculative_loads_with_asan.ll

   1 ; RUN: opt -O3 -S %s | FileCheck %s
   2 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   3 declare noalias i8* @_Znam(i64) #1
   4
   5 define i32 @TestNoAsan() {
   6   %1 = tail call noalias i8* @_Znam(i64 2)
   7   %2 = getelementptr inbounds i8, i8* %1, i64 1
   8   store i8 0, i8* %2, align 1
   9   store i8 0, i8* %1, align 1
  10   %3 = bitcast i8* %1 to i16*
  11   %4 = load i16, i16* %3, align 4
  12   %5 = icmp eq i16 %4, 0
  13   br i1 %5, label %11, label %6
  14
  15 ; <label>:6                                       ; preds = %0
  16   %7 = getelementptr inbounds i8, i8* %1, i64 2
  17   %8 = bitcast i8* %7 to i16*
  18   %9 = load i16, i16* %8, align 2
  19   %10 = sext i16 %9 to i32
  20   br label %11
  21
  22 ; <label>:11                                      ; preds = %0, %6
  23   %12 = phi i32 [ %10, %6 ], [ 0, %0 ]
  24   ret i32 %12
  25 }
  26
  27 ; CHECK-LABEL: @TestNoAsan
  28 ; CHECK: ret i32 0
  29
  30 define i32 @TestAsan() sanitize_address {
  31   %1 = tail call noalias i8* @_Znam(i64 2)
  32   %2 = getelementptr inbounds i8, i8* %1, i64 1
  33   store i8 0, i8* %2, align 1
  34   store i8 0, i8* %1, align 1
  35   %3 = bitcast i8* %1 to i16*
  36   %4 = load i16, i16* %3, align 4
  37   %5 = icmp eq i16 %4, 0
  38   br i1 %5, label %11, label %6
  39
  40 ; <label>:6                                       ; preds = %0
  41   %7 = getelementptr inbounds i8, i8* %1, i64 2
  42   %8 = bitcast i8* %7 to i16*
  43   %9 = load i16, i16* %8, align 2
  44   %10 = sext i16 %9 to i32
  45   br label %11
  46
  47 ; <label>:11                                      ; preds = %0, %6
  48   %12 = phi i32 [ %10, %6 ], [ 0, %0 ]
  49   ret i32 %12
  50 }
  51
  52 ; CHECK-LABEL: @TestAsan
  53 ; CHECK-NOT: %[[LOAD:[^ ]+]] = load i32
  54 ; CHECK: {{.*}} = phi
  55
  56 define i32 @TestHWAsan() sanitize_hwaddress {
  57   %1 = tail call noalias i8* @_Znam(i64 2)
  58   %2 = getelementptr inbounds i8, i8* %1, i64 1
  59   store i8 0, i8* %2, align 1
  60   store i8 0, i8* %1, align 1
  61   %3 = bitcast i8* %1 to i16*
  62   %4 = load i16, i16* %3, align 4
  63   %5 = icmp eq i16 %4, 0
  64   br i1 %5, label %11, label %6
  65
  66 ; <label>:6                                       ; preds = %0
  67   %7 = getelementptr inbounds i8, i8* %1, i64 2
  68   %8 = bitcast i8* %7 to i16*
  69   %9 = load i16, i16* %8, align 2
  70   %10 = sext i16 %9 to i32
  71   br label %11
  72
  73 ; <label>:11                                      ; preds = %0, %6
  74   %12 = phi i32 [ %10, %6 ], [ 0, %0 ]
  75   ret i32 %12
  76 }
  77
  78 ; CHECK-LABEL: @TestHWAsan
  79 ; CHECK-NOT: %[[LOAD:[^ ]+]] = load i32
  80 ; CHECK: {{.*}} = phi
  81