1 // RUN
: %clang_cc1 -triple x86_64-linux-pc -O3 -disable-llvm-passes %s -emit-llvm -o - | FileCheck %s
3 void Shifts
(_BitInt(12) E
, int i
) {
5 // CHECK
: shl i12 %
{{.
+}}, 3
8 // CHECK
: %
[[PROM
:.
+]] = zext i12 %
{{.
+}} to i32
9 // CHECK
: %
[[MASK
:.
+]] = and i32 %
[[PROM]], 31
10 // CHECK: shl i32 77, %[[MASK]]
13 // CHECK: %[[PROM:.+]] = trunc i32 %{{.+}} to i12
14 // CHECK: %[[MASK:.+]] = urem i12 %[[PROM]], 12
15 // CHECK
: shl i12 %
{{.
+}}, %
[[MASK]]
18 // CHECK: %[[PROM:.+]] = zext i12 %{{.+}} to i32
19 // CHECK: %[[MASK:.+]] = and i32 %[[PROM]], 31
20 // CHECK: shl i32 %{{.+}}, %[[MASK]]