| Eli Friedman | 7752442 | 2010-08-04 22:40:58 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -march=x86-64 | FileCheck %s |
| 2 | ; PR7814 |
| 3 | |
| 4 | @g_16 = global i64 -3738643449681751625, align 8 ; <i64*> [#uses=1] |
| 5 | @g_38 = global i32 0, align 4 ; <i32*> [#uses=2] |
| 6 | @.str = private constant [4 x i8] c"%d\0A\00" ; <[4 x i8]*> [#uses=1] |
| 7 | |
| 8 | define i32 @main() nounwind { |
| 9 | entry: |
| 10 | %tmp = load i64* @g_16 ; <i64> [#uses=1] |
| 11 | %not.lnot = icmp ne i64 %tmp, 0 ; <i1> [#uses=1] |
| 12 | %conv = sext i1 %not.lnot to i64 ; <i64> [#uses=1] |
| 13 | %and = and i64 %conv, 150 ; <i64> [#uses=1] |
| 14 | %conv.i = trunc i64 %and to i8 ; <i8> [#uses=1] |
| 15 | %cmp = icmp sgt i8 %conv.i, 0 ; <i1> [#uses=1] |
| 16 | br i1 %cmp, label %if.then, label %entry.if.end_crit_edge |
| 17 | |
| 18 | ; CHECK: andl $150 |
| 19 | ; CHECK-NEXT: testb |
| Chandler Carruth | 9e67db4 | 2012-04-16 13:49:17 +0000 | [diff] [blame] | 20 | ; CHECK-NEXT: jle |
| Eli Friedman | 7752442 | 2010-08-04 22:40:58 +0000 | [diff] [blame] | 21 | |
| 22 | entry.if.end_crit_edge: ; preds = %entry |
| 23 | %tmp4.pre = load i32* @g_38 ; <i32> [#uses=1] |
| 24 | br label %if.end |
| 25 | |
| 26 | if.then: ; preds = %entry |
| 27 | store i32 1, i32* @g_38 |
| 28 | br label %if.end |
| 29 | |
| 30 | if.end: ; preds = %entry.if.end_crit_edge, %if.then |
| 31 | %tmp4 = phi i32 [ %tmp4.pre, %entry.if.end_crit_edge ], [ 1, %if.then ] ; <i32> [#uses=1] |
| 32 | %call5 = tail call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), i32 %tmp4) nounwind ; <i32> [#uses=0] |
| 33 | ret i32 0 |
| 34 | } |
| 35 | |
| 36 | declare i32 @printf(i8* nocapture, ...) nounwind |