| ; Test that the IsDigitOptimizer works correctly |
| ; RUN: opt < %s -simplify-libcalls -S | \ |
| ; RUN: not grep call |
| |
| declare i32 @isdigit(i32) |
| |
| declare i32 @isascii(i32) |
| |
| define i32 @main() { |
| %val1 = call i32 @isdigit( i32 47 ) ; <i32> [#uses=1] |
| %val2 = call i32 @isdigit( i32 48 ) ; <i32> [#uses=1] |
| %val3 = call i32 @isdigit( i32 57 ) ; <i32> [#uses=1] |
| %val4 = call i32 @isdigit( i32 58 ) ; <i32> [#uses=1] |
| %rslt1 = add i32 %val1, %val2 ; <i32> [#uses=1] |
| %rslt2 = add i32 %val3, %val4 ; <i32> [#uses=1] |
| %sum = add i32 %rslt1, %rslt2 ; <i32> [#uses=1] |
| %rslt = call i32 @isdigit( i32 %sum ) ; <i32> [#uses=1] |
| %tmp = call i32 @isascii( i32 %rslt ) ; <i32> [#uses=1] |
| ret i32 %tmp |
| } |
| |