| Davide Italiano | 85ad36b | 2016-12-15 23:45:11 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -instcombine -S | FileCheck %s |
| 2 | |
| 3 | target triple = "x86_64-unknown-freebsd11.0" |
| 4 | |
| Davide Italiano | 85ad36b | 2016-12-15 23:45:11 +0000 | [diff] [blame] | 5 | define i32 @myfls() { |
| Sanjay Patel | 029fc77 | 2017-08-04 19:29:32 +0000 | [diff] [blame] | 6 | ; CHECK-LABEL: @myfls( |
| 7 | ; CHECK-NEXT: ret i32 6 |
| 8 | ; |
| Davide Italiano | 85ad36b | 2016-12-15 23:45:11 +0000 | [diff] [blame] | 9 | %call = call i32 @fls(i32 42) |
| 10 | ret i32 %call |
| 11 | } |
| 12 | |
| Davide Italiano | 85ad36b | 2016-12-15 23:45:11 +0000 | [diff] [blame] | 13 | define i32 @myflsl() { |
| Sanjay Patel | 029fc77 | 2017-08-04 19:29:32 +0000 | [diff] [blame] | 14 | ; CHECK-LABEL: @myflsl( |
| 15 | ; CHECK-NEXT: ret i32 6 |
| 16 | ; |
| Davide Italiano | 85ad36b | 2016-12-15 23:45:11 +0000 | [diff] [blame] | 17 | %patatino = call i32 @flsl(i64 42) |
| 18 | ret i32 %patatino |
| 19 | } |
| 20 | |
| Davide Italiano | 85ad36b | 2016-12-15 23:45:11 +0000 | [diff] [blame] | 21 | define i32 @myflsll() { |
| Sanjay Patel | 029fc77 | 2017-08-04 19:29:32 +0000 | [diff] [blame] | 22 | ; CHECK-LABEL: @myflsll( |
| 23 | ; CHECK-NEXT: ret i32 6 |
| 24 | ; |
| Davide Italiano | 85ad36b | 2016-12-15 23:45:11 +0000 | [diff] [blame] | 25 | %whatever = call i32 @flsll(i64 42) |
| 26 | ret i32 %whatever |
| 27 | } |
| 28 | |
| 29 | ; Lower to llvm.ctlz() if the argument is not a constant |
| Davide Italiano | 85ad36b | 2016-12-15 23:45:11 +0000 | [diff] [blame] | 30 | |
| 31 | define i32 @flsnotconst(i64 %z) { |
| Sanjay Patel | 029fc77 | 2017-08-04 19:29:32 +0000 | [diff] [blame] | 32 | ; CHECK-LABEL: @flsnotconst( |
| 33 | ; CHECK-NEXT: [[CTLZ:%.*]] = call i64 @llvm.ctlz.i64(i64 %z, i1 false), !range !0 |
| Sanjay Patel | e12d734 | 2017-08-04 22:30:34 +0000 | [diff] [blame] | 34 | ; CHECK-NEXT: [[TMP1:%.*]] = trunc i64 [[CTLZ]] to i32 |
| 35 | ; CHECK-NEXT: [[TMP2:%.*]] = sub nsw i32 64, [[TMP1]] |
| Sanjay Patel | 029fc77 | 2017-08-04 19:29:32 +0000 | [diff] [blame] | 36 | ; CHECK-NEXT: ret i32 [[TMP2]] |
| 37 | ; |
| Davide Italiano | 85ad36b | 2016-12-15 23:45:11 +0000 | [diff] [blame] | 38 | %goo = call i32 @flsl(i64 %z) |
| 39 | ret i32 %goo |
| 40 | } |
| 41 | |
| Davide Italiano | 67e979e | 2016-12-15 23:48:07 +0000 | [diff] [blame] | 42 | ; Make sure we lower fls(0) to 0 and not to `undef`. |
| Sanjay Patel | 029fc77 | 2017-08-04 19:29:32 +0000 | [diff] [blame] | 43 | |
| Davide Italiano | 67e979e | 2016-12-15 23:48:07 +0000 | [diff] [blame] | 44 | define i32 @flszero() { |
| Sanjay Patel | 029fc77 | 2017-08-04 19:29:32 +0000 | [diff] [blame] | 45 | ; CHECK-LABEL: @flszero( |
| 46 | ; CHECK-NEXT: ret i32 0 |
| 47 | ; |
| Davide Italiano | 67e979e | 2016-12-15 23:48:07 +0000 | [diff] [blame] | 48 | %zero = call i32 @fls(i32 0) |
| 49 | ret i32 %zero |
| 50 | } |
| 51 | |
| Davide Italiano | 85ad36b | 2016-12-15 23:45:11 +0000 | [diff] [blame] | 52 | declare i32 @fls(i32) |
| 53 | declare i32 @flsl(i64) |
| 54 | declare i32 @flsll(i64) |