xref: /llvm-project/llvm/test/Transforms/InstCombine/debuginfo-variables.ll (revision 094572701dce4aaf36f4521d6cf750420d39f206)
1; RUN: opt < %s -passes=debugify,instcombine -S | FileCheck %s
2; RUN: opt < %s -passes=debugify,instcombine -S --try-experimental-debuginfo-iterators | FileCheck %s
3
4declare void @escape32(i32)
5
6define i64 @test_sext_zext(i16 %A) {
7; CHECK-LABEL: @test_sext_zext(
8; CHECK-NEXT:  [[C2:%.*]] = zext i16 %A to i64
9; CHECK-NEXT:  #dbg_value(i64 [[C2]], {{.*}}, !DIExpression(),
10; CHECK-NEXT:  #dbg_value(i64 [[C2]], {{.*}}, !DIExpression(),
11  %c1 = zext i16 %A to i32
12  %c2 = sext i32 %c1 to i64
13  ret i64 %c2
14}
15
16define i64 @test_used_sext_zext(i16 %A) {
17; CHECK-LABEL: @test_used_sext_zext(
18; CHECK-NEXT:  [[C1:%.*]] = zext i16 %A to i32
19; CHECK-NEXT:  #dbg_value(i32 [[C1]], {{.*}}, !DIExpression(),
20; CHECK-NEXT:  [[C2:%.*]] = zext i16 %A to i64
21; CHECK-NEXT:  #dbg_value(i64 [[C2]], {{.*}}, !DIExpression(),
22; CHECK-NEXT:  call void @escape32(i32 %c1)
23; CHECK-NEXT:  ret i64 %c2
24  %c1 = zext i16 %A to i32
25  %c2 = sext i32 %c1 to i64
26  call void @escape32(i32 %c1)
27  ret i64 %c2
28}
29
30define i32 @test_cast_select(i1 %cond) {
31; CHECK-LABEL: @test_cast_select(
32; CHECK-NEXT:  [[sel:%.*]] = select i1 %cond, i32 3, i32 5
33; CHECK-NEXT:  #dbg_value(i32 [[sel]], {{.*}}, !DIExpression(),
34; CHECK-NEXT:  #dbg_value(i32 [[sel]], {{.*}}, !DIExpression(),
35; CHECK-NEXT:  ret i32 [[sel]]
36  %sel = select i1 %cond, i16 3, i16 5
37  %cast = zext i16 %sel to i32
38  ret i32 %cast
39}
40
41define void @test_or(i64 %A) {
42; CHECK-LABEL: @test_or(
43; CHECK-NEXT:  #dbg_value(i64 %A, {{.*}}, !DIExpression(DW_OP_constu, 256, DW_OP_or, DW_OP_stack_value),
44  %1 = or i64 %A, 256
45  ret void
46}
47
48define void @test_xor(i32 %A) {
49; CHECK-LABEL: @test_xor(
50; CHECK-NEXT:  #dbg_value(i32 %A, {{.*}}, !DIExpression(DW_OP_constu, 1, DW_OP_xor, DW_OP_stack_value),
51  %1 = xor i32 %A, 1
52  ret void
53}
54
55define void @test_sub_neg(i64 %A) {
56; CHECK-LABEL: @test_sub_neg(
57; CHECK-NEXT:  #dbg_value(i64 %A, {{.*}}, !DIExpression(DW_OP_plus_uconst, 1, DW_OP_stack_value),
58  %1 = sub i64 %A, -1
59  ret void
60}
61
62define void @test_sub_pos(i64 %A) {
63; CHECK-LABEL: @test_sub_pos(
64; CHECK-NEXT:  #dbg_value(i64 %A, {{.*}}, !DIExpression(DW_OP_constu, 1, DW_OP_minus, DW_OP_stack_value),
65  %1 = sub i64 %A, 1
66  ret void
67}
68
69define void @test_shl(i64 %A) {
70; CHECK-LABEL: @test_shl(
71; CHECK-NEXT:  #dbg_value(i64 %A, {{.*}}, !DIExpression(DW_OP_constu, 7, DW_OP_shl, DW_OP_stack_value),
72  %1 = shl i64 %A, 7
73  ret void
74}
75
76define void @test_lshr(i64 %A) {
77; CHECK-LABEL: @test_lshr(
78; CHECK-NEXT:  #dbg_value(i64 %A, {{.*}}, !DIExpression(DW_OP_constu, 7, DW_OP_shr, DW_OP_stack_value),
79  %1 = lshr i64 %A, 7
80  ret void
81}
82
83define void @test_ashr(i64 %A) {
84; CHECK-LABEL: @test_ashr(
85; CHECK-NEXT:  #dbg_value(i64 %A, {{.*}}, !DIExpression(DW_OP_constu, 7, DW_OP_shra, DW_OP_stack_value),
86  %1 = ashr i64 %A, 7
87  ret void
88}
89
90define void @test_mul(i64 %A) {
91; CHECK-LABEL: @test_mul(
92; CHECK-NEXT:  #dbg_value(i64 %A, {{.*}}, !DIExpression(DW_OP_constu, 7, DW_OP_mul, DW_OP_stack_value),
93  %1 = mul i64 %A, 7
94  ret void
95}
96
97define void @test_sdiv(i64 %A) {
98; CHECK-LABEL: @test_sdiv(
99; CHECK-NEXT:  #dbg_value(i64 %A, {{.*}}, !DIExpression(DW_OP_constu, 7, DW_OP_div, DW_OP_stack_value),
100  %1 = sdiv i64 %A, 7
101  ret void
102}
103
104define void @test_srem(i64 %A) {
105; CHECK-LABEL: @test_srem(
106; CHECK-NEXT:  #dbg_value(i64 %A, {{.*}}, !DIExpression(DW_OP_constu, 7, DW_OP_mod, DW_OP_stack_value),
107  %1 = srem i64 %A, 7
108  ret void
109}
110
111define void @test_ptrtoint(ptr %P) {
112; CHECK-LABEL: @test_ptrtoint
113; CHECK-NEXT:  #dbg_value(ptr %P, {{.*}}, !DIExpression(),
114  %1 = ptrtoint ptr %P to i64
115  ret void
116}
117
118define void @test_and(i64 %A) {
119; CHECK-LABEL: @test_and(
120; CHECK-NEXT:  #dbg_value(i64 %A, {{.*}}, !DIExpression(DW_OP_constu, 256, DW_OP_and, DW_OP_stack_value),
121  %1 = and i64 %A, 256
122  ret void
123}
124