Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(322)

Side by Side Diff: test/Transforms/NaCl/replace-ptrs-with-ints.ll

Issue 1085483003: PNaCl: Check we don't crash in -replace-ptrs-with-ints with odd metadata operands. (Closed) Base URL: https://chromium.googlesource.com/native_client/pnacl-llvm.git@master
Patch Set: Created 5 years, 7 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « no previous file | no next file » | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
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
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
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]
OLDNEW
« no previous file with comments | « no previous file | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698