49 lines · plain
1; RUN: llc < %s | FileCheck %s2 3; Test that unnecessary masking with 0x1 is not inserted.4 5target datalayout = "E-m:e-p:32:32-i64:64-a:0:32-n32-S64"6target triple = "lanai"7 8; CHECK-LABEL: masking:9; CHECK-NOT: mov 110define i32 @masking(i32 inreg %a, i32 inreg %b, i32 inreg %c, i32 inreg %d) {11entry:12 %cmp = icmp ne i32 %a, 013 %cmp1 = icmp ult i32 %a, %b14 %or.cond = and i1 %cmp, %cmp115 br i1 %or.cond, label %return, label %if.end16 17if.end: ; preds = %entry18 %cmp2 = icmp ne i32 %b, 019 %cmp4 = icmp ult i32 %b, %c20 %or.cond29 = and i1 %cmp2, %cmp421 br i1 %or.cond29, label %return, label %if.end622 23if.end6: ; preds = %if.end24 %cmp7 = icmp ne i32 %c, 025 %cmp9 = icmp ult i32 %c, %d26 %or.cond30 = and i1 %cmp7, %cmp927 br i1 %or.cond30, label %return, label %if.end1128 29if.end11: ; preds = %if.end630 %cmp12 = icmp ne i32 %d, 031 %cmp14 = icmp ult i32 %d, %a32 %or.cond31 = and i1 %cmp12, %cmp1433 %b. = select i1 %or.cond31, i32 %b, i32 2134 ret i32 %b.35 36return: ; preds = %if.end6, %if.end, %entry37 %retval.0 = phi i32 [ %c, %entry ], [ %d, %if.end ], [ %a, %if.end6 ]38 ret i32 %retval.039}40 41; CHECK-LABEL: notnot:42; CHECK-NOT: mov 143define i32 @notnot(i32 %x) {44entry:45 %tobool = icmp ne i32 %x, 046 %lnot.ext = zext i1 %tobool to i3247 ret i32 %lnot.ext48}49