reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28
   29
   30
   31
   32
   33
   34
   35
   36
   37
   38
   39
   40
   41
   42
   43
   44
   45
   46
   47
   48
   49
   50
   51
   52
   53
   54
   55
   56
   57
   58
   59
   60
   61
   62
   63
   64
   65
   66
   67
   68
   69

; RUN: llvm-dis < %s.bc| FileCheck %s
; RUN: verify-uselistorder < %s.bc

; bitwiseOperations.3.2.ll.bc was generated by passing this file to llvm-as-3.2.
; The test checks that LLVM does not misread bitwise instructions from
; older bitcode files.

define void @shl(i8 %x1){
entry:
; CHECK: %res1 = shl i8 %x1, %x1
  %res1 = shl i8 %x1, %x1

; CHECK: %res2 = shl nuw i8 %x1, %x1
  %res2 = shl nuw i8 %x1, %x1

; CHECK: %res3 = shl nsw i8 %x1, %x1
  %res3 = shl nsw i8 %x1, %x1

; CHECK: %res4 = shl nuw nsw i8 %x1, %x1
  %res4 = shl nuw nsw i8 %x1, %x1

  ret void
}

define void @lshr(i8 %x1){
entry:
; CHECK: %res1 = lshr i8 %x1, %x1
  %res1 = lshr i8 %x1, %x1

; CHECK: %res2 = lshr exact i8 %x1, %x1
  %res2 = lshr exact i8 %x1, %x1

  ret void
}

define void @ashr(i8 %x1){
entry:
; CHECK: %res1 = ashr i8 %x1, %x1
  %res1 = ashr i8 %x1, %x1

; CHECK-NEXT: %res2 = ashr exact i8 %x1, %x1
  %res2 = ashr exact i8 %x1, %x1

  ret void
}

define void @and(i8 %x1){
entry:
; CHECK: %res1 = and i8 %x1, %x1
  %res1 = and i8 %x1, %x1

  ret void
}

define void @or(i8 %x1){
entry:
; CHECK: %res1 = or i8 %x1, %x1
  %res1 = or i8 %x1, %x1

  ret void
}

define void @xor(i8 %x1){
entry:
; CHECK: %res1 = xor i8 %x1, %x1
  %res1 = xor i8 %x1, %x1

  ret void
}