Nate Begeman | feca19b | 2005-09-01 00:04:03 +0000 | [diff] [blame] | 1 | ; All of these ands and shifts should be folded into rlwimi's |
Dan Gohman | fce288f | 2009-09-09 00:09:15 +0000 | [diff] [blame] | 2 | ; RUN: llc < %s -march=ppc32 -o %t |
Reid Spencer | eb1d74e | 2007-04-16 17:36:08 +0000 | [diff] [blame] | 3 | ; RUN: not grep mulhwu %t |
| 4 | ; RUN: not grep srawi %t |
| 5 | ; RUN: not grep add %t |
Dan Gohman | 28beeea | 2007-08-15 13:36:28 +0000 | [diff] [blame] | 6 | ; RUN: grep mulhw %t | count 1 |
Nate Begeman | feca19b | 2005-09-01 00:04:03 +0000 | [diff] [blame] | 7 | |
Tanya Lattner | cfab3da | 2008-02-19 08:07:33 +0000 | [diff] [blame] | 8 | define i32 @mulhs(i32 %a, i32 %b) { |
Nate Begeman | feca19b | 2005-09-01 00:04:03 +0000 | [diff] [blame] | 9 | entry: |
Tanya Lattner | cfab3da | 2008-02-19 08:07:33 +0000 | [diff] [blame] | 10 | %tmp.1 = sext i32 %a to i64 ; <i64> [#uses=1] |
| 11 | %tmp.3 = sext i32 %b to i64 ; <i64> [#uses=1] |
| 12 | %tmp.4 = mul i64 %tmp.3, %tmp.1 ; <i64> [#uses=1] |
| 13 | %tmp.6 = lshr i64 %tmp.4, 32 ; <i64> [#uses=1] |
| 14 | %tmp.7 = trunc i64 %tmp.6 to i32 ; <i32> [#uses=1] |
| 15 | ret i32 %tmp.7 |
Nate Begeman | feca19b | 2005-09-01 00:04:03 +0000 | [diff] [blame] | 16 | } |
Tanya Lattner | cfab3da | 2008-02-19 08:07:33 +0000 | [diff] [blame] | 17 | |