; Test that strcmp won't be converted to MVST if calls are
; marked with nobuiltin, eg. for sanitizers.
;
; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s

declare ptr@strcpy(ptr %dest, ptr %src)
declare ptr@stpcpy(ptr %dest, ptr %src)

; Check strcpy.
define ptr@f1(ptr %dest, ptr %src) {
; CHECK-LABEL: f1:
; CHECK-NOT: mvst
; CHECK: brasl %r14, strcpy
; CHECK: br %r14
  %res = call ptr@strcpy(ptr %dest, ptr %src) nobuiltin
  ret ptr %res
}

; Check stpcpy.
define ptr@f2(ptr %dest, ptr %src) {
; CHECK-LABEL: f2:
; CHECK-NOT: mvst
; CHECK: brasl %r14, stpcpy
; CHECK: br %r14
  %res = call ptr@stpcpy(ptr %dest, ptr %src) nobuiltin
  ret ptr %res
}

; Check correct operation with other loads and stores.  The load must
; come before the loop and the store afterwards.
define i32 @f3(i32 %dummy, ptr %dest, ptr %src, ptr %resptr, ptr %storeptr) {
; CHECK-LABEL: f3:
; CHECK-DAG: l [[REG1:%r[0-9]+]], 0(%r5)
; CHECK-NOT: mvst
; CHECK: brasl %r14, strcpy
; CHECK: mvhi 0(%r6), 0
; CHECK: br %r14
  %res = load i32, ptr %resptr
  %unused = call ptr@strcpy(ptr %dest, ptr %src) nobuiltin
  store i32 0, ptr %storeptr
  ret i32 %res
}