llvm/test/Assembler/aggregate-constant-values.ll

   1 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
   2 ; RUN: verify-uselistorder %s
   3
   4 ; CHECK: @foo
   5 ; CHECK: store { i32, i32 } { i32 7, i32 9 }, ptr %x
   6 ; CHECK: ret
   7 define void @foo(ptr %x) nounwind {
   8   store {i32, i32}{i32 7, i32 9}, ptr %x
   9   ret void
  10 }
  11
  12 ; CHECK: @foo_empty
  13 ; CHECK: store {} zeroinitializer, ptr %x
  14 ; CHECK: ret
  15 define void @foo_empty(ptr %x) nounwind {
  16   store {}{}, ptr %x
  17   ret void
  18 }
  19
  20 ; CHECK: @bar
  21 ; CHECK: store [2 x i32] [i32 7, i32 9], ptr %x
  22 ; CHECK: ret
  23 define void @bar(ptr %x) nounwind {
  24   store [2 x i32][i32 7, i32 9], ptr %x
  25   ret void
  26 }
  27
  28 ; CHECK: @bar_empty
  29 ; CHECK: store [0 x i32] undef, ptr %x
  30 ; CHECK: ret
  31 define void @bar_empty(ptr %x) nounwind {
  32   store [0 x i32][], ptr %x
  33   ret void
  34 }
  35
  36 ; CHECK: @qux
  37 ; CHECK: store <{ i32, i32 }> <{ i32 7, i32 9 }>, ptr %x
  38 ; CHECK: ret
  39 define void @qux(ptr %x) nounwind {
  40   store <{i32, i32}><{i32 7, i32 9}>, ptr %x
  41   ret void
  42 }
  43
  44 ; CHECK: @qux_empty
  45 ; CHECK: store <{}> zeroinitializer, ptr %x
  46 ; CHECK: ret
  47 define void @qux_empty(ptr %x) nounwind {
  48   store <{}><{}>, ptr %x
  49   ret void
  50 }
  51