llvm/test/Transforms/GVN/no_speculative_loads_with_asan.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=gvn -S %s | FileCheck %s
   3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   4 declare noalias ptr @_Znam(i64) #1
   5
   6 ; Load of %i8 is an out of bounds load, which is folded to poison, which allows
   7 ; us to elide the phi.
   8 define i32 @TestNoAsan() {
   9 ; CHECK-LABEL: @TestNoAsan(
  10 ; CHECK-NEXT:  bb:
  11 ; CHECK-NEXT:    [[I:%.*]] = tail call noalias ptr @_Znam(i64 2)
  12 ; CHECK-NEXT:    [[I1:%.*]] = getelementptr inbounds i8, ptr [[I]], i64 1
  13 ; CHECK-NEXT:    store i8 0, ptr [[I1]], align 1
  14 ; CHECK-NEXT:    store i8 0, ptr [[I]], align 1
  15 ; CHECK-NEXT:    [[I3:%.*]] = load i16, ptr [[I]], align 4
  16 ; CHECK-NEXT:    [[I4:%.*]] = icmp eq i16 [[I3]], 0
  17 ; CHECK-NEXT:    br i1 [[I4]], label [[BB10:%.*]], label [[BB5:%.*]]
  18 ; CHECK:       bb5:
  19 ; CHECK-NEXT:    [[I6:%.*]] = getelementptr inbounds i8, ptr [[I]], i64 2
  20 ; CHECK-NEXT:    br label [[BB10]]
  21 ; CHECK:       bb10:
  22 ; CHECK-NEXT:    ret i32 0
  23 ;
  24 bb:
  25   %i = tail call noalias ptr @_Znam(i64 2)
  26   %i1 = getelementptr inbounds i8, ptr %i, i64 1
  27   store i8 0, ptr %i1, align 1
  28   store i8 0, ptr %i, align 1
  29   %i3 = load i16, ptr %i, align 4
  30   %i4 = icmp eq i16 %i3, 0
  31   br i1 %i4, label %bb10, label %bb5
  32
  33 bb5:                                              ; preds = %bb
  34   %i6 = getelementptr inbounds i8, ptr %i, i64 2
  35   %i8 = load i16, ptr %i6, align 2
  36   %i9 = sext i16 %i8 to i32
  37   br label %bb10
  38
  39 bb10:                                             ; preds = %bb5, %bb
  40   %i11 = phi i32 [ %i9, %bb5 ], [ 0, %bb ]
  41   ret i32 %i11
  42 }
  43
  44 define i32 @TestAsan() sanitize_address {
  45 ; CHECK-LABEL: @TestAsan(
  46 ; CHECK-NEXT:  bb:
  47 ; CHECK-NEXT:    [[I:%.*]] = tail call noalias ptr @_Znam(i64 2)
  48 ; CHECK-NEXT:    [[I1:%.*]] = getelementptr inbounds i8, ptr [[I]], i64 1
  49 ; CHECK-NEXT:    store i8 0, ptr [[I1]], align 1
  50 ; CHECK-NEXT:    store i8 0, ptr [[I]], align 1
  51 ; CHECK-NEXT:    [[I3:%.*]] = load i16, ptr [[I]], align 4
  52 ; CHECK-NEXT:    [[I4:%.*]] = icmp eq i16 [[I3]], 0
  53 ; CHECK-NEXT:    br i1 [[I4]], label [[BB10:%.*]], label [[BB5:%.*]]
  54 ; CHECK:       bb5:
  55 ; CHECK-NEXT:    [[I6:%.*]] = getelementptr inbounds i8, ptr [[I]], i64 2
  56 ; CHECK-NEXT:    [[I8:%.*]] = load i16, ptr [[I6]], align 2
  57 ; CHECK-NEXT:    [[I9:%.*]] = sext i16 [[I8]] to i32
  58 ; CHECK-NEXT:    br label [[BB10]]
  59 ; CHECK:       bb10:
  60 ; CHECK-NEXT:    [[I11:%.*]] = phi i32 [ [[I9]], [[BB5]] ], [ 0, [[BB:%.*]] ]
  61 ; CHECK-NEXT:    ret i32 [[I11]]
  62 ;
  63 bb:
  64   %i = tail call noalias ptr @_Znam(i64 2)
  65   %i1 = getelementptr inbounds i8, ptr %i, i64 1
  66   store i8 0, ptr %i1, align 1
  67   store i8 0, ptr %i, align 1
  68   %i3 = load i16, ptr %i, align 4
  69   %i4 = icmp eq i16 %i3, 0
  70   br i1 %i4, label %bb10, label %bb5
  71
  72 bb5:                                              ; preds = %bb
  73   %i6 = getelementptr inbounds i8, ptr %i, i64 2
  74   %i8 = load i16, ptr %i6, align 2
  75   %i9 = sext i16 %i8 to i32
  76   br label %bb10
  77
  78 bb10:                                             ; preds = %bb5, %bb
  79   %i11 = phi i32 [ %i9, %bb5 ], [ 0, %bb ]
  80   ret i32 %i11
  81 }
  82
  83 define i32 @TestHWAsan() sanitize_hwaddress {
  84 ; CHECK-LABEL: @TestHWAsan(
  85 ; CHECK-NEXT:  bb:
  86 ; CHECK-NEXT:    [[I:%.*]] = tail call noalias ptr @_Znam(i64 2)
  87 ; CHECK-NEXT:    [[I1:%.*]] = getelementptr inbounds i8, ptr [[I]], i64 1
  88 ; CHECK-NEXT:    store i8 0, ptr [[I1]], align 1
  89 ; CHECK-NEXT:    store i8 0, ptr [[I]], align 1
  90 ; CHECK-NEXT:    [[I3:%.*]] = load i16, ptr [[I]], align 4
  91 ; CHECK-NEXT:    [[I4:%.*]] = icmp eq i16 [[I3]], 0
  92 ; CHECK-NEXT:    br i1 [[I4]], label [[BB10:%.*]], label [[BB5:%.*]]
  93 ; CHECK:       bb5:
  94 ; CHECK-NEXT:    [[I6:%.*]] = getelementptr inbounds i8, ptr [[I]], i64 2
  95 ; CHECK-NEXT:    [[I8:%.*]] = load i16, ptr [[I6]], align 2
  96 ; CHECK-NEXT:    [[I9:%.*]] = sext i16 [[I8]] to i32
  97 ; CHECK-NEXT:    br label [[BB10]]
  98 ; CHECK:       bb10:
  99 ; CHECK-NEXT:    [[I11:%.*]] = phi i32 [ [[I9]], [[BB5]] ], [ 0, [[BB:%.*]] ]
 100 ; CHECK-NEXT:    ret i32 [[I11]]
 101 ;
 102 bb:
 103   %i = tail call noalias ptr @_Znam(i64 2)
 104   %i1 = getelementptr inbounds i8, ptr %i, i64 1
 105   store i8 0, ptr %i1, align 1
 106   store i8 0, ptr %i, align 1
 107   %i3 = load i16, ptr %i, align 4
 108   %i4 = icmp eq i16 %i3, 0
 109   br i1 %i4, label %bb10, label %bb5
 110
 111 bb5:                                              ; preds = %bb
 112   %i6 = getelementptr inbounds i8, ptr %i, i64 2
 113   %i8 = load i16, ptr %i6, align 2
 114   %i9 = sext i16 %i8 to i32
 115   br label %bb10
 116
 117 bb10:                                             ; preds = %bb5, %bb
 118   %i11 = phi i32 [ %i9, %bb5 ], [ 0, %bb ]
 119   ret i32 %i11
 120 }