test/Transforms/BoundsChecking/alloc_size.ll

   1 ; RUN: opt < %s -bounds-checking -S | FileCheck %s
   2 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
   3
   4 declare i64* @alloc(i32, i8, i32)
   5 declare i32* @alloc2(i32, i32)
   6
   7 ; CHECK: @f1
   8 define void @f1(i32 %x) {
   9   %call = tail call i32* @alloc2(i32 %x, i32 4) nounwind, !alloc_size !0
  10 ; CHECK: trap
  11   store i32 3, i32* %call, align 4
  12   ret void
  13 }
  14
  15 ; CHECK: @f2
  16 define void @f2() {
  17   %call1 = tail call i32* @alloc2(i32 2, i32 4) nounwind, !alloc_size !0
  18   %arrayidx = getelementptr i32* %call1, i64 2
  19 ; CHECK: br label
  20   store i32 3, i32* %arrayidx, align 4
  21   ret void
  22 }
  23
  24 ; CHECK: @f3
  25 define void @f3(i32 %x, i8 %y) {
  26   %call = tail call i64* @alloc(i32 %x, i8 %y, i32 7) nounwind, !alloc_size !1
  27 ; CHECK: trap
  28   store i64 27, i64* %call, align 4
  29   ret void
  30 }
  31
  32 ; CHECK: @f4
  33 define void @f4() {
  34   %call1 = tail call i32* @alloc2(i32 2, i32 4) nounwind, !alloc_size !0
  35   %arrayidx = getelementptr i32* %call1, i64 1
  36 ; CHECK-NOT: trap
  37   store i32 3, i32* %arrayidx, align 4
  38 ; CHECK: ret
  39   ret void
  40 }
  41
  42 !0 = metadata !{i32 0, i32 1}
  43 !1 = metadata !{i32 2}