# RUN: not llc -run-pass=none -filetype=null %s 2>&1 | FileCheck %s

# Stand in as a test of all uses of MIParser::getUnsigned to ensure it
# rejects negative integers.

--- |

  define i32 @foo(i32 %a) {
  entry:
    %0 = icmp sle i32 %a, 10
    br label %foo

  foo:
    ret i32 0
  }

...
---
name:            foo
body: |
  bb.0.entry:
    ; CHECK: [[@LINE+1]]:27: expected unsigned integer
    successors: %bb.1.foo(-2)

  bb.1.foo:
...