Dan Gohman | 11596ed | 2009-10-09 20:35:19 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s | FileCheck %s |
| 2 | |
| 3 | ; Codegen shouldn't reduce the comparison down to testb $-1, %al |
| 4 | ; because that changes the result of the signed test. |
| 5 | ; PR5132 |
| 6 | ; CHECK: testw $255, %ax |
| 7 | |
| 8 | target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" |
| 9 | target triple = "i386-apple-darwin10.0" |
| 10 | |
| 11 | @g_14 = global i8 -6, align 1 ; <i8*> [#uses=1] |
| 12 | |
| 13 | declare i32 @func_16(i8 signext %p_19, i32 %p_20) nounwind |
| 14 | |
| 15 | define i32 @func_35(i64 %p_38) nounwind ssp { |
| 16 | entry: |
| 17 | %tmp = load i8* @g_14 ; <i8> [#uses=2] |
| 18 | %conv = zext i8 %tmp to i32 ; <i32> [#uses=1] |
| 19 | %cmp = icmp sle i32 1, %conv ; <i1> [#uses=1] |
| 20 | %conv2 = zext i1 %cmp to i32 ; <i32> [#uses=1] |
| 21 | %call = call i32 @func_16(i8 signext %tmp, i32 %conv2) ssp ; <i32> [#uses=1] |
| 22 | ret i32 1 |
| 23 | } |