diff --git a/llvm/test/CodeGen/Thumb/and_neg.ll b/llvm/test/CodeGen/Thumb/and_neg.ll new file mode 100644 index 000000000000..88217c7cb206 --- /dev/null +++ b/llvm/test/CodeGen/Thumb/and_neg.ll @@ -0,0 +1,20 @@ +; RUN: llc < %s -mtriple=thumbv7-linux-gnueabi -verify-machineinstrs +; Just shouldn't crash, PR28348 + +%C = type { i8* } + +define void @repro(%C* %this, i32 %a) { + %a_align1 = and i32 %a, -4096 + %a_and = and i32 %a, 4095 + %a_align2 = or i32 %a_and, 4096 + + call void @use(i32 %a_align1) + + %C_field = getelementptr inbounds %C, %C* %this, i32 0, i32 0 + %addptr = getelementptr inbounds i8, i8* null, i32 %a_align2 + store i8* %addptr, i8** %C_field, align 4 + + ret void +} + +declare void @use(i32)