|  | 
| 3 | 3 | ; RUN: llc --verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown --spirv-ext=+SPV_KHR_non_semantic_info %s -o - | FileCheck %s --check-prefix=CHECK-OPTION | 
| 4 | 4 | ; RUN: %if spirv-tools %{ llc --verify-machineinstrs --spv-emit-nonsemantic-debug-info --spirv-ext=+SPV_KHR_non_semantic_info -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %} | 
| 5 | 5 | 
 | 
| 6 |  | -@c = dso_local global i32 1, align 4, !dbg !0 | 
| 7 |  | - | 
| 8 |  | -define dso_local noundef i32 @main() !dbg !21 { | 
| 9 |  | -entry: | 
| 10 |  | -  %retval = alloca i32, align 4 | 
| 11 |  | -  store i32 0, ptr %retval, align 4 | 
| 12 |  | -  %0 = load i32, ptr @c, align 4, !dbg !23 | 
| 13 |  | -  ret i32 %0, !dbg !24 | 
| 14 |  | -} | 
| 15 |  | - | 
| 16 | 6 | ; CHECK-MIR-DAG: [[TYPE_I32:%[0-9]+:type]] = OpTypeInt 32, 0 | 
| 17 | 7 | ; CHECK-MIR-DAG: [[TYPE_VOID:%[0-9]+:type\(s64\)]] = OpTypeVoid | 
| 18 | 8 | ; CHECK-MIR-DAG: [[C_NULL:%[0-9]+:iid]] = OpConstantNull [[TYPE_I32]] | 
| @@ -43,6 +33,16 @@ entry: | 
| 43 | 33 | 
 | 
| 44 | 34 | ; CHECK-OPTION-NOT: DebugTypeEnum | 
| 45 | 35 | 
 | 
|  | 36 | +@c = dso_local global i32 1, align 4, !dbg !0 | 
|  | 37 | + | 
|  | 38 | +define dso_local noundef i32 @main() !dbg !21 { | 
|  | 39 | +entry: | 
|  | 40 | +  %retval = alloca i32, align 4 | 
|  | 41 | +  store i32 0, ptr %retval, align 4 | 
|  | 42 | +  %0 = load i32, ptr @c, align 4, !dbg !23 | 
|  | 43 | +  ret i32 %0, !dbg !24 | 
|  | 44 | +} | 
|  | 45 | + | 
| 46 | 46 | !llvm.dbg.cu = !{!2} | 
| 47 | 47 | !llvm.module.flags = !{!13, !14, !15, !16, !17, !18, !19} | 
| 48 | 48 | 
 | 
|  | 
0 commit comments