blob: d420346016f1eaf4d7ff62bb0ff7530961672225 [file] [log] [blame]
Vedant Kumare48597a2018-01-26 22:02:52 +00001; RUN: opt < %s -debugify -instcombine -S | FileCheck %s
2
3define i64 @test_sext_zext(i16 %A) {
4; CHECK-LABEL: @test_sext_zext(
5; CHECK-NEXT: [[C2:%.*]] = zext i16 %A to i64
6; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 [[C2]], metadata !8, metadata !DIExpression()), !dbg !13
7; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 [[C2]], metadata !10, metadata !DIExpression()), !dbg !12
8 %c1 = zext i16 %A to i32
9 %c2 = sext i32 %c1 to i64
10 ret i64 %c2
11}
12
Vedant Kumara8b8d322018-02-12 21:02:45 +000013define void @test_or(i64 %A) {
14; CHECK-LABEL: @test_or(
15; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 %A, metadata !17, metadata !DIExpression(DW_OP_constu, 256, DW_OP_or, DW_OP_stack_value)), !dbg !18
16 %1 = or i64 %A, 256
17 ret void
18}
19
Vedant Kumar96b7dc02018-02-13 01:09:46 +000020define void @test_xor(i32 %A) {
21; CHECK-LABEL: @test_xor(
22; CHECK-NEXT: call void @llvm.dbg.value(metadata i32 %A, metadata !22, metadata !DIExpression(DW_OP_constu, 1, DW_OP_xor, DW_OP_stack_value)), !dbg !23
23 %1 = xor i32 %A, 1
24 ret void
25}
26
Vedant Kumar47b16c42018-02-13 01:09:47 +000027define void @test_sub_neg(i64 %A) {
28; CHECK-LABEL: @test_sub_neg(
29; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 %A, metadata !27, metadata !DIExpression(DW_OP_plus_uconst, 1, DW_OP_stack_value)), !dbg !28
30 %1 = sub i64 %A, -1
31 ret void
32}
33
34define void @test_sub_pos(i64 %A) {
35; CHECK-LABEL: @test_sub_pos(
36; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 %A, metadata !32, metadata !DIExpression(DW_OP_constu, 1, DW_OP_minus, DW_OP_stack_value)), !dbg !33
37 %1 = sub i64 %A, 1
38 ret void
39}
40
Vedant Kumar31ec3562018-02-13 01:09:49 +000041define void @test_shl(i64 %A) {
42; CHECK-LABEL: @test_shl(
43; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 %A, metadata !37, metadata !DIExpression(DW_OP_constu, 7, DW_OP_shl, DW_OP_stack_value)), !dbg !38
44 %1 = shl i64 %A, 7
45 ret void
46}
47
48define void @test_lshr(i64 %A) {
49; CHECK-LABEL: @test_lshr(
50; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 %A, metadata !42, metadata !DIExpression(DW_OP_constu, 7, DW_OP_shr, DW_OP_stack_value)), !dbg !43
51 %1 = lshr i64 %A, 7
52 ret void
53}
54
55define void @test_ashr(i64 %A) {
56; CHECK-LABEL: @test_ashr(
57; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 %A, metadata !47, metadata !DIExpression(DW_OP_constu, 7, DW_OP_shra, DW_OP_stack_value)), !dbg !48
58 %1 = ashr i64 %A, 7
59 ret void
60}
61
Vedant Kumar4011c262018-02-13 01:09:52 +000062define void @test_mul(i64 %A) {
63; CHECK-LABEL: @test_mul(
64; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 %A, metadata !52, metadata !DIExpression(DW_OP_constu, 7, DW_OP_mul, DW_OP_stack_value)), !dbg !53
65 %1 = mul i64 %A, 7
66 ret void
67}
68
69define void @test_sdiv(i64 %A) {
70; CHECK-LABEL: @test_sdiv(
71; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 %A, metadata !57, metadata !DIExpression(DW_OP_constu, 7, DW_OP_div, DW_OP_stack_value)), !dbg !58
72 %1 = sdiv i64 %A, 7
73 ret void
74}
75
76define void @test_srem(i64 %A) {
77; CHECK-LABEL: @test_srem(
78; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 %A, metadata !62, metadata !DIExpression(DW_OP_constu, 7, DW_OP_mod, DW_OP_stack_value)), !dbg !63
79 %1 = srem i64 %A, 7
80 ret void
81}
82
Vedant Kumar388fac52018-02-13 03:34:23 +000083define void @test_ptrtoint(i64* %P) {
84; CHECK-LABEL: @test_ptrtoint
85; CHECK-NEXT: call void @llvm.dbg.value(metadata i64* %P, metadata !67, metadata !DIExpression()), !dbg !68
86 %1 = ptrtoint i64* %P to i64
87 ret void
88}
89
Vedant Kumare48597a2018-01-26 22:02:52 +000090; CHECK: !8 = !DILocalVariable(name: "1", scope: !5, file: !1, line: 1, type: !9)
Vedant Kumare48597a2018-01-26 22:02:52 +000091; CHECK: !10 = !DILocalVariable(name: "2", scope: !5, file: !1, line: 2, type: !11)
Vedant Kumare48597a2018-01-26 22:02:52 +000092; CHECK: !12 = !DILocation(line: 2, column: 1, scope: !5)
93; CHECK: !13 = !DILocation(line: 1, column: 1, scope: !5)
Vedant Kumara8b8d322018-02-12 21:02:45 +000094
95; CHECK: !17 = !DILocalVariable(name: "3", scope: !15, file: !1, line: 4, type: !11)
96; CHECK: !18 = !DILocation(line: 4, column: 1, scope: !15)
Vedant Kumar96b7dc02018-02-13 01:09:46 +000097
98; CHECK: !22 = !DILocalVariable(name: "4", scope: !20, file: !1, line: 6, type: !9)
99; CHECK: !23 = !DILocation(line: 6, column: 1, scope: !20)
Vedant Kumar47b16c42018-02-13 01:09:47 +0000100
101; CHECK: !27 = !DILocalVariable(name: "5", scope: !25, file: !1, line: 8, type: !11)
102; CHECK: !28 = !DILocation(line: 8, column: 1, scope: !25)
103
104; CHECK: !32 = !DILocalVariable(name: "6", scope: !30, file: !1, line: 10, type: !11)
105; CHECK: !33 = !DILocation(line: 10, column: 1, scope: !30)
Vedant Kumar31ec3562018-02-13 01:09:49 +0000106
107; CHECK: !37 = !DILocalVariable(name: "7", scope: !35, file: !1, line: 12, type: !11)
108; CHECK: !38 = !DILocation(line: 12, column: 1, scope: !35)
109
110; CHECK: !42 = !DILocalVariable(name: "8", scope: !40, file: !1, line: 14, type: !11)
111; CHECK: !43 = !DILocation(line: 14, column: 1, scope: !40)
112
113; CHECK: !47 = !DILocalVariable(name: "9", scope: !45, file: !1, line: 16, type: !11)
114; CHECK: !48 = !DILocation(line: 16, column: 1, scope: !45)
Vedant Kumar4011c262018-02-13 01:09:52 +0000115
116; CHECK: !52 = !DILocalVariable(name: "10", scope: !50, file: !1, line: 18, type: !11)
117; CHECK: !53 = !DILocation(line: 18, column: 1, scope: !50)
118
119; CHECK: !57 = !DILocalVariable(name: "11", scope: !55, file: !1, line: 20, type: !11)
120; CHECK: !58 = !DILocation(line: 20, column: 1, scope: !55)
121
122; CHECK: !62 = !DILocalVariable(name: "12", scope: !60, file: !1, line: 22, type: !11)
123; CHECK: !63 = !DILocation(line: 22, column: 1, scope: !60)
Vedant Kumar388fac52018-02-13 03:34:23 +0000124
125; CHECK: !67 = !DILocalVariable(name: "13", scope: !65, file: !1, line: 24, type: !11)
126; CHECK: !68 = !DILocation(line: 24, column: 1, scope: !65)