Loading llvm/test/Transforms/LowerTypeTests/aarch64-jumptable-dbg.ll +39 −0 Original line number Diff line number Diff line ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-attributes --check-globals --include-generated-funcs ; RUN: opt -S -passes=lowertypetests -mtriple=aarch64-unknown-linux-gnu %s | FileCheck --check-prefixes=AARCH64 %s ; RUN: opt -S -passes=lowertypetests -mtriple=aarch64-unknown-linux-gnu %s | FileCheck --check-prefixes=AARCH64-OFF %s ; Test for the jump table generation with branch protection on AArch64 Loading Loading @@ -37,6 +38,11 @@ define i1 @foo(ptr %p) { ; AARCH64: @f = alias [8 x i8], ptr @.cfi.jumptable ; AARCH64: @g = internal alias [8 x i8], getelementptr inbounds ([2 x [8 x i8]], ptr @.cfi.jumptable, i64 0, i64 1) ;. ; AARCH64-OFF: @[[GLOB0:[0-9]+]] = private unnamed_addr constant [2 x ptr] [ptr @f, ptr @g], align 16 ; AARCH64-OFF: @[[GLOB1:[0-9]+]] = private constant [0 x i8] zeroinitializer ; AARCH64-OFF: @f = alias [8 x i8], ptr @.cfi.jumptable ; AARCH64-OFF: @g = internal alias [8 x i8], getelementptr inbounds ([2 x [8 x i8]], ptr @.cfi.jumptable, i64 0, i64 1) ;. ; AARCH64-LABEL: @f.cfi( ; AARCH64-NEXT: ret void ; Loading @@ -60,13 +66,46 @@ define i1 @foo(ptr %p) { ; AARCH64-NEXT: call void asm sideeffect "bti c\0Ab $0\0A", "s"(ptr @g.cfi) ; AARCH64-NEXT: unreachable ; ; ; AARCH64-OFF-LABEL: @f.cfi( ; AARCH64-OFF-NEXT: ret void ; ; ; AARCH64-OFF-LABEL: @g.cfi( ; AARCH64-OFF-NEXT: ret void ; ; ; AARCH64-OFF-LABEL: @foo( ; AARCH64-OFF-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P:%.*]] to i64 ; AARCH64-OFF-NEXT: [[TMP2:%.*]] = sub i64 ptrtoint (ptr getelementptr (i8, ptr @.cfi.jumptable, i64 8) to i64), [[TMP1]] ; AARCH64-OFF-NEXT: [[TMP3:%.*]] = call i64 @llvm.fshr.i64(i64 [[TMP2]], i64 [[TMP2]], i64 3) ; AARCH64-OFF-NEXT: [[TMP4:%.*]] = icmp ule i64 [[TMP3]], 1 ; AARCH64-OFF-NEXT: ret i1 [[TMP4]] ; ; ; AARCH64-OFF: Function Attrs: naked noinline ; AARCH64-OFF-LABEL: @.cfi.jumptable( ; AARCH64-OFF-NEXT: entry: ; AARCH64-OFF-NEXT: call void asm sideeffect "bti c\0Ab $0\0A", "s"(ptr @f.cfi) ; AARCH64-OFF-NEXT: call void asm sideeffect "bti c\0Ab $0\0A", "s"(ptr @g.cfi) ; AARCH64-OFF-NEXT: unreachable ; ;. ; AARCH64: attributes #[[ATTR0:[0-9]+]] = { nocallback nofree nosync nounwind speculatable willreturn memory(none) } ; AARCH64: attributes #[[ATTR1:[0-9]+]] = { naked noinline } ; AARCH64: attributes #[[ATTR2:[0-9]+]] = { nocallback nocreateundeforpoison nofree nosync nounwind speculatable willreturn memory(none) } ;. ; AARCH64-OFF: attributes #[[ATTR0:[0-9]+]] = { nocallback nofree nosync nounwind speculatable willreturn memory(none) } ; AARCH64-OFF: attributes #[[ATTR1:[0-9]+]] = { naked noinline } ; AARCH64-OFF: attributes #[[ATTR2:[0-9]+]] = { nocallback nocreateundeforpoison nofree nosync nounwind speculatable willreturn memory(none) } ;. ; AARCH64: [[META0:![0-9]+]] = !{i32 4, !"branch-target-enforcement", i32 1} ; AARCH64: [[META1:![0-9]+]] = !{i32 7, !"Dwarf Version", i32 5} ; AARCH64: [[META2:![0-9]+]] = !{i32 2, !"Debug Info Version", i32 3} ; AARCH64: [[META3:![0-9]+]] = !{i32 0, !"typeid1"} ;. ; AARCH64-OFF: [[META0:![0-9]+]] = !{i32 4, !"branch-target-enforcement", i32 1} ; AARCH64-OFF: [[META1:![0-9]+]] = !{i32 7, !"Dwarf Version", i32 5} ; AARCH64-OFF: [[META2:![0-9]+]] = !{i32 2, !"Debug Info Version", i32 3} ; AARCH64-OFF: [[META3:![0-9]+]] = !{i32 0, !"typeid1"} ;. llvm/test/Transforms/LowerTypeTests/x86-jumptable-dbg.ll +38 −0 Original line number Diff line number Diff line Loading @@ -2,6 +2,7 @@ ;; Test jump table generation with Indirect Branch Tracking on x86. ; RUN: opt -S -passes=lowertypetests -mtriple=i686 %s | FileCheck --check-prefixes=X86_32 %s ; RUN: opt -S -passes=lowertypetests -mtriple=x86_64 %s | FileCheck --check-prefixes=X86_64 %s ; RUN: opt -S -passes=lowertypetests -mtriple=x86_64 %s | FileCheck --check-prefixes=X86_64-OFF %s @0 = private unnamed_addr constant [2 x ptr] [ptr @f, ptr @g], align 16 Loading Loading @@ -38,6 +39,11 @@ define i1 @foo(ptr %p) { ; X86_64: @f = alias [16 x i8], ptr @.cfi.jumptable ; X86_64: @g = internal alias [16 x i8], getelementptr inbounds ([2 x [16 x i8]], ptr @.cfi.jumptable, i64 0, i64 1) ;. ; X86_64-OFF: @[[GLOB0:[0-9]+]] = private unnamed_addr constant [2 x ptr] [ptr @f, ptr @g], align 16 ; X86_64-OFF: @[[GLOB1:[0-9]+]] = private constant [0 x i8] zeroinitializer ; X86_64-OFF: @f = alias [16 x i8], ptr @.cfi.jumptable ; X86_64-OFF: @g = internal alias [16 x i8], getelementptr inbounds ([2 x [16 x i8]], ptr @.cfi.jumptable, i64 0, i64 1) ;. ; X86_32-LABEL: @f.cfi( ; X86_32-NEXT: ret void ; Loading Loading @@ -83,6 +89,29 @@ define i1 @foo(ptr %p) { ; X86_64-NEXT: call void asm sideeffect "endbr64\0Ajmp ${0:c}@plt\0A.balign 16, 0xcc\0A", "s"(ptr @g.cfi) ; X86_64-NEXT: unreachable ; ; ; X86_64-OFF-LABEL: @f.cfi( ; X86_64-OFF-NEXT: ret void ; ; ; X86_64-OFF-LABEL: @g.cfi( ; X86_64-OFF-NEXT: ret void ; ; ; X86_64-OFF-LABEL: @foo( ; X86_64-OFF-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P:%.*]] to i64 ; X86_64-OFF-NEXT: [[TMP2:%.*]] = sub i64 ptrtoint (ptr getelementptr (i8, ptr @.cfi.jumptable, i64 16) to i64), [[TMP1]] ; X86_64-OFF-NEXT: [[TMP3:%.*]] = call i64 @llvm.fshr.i64(i64 [[TMP2]], i64 [[TMP2]], i64 4) ; X86_64-OFF-NEXT: [[TMP4:%.*]] = icmp ule i64 [[TMP3]], 1 ; X86_64-OFF-NEXT: ret i1 [[TMP4]] ; ; ; X86_64-OFF-LABEL: @.cfi.jumptable( ; X86_64-OFF-NEXT: entry: ; X86_64-OFF-NEXT: call void asm sideeffect "endbr64\0Ajmp ${0:c}@plt\0A.balign 16, 0xcc\0A", "s"(ptr @f.cfi) ; X86_64-OFF-NEXT: call void asm sideeffect "endbr64\0Ajmp ${0:c}@plt\0A.balign 16, 0xcc\0A", "s"(ptr @g.cfi) ; X86_64-OFF-NEXT: unreachable ; ;. ; X86_32: attributes #[[ATTR0:[0-9]+]] = { nocallback nofree nosync nounwind speculatable willreturn memory(none) } ; X86_32: attributes #[[ATTR1:[0-9]+]] = { naked nocf_check noinline } Loading @@ -92,6 +121,10 @@ define i1 @foo(ptr %p) { ; X86_64: attributes #[[ATTR1:[0-9]+]] = { naked nocf_check noinline } ; X86_64: attributes #[[ATTR2:[0-9]+]] = { nocallback nocreateundeforpoison nofree nosync nounwind speculatable willreturn memory(none) } ;. ; X86_64-OFF: attributes #[[ATTR0:[0-9]+]] = { nocallback nofree nosync nounwind speculatable willreturn memory(none) } ; X86_64-OFF: attributes #[[ATTR1:[0-9]+]] = { naked nocf_check noinline } ; X86_64-OFF: attributes #[[ATTR2:[0-9]+]] = { nocallback nocreateundeforpoison nofree nosync nounwind speculatable willreturn memory(none) } ;. ; X86_32: [[META0:![0-9]+]] = !{i32 8, !"cf-protection-branch", i32 1} ; X86_32: [[META1:![0-9]+]] = !{i32 7, !"Dwarf Version", i32 5} ; X86_32: [[META2:![0-9]+]] = !{i32 2, !"Debug Info Version", i32 3} Loading @@ -102,3 +135,8 @@ define i1 @foo(ptr %p) { ; X86_64: [[META2:![0-9]+]] = !{i32 2, !"Debug Info Version", i32 3} ; X86_64: [[META3:![0-9]+]] = !{i32 0, !"typeid1"} ;. ; X86_64-OFF: [[META0:![0-9]+]] = !{i32 8, !"cf-protection-branch", i32 1} ; X86_64-OFF: [[META1:![0-9]+]] = !{i32 7, !"Dwarf Version", i32 5} ; X86_64-OFF: [[META2:![0-9]+]] = !{i32 2, !"Debug Info Version", i32 3} ; X86_64-OFF: [[META3:![0-9]+]] = !{i32 0, !"typeid1"} ;. Loading
llvm/test/Transforms/LowerTypeTests/aarch64-jumptable-dbg.ll +39 −0 Original line number Diff line number Diff line ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-attributes --check-globals --include-generated-funcs ; RUN: opt -S -passes=lowertypetests -mtriple=aarch64-unknown-linux-gnu %s | FileCheck --check-prefixes=AARCH64 %s ; RUN: opt -S -passes=lowertypetests -mtriple=aarch64-unknown-linux-gnu %s | FileCheck --check-prefixes=AARCH64-OFF %s ; Test for the jump table generation with branch protection on AArch64 Loading Loading @@ -37,6 +38,11 @@ define i1 @foo(ptr %p) { ; AARCH64: @f = alias [8 x i8], ptr @.cfi.jumptable ; AARCH64: @g = internal alias [8 x i8], getelementptr inbounds ([2 x [8 x i8]], ptr @.cfi.jumptable, i64 0, i64 1) ;. ; AARCH64-OFF: @[[GLOB0:[0-9]+]] = private unnamed_addr constant [2 x ptr] [ptr @f, ptr @g], align 16 ; AARCH64-OFF: @[[GLOB1:[0-9]+]] = private constant [0 x i8] zeroinitializer ; AARCH64-OFF: @f = alias [8 x i8], ptr @.cfi.jumptable ; AARCH64-OFF: @g = internal alias [8 x i8], getelementptr inbounds ([2 x [8 x i8]], ptr @.cfi.jumptable, i64 0, i64 1) ;. ; AARCH64-LABEL: @f.cfi( ; AARCH64-NEXT: ret void ; Loading @@ -60,13 +66,46 @@ define i1 @foo(ptr %p) { ; AARCH64-NEXT: call void asm sideeffect "bti c\0Ab $0\0A", "s"(ptr @g.cfi) ; AARCH64-NEXT: unreachable ; ; ; AARCH64-OFF-LABEL: @f.cfi( ; AARCH64-OFF-NEXT: ret void ; ; ; AARCH64-OFF-LABEL: @g.cfi( ; AARCH64-OFF-NEXT: ret void ; ; ; AARCH64-OFF-LABEL: @foo( ; AARCH64-OFF-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P:%.*]] to i64 ; AARCH64-OFF-NEXT: [[TMP2:%.*]] = sub i64 ptrtoint (ptr getelementptr (i8, ptr @.cfi.jumptable, i64 8) to i64), [[TMP1]] ; AARCH64-OFF-NEXT: [[TMP3:%.*]] = call i64 @llvm.fshr.i64(i64 [[TMP2]], i64 [[TMP2]], i64 3) ; AARCH64-OFF-NEXT: [[TMP4:%.*]] = icmp ule i64 [[TMP3]], 1 ; AARCH64-OFF-NEXT: ret i1 [[TMP4]] ; ; ; AARCH64-OFF: Function Attrs: naked noinline ; AARCH64-OFF-LABEL: @.cfi.jumptable( ; AARCH64-OFF-NEXT: entry: ; AARCH64-OFF-NEXT: call void asm sideeffect "bti c\0Ab $0\0A", "s"(ptr @f.cfi) ; AARCH64-OFF-NEXT: call void asm sideeffect "bti c\0Ab $0\0A", "s"(ptr @g.cfi) ; AARCH64-OFF-NEXT: unreachable ; ;. ; AARCH64: attributes #[[ATTR0:[0-9]+]] = { nocallback nofree nosync nounwind speculatable willreturn memory(none) } ; AARCH64: attributes #[[ATTR1:[0-9]+]] = { naked noinline } ; AARCH64: attributes #[[ATTR2:[0-9]+]] = { nocallback nocreateundeforpoison nofree nosync nounwind speculatable willreturn memory(none) } ;. ; AARCH64-OFF: attributes #[[ATTR0:[0-9]+]] = { nocallback nofree nosync nounwind speculatable willreturn memory(none) } ; AARCH64-OFF: attributes #[[ATTR1:[0-9]+]] = { naked noinline } ; AARCH64-OFF: attributes #[[ATTR2:[0-9]+]] = { nocallback nocreateundeforpoison nofree nosync nounwind speculatable willreturn memory(none) } ;. ; AARCH64: [[META0:![0-9]+]] = !{i32 4, !"branch-target-enforcement", i32 1} ; AARCH64: [[META1:![0-9]+]] = !{i32 7, !"Dwarf Version", i32 5} ; AARCH64: [[META2:![0-9]+]] = !{i32 2, !"Debug Info Version", i32 3} ; AARCH64: [[META3:![0-9]+]] = !{i32 0, !"typeid1"} ;. ; AARCH64-OFF: [[META0:![0-9]+]] = !{i32 4, !"branch-target-enforcement", i32 1} ; AARCH64-OFF: [[META1:![0-9]+]] = !{i32 7, !"Dwarf Version", i32 5} ; AARCH64-OFF: [[META2:![0-9]+]] = !{i32 2, !"Debug Info Version", i32 3} ; AARCH64-OFF: [[META3:![0-9]+]] = !{i32 0, !"typeid1"} ;.
llvm/test/Transforms/LowerTypeTests/x86-jumptable-dbg.ll +38 −0 Original line number Diff line number Diff line Loading @@ -2,6 +2,7 @@ ;; Test jump table generation with Indirect Branch Tracking on x86. ; RUN: opt -S -passes=lowertypetests -mtriple=i686 %s | FileCheck --check-prefixes=X86_32 %s ; RUN: opt -S -passes=lowertypetests -mtriple=x86_64 %s | FileCheck --check-prefixes=X86_64 %s ; RUN: opt -S -passes=lowertypetests -mtriple=x86_64 %s | FileCheck --check-prefixes=X86_64-OFF %s @0 = private unnamed_addr constant [2 x ptr] [ptr @f, ptr @g], align 16 Loading Loading @@ -38,6 +39,11 @@ define i1 @foo(ptr %p) { ; X86_64: @f = alias [16 x i8], ptr @.cfi.jumptable ; X86_64: @g = internal alias [16 x i8], getelementptr inbounds ([2 x [16 x i8]], ptr @.cfi.jumptable, i64 0, i64 1) ;. ; X86_64-OFF: @[[GLOB0:[0-9]+]] = private unnamed_addr constant [2 x ptr] [ptr @f, ptr @g], align 16 ; X86_64-OFF: @[[GLOB1:[0-9]+]] = private constant [0 x i8] zeroinitializer ; X86_64-OFF: @f = alias [16 x i8], ptr @.cfi.jumptable ; X86_64-OFF: @g = internal alias [16 x i8], getelementptr inbounds ([2 x [16 x i8]], ptr @.cfi.jumptable, i64 0, i64 1) ;. ; X86_32-LABEL: @f.cfi( ; X86_32-NEXT: ret void ; Loading Loading @@ -83,6 +89,29 @@ define i1 @foo(ptr %p) { ; X86_64-NEXT: call void asm sideeffect "endbr64\0Ajmp ${0:c}@plt\0A.balign 16, 0xcc\0A", "s"(ptr @g.cfi) ; X86_64-NEXT: unreachable ; ; ; X86_64-OFF-LABEL: @f.cfi( ; X86_64-OFF-NEXT: ret void ; ; ; X86_64-OFF-LABEL: @g.cfi( ; X86_64-OFF-NEXT: ret void ; ; ; X86_64-OFF-LABEL: @foo( ; X86_64-OFF-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P:%.*]] to i64 ; X86_64-OFF-NEXT: [[TMP2:%.*]] = sub i64 ptrtoint (ptr getelementptr (i8, ptr @.cfi.jumptable, i64 16) to i64), [[TMP1]] ; X86_64-OFF-NEXT: [[TMP3:%.*]] = call i64 @llvm.fshr.i64(i64 [[TMP2]], i64 [[TMP2]], i64 4) ; X86_64-OFF-NEXT: [[TMP4:%.*]] = icmp ule i64 [[TMP3]], 1 ; X86_64-OFF-NEXT: ret i1 [[TMP4]] ; ; ; X86_64-OFF-LABEL: @.cfi.jumptable( ; X86_64-OFF-NEXT: entry: ; X86_64-OFF-NEXT: call void asm sideeffect "endbr64\0Ajmp ${0:c}@plt\0A.balign 16, 0xcc\0A", "s"(ptr @f.cfi) ; X86_64-OFF-NEXT: call void asm sideeffect "endbr64\0Ajmp ${0:c}@plt\0A.balign 16, 0xcc\0A", "s"(ptr @g.cfi) ; X86_64-OFF-NEXT: unreachable ; ;. ; X86_32: attributes #[[ATTR0:[0-9]+]] = { nocallback nofree nosync nounwind speculatable willreturn memory(none) } ; X86_32: attributes #[[ATTR1:[0-9]+]] = { naked nocf_check noinline } Loading @@ -92,6 +121,10 @@ define i1 @foo(ptr %p) { ; X86_64: attributes #[[ATTR1:[0-9]+]] = { naked nocf_check noinline } ; X86_64: attributes #[[ATTR2:[0-9]+]] = { nocallback nocreateundeforpoison nofree nosync nounwind speculatable willreturn memory(none) } ;. ; X86_64-OFF: attributes #[[ATTR0:[0-9]+]] = { nocallback nofree nosync nounwind speculatable willreturn memory(none) } ; X86_64-OFF: attributes #[[ATTR1:[0-9]+]] = { naked nocf_check noinline } ; X86_64-OFF: attributes #[[ATTR2:[0-9]+]] = { nocallback nocreateundeforpoison nofree nosync nounwind speculatable willreturn memory(none) } ;. ; X86_32: [[META0:![0-9]+]] = !{i32 8, !"cf-protection-branch", i32 1} ; X86_32: [[META1:![0-9]+]] = !{i32 7, !"Dwarf Version", i32 5} ; X86_32: [[META2:![0-9]+]] = !{i32 2, !"Debug Info Version", i32 3} Loading @@ -102,3 +135,8 @@ define i1 @foo(ptr %p) { ; X86_64: [[META2:![0-9]+]] = !{i32 2, !"Debug Info Version", i32 3} ; X86_64: [[META3:![0-9]+]] = !{i32 0, !"typeid1"} ;. ; X86_64-OFF: [[META0:![0-9]+]] = !{i32 8, !"cf-protection-branch", i32 1} ; X86_64-OFF: [[META1:![0-9]+]] = !{i32 7, !"Dwarf Version", i32 5} ; X86_64-OFF: [[META2:![0-9]+]] = !{i32 2, !"Debug Info Version", i32 3} ; X86_64-OFF: [[META3:![0-9]+]] = !{i32 0, !"typeid1"} ;.
