test/Transforms/InstCombine/pr32686.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -instcombine %s | FileCheck %s
   3
   4 @a = external global i8
   5 @b = external global i32
   6
   7 define void @tinkywinky() {
   8 ; CHECK-LABEL: @tinkywinky(
   9 ; CHECK-NEXT:    [[PATATINO:%.*]] = load i8, i8* @a, align 1
  10 ; CHECK-NEXT:    [[TOBOOL:%.*]] = icmp eq i8 [[PATATINO]], 0
  11 ; CHECK-NEXT:    [[TMP1:%.*]] = zext i1 [[TOBOOL]] to i32
  12 ; CHECK-NEXT:    [[OR1:%.*]] = or i32 [[TMP1]], or (i32 zext (i1 icmp ne (i32* bitcast (i8* @a to i32*), i32* @b) to i32), i32 2)
  13 ; CHECK-NEXT:    store i32 [[OR1]], i32* @b, align 4
  14 ; CHECK-NEXT:    ret void
  15 ;
  16   %patatino = load i8, i8* @a
  17   %tobool = icmp ne i8 %patatino, 0
  18   %lnot = xor i1 %tobool, true
  19   %lnot.ext = zext i1 %lnot to i32
  20   %or = or i32 xor (i32 zext (i1 icmp ne (i32* bitcast (i8* @a to i32*), i32* @b) to i32), i32 2), %lnot.ext
  21   store i32 %or, i32* @b, align 4
  22   ret void
  23 }