1; RUN: llvm-as < %s | llvm-dis > %t1.ll
2; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
3; RUN: diff %t1.ll %t2.ll
4; RUN: FileCheck %s < %t1.ll
5
6declare i1 @llvm.isunordered.f32(float, float)
7
8declare i1 @llvm.isunordered.f64(double, double)
9
10
11declare i8 @llvm.ctpop.i8(i8)
12
13declare i16 @llvm.ctpop.i16(i16)
14
15declare i32 @llvm.ctpop.i32(i32)
16
17declare i64 @llvm.ctpop.i64(i64)
18
19declare i8 @llvm.cttz.i8(i8, i1)
20
21declare i16 @llvm.cttz.i16(i16, i1)
22
23declare i32 @llvm.cttz.i32(i32, i1)
24
25declare i64 @llvm.cttz.i64(i64, i1)
26
27declare i8 @llvm.ctlz.i8(i8, i1)
28
29declare i16 @llvm.ctlz.i16(i16, i1)
30
31declare i32 @llvm.ctlz.i32(i32, i1)
32
33declare i64 @llvm.ctlz.i64(i64, i1)
34
35declare float @llvm.sqrt.f32(float)
36
37declare double @llvm.sqrt.f64(double)
38
39; Test llvm intrinsics
40;
41define void @libm() {
42        fcmp uno float 1.000000e+00, 2.000000e+00               ; <i1>:1 [#uses=0]
43        fcmp uno double 3.000000e+00, 4.000000e+00              ; <i1>:2 [#uses=0]
44        call float @llvm.sqrt.f32( float 5.000000e+00 )         ; <float>:3 [#uses=0]
45        call double @llvm.sqrt.f64( double 6.000000e+00 )               ; <double>:4 [#uses=0]
46        call i8  @llvm.ctpop.i8( i8 10 )                ; <i32>:5 [#uses=0]
47        call i16 @llvm.ctpop.i16( i16 11 )              ; <i32>:6 [#uses=0]
48        call i32 @llvm.ctpop.i32( i32 12 )              ; <i32>:7 [#uses=0]
49        call i64 @llvm.ctpop.i64( i64 13 )              ; <i32>:8 [#uses=0]
50        call i8  @llvm.ctlz.i8( i8 14, i1 true )         ; <i32>:9 [#uses=0]
51        call i16 @llvm.ctlz.i16( i16 15, i1 true )               ; <i32>:10 [#uses=0]
52        call i32 @llvm.ctlz.i32( i32 16, i1 true )               ; <i32>:11 [#uses=0]
53        call i64 @llvm.ctlz.i64( i64 17, i1 true )               ; <i32>:12 [#uses=0]
54        call i8  @llvm.cttz.i8( i8 18, i1 true )         ; <i32>:13 [#uses=0]
55        call i16 @llvm.cttz.i16( i16 19, i1 true )               ; <i32>:14 [#uses=0]
56        call i32 @llvm.cttz.i32( i32 20, i1 true )               ; <i32>:15 [#uses=0]
57        call i64 @llvm.cttz.i64( i64 21, i1 true )               ; <i32>:16 [#uses=0]
58        ret void
59}
60
61; FIXME: test ALL the intrinsics in this file.
62
63; rdar://11542750
64; CHECK: declare void @llvm.trap() #2
65declare void @llvm.trap()
66
67define void @trap() {
68  call void @llvm.trap()
69  ret void
70}
71
72; CHECK: attributes #0 = { nounwind readnone }
73; CHECK: attributes #1 = { nounwind readonly }
74; CHECK: attributes #2 = { noreturn nounwind }
75