| Matthias Braun | 538859c | 2016-07-16 02:24:59 +0000 | [diff] [blame] | 1 | # RUN: not llc -march=x86-64 -run-pass none -o /dev/null %s 2>&1 | FileCheck %s |
| Alex Lorenz | 33f0aef | 2015-06-26 16:46:11 +0000 | [diff] [blame] | 2 | |
| 3 | --- | |
| 4 | |
| 5 | define i32 @foo(i32* %p) { |
| 6 | entry: |
| 7 | %a = load i32, i32* %p |
| 8 | %b = icmp sle i32 %a, 10 |
| 9 | br i1 %b, label %0, label %1 |
| 10 | |
| 11 | ; <label>:0 |
| 12 | ret i32 0 |
| 13 | |
| 14 | ; <label>:1 |
| 15 | ret i32 %a |
| 16 | } |
| 17 | |
| 18 | ... |
| 19 | --- |
| 20 | name: foo |
| Alex Lorenz | 5022f6b | 2015-08-13 23:10:16 +0000 | [diff] [blame] | 21 | body: | |
| 22 | bb.0.entry: |
| 23 | %eax = MOV32rm %rdi, 1, _, 0, _ |
| 24 | CMP32ri8 %eax, 10, implicit-def %eflags |
| 25 | ; CHECK: [[@LINE+1]]:10: expected 32-bit integer (too large) |
| 26 | JG_1 %bb.123456789123456, implicit %eflags |
| 27 | |
| 28 | bb.1: |
| 29 | %eax = MOV32r0 implicit-def %eflags |
| 30 | |
| 31 | bb.2: |
| 32 | RETQ %eax |
| Alex Lorenz | 33f0aef | 2015-06-26 16:46:11 +0000 | [diff] [blame] | 33 | ... |