llvm/test/Transforms/PhaseOrdering/X86/pr52253.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -O3 -S < %s | FileCheck %s
   3 ; RUN: opt -instcombine -sccp -bdce -S < %s | FileCheck %s
   4 ; RUN: opt -aggressive-instcombine -instcombine -sccp -bdce -S < %s | FileCheck %s
   5
   6 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
   7 target triple = "x86_64-unknown-linux-gnu"
   8
   9 define i1 @foo(i32 %t4, i32 %t10) {
  10 ; CHECK-LABEL: @foo(
  11 ; CHECK-NEXT:    ret i1 false
  12 ;
  13   %t09 = shl i32 %t10, 24
  14   %t010 = ashr exact i32 %t09, 24
  15   %t011 = add nsw i32 %t010, 979
  16   %t11 = trunc i32 %t4 to i8
  17   %t12 = icmp eq i8 %t11, 0
  18   %t14 = zext i1 %t12 to i32
  19   %t15 = shl i32 %t4, %t14
  20   %t17 = and i32 %t15, 255
  21   %t18 = icmp eq i32 %t011, %t17
  22   ret i1 %t18
  23 }
  24
  25 define i1 @bar(i32 %t4, i32 %t10) {
  26 ; CHECK-LABEL: @bar(
  27 ; CHECK-NEXT:    ret i1 false
  28 ;
  29   %t09 = shl i32 %t10, 24
  30   %t010 = ashr exact i32 %t09, 24
  31   %t011 = add nsw i32 %t010, 979
  32   %t11 = trunc i32 %t4 to i8
  33   %t12 = icmp eq i8 %t11, 0
  34   %t14 = zext i1 %t12 to i8
  35   %t15 = shl i8 %t11, %t14
  36   %t17 = zext i8 %t15 to i32
  37   %t18 = icmp eq i32 %t011, %t17
  38   ret i1 %t18
  39 }
  40
  41 define i1 @foobar(i32 %t4, i32 %t10) {
  42 ; CHECK-LABEL: @foobar(
  43 ; CHECK-NEXT:    ret i1 false
  44 ;
  45   %t09 = shl i32 %t10, 24
  46   %t010 = ashr exact i32 %t09, 24
  47   %t011 = add nsw i32 %t010, 979
  48   %t11 = trunc i32 %t4 to i8
  49   %t12 = icmp eq i8 %t11, 0
  50   %t13 = zext i8 %t11 to i32
  51   %t14 = select i1 %t12, i32 1, i32 0
  52   %t15 = shl nuw nsw i32 %t13, %t14
  53   %t16 = trunc i32 %t15 to i8
  54   %t17 = zext i8 %t16 to i32
  55   %t18 = icmp eq i32 %t011, %t17
  56   ret i1 %t18
  57 }