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