blob: 73ad186be551e11d8d814d62ed7aff9e98f51049 [file] [log] [blame]
Dan Gohmanc8054d92009-09-09 00:09:15 +00001; RUN: llc < %s
Tanya Lattner16b222c2004-11-06 23:08:26 +00002
Vikram S. Advef8c303d2003-07-10 19:31:26 +00003;; Date: Jul 8, 2003.
4;; From: test/Programs/MultiSource/Olden-perimeter
5;; Function: int %adj(uint %d.1, uint %ct.1)
6;;
7;; Errors: (1) cast-int-to-bool was being treated as a NOP (i.e., the int
8;; register was treated as effectively true if non-zero).
9;; This cannot be used for later boolean operations.
10;; (2) (A or NOT(B)) was being folded into A orn B, which is ok
11;; for bitwise operations but not booleans! For booleans,
12;; the result has to be compared with 0.
Vikram S. Adve6c9dc892003-07-08 15:39:02 +000013
Tanya Lattner3f047732008-02-19 01:41:04 +000014@.str_1 = internal constant [30 x i8] c"d = %d, ct = %d, d ^ ct = %d\0A\00"
Vikram S. Adve6c9dc892003-07-08 15:39:02 +000015
Tanya Lattner3f047732008-02-19 01:41:04 +000016declare i32 @printf(i8*, ...)
Vikram S. Adve6c9dc892003-07-08 15:39:02 +000017
Tanya Lattner3f047732008-02-19 01:41:04 +000018define i32 @adj(i32 %d.1, i32 %ct.1) {
Vikram S. Adve6c9dc892003-07-08 15:39:02 +000019entry:
Tanya Lattner3f047732008-02-19 01:41:04 +000020 %tmp.19 = icmp eq i32 %ct.1, 2 ; <i1> [#uses=1]
21 %tmp.22.not = trunc i32 %ct.1 to i1 ; <i1> [#uses=1]
22 %tmp.221 = xor i1 %tmp.22.not, true ; <i1> [#uses=1]
23 %tmp.26 = or i1 %tmp.19, %tmp.221 ; <i1> [#uses=1]
24 %tmp.27 = zext i1 %tmp.26 to i32 ; <i32> [#uses=1]
25 ret i32 %tmp.27
Vikram S. Adve6c9dc892003-07-08 15:39:02 +000026}
27
Tanya Lattner3f047732008-02-19 01:41:04 +000028define i32 @main() {
Vikram S. Adve6c9dc892003-07-08 15:39:02 +000029entry:
Tanya Lattner3f047732008-02-19 01:41:04 +000030 %result = call i32 @adj( i32 3, i32 2 ) ; <i32> [#uses=1]
David Blaikie23af6482015-04-16 23:24:18 +000031 %tmp.0 = call i32 (i8*, ...) @printf( i8* getelementptr ([30 x i8], [30 x i8]* @.str_1, i64 0, i64 0), i32 3, i32 2, i32 %result ) ; <i32> [#uses=0]
Tanya Lattner3f047732008-02-19 01:41:04 +000032 ret i32 0
Vikram S. Adve6c9dc892003-07-08 15:39:02 +000033}
Tanya Lattner3f047732008-02-19 01:41:04 +000034