1*d23a8506SMatthias Braun; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4 2*d23a8506SMatthias Braun; RUN: opt -o - -S %s -passes=instcombine | FileCheck %s 3*d23a8506SMatthias Braun 4*d23a8506SMatthias Braun@tlsvar_a4 = thread_local global i32 4, align 4 5*d23a8506SMatthias Braun 6*d23a8506SMatthias Braundefine void @func_increase_alignment() { 7*d23a8506SMatthias Braun; CHECK-LABEL: define void @func_increase_alignment() { 8*d23a8506SMatthias Braun; CHECK-NEXT: [[P:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr @tlsvar_a4) 9*d23a8506SMatthias Braun; CHECK-NEXT: store i32 42, ptr [[P]], align 2 10*d23a8506SMatthias Braun; CHECK-NEXT: ret void 11*d23a8506SMatthias Braun; 12*d23a8506SMatthias Braun %p = call align 2 ptr @llvm.threadlocal.address(ptr @tlsvar_a4) 13*d23a8506SMatthias Braun store i32 42, ptr %p, align 2 14*d23a8506SMatthias Braun ret void 15*d23a8506SMatthias Braun} 16*d23a8506SMatthias Braun 17*d23a8506SMatthias Braun@tlsvar_a32 = thread_local global i32 5, align 32 18*d23a8506SMatthias Braun 19*d23a8506SMatthias Braundefine i1 @func_add_alignment() { 20*d23a8506SMatthias Braun; CHECK-LABEL: define i1 @func_add_alignment() { 21*d23a8506SMatthias Braun; CHECK-NEXT: ret i1 true 22*d23a8506SMatthias Braun; 23*d23a8506SMatthias Braun %p = call ptr @llvm.threadlocal.address(ptr @tlsvar_a32) 24*d23a8506SMatthias Braun %p_int = ptrtoint ptr %p to i32 25*d23a8506SMatthias Braun %lowbits = and i32 %p_int, 31 26*d23a8506SMatthias Braun %zero = icmp eq i32 %lowbits, 0 27*d23a8506SMatthias Braun ret i1 %zero 28*d23a8506SMatthias Braun} 29*d23a8506SMatthias Braun 30*d23a8506SMatthias Braun@tlsvar_a1 = thread_local global i8 6, align 1 31*d23a8506SMatthias Braun 32*d23a8506SMatthias Braundefine i1 @func_dont_reduce_alignment() { 33*d23a8506SMatthias Braun; CHECK-LABEL: define i1 @func_dont_reduce_alignment() { 34*d23a8506SMatthias Braun; CHECK-NEXT: ret i1 true 35*d23a8506SMatthias Braun; 36*d23a8506SMatthias Braun %p = call align 4 ptr @llvm.threadlocal.address(ptr @tlsvar_a1) 37*d23a8506SMatthias Braun %p_int = ptrtoint ptr %p to i32 38*d23a8506SMatthias Braun %lowbits = and i32 %p_int, 3 39*d23a8506SMatthias Braun %zero = icmp eq i32 %lowbits, 0 40*d23a8506SMatthias Braun ret i1 %zero 41*d23a8506SMatthias Braun} 42