Vedant Kumar | e48597a | 2018-01-26 22:02:52 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -debugify -instcombine -S | FileCheck %s |
| 2 | |
| 3 | define i64 @test_sext_zext(i16 %A) { |
| 4 | ; CHECK-LABEL: @test_sext_zext( |
| 5 | ; CHECK-NEXT: [[C2:%.*]] = zext i16 %A to i64 |
Vedant Kumar | 4872535e | 2018-05-24 23:00:23 +0000 | [diff] [blame^] | 6 | ; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 [[C2]], {{.*}}, metadata !DIExpression()) |
| 7 | ; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 [[C2]], {{.*}}, metadata !DIExpression()) |
Vedant Kumar | e48597a | 2018-01-26 22:02:52 +0000 | [diff] [blame] | 8 | %c1 = zext i16 %A to i32 |
| 9 | %c2 = sext i32 %c1 to i64 |
| 10 | ret i64 %c2 |
| 11 | } |
| 12 | |
Vedant Kumar | a8b8d32 | 2018-02-12 21:02:45 +0000 | [diff] [blame] | 13 | define void @test_or(i64 %A) { |
| 14 | ; CHECK-LABEL: @test_or( |
Vedant Kumar | 4872535e | 2018-05-24 23:00:23 +0000 | [diff] [blame^] | 15 | ; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 %A, {{.*}}, metadata !DIExpression(DW_OP_constu, 256, DW_OP_or, DW_OP_stack_value)) |
Vedant Kumar | a8b8d32 | 2018-02-12 21:02:45 +0000 | [diff] [blame] | 16 | %1 = or i64 %A, 256 |
| 17 | ret void |
| 18 | } |
| 19 | |
Vedant Kumar | 96b7dc0 | 2018-02-13 01:09:46 +0000 | [diff] [blame] | 20 | define void @test_xor(i32 %A) { |
| 21 | ; CHECK-LABEL: @test_xor( |
Vedant Kumar | 4872535e | 2018-05-24 23:00:23 +0000 | [diff] [blame^] | 22 | ; CHECK-NEXT: call void @llvm.dbg.value(metadata i32 %A, {{.*}}, metadata !DIExpression(DW_OP_constu, 1, DW_OP_xor, DW_OP_stack_value)) |
Vedant Kumar | 96b7dc0 | 2018-02-13 01:09:46 +0000 | [diff] [blame] | 23 | %1 = xor i32 %A, 1 |
| 24 | ret void |
| 25 | } |
| 26 | |
Vedant Kumar | 47b16c4 | 2018-02-13 01:09:47 +0000 | [diff] [blame] | 27 | define void @test_sub_neg(i64 %A) { |
| 28 | ; CHECK-LABEL: @test_sub_neg( |
Vedant Kumar | 4872535e | 2018-05-24 23:00:23 +0000 | [diff] [blame^] | 29 | ; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 %A, {{.*}}, metadata !DIExpression(DW_OP_plus_uconst, 1, DW_OP_stack_value)) |
Vedant Kumar | 47b16c4 | 2018-02-13 01:09:47 +0000 | [diff] [blame] | 30 | %1 = sub i64 %A, -1 |
| 31 | ret void |
| 32 | } |
| 33 | |
| 34 | define void @test_sub_pos(i64 %A) { |
| 35 | ; CHECK-LABEL: @test_sub_pos( |
Vedant Kumar | 4872535e | 2018-05-24 23:00:23 +0000 | [diff] [blame^] | 36 | ; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 %A, {{.*}}, metadata !DIExpression(DW_OP_constu, 1, DW_OP_minus, DW_OP_stack_value)) |
Vedant Kumar | 47b16c4 | 2018-02-13 01:09:47 +0000 | [diff] [blame] | 37 | %1 = sub i64 %A, 1 |
| 38 | ret void |
| 39 | } |
| 40 | |
Vedant Kumar | 31ec356 | 2018-02-13 01:09:49 +0000 | [diff] [blame] | 41 | define void @test_shl(i64 %A) { |
| 42 | ; CHECK-LABEL: @test_shl( |
Vedant Kumar | 4872535e | 2018-05-24 23:00:23 +0000 | [diff] [blame^] | 43 | ; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 %A, {{.*}}, metadata !DIExpression(DW_OP_constu, 7, DW_OP_shl, DW_OP_stack_value)) |
Vedant Kumar | 31ec356 | 2018-02-13 01:09:49 +0000 | [diff] [blame] | 44 | %1 = shl i64 %A, 7 |
| 45 | ret void |
| 46 | } |
| 47 | |
| 48 | define void @test_lshr(i64 %A) { |
| 49 | ; CHECK-LABEL: @test_lshr( |
Vedant Kumar | 4872535e | 2018-05-24 23:00:23 +0000 | [diff] [blame^] | 50 | ; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 %A, {{.*}}, metadata !DIExpression(DW_OP_constu, 7, DW_OP_shr, DW_OP_stack_value)) |
Vedant Kumar | 31ec356 | 2018-02-13 01:09:49 +0000 | [diff] [blame] | 51 | %1 = lshr i64 %A, 7 |
| 52 | ret void |
| 53 | } |
| 54 | |
| 55 | define void @test_ashr(i64 %A) { |
| 56 | ; CHECK-LABEL: @test_ashr( |
Vedant Kumar | 4872535e | 2018-05-24 23:00:23 +0000 | [diff] [blame^] | 57 | ; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 %A, {{.*}}, metadata !DIExpression(DW_OP_constu, 7, DW_OP_shra, DW_OP_stack_value)) |
Vedant Kumar | 31ec356 | 2018-02-13 01:09:49 +0000 | [diff] [blame] | 58 | %1 = ashr i64 %A, 7 |
| 59 | ret void |
| 60 | } |
| 61 | |
Vedant Kumar | 4011c26 | 2018-02-13 01:09:52 +0000 | [diff] [blame] | 62 | define void @test_mul(i64 %A) { |
| 63 | ; CHECK-LABEL: @test_mul( |
Vedant Kumar | 4872535e | 2018-05-24 23:00:23 +0000 | [diff] [blame^] | 64 | ; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 %A, {{.*}}, metadata !DIExpression(DW_OP_constu, 7, DW_OP_mul, DW_OP_stack_value)) |
Vedant Kumar | 4011c26 | 2018-02-13 01:09:52 +0000 | [diff] [blame] | 65 | %1 = mul i64 %A, 7 |
| 66 | ret void |
| 67 | } |
| 68 | |
| 69 | define void @test_sdiv(i64 %A) { |
| 70 | ; CHECK-LABEL: @test_sdiv( |
Vedant Kumar | 4872535e | 2018-05-24 23:00:23 +0000 | [diff] [blame^] | 71 | ; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 %A, {{.*}}, metadata !DIExpression(DW_OP_constu, 7, DW_OP_div, DW_OP_stack_value)) |
Vedant Kumar | 4011c26 | 2018-02-13 01:09:52 +0000 | [diff] [blame] | 72 | %1 = sdiv i64 %A, 7 |
| 73 | ret void |
| 74 | } |
| 75 | |
| 76 | define void @test_srem(i64 %A) { |
| 77 | ; CHECK-LABEL: @test_srem( |
Vedant Kumar | 4872535e | 2018-05-24 23:00:23 +0000 | [diff] [blame^] | 78 | ; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 %A, {{.*}}, metadata !DIExpression(DW_OP_constu, 7, DW_OP_mod, DW_OP_stack_value)) |
Vedant Kumar | 4011c26 | 2018-02-13 01:09:52 +0000 | [diff] [blame] | 79 | %1 = srem i64 %A, 7 |
| 80 | ret void |
| 81 | } |
| 82 | |
Vedant Kumar | 388fac5 | 2018-02-13 03:34:23 +0000 | [diff] [blame] | 83 | define void @test_ptrtoint(i64* %P) { |
| 84 | ; CHECK-LABEL: @test_ptrtoint |
Vedant Kumar | 4872535e | 2018-05-24 23:00:23 +0000 | [diff] [blame^] | 85 | ; CHECK-NEXT: call void @llvm.dbg.value(metadata i64* %P, {{.*}}, metadata !DIExpression()) |
Vedant Kumar | 388fac5 | 2018-02-13 03:34:23 +0000 | [diff] [blame] | 86 | %1 = ptrtoint i64* %P to i64 |
| 87 | ret void |
| 88 | } |
| 89 | |
Petar Jovanovic | 1768957 | 2018-02-14 13:10:35 +0000 | [diff] [blame] | 90 | define void @test_and(i64 %A) { |
| 91 | ; CHECK-LABEL: @test_and( |
Vedant Kumar | 4872535e | 2018-05-24 23:00:23 +0000 | [diff] [blame^] | 92 | ; CHECK-NEXT: call void @llvm.dbg.value(metadata i64 %A, {{.*}}, metadata !DIExpression(DW_OP_constu, 256, DW_OP_and, DW_OP_stack_value)) |
Petar Jovanovic | 1768957 | 2018-02-14 13:10:35 +0000 | [diff] [blame] | 93 | %1 = and i64 %A, 256 |
| 94 | ret void |
| 95 | } |