llvm/test/tools/llubi/bytes_poison.ll

; NOTE: Assertions have been autogenerated by utils/update_llubi_test_checks.py UTC_ARGS: --version 6
; RUN: llubi --verbose < %s 2>&1 | FileCheck %s

define void @main() {
  %s1 = shufflevector <2 x b8> zeroinitializer, <2 x b8> zeroinitializer, <2 x i32> <i32 0, i32 poison>
  %f1 = freeze <2 x b8> %s1
  %f2 = freeze <2 x b8> undef
  %s2 = select <2 x i1> <i1 false, i1 poison>, <2 x b8> zeroinitializer, <2 x b8> zeroinitializer
  %f3 = freeze <2 x b8> %s2
  ret void
}
; CHECK: Entering function: main
; CHECK-NEXT:   %s1 = shufflevector <2 x b8> zeroinitializer, <2 x b8> zeroinitializer, <2 x i32> <i32 0, i32 poison> => { b8 0x00 , b8 0x!!  }
; CHECK-NEXT:   %f1 = freeze <2 x b8> %s1 => { b8 0x00 , b8 0x3E  }
; CHECK-NEXT:   %f2 = freeze <2 x b8> undef => { b8 0x8B , b8 0xB9  }
; CHECK-NEXT:   %s2 = select <2 x i1> <i1 false, i1 poison>, <2 x b8> zeroinitializer, <2 x b8> zeroinitializer => { b8 0x00 , b8 0x!!  }
; CHECK-NEXT:   %f3 = freeze <2 x b8> %s2 => { b8 0x00 , b8 0xEE  }
; CHECK-NEXT:   ret void
; CHECK-NEXT: Exiting function: main