Rebased PNaCl localmods in LLVM to 223109

test/Transforms/NaCl/simplify-allocas.ll

+; RUN: opt < %s -simplify-allocas -S | FileCheck %s
+
+target datalayout = "p:32:32:32"
+
+%struct = type { i32, i32 }
+
+declare void @receive_alloca(%struct* %ptr)
+declare void @receive_vector_alloca(<4 x i32>* %ptr)
+
+define void @alloca_fixed() {
+  %buf = alloca %struct, align 128
+  call void @receive_alloca(%struct* %buf)
+  ret void
+}
+; CHECK-LABEL: define void @alloca_fixed() {
+; CHECK-NEXT:    %buf = alloca i8, i32 8, align 128
+; CHECK-NEXT:    %buf.bc = bitcast i8* %buf to %struct*
+; CHECK-NEXT:    call void @receive_alloca(%struct* %buf.bc)
+
+; When the size passed to alloca is a constant, it should be a
+; constant in the output too.
+define void @alloca_fixed_array() {
+  %buf = alloca %struct, i32 100
+  call void @receive_alloca(%struct* %buf)
+  ret void
+}
+; CHECK-LABEL: define void @alloca_fixed_array() {
+; CHECK-NEXT:    %buf = alloca i8, i32 800, align 8
+; CHECK-NEXT:    %buf.bc = bitcast i8* %buf to %struct*
+; CHECK-NEXT:    call void @receive_alloca(%struct* %buf.bc)
+
+define void @alloca_fixed_vector() {
+  %buf = alloca <4 x i32>, align 128
+  call void @receive_vector_alloca(<4 x i32>* %buf)
+  ret void
+}
+; CHECK-LABEL: define void @alloca_fixed_vector() {
+; CHECK-NEXT: %buf = alloca i8, i32 16, align 128
+; CHECK-NEXT: %buf.bc = bitcast i8* %buf to <4 x i32>*
+; CHECK-NEXT: call void @receive_vector_alloca(<4 x i32>* %buf.bc)
+
+define void @alloca_variable(i32 %size) {
+  %buf = alloca %struct, i32 %size
+  call void @receive_alloca(%struct* %buf)
+  ret void
+}
+; CHECK-LABEL: define void @alloca_variable(i32 %size) {
+; CHECK-NEXT:    %buf.alloca_mul = mul i32 8, %size
+; CHECK-NEXT:    %buf = alloca i8, i32 %buf.alloca_mul
+; CHECK-NEXT:    %buf.bc = bitcast i8* %buf to %struct*
+; CHECK-NEXT:    call void @receive_alloca(%struct* %buf.bc)
+
+define void @alloca_alignment_i32() {
+  %buf = alloca i32
+  ret void
+}
+; CHECK-LABEL: void @alloca_alignment_i32() {
+; CHECK-NEXT:    alloca i8, i32 4, align 4
+
+define void @alloca_alignment_double() {
+  %buf = alloca double
+  ret void
+}
+; CHECK-LABEL: void @alloca_alignment_double() {
+; CHECK-NEXT:    alloca i8, i32 8, align 8
+
+define void @alloca_lower_alignment() {
+  %buf = alloca i32, align 1
+  ret void
+}
+; CHECK-LABEL: void @alloca_lower_alignment() {
+; CHECK-NEXT:    alloca i8, i32 4, align 1
+
+define void @alloca_array_trunc() {
+  %a = alloca i32, i64 1024
+  unreachable
+}
+; CHECK-LABEL: define void @alloca_array_trunc()
+; CHECK-NEXT:    %a = alloca i8, i32 4096
+
+define void @alloca_array_zext() {
+  %a = alloca i32, i8 128
+  unreachable
+}
+; CHECK-LABEL: define void @alloca_array_zext()
+; CHECK-NEXT:    %a = alloca i8, i32 512
+
+define void @dyn_alloca_array_trunc(i64 %a) {
+  %b = alloca i32, i64 %a
+  unreachable
+}
+; CHECK-LABEL: define void @dyn_alloca_array_trunc(i64 %a)
+; CHECK-NEXT:    trunc i64 %a to i32
+; CHECK-NEXT:    mul i32 4,
+; CHECK-NEXT:    alloca i8, i32
+
+define void @dyn_alloca_array_zext(i8 %a) {
+  %b = alloca i32, i8 %a
+  unreachable
+}
+; CHECK-LABEL: define void @dyn_alloca_array_zext(i8 %a)
+; CHECK-NEXT:    zext i8 %a to i32
+; CHECK-NEXT:    mul i32 4,
+; CHECK-NEXT:    alloca i8, i32
+
+define void @dyn_inst_alloca_array(i32 %a) {
+  %b = add i32 1, %a
+  %c = alloca i32, i32 %b
+  unreachable
+}
+; CHECK-LABEL: define void @dyn_inst_alloca_array(i32 %a)
+; CHECK-NEXT:    %b = add i32 1, %a
+; CHECK-NEXT:    mul i32 4, %b
+; CHECK-NEXT:    %c = alloca i8, i32
+
+define void @dyn_inst_alloca_array_trunc(i64 %a) {
+  %b = add i64 1, %a
+  %c = alloca i32, i64 %b
+  unreachable
+}
+; CHECK-LABEL: define void @dyn_inst_alloca_array_trunc(i64 %a)
+; CHECK-NEXT:    %b = add i64 1, %a
+; CHECK-NEXT:    trunc i64 %b to i32
+; CHECK-NEXT:    mul i32 4,
+; CHECK-NEXT:    %c = alloca i8, i32
+
+define void @dyn_inst_alloca_array_zext(i8 %a) {
+  %b = add i8 1, %a
+  %c = alloca i32, i8 %b
+  unreachable
+}
+; CHECK-LABEL: define void @dyn_inst_alloca_array_zext(i8 %a)
+; CHECK-NEXT:    %b = add i8 1, %a
+; CHECK-NEXT:    zext i8 %b to i32
+; CHECK-NEXT:    mul i32 4,
+; CHECK-NEXT:    %c = alloca i8, i32