test/CodeGen/Lanai/masking_setccs.ll

   1 ; RUN: llc < %s | FileCheck %s
   2
   3 ; Test that unnecessary masking with 0x1 is not inserted.
   4
   5 target datalayout = "E-m:e-p:32:32-i64:64-a:0:32-n32-S64"
   6 target triple = "lanai"
   7
   8 ; CHECK-LABEL: masking:
   9 ; CHECK-NOT: mov 1
  10 define i32 @masking(i32 inreg %a, i32 inreg %b, i32 inreg %c, i32 inreg %d) {
  11 entry:
  12   %cmp = icmp ne i32 %a, 0
  13   %cmp1 = icmp ult i32 %a, %b
  14   %or.cond = and i1 %cmp, %cmp1
  15   br i1 %or.cond, label %return, label %if.end
  16
  17 if.end:                                           ; preds = %entry
  18   %cmp2 = icmp ne i32 %b, 0
  19   %cmp4 = icmp ult i32 %b, %c
  20   %or.cond29 = and i1 %cmp2, %cmp4
  21   br i1 %or.cond29, label %return, label %if.end6
  22
  23 if.end6:                                          ; preds = %if.end
  24   %cmp7 = icmp ne i32 %c, 0
  25   %cmp9 = icmp ult i32 %c, %d
  26   %or.cond30 = and i1 %cmp7, %cmp9
  27   br i1 %or.cond30, label %return, label %if.end11
  28
  29 if.end11:                                         ; preds = %if.end6
  30   %cmp12 = icmp ne i32 %d, 0
  31   %cmp14 = icmp ult i32 %d, %a
  32   %or.cond31 = and i1 %cmp12, %cmp14
  33   %b. = select i1 %or.cond31, i32 %b, i32 21
  34   ret i32 %b.
  35
  36 return:                                           ; preds = %if.end6, %if.end, %entry
  37   %retval.0 = phi i32 [ %c, %entry ], [ %d, %if.end ], [ %a, %if.end6 ]
  38   ret i32 %retval.0
  39 }
  40
  41 ; CHECK-LABEL: notnot:
  42 ; CHECK-NOT: mov 1
  43 define i32 @notnot(i32 %x) {
  44 entry:
  45   %tobool = icmp ne i32 %x, 0
  46   %lnot.ext = zext i1 %tobool to i32
  47   ret i32 %lnot.ext
  48 }