mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-23 21:26:06 +00:00
c179847113
Fix msan issue that caused revert in https://github.com/llvm/llvm-project/pull/135695 ### Original message Now that LLVM dialect has `blockaddress` support, introduce import/translation for `indirectbr` instruction.
54 lines
1.7 KiB
LLVM
54 lines
1.7 KiB
LLVM
; RUN: not mlir-translate %s -import-llvm -split-input-file -error-diagnostics-only 2>&1 | FileCheck %s --check-prefix=ERROR
|
|
; RUN: not mlir-translate %s -import-llvm -split-input-file 2>&1 | FileCheck %s --check-prefix=DEFAULT
|
|
; RUN: not mlir-translate %s -import-llvm -split-input-file -emit-expensive-warnings 2>&1 | FileCheck %s --check-prefix=EXPENSIVE
|
|
|
|
; ERROR-NOT: warning:
|
|
; DEFAULT: warning:
|
|
; EXPENSIVE: warning:
|
|
define void @warning(i64 %n, ptr %A) {
|
|
entry:
|
|
br label %end, !llvm.loop !0
|
|
end:
|
|
ret void
|
|
}
|
|
|
|
!0 = distinct !{!0, !1, !2}
|
|
!1 = !{!"llvm.loop.disable_nonforced"}
|
|
!2 = !{!"llvm.loop.typo"}
|
|
|
|
; // -----
|
|
|
|
; ERROR: error:
|
|
; DEFAULT: error:
|
|
; EXPENSIVE: error:
|
|
define dso_local void @tbaa(ptr %0) {
|
|
store i32 1, ptr %0, align 4, !tbaa !2
|
|
ret void
|
|
}
|
|
|
|
!2 = !{!3, !3, i64 0, i64 4}
|
|
!3 = !{!4, i64 4, !"int"}
|
|
!4 = !{!5, i64 1, !"omnipotent char"}
|
|
!5 = !{!"Simple C++ TBAA"}
|
|
|
|
; // -----
|
|
|
|
declare void @llvm.dbg.value(metadata, metadata, metadata)
|
|
|
|
; ERROR-NOT: warning:
|
|
; DEFAULT-NOT: warning:
|
|
; EXPENSIVE: warning:
|
|
define void @dropped_instruction(i64 %arg1) {
|
|
call void @llvm.dbg.value(metadata !DIArgList(i64 %arg1, i64 undef), metadata !3, metadata !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_arg, 1, DW_OP_plus, DW_OP_stack_value)), !dbg !5
|
|
ret void
|
|
}
|
|
|
|
!llvm.dbg.cu = !{!1}
|
|
!llvm.module.flags = !{!0}
|
|
!0 = !{i32 2, !"Debug Info Version", i32 3}
|
|
!1 = distinct !DICompileUnit(language: DW_LANG_C, file: !2)
|
|
!2 = !DIFile(filename: "import-failure.ll", directory: "/")
|
|
!3 = !DILocalVariable(scope: !4, name: "arg1", file: !2, line: 1, arg: 1, align: 64);
|
|
!4 = distinct !DISubprogram(name: "intrinsic", scope: !2, file: !2, spFlags: DISPFlagDefinition, unit: !1)
|
|
!5 = !DILocation(line: 1, column: 2, scope: !4)
|