Home | History | Annotate | Download | only in Verifier
      1 ; RUN: not opt -verify < %s 2>&1 | FileCheck %s
      2 
      3 ; CHECK: atomic store operand must have integer, pointer, or floating point type!
      4 ; CHECK: atomic load operand must have integer, pointer, or floating point type!
      5 
      6 define void @foo(x86_mmx* %P, x86_mmx %v) {
      7   store atomic x86_mmx %v, x86_mmx* %P unordered, align 8
      8   ret void
      9 }
     10 
     11 define x86_mmx @bar(x86_mmx* %P) {
     12   %v = load atomic x86_mmx, x86_mmx* %P unordered, align 8
     13   ret x86_mmx %v
     14 }
     15