test/Feature/intrinsics.ll

   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
   6 declare i1 @llvm.isunordered.f32(float, float)
   7
   8 declare i1 @llvm.isunordered.f64(double, double)
   9
  10
  11 declare i8 @llvm.ctpop.i8(i8)
  12
  13 declare i16 @llvm.ctpop.i16(i16)
  14
  15 declare i32 @llvm.ctpop.i32(i32)
  16
  17 declare i64 @llvm.ctpop.i64(i64)
  18
  19 declare i8 @llvm.cttz.i8(i8, i1)
  20
  21 declare i16 @llvm.cttz.i16(i16, i1)
  22
  23 declare i32 @llvm.cttz.i32(i32, i1)
  24
  25 declare i64 @llvm.cttz.i64(i64, i1)
  26
  27 declare i8 @llvm.ctlz.i8(i8, i1)
  28
  29 declare i16 @llvm.ctlz.i16(i16, i1)
  30
  31 declare i32 @llvm.ctlz.i32(i32, i1)
  32
  33 declare i64 @llvm.ctlz.i64(i64, i1)
  34
  35 declare float @llvm.sqrt.f32(float)
  36
  37 declare double @llvm.sqrt.f64(double)
  38
  39 ; Test llvm intrinsics
  40 ;
  41 define 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() #1
  65 declare void @llvm.trap()
  66
  67 define void @trap() {
  68   call void @llvm.trap()
  69   ret void
  70 }
  71
  72 ; CHECK: attributes #0 = { nounwind readnone speculatable willreturn }
  73 ; CHECK: attributes #1 = { cold noreturn nounwind }