| Davide Italiano | d555bde | 2016-07-08 19:13:40 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -ipsccp -S | FileCheck %s |
| 2 | |||||
| 3 | define i128 @vector_to_int_cast() { | ||||
| 4 | %A = bitcast <4 x i32> <i32 1073741824, i32 1073741824, i32 1073741824, i32 1073741824> to i128 | ||||
| 5 | ret i128 %A | ||||
| 6 | } | ||||
| 7 | |||||
| 8 | ; CHECK: define i128 @vector_to_int_cast( | ||||
| 9 | ; CHECK-NEXT: ret i128 85070591750041656499021422275829170176 | ||||