1 ; RUN: opt %s -debugify -early-cse -earlycse-debug-hash -S | FileCheck %s
2 define i32 @foo(i64 %nose, i32 %more) {
4 ; CHECK: call void @llvm.dbg.value(metadata i64 %nose, metadata [[V1:![0-9]+]], metadata !DIExpression(DW_OP_LLVM_convert, 64, DW_ATE_unsigned, DW_OP_LLVM_convert, 32, DW_ATE_unsigned
5 ; CHECK: call void @llvm.dbg.value(metadata i64 %nose.shift, metadata [[V2:![0-9]+]]
6 ; CHECK: call void @llvm.dbg.value(metadata i64 %nose.shift, metadata [[V3:![0-9]+]], metadata !DIExpression(DW_OP_LLVM_convert, 64, DW_ATE_unsigned, DW_OP_LLVM_convert, 32, DW_ATE_unsigned
9 %nose.trunc = trunc i64 %nose to i32
10 %nose.shift = lshr i64 %nose, 32
11 %nose.trunc.2 = trunc i64 %nose.shift to i32
12 %add = add nsw i32 %more, 1
16 !llvm.module.flags = !{!0, !1}
19 !0 = !{i32 1, !"wchar_size", i32 2}
20 !1 = !{i32 7, !"PIC Level", i32 2}
21 !2 = !{!"clang version 10.0.0 "}
23 ; CHECK: [[V1]] = !DILocalVariable(
24 ; CHECK: [[V2]] = !DILocalVariable(
25 ; CHECK: [[V3]] = !DILocalVariable(