blob: b6f8124a6fe785900226b3d4381baec9dde624ea (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
; Test forward reference of a pointer-typed intrinsic result.
; RUN: llvm-as < %s | pnacl-freeze --pnacl-version=1 | pnacl-thaw \
; RUN: | llvm-dis - | FileCheck %s -check-prefix=TD1
; RUN: llvm-as < %s | pnacl-freeze --pnacl-version=2 | pnacl-thaw \
; RUN: | llvm-dis - | FileCheck %s -check-prefix=TD2
declare i8* @llvm.nacl.read.tp()
define i32 @forward_ref() {
br label %block1
block2:
%1 = load i8* %3
%2 = ptrtoint i8* %3 to i32
ret i32 %2
block1:
%3 = call i8* @llvm.nacl.read.tp()
br label %block2
}
; TD1: define i32 @forward_ref() {
; TD1-NEXT: br label %block1
; TD1: block2:
; TD1-NEXT: %1 = load i8* %3
; TD1-NEXT: %2 = ptrtoint i8* %3 to i32
; TD1-NEXT: ret i32 %2
; TD1: block1:
; TD1-NEXT: %3 = call i8* @llvm.nacl.read.tp()
; TD1-NEXT: br label %block2
; TD1-NEXT: }
; TD2: define i32 @forward_ref() {
; TD2-NEXT: br label %block1
; TD2: block2:
; TD2-NEXT: %1 = inttoptr i32 %4 to i8*
; TD2-NEXT: %2 = load i8* %1
; TD2-NEXT: ret i32 %4
; TD2: block1:
; TD2-NEXT: %3 = call i8* @llvm.nacl.read.tp()
; TD2-NEXT: %4 = ptrtoint i8* %3 to i32
; TD2-NEXT: br label %block2
; TD2-NEXT: }
|
