| ; 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 i8 *@strcpy(i8 *%dest, i8 *%src) | |
| declare i8 *@stpcpy(i8 *%dest, i8 *%src) | |
| ; Check strcpy. | |
| define i8 *@f1(i8 *%dest, i8 *%src) { | |
| ; CHECK-LABEL: f1: | |
| ; CHECK-NOT: mvst | |
| ; CHECK: brasl %r14, strcpy | |
| ; CHECK: br %r14 | |
| %res = call i8 *@strcpy(i8 *%dest, i8 *%src) nobuiltin | |
| ret i8 *%res | |
| } | |
| ; Check stpcpy. | |
| define i8 *@f2(i8 *%dest, i8 *%src) { | |
| ; CHECK-LABEL: f2: | |
| ; CHECK-NOT: mvst | |
| ; CHECK: brasl %r14, stpcpy | |
| ; CHECK: br %r14 | |
| %res = call i8 *@stpcpy(i8 *%dest, i8 *%src) nobuiltin | |
| ret i8 *%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, i8 *%dest, i8 *%src, i32 *%resptr, i32 *%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, i32 *%resptr | |
| %unused = call i8 *@strcpy(i8 *%dest, i8 *%src) nobuiltin | |
| store i32 0, i32 *%storeptr | |
| ret i32 %res | |
| } |