llvm/test/CodeGen/SystemZ/strcmp-nobuiltin.ll

   1 ; Test that strcmp won't be converted to CLST if calls are
   2 ; marked with nobuiltin, eg. for sanitizers.
   3 ;
   4 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
   5
   6 declare signext i32 @strcmp(i8 *%src1, i8 *%src2)
   7
   8 ; Check a case where the result is used as an integer.
   9 define i32 @f1(i8 *%src1, i8 *%src2) {
  10 ; CHECK-LABEL: f1:
  11 ; CHECK-NOT: clst
  12 ; CHECK: brasl %r14, strcmp
  13 ; CHECK: br %r14
  14   %res = call i32 @strcmp(i8 *%src1, i8 *%src2) nobuiltin
  15   ret i32 %res
  16 }
  17
  18 ; Check a case where the result is tested for equality.
  19 define void @f2(i8 *%src1, i8 *%src2, i32 *%dest) {
  20 ; CHECK-LABEL: f2:
  21 ; CHECK-NOT: clst
  22 ; CHECK: brasl %r14, strcmp
  23 ; CHECK: br %r14
  24   %res = call i32 @strcmp(i8 *%src1, i8 *%src2) nobuiltin
  25   %cmp = icmp eq i32 %res, 0
  26   br i1 %cmp, label %exit, label %store
  27
  28 store:
  29   store i32 0, i32 *%dest
  30   br label %exit
  31
  32 exit:
  33   ret void
  34 }
  35
  36 ; Test a case where the result is used both as an integer and for
  37 ; branching.
  38 define i32 @f3(i8 *%src1, i8 *%src2, i32 *%dest) {
  39 ; CHECK-LABEL: f3:
  40 ; CHECK-NOT: clst
  41 ; CHECK: brasl %r14, strcmp
  42 ; CHECK: br %r14
  43 entry:
  44   %res = call i32 @strcmp(i8 *%src1, i8 *%src2) nobuiltin
  45   %cmp = icmp slt i32 %res, 0
  46   br i1 %cmp, label %exit, label %store
  47
  48 store:
  49   store i32 0, i32 *%dest
  50   br label %exit
  51
  52 exit:
  53   ret i32 %res
  54 }