63 lines
1.9 KiB
LLVM
63 lines
1.9 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt -S -passes='require<collector-metadata>,function(gc-lowering)' < %s | FileCheck %s
|
|
|
|
declare ptr @llvm_gc_allocate(i32)
|
|
declare void @llvm_gc_initialize(i32)
|
|
|
|
declare void @llvm.gcroot(ptr, ptr)
|
|
declare void @llvm.gcwrite(ptr, ptr, ptr)
|
|
|
|
define i32 @main() gc "shadow-stack" {
|
|
; CHECK-LABEL: define i32 @main() gc "shadow-stack" {
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[A:%.*]] = alloca ptr, align 8
|
|
; CHECK-NEXT: store ptr null, ptr [[A]], align 8
|
|
; CHECK-NEXT: [[B:%.*]] = alloca ptr, align 8
|
|
; CHECK-NEXT: store ptr null, ptr [[B]], align 8
|
|
; CHECK-NEXT: call void @llvm_gc_initialize(i32 1048576)
|
|
; CHECK-NEXT: call void @llvm.gcroot(ptr [[A]], ptr null)
|
|
; CHECK-NEXT: [[APTR:%.*]] = call ptr @llvm_gc_allocate(i32 10)
|
|
; CHECK-NEXT: store ptr [[APTR]], ptr [[A]], align 8
|
|
; CHECK-NEXT: call void @llvm.gcroot(ptr [[B]], ptr null)
|
|
; CHECK-NEXT: [[B_UPGRD_1:%.*]] = call ptr @llvm_gc_allocate(i32 8)
|
|
; CHECK-NEXT: store ptr [[B_UPGRD_1]], ptr [[B]], align 8
|
|
; CHECK-NEXT: [[B_1:%.*]] = load ptr, ptr [[B]], align 8
|
|
; CHECK-NEXT: [[A_1:%.*]] = load ptr, ptr [[A]], align 8
|
|
; CHECK-NEXT: store ptr [[A_1]], ptr [[B_1]], align 8
|
|
; CHECK-NEXT: ret i32 0
|
|
;
|
|
entry:
|
|
%A = alloca ptr
|
|
%B = alloca ptr
|
|
|
|
call void @llvm_gc_initialize(i32 1048576) ; Start with 1MB heap
|
|
|
|
;; ptr A;
|
|
call void @llvm.gcroot(ptr %A, ptr null)
|
|
|
|
;; A = gcalloc(10);
|
|
%Aptr = call ptr @llvm_gc_allocate(i32 10)
|
|
store ptr %Aptr, ptr %A
|
|
|
|
;; ptr B;
|
|
call void @llvm.gcroot(ptr %B, ptr null)
|
|
|
|
;; B = gcalloc(4);
|
|
%B.upgrd.1 = call ptr @llvm_gc_allocate(i32 8)
|
|
store ptr %B.upgrd.1, ptr %B
|
|
|
|
;; *B = A;
|
|
%B.1 = load ptr, ptr %B
|
|
%A.1 = load ptr, ptr %A
|
|
call void @llvm.gcwrite(ptr %A.1, ptr %B.upgrd.1, ptr %B.1)
|
|
|
|
ret i32 0
|
|
}
|
|
|
|
define void @no_gc() {
|
|
; CHECK-LABEL: define void @no_gc() {
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
ret void
|
|
}
|