blob: d6a504af867d80268eed6a70b814eb7865d7b616 [file] [log] [blame]
Reid Spencerc6e3d5e2005-05-14 16:44:43 +00001; Test that the ToAsciiOptimizer works correctly
Tanya Lattnerceca1942008-03-10 07:21:50 +00002; RUN: llvm-as < %s | opt -simplify-libcalls | llvm-dis | \
Dan Gohmanfddaa312008-05-01 23:50:07 +00003; RUN: not grep {call.*@ffs}
Reid Spencerc6e3d5e2005-05-14 16:44:43 +00004
Tanya Lattnerceca1942008-03-10 07:21:50 +00005@non_const = external global i32 ; <i32*> [#uses=1]
Reid Spencer9b1749b2005-05-15 21:26:59 +00006
Tanya Lattnerceca1942008-03-10 07:21:50 +00007declare i32 @ffs(i32)
Reid Spencerc6e3d5e2005-05-14 16:44:43 +00008
Tanya Lattnerceca1942008-03-10 07:21:50 +00009declare i32 @ffsl(i32)
Reid Spencerc6e3d5e2005-05-14 16:44:43 +000010
Tanya Lattnerceca1942008-03-10 07:21:50 +000011declare i32 @ffsll(i64)
12
13define i32 @main() {
14 %arg = load i32* @non_const ; <i32> [#uses=1]
15 %val0 = call i32 @ffs( i32 %arg ) ; <i32> [#uses=1]
16 %val1 = call i32 @ffs( i32 1 ) ; <i32> [#uses=1]
17 %val2 = call i32 @ffs( i32 2048 ) ; <i32> [#uses=1]
18 %val3 = call i32 @ffsl( i32 65536 ) ; <i32> [#uses=1]
19 %val4 = call i32 @ffsll( i64 1024 ) ; <i32> [#uses=1]
20 %val5 = call i32 @ffsll( i64 17179869184 ) ; <i32> [#uses=1]
21 %val6 = call i32 @ffsll( i64 1152921504606846976 ) ; <i32> [#uses=1]
22 %rslt1 = add i32 %val1, %val2 ; <i32> [#uses=1]
23 %rslt2 = add i32 %val3, %val4 ; <i32> [#uses=1]
24 %rslt3 = add i32 %val5, %val6 ; <i32> [#uses=1]
25 %rslt4 = add i32 %rslt1, %rslt2 ; <i32> [#uses=1]
26 %rslt5 = add i32 %rslt4, %rslt3 ; <i32> [#uses=2]
27 %rslt6 = add i32 %rslt5, %val0 ; <i32> [#uses=0]
28 ret i32 %rslt5
Reid Spencerc6e3d5e2005-05-14 16:44:43 +000029}
Tanya Lattnerceca1942008-03-10 07:21:50 +000030
Chris Lattnerbcc2e7d2009-05-13 06:26:11 +000031
32; PR4206
33define i32 @a(i64) nounwind {
34 %2 = call i32 @ffsll(i64 %0) ; <i32> [#uses=1]
35 ret i32 %2
36}