| Vedant Kumar | 1df820e | 2018-02-15 22:26:18 +0000 | [diff] [blame] | 1 | ; RUN: opt -debugify -dce -S < %s | FileCheck %s |
| 2 | ; RUN: opt -passes='module(debugify),function(dce)' -S < %s | FileCheck %s |
| Justin Bogner | 395c212 | 2016-04-22 19:40:41 +0000 | [diff] [blame] | 3 | |
| 4 | ; CHECK-LABEL: @test |
| 5 | define void @test() { |
| Justin Bogner | 395c212 | 2016-04-22 19:40:41 +0000 | [diff] [blame] | 6 | %add = add i32 1, 2 |
| Vedant Kumar | 1df820e | 2018-02-15 22:26:18 +0000 | [diff] [blame] | 7 | ; CHECK-NEXT: call void @llvm.dbg.value(metadata i32 1, metadata [[add:![0-9]+]], metadata !DIExpression(DW_OP_plus_uconst, 2, DW_OP_stack_value)) |
| Justin Bogner | 395c212 | 2016-04-22 19:40:41 +0000 | [diff] [blame] | 8 | %sub = sub i32 %add, 1 |
| Vedant Kumar | 1df820e | 2018-02-15 22:26:18 +0000 | [diff] [blame] | 9 | ; CHECK-NEXT: call void @llvm.dbg.value(metadata i32 1, metadata [[sub:![0-9]+]], metadata !DIExpression(DW_OP_plus_uconst, 2, DW_OP_constu, 1, DW_OP_minus, DW_OP_stack_value)) |
| 10 | ; CHECK-NEXT: ret void |
| Justin Bogner | 395c212 | 2016-04-22 19:40:41 +0000 | [diff] [blame] | 11 | ret void |
| 12 | } |
| Vedant Kumar | 1df820e | 2018-02-15 22:26:18 +0000 | [diff] [blame] | 13 | |
| 14 | ; CHECK: [[add]] = !DILocalVariable |
| 15 | ; CHECK: [[sub]] = !DILocalVariable |