blob: cf53afdaf29cfbdec00235859783234966bd885a [file] [log] [blame]
; RUN: llc < %s -mtriple=arm64-eabi -mattr=+mte | FileCheck %s
; test create_tag
define i32* @create_tag(i32* %ptr, i32 %m) {
entry:
; CHECK-LABEL: create_tag:
%0 = bitcast i32* %ptr to i8*
%1 = zext i32 %m to i64
%2 = tail call i8* @llvm.aarch64.irg(i8* %0, i64 %1)
%3 = bitcast i8* %2 to i32*
ret i32* %3
;CHECK: irg x0, x0, {{x[0-9]+}}
}
; *********** __arm_mte_increment_tag *************
; test increment_tag1
define i32* @increment_tag1(i32* %ptr) {
entry:
; CHECK-LABEL: increment_tag1:
%0 = bitcast i32* %ptr to i8*
%1 = tail call i8* @llvm.aarch64.addg(i8* %0, i64 7)
%2 = bitcast i8* %1 to i32*
ret i32* %2
; CHECK: addg x0, x0, #0, #7
}
%struct.S2K = type { [512 x i32] }
define i32* @increment_tag1stack(i32* %ptr) {
entry:
; CHECK-LABEL: increment_tag1stack:
%s = alloca %struct.S2K, align 4
%0 = bitcast %struct.S2K* %s to i8*
call void @llvm.lifetime.start.p0i8(i64 2048, i8* nonnull %0)
%1 = call i8* @llvm.aarch64.addg(i8* nonnull %0, i64 7)
%2 = bitcast i8* %1 to i32*
call void @llvm.lifetime.end.p0i8(i64 2048, i8* nonnull %0)
ret i32* %2
; CHECK: addg x0, sp, #0, #7
}
define i32* @increment_tag2(i32* %ptr) {
entry:
; CHECK-LABEL: increment_tag2:
%add.ptr = getelementptr inbounds i32, i32* %ptr, i64 4
%0 = bitcast i32* %add.ptr to i8*
%1 = tail call i8* @llvm.aarch64.addg(i8* nonnull %0, i64 7)
%2 = bitcast i8* %1 to i32*
ret i32* %2
; CHECK: addg x0, x0, #16, #7
}
define i32* @increment_tag2stack(i32* %ptr) {
entry:
; CHECK-LABEL: increment_tag2stack:
%s = alloca %struct.S2K, align 4
%0 = bitcast %struct.S2K* %s to i8*
call void @llvm.lifetime.start.p0i8(i64 2048, i8* nonnull %0)
%arrayidx = getelementptr inbounds %struct.S2K, %struct.S2K* %s, i64 0, i32 0, i64 4
%1 = bitcast i32* %arrayidx to i8*
%2 = call i8* @llvm.aarch64.addg(i8* nonnull %1, i64 7)
%3 = bitcast i8* %2 to i32*
call void @llvm.lifetime.end.p0i8(i64 2048, i8* nonnull %0)
ret i32* %3
; CHECK: addg x0, sp, #16, #7
}
define i32* @increment_tag3(i32* %ptr) {
entry:
; CHECK-LABEL: increment_tag3:
%add.ptr = getelementptr inbounds i32, i32* %ptr, i64 252
%0 = bitcast i32* %add.ptr to i8*
%1 = tail call i8* @llvm.aarch64.addg(i8* nonnull %0, i64 7)
%2 = bitcast i8* %1 to i32*
ret i32* %2
; CHECK: addg x0, x0, #1008, #7
}
define i32* @increment_tag3stack(i32* %ptr) {
entry:
; CHECK-LABEL: increment_tag3stack:
%s = alloca %struct.S2K, align 4
%0 = bitcast %struct.S2K* %s to i8*
call void @llvm.lifetime.start.p0i8(i64 2048, i8* nonnull %0)
%arrayidx = getelementptr inbounds %struct.S2K, %struct.S2K* %s, i64 0, i32 0, i64 252
%1 = bitcast i32* %arrayidx to i8*
%2 = call i8* @llvm.aarch64.addg(i8* nonnull %1, i64 7)
%3 = bitcast i8* %2 to i32*
call void @llvm.lifetime.end.p0i8(i64 2048, i8* nonnull %0)
ret i32* %3
; CHECK: addg x0, sp, #1008, #7
}
define i32* @increment_tag4(i32* %ptr) {
entry:
; CHECK-LABEL: increment_tag4:
%add.ptr = getelementptr inbounds i32, i32* %ptr, i64 256
%0 = bitcast i32* %add.ptr to i8*
%1 = tail call i8* @llvm.aarch64.addg(i8* nonnull %0, i64 7)
%2 = bitcast i8* %1 to i32*
ret i32* %2
; CHECK: add [[T0:x[0-9]+]], x0, #1024
; CHECK-NEXT: addg x0, [[T0]], #0, #7
}
define i32* @increment_tag4stack(i32* %ptr) {
entry:
; CHECK-LABEL: increment_tag4stack:
%s = alloca %struct.S2K, align 4
%0 = bitcast %struct.S2K* %s to i8*
call void @llvm.lifetime.start.p0i8(i64 2048, i8* nonnull %0)
%arrayidx = getelementptr inbounds %struct.S2K, %struct.S2K* %s, i64 0, i32 0, i64 256
%1 = bitcast i32* %arrayidx to i8*
%2 = call i8* @llvm.aarch64.addg(i8* nonnull %1, i64 7)
%3 = bitcast i8* %2 to i32*
call void @llvm.lifetime.end.p0i8(i64 2048, i8* nonnull %0)
ret i32* %3
; CHECK: add [[T0:x[0-9]+]], {{.*}}, #1024
; CHECK-NEXT: addg x0, [[T0]], #0, #7
}
define i32* @increment_tag5(i32* %ptr) {
entry:
; CHECK-LABEL: increment_tag5:
%add.ptr = getelementptr inbounds i32, i32* %ptr, i64 5
%0 = bitcast i32* %add.ptr to i8*
%1 = tail call i8* @llvm.aarch64.addg(i8* nonnull %0, i64 7)
%2 = bitcast i8* %1 to i32*
ret i32* %2
; CHECK: add [[T0:x[0-9]+]], x0, #20
; CHECK-NEXT: addg x0, [[T0]], #0, #7
}
define i32* @increment_tag5stack(i32* %ptr) {
entry:
; CHECK-LABEL: increment_tag5stack:
%s = alloca %struct.S2K, align 4
%0 = bitcast %struct.S2K* %s to i8*
call void @llvm.lifetime.start.p0i8(i64 2048, i8* nonnull %0)
%arrayidx = getelementptr inbounds %struct.S2K, %struct.S2K* %s, i64 0, i32 0, i64 5
%1 = bitcast i32* %arrayidx to i8*
%2 = call i8* @llvm.aarch64.addg(i8* nonnull %1, i64 7)
%3 = bitcast i8* %2 to i32*
call void @llvm.lifetime.end.p0i8(i64 2048, i8* nonnull %0)
ret i32* %3
; CHECK: add [[T0:x[0-9]+]], {{.*}}, #20
; CHECK-NEXT: addg x0, [[T0]], #0, #7
}
; *********** __arm_mte_exclude_tag *************
; test exclude_tag
define i32 @exclude_tag(i32* %ptr, i32 %m) local_unnamed_addr #0 {
entry:
;CHECK-LABEL: exclude_tag:
%0 = zext i32 %m to i64
%1 = bitcast i32* %ptr to i8*
%2 = tail call i64 @llvm.aarch64.gmi(i8* %1, i64 %0)
%conv = trunc i64 %2 to i32
ret i32 %conv
; CHECK: gmi x0, x0, {{x[0-9]+}}
}
; *********** __arm_mte_get_tag *************
%struct.S8K = type { [2048 x i32] }
define i32* @get_tag1(i32* %ptr) {
entry:
; CHECK-LABEL: get_tag1:
%0 = bitcast i32* %ptr to i8*
%1 = tail call i8* @llvm.aarch64.ldg(i8* %0, i8* %0)
%2 = bitcast i8* %1 to i32*
ret i32* %2
; CHECK: ldg x0, [x0]
}
define i32* @get_tag1_two_parm(i32* %ret_ptr, i32* %ptr) {
entry:
; CHECK-LABEL: get_tag1_two_parm:
%0 = bitcast i32* %ret_ptr to i8*
%1 = bitcast i32* %ptr to i8*
%2 = tail call i8* @llvm.aarch64.ldg(i8* %0, i8* %1)
%3 = bitcast i8* %2 to i32*
ret i32* %3
; CHECK: ldg x0, [x1]
}
define i32* @get_tag1stack() {
entry:
; CHECK-LABEL: get_tag1stack:
%s = alloca %struct.S8K, align 4
%0 = bitcast %struct.S8K* %s to i8*
call void @llvm.lifetime.start.p0i8(i64 8192, i8* nonnull %0)
%1 = call i8* @llvm.aarch64.ldg(i8* nonnull %0, i8* nonnull %0)
%2 = bitcast i8* %1 to i32*
call void @llvm.lifetime.end.p0i8(i64 8192, i8* nonnull %0)
ret i32* %2
; CHECK: mov [[T0:x[0-9]+]], sp
; CHECK: ldg [[T0]], [sp]
}
define i32* @get_tag1stack_two_param(i32* %ret_ptr) {
entry:
; CHECK-LABEL: get_tag1stack_two_param:
%s = alloca %struct.S8K, align 4
%0 = bitcast %struct.S8K* %s to i8*
%1 = bitcast i32* %ret_ptr to i8*
call void @llvm.lifetime.start.p0i8(i64 8192, i8* nonnull %0)
%2 = call i8* @llvm.aarch64.ldg(i8* nonnull %1, i8* nonnull %0)
%3 = bitcast i8* %2 to i32*
call void @llvm.lifetime.end.p0i8(i64 8192, i8* nonnull %0)
ret i32* %3
; CHECK-NOT: mov {{.*}}, sp
; CHECK: ldg x0, [sp]
}
define i32* @get_tag2(i32* %ptr) {
entry:
; CHECK-LABEL: get_tag2:
%add.ptr = getelementptr inbounds i32, i32* %ptr, i64 4
%0 = bitcast i32* %add.ptr to i8*
%1 = tail call i8* @llvm.aarch64.ldg(i8* nonnull %0, i8* nonnull %0)
%2 = bitcast i8* %1 to i32*
ret i32* %2
; CHECK: add [[T0:x[0-9]+]], x0, #16
; CHECK: ldg [[T0]], [x0, #16]
}
define i32* @get_tag2stack() {
entry:
; CHECK-LABEL: get_tag2stack:
%s = alloca %struct.S8K, align 4
%0 = bitcast %struct.S8K* %s to i8*
call void @llvm.lifetime.start.p0i8(i64 8192, i8* nonnull %0)
%arrayidx = getelementptr inbounds %struct.S8K, %struct.S8K* %s, i64 0, i32 0, i64 4
%1 = bitcast i32* %arrayidx to i8*
%2 = call i8* @llvm.aarch64.ldg(i8* nonnull %1, i8* nonnull %1)
%3 = bitcast i8* %2 to i32*
call void @llvm.lifetime.end.p0i8(i64 8192, i8* nonnull %0)
ret i32* %3
; CHECK: mov [[T0:x[0-9]+]], sp
; CHECK: add x0, [[T0]], #16
; CHECK: ldg x0, [sp, #16]
}
define i32* @get_tag3(i32* %ptr) {
entry:
; CHECK-LABEL: get_tag3:
%add.ptr = getelementptr inbounds i32, i32* %ptr, i64 1020
%0 = bitcast i32* %add.ptr to i8*
%1 = tail call i8* @llvm.aarch64.ldg(i8* nonnull %0, i8* nonnull %0)
%2 = bitcast i8* %1 to i32*
ret i32* %2
; CHECK: add [[T0:x[0-8]+]], x0, #4080
; CHECK: ldg [[T0]], [x0, #4080]
}
define i32* @get_tag3stack() {
entry:
; CHECK-LABEL: get_tag3stack:
%s = alloca %struct.S8K, align 4
%0 = bitcast %struct.S8K* %s to i8*
call void @llvm.lifetime.start.p0i8(i64 8192, i8* nonnull %0)
%arrayidx = getelementptr inbounds %struct.S8K, %struct.S8K* %s, i64 0, i32 0, i64 1020
%1 = bitcast i32* %arrayidx to i8*
%2 = call i8* @llvm.aarch64.ldg(i8* nonnull %1, i8* nonnull %1)
%3 = bitcast i8* %2 to i32*
call void @llvm.lifetime.end.p0i8(i64 8192, i8* nonnull %0)
ret i32* %3
; CHECK: mov [[T0:x[0-9]+]], sp
; CHECK: add x0, [[T0]], #4080
; CHECK: ldg x0, [sp, #4080]
}
define i32* @get_tag4(i32* %ptr) {
entry:
; CHECK-LABEL: get_tag4:
%add.ptr = getelementptr inbounds i32, i32* %ptr, i64 1024
%0 = bitcast i32* %add.ptr to i8*
%1 = tail call i8* @llvm.aarch64.ldg(i8* nonnull %0, i8* nonnull %0)
%2 = bitcast i8* %1 to i32*
ret i32* %2
; CHECK: add x0, x0, #1, lsl #12
; CHECK-NEXT: ldg x0, [x0]
}
define i32* @get_tag4stack() {
entry:
; CHECK-LABEL: get_tag4stack:
%s = alloca %struct.S8K, align 4
%0 = bitcast %struct.S8K* %s to i8*
call void @llvm.lifetime.start.p0i8(i64 8192, i8* nonnull %0)
%arrayidx = getelementptr inbounds %struct.S8K, %struct.S8K* %s, i64 0, i32 0, i64 1024
%1 = bitcast i32* %arrayidx to i8*
%2 = call i8* @llvm.aarch64.ldg(i8* nonnull %1, i8* nonnull %1)
%3 = bitcast i8* %2 to i32*
call void @llvm.lifetime.end.p0i8(i64 8192, i8* nonnull %0)
ret i32* %3
; CHECK: mov [[T0:x[0-9]+]], sp
; CHECK-NEXT: add x[[T1:[0-9]+]], [[T0]], #1, lsl #12
; CHECK-NEXT: ldg x[[T1]], [x[[T1]]]
}
define i32* @get_tag5(i32* %ptr) {
entry:
; CHECK-LABEL: get_tag5:
%add.ptr = getelementptr inbounds i32, i32* %ptr, i64 5
%0 = bitcast i32* %add.ptr to i8*
%1 = tail call i8* @llvm.aarch64.ldg(i8* nonnull %0, i8* nonnull %0)
%2 = bitcast i8* %1 to i32*
ret i32* %2
; CHECK: add x0, x0, #20
; CHECK-NEXT: ldg x0, [x0]
}
define i32* @get_tag5stack() {
entry:
; CHECK-LABEL: get_tag5stack:
%s = alloca %struct.S8K, align 4
%0 = bitcast %struct.S8K* %s to i8*
call void @llvm.lifetime.start.p0i8(i64 8192, i8* nonnull %0)
%arrayidx = getelementptr inbounds %struct.S8K, %struct.S8K* %s, i64 0, i32 0, i64 5
%1 = bitcast i32* %arrayidx to i8*
%2 = call i8* @llvm.aarch64.ldg(i8* nonnull %1, i8* nonnull %1)
%3 = bitcast i8* %2 to i32*
call void @llvm.lifetime.end.p0i8(i64 8192, i8* nonnull %0)
ret i32* %3
; CHECK: mov [[T0:x[0-9]+]], sp
; CHECK: add x[[T1:[0-9]+]], [[T0]], #20
; CHECK-NEXT: ldg x[[T1]], [x[[T1]]]
}
; *********** __arm_mte_set_tag *************
define void @set_tag1(i32* %tag, i32* %ptr) {
entry:
; CHECK-LABEL: set_tag1:
%0 = bitcast i32* %tag to i8*
%1 = bitcast i32* %ptr to i8*
tail call void @llvm.aarch64.stg(i8* %0, i8* %1)
ret void
; CHECK: stg x0, [x1]
}
define void @set_tag1stack(i32* %tag) {
entry:
; CHECK-LABEL: set_tag1stack:
%s = alloca %struct.S8K, align 4
%0 = bitcast i32* %tag to i8*
%1 = bitcast %struct.S8K* %s to i8*
call void @llvm.lifetime.start.p0i8(i64 8192, i8* nonnull %1)
call void @llvm.aarch64.stg(i8* %0, i8* nonnull %1)
call void @llvm.lifetime.end.p0i8(i64 8192, i8* nonnull %0)
ret void
; CHECK: stg x0, [sp]
}
define void @set_tag2(i32* %tag, i32* %ptr) {
entry:
; CHECK-LABEL: set_tag2:
%add.ptr = getelementptr inbounds i32, i32* %ptr, i64 4
%0 = bitcast i32* %tag to i8*
%1 = bitcast i32* %add.ptr to i8*
tail call void @llvm.aarch64.stg(i8* %0, i8* %1)
ret void
; CHECK: stg x0, [x1, #16]
}
define void @set_tag2stack(i32* %tag, i32* %ptr) {
entry:
; CHECK-LABEL: set_tag2stack:
%s = alloca %struct.S8K, align 4
%0 = bitcast %struct.S8K* %s to i8*
call void @llvm.lifetime.start.p0i8(i64 8192, i8* nonnull %0)
%arrayidx = getelementptr inbounds %struct.S8K, %struct.S8K* %s, i64 0, i32 0, i64 4
%1 = bitcast i32* %arrayidx to i8*
%2 = bitcast i32* %tag to i8*
call void @llvm.aarch64.stg(i8* %2, i8* nonnull %1)
call void @llvm.lifetime.end.p0i8(i64 8192, i8* nonnull %0)
ret void
; CHECK: stg x0, [sp, #16]
}
define void @set_tag3(i32* %tag, i32* %ptr) {
entry:
; CHECK-LABEL: set_tag3:
%add.ptr = getelementptr inbounds i32, i32* %ptr, i64 1020
%0 = bitcast i32* %add.ptr to i8*
%1 = bitcast i32* %tag to i8*
tail call void @llvm.aarch64.stg(i8* %1, i8* %0)
ret void
; CHECK: stg x0, [x1, #4080]
}
define void @set_tag3stack(i32* %tag, i32* %ptr) {
entry:
; CHECK-LABEL: set_tag3stack:
%s = alloca %struct.S8K, align 4
%0 = bitcast %struct.S8K* %s to i8*
call void @llvm.lifetime.start.p0i8(i64 8192, i8* nonnull %0)
%arrayidx = getelementptr inbounds %struct.S8K, %struct.S8K* %s, i64 0, i32 0, i64 1020
%1 = bitcast i32* %arrayidx to i8*
%2 = bitcast i32* %tag to i8*
call void @llvm.aarch64.stg(i8* %2, i8* nonnull %1)
call void @llvm.lifetime.end.p0i8(i64 8192, i8* nonnull %0)
ret void
; CHECK: stg x0, [sp, #4080]
}
define void @set_tag4(i32* %tag, i32* %ptr) {
entry:
; CHECK-LABEL: set_tag4:
%add.ptr = getelementptr inbounds i32, i32* %ptr, i64 1024
%0 = bitcast i32* %add.ptr to i8*
%1 = bitcast i32* %tag to i8*
tail call void @llvm.aarch64.stg(i8* %1, i8* %0)
ret void
; CHECK: add x[[T0:[0-9]+]], x1, #1, lsl #12
; CHECK-NEXT: stg x0, [x[[T0]]]
}
define void @set_tag4stack(i32* %tag, i32* %ptr) {
entry:
; CHECK-LABEL: set_tag4stack:
%s = alloca %struct.S8K, align 4
%0 = bitcast %struct.S8K* %s to i8*
call void @llvm.lifetime.start.p0i8(i64 8192, i8* nonnull %0)
%arrayidx = getelementptr inbounds %struct.S8K, %struct.S8K* %s, i64 0, i32 0, i64 1024
%1 = bitcast i32* %arrayidx to i8*
%2 = bitcast i32* %tag to i8*
call void @llvm.aarch64.stg(i8* %2, i8* nonnull %1)
call void @llvm.lifetime.end.p0i8(i64 8192, i8* nonnull %0)
ret void
; CHECK: add x[[T0:[0-9]+]], {{.*}}, #1, lsl #12
; CHECK-NEXT: stg x0, [x[[T0]]]
}
define void @set_tag5(i32* %tag, i32* %ptr) {
entry:
; CHECK-LABEL: set_tag5:
%add.ptr = getelementptr inbounds i32, i32* %ptr, i64 5
%0 = bitcast i32* %add.ptr to i8*
%1 = bitcast i32* %tag to i8*
tail call void @llvm.aarch64.stg(i8* %1, i8* %0)
ret void
; CHECK: add x[[T0:[0-9]+]], x1, #20
; CHECK-NEXT: stg x0, [x[[T0]]]
}
define void @set_tag5stack(i32* %tag, i32* %ptr) {
entry:
; CHECK-LABEL: set_tag5stack:
%s = alloca %struct.S8K, align 4
%0 = bitcast %struct.S8K* %s to i8*
call void @llvm.lifetime.start.p0i8(i64 8192, i8* nonnull %0)
%arrayidx = getelementptr inbounds %struct.S8K, %struct.S8K* %s, i64 0, i32 0, i64 5
%1 = bitcast i32* %arrayidx to i8*
%2 = bitcast i32* %tag to i8*
call void @llvm.aarch64.stg(i8* %2, i8* nonnull %1)
call void @llvm.lifetime.end.p0i8(i64 8192, i8* nonnull %0)
ret void
; CHECK: add x[[T0:[0-9]+]], {{.*}}, #20
; CHECK-NEXT: stg x0, [x[[T0]]]
}
; *********** __arm_mte_ptrdiff *************
define i64 @subtract_pointers(i32* %ptra, i32* %ptrb) {
entry:
; CHECK-LABEL: subtract_pointers:
%0 = bitcast i32* %ptra to i8*
%1 = bitcast i32* %ptrb to i8*
%2 = tail call i64 @llvm.aarch64.subp(i8* %0, i8* %1)
ret i64 %2
; CHECK: subp x0, x0, x1
}
declare i8* @llvm.aarch64.irg(i8*, i64)
declare i8* @llvm.aarch64.addg(i8*, i64)
declare i64 @llvm.aarch64.gmi(i8*, i64)
declare i8* @llvm.aarch64.ldg(i8*, i8*)
declare void @llvm.aarch64.stg(i8*, i8*)
declare i64 @llvm.aarch64.subp(i8*, i8*)
declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture)
declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture)