mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-02-12 03:32:10 +00:00
6a06e684f7
add support for select add experimental support for alloc_size metadata git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157481 91177308-0d34-0410-b5e6-96231b3b80d8
44 lines
1.1 KiB
LLVM
44 lines
1.1 KiB
LLVM
; RUN: opt < %s -bounds-checking -S | FileCheck %s
|
|
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"
|
|
|
|
declare i64* @alloc(i32, i8, i32)
|
|
declare i32* @alloc2(i32, i32)
|
|
|
|
; CHECK: @f1
|
|
define void @f1(i32 %x) {
|
|
%call = tail call i32* @alloc2(i32 %x, i32 4) nounwind, !alloc_size !0
|
|
; CHECK: trap
|
|
store i32 3, i32* %call, align 4
|
|
ret void
|
|
}
|
|
|
|
; CHECK: @f2
|
|
define void @f2() {
|
|
%call1 = tail call i32* @alloc2(i32 2, i32 4) nounwind, !alloc_size !0
|
|
%arrayidx = getelementptr i32* %call1, i64 2
|
|
; CHECK: br label
|
|
store i32 3, i32* %arrayidx, align 4
|
|
ret void
|
|
}
|
|
|
|
; CHECK: @f3
|
|
define void @f3(i32 %x, i8 %y) {
|
|
%call = tail call i64* @alloc(i32 %x, i8 %y, i32 7) nounwind, !alloc_size !1
|
|
; CHECK: trap
|
|
store i64 27, i64* %call, align 4
|
|
ret void
|
|
}
|
|
|
|
; CHECK: @f4
|
|
define void @f4() {
|
|
%call1 = tail call i32* @alloc2(i32 2, i32 4) nounwind, !alloc_size !0
|
|
%arrayidx = getelementptr i32* %call1, i64 1
|
|
; CHECK-NOT: trap
|
|
store i32 3, i32* %arrayidx, align 4
|
|
; CHECK: ret
|
|
ret void
|
|
}
|
|
|
|
!0 = metadata !{i32 0, i32 1}
|
|
!1 = metadata !{i32 2}
|