123 lines · plain
1; RUN: opt < %s -passes=debugify,instcombine -S | FileCheck %s2 3declare void @escape32(i32)4 5define i64 @test_sext_zext(i16 %A) {6; CHECK-LABEL: @test_sext_zext(7; CHECK-NEXT: [[C2:%.*]] = zext i16 %A to i648; CHECK-NEXT: #dbg_value(i64 [[C2]], {{.*}}, !DIExpression(),9; CHECK-NEXT: #dbg_value(i64 [[C2]], {{.*}}, !DIExpression(),10 %c1 = zext i16 %A to i3211 %c2 = sext i32 %c1 to i6412 ret i64 %c213}14 15define i64 @test_used_sext_zext(i16 %A) {16; CHECK-LABEL: @test_used_sext_zext(17; CHECK-NEXT: [[C1:%.*]] = zext i16 %A to i3218; CHECK-NEXT: #dbg_value(i32 [[C1]], {{.*}}, !DIExpression(),19; CHECK-NEXT: [[C2:%.*]] = zext i16 %A to i6420; CHECK-NEXT: #dbg_value(i64 [[C2]], {{.*}}, !DIExpression(),21; CHECK-NEXT: call void @escape32(i32 %c1)22; CHECK-NEXT: ret i64 %c223 %c1 = zext i16 %A to i3224 %c2 = sext i32 %c1 to i6425 call void @escape32(i32 %c1)26 ret i64 %c227}28 29define i32 @test_cast_select(i1 %cond) {30; CHECK-LABEL: @test_cast_select(31; CHECK-NEXT: [[sel:%.*]] = select i1 %cond, i32 3, i32 532; CHECK-NEXT: #dbg_value(i32 [[sel]], {{.*}}, !DIExpression(),33; CHECK-NEXT: #dbg_value(i32 [[sel]], {{.*}}, !DIExpression(),34; CHECK-NEXT: ret i32 [[sel]]35 %sel = select i1 %cond, i16 3, i16 536 %cast = zext i16 %sel to i3237 ret i32 %cast38}39 40define void @test_or(i64 %A) {41; CHECK-LABEL: @test_or(42; CHECK-NEXT: #dbg_value(i64 %A, {{.*}}, !DIExpression(DW_OP_constu, 256, DW_OP_or, DW_OP_stack_value),43 %1 = or i64 %A, 25644 ret void45}46 47define void @test_xor(i32 %A) {48; CHECK-LABEL: @test_xor(49; CHECK-NEXT: #dbg_value(i32 %A, {{.*}}, !DIExpression(DW_OP_constu, 1, DW_OP_xor, DW_OP_stack_value),50 %1 = xor i32 %A, 151 ret void52}53 54define void @test_sub_neg(i64 %A) {55; CHECK-LABEL: @test_sub_neg(56; CHECK-NEXT: #dbg_value(i64 %A, {{.*}}, !DIExpression(DW_OP_plus_uconst, 1, DW_OP_stack_value),57 %1 = sub i64 %A, -158 ret void59}60 61define void @test_sub_pos(i64 %A) {62; CHECK-LABEL: @test_sub_pos(63; CHECK-NEXT: #dbg_value(i64 %A, {{.*}}, !DIExpression(DW_OP_constu, 1, DW_OP_minus, DW_OP_stack_value),64 %1 = sub i64 %A, 165 ret void66}67 68define void @test_shl(i64 %A) {69; CHECK-LABEL: @test_shl(70; CHECK-NEXT: #dbg_value(i64 %A, {{.*}}, !DIExpression(DW_OP_constu, 7, DW_OP_shl, DW_OP_stack_value),71 %1 = shl i64 %A, 772 ret void73}74 75define void @test_lshr(i64 %A) {76; CHECK-LABEL: @test_lshr(77; CHECK-NEXT: #dbg_value(i64 %A, {{.*}}, !DIExpression(DW_OP_constu, 7, DW_OP_shr, DW_OP_stack_value),78 %1 = lshr i64 %A, 779 ret void80}81 82define void @test_ashr(i64 %A) {83; CHECK-LABEL: @test_ashr(84; CHECK-NEXT: #dbg_value(i64 %A, {{.*}}, !DIExpression(DW_OP_constu, 7, DW_OP_shra, DW_OP_stack_value),85 %1 = ashr i64 %A, 786 ret void87}88 89define void @test_mul(i64 %A) {90; CHECK-LABEL: @test_mul(91; CHECK-NEXT: #dbg_value(i64 %A, {{.*}}, !DIExpression(DW_OP_constu, 7, DW_OP_mul, DW_OP_stack_value),92 %1 = mul i64 %A, 793 ret void94}95 96define void @test_sdiv(i64 %A) {97; CHECK-LABEL: @test_sdiv(98; CHECK-NEXT: #dbg_value(i64 %A, {{.*}}, !DIExpression(DW_OP_constu, 7, DW_OP_div, DW_OP_stack_value),99 %1 = sdiv i64 %A, 7100 ret void101}102 103define void @test_srem(i64 %A) {104; CHECK-LABEL: @test_srem(105; CHECK-NEXT: #dbg_value(i64 %A, {{.*}}, !DIExpression(DW_OP_constu, 7, DW_OP_mod, DW_OP_stack_value),106 %1 = srem i64 %A, 7107 ret void108}109 110define void @test_ptrtoint(ptr %P) {111; CHECK-LABEL: @test_ptrtoint112; CHECK-NEXT: #dbg_value(ptr %P, {{.*}}, !DIExpression(),113 %1 = ptrtoint ptr %P to i64114 ret void115}116 117define void @test_and(i64 %A) {118; CHECK-LABEL: @test_and(119; CHECK-NEXT: #dbg_value(i64 %A, {{.*}}, !DIExpression(DW_OP_constu, 256, DW_OP_and, DW_OP_stack_value),120 %1 = and i64 %A, 256121 ret void122}123