OLD | NEW |
1 ; RUN: opt %s -replace-ptrs-with-ints -S | FileCheck %s | 1 ; RUN: opt %s -replace-ptrs-with-ints -S | FileCheck %s |
2 | 2 |
3 target datalayout = "p:32:32:32" | 3 target datalayout = "p:32:32:32" |
4 | 4 |
5 | 5 |
6 %struct = type { i32, i32 } | 6 %struct = type { i32, i32 } |
7 | 7 |
8 declare %struct* @addr_taken_func(%struct*) | 8 declare %struct* @addr_taken_func(%struct*) |
9 | 9 |
10 @addr_of_func = global %struct* (%struct*)* @addr_taken_func | 10 @addr_of_func = global %struct* (%struct*)* @addr_taken_func |
(...skipping 398 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
409 ; This case is currently not converted. | 409 ; This case is currently not converted. |
410 ; CHECK-NEXT: call void @llvm.dbg.declare(metadata !{null}, metadata !2, metadat
a !14) | 410 ; CHECK-NEXT: call void @llvm.dbg.declare(metadata !{null}, metadata !2, metadat
a !14) |
411 ; CHECK-NEXT: ret void | 411 ; CHECK-NEXT: ret void |
412 | 412 |
413 ; For now, debugging info for values is lost. replaceAllUsesWith() | 413 ; For now, debugging info for values is lost. replaceAllUsesWith() |
414 ; does not work for metadata references -- it converts them to nulls. | 414 ; does not work for metadata references -- it converts them to nulls. |
415 ; This makes dbg.value too tricky to handle for now. | 415 ; This makes dbg.value too tricky to handle for now. |
416 define void @debug_value(i32 %val, i8* %ptr) { | 416 define void @debug_value(i32 %val, i8* %ptr) { |
417 tail call void @llvm.dbg.value(metadata !{i32 %val}, i64 1, metadata !1, metad
ata !14) | 417 tail call void @llvm.dbg.value(metadata !{i32 %val}, i64 1, metadata !1, metad
ata !14) |
418 tail call void @llvm.dbg.value(metadata !{i8* %ptr}, i64 2, metadata !1, metad
ata !14) | 418 tail call void @llvm.dbg.value(metadata !{i8* %ptr}, i64 2, metadata !1, metad
ata !14) |
| 419 |
| 420 ; check that we don't crash when encountering odd things: |
| 421 tail call void @llvm.dbg.value(metadata !{i8* null}, i64 3, metadata !1, metad
ata !14) |
| 422 tail call void @llvm.dbg.value(metadata !{i8* undef}, i64 4, metadata !1, meta
data !14) |
| 423 tail call void @llvm.dbg.value(metadata !{}, i64 5, metadata !1, metadata !14) |
419 ret void | 424 ret void |
420 } | 425 } |
421 ; CHECK: define void @debug_value(i32 %val, i32 %ptr) { | 426 ; CHECK: define void @debug_value(i32 %val, i32 %ptr) { |
422 ; CHECK-NEXT: call void @llvm.dbg.value(metadata !{null}, i64 1, metadata !1, me
tadata !14) | 427 ; CHECK-NEXT: call void @llvm.dbg.value(metadata !{null}, i64 1, metadata !1, me
tadata !14) |
423 ; CHECK-NEXT: call void @llvm.dbg.value(metadata !{null}, i64 2, metadata !1, me
tadata !14) | 428 ; CHECK-NEXT: call void @llvm.dbg.value(metadata !{null}, i64 2, metadata !1, me
tadata !14) |
| 429 ; CHECK-NEXT: call void @llvm.dbg.value(metadata !15, i64 3, metadata !1, metada
ta !14) |
| 430 ; CHECK-NEXT: call void @llvm.dbg.value(metadata !16, i64 4, metadata !1, metada
ta !14) |
| 431 ; CHECK-NEXT: call void @llvm.dbg.value(metadata !2, i64 5, metadata !1, metadat
a !14) |
424 ; CHECK-NEXT: ret void | 432 ; CHECK-NEXT: ret void |
425 | 433 |
426 | 434 |
427 declare void @llvm.lifetime.start(i64 %size, i8* %ptr) | 435 declare void @llvm.lifetime.start(i64 %size, i8* %ptr) |
428 declare {}* @llvm.invariant.start(i64 %size, i8* %ptr) | 436 declare {}* @llvm.invariant.start(i64 %size, i8* %ptr) |
429 declare void @llvm.invariant.end({}* %start, i64 %size, i8* %ptr) | 437 declare void @llvm.invariant.end({}* %start, i64 %size, i8* %ptr) |
430 | 438 |
431 ; GVN can introduce the following horrible corner case of a lifetime | 439 ; GVN can introduce the following horrible corner case of a lifetime |
432 ; marker referencing a PHI node. But we convert the phi to i32 type, | 440 ; marker referencing a PHI node. But we convert the phi to i32 type, |
433 ; and lifetime.start doesn't work on an inttoptr converting an i32 phi | 441 ; and lifetime.start doesn't work on an inttoptr converting an i32 phi |
(...skipping 201 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
635 !9 = metadata !{metadata !10} | 643 !9 = metadata !{metadata !10} |
636 !10 = metadata !{metadata !"0x101\00ptr\0016777217\000", metadata !4, metadata !
5, metadata !8} ; [ DW_TAG_arg_variable ] [ptr] [line 1] | 644 !10 = metadata !{metadata !"0x101\00ptr\0016777217\000", metadata !4, metadata !
5, metadata !8} ; [ DW_TAG_arg_variable ] [ptr] [line 1] |
637 !11 = metadata !{i32 2, metadata !"Dwarf Version", i32 4} | 645 !11 = metadata !{i32 2, metadata !"Dwarf Version", i32 4} |
638 !12 = metadata !{i32 2, metadata !"Debug Info Version", i32 2} | 646 !12 = metadata !{i32 2, metadata !"Debug Info Version", i32 2} |
639 !13 = metadata !{metadata !"clang version 3.6.0"} | 647 !13 = metadata !{metadata !"clang version 3.6.0"} |
640 !14 = metadata !{metadata !"0x102"} ; [ DW_TAG_expression ] | 648 !14 = metadata !{metadata !"0x102"} ; [ DW_TAG_expression ] |
641 !15 = metadata !{i32 1, i32 16, metadata !4, null} | 649 !15 = metadata !{i32 1, i32 16, metadata !4, null} |
642 !16 = metadata !{i32 2, i32 1, metadata !4, null} | 650 !16 = metadata !{i32 2, i32 1, metadata !4, null} |
643 | 651 |
644 ; CHECK: !4 = metadata !{{{.*}}nop{{.*}}, void (i32)* @nop, {{.*}}} ; [ DW_TAG_s
ubprogram ] [line 1] [def] [nop] | 652 ; CHECK: !4 = metadata !{{{.*}}nop{{.*}}, void (i32)* @nop, {{.*}}} ; [ DW_TAG_s
ubprogram ] [line 1] [def] [nop] |
OLD | NEW |