1; RUN: llvm-as < %s | llvm-dis
2; RUN: verify-uselistorder %s
3
4target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
5
6module asm "this is an inline asm block"
7module asm "this is another inline asm block"
8
9%0 = type { %1, %2 }
10%1 = type { i32 }
11%2 = type { float, double }
12
13@0 = global i32 0
14@1 = global float 3.0
15@2 = global i8* null
16@3 = global x86_fp80 0xK4001E000000000000000
17
18define float @foo(%0* %p) nounwind {
19  %t = load %0, %0* %p                                ; <%0> [#uses=2]
20  %s = extractvalue %0 %t, 1, 0                   ; <float> [#uses=1]
21  %r = insertvalue %0 %t, double 2.000000e+00, 1, 1; <%0> [#uses=1]
22  store %0 %r, %0* %p
23  ret float %s
24}
25
26define float @bar(%0* %p) nounwind {
27  store %0 { %1 { i32 4 }, %2 { float 4.000000e+00, double 2.000000e+01 } }, %0* %p
28  ret float 7.000000e+00
29}
30
31define float @car(%0* %p) nounwind {
32  store %0 { %1 undef, %2 { float undef, double 2.000000e+01 } }, %0* %p
33  ret float undef
34}
35
36define float @dar(%0* %p) nounwind {
37  store %0 { %1 zeroinitializer, %2 { float 0.000000e+00, double 2.000000e+01 } }, %0* %p
38  ret float 0.000000e+00
39}
40
41define i32* @qqq() {
42  ret i32* @0
43}
44define float* @rrr() {
45  ret float* @1
46}
47define i8** @sss() {
48  ret i8** @2
49}
50define x86_fp80* @nnn() {
51  ret x86_fp80* @3
52}
53