test/Bitcode/highLevelStructure.3.2.ll

   1 ; RUN:  llvm-dis < %s.bc| FileCheck %s
   2
   3 ; highLevelStructure.3.2.ll.bc was generated by passing this file to llvm-as-3.2.
   4 ; The test checks that LLVM does not misread binary float instructions of
   5 ; older bitcode files.
   6
   7 ; Data Layout Test
   8 ; CHECK: target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v16:16:16-v24:32:32-v32:32:32-v48:64:64-v64:64:64-v96:128:128-v128:128:128-v192:256:256-v256:256:256-v512:512:512-v1024:1024:1024-a0:0:64-f80:32:32-n8:16:32-S32"
   9 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v16:16:16-v24:32:32-v32:32:32-v48:64:64-v64:64:64-v96:128:128-v128:128:128-v192:256:256-v256:256:256-v512:512:512-v1024:1024:1024-a0:0:64-f80:32:32-n8:16:32-S32"
  10
  11 ; Module-Level Inline Assembly Test
  12 ; CHECK: module asm "some assembly"
  13 module asm "some assembly"
  14
  15 ; Named Types Test
  16 ; CHECK: %mytype = type { %mytype*, i32 }
  17 %mytype = type { %mytype*, i32 }
  18
  19 ; Aliases Test
  20 ; CHECK: @glob1 = global i32 1
  21 @glob1 = global i32 1
  22 ; CHECK: @aliased1 = alias i32, i32* @glob1
  23 @aliased1 = alias i32, i32* @glob1
  24 ; CHECK-NEXT: @aliased2 = internal alias i32, i32* @glob1
  25 @aliased2 = internal alias i32, i32* @glob1
  26 ; CHECK-NEXT: @aliased3 = alias i32, i32* @glob1
  27 @aliased3 = external alias i32, i32* @glob1
  28 ; CHECK-NEXT: @aliased4 = weak alias i32, i32* @glob1
  29 @aliased4 = weak alias i32, i32* @glob1
  30 ; CHECK-NEXT: @aliased5 = weak_odr alias i32, i32* @glob1
  31 @aliased5 = weak_odr alias i32, i32* @glob1
  32
  33 ;Parameter Attribute Test
  34 ; CHECK: declare void @ParamAttr1(i8 zeroext)
  35 declare void @ParamAttr1(i8 zeroext)
  36 ; CHECK: declare void @ParamAttr2(i8* nest)
  37 declare void @ParamAttr2(i8* nest)
  38 ; CHECK: declare void @ParamAttr3(i8* sret)
  39 declare void @ParamAttr3(i8* sret)
  40 ; CHECK: declare void @ParamAttr4(i8 signext)
  41 declare void @ParamAttr4(i8 signext)
  42 ; CHECK: declare void @ParamAttr5(i8* inreg)
  43 declare void @ParamAttr5(i8* inreg)
  44 ; CHECK: declare void @ParamAttr6(i8* byval(i8))
  45 declare void @ParamAttr6(i8* byval)
  46 ; CHECK: declare void @ParamAttr7(i8* noalias)
  47 declare void @ParamAttr7(i8* noalias)
  48 ; CHECK: declare void @ParamAttr8(i8* nocapture)
  49 declare void @ParamAttr8(i8* nocapture)
  50 ; CHECK: declare void @ParamAttr9{{[(i8* nest noalias nocapture) | (i8* noalias nocapture nest)]}}
  51 declare void @ParamAttr9(i8* nest noalias nocapture)
  52 ; CHECK: declare void @ParamAttr10{{[(i8* sret noalias nocapture) | (i8* noalias nocapture sret)]}}
  53 declare void @ParamAttr10(i8* sret noalias nocapture)
  54 ;CHECK: declare void @ParamAttr11{{[(i8* byval(i8) noalias nocapture) | (i8* noalias nocapture byval(i8))]}}
  55 declare void @ParamAttr11(i8* byval noalias nocapture)
  56 ;CHECK: declare void @ParamAttr12{{[(i8* inreg noalias nocapture) | (i8* noalias nocapture inreg)]}}
  57 declare void @ParamAttr12(i8* inreg noalias nocapture)
  58
  59
  60 ; NamedTypesTest
  61 define void @NamedTypes() {
  62 entry:
  63 ; CHECK: %res = alloca %mytype
  64   %res = alloca %mytype
  65   ret void
  66 }
  67
  68 ; Garbage Collector Name Test
  69 ; CHECK: define void @gcTest() gc "gc"
  70 define void @gcTest() gc "gc" {
  71 entry:
  72   ret void
  73 }
  74
  75 ; Named metadata Test
  76 ; CHECK: !name = !{!0, !1, !2}
  77 !name = !{!0, !1, !2}
  78 ; CHECK: !0 = !{!"zero"}
  79 !0 = metadata !{metadata !"zero"}
  80 ; CHECK: !1 = !{!"one"}
  81 !1 = metadata !{metadata !"one"}
  82 ; CHECK: !2 = !{!"two"}
  83 !2 = metadata !{metadata !"two"}
  84
  85
  86