| Ehsan Amiri | a538b0f | 2016-08-03 18:17:35 +0000 | [diff] [blame] | 1 | ; RUN: llc -verify-machineinstrs -O0 -mcpu=e500mc < %s | FileCheck %s |
| Hal Finkel | 005f840 | 2015-11-25 10:14:31 +0000 | [diff] [blame] | 2 | ; Check if e500 generates code with mfocrf insn. |
| 3 | |
| 4 | target datalayout = "E-m:e-p:32:32-i64:64-n32" |
| 5 | target triple = "powerpc-unknown-linux-gnu" |
| 6 | |
| 7 | define internal i32 @func_49(i64 %p_50, i16 zeroext %p_51, i8* %p_52, i32 %p_53) { |
| 8 | ; CHECK-LABEL: @func_49 |
| 9 | ; CHECK-NOT: mfocrf |
| 10 | |
| 11 | %1 = load i64, i64* undef, align 8 |
| 12 | %2 = load i64, i64* undef, align 8 |
| 13 | %3 = icmp sge i32 undef, undef |
| 14 | %4 = zext i1 %3 to i32 |
| 15 | %5 = sext i32 %4 to i64 |
| 16 | %6 = icmp slt i64 %2, %5 |
| 17 | %7 = zext i1 %6 to i32 |
| 18 | %8 = call i64 @safe_sub_func_int64_t_s_s(i64 -6372137293439783564, i64 undef) |
| 19 | %9 = icmp slt i32 %7, undef |
| 20 | %10 = zext i1 %9 to i32 |
| 21 | %11 = sext i32 %10 to i64 |
| 22 | %12 = icmp sle i64 %1, %11 |
| 23 | %13 = zext i1 %12 to i32 |
| 24 | %14 = call i32 @safe_add_func_int32_t_s_s(i32 undef, i32 %13) |
| 25 | ret i32 undef |
| 26 | } |
| 27 | |
| 28 | declare i32 @safe_add_func_int32_t_s_s(i32, i32) |
| 29 | |
| 30 | declare i64 @safe_sub_func_int64_t_s_s(i64, i64) |
