2013-12-10 11:36:34 +01:00
|
|
|
; Test serialization instructions.
|
|
|
|
;
|
|
|
|
; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z10 | \
|
|
|
|
; RUN: FileCheck %s -check-prefix=CHECK-FULL
|
|
|
|
; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z196 | \
|
|
|
|
; RUN: FileCheck %s -check-prefix=CHECK-FAST
|
|
|
|
|
|
|
|
; Check that volatile loads produce a serialisation.
|
|
|
|
define i32 @f1(i32 *%src) {
|
|
|
|
; CHECK-FULL-LABEL: f1:
|
|
|
|
; CHECK-FULL: bcr 15, %r0
|
|
|
|
; CHECK-FULL: l %r2, 0(%r2)
|
|
|
|
; CHECK-FULL: br %r14
|
|
|
|
;
|
|
|
|
; CHECK-FAST-LABEL: f1:
|
|
|
|
; CHECK-FAST: bcr 14, %r0
|
|
|
|
; CHECK-FAST: l %r2, 0(%r2)
|
|
|
|
; CHECK-FAST: br %r14
|
2015-02-27 22:17:42 +01:00
|
|
|
%val = load volatile i32 , i32 *%src
|
2013-12-10 11:36:34 +01:00
|
|
|
ret i32 %val
|
|
|
|
}
|