implement .ll and .bc support for nsw/nuw on shl and exact on lshr/ashr.
[oota-llvm.git] / test / Assembler / unnamed.ll
1 ; RUN: llvm-as < %s | llvm-dis
2
3 target 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"
4
5 module asm "this is an inline asm block"
6 module asm "this is another inline asm block"
7
8 %0 = type { %1, %2 }
9 %1 = type { i32 }
10 %2 = type { float, double }
11
12 @0 = global i32 0
13 @1 = global float 3.0
14 @2 = global i8* null
15 @3 = global x86_fp80 0xK4001E000000000000000
16
17 define float @foo(%0* %p) nounwind {
18   %t = load %0* %p                                ; <%0> [#uses=2]
19   %s = extractvalue %0 %t, 1, 0                   ; <float> [#uses=1]
20   %r = insertvalue %0 %t, double 2.000000e+00, 1, 1; <%0> [#uses=1]
21   store %0 %r, %0* %p
22   ret float %s
23 }
24
25 define float @bar(%0* %p) nounwind {
26   store %0 { %1 { i32 4 }, %2 { float 4.000000e+00, double 2.000000e+01 } }, %0* %p
27   ret float 7.000000e+00
28 }
29
30 define float @car(%0* %p) nounwind {
31   store %0 { %1 undef, %2 { float undef, double 2.000000e+01 } }, %0* %p
32   ret float undef
33 }
34
35 define float @dar(%0* %p) nounwind {
36   store %0 { %1 zeroinitializer, %2 { float 0.000000e+00, double 2.000000e+01 } }, %0* %p
37   ret float 0.000000e+00
38 }
39
40 define i32* @qqq() {
41   ret i32* @0
42 }
43 define float* @rrr() {
44   ret float* @1
45 }
46 define i8** @sss() {
47   ret i8** @2
48 }
49 define x86_fp80* @nnn() {
50   ret x86_fp80* @3
51 }