view test/Verifier/atomics.ll @ 146:3fc4d5c3e21e

set tail call flag for code segment in CGCAll
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 23 Dec 2018 19:23:36 +0900
parents 7d135dc70f03
children
line wrap: on
line source

; RUN: not opt -verify < %s 2>&1 | FileCheck %s

; CHECK: atomic store operand must have integer, pointer, or floating point type!
; CHECK: atomic load operand must have integer, pointer, or floating point type!

define void @foo(x86_mmx* %P, x86_mmx %v) {
  store atomic x86_mmx %v, x86_mmx* %P unordered, align 8
  ret void
}

define x86_mmx @bar(x86_mmx* %P) {
  %v = load atomic x86_mmx, x86_mmx* %P unordered, align 8
  ret x86_mmx %v
}